Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 1258 | 1800.04 | 1795.67 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb |
| MD5SUM | fad34197fa8b5ebd519d12750a352ad5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 366 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 480 |
| 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 | 495457 |
| 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 | 495457 |
| 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.05/0.33 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.05/0.33 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.33 c See www.sat4j.org for details. 0.05/0.33 c version PB16.v20160501 0.05/0.33 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.33 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.33 c java.vm.version 19.1-b02 0.05/0.33 c java.vm.vendor Sun Microsystems Inc. 0.05/0.33 c sun.arch.data.model 64 0.05/0.33 c java.version 1.6.0_24 0.05/0.33 c os.name Linux 0.05/0.33 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.33 c os.arch amd64 0.05/0.33 c Free memory 501472288 0.05/0.33 c Max memory 7480803328 0.05/0.33 c Total memory 504102912 0.05/0.33 c Number of processors 8 0.05/0.36 c Pseudo Boolean Optimization by upper bound 0.05/0.36 c --- Begin Solver configuration --- 0.05/0.36 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.05/0.36 c Learn all clauses as in MiniSAT 0.05/0.36 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.36 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.36 c No reason simplification 0.05/0.36 c Glucose 2.1 dynamic restart strategy 0.05/0.36 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.05/0.36 c timeout=2147483s 0.05/0.36 c DB Simplification allowed=false 0.05/0.36 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.05/0.36 c --- End Solver configuration --- 0.05/0.37 c solving HOME/instance-4085302-1465226821.opb 0.05/0.37 c reading problem ... 0.05/0.37 c objective function found 3.26/2.95 c ... done. Wall clock time 2.588s. 3.26/2.95 c declared #vars 10000 3.26/2.95 c #constraints 656900 3.26/2.95 c constraints type 3.26/2.96 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 3.26/2.96 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 3.26/2.96 c 656900 constraints processed. 3.26/2.96 c objective function length is 10000 literals 3.98/3.30 c SATISFIABLE 3.98/3.30 c OPTIMIZING... 3.98/3.30 c Got one! Elapsed wall clock time (in seconds):2.939 3.98/3.31 o 1278 5.25/4.22 c Got one! Elapsed wall clock time (in seconds):3.848 5.25/4.22 o 1258 5.84/4.80 c cleaning 2830 clauses out of 5692 with flag 5929/5692 8.81/7.60 c cleaning 4427 clauses out of 8863 with flag 25107/11693 12.02/10.81 c cleaning 5715 clauses out of 11434 with flag 46974/18691 15.53/14.40 c cleaning 6851 clauses out of 13721 with flag 71882/26693 20.24/19.00 c cleaning 7925 clauses out of 15868 with flag 99594/35691 24.94/23.74 c cleaning 8968 clauses out of 17944 with flag 129531/45692 29.95/28.77 c cleaning 9981 clauses out of 19975 with flag 163677/56691 35.84/34.67 c cleaning 10986 clauses out of 21995 with flag 199726/68692 42.15/40.98 c cleaning 11996 clauses out of 24008 with flag 238880/81691 49.04/47.83 c cleaning 13006 clauses out of 26013 with flag 288674/95692 57.05/55.60 c cleaning 13992 clauses out of 28007 with flag 342299/110692 64.16/62.76 c cleaning 14991 clauses out of 30014 with flag 396522/126691 71.86/70.45 c cleaning 16003 clauses out of 32023 with flag 449444/143691 80.05/78.69 c cleaning 16988 clauses out of 34020 with flag 512710/161691 88.96/87.59 c cleaning 18015 clauses out of 36033 with flag 572969/180692 98.36/96.92 c cleaning 19001 clauses out of 38018 with flag 638569/200692 108.05/106.61 c cleaning 19999 clauses out of 40017 with flag 706782/221692 118.16/116.76 c cleaning 21007 clauses out of 42017 with flag 777432/243691 128.95/127.53 c cleaning 21994 clauses out of 44011 with flag 850485/266692 140.05/138.65 c cleaning 23000 clauses out of 46017 with flag 930895/290692 151.54/150.11 c cleaning 24002 clauses out of 48016 with flag 1014450/315691 164.04/162.64 c cleaning 25003 clauses out of 50014 with flag 1098422/341691 176.94/175.50 c cleaning 26003 clauses out of 52013 with flag 1184150/368693 190.44/189.00 c cleaning 26993 clauses out of 54008 with flag 1282683/396691 204.24/202.86 c cleaning 28003 clauses out of 56015 with flag 1375541/425691 218.31/216.50 c cleaning 28977 clauses out of 58012 with flag 1472867/455691 232.51/230.71 c cleaning 29999 clauses out of 60035 with flag 1575147/486691 247.92/246.18 c cleaning 31011 clauses out of 62036 with flag 1683917/518691 264.21/262.47 c cleaning 32007 clauses out of 64025 with flag 1795049/551691 279.61/277.85 c cleaning 32985 clauses out of 66018 with flag 1905506/585691 295.70/293.91 c cleaning 33996 clauses out of 68033 with flag 2022704/620691 312.91/311.15 c cleaning 35016 clauses out of 70037 with flag 2149588/656691 330.71/328.98 c cleaning 36002 clauses out of 72021 with flag 2276634/693691 348.90/347.13 c cleaning 36991 clauses out of 74019 with flag 2408564/731691 366.70/364.90 c cleaning 37992 clauses out of 76028 with flag 2536017/770691 385.81/384.02 c cleaning 39009 clauses out of 78036 with flag 2666388/810691 405.51/403.73 c cleaning 40009 clauses out of 80027 with flag 2813551/851691 426.31/424.58 c cleaning 40997 clauses out of 82019 with flag 2966040/893692 447.81/446.03 c cleaning 42005 clauses out of 84021 with flag 3118899/936691 470.43/468.66 c cleaning 43004 clauses out of 86018 with flag 3268445/980693 494.42/492.16 c cleaning 43982 clauses out of 88012 with flag 3423079/1025691 517.14/514.89 c cleaning 44991 clauses out of 90030 with flag 3586335/1071691 539.33/537.01 c cleaning 46002 clauses out of 92039 with flag 3760094/1118691 562.83/560.50 c cleaning 46996 clauses out of 94037 with flag 3935544/1166691 584.83/582.53 c cleaning 47995 clauses out of 96043 with flag 4102657/1215693 607.63/605.31 c cleaning 49007 clauses out of 98046 with flag 4275469/1265691 631.33/629.02 c cleaning 50006 clauses out of 100040 with flag 4461170/1316692 654.33/652.03 c cleaning 51000 clauses out of 102033 with flag 4641102/1368691 677.73/675.45 c cleaning 52009 clauses out of 104033 with flag 4823984/1421691 702.83/700.58 c cleaning 52991 clauses out of 106024 with flag 5020277/1475691 728.84/726.54 c cleaning 54004 clauses out of 108035 with flag 5216562/1530693 756.81/753.95 c cleaning 55005 clauses out of 110030 with flag 5414486/1586692 784.31/781.46 c cleaning 56000 clauses out of 112024 with flag 5635204/1643691 812.82/809.92 c cleaning 57013 clauses out of 114025 with flag 5833709/1701692 842.42/839.53 c cleaning 58003 clauses out of 116011 with flag 6036531/1760691 874.53/871.67 c cleaning 59005 clauses out of 118009 with flag 6255179/1820692 909.13/906.22 c cleaning 59999 clauses out of 120004 with flag 6469307/1881692 945.04/942.18 c cleaning 60995 clauses out of 122004 with flag 6715028/1943691 979.64/976.80 c cleaning 62001 clauses out of 124009 with flag 6941601/2006691 1015.55/1012.67 c cleaning 62992 clauses out of 126009 with flag 7190812/2070692 1051.16/1048.23 c cleaning 64007 clauses out of 128017 with flag 7459856/2135692 1088.27/1085.30 c cleaning 64998 clauses out of 130010 with flag 7708579/2201692 1124.48/1121.50 c cleaning 66003 clauses out of 132012 with flag 7973446/2268692 1164.28/1161.34 c cleaning 66991 clauses out of 134008 with flag 8233750/2336691 1205.40/1202.43 c cleaning 67998 clauses out of 136017 with flag 8500938/2405691 1249.80/1246.80 c cleaning 69006 clauses out of 138019 with flag 8772241/2475691 1290.50/1286.82 c cleaning 69993 clauses out of 140013 with flag 9035101/2546691 1327.80/1324.18 c cleaning 70984 clauses out of 142020 with flag 9297935/2618691 1365.59/1361.94 c cleaning 72000 clauses out of 144036 with flag 9570285/2691691 1403.37/1399.72 c cleaning 73001 clauses out of 146037 with flag 9849449/2765692 1441.26/1437.67 c cleaning 73985 clauses out of 148039 with flag 10129455/2840695 1479.16/1475.53 c cleaning 75003 clauses out of 150052 with flag 10410976/2916693 1516.96/1513.31 c cleaning 76022 clauses out of 152047 with flag 10703538/2993691 1556.26/1552.67 c cleaning 76971 clauses out of 154025 with flag 11011098/3071691 1595.66/1592.00 c cleaning 78018 clauses out of 156054 with flag 11347116/3150691 1637.67/1634.07 c cleaning 79012 clauses out of 158037 with flag 11669469/3230692 1679.17/1675.53 c cleaning 79995 clauses out of 160024 with flag 11989772/3311691 1720.58/1716.94 c cleaning 81010 clauses out of 162029 with flag 12311173/3393691 1767.03/1762.62 c cleaning 82006 clauses out of 164019 with flag 12668051/3476691 1800.04/1795.60 c starts : 11 1800.04/1795.60 c conflicts : 3544413 1800.04/1795.60 c decisions : 10287730 1800.04/1795.60 c propagations : 954351510 1800.04/1795.60 c inspects : 4551777743 1800.04/1795.60 c shortcuts : 0 1800.04/1795.60 c learnt literals : 0 1800.04/1795.60 c learnt binary clauses : 0 1800.04/1795.60 c learnt ternary clauses : 0 1800.04/1795.60 c learnt constraints : 3544413 1800.04/1795.60 c ignored constraints : 0 1800.04/1795.60 c root simplifications : 0 1800.04/1795.60 c removed literals (reason simplification) : 0 1800.04/1795.60 c reason swapping (by a shorter reason) : 0 1800.04/1795.60 c Calls to reduceDB : 79 1800.04/1795.60 c Number of update (reduction) of LBD : 1231933 1800.04/1795.60 c Imported unit clauses : 0 1800.04/1795.60 c number of reductions to clauses (during analyze) : 0 1800.04/1795.60 c number of learned constraints concerned by reduction : 0 1800.04/1795.60 c number of learning phase by resolution : 0 1800.04/1795.60 c number of learning phase by cutting planes : 0 1800.04/1795.60 c speed (assignments/second) : 532380.4091459836 1800.04/1795.60 c non guided choices 0 1800.04/1795.63 c learnt constraints type 1800.04/1795.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 149735 1800.04/1795.63 s SATISFIABLE 1800.04/1795.63 c Found 2 solution(s) 1800.04/1795.64 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.04/1795.65 c objective function=1258 1800.04/1795.65 c Total wall clock time (in seconds): 1795.284
OK 1258
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-4085302-1465226821/watcher-4085302-1465226821 -o /tmp/evaluation-result-4085302-1465226821/solver-4085302-1465226821 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9908 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085302-1465226821.opb pid=9930 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: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/9935/stat : 9935 (java) D 9930 9935 9891 0 -1 4202496 156 0 1 0 0 0 0 0 20 0 1 0 104614236 278528 33 33554432000 1073741824 1073778376 140733857739984 140733857737160 215115459879 0 0 4096 0 18446744072100756772 0 0 17 5 0 0 0 0 0 /proc/9935/statm: 68 33 25 9 0 25 0 [startup+0.100072 s] /proc/loadavg: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/9935/stat : 9935 (java) D 9930 9935 9891 0 -1 4202496 1145 0 18 0 0 0 0 0 20 0 1 0 104614236 23793664 813 33554432000 1073741824 1073778376 140734977334896 140734977324888 140471540487888 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 5809 813 608 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.200283 s] /proc/loadavg: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9016616 CPUtime=0.01 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 2858 0 27 0 0 1 0 0 20 0 10 0 104614236 9233014784 2995 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2254154 2995 1536 9 0 2244855 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9016616 [startup+0.30025 s] /proc/loadavg: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9558476 CPUtime=0.05 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 3327 0 27 0 4 1 0 0 20 0 18 0 104614236 9787879424 3973 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2389619 3973 1772 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558476 [startup+0.700264 s] /proc/loadavg: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9558476 CPUtime=0.79 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 6698 0 28 0 76 3 0 0 20 0 18 0 104614236 9787879424 18475 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2389619 18475 2245 9 0 2380296 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 9558476 [startup+1.5009 s] /proc/loadavg: 1.12 1.27 1.62 4/212 9972 /proc/meminfo: memFree=30049056/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9558476 CPUtime=1.67 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 6882 0 28 0 160 7 0 0 20 0 18 0 104614236 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2389619 51843 2261 9 0 2380296 0 [pid=9935/tid=9939] ppid=9930 vsize=9558476 CPUtime=1.18 cores=1,3,5,7 /proc/9935/task/9939/stat : 9939 (java) R 9930 9935 9891 0 -1 4202560 2512 0 7 0 115 3 0 0 20 0 18 0 104614246 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471536160736 215128007949 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 [pid=9935/tid=9941] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9941/stat : 9941 (java) S 9930 9935 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471474899112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9942] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9942/stat : 9942 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471473846568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9944] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9944/stat : 9944 (java) S 9930 9935 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471472794024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9946] ppid=9930 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/9935/task/9946/stat : 9946 (java) S 9930 9935 9891 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 18 0 104614253 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471471741480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9949] ppid=9930 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/9935/task/9949/stat : 9949 (java) S 9930 9935 9891 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 104614253 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471470688936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9951] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9951/stat : 9951 (java) S 9930 9935 9891 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471374134056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9953] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9953/stat : 9953 (java) S 9930 9935 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471373081512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9954] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9954/stat : 9954 (java) S 9930 9935 9891 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471372028968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9958] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9958/stat : 9958 (java) S 9930 9935 9891 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104614257 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471359830120 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9960] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9960/stat : 9960 (java) S 9930 9935 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104614258 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471358776440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9962] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9962/stat : 9962 (java) S 9930 9935 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104614258 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471357723784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9964] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9964/stat : 9964 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614264 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471356672528 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9966] ppid=9930 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/9935/task/9966/stat : 9966 (java) S 9930 9935 9891 0 -1 4202560 1559 0 1 0 17 0 0 0 20 0 18 0 104614264 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471355619896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9968] ppid=9930 vsize=9558476 CPUtime=0.16 cores=1,3,5,7 /proc/9935/task/9968/stat : 9968 (java) S 9930 9935 9891 0 -1 4202560 1447 0 0 0 16 0 0 0 20 0 18 0 104614264 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471354567352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9970] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9970/stat : 9970 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614264 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471353515000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9972] ppid=9930 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9972/stat : 9972 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614264 9787879424 51843 33554432000 1073741824 1073778376 140734977334896 140471352462664 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 9558476 [startup+3.10075 s] /proc/loadavg: 1.27 1.30 1.63 4/212 9972 /proc/meminfo: memFree=29743720/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9625040 CPUtime=3.62 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 8104 0 28 0 350 12 0 0 20 0 19 0 104614236 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2406260 97470 2276 9 0 2396937 0 [pid=9935/tid=9939] ppid=9930 vsize=9625040 CPUtime=2.69 cores=1,3,5,7 /proc/9935/task/9939/stat : 9939 (java) R 9930 9935 9891 0 -1 4202560 2592 0 7 0 264 5 0 0 20 0 19 0 104614246 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471536169112 140471476470191 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 [pid=9935/tid=9941] ppid=9930 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9935/task/9941/stat : 9941 (java) S 9930 9935 9891 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 104614253 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471474899112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9942] ppid=9930 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/9935/task/9942/stat : 9942 (java) S 9930 9935 9891 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471473846568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9944] ppid=9930 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9935/task/9944/stat : 9944 (java) S 9930 9935 9891 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 104614253 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471472794024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9946] ppid=9930 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/9935/task/9946/stat : 9946 (java) S 9930 9935 9891 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471471741480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9949] ppid=9930 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/9935/task/9949/stat : 9949 (java) S 9930 9935 9891 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 19 0 104614253 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471470688936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9951] ppid=9930 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9935/task/9951/stat : 9951 (java) S 9930 9935 9891 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 104614253 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471374134056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9953] ppid=9930 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9935/task/9953/stat : 9953 (java) S 9930 9935 9891 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 104614253 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471373081512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9954] ppid=9930 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9935/task/9954/stat : 9954 (java) S 9930 9935 9891 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 19 0 104614253 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471372028968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9958] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9958/stat : 9958 (java) S 9930 9935 9891 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 19 0 104614257 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471359830120 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9960] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9960/stat : 9960 (java) S 9930 9935 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471358776440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9962] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9962/stat : 9962 (java) S 9930 9935 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471357723784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9964] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9964/stat : 9964 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471356672528 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9966] ppid=9930 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/9935/task/9966/stat : 9966 (java) R 9930 9935 9891 0 -1 4202560 1852 0 1 0 26 0 0 0 20 0 19 0 104614264 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471355619896 140471542623991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9968] ppid=9930 vsize=9625040 CPUtime=0.24 cores=1,3,5,7 /proc/9935/task/9968/stat : 9968 (java) R 9930 9935 9891 0 -1 4202560 2024 0 0 0 24 0 0 0 20 0 19 0 104614264 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471354566920 140471542766886 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9970] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9970/stat : 9970 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471353515000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9972] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9972/stat : 9972 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 97470 33554432000 1073741824 1073778376 140734977334896 140471352462664 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.62 Current children cumulated vsize (KiB) 9625040 [startup+6.30085 s] /proc/loadavg: 1.27 1.30 1.63 4/215 9975 /proc/meminfo: memFree=29503040/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9625040 CPUtime=7.47 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 15069 0 28 0 733 14 0 0 20 0 19 0 104614236 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2406260 107291 2284 9 0 2396937 0 [pid=9935/tid=9939] ppid=9930 vsize=9625040 CPUtime=5.88 cores=1,3,5,7 /proc/9935/task/9939/stat : 9939 (java) R 9930 9935 9891 0 -1 4202560 2616 0 7 0 583 5 0 0 20 0 19 0 104614246 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471536160464 140471476722515 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 [pid=9935/tid=9941] ppid=9930 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9935/task/9941/stat : 9941 (java) S 9930 9935 9891 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 104614253 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471474899112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9942] ppid=9930 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/9935/task/9942/stat : 9942 (java) S 9930 9935 9891 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471473846568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9944] ppid=9930 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9935/task/9944/stat : 9944 (java) S 9930 9935 9891 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 104614253 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471472794024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9946] ppid=9930 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/9935/task/9946/stat : 9946 (java) S 9930 9935 9891 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471471741480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9949] ppid=9930 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/9935/task/9949/stat : 9949 (java) S 9930 9935 9891 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 19 0 104614253 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471470688936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9951] ppid=9930 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9935/task/9951/stat : 9951 (java) S 9930 9935 9891 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 104614253 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471374134056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9953] ppid=9930 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9935/task/9953/stat : 9953 (java) S 9930 9935 9891 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 104614253 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471373081512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9954] ppid=9930 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/9935/task/9954/stat : 9954 (java) S 9930 9935 9891 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 19 0 104614253 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471372028968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9958] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9958/stat : 9958 (java) S 9930 9935 9891 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 104614257 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471359830120 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9960] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9960/stat : 9960 (java) S 9930 9935 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471358776440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9962] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9962/stat : 9962 (java) S 9930 9935 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471357723784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9964] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9964/stat : 9964 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471356672528 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9966] ppid=9930 vsize=9625040 CPUtime=0.54 cores=1,3,5,7 /proc/9935/task/9966/stat : 9966 (java) S 9930 9935 9891 0 -1 4202560 4416 0 1 0 53 1 0 0 20 0 19 0 104614264 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471355619896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9968] ppid=9930 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/9935/task/9968/stat : 9968 (java) S 9930 9935 9891 0 -1 4202560 6400 0 0 0 60 0 0 0 20 0 19 0 104614264 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471354567352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9970] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9970/stat : 9970 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471353515000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9972] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9972/stat : 9972 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471352462664 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9973] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9973/stat : 9973 (java) S 9930 9935 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614536 9856040960 107291 33554432000 1073741824 1073778376 140734977334896 140471351407400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.47 Current children cumulated vsize (KiB) 9625040 [startup+12.7009 s] /proc/loadavg: 1.38 1.32 1.63 4/215 9975 /proc/meminfo: memFree=29431988/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9625040 CPUtime=13.92 cores=1,3,5,7 ################ # More data... # ################ [pid=9935/tid=9973] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9973/stat : 9973 (java) S 9930 9935 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614536 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471351407400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1665.97 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.18 2.18 2.09 4/215 10017 /proc/meminfo: memFree=24226448/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9625040 CPUtime=1725.98 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 21092 0 28 0 172410 188 0 0 20 0 19 0 104614236 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2406260 691843 2293 9 0 2396937 0 [pid=9935/tid=9939] ppid=9930 vsize=9625040 CPUtime=1716.13 cores=1,3,5,7 /proc/9935/task/9939/stat : 9939 (java) R 9930 9935 9891 0 -1 4202560 3940 0 7 0 171566 47 0 0 20 0 19 0 104614246 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471536160448 140471476722431 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 [pid=9935/tid=9941] ppid=9930 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/9935/task/9941/stat : 9941 (java) S 9930 9935 9891 0 -1 4202560 348 0 0 0 17 12 0 0 20 0 19 0 104614253 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471474899112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9942] ppid=9930 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/9935/task/9942/stat : 9942 (java) S 9930 9935 9891 0 -1 4202560 605 0 0 0 28 19 0 0 20 0 19 0 104614253 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471473846568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9944] ppid=9930 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/9935/task/9944/stat : 9944 (java) S 9930 9935 9891 0 -1 4202560 386 0 0 0 26 17 0 0 20 0 19 0 104614253 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471472794024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9946] ppid=9930 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/9935/task/9946/stat : 9946 (java) S 9930 9935 9891 0 -1 4202560 403 0 0 0 27 20 0 0 20 0 19 0 104614253 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471471741480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9949] ppid=9930 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/9935/task/9949/stat : 9949 (java) S 9930 9935 9891 0 -1 4202560 442 0 0 0 32 24 0 0 20 0 19 0 104614253 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471470688936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9951] ppid=9930 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/9935/task/9951/stat : 9951 (java) S 9930 9935 9891 0 -1 4202560 448 0 0 0 27 22 0 0 20 0 19 0 104614253 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471374134056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9953] ppid=9930 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/9935/task/9953/stat : 9953 (java) S 9930 9935 9891 0 -1 4202560 367 0 0 0 24 14 0 0 20 0 19 0 104614253 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471373081512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9954] ppid=9930 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/9935/task/9954/stat : 9954 (java) S 9930 9935 9891 0 -1 4202560 459 0 0 0 19 16 0 0 20 0 19 0 104614253 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471372028968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9958] ppid=9930 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/9935/task/9958/stat : 9958 (java) S 9930 9935 9891 0 -1 4202560 1468 0 0 0 49 2 0 0 20 0 19 0 104614257 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471359830120 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9960] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9960/stat : 9960 (java) S 9930 9935 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471358776440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9962] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9962/stat : 9962 (java) S 9930 9935 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471357723784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9964] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9964/stat : 9964 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471356672528 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9966] ppid=9930 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/9935/task/9966/stat : 9966 (java) S 9930 9935 9891 0 -1 4202560 4474 0 1 0 57 2 0 0 20 0 19 0 104614264 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471355619896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9968] ppid=9930 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/9935/task/9968/stat : 9968 (java) S 9930 9935 9891 0 -1 4202560 6411 0 0 0 66 0 0 0 20 0 19 0 104614264 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471354567352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9970] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9970/stat : 9970 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471353515000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9972] ppid=9930 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/9935/task/9972/stat : 9972 (java) S 9930 9935 9891 0 -1 4202560 99 0 0 0 15 16 0 0 20 0 19 0 104614264 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471352462664 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9973] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9973/stat : 9973 (java) S 9930 9935 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614536 9856040960 691843 33554432000 1073741824 1073778376 140734977334896 140471351407400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1725.98 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.22 2.20 2.10 5/215 10018 /proc/meminfo: memFree=23844848/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9625040 CPUtime=1786.73 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 22309 0 28 0 178436 237 0 0 20 0 19 0 104614236 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2406260 787037 2293 9 0 2396937 0 [pid=9935/tid=9939] ppid=9930 vsize=9625040 CPUtime=1775.38 cores=1,3,5,7 /proc/9935/task/9939/stat : 9939 (java) R 9930 9935 9891 0 -1 4202560 3941 0 7 0 177491 47 0 0 20 0 19 0 104614246 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471536160448 140471476722436 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 [pid=9935/tid=9941] ppid=9930 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/9935/task/9941/stat : 9941 (java) S 9930 9935 9891 0 -1 4202560 437 0 0 0 23 18 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471474899112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9942] ppid=9930 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/9935/task/9942/stat : 9942 (java) S 9930 9935 9891 0 -1 4202560 760 0 0 0 35 29 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471473846568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9944] ppid=9930 vsize=9625040 CPUtime=0.5 cores=1,3,5,7 /proc/9935/task/9944/stat : 9944 (java) S 9930 9935 9891 0 -1 4202560 498 0 0 0 28 22 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471472794024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9946] ppid=9930 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/9935/task/9946/stat : 9946 (java) S 9930 9935 9891 0 -1 4202560 472 0 0 0 31 22 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471471741480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9949] ppid=9930 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/9935/task/9949/stat : 9949 (java) S 9930 9935 9891 0 -1 4202560 605 0 0 0 41 29 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471470688936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9951] ppid=9930 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/9935/task/9951/stat : 9951 (java) S 9930 9935 9891 0 -1 4202560 695 0 0 0 41 34 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471374134056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9953] ppid=9930 vsize=9625040 CPUtime=0.5 cores=1,3,5,7 /proc/9935/task/9953/stat : 9953 (java) S 9930 9935 9891 0 -1 4202560 512 0 0 0 30 20 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471373081512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9954] ppid=9930 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/9935/task/9954/stat : 9954 (java) S 9930 9935 9891 0 -1 4202560 525 0 0 0 23 19 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471372028968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9958] ppid=9930 vsize=9625040 CPUtime=0.86 cores=1,3,5,7 /proc/9935/task/9958/stat : 9958 (java) S 9930 9935 9891 0 -1 4202560 1634 0 0 0 84 2 0 0 20 0 19 0 104614257 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471359830120 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9960] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9960/stat : 9960 (java) S 9930 9935 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471358776440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9962] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9962/stat : 9962 (java) S 9930 9935 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471357723784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9964] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9964/stat : 9964 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471356672528 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9966] ppid=9930 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/9935/task/9966/stat : 9966 (java) S 9930 9935 9891 0 -1 4202560 4474 0 1 0 57 2 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471355619896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9968] ppid=9930 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/9935/task/9968/stat : 9968 (java) S 9930 9935 9891 0 -1 4202560 6411 0 0 0 66 0 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471354567352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9970] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9970/stat : 9970 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471353515000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9972] ppid=9930 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/9935/task/9972/stat : 9972 (java) S 9930 9935 9891 0 -1 4202560 103 0 0 0 16 17 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471352462664 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9973] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9973/stat : 9973 (java) S 9930 9935 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614536 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471351407400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1786.73 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.6 s] /proc/loadavg: 2.25 2.20 2.10 4/215 10018 /proc/meminfo: memFree=23844852/32872528 swapFree=20720/1686580 [pid=9935] ppid=9930 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7 /proc/9935/stat : 9935 (java) S 9930 9935 9891 0 -1 4202496 22309 0 28 0 179766 238 0 0 20 0 19 0 104614236 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140734977326032 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 7 0 0 /proc/9935/statm: 2406260 787037 2293 9 0 2396937 0 [pid=9935/tid=9939] ppid=9930 vsize=9625040 CPUtime=1788.64 cores=1,3,5,7 /proc/9935/task/9939/stat : 9939 (java) R 9930 9935 9891 0 -1 4202560 3941 0 7 0 178816 48 0 0 20 0 19 0 104614246 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471536160448 140471476805152 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 [pid=9935/tid=9941] ppid=9930 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/9935/task/9941/stat : 9941 (java) S 9930 9935 9891 0 -1 4202560 437 0 0 0 23 18 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471474899112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9942] ppid=9930 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/9935/task/9942/stat : 9942 (java) S 9930 9935 9891 0 -1 4202560 760 0 0 0 35 29 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471473846568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9944] ppid=9930 vsize=9625040 CPUtime=0.5 cores=1,3,5,7 /proc/9935/task/9944/stat : 9944 (java) S 9930 9935 9891 0 -1 4202560 498 0 0 0 28 22 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471472794024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9946] ppid=9930 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/9935/task/9946/stat : 9946 (java) S 9930 9935 9891 0 -1 4202560 472 0 0 0 31 22 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471471741480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9949] ppid=9930 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/9935/task/9949/stat : 9949 (java) S 9930 9935 9891 0 -1 4202560 605 0 0 0 41 29 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471470688936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9951] ppid=9930 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/9935/task/9951/stat : 9951 (java) S 9930 9935 9891 0 -1 4202560 695 0 0 0 41 34 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471374134056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9953] ppid=9930 vsize=9625040 CPUtime=0.5 cores=1,3,5,7 /proc/9935/task/9953/stat : 9953 (java) S 9930 9935 9891 0 -1 4202560 512 0 0 0 30 20 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471373081512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9954] ppid=9930 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/9935/task/9954/stat : 9954 (java) S 9930 9935 9891 0 -1 4202560 525 0 0 0 23 19 0 0 20 0 19 0 104614253 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471372028968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9935/tid=9958] ppid=9930 vsize=9625040 CPUtime=0.86 cores=1,3,5,7 /proc/9935/task/9958/stat : 9958 (java) S 9930 9935 9891 0 -1 4202560 1634 0 0 0 84 2 0 0 20 0 19 0 104614257 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471359830120 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9960] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9960/stat : 9960 (java) S 9930 9935 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471358776440 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9962] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9962/stat : 9962 (java) S 9930 9935 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471357723784 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9964] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9964/stat : 9964 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471356672528 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9966] ppid=9930 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/9935/task/9966/stat : 9966 (java) S 9930 9935 9891 0 -1 4202560 4474 0 1 0 57 2 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471355619896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9935/tid=9968] ppid=9930 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/9935/task/9968/stat : 9968 (java) S 9930 9935 9891 0 -1 4202560 6411 0 0 0 66 0 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471354567352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9970] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9970/stat : 9970 (java) S 9930 9935 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471353515000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9935/tid=9972] ppid=9930 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/9935/task/9972/stat : 9972 (java) S 9930 9935 9891 0 -1 4202560 103 0 0 0 16 17 0 0 20 0 19 0 104614264 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471352462664 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9935/tid=9973] ppid=9930 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9935/task/9973/stat : 9973 (java) S 9930 9935 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614536 9856040960 787037 33554432000 1073741824 1073778376 140734977334896 140471351407400 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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 9935 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 9935 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=178395 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=773578 # CPU time returned by wait4() is 1795.95 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.67 CPU time (s): 1800.04 CPU user time (s): 1797.66 CPU system time (s): 2.38 CPU usage (%): 100.244 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.18 system time used= 2.77358 maximum resident set size= 3148280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22352 page faults= 28 swaps= 0 block input operations= 14728 block output operations= 1024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38589 involuntary context switches= 11335 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3404 second user time and 13.8669 second system time The end
Begin job on node135 at 2016-06-06 17:27:02 IDJOB=4085302 IDBENCH=1974 IDSOLVER=2546 FILE ID=node135/4085302-1465226821 RUNJOBID= node135-1465226821-9908 PBS_JOBID= 19843238 Free space on /tmp= 71704 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_10.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085302-1465226821/watcher-4085302-1465226821 -o /tmp/evaluation-result-4085302-1465226821/solver-4085302-1465226821 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9908 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085302-1465226821.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5 RANDOM SEED=998772925 node135.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 : 2667.026 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 : 5334.05 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 : 2667.026 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 : 2667.026 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 : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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.56 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 : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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 : 2667.026 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: 30370776 kB Buffers: 14812 kB Cached: 96172 kB SwapCached: 1828 kB Active: 78988 kB Inactive: 34408 kB Active(anon): 3660 kB Inactive(anon): 1352 kB Active(file): 75328 kB Inactive(file): 33056 kB Unevictable: 1686580 kB Mlocked: 20720 kB SwapTotal: 67108856 kB SwapFree: 67098248 kB Dirty: 34956 kB Writeback: 0 kB AnonPages: 1688668 kB Mapped: 6940 kB Shmem: 0 kB Slab: 567344 kB SReclaimable: 10984 kB SUnreclaim: 556360 kB KernelStack: 1408 kB PageTables: 7104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1783700 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 1669120 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= 71700 MiB End job on node135 at 2016-06-06 17:56:57