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