Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | SAT (TO) | 7699 | 1800.43 | 1793.76 |
| 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 | 26.299 |
| 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.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.16 c Free memory 1393557488 0.08/0.16 c Max memory 1395916800 0.08/0.16 c Total memory 1395916800 0.08/0.16 c Number of processors 2 0.21/0.21 c Pseudo Boolean Optimization 0.21/0.21 c --- Begin Solver configuration --- 0.21/0.21 c Stops conflict analysis at the first Unique Implication Point 0.21/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.21/0.21 c Learn all clauses as in MiniSAT 0.21/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.21/0.21 c Expensive reason simplification 0.21/0.21 c Armin Biere (Picosat) restarts strategy 0.21/0.21 c Glucose learned constraints deletion strategy 0.21/0.21 c timeout=2147483s 0.21/0.21 c DB Simplification allowed=false 0.21/0.21 c --- End Solver configuration --- 0.21/0.21 c solving HOME/instance-2659105-1276362748.opb 0.21/0.21 c reading problem ... 3.09/1.77 c ... done. Wall clock time 1.555s. 3.09/1.77 c #vars 10724 3.09/1.77 c #constraints 2045 3.09/1.77 c constraints type 3.09/1.77 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 523 3.09/1.77 c org.sat4j.minisat.constraints.card.MinWatchCard => 1139 3.09/1.77 c org.sat4j.pb.constraints.pb.MaxWatchPb => 383 6.08/3.43 c cleaning 2419 clauses out of 4837 with flag 5000/5000 7.06/4.33 c cleaning 4119 clauses out of 8238 with flag 11006/11006 7.96/5.28 c cleaning 5455 clauses out of 10923 with flag 18001/18001 9.49/6.74 c cleaning 6101 clauses out of 13091 with flag 26000/26000 11.22/8.42 c SATISFIABLE 11.22/8.42 c OPTIMIZING... 11.22/8.42 c Got one! Elapsed wall clock time (in seconds):8.199 11.22/8.42 o 9519 11.96/9.10 c cleaning 7651 clauses out of 15696 with flag 35000/35000 15.68/12.88 c Got one! Elapsed wall clock time (in seconds):12.66 15.68/12.88 o 9366 16.63/13.80 c cleaning 8945 clauses out of 17915 with flag 45000/45000 20.67/17.79 c Got one! Elapsed wall clock time (in seconds):17.577 20.67/17.79 o 9250 22.11/19.13 c cleaning 9426 clauses out of 18868 with flag 55003/55003 32.42/29.48 c cleaning 8823 clauses out of 19057 with flag 65003/65003 42.74/39.78 c cleaning 8950 clauses out of 19967 with flag 75000/75000 63.85/60.83 c cleaning 8855 clauses out of 20839 with flag 85000/85000 82.97/79.95 c cleaning 9260 clauses out of 21856 with flag 95018/95018 92.99/89.93 c cleaning 9064 clauses out of 22503 with flag 105000/105000 116.11/113.03 c cleaning 9413 clauses out of 23360 with flag 115000/115000 126.73/123.67 c Got one! Elapsed wall clock time (in seconds):123.457 126.73/123.67 o 9212 128.85/125.73 c cleaning 9486 clauses out of 23888 with flag 125000/125000 152.38/149.21 c cleaning 9573 clauses out of 24354 with flag 135000/135000 159.43/156.23 c cleaning 9397 clauses out of 24725 with flag 145003/145003 174.53/171.32 c cleaning 9565 clauses out of 25291 with flag 155002/155002 196.94/193.70 c cleaning 9455 clauses out of 25694 with flag 165003/165003 216.47/213.27 c cleaning 9391 clauses out of 26167 with flag 175009/175009 247.32/244.04 c cleaning 9584 clauses out of 26739 with flag 185008/185008 267.07/263.70 c cleaning 9581 clauses out of 27089 with flag 195003/195003 270.08/266.79 c Got one! Elapsed wall clock time (in seconds):266.571 270.08/266.79 o 9206 272.53/269.13 c Got one! Elapsed wall clock time (in seconds):268.91 272.53/269.13 o 9126 273.25/269.85 c Got one! Elapsed wall clock time (in seconds):269.635 273.25/269.85 o 7951 273.78/270.36 c Got one! Elapsed wall clock time (in seconds):270.141 273.78/270.36 o 7765 274.38/270.92 c Got one! Elapsed wall clock time (in seconds):270.703 274.38/270.92 o 7699 291.18/287.77 c cleaning 9796 clauses out of 27501 with flag 205001/205001 336.73/333.29 c cleaning 9726 clauses out of 27672 with flag 215002/215002 355.47/351.95 c cleaning 9578 clauses out of 27922 with flag 225001/225001 389.75/386.15 c cleaning 9677 clauses out of 28314 with flag 235001/235001 427.94/424.23 c cleaning 9847 clauses out of 28631 with flag 245022/245022 464.26/460.45 c cleaning 9737 clauses out of 28755 with flag 255000/255000 486.83/482.97 c cleaning 9695 clauses out of 28987 with flag 265001/265001 522.49/518.55 c cleaning 9623 clauses out of 29272 with flag 275003/275003 563.78/559.78 c cleaning 9850 clauses out of 29635 with flag 285000/285000 607.00/602.83 c cleaning 10022 clauses out of 29769 with flag 295006/295006 645.18/640.93 c cleaning 9788 clauses out of 29736 with flag 305000/305000 674.99/670.61 c cleaning 9824 clauses out of 29926 with flag 315001/315001 707.52/703.16 c cleaning 9734 clauses out of 30087 with flag 325000/325000 741.30/736.89 c cleaning 9900 clauses out of 30345 with flag 335009/335009 836.48/831.91 c cleaning 9988 clauses out of 30444 with flag 345010/345010 878.50/873.82 c cleaning 9843 clauses out of 30447 with flag 355001/355001 905.19/900.47 c cleaning 9719 clauses out of 30586 with flag 365001/365001 969.69/964.80 c cleaning 10010 clauses out of 30868 with flag 375002/375002 1025.67/1020.62 c cleaning 10059 clauses out of 30846 with flag 385000/385000 1041.21/1036.16 c cleaning 9784 clauses out of 30763 with flag 395000/395000 1065.57/1060.43 c cleaning 9636 clauses out of 30969 with flag 405002/405002 1100.15/1094.91 c cleaning 9917 clauses out of 31329 with flag 415001/415001 1129.42/1124.17 c cleaning 9775 clauses out of 31402 with flag 425000/425000 1190.46/1185.07 c cleaning 9994 clauses out of 31627 with flag 435000/435000 1231.31/1225.85 c cleaning 9973 clauses out of 31631 with flag 445002/445002 1291.42/1285.82 c cleaning 9996 clauses out of 31656 with flag 455000/455000 1322.80/1317.14 c cleaning 9908 clauses out of 31657 with flag 465000/465000 1365.21/1359.42 c cleaning 10002 clauses out of 31749 with flag 475000/475000 1408.93/1403.01 c cleaning 10001 clauses out of 31748 with flag 485001/485001 1428.56/1422.55 c cleaning 10033 clauses out of 31739 with flag 495005/495005 1444.18/1438.13 c cleaning 9690 clauses out of 31695 with flag 505000/505000 1484.44/1478.34 c cleaning 10141 clauses out of 32004 with flag 515002/515002 1533.10/1526.99 c cleaning 9798 clauses out of 31859 with flag 525001/525001 1564.69/1558.45 c cleaning 10067 clauses out of 32063 with flag 535009/535009 1664.99/1658.60 c cleaning 9829 clauses out of 31988 with flag 545001/545001 1737.85/1731.42 c cleaning 9909 clauses out of 32153 with flag 555000/555000 1800.02/1793.51 c starts : 143 1800.02/1793.51 c conflicts : 560313 1800.02/1793.51 c decisions : 4505480 1800.02/1793.51 c propagations : 32917306 1800.02/1793.51 c inspects : 125394647 1800.02/1793.51 c learnt literals : 3374 1800.02/1793.51 c learnt binary clauses : 12576 1800.02/1793.51 c learnt ternary clauses : 5652 1800.02/1793.51 c learnt clauses : 556938 1800.02/1793.51 c ignored clauses : 0 1800.02/1793.51 c root simplifications : 0 1800.02/1793.51 c removed literals (reason simplification) : 85924804 1800.02/1793.51 c reason swapping (by a shorter reason) : 0 1800.02/1793.51 c Calls to reduceDB : 57 1800.02/1793.51 c number of reductions to clauses (during analyze) : 0 1800.02/1793.52 c number of learned constraints concerned by reduction : 0 1800.02/1793.52 c number of learning phase by resolution : 0 1800.02/1793.52 c number of learning phase by cutting planes : 0 1800.02/1793.52 c speed (assignments/second) : 21619.39783867141 1800.02/1793.52 c non guided choices 1290268 1800.02/1793.57 c learnt constraints type 1800.02/1793.57 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 14981 1800.02/1793.57 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 12576 1800.02/1793.57 c constraints type 1800.02/1793.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 523 1800.02/1793.57 c org.sat4j.minisat.constraints.card.MinWatchCard => 1139 1800.02/1793.57 c org.sat4j.pb.constraints.pb.MaxWatchPb => 384 1800.02/1793.57 s SATISFIABLE 1800.02/1793.59 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.22/1793.68 c objective function=7699 1800.22/1793.68 c Total wall clock time (in seconds): 1793.461
OK 7699
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659105-1276362748/watcher-2659105-1276362748 -o /tmp/evaluation-result-2659105-1276362748/solver-2659105-1276362748 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659105-1276362748.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11937 /proc/meminfo: memFree=1726900/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=248 CPUtime=0 /proc/11937/stat : 11937 (java6) R 11935 11937 11234 0 -1 4194304 109 0 0 0 0 0 0 0 17 0 1 0 9931159 253952 28 1992294400 134512640 134550932 4294173696 18446744073709551615 1954388 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11937/statm: 62 28 21 10 0 23 0 [startup+0.0328349 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11937 /proc/meminfo: memFree=1726900/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1518228 CPUtime=0.01 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 2624 0 1 0 0 1 0 0 15 0 4 0 9931159 1554665472 2068 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 379557 2068 419 10 0 377268 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1518228 [startup+0.101452 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11937 /proc/meminfo: memFree=1726900/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1524024 CPUtime=0.08 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 3927 0 1 0 6 2 0 0 15 0 12 0 9931159 1560600576 3366 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 381006 3366 1073 10 0 378308 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524024 [startup+0.301491 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11937 /proc/meminfo: memFree=1726900/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1526480 CPUtime=0.35 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 5354 0 1 0 31 4 0 0 15 0 12 0 9931159 1563115520 4791 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 381620 4791 1358 10 0 378922 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1526480 [startup+0.701571 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11937 /proc/meminfo: memFree=1726900/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1528008 CPUtime=1.1 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 9824 0 1 0 105 5 0 0 15 0 12 0 9931159 1564680192 9261 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 382002 9262 1397 10 0 379304 0 Current children cumulated CPU time (s) 1.1 Current children cumulated vsize (KiB) 1528008 [startup+1.50272 s] /proc/loadavg: 1.00 1.00 1.04 6/118 11949 /proc/meminfo: memFree=1668340/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1547016 CPUtime=2.7 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 24582 0 1 0 257 13 0 0 15 0 12 0 9931159 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386754 20842 1406 10 0 384056 0 [pid=11937/tid=11939] ppid=11935 vsize=1547016 CPUtime=1.04 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 14778 0 1 0 96 8 0 0 19 0 12 0 9931161 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1547016 CPUtime=0 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 12 0 9931162 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1547016 CPUtime=0 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 9931162 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1547016 CPUtime=0 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 9931164 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1547016 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 9931164 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1547016 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 12 0 9931165 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1547016 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 9931169 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1547016 CPUtime=0.45 /proc/11937/task/11946/stat : 11946 (java) R 11935 11937 11234 0 -1 4202560 1449 0 0 0 45 0 0 0 23 0 12 0 9931169 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 104163547 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1547016 CPUtime=1.17 /proc/11937/task/11947/stat : 11947 (java) R 11935 11937 11234 0 -1 4202560 7294 0 0 0 115 2 0 0 17 0 12 0 9931169 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 105600491 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1547016 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 9931169 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1547016 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 9931169 1584144384 20842 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 1547016 [startup+3.10202 s] /proc/loadavg: 1.00 1.00 1.04 5/118 11949 /proc/meminfo: memFree=1575340/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1547340 CPUtime=5.76 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 42955 0 1 0 555 21 0 0 15 0 13 0 9931159 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386835 39211 1440 10 0 384137 0 [pid=11937/tid=11939] ppid=11935 vsize=1547340 CPUtime=2.56 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 31957 0 1 0 239 17 0 0 22 0 13 0 9931161 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4109164652 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1547340 CPUtime=0.01 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 416 0 0 0 1 0 0 0 16 0 13 0 9931162 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1547340 CPUtime=0.01 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 585 0 0 0 1 0 0 0 18 0 13 0 9931162 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1547340 CPUtime=0 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 13 0 9931164 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1547340 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9931164 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1547340 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9931165 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1547340 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9931169 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1547340 CPUtime=0.59 /proc/11937/task/11946/stat : 11946 (java) S 11935 11937 11234 0 -1 4202560 1501 0 0 0 59 0 0 0 24 0 13 0 9931169 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1547340 CPUtime=2.54 /proc/11937/task/11947/stat : 11947 (java) S 11935 11937 11234 0 -1 4202560 7424 0 0 0 252 2 0 0 18 0 13 0 9931169 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1547340 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9931169 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1547340 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 9931169 1584476160 39211 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.76 Current children cumulated vsize (KiB) 1547340 [startup+6.30175 s] /proc/loadavg: 1.24 1.05 1.06 2/119 11950 /proc/meminfo: memFree=1562684/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1544944 CPUtime=9.09 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 46038 0 1 0 886 23 0 0 15 0 13 0 9931159 1582022656 41626 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386236 41626 1445 10 0 383538 0 [pid=11937/tid=11939] ppid=11935 vsize=1544944 CPUtime=5.56 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 31999 0 1 0 539 17 0 0 25 0 13 0 9931161 1582022656 41626 1992294400 134512640 134550932 4290877024 18446744073709551615 4109644091 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1544944 CPUtime=0.04 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 1020 0 0 0 4 0 0 0 16 0 13 0 9931162 1582022656 41626 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1544944 CPUtime=0.03 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 1258 0 0 0 3 0 0 0 18 0 13 0 9931162 1582022656 41626 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1544944 CPUtime=0.11 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 1757 0 0 0 11 0 0 0 16 0 13 0 9931164 1582022656 41626 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9931164 1582022656 41626 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9931165 1582022656 41627 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9931169 1582022656 41627 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1544944 CPUtime=0.68 /proc/11937/task/11946/stat : 11946 (java) S 11935 11937 11234 0 -1 4202560 1507 0 0 0 68 0 0 0 15 0 13 0 9931169 1582022656 41627 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1544944 CPUtime=2.59 /proc/11937/task/11947/stat : 11947 (java) S 11935 11937 11234 0 -1 4202560 7431 0 0 0 257 2 0 0 15 0 13 0 9931169 1582022656 41627 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9931169 1582022656 41627 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 9931169 1582022656 41627 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11950] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11950/stat : 11950 (java) S 11935 11937 11234 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 9931375 1582022656 41627 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.09 Current children cumulated vsize (KiB) 1544944 [startup+12.7007 s] /proc/loadavg: 1.22 1.05 1.06 2/119 11950 /proc/meminfo: memFree=1562312/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1544944 CPUtime=15.56 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 46679 0 1 0 1533 23 0 0 15 0 13 0 9931159 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386236 42234 1445 10 0 383538 0 [pid=11937/tid=11939] ppid=11935 vsize=1544944 CPUtime=11.77 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 32074 0 1 0 1160 17 0 0 25 0 13 0 9931161 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4109546264 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1544944 CPUtime=0.06 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 1020 0 0 0 6 0 0 0 16 0 13 0 9931162 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1544944 CPUtime=0.06 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 1259 0 0 0 6 0 0 0 15 0 13 0 9931162 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1544944 CPUtime=0.22 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 2313 0 0 0 22 0 0 0 15 0 13 0 9931164 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9931164 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9931165 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9931169 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1544944 CPUtime=0.73 /proc/11937/task/11946/stat : 11946 (java) S 11935 11937 11234 0 -1 4202560 1511 0 0 0 73 0 0 0 15 0 13 0 9931169 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1544944 CPUtime=2.65 /proc/11937/task/11947/stat : 11947 (java) S 11935 11937 11234 0 -1 4202560 7436 0 0 0 263 2 0 0 16 0 13 0 9931169 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9931169 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 9931169 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11950] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11950/stat : 11950 (java) S 11935 11937 11234 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 9931375 1582022656 42234 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.56 Current children cumulated vsize (KiB) 1544944 [startup+25.5015 s] /proc/loadavg: 1.17 1.05 1.05 2/119 11952 /proc/meminfo: memFree=1559460/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1544944 CPUtime=28.51 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 47384 0 1 0 2827 24 0 0 15 0 13 0 9931159 1582022656 42904 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386236 42904 1445 10 0 383538 0 [pid=11937/tid=11939] ppid=11935 vsize=1544944 CPUtime=24.39 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 32079 0 1 0 2421 18 0 0 25 0 13 0 9931161 1582022656 42904 1992294400 134512640 134550932 4290877024 18446744073709551615 4109546240 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1544944 CPUtime=0.1 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 1022 0 0 0 10 0 0 0 15 0 13 0 9931162 1582022656 42904 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1544944 CPUtime=0.1 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 1263 0 0 0 10 0 0 0 16 0 13 0 9931162 1582022656 42904 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1544944 CPUtime=0.33 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 3002 0 0 0 33 0 0 0 15 0 13 0 9931164 1582022656 42904 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9931164 1582022656 42904 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1544944 CPUtime=0 ################ # More data... # ################ [pid=11937] ppid=11935 vsize=1544944 CPUtime=1728.75 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 81052 0 1 0 172820 55 0 0 15 0 13 0 9931159 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386236 73744 1446 10 0 383538 0 [pid=11937/tid=11939] ppid=11935 vsize=1544944 CPUtime=1712.78 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 37068 0 1 0 171249 29 0 0 25 0 13 0 9931161 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4109539635 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1544944 CPUtime=4.31 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 14765 0 0 0 422 9 0 0 15 0 13 0 9931162 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1544944 CPUtime=4.32 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 15057 0 0 0 423 9 0 0 16 0 13 0 9931162 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1544944 CPUtime=3.62 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 4029 0 0 0 360 2 0 0 15 0 13 0 9931164 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9931164 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9931165 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1544944 CPUtime=0.9 /proc/11937/task/11946/stat : 11946 (java) S 11935 11937 11234 0 -1 4202560 1521 0 0 0 90 0 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1544944 CPUtime=2.74 /proc/11937/task/11947/stat : 11947 (java) S 11935 11937 11234 0 -1 4202560 7444 0 0 0 272 2 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11950] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11950/stat : 11950 (java) S 11935 11937 11234 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 9931375 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1728.75 Current children cumulated vsize (KiB) 1544944 [startup+1782.3 s] /proc/loadavg: 1.12 1.08 1.02 2/119 12001 /proc/meminfo: memFree=1433344/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1544944 CPUtime=1788.77 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 81075 0 1 0 178821 56 0 0 15 0 13 0 9931159 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386236 73744 1446 10 0 383538 0 [pid=11937/tid=11939] ppid=11935 vsize=1544944 CPUtime=1772.63 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 37070 0 1 0 177233 30 0 0 25 0 13 0 9931161 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4109610198 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1544944 CPUtime=4.36 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 14765 0 0 0 427 9 0 0 16 0 13 0 9931162 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1544944 CPUtime=4.38 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 15057 0 0 0 429 9 0 0 15 0 13 0 9931162 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1544944 CPUtime=3.69 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 4048 0 0 0 367 2 0 0 15 0 13 0 9931164 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9931164 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9931165 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1544944 CPUtime=0.9 /proc/11937/task/11946/stat : 11946 (java) S 11935 11937 11234 0 -1 4202560 1521 0 0 0 90 0 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1544944 CPUtime=2.74 /proc/11937/task/11947/stat : 11947 (java) S 11935 11937 11234 0 -1 4202560 7444 0 0 0 272 2 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11950] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11950/stat : 11950 (java) S 11935 11937 11234 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 9931375 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1788.77 Current children cumulated vsize (KiB) 1544944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.5 s] /proc/loadavg: 1.09 1.08 1.02 2/119 12001 /proc/meminfo: memFree=1433344/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1544944 CPUtime=1800.02 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 81078 0 1 0 179945 57 0 0 15 0 13 0 9931159 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386236 73744 1446 10 0 383538 0 [pid=11937/tid=11939] ppid=11935 vsize=1544944 CPUtime=1783.78 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 37071 0 1 0 178348 30 0 0 25 0 13 0 9931161 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4109590156 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1544944 CPUtime=4.4 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 14765 0 0 0 431 9 0 0 16 0 13 0 9931162 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1544944 CPUtime=4.42 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 15057 0 0 0 433 9 0 0 16 0 13 0 9931162 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1544944 CPUtime=3.69 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 4048 0 0 0 367 2 0 0 15 0 13 0 9931164 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9931164 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 9931165 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1544944 CPUtime=0.9 /proc/11937/task/11946/stat : 11946 (java) S 11935 11937 11234 0 -1 4202560 1521 0 0 0 90 0 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1544944 CPUtime=2.74 /proc/11937/task/11947/stat : 11947 (java) S 11935 11937 11234 0 -1 4202560 7444 0 0 0 272 2 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 13 0 9931169 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11950] ppid=11935 vsize=1544944 CPUtime=0 /proc/11937/task/11950/stat : 11950 (java) S 11935 11937 11234 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 9931375 1582022656 73744 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1544944 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.62 s] /proc/loadavg: 1.09 1.08 1.02 2/119 12001 /proc/meminfo: memFree=1433344/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1545592 CPUtime=1800.22 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 81103 0 1 0 179965 57 0 0 15 0 15 0 9931159 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386398 73767 1448 10 0 383700 0 [pid=11937/tid=11939] ppid=11935 vsize=1545592 CPUtime=1783.85 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 37071 0 1 0 178355 30 0 0 25 0 15 0 9931161 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4109610230 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1545592 CPUtime=4.4 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 14765 0 0 0 431 9 0 0 16 0 15 0 9931162 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1545592 CPUtime=4.42 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 15057 0 0 0 433 9 0 0 16 0 15 0 9931162 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1545592 CPUtime=3.69 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 4048 0 0 0 367 2 0 0 15 0 15 0 9931164 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 15 0 9931164 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 15 0 9931165 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 15 0 9931169 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1545592 CPUtime=0.96 /proc/11937/task/11946/stat : 11946 (java) R 11935 11937 11234 0 -1 4202560 1524 0 0 0 96 0 0 0 16 0 15 0 9931169 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 103345889 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1545592 CPUtime=2.78 /proc/11937/task/11947/stat : 11947 (java) S 11935 11937 11234 0 -1 4202560 7447 0 0 0 276 2 0 0 15 0 15 0 9931169 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 15 0 9931169 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 15 0 9931169 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11950] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11950/stat : 11950 (java) S 11935 11937 11234 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 15 0 9931375 1582686208 73767 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 1545592 [startup+1793.7 s] /proc/loadavg: 1.09 1.08 1.02 2/119 12001 /proc/meminfo: memFree=1433344/2059040 swapFree=4165036/4192956 [pid=11937] ppid=11935 vsize=1545592 CPUtime=1800.37 /proc/11937/stat : 11937 (java) S 11935 11937 11234 0 -1 4202496 81110 0 1 0 179980 57 0 0 15 0 14 0 9931159 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11937/statm: 386398 73774 1449 10 0 383700 0 [pid=11937/tid=11939] ppid=11935 vsize=1545592 CPUtime=1783.93 /proc/11937/task/11939/stat : 11939 (java) R 11935 11937 11234 0 -1 4202560 37071 0 1 0 178363 30 0 0 25 0 14 0 9931161 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4109503332 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11937/tid=11940] ppid=11935 vsize=1545592 CPUtime=4.4 /proc/11937/task/11940/stat : 11940 (java) S 11935 11937 11234 0 -1 4202560 14765 0 0 0 431 9 0 0 16 0 14 0 9931162 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11941] ppid=11935 vsize=1545592 CPUtime=4.42 /proc/11937/task/11941/stat : 11941 (java) S 11935 11937 11234 0 -1 4202560 15057 0 0 0 433 9 0 0 16 0 14 0 9931162 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11942] ppid=11935 vsize=1545592 CPUtime=3.69 /proc/11937/task/11942/stat : 11942 (java) S 11935 11937 11234 0 -1 4202560 4048 0 0 0 367 2 0 0 15 0 14 0 9931164 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 0 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11943] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11943/stat : 11943 (java) S 11935 11937 11234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 9931164 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11944] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11944/stat : 11944 (java) S 11935 11937 11234 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 14 0 9931165 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11945] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11945/stat : 11945 (java) S 11935 11937 11234 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 14 0 9931169 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11946] ppid=11935 vsize=1545592 CPUtime=1.01 /proc/11937/task/11946/stat : 11946 (java) S 11935 11937 11234 0 -1 4202560 1528 0 0 0 101 0 0 0 16 0 14 0 9931169 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11947] ppid=11935 vsize=1545592 CPUtime=2.78 /proc/11937/task/11947/stat : 11947 (java) S 11935 11937 11234 0 -1 4202560 7447 0 0 0 276 2 0 0 15 0 14 0 9931169 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11948] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11948/stat : 11948 (java) S 11935 11937 11234 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 9931169 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 [pid=11937/tid=11949] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11949/stat : 11949 (java) S 11935 11937 11234 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 14 0 9931169 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 1 0 0 0 [pid=11937/tid=11950] ppid=11935 vsize=1545592 CPUtime=0 /proc/11937/task/11950/stat : 11950 (java) S 11935 11937 11234 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 14 0 9931375 1582686208 73774 1992294400 134512640 134550932 4290877024 18446744073709551615 4294960144 0 4 0 16800975 18446604437826564288 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 1545592 Child status: 143 Real time (s): 1793.76 CPU time (s): 1800.43 CPU user time (s): 1799.82 CPU system time (s): 0.606907 CPU usage (%): 100.372 Max. virtual memory (cumulated for all children) (KiB): 1547340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.606907 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81111 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38278 involuntary context switches= 19770 runsolver used 3.72043 second user time and 9.42757 second system time The end
Begin job on node019 at 2010-06-12 19:12:28 IDJOB=2659105 IDBENCH=1882 IDSOLVER=1164 FILE ID=node019/2659105-1276362748 PBS_JOBID= 11173208 Free space on /tmp= 62356 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659105-1276362748/watcher-2659105-1276362748 -o /tmp/evaluation-result-2659105-1276362748/solver-2659105-1276362748 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659105-1276362748.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff RANDOM SEED=1213250360 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1727296 kB Buffers: 98480 kB Cached: 132440 kB SwapCached: 1408 kB Active: 100056 kB Inactive: 163760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1727296 kB SwapTotal: 4192956 kB SwapFree: 4165036 kB Dirty: 728 kB Writeback: 0 kB AnonPages: 31484 kB Mapped: 15368 kB Slab: 46056 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181680 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62356 MiB End job on node019 at 2010-06-12 19:42:24