Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.13 | 2414.23 |
| Name | fapp/fapp11-15/fapp15/ fapp15-3000-1.xml |
| MD5SUM | 2cf7ece5c4ec944165ff6d4cc1345473 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 31573 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 3000 |
| Number of constraints | 33021 |
| Maximum constraint arity | 2 |
| Maximum domain size | 182 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 33021 |
| Global constraints used (with number of constraints) |
0.33 0.33 Abscon 109 (November, 2006) 0.33 0.33 configuration 0.33 name=epfc.xml 0.37 0.37 instance 0.37 name=/tmp/evaluation/275255-1169218906/unknown.xml 0.40 0.40 domains being loaded... 0.44 0.44 variables being loaded... 0.72 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.72 => wckTime=0.39 cpuTime=0.28 mem=27M366 0.72 0.72 predicates being loaded... 0.72 0.72 constraints being loaded... 33.96 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=88333149 nbExtensionStructures=5410 33.96 nbSharedExtensionStructures=27611 nbConflictsStructures=5410 nbSharedConflictsStructures=27611 33.96 nbSharedBinaryRepresentations=1414032 maxDegree=29 maxArity=2 33.96 => wckTime=33.636 cpuTime=32.56 mem=65M150 34.27 34.27 solver LocalSearchSolver being built... 34.31 => wckTime=33.985 cpuTime=32.61 mem=63M438 34.41 34.41 s SATISFIABLE 34.41 o 25635 34.41 c 7386 34.42 o 25643 34.42 c 7378 34.43 o 25649 34.43 c 7372 34.45 o 25660 34.45 c 7361 34.46 o 25666 34.46 c 7355 34.47 o 25672 34.47 c 7349 34.48 o 25677 34.48 c 7344 34.49 o 25681 34.49 c 7340 34.50 o 25685 34.50 c 7336 34.51 o 25689 34.51 c 7332 34.52 o 25692 34.52 c 7329 34.53 o 25702 34.53 c 7319 34.54 o 25712 34.54 c 7309 34.55 o 25720 34.55 c 7301 34.56 o 25727 34.56 c 7294 34.58 o 25734 34.58 c 7287 34.59 o 25740 34.59 c 7281 34.60 o 25746 34.60 c 7275 34.62 o 25751 34.62 c 7270 34.63 o 25756 34.63 c 7265 34.64 o 25761 34.64 c 7260 34.65 o 25765 34.65 c 7256 34.66 o 25769 34.66 c 7252 34.68 o 25772 34.68 c 7249 34.69 o 25775 34.69 c 7246 34.70 o 25778 34.70 c 7243 34.71 o 25781 34.71 c 7240 34.72 o 25784 34.72 c 7237 34.73 o 25786 34.73 c 7235 34.74 o 25788 34.74 c 7233 34.75 o 25790 34.75 c 7231 34.76 o 25791 34.76 c 7230 34.77 o 25797 34.77 c 7224 34.79 o 25807 34.79 c 7214 34.80 o 25815 34.80 c 7206 34.81 o 25823 34.81 c 7198 34.83 o 25831 34.83 c 7190 34.84 o 25838 34.84 c 7183 34.85 o 25845 34.85 c 7176 34.87 o 25852 34.87 c 7169 34.88 o 25858 34.88 c 7163 34.90 o 25864 34.90 c 7157 34.91 o 25870 34.91 c 7151 34.92 o 25876 34.92 c 7145 34.94 o 25882 34.94 c 7139 34.96 o 25887 34.96 c 7134 34.97 o 25892 34.97 c 7129 34.98 o 25896 34.98 c 7125 35.00 o 25900 35.00 c 7121 35.01 o 25904 35.01 c 7117 35.02 o 25908 35.02 c 7113 35.03 o 25911 35.03 c 7110 35.04 o 25914 35.04 c 7107 35.05 o 25917 35.05 c 7104 35.06 o 25920 35.06 c 7101 35.07 o 25922 35.07 c 7099 35.09 o 25924 35.09 c 7097 35.10 o 25926 35.10 c 7095 35.11 o 25928 35.11 c 7093 35.12 o 25930 35.12 c 7091 35.12 o 25935 35.12 c 7086 35.14 o 25940 35.14 c 7081 35.15 o 25942 35.15 c 7079 35.17 o 25946 35.17 c 7075 35.19 o 25953 35.19 c 7068 35.21 o 25960 35.21 c 7061 35.23 o 25967 35.23 c 7054 35.25 o 25974 35.25 c 7047 35.27 o 25980 35.27 c 7041 35.29 o 25986 35.29 c 7035 35.31 o 25992 35.31 c 7029 35.33 o 25998 35.33 c 7023 35.35 o 26003 35.35 c 7018 35.38 o 26008 35.38 c 7013 35.40 o 26013 35.40 c 7008 35.42 o 26018 35.42 c 7003 35.44 o 26023 35.44 c 6998 35.45 o 26025 35.45 c 6996 35.47 o 26030 35.47 c 6991 35.49 o 26034 35.49 c 6987 35.51 o 26038 35.51 c 6983 35.53 o 26042 35.53 c 6979 35.55 o 26046 35.55 c 6975 35.57 o 26050 35.57 c 6971 35.59 o 26054 35.59 c 6967 35.60 o 26058 35.60 c 6963 35.62 o 26062 35.62 c 6959 35.64 o 26065 35.64 c 6956 35.66 o 26068 35.66 c 6953 35.67 o 26071 35.67 c 6950 35.69 o 26074 35.69 c 6947 35.70 o 26077 35.70 c 6944 35.72 o 26080 35.72 c 6941 35.73 o 26083 35.73 c 6938 35.75 o 26086 35.75 c 6935 35.76 o 26089 35.76 c 6932 35.78 o 26092 35.78 c 6929 35.79 o 26095 35.79 c 6926 35.80 o 26097 35.80 c 6924 35.82 o 26099 35.82 c 6922 35.83 o 26101 35.83 c 6920 35.84 o 26103 35.84 c 6918 35.85 o 26108 35.85 c 6913 35.86 o 26110 35.86 c 6911 35.87 o 26112 35.88 c 6909 35.89 o 26115 35.89 c 6906 35.90 o 26117 35.90 c 6904 35.91 o 26118 35.91 c 6903 35.92 o 26119 35.92 c 6902 35.93 o 26120 35.93 c 6901 35.94 o 26121 35.94 c 6900 35.96 o 26125 35.96 c 6896 35.97 o 26130 35.97 c 6891 35.97 o 26131 35.97 c 6890 35.99 o 26138 35.99 c 6883 35.99 o 26144 35.99 c 6877 36.00 o 26149 36.00 c 6872 36.01 o 26153 36.01 c 6868 36.02 o 26158 36.02 c 6863 36.03 o 26161 36.03 c 6860 36.05 o 26166 36.05 c 6855 36.06 o 26169 36.06 c 6852 36.07 o 26171 36.07 c 6850 36.09 o 26174 36.09 c 6847 36.12 o 26178 36.12 c 6843 36.13 o 26182 36.13 c 6839 36.14 o 26184 36.14 c 6837 36.16 o 26187 36.16 c 6834 36.17 o 26189 36.17 c 6832 36.19 o 26192 36.19 c 6829 36.20 o 26194 36.20 c 6827 36.21 o 26198 36.21 c 6823 36.23 o 26201 36.23 c 6820 36.24 o 26210 36.24 c 6811 36.26 o 26214 36.26 c 6807 36.28 o 26219 36.28 c 6802 36.29 o 26227 36.29 c 6794 36.32 o 26234 36.32 c 6787 36.34 o 26241 36.34 c 6780 36.36 o 26248 36.36 c 6773 36.39 o 26254 36.39 c 6767 36.41 o 26260 36.41 c 6761 36.44 o 26266 36.44 c 6755 36.46 o 26272 36.46 c 6749 36.48 o 26274 36.48 c 6747 36.51 o 26280 36.51 c 6741 36.54 o 26286 36.54 c 6735 36.56 o 26292 36.56 c 6729 36.59 o 26298 36.59 c 6723 36.61 o 26304 36.61 c 6717 36.63 o 26310 36.63 c 6711 36.65 o 26316 36.65 c 6705 36.68 o 26321 36.68 c 6700 36.70 o 26326 36.70 c 6695 36.73 o 26333 36.73 c 6688 36.76 o 26338 36.76 c 6683 36.78 o 26339 36.78 c 6682 36.80 o 26340 36.80 c 6681 36.82 o 26345 36.82 c 6676 36.85 o 26350 36.85 c 6671 36.87 o 26355 36.87 c 6666 36.89 o 26359 36.89 c 6662 36.91 o 26363 36.92 c 6658 36.94 o 26367 36.94 c 6654 36.96 o 26371 36.96 c 6650 36.99 o 26375 36.99 c 6646 37.01 o 26379 37.01 c 6642 37.03 o 26383 37.03 c 6638 37.05 o 26385 37.05 c 6636 37.08 o 26389 37.08 c 6632 37.09 o 26393 37.09 c 6628 37.12 o 26397 37.12 c 6624 37.14 o 26401 37.14 c 6620 37.16 o 26405 37.16 c 6616 37.18 o 26409 37.18 c 6612 37.20 o 26418 37.20 c 6603 37.22 o 26422 37.22 c 6599 37.24 o 26425 37.24 c 6596 37.25 o 26428 37.25 c 6593 37.27 o 26431 37.27 c 6590 37.29 o 26434 37.29 c 6587 37.31 o 26437 37.31 c 6584 37.33 o 26440 37.33 c 6581 37.35 o 26443 37.35 c 6578 37.38 o 26446 37.38 c 6575 37.39 o 26449 37.39 c 6572 37.41 o 26452 37.41 c 6569 37.43 o 26455 37.43 c 6566 37.44 o 26458 37.44 c 6563 37.46 o 26461 37.46 c 6560 37.48 o 26464 37.48 c 6557 37.49 o 26467 37.49 c 6554 37.51 o 26470 37.51 c 6551 37.52 o 26472 37.52 c 6549 37.54 o 26474 37.54 c 6547 37.55 o 26476 37.55 c 6545 37.57 o 26478 37.57 c 6543 37.58 o 26480 37.58 c 6541 37.60 o 26482 37.60 c 6539 37.61 o 26484 37.61 c 6537 37.62 o 26486 37.62 c 6535 37.63 o 26488 37.63 c 6533 37.65 o 26490 37.65 c 6531 37.66 o 26492 37.66 c 6529 37.67 o 26494 37.67 c 6527 37.68 o 26495 37.68 c 6526 37.69 o 26496 37.69 c 6525 37.70 o 26497 37.70 c 6524 37.72 o 26498 37.72 c 6523 37.73 o 26499 37.73 c 6522 37.80 o 26500 37.80 c 6521 37.81 o 26504 37.81 c 6517 37.82 o 26506 37.82 c 6515 37.83 o 26509 37.83 c 6512 37.84 o 26515 37.84 c 6506 37.85 o 26517 37.85 c 6504 37.88 o 26523 37.88 c 6498 37.89 o 26526 37.89 c 6495 37.90 o 26529 37.90 c 6492 37.91 o 26535 37.91 c 6486 37.93 o 26536 37.93 c 6485 37.94 o 26537 37.94 c 6484 37.95 o 26538 37.95 c 6483 37.96 o 26544 37.96 c 6477 37.98 o 26548 37.98 c 6473 37.99 o 26552 37.99 c 6469 38.00 o 26554 38.00 c 6467 38.01 o 26559 38.01 c 6462 38.02 o 26560 38.02 c 6461 38.03 o 26561 38.03 c 6460 38.04 o 26563 38.04 c 6458 38.06 o 26565 38.06 c 6456 38.07 o 26566 38.07 c 6455 38.08 o 26567 38.08 c 6454 38.09 o 26572 38.09 c 6449 38.10 o 26577 38.10 c 6444 38.11 o 26579 38.11 c 6442 38.12 o 26582 38.12 c 6439 38.14 o 26585 38.14 c 6436 38.15 o 26587 38.15 c 6434 38.16 o 26593 38.16 c 6428 38.17 o 26594 38.17 c 6427 38.19 o 26599 38.19 c 6422 38.20 o 26604 38.20 c 6417 38.22 o 26607 38.22 c 6414 38.23 o 26611 38.23 c 6410 38.24 o 26614 38.24 c 6407 38.26 o 26615 38.26 c 6406 38.27 o 26618 38.27 c 6403 38.29 o 26624 38.29 c 6397 38.31 o 26629 38.31 c 6392 38.33 o 26632 38.33 c 6389 38.35 o 26634 38.35 c 6387 38.36 o 26637 38.36 c 6384 38.38 o 26639 38.38 c 6382 38.40 o 26645 38.40 c 6376 38.43 o 26651 38.43 c 6370 38.46 o 26657 38.46 c 6364 38.48 o 26663 38.48 c 6358 38.52 o 26669 38.52 c 6352 38.54 o 26675 38.54 c 6346 38.57 o 26678 38.57 c 6343 38.60 o 26683 38.60 c 6338 38.63 o 26688 38.63 c 6333 38.66 o 26693 38.66 c 6328 38.69 o 26698 38.69 c 6323 38.72 o 26703 38.72 c 6318 38.74 o 26708 38.74 c 6313 38.77 o 26713 38.77 c 6308 38.80 o 26718 38.80 c 6303 38.82 o 26723 38.82 c 6298 38.84 o 26727 38.85 c 6294 38.87 o 26732 38.87 c 6289 38.90 o 26737 38.90 c 6284 38.92 o 26742 38.92 c 6279 38.95 o 26746 38.95 c 6275 38.98 o 26750 38.98 c 6271 39.00 o 26756 39.00 c 6265 39.03 o 26760 39.03 c 6261 39.05 o 26764 39.05 c 6257 39.08 o 26768 39.08 c 6253 39.10 o 26772 39.10 c 6249 39.13 o 26776 39.13 c 6245 39.16 o 26780 39.16 c 6241 39.18 o 26783 39.18 c 6238 39.20 o 26787 39.20 c 6234 39.22 o 26791 39.22 c 6230 39.25 o 26796 39.25 c 6225 39.27 o 26799 39.27 c 6222 39.30 o 26802 39.30 c 6219 39.32 o 26805 39.32 c 6216 39.34 o 26808 39.34 c 6213 39.36 o 26816 39.36 c 6205 39.39 o 26819 39.39 c 6202 39.41 o 26822 39.41 c 6199 39.43 o 26825 39.43 c 6196 39.45 o 26828 39.45 c 6193 39.47 o 26831 39.47 c 6190 39.49 o 26834 39.49 c 6187 39.51 o 26837 39.51 c 6184 39.53 o 26840 39.53 c 6181 39.55 o 26842 39.55 c 6179 39.57 o 26844 39.57 c 6177 39.59 o 26852 39.59 c 6169 39.61 o 26854 39.61 c 6167 39.63 o 26856 39.63 c 6165 39.65 o 26858 39.65 c 6163 39.66 o 26860 39.66 c 6161 39.68 o 26862 39.68 c 6159 39.70 o 26869 39.70 c 6152 39.72 o 26871 39.72 c 6150 39.74 o 26873 39.74 c 6148 39.75 o 26875 39.75 c 6146 39.77 o 26877 39.77 c 6144 39.78 o 26879 39.78 c 6142 39.80 o 26880 39.80 c 6141 39.81 o 26881 39.81 c 6140 39.83 o 26882 39.83 c 6139 39.85 o 26883 39.85 c 6138 39.86 o 26884 39.86 c 6137 39.87 o 26885 39.87 c 6136 39.88 o 26886 39.88 c 6135 39.90 o 26887 39.90 c 6134 39.91 o 26888 39.91 c 6133 39.92 o 26889 39.92 c 6132 39.97 o 26893 39.97 c 6128 40.02 o 26898 40.02 c 6123 40.04 o 26900 40.04 c 6121 40.06 o 26903 40.06 c 6118 40.07 o 26908 40.07 c 6113 40.09 o 26911 40.09 c 6110 40.10 o 26913 40.10 c 6108 40.11 o 26914 40.11 c 6107 40.12 o 26920 40.12 c 6101 40.14 o 26924 40.14 c 6097 40.15 o 26926 40.15 c 6095 40.16 o 26928 40.16 c 6093 40.17 o 26931 40.17 c 6090 40.18 o 26933 40.18 c 6088 40.21 o 26934 40.21 c 6087 40.22 o 26937 40.22 c 6084 40.23 o 26938 40.23 c 6083 40.25 o 26944 40.25 c 6077 40.26 o 26947 40.26 c 6074 40.27 o 26951 40.27 c 6070 40.30 o 26953 40.30 c 6068 40.31 o 26958 40.31 c 6063 40.32 o 26963 40.32 c 6058 40.34 o 26968 40.34 c 6053 40.36 o 26969 40.36 c 6052 40.38 o 26971 40.38 c 6050 40.39 o 26978 40.39 c 6043 40.40 o 26983 40.40 c 6038 40.41 o 26985 40.41 c 6036 40.42 o 26988 40.42 c 6033 40.44 o 26991 40.44 c 6030 40.45 o 26997 40.45 c 6024 40.46 o 26999 40.46 c 6022 40.48 o 27003 40.48 c 6018 40.49 o 27006 40.49 c 6015 40.50 o 27009 40.50 c 6012 40.52 o 27011 40.52 c 6010 40.54 o 27016 40.54 c 6005 40.55 o 27020 40.55 c 6001 40.58 o 27021 40.58 c 6000 40.59 o 27024 40.59 c 5997 40.61 o 27030 40.61 c 5991 40.62 o 27033 40.62 c 5988 40.64 o 27035 40.64 c 5986 40.65 o 27038 40.65 c 5983 40.67 o 27039 40.67 c 5982 40.68 o 27040 40.68 c 5981 40.69 o 27046 40.69 c 5975 40.71 o 27049 40.71 c 5972 40.73 o 27055 40.73 c 5966 40.75 o 27060 40.75 c 5961 40.76 o 27063 40.76 c 5958 40.78 o 27067 40.78 c 5954 40.79 o 27071 40.79 c 5950 40.82 o 27072 40.82 c 5949 40.83 o 27074 40.83 c 5947 40.85 o 27077 40.85 c 5944 40.86 o 27080 40.86 c 5941 40.88 o 27083 40.88 c 5938 40.89 o 27086 40.89 c 5935 40.91 o 27089 40.91 c 5932 40.92 o 27092 40.92 c 5929 40.94 o 27095 40.94 c 5926 40.95 o 27099 40.95 c 5922 40.99 o 27100 40.99 c 5921 41.00 o 27101 41.01 c 5920 41.02 o 27104 41.02 c 5917 41.04 o 27106 41.04 c 5915 41.06 o 27110 41.06 c 5911 41.07 o 27114 41.07 c 5907 41.09 o 27116 41.09 c 5905 41.11 o 27118 41.11 c 5903 41.13 o 27120 41.13 c 5901 41.16 o 27122 41.16 c 5899 41.17 o 27126 41.17 c 5895 41.19 o 27129 41.19 c 5892 41.22 o 27135 41.22 c 5886 41.24 o 27141 41.24 c 5880 41.27 o 27146 41.27 c 5875 41.30 o 27151 41.30 c 5870 41.32 o 27156 41.32 c 5865 41.35 o 27158 41.35 c 5863 41.38 o 27163 41.38 c 5858 41.40 o 27168 41.40 c 5853 41.43 o 27173 41.43 c 5848 41.45 o 27178 41.46 c 5843 41.48 o 27183 41.49 c 5838 41.51 o 27186 41.51 c 5835 41.53 o 27192 41.53 c 5829 41.55 o 27193 41.55 c 5828 41.58 o 27197 41.58 c 5824 41.61 o 27201 41.61 c 5820 41.64 o 27205 41.64 c 5816 41.67 o 27209 41.67 c 5812 41.69 o 27213 41.69 c 5808 41.72 o 27217 41.72 c 5804 41.75 o 27221 41.75 c 5800 41.78 o 27225 41.78 c 5796 41.80 o 27227 41.80 c 5794 41.83 o 27231 41.83 c 5790 41.86 o 27232 41.86 c 5789 41.89 o 27236 41.89 c 5785 41.92 o 27240 41.92 c 5781 41.94 o 27244 41.94 c 5777 41.97 o 27248 41.97 c 5773 41.99 o 27250 41.99 c 5771 42.01 o 27254 42.01 c 5767 42.04 o 27257 42.04 c 5764 42.06 o 27260 42.06 c 5761 42.09 o 27263 42.09 c 5758 42.11 o 27266 42.11 c 5755 42.13 o 27270 42.13 c 5751 42.16 o 27271 42.16 c 5750 42.18 o 27274 42.18 c 5747 42.20 o 27277 42.20 c 5744 42.23 o 27281 42.23 c 5740 42.25 o 27284 42.25 c 5737 42.28 o 27287 42.28 c 5734 42.29 o 27288 42.29 c 5733 42.32 o 27291 42.32 c 5730 42.34 o 27293 42.34 c 5728 42.36 o 27295 42.36 c 5726 42.39 o 27297 42.39 c 5724 42.41 o 27299 42.41 c 5722 42.43 o 27301 42.43 c 5720 42.45 o 27307 42.45 c 5714 42.47 o 27309 42.47 c 5712 42.49 o 27311 42.49 c 5710 42.51 o 27313 42.51 c 5708 42.52 o 27315 42.52 c 5706 42.55 o 27317 42.55 c 5704 42.56 o 27319 42.56 c 5702 42.58 o 27321 42.58 c 5700 42.60 o 27325 42.60 c 5696 42.61 o 27331 42.61 c 5690 42.63 o 27333 42.63 c 5688 42.68 o 27338 42.68 c 5683 42.69 o 27339 42.69 c 5682 42.71 o 27340 42.71 c 5681 42.72 o 27341 42.72 c 5680 42.74 o 27342 42.74 c 5679 42.75 o 27343 42.75 c 5678 42.77 o 27344 42.77 c 5677 42.78 o 27345 42.78 c 5676 42.79 o 27346 42.79 c 5675 42.82 o 27349 42.82 c 5672 42.87 o 27354 42.87 c 5667 42.94 o 27356 42.94 c 5665 42.96 o 27359 42.96 c 5662 42.97 o 27360 42.97 c 5661 42.98 o 27361 42.98 c 5660 42.99 o 27364 42.99 c 5657 43.01 o 27365 43.01 c 5656 43.03 o 27370 43.03 c 5651 43.05 o 27374 43.05 c 5647 43.07 o 27376 43.07 c 5645 43.08 o 27378 43.08 c 5643 43.10 o 27383 43.10 c 5638 43.11 o 27388 43.11 c 5633 43.13 o 27391 43.13 c 5630 43.14 o 27392 43.14 c 5629 43.16 o 27398 43.16 c 5623 43.17 o 27400 43.17 c 5621 43.19 o 27403 43.19 c 5618 43.20 o 27406 43.20 c 5615 43.23 o 27408 43.23 c 5613 43.24 o 27413 43.24 c 5608 43.25 o 27417 43.25 c 5604 43.28 o 27420 43.28 c 5601 43.29 o 27421 43.29 c 5600 43.30 o 27426 43.30 c 5595 43.31 o 27430 43.31 c 5591 43.32 o 27433 43.32 c 5588 43.34 o 27434 43.34 c 5587 43.36 o 27435 43.36 c 5586 43.37 o 27440 43.37 c 5581 43.38 o 27442 43.38 c 5579 43.40 o 27444 43.40 c 5577 43.42 o 27447 43.42 c 5574 43.43 o 27450 43.43 c 5571 43.45 o 27452 43.45 c 5569 43.46 o 27453 43.46 c 5568 43.47 o 27455 43.48 c 5566 43.49 o 27458 43.49 c 5563 43.51 o 27460 43.51 c 5561 43.53 o 27463 43.53 c 5558 43.54 o 27468 43.54 c 5553 43.55 o 27469 43.55 c 5552 43.57 o 27472 43.57 c 5549 43.58 o 27475 43.58 c 5546 43.59 o 27479 43.59 c 5542 43.61 o 27480 43.61 c 5541 43.62 o 27481 43.62 c 5540 43.63 o 27484 43.63 c 5537 43.64 o 27488 43.64 c 5533 43.66 o 27489 43.66 c 5532 43.67 o 27492 43.67 c 5529 43.69 o 27495 43.69 c 5526 43.70 o 27500 43.70 c 5521 43.72 o 27503 43.72 c 5518 43.73 o 27505 43.73 c 5516 43.74 o 27506 43.74 c 5515 43.76 o 27509 43.76 c 5512 43.78 o 27515 43.78 c 5506 43.80 o 27521 43.80 c 5500 43.81 o 27525 43.81 c 5496 43.86 o 27527 43.86 c 5494 43.90 o 27531 43.90 c 5490 43.92 o 27533 43.92 c 5488 43.93 o 27537 43.93 c 5484 43.95 o 27539 43.95 c 5482 43.97 o 27541 43.97 c 5480 43.98 o 27544 43.98 c 5477 44.00 o 27549 44.00 c 5472 44.02 o 27555 44.02 c 5466 44.03 o 27559 44.03 c 5462 44.05 o 27562 44.05 c 5459 44.07 o 27565 44.07 c 5456 44.08 o 27568 44.08 c 5453 44.10 o 27571 44.10 c 5450 44.12 o 27575 44.12 c 5446 44.14 o 27578 44.14 c 5443 44.16 o 27582 44.16 c 5439 44.18 o 27587 44.18 c 5434 44.20 o 27591 44.20 c 5430 44.23 o 27592 44.23 c 5429 44.25 o 27597 44.25 c 5424 44.27 o 27601 44.27 c 5420 44.29 o 27603 44.29 c 5418 44.31 o 27608 44.31 c 5413 44.33 o 27610 44.33 c 5411 44.35 o 27612 44.35 c 5409 44.37 o 27615 44.37 c 5406 44.39 o 27616 44.39 c 5405 44.40 o 27618 44.40 c 5403 44.44 o 27620 44.44 c 5401 44.46 o 27625 44.46 c 5396 44.48 o 27627 44.48 c 5394 44.50 o 27632 44.50 c 5389 44.52 o 27634 44.52 c 5387 44.54 o 27636 44.54 c 5385 44.56 o 27641 44.56 c 5380 44.60 o 27643 44.60 c 5378 44.62 o 27644 44.62 c 5377 44.63 o 27647 44.63 c 5374 44.65 o 27651 44.65 c 5370 44.67 o 27654 44.67 c 5367 44.68 o 27656 44.68 c 5365 44.70 o 27659 44.70 c 5362 44.73 o 27664 44.73 c 5357 44.75 o 27668 44.75 c 5353 44.77 o 27669 44.77 c 5352 44.80 o 27671 44.80 c 5350 44.82 o 27677 44.82 c 5344 44.87 o 27680 44.87 c 5341 44.89 o 27685 44.89 c 5336 44.90 o 27691 44.90 c 5330 44.92 o 27696 44.92 c 5325 44.95 o 27699 44.95 c 5322 44.97 o 27704 44.97 c 5317 44.99 o 27709 44.99 c 5312 45.00 o 27712 45.00 c 5309 45.02 o 27713 45.02 c 5308 45.04 o 27714 45.04 c 5307 45.07 o 27720 45.07 c 5301 45.09 o 27724 45.09 c 5297 45.10 o 27729 45.10 c 5292 45.12 o 27730 45.12 c 5291 45.14 o 27732 45.14 c 5289 45.15 o 27735 45.15 c 5286 45.17 o 27736 45.17 c 5285 45.19 o 27739 45.19 c 5282 45.25 o 27740 45.25 c 5281 45.31 o 27742 45.31 c 5279 45.34 o 27747 45.34 c 5274 45.37 o 27750 45.37 c 5271 45.39 o 27753 45.39 c 5268 45.42 o 27755 45.42 c 5266 45.44 o 27759 45.44 c 5262 45.46 o 27761 45.46 c 5260 45.50 o 27762 45.50 c 5259 45.53 o 27766 45.53 c 5255 45.58 o 27771 45.58 c 5250 45.60 o 27776 45.60 c 5245 45.63 o 27780 45.63 c 5241 45.67 o 27784 45.67 c 5237 45.70 o 27788 45.70 c 5233 45.73 o 27792 45.73 c 5229 45.76 o 27796 45.76 c 5225 45.78 o 27800 45.78 c 5221 45.82 o 27804 45.82 c 5217 45.85 o 27807 45.85 c 5214 45.91 o 27810 45.91 c 5211 45.95 o 27813 45.95 c 5208 45.98 o 27816 45.98 c 5205 46.01 o 27819 46.01 c 5202 46.04 o 27822 46.04 c 5199 46.06 o 27823 46.06 c 5198 46.09 o 27827 46.09 c 5194 46.11 o 27829 46.11 c 5192 46.13 o 27831 46.13 c 5190 46.17 o 27834 46.17 c 5187 46.20 o 27837 46.20 c 5184 46.23 o 27840 46.23 c 5181 46.26 o 27843 46.26 c 5178 46.29 o 27846 46.29 c 5175 46.32 o 27848 46.32 c 5173 46.35 o 27850 46.35 c 5171 46.38 o 27853 46.38 c 5168 46.41 o 27855 46.41 c 5166 46.44 o 27857 46.44 c 5164 46.47 o 27859 46.48 c 5162 46.50 o 27861 46.50 c 5160 46.53 o 27865 46.53 c 5156 46.56 o 27867 46.56 c 5154 46.59 o 27869 46.59 c 5152 46.62 o 27871 46.62 c 5150 46.65 o 27873 46.65 c 5148 46.68 o 27875 46.68 c 5146 46.71 o 27877 46.71 c 5144 46.74 o 27879 46.74 c 5142 46.77 o 27881 46.77 c 5140 46.80 o 27883 46.80 c 5138 46.82 o 27885 46.82 c 5136 46.85 o 27887 46.85 c 5134 46.88 o 27889 46.88 c 5132 46.91 o 27890 46.91 c 5131 46.93 o 27894 46.93 c 5127 46.96 o 27895 46.96 c 5126 46.98 o 27896 46.98 c 5125 47.01 o 27897 47.01 c 5124 47.04 o 27898 47.04 c 5123 47.06 o 27899 47.06 c 5122 47.09 o 27900 47.09 c 5121 47.11 o 27901 47.11 c 5120 47.14 o 27902 47.14 c 5119 47.16 o 27904 47.16 c 5117 47.19 o 27905 47.19 c 5116 47.21 o 27906 47.21 c 5115 47.23 o 27907 47.23 c 5114 47.26 o 27908 47.26 c 5113 47.28 o 27912 47.28 c 5109 47.30 o 27913 47.30 c 5108 47.45 o 27915 47.45 c 5106 47.52 o 27916 47.52 c 5105 47.58 o 27920 47.58 c 5101 47.61 o 27922 47.61 c 5099 47.63 o 27925 47.63 c 5096 47.65 o 27928 47.65 c 5093 47.67 o 27930 47.67 c 5091 47.70 o 27935 47.70 c 5086 47.77 o 27939 47.77 c 5082 47.79 o 27941 47.79 c 5080 47.81 o 27946 47.81 c 5075 47.82 o 27948 47.82 c 5073 47.84 o 27953 47.84 c 5068 47.86 o 27956 47.86 c 5065 47.88 o 27962 47.88 c 5059 47.89 o 27965 47.89 c 5056 47.91 o 27966 47.91 c 5055 47.93 o 27969 47.93 c 5052 47.95 o 27972 47.95 c 5049 47.97 o 27973 47.97 c 5048 47.98 o 27976 47.98 c 5045 48.00 o 27979 48.00 c 5042 48.02 o 27980 48.02 c 5041 48.04 o 27982 48.04 c 5039 48.06 o 27987 48.06 c 5034 48.08 o 27990 48.08 c 5031 48.10 o 27995 48.11 c 5026 48.13 o 27996 48.13 c 5025 48.15 o 27999 48.15 c 5022 48.17 o 28002 48.17 c 5019 48.19 o 28004 48.19 c 5017 48.21 o 28009 48.21 c 5012 48.23 o 28013 48.23 c 5008 48.27 o 28014 48.27 c 5007 48.29 o 28017 48.29 c 5004 48.31 o 28021 48.31 c 5000 48.34 o 28024 48.34 c 4997 48.42 o 28025 48.42 c 4996 48.45 o 28028 48.45 c 4993 48.47 o 28030 48.47 c 4991 48.49 o 28035 48.49 c 4986 48.51 o 28038 48.51 c 4983 48.53 o 28039 48.53 c 4982 48.55 o 28041 48.56 c 4980 48.59 o 28046 48.59 c 4975 48.62 o 28051 48.62 c 4970 48.66 o 28055 48.66 c 4966 48.69 o 28057 48.69 c 4964 48.74 o 28058 48.74 c 4963 48.79 o 28059 48.79 c 4962 48.81 o 28060 48.81 c 4961 48.84 o 28063 48.84 c 4958 48.86 o 28067 48.86 c 4954 48.88 o 28070 48.88 c 4951 48.93 o 28071 48.93 c 4950 48.95 o 28074 48.95 c 4947 48.97 o 28078 48.97 c 4943 48.99 o 28081 48.99 c 4940 49.03 o 28083 49.03 c 4938 49.05 o 28085 49.05 c 4936 49.08 o 28086 49.08 c 4935 49.10 o 28088 49.10 c 4933 49.12 o 28089 49.12 c 4932 49.14 o 28090 49.14 c 4931 49.16 o 28091 49.16 c 4930 49.18 o 28092 49.19 c 4929 49.21 o 28096 49.21 c 4925 49.26 o 28097 49.26 c 4924 49.28 o 28098 49.28 c 4923 49.32 o 28102 49.32 c 4919 49.38 o 28105 49.38 c 4916 49.40 o 28110 49.40 c 4911 49.42 o 28112 49.42 c 4909 49.44 o 28113 49.44 c 4908 49.46 o 28116 49.46 c 4905 49.49 o 28118 49.49 c 4903 49.60 o 28119 49.60 c 4902 49.64 o 28121 49.64 c 4900 49.66 o 28123 49.66 c 4898 49.68 o 28125 49.68 c 4896 49.70 o 28127 49.70 c 4894 49.74 o 28129 49.74 c 4892 49.76 o 28133 49.76 c 4888 49.78 o 28134 49.78 c 4887 49.80 o 28138 49.80 c 4883 49.83 o 28139 49.83 c 4882 49.85 o 28142 49.85 c 4879 49.87 o 28146 49.87 c 4875 49.89 o 28148 49.89 c 4873 49.93 o 28150 49.93 c 4871 49.95 o 28154 49.95 c 4867 50.05 o 28156 50.05 c 4865 50.07 o 28157 50.07 c 4864 50.10 o 28158 50.10 c 4863 50.12 o 28161 50.12 c 4860 50.14 o 28162 50.14 c 4859 50.16 o 28163 50.16 c 4858 50.20 o 28165 50.20 c 4856 50.22 o 28167 50.22 c 4854 50.25 o 28168 50.25 c 4853 50.27 o 28172 50.27 c 4849 50.29 o 28174 50.29 c 4847 50.34 o 28175 50.34 c 4846 50.39 o 28176 50.39 c 4845 50.41 o 28178 50.41 c 4843 50.43 o 28183 50.43 c 4838 50.46 o 28186 50.46 c 4835 50.48 o 28187 50.48 c 4834 50.50 o 28188 50.50 c 4833 50.53 o 28191 50.53 c 4830 50.56 o 28194 50.56 c 4827 50.58 o 28197 50.58 c 4824 50.61 o 28201 50.61 c 4820 50.63 o 28202 50.63 c 4819 50.66 o 28205 50.66 c 4816 50.69 o 28208 50.69 c 4813 50.74 o 28210 50.74 c 4811 50.76 o 28212 50.76 c 4809 50.79 o 28213 50.79 c 4808 50.84 o 28215 50.84 c 4806 50.87 o 28218 50.87 c 4803 50.95 o 28219 50.95 c 4802 50.98 o 28220 50.98 c 4801 51.00 o 28221 51.00 c 4800 51.03 o 28224 51.03 c 4797 51.10 o 28227 51.10 c 4794 51.13 o 28233 51.13 c 4788 51.16 o 28237 51.16 c 4784 51.18 o 28240 51.18 c 4781 51.21 o 28242 51.21 c 4779 51.24 o 28245 51.24 c 4776 51.31 o 28247 51.31 c 4774 51.34 o 28249 51.34 c 4772 51.37 o 28251 51.37 c 4770 51.39 o 28252 51.39 c 4769 51.42 o 28255 51.42 c 4766 51.45 o 28257 51.45 c 4764 51.47 o 28259 51.47 c 4762 51.65 o 28260 51.65 c 4761 51.69 o 28261 51.69 c 4760 51.71 o 28265 51.71 c 4756 51.74 o 28268 51.74 c 4753 51.77 o 28271 51.77 c 4750 51.80 o 28275 51.80 c 4746 51.82 o 28276 51.82 c 4745 51.87 o 28279 51.87 c 4742 51.93 o 28280 51.93 c 4741 51.96 o 28281 51.96 c 4740 52.01 o 28283 52.01 c 4738 52.07 o 28284 52.07 c 4737 52.10 o 28285 52.10 c 4736 52.15 o 28288 52.15 c 4733 52.18 o 28289 52.18 c 4732 52.21 o 28290 52.21 c 4731 52.24 o 28293 52.24 c 4728 52.35 o 28294 52.35 c 4727 52.38 o 28298 52.38 c 4723 52.41 o 28299 52.41 c 4722 52.55 o 28301 52.55 c 4720 52.58 o 28302 52.58 c 4719 52.61 o 28304 52.61 c 4717 52.64 o 28307 52.64 c 4714 52.67 o 28311 52.67 c 4710 52.70 o 28313 52.70 c 4708 52.74 o 28317 52.74 c 4704 52.77 o 28319 52.77 c 4702 52.80 o 28323 52.80 c 4698 52.87 o 28324 52.87 c 4697 52.90 o 28327 52.90 c 4694 52.94 o 28331 52.94 c 4690 52.97 o 28334 52.97 c 4687 53.00 o 28338 53.00 c 4683 53.04 o 28341 53.04 c 4680 53.07 o 28343 53.07 c 4678 53.11 o 28346 53.11 c 4675 53.15 o 28348 53.15 c 4673 53.18 o 28351 53.18 c 4670 53.22 o 28353 53.23 c 4668 53.26 o 28355 53.26 c 4666 53.30 o 28357 53.30 c 4664 53.33 o 28360 53.33 c 4661 53.37 o 28362 53.37 c 4659 53.41 o 28365 53.41 c 4656 53.44 o 28367 53.44 c 4654 53.48 o 28369 53.48 c 4652 53.52 o 28370 53.52 c 4651 53.55 o 28372 53.55 c 4649 53.59 o 28374 53.59 c 4647 53.62 o 28376 53.62 c 4645 53.66 o 28378 53.66 c 4643 53.69 o 28380 53.69 c 4641 53.73 o 28382 53.73 c 4639 53.76 o 28383 53.76 c 4638 53.80 o 28384 53.80 c 4637 53.84 o 28385 53.84 c 4636 53.87 o 28386 53.87 c 4635 53.90 o 28387 53.90 c 4634 53.94 o 28388 53.94 c 4633 53.97 o 28389 53.97 c 4632 54.03 o 28390 54.03 c 4631 54.06 o 28391 54.06 c 4630 54.10 o 28392 54.10 c 4629 54.13 o 28393 54.13 c 4628 54.22 o 28395 54.22 c 4626 54.25 o 28396 54.25 c 4625 54.40 o 28397 54.40 c 4624 54.45 o 28398 54.45 c 4623 54.51 o 28402 54.51 c 4619 54.69 o 28405 54.69 c 4616 54.78 o 28407 54.78 c 4614 54.81 o 28410 54.81 c 4611 54.84 o 28413 54.84 c 4608 54.87 o 28417 54.87 c 4604 54.89 o 28419 54.89 c 4602 54.92 o 28422 54.92 c 4599 54.95 o 28424 54.95 c 4597 54.98 o 28428 54.98 c 4593 55.00 o 28429 55.00 c 4592 55.03 o 28432 55.03 c 4589 55.12 o 28437 55.12 c 4584 55.15 o 28439 55.15 c 4582 55.23 o 28440 55.23 c 4581 55.25 o 28441 55.25 c 4580 55.36 o 28442 55.36 c 4579 55.39 o 28444 55.39 c 4577 55.42 o 28446 55.42 c 4575 55.45 o 28447 55.45 c 4574 55.48 o 28450 55.48 c 4571 55.51 o 28451 55.51 c 4570 55.54 o 28456 55.54 c 4565 55.57 o 28459 55.57 c 4562 55.59 o 28463 55.59 c 4558 55.62 o 28464 55.62 c 4557 55.65 o 28467 55.65 c 4554 55.67 o 28468 55.67 c 4553 55.70 o 28470 55.70 c 4551 55.73 o 28474 55.73 c 4547 55.75 o 28477 55.75 c 4544 55.91 o 28478 55.91 c 4543 55.94 o 28479 55.94 c 4542 55.97 o 28482 55.97 c 4539 56.07 o 28483 56.07 c 4538 56.10 o 28488 56.10 c 4533 56.13 o 28489 56.13 c 4532 56.16 o 28492 56.16 c 4529 56.18 o 28493 56.19 c 4528 56.26 o 28495 56.26 c 4526 56.34 o 28500 56.34 c 4521 56.37 o 28502 56.37 c 4519 56.40 o 28507 56.40 c 4514 56.42 o 28511 56.42 c 4510 56.50 o 28512 56.50 c 4509 56.55 o 28513 56.55 c 4508 56.71 o 28516 56.71 c 4505 56.76 o 28519 56.76 c 4502 56.81 o 28520 56.81 c 4501 56.94 o 28521 56.94 c 4500 57.00 o 28523 57.00 c 4498 57.02 o 28524 57.02 c 4497 57.05 o 28527 57.05 c 4494 57.08 o 28528 57.08 c 4493 57.10 o 28529 57.10 c 4492 57.13 o 28532 57.13 c 4489 57.16 o 28535 57.16 c 4486 57.28 o 28536 57.28 c 4485 57.31 o 28538 57.31 c 4483 57.38 o 28540 57.39 c 4481 57.41 o 28542 57.41 c 4479 57.44 o 28544 57.44 c 4477 57.46 o 28545 57.46 c 4476 57.49 o 28547 57.49 c 4474 57.59 o 28550 57.59 c 4471 57.78 o 28554 57.78 c 4467 57.80 o 28556 57.80 c 4465 57.83 o 28558 57.83 c 4463 57.86 o 28560 57.86 c 4461 57.96 o 28561 57.96 c 4460 58.03 o 28562 58.03 c 4459 58.05 o 28565 58.05 c 4456 58.07 o 28569 58.07 c 4452 58.10 o 28570 58.10 c 4451 58.12 o 28572 58.12 c 4449 58.15 o 28574 58.15 c 4447 58.17 o 28578 58.17 c 4443 58.20 o 28581 58.20 c 4440 58.22 o 28582 58.22 c 4439 58.25 o 28585 58.25 c 4436 58.28 o 28589 58.28 c 4432 58.30 o 28590 58.30 c 4431 58.33 o 28591 58.33 c 4430 58.35 o 28593 58.35 c 4428 58.41 o 28594 58.41 c 4427 58.43 o 28597 58.43 c 4424 58.46 o 28598 58.46 c 4423 58.49 o 28601 58.49 c 4420 58.51 o 28604 58.51 c 4417 58.54 o 28609 58.54 c 4412 58.56 o 28612 58.56 c 4409 58.72 o 28616 58.72 c 4405 58.75 o 28618 58.75 c 4403 58.80 o 28622 58.80 c 4399 58.83 o 28625 58.83 c 4396 58.85 o 28629 58.85 c 4392 58.89 o 28632 58.89 c 4389 58.91 o 28633 58.91 c 4388 58.94 o 28635 58.94 c 4386 58.96 o 28636 58.96 c 4385 58.99 o 28638 58.99 c 4383 59.02 o 28639 59.02 c 4382 59.05 o 28642 59.05 c 4379 59.07 o 28644 59.07 c 4377 59.10 o 28646 59.10 c 4375 59.13 o 28649 59.13 c 4372 59.16 o 28653 59.16 c 4368 59.18 o 28655 59.18 c 4366 59.27 o 28656 59.27 c 4365 59.29 o 28658 59.29 c 4363 59.35 o 28660 59.35 c 4361 59.38 o 28661 59.38 c 4360 59.47 o 28664 59.47 c 4357 59.57 o 28665 59.57 c 4356 59.60 o 28668 59.60 c 4353 59.69 o 28670 59.69 c 4351 59.72 o 28671 59.72 c 4350 59.75 o 28672 59.75 c 4349 59.81 o 28673 59.81 c 4348 59.84 o 28675 59.84 c 4346 59.90 o 28678 59.90 c 4343 59.93 o 28679 59.93 c 4342 59.96 o 28681 59.96 c 4340 60.00 o 28683 60.00 c 4338 60.03 o 28684 60.03 c 4337 60.06 o 28686 60.06 c 4335 60.09 o 28688 60.09 c 4333 60.12 o 28689 60.12 c 4332 60.18 o 28692 60.18 c 4329 60.23 o 28693 60.23 c 4328 60.32 o 28695 60.32 c 4326 60.35 o 28698 60.35 c 4323 60.37 o 28702 60.37 c 4319 60.41 o 28705 60.41 c 4316 60.44 o 28708 60.44 c 4313 60.47 o 28710 60.47 c 4311 60.59 o 28714 60.59 c 4307 60.62 o 28719 60.62 c 4302 60.68 o 28720 60.68 c 4301 60.72 o 28722 60.72 c 4299 60.75 o 28726 60.75 c 4295 60.78 o 28728 60.78 c 4293 60.81 o 28730 60.81 c 4291 60.84 o 28734 60.84 c 4287 60.88 o 28735 60.88 c 4286 60.93 o 28737 60.93 c 4284 60.97 o 28739 60.97 c 4282 61.03 o 28740 61.03 c 4281 61.09 o 28742 61.09 c 4279 61.12 o 28745 61.12 c 4276 61.16 o 28747 61.16 c 4274 61.19 o 28750 61.19 c 4271 61.22 o 28751 61.22 c 4270 61.25 o 28752 61.25 c 4269 61.28 o 28755 61.28 c 4266 61.34 o 28756 61.34 c 4265 61.37 o 28757 61.37 c 4264 61.40 o 28759 61.40 c 4262 61.46 o 28761 61.46 c 4260 61.50 o 28763 61.50 c 4258 61.53 o 28764 61.53 c 4257 61.60 o 28767 61.60 c 4254 61.66 o 28770 61.66 c 4251 61.80 o 28772 61.80 c 4249 61.83 o 28774 61.83 c 4247 62.07 o 28775 62.07 c 4246 62.14 o 28776 62.14 c 4245 62.18 o 28778 62.18 c 4243 62.21 o 28779 62.21 c 4242 62.24 o 28782 62.24 c 4239 62.28 o 28783 62.28 c 4238 62.31 o 28786 62.31 c 4235 62.35 o 28789 62.35 c 4232 62.38 o 28792 62.38 c 4229 62.42 o 28795 62.42 c 4226 62.58 o 28796 62.58 c 4225 62.77 o 28798 62.77 c 4223 62.83 o 28800 62.83 c 4221 62.87 o 28803 62.87 c 4218 62.90 o 28806 62.90 c 4215 62.93 o 28808 62.93 c 4213 63.06 o 28809 63.06 c 4212 63.09 o 28810 63.09 c 4211 63.15 o 28811 63.15 c 4210 63.22 o 28815 63.22 c 4206 63.25 o 28818 63.25 c 4203 63.28 o 28820 63.28 c 4201 63.31 o 28823 63.31 c 4198 63.34 o 28826 63.34 c 4195 63.37 o 28828 63.37 c 4193 63.41 o 28830 63.41 c 4191 63.44 o 28832 63.44 c 4189 63.56 o 28833 63.56 c 4188 63.59 o 28834 63.59 c 4187 63.63 o 28837 63.63 c 4184 63.76 o 28838 63.76 c 4183 63.79 o 28840 63.79 c 4181 63.82 o 28841 63.82 c 4180 63.89 o 28844 63.89 c 4177 63.92 o 28846 63.92 c 4175 63.98 o 28849 63.98 c 4172 64.12 o 28850 64.12 c 4171 64.15 o 28852 64.15 c 4169 64.22 o 28855 64.22 c 4166 64.25 o 28856 64.25 c 4165 64.31 o 28857 64.31 c 4164 64.34 o 28859 64.34 c 4162 64.45 o 28861 64.45 c 4160 64.49 o 28864 64.49 c 4157 64.52 o 28867 64.52 c 4154 64.57 o 28870 64.57 c 4151 64.61 o 28871 64.61 c 4150 64.65 o 28874 64.65 c 4147 64.69 o 28877 64.69 c 4144 64.73 o 28880 64.73 c 4141 64.77 o 28882 64.77 c 4139 64.81 o 28884 64.81 c 4137 64.86 o 28886 64.86 c 4135 64.90 o 28888 64.90 c 4133 64.94 o 28890 64.94 c 4131 64.98 o 28892 64.98 c 4129 65.02 o 28894 65.02 c 4127 65.10 o 28895 65.10 c 4126 65.14 o 28897 65.14 c 4124 65.18 o 28899 65.18 c 4122 65.22 o 28901 65.22 c 4120 65.26 o 28903 65.26 c 4118 65.30 o 28905 65.30 c 4116 65.34 o 28907 65.34 c 4114 65.38 o 28908 65.38 c 4113 65.41 o 28910 65.41 c 4111 65.45 o 28912 65.45 c 4109 65.49 o 28914 65.49 c 4107 65.53 o 28915 65.53 c 4106 65.57 o 28916 65.57 c 4105 65.62 o 28917 65.62 c 4104 65.66 o 28918 65.66 c 4103 65.70 o 28919 65.70 c 4102 65.74 o 28920 65.74 c 4101 65.78 o 28921 65.78 c 4100 65.83 o 28922 65.83 c 4099 65.86 o 28926 65.86 c 4095 65.90 o 28928 65.90 c 4093 65.94 o 28929 65.94 c 4092 65.98 o 28930 65.98 c 4091 66.02 o 28931 66.02 c 4090 66.06 o 28932 66.06 c 4089 66.17 o 28933 66.17 c 4088 66.20 o 28934 66.20 c 4087 66.53 o 28935 66.53 c 4086 66.57 o 28937 66.57 c 4084 66.60 o 28939 66.60 c 4082 66.64 o 28941 66.64 c 4080 66.68 o 28945 66.68 c 4076 66.72 o 28946 66.72 c 4075 66.75 o 28947 66.75 c 4074 66.94 o 28949 66.94 c 4072 66.98 o 28950 66.98 c 4071 67.02 o 28953 67.02 c 4068 67.21 o 28954 67.21 c 4067 67.24 o 28957 67.24 c 4064 67.32 o 28958 67.32 c 4063 67.43 o 28962 67.43 c 4059 67.68 o 28964 67.68 c 4057 67.72 o 28968 67.72 c 4053 67.79 o 28971 67.79 c 4050 67.82 o 28972 67.82 c 4049 67.90 o 28975 67.90 c 4046 68.24 o 28977 68.24 c 4044 68.27 o 28980 68.27 c 4041 68.31 o 28981 68.32 c 4040 68.39 o 28984 68.39 c 4037 68.43 o 28985 68.43 c 4036 68.62 o 28987 68.62 c 4034 68.66 o 28989 68.66 c 4032 68.89 o 28991 68.89 c 4030 68.93 o 28995 68.93 c 4026 68.97 o 28996 68.97 c 4025 69.01 o 28997 69.01 c 4024 69.10 o 29000 69.10 c 4021 69.14 o 29002 69.14 c 4019 69.30 o 29004 69.30 c 4017 69.34 o 29007 69.34 c 4014 69.38 o 29014 69.38 c 4007 69.42 o 29015 69.42 c 4006 69.46 o 29017 69.46 c 4004 69.58 o 29018 69.58 c 4003 69.61 o 29021 69.61 c 4000 69.65 o 29023 69.65 c 3998 69.69 o 29026 69.69 c 3995 69.95 o 29028 69.95 c 3993 69.98 o 29029 69.98 c 3992 70.02 o 29030 70.02 c 3991 70.09 o 29031 70.09 c 3990 70.20 o 29032 70.20 c 3989 70.24 o 29035 70.24 c 3986 70.28 o 29036 70.28 c 3985 70.38 o 29038 70.38 c 3983 70.42 o 29039 70.42 c 3982 70.45 o 29041 70.45 c 3980 70.49 o 29043 70.49 c 3978 70.52 o 29047 70.52 c 3974 70.56 o 29049 70.56 c 3972 70.63 o 29050 70.63 c 3971 70.73 o 29051 70.73 c 3970 70.81 o 29052 70.81 c 3969 70.92 o 29054 70.92 c 3967 70.96 o 29056 70.96 c 3965 70.99 o 29060 70.99 c 3961 71.03 o 29063 71.03 c 3958 71.07 o 29065 71.07 c 3956 71.46 o 29067 71.46 c 3954 71.50 o 29069 71.50 c 3952 71.54 o 29070 71.54 c 3951 71.57 o 29072 71.57 c 3949 71.61 o 29077 71.61 c 3944 71.65 o 29080 71.65 c 3941 71.69 o 29082 71.69 c 3939 71.73 o 29085 71.73 c 3936 71.77 o 29086 71.77 c 3935 71.85 o 29088 71.85 c 3933 71.89 o 29091 71.89 c 3930 71.93 o 29094 71.93 c 3927 71.98 o 29095 71.98 c 3926 72.02 o 29096 72.02 c 3925 72.06 o 29097 72.06 c 3924 72.10 o 29099 72.10 c 3922 72.15 o 29102 72.15 c 3919 72.22 o 29104 72.22 c 3917 72.27 o 29107 72.27 c 3914 72.30 o 29110 72.30 c 3911 72.80 o 29114 72.80 c 3907 72.84 o 29116 72.84 c 3905 72.88 o 29118 72.88 c 3903 72.92 o 29119 72.92 c 3902 73.01 o 29120 73.01 c 3901 73.05 o 29121 73.05 c 3900 73.10 o 29123 73.10 c 3898 73.14 o 29124 73.14 c 3897 73.22 o 29126 73.22 c 3895 73.26 o 29129 73.26 c 3892 73.31 o 29132 73.31 c 3889 73.35 o 29136 73.35 c 3885 73.39 o 29137 73.39 c 3884 73.48 o 29138 73.48 c 3883 73.52 o 29140 73.52 c 3881 73.56 o 29144 73.56 c 3877 73.61 o 29146 73.61 c 3875 73.65 o 29147 73.65 c 3874 73.77 o 29148 73.77 c 3873 73.82 o 29149 73.82 c 3872 73.86 o 29152 73.86 c 3869 73.99 o 29154 73.99 c 3867 74.12 o 29155 74.12 c 3866 74.23 o 29156 74.23 c 3865 74.27 o 29157 74.27 c 3864 74.32 o 29160 74.32 c 3861 74.36 o 29162 74.36 c 3859 74.40 o 29163 74.40 c 3858 74.44 o 29164 74.44 c 3857 74.49 o 29166 74.49 c 3855 74.53 o 29169 74.53 c 3852 74.69 o 29170 74.69 c 3851 74.74 o 29171 74.74 c 3850 74.78 o 29172 74.78 c 3849 74.87 o 29175 74.87 c 3846 74.91 o 29179 74.91 c 3842 74.99 o 29181 74.99 c 3840 75.12 o 29182 75.12 c 3839 75.20 o 29184 75.20 c 3837 75.24 o 29185 75.24 c 3836 75.29 o 29186 75.29 c 3835 75.33 o 29188 75.33 c 3833 75.37 o 29189 75.37 c 3832 75.42 o 29190 75.42 c 3831 75.51 o 29191 75.51 c 3830 75.65 o 29193 75.65 c 3828 75.74 o 29194 75.74 c 3827 75.79 o 29196 75.79 c 3825 75.88 o 29197 75.88 c 3824 76.07 o 29199 76.07 c 3822 76.17 o 29200 76.17 c 3821 76.31 o 29201 76.31 c 3820 76.36 o 29202 76.36 c 3819 76.51 o 29203 76.51 c 3818 76.56 o 29205 76.56 c 3816 76.61 o 29206 76.61 c 3815 76.70 o 29207 76.70 c 3814 76.75 o 29210 76.75 c 3811 76.80 o 29212 76.80 c 3809 76.86 o 29214 76.86 c 3807 76.95 o 29215 76.95 c 3806 77.01 o 29218 77.01 c 3803 77.06 o 29220 77.06 c 3801 77.11 o 29223 77.11 c 3798 77.16 o 29226 77.16 c 3795 77.21 o 29227 77.21 c 3794 77.26 o 29229 77.26 c 3792 77.31 o 29230 77.31 c 3791 77.45 o 29233 77.45 c 3788 77.50 o 29235 77.50 c 3786 77.55 o 29236 77.55 c 3785 77.65 o 29237 77.65 c 3784 77.70 o 29239 77.70 c 3782 78.14 o 29240 78.14 c 3781 78.19 o 29243 78.19 c 3778 78.24 o 29244 78.24 c 3777 78.47 o 29245 78.47 c 3776 78.52 o 29246 78.52 c 3775 78.57 o 29248 78.57 c 3773 78.64 o 29250 78.64 c 3771 78.69 o 29253 78.69 c 3768 78.78 o 29260 78.78 c 3761 78.83 o 29261 78.83 c 3760 79.02 o 29266 79.02 c 3755 79.07 o 29268 79.07 c 3753 79.48 o 29269 79.48 c 3752 79.93 o 29273 79.93 c 3748 80.02 o 29275 80.02 c 3746 80.07 o 29277 80.07 c 3744 80.12 o 29278 80.12 c 3743 80.17 o 29280 80.17 c 3741 80.22 o 29283 80.22 c 3738 80.31 o 29284 80.31 c 3737 80.36 o 29286 80.36 c 3735 80.41 o 29287 80.41 c 3734 80.46 o 29288 80.46 c 3733 80.55 o 29291 80.55 c 3730 80.69 o 29294 80.69 c 3727 80.74 o 29297 80.74 c 3724 81.30 o 29300 81.30 c 3721 81.36 o 29301 81.36 c 3720 81.41 o 29302 81.41 c 3719 81.46 o 29304 81.46 c 3717 81.52 o 29306 81.52 c 3715 81.57 o 29307 81.57 c 3714 81.68 o 29308 81.68 c 3713 81.92 o 29309 81.92 c 3712 82.02 o 29310 82.02 c 3711 82.22 o 29313 82.22 c 3708 82.27 o 29316 82.27 c 3705 82.32 o 29318 82.32 c 3703 82.58 o 29320 82.58 c 3701 82.63 o 29321 82.63 c 3700 82.69 o 29322 82.69 c 3699 82.75 o 29323 82.75 c 3698 82.80 o 29325 82.80 c 3696 82.85 o 29326 82.85 c 3695 82.95 o 29327 82.95 c 3694 83.01 o 29329 83.01 c 3692 83.06 o 29330 83.06 c 3691 83.12 o 29331 83.12 c 3690 83.22 o 29333 83.22 c 3688 83.33 o 29334 83.33 c 3687 83.38 o 29335 83.38 c 3686 83.70 o 29337 83.70 c 3684 83.81 o 29339 83.81 c 3682 83.86 o 29342 83.86 c 3679 83.91 o 29345 83.91 c 3676 83.97 o 29347 83.97 c 3674 84.02 o 29348 84.02 c 3673 84.18 o 29349 84.18 c 3672 84.37 o 29351 84.37 c 3670 85.00 o 29352 85.00 c 3669 85.16 o 29353 85.16 c 3668 86.80 o 29356 86.80 c 3665 86.92 o 29359 86.92 c 3662 87.09 o 29361 87.09 c 3660 87.60 o 29365 87.60 c 3656 87.66 o 29366 87.66 c 3655 87.78 o 29370 87.78 c 3651 87.84 o 29372 87.84 c 3649 88.78 o 29373 88.78 c 3648 88.83 o 29375 88.83 c 3646 88.89 o 29377 88.89 c 3644 88.95 o 29378 88.95 c 3643 89.06 o 29379 89.06 c 3642 89.12 o 29381 89.12 c 3640 89.17 o 29384 89.17 c 3637 89.23 o 29386 89.23 c 3635 89.29 o 29387 89.29 c 3634 89.34 o 29388 89.34 c 3633 89.40 o 29389 89.40 c 3632 89.46 o 29390 89.46 c 3631 89.52 o 29392 89.52 c 3629 89.68 o 29393 89.68 c 3628 89.74 o 29394 89.74 c 3627 89.80 o 29396 89.80 c 3625 89.91 o 29397 89.91 c 3624 90.07 o 29399 90.07 c 3622 90.13 o 29400 90.13 c 3621 90.71 o 29401 90.71 c 3620 90.77 o 29402 90.77 c 3619 90.95 o 29404 90.95 c 3617 91.01 o 29407 91.01 c 3614 91.07 o 29409 91.07 c 3612 91.13 o 29410 91.13 c 3611 91.23 o 29411 91.23 c 3610 91.59 o 29413 91.59 c 3608 91.65 o 29415 91.65 c 3606 91.72 o 29417 91.72 c 3604 91.78 o 29418 91.78 c 3603 91.85 o 29419 91.85 c 3602 91.91 o 29420 91.91 c 3601 91.98 o 29421 91.98 c 3600 92.04 o 29422 92.04 c 3599 92.08 o 29425 92.08 c 3596 92.15 o 29426 92.15 c 3595 92.21 o 29427 92.21 c 3594 92.27 o 29428 92.27 c 3593 92.34 o 29429 92.34 c 3592 92.40 o 29430 92.40 c 3591 92.52 o 29431 92.52 c 3590 92.59 o 29432 92.59 c 3589 93.08 o 29435 93.08 c 3586 93.20 o 29437 93.20 c 3584 93.44 o 29438 93.44 c 3583 93.73 o 29439 93.73 c 3582 93.86 o 29441 93.86 c 3580 95.45 o 29443 95.45 c 3578 95.51 o 29444 95.51 c 3577 95.57 o 29446 95.57 c 3575 95.63 o 29449 95.63 c 3572 96.29 o 29450 96.29 c 3571 96.34 o 29451 96.34 c 3570 96.39 o 29455 96.39 c 3566 96.45 o 29456 96.45 c 3565 96.51 o 29457 96.51 c 3564 96.56 o 29458 96.56 c 3563 96.79 o 29459 96.79 c 3562 96.91 o 29460 96.91 c 3561 96.96 o 29462 96.96 c 3559 97.02 o 29464 97.02 c 3557 97.08 o 29465 97.08 c 3556 97.14 o 29467 97.14 c 3554 97.25 o 29469 97.25 c 3552 97.31 o 29472 97.31 c 3549 97.37 o 29474 97.37 c 3547 97.89 o 29477 97.89 c 3544 97.94 o 29479 97.94 c 3542 98.00 o 29483 98.00 c 3538 98.06 o 29485 98.06 c 3536 98.12 o 29489 98.12 c 3532 98.18 o 29491 98.18 c 3530 98.24 o 29493 98.24 c 3528 98.30 o 29495 98.30 c 3526 98.36 o 29497 98.36 c 3524 98.61 o 29499 98.61 c 3522 98.72 o 29500 98.72 c 3521 99.02 o 29501 99.02 c 3520 99.08 o 29502 99.08 c 3519 99.26 o 29503 99.26 c 3518 99.32 o 29505 99.32 c 3516 99.37 o 29509 99.37 c 3512 99.43 o 29510 99.43 c 3511 99.55 o 29513 99.55 c 3508 99.60 o 29515 99.60 c 3506 99.94 o 29516 99.94 c 3505 100.25 o 29519 100.25 c 3502 100.30 o 29522 100.30 c 3499 100.41 o 29525 100.41 c 3496 100.47 o 29527 100.47 c 3494 100.52 o 29528 100.52 c 3493 100.58 o 29530 100.58 c 3491 100.63 o 29532 100.63 c 3489 100.69 o 29533 100.69 c 3488 100.74 o 29539 100.74 c 3482 100.84 o 29540 100.84 c 3481 100.95 o 29541 100.95 c 3480 101.71 o 29542 101.71 c 3479 101.76 o 29543 101.76 c 3478 101.82 o 29545 101.82 c 3476 102.09 o 29546 102.09 c 3475 102.30 o 29548 102.30 c 3473 102.36 o 29549 102.36 c 3472 102.56 o 29550 102.56 c 3471 103.23 o 29551 103.23 c 3470 103.38 o 29552 103.38 c 3469 103.47 o 29556 103.47 c 3465 103.53 o 29560 103.53 c 3461 103.58 o 29561 103.58 c 3460 103.64 o 29562 103.64 c 3459 103.75 o 29564 103.75 c 3457 104.43 o 29566 104.43 c 3455 104.71 o 29567 104.71 c 3454 104.82 o 29570 104.82 c 3451 105.17 o 29571 105.17 c 3450 105.40 o 29572 105.40 c 3449 105.52 o 29573 105.52 c 3448 105.75 o 29575 105.75 c 3446 105.86 o 29578 105.86 c 3443 105.92 o 29581 105.92 c 3440 105.98 o 29583 105.98 c 3438 106.04 o 29584 106.04 c 3437 106.22 o 29585 106.22 c 3436 106.28 o 29589 106.28 c 3432 106.59 o 29591 106.59 c 3430 106.71 o 29594 106.71 c 3427 106.78 o 29598 106.78 c 3423 106.84 o 29599 106.84 c 3422 107.28 o 29600 107.28 c 3421 107.34 o 29603 107.34 c 3418 107.40 o 29607 107.40 c 3414 107.53 o 29608 107.53 c 3413 107.60 o 29613 107.60 c 3408 107.66 o 29614 107.66 c 3407 107.73 o 29616 107.73 c 3405 108.04 o 29617 108.04 c 3404 108.10 o 29620 108.10 c 3401 108.23 o 29621 108.23 c 3400 108.29 o 29624 108.29 c 3397 108.35 o 29627 108.35 c 3394 108.61 o 29629 108.61 c 3392 108.72 o 29630 108.72 c 3391 108.85 o 29631 108.85 c 3390 108.91 o 29633 108.91 c 3388 109.04 o 29636 109.04 c 3385 109.10 o 29639 109.10 c 3382 109.16 o 29641 109.16 c 3380 109.23 o 29644 109.23 c 3377 109.29 o 29645 109.29 c 3376 109.54 o 29647 109.54 c 3374 109.61 o 29648 109.61 c 3373 109.74 o 29649 109.74 c 3372 110.19 o 29651 110.19 c 3370 110.32 o 29652 110.32 c 3369 110.39 o 29654 110.39 c 3367 110.46 o 29655 110.46 c 3366 110.53 o 29656 110.53 c 3365 110.59 o 29658 110.59 c 3363 110.66 o 29660 110.66 c 3361 110.80 o 29661 110.80 c 3360 110.87 o 29663 110.87 c 3358 110.93 o 29664 110.93 c 3357 111.01 o 29666 111.01 c 3355 111.08 o 29670 111.08 c 3351 111.15 o 29672 111.15 c 3349 111.22 o 29673 111.22 c 3348 111.76 o 29674 111.76 c 3347 111.90 o 29676 111.90 c 3345 111.97 o 29678 111.97 c 3343 112.12 o 29679 112.12 c 3342 112.19 o 29681 112.19 c 3340 112.26 o 29682 112.26 c 3339 112.62 o 29684 112.62 c 3337 112.69 o 29688 112.69 c 3333 112.76 o 29689 112.76 c 3332 112.84 o 29690 112.84 c 3331 113.12 o 29692 113.12 c 3329 113.33 o 29693 113.33 c 3328 113.40 o 29694 113.40 c 3327 114.45 o 29695 114.45 c 3326 114.59 o 29699 114.59 c 3322 114.66 o 29701 114.66 c 3320 115.75 o 29702 115.75 c 3319 115.89 o 29704 115.89 c 3317 115.95 o 29706 115.95 c 3315 116.17 o 29707 116.17 c 3314 116.21 o 29709 116.21 c 3312 116.28 o 29713 116.28 c 3308 116.35 o 29715 116.35 c 3306 116.42 o 29716 116.42 c 3305 116.56 o 29718 116.56 c 3303 116.83 o 29719 116.83 c 3302 116.90 o 29720 116.90 c 3301 117.47 o 29724 117.47 c 3297 117.69 o 29725 117.69 c 3296 117.77 o 29726 117.77 c 3295 117.99 o 29728 117.99 c 3293 118.14 o 29730 118.14 c 3291 118.73 o 29732 118.73 c 3289 118.80 o 29733 118.80 c 3288 119.53 o 29734 119.53 c 3287 119.74 o 29736 119.74 c 3285 119.82 o 29740 119.82 c 3281 119.89 o 29741 119.89 c 3280 120.01 o 29742 120.01 c 3279 120.08 o 29743 120.08 c 3278 120.16 o 29745 120.16 c 3276 120.78 o 29749 120.78 c 3272 120.83 o 29751 120.83 c 3270 120.90 o 29752 120.90 c 3269 120.97 o 29753 120.97 c 3268 121.67 o 29754 121.67 c 3267 121.82 o 29756 121.82 c 3265 121.97 o 29757 121.97 c 3264 122.04 o 29759 122.04 c 3262 122.12 o 29760 122.12 c 3261 122.26 o 29762 122.26 c 3259 122.42 o 29763 122.42 c 3258 122.57 o 29765 122.57 c 3256 122.71 o 29766 122.71 c 3255 122.78 o 29769 122.78 c 3252 122.85 o 29771 122.85 c 3250 122.92 o 29774 122.92 c 3247 123.07 o 29775 123.07 c 3246 123.15 o 29776 123.15 c 3245 123.30 o 29778 123.30 c 3243 123.38 o 29779 123.38 c 3242 123.46 o 29782 123.46 c 3239 123.54 o 29784 123.54 c 3237 123.62 o 29788 123.62 c 3233 123.92 o 29791 123.92 c 3230 125.21 o 29794 125.21 c 3227 125.38 o 29795 125.38 c 3226 126.46 o 29798 126.46 c 3223 126.96 o 29800 126.96 c 3221 127.13 o 29802 127.13 c 3219 127.38 o 29804 127.38 c 3217 128.39 o 29808 128.40 c 3213 128.48 o 29811 128.48 c 3210 128.65 o 29812 128.65 c 3209 128.74 o 29814 128.74 c 3207 128.91 o 29816 128.91 c 3205 129.10 o 29819 129.10 c 3202 129.35 o 29820 129.35 c 3201 129.66 o 29821 129.66 c 3200 129.75 o 29822 129.75 c 3199 130.05 o 29826 130.05 c 3195 130.22 o 29827 130.22 c 3194 130.30 o 29830 130.30 c 3191 130.46 o 29831 130.46 c 3190 130.62 o 29832 130.62 c 3189 130.70 o 29833 130.70 c 3188 130.78 o 29835 130.78 c 3186 131.18 o 29836 131.18 c 3185 131.26 o 29837 131.26 c 3184 131.35 o 29838 131.35 c 3183 131.42 o 29840 131.42 c 3181 131.49 o 29841 131.49 c 3180 131.55 o 29844 131.55 c 3177 131.61 o 29845 131.61 c 3176 132.01 o 29846 132.01 c 3175 132.03 o 29849 132.03 c 3172 132.59 o 29851 132.59 c 3170 132.67 o 29852 132.67 c 3169 132.92 o 29854 132.92 c 3167 133.00 o 29855 133.00 c 3166 133.08 o 29857 133.08 c 3164 133.80 o 29860 133.80 c 3161 135.47 o 29863 135.47 c 3158 135.69 o 29865 135.69 c 3156 135.76 o 29867 135.76 c 3154 135.79 o 29869 135.79 c 3152 136.74 o 29871 136.74 c 3150 136.82 o 29872 136.82 c 3149 137.09 o 29874 137.09 c 3147 137.17 o 29875 137.17 c 3146 137.24 o 29877 137.24 c 3144 139.26 o 29880 139.26 c 3141 139.34 o 29881 139.34 c 3140 139.41 o 29883 139.41 c 3138 139.48 o 29885 139.48 c 3136 139.56 o 29887 139.56 c 3134 139.63 o 29890 139.63 c 3131 139.85 o 29891 139.85 c 3130 140.15 o 29893 140.15 c 3128 140.37 o 29895 140.37 c 3126 140.75 o 29897 140.75 c 3124 141.11 o 29898 141.11 c 3123 141.33 o 29899 141.33 c 3122 141.48 o 29900 141.48 c 3121 141.56 o 29901 141.56 c 3120 141.63 o 29903 141.63 c 3118 142.52 o 29904 142.52 c 3117 142.74 o 29906 142.74 c 3115 143.03 o 29908 143.03 c 3113 143.11 o 29909 143.11 c 3112 143.18 o 29910 143.18 c 3111 143.26 o 29914 143.26 c 3107 143.87 o 29915 143.87 c 3106 143.92 o 29918 143.92 c 3103 144.67 o 29919 144.67 c 3102 145.07 o 29920 145.07 c 3101 145.47 o 29923 145.47 c 3098 145.55 o 29924 145.55 c 3097 145.63 o 29925 145.63 c 3096 145.72 o 29926 145.72 c 3095 145.80 o 29927 145.80 c 3094 146.21 o 29929 146.21 c 3092 146.40 o 29931 146.40 c 3090 146.46 o 29932 146.46 c 3089 146.63 o 29935 146.63 c 3086 146.75 o 29936 146.75 c 3085 146.83 o 29939 146.83 c 3082 146.92 o 29941 146.92 c 3080 147.38 o 29943 147.38 c 3078 147.62 o 29946 147.62 c 3075 147.86 o 29949 147.86 c 3072 147.94 o 29951 147.94 c 3070 148.02 o 29954 148.02 c 3067 148.89 o 29955 148.89 c 3066 148.97 o 29957 148.97 c 3064 149.30 o 29959 149.30 c 3062 149.38 o 29960 149.38 c 3061 149.43 o 29961 149.43 c 3060 149.59 o 29962 149.59 c 3059 149.67 o 29963 149.67 c 3058 149.75 o 29964 149.75 c 3057 149.91 o 29965 149.91 c 3056 150.46 o 29966 150.46 c 3055 150.55 o 29967 150.55 c 3054 150.72 o 29968 150.72 c 3053 150.81 o 29969 150.81 c 3052 150.98 o 29972 150.98 c 3049 151.07 o 29975 151.07 c 3046 151.25 o 29976 151.25 c 3045 151.34 o 29977 151.34 c 3044 153.95 o 29978 153.95 c 3043 154.46 o 29980 154.46 c 3041 154.55 o 29982 154.55 c 3039 154.73 o 29983 154.73 c 3038 154.82 o 29985 154.82 c 3036 157.98 o 29988 157.98 c 3033 158.08 o 29990 158.08 c 3031 158.35 o 29992 158.35 c 3029 158.62 o 29993 158.62 c 3028 158.89 o 29997 158.89 c 3024 159.31 o 29998 159.31 c 3023 159.40 o 30002 159.40 c 3019 159.49 o 30004 159.49 c 3017 159.58 o 30006 159.58 c 3015 159.66 o 30007 159.66 c 3014 159.75 o 30009 159.76 c 3012 159.84 o 30010 159.84 c 3011 160.73 o 30011 160.73 c 3010 160.83 o 30013 160.83 c 3008 161.01 o 30015 161.01 c 3006 161.73 o 30016 161.73 c 3005 161.83 o 30018 161.83 c 3003 162.20 o 30020 162.20 c 3001 162.29 o 30021 162.29 c 3000 162.38 o 30022 162.38 c 2999 162.47 o 30023 162.47 c 2998 162.57 o 30026 162.57 c 2995 162.75 o 30027 162.75 c 2994 162.84 o 30028 162.84 c 2993 163.03 o 30029 163.03 c 2992 164.22 o 30031 164.22 c 2990 164.28 o 30033 164.28 c 2988 164.98 o 30036 164.98 c 2985 165.02 o 30037 165.02 c 2984 165.12 o 30038 165.12 c 2983 165.49 o 30039 165.49 c 2982 165.95 o 30040 165.95 c 2981 166.14 o 30041 166.14 c 2980 166.23 o 30043 166.23 c 2978 166.33 o 30044 166.33 c 2977 166.42 o 30046 166.42 c 2975 166.52 o 30048 166.52 c 2973 166.61 o 30051 166.61 c 2970 166.71 o 30052 166.71 c 2969 166.90 o 30057 166.90 c 2964 167.39 o 30058 167.39 c 2963 167.49 o 30059 167.49 c 2962 168.44 o 30060 168.44 c 2961 168.53 o 30062 168.53 c 2959 168.87 o 30063 168.87 c 2958 168.97 o 30065 168.97 c 2956 169.25 o 30068 169.25 c 2953 169.53 o 30069 169.54 c 2952 169.63 o 30070 169.63 c 2951 169.72 o 30071 169.72 c 2950 169.82 o 30072 169.82 c 2949 169.91 o 30073 169.91 c 2948 170.01 o 30075 170.01 c 2946 170.29 o 30076 170.29 c 2945 170.67 o 30081 170.67 c 2940 171.73 o 30082 171.73 c 2939 171.82 o 30083 171.82 c 2938 172.01 o 30084 172.01 c 2937 172.57 o 30087 172.57 c 2934 172.64 o 30089 172.64 c 2932 173.12 o 30090 173.12 c 2931 173.21 o 30091 173.21 c 2930 173.32 o 30092 173.32 c 2929 175.79 o 30093 175.79 c 2928 175.89 o 30094 175.89 c 2927 175.98 o 30095 175.98 c 2926 176.08 o 30096 176.08 c 2925 176.19 o 30097 176.19 c 2924 176.28 o 30098 176.28 c 2923 176.38 o 30099 176.38 c 2922 176.48 o 30100 176.48 c 2921 176.58 o 30101 176.58 c 2920 176.68 o 30102 176.68 c 2919 176.73 o 30103 176.73 c 2918 176.96 o 30104 176.96 c 2917 177.05 o 30105 177.05 c 2916 178.48 o 30106 178.48 c 2915 179.60 o 30107 179.60 c 2914 180.31 o 30108 180.31 c 2913 180.41 o 30109 180.41 c 2912 180.59 o 30110 180.59 c 2911 181.00 o 30112 181.00 c 2909 181.10 o 30114 181.10 c 2907 181.30 o 30115 181.30 c 2906 181.41 o 30117 181.41 c 2904 181.51 o 30120 181.51 c 2901 181.62 o 30121 181.62 c 2900 183.50 o 30122 183.50 c 2899 185.74 o 30123 185.74 c 2898 186.06 o 30125 186.06 c 2896 186.16 o 30127 186.16 c 2894 186.27 o 30129 186.27 c 2892 188.17 o 30130 188.17 c 2891 188.28 o 30132 188.28 c 2889 188.39 o 30134 188.39 c 2887 189.85 o 30135 189.85 c 2886 190.06 o 30137 190.06 c 2884 190.16 o 30138 190.16 c 2883 190.27 o 30139 190.27 c 2882 190.48 o 30140 190.48 c 2881 190.59 o 30142 190.59 c 2879 191.35 o 30144 191.35 c 2877 191.46 o 30146 191.46 c 2875 191.57 o 30149 191.57 c 2872 191.68 o 30151 191.68 c 2870 192.52 o 30152 192.52 c 2869 192.63 o 30153 192.63 c 2868 192.71 o 30155 192.71 c 2866 193.55 o 30156 193.55 c 2865 193.65 o 30157 193.65 c 2864 193.76 o 30159 193.76 c 2862 193.87 o 30160 193.87 c 2861 194.18 o 30161 194.18 c 2860 194.29 o 30166 194.29 c 2855 194.93 o 30167 194.93 c 2854 195.14 o 30168 195.14 c 2853 195.25 o 30169 195.25 c 2852 195.37 o 30171 195.37 c 2850 196.48 o 30172 196.48 c 2849 196.59 o 30173 196.59 c 2848 196.81 o 30175 196.81 c 2846 196.93 o 30176 196.93 c 2845 199.34 o 30177 199.34 c 2844 199.78 o 30180 199.78 c 2841 200.34 o 30183 200.34 c 2838 200.45 o 30185 200.45 c 2836 200.56 o 30187 200.56 c 2834 200.68 o 30188 200.68 c 2833 201.01 o 30190 201.01 c 2831 203.10 o 30192 203.10 c 2829 203.14 o 30194 203.14 c 2827 204.97 o 30195 204.97 c 2826 205.10 o 30197 205.10 c 2824 205.47 o 30199 205.47 c 2822 206.31 o 30201 206.31 c 2820 206.43 o 30203 206.43 c 2818 206.80 o 30207 206.80 c 2814 208.18 o 30209 208.18 c 2812 208.41 o 30211 208.41 c 2810 208.93 o 30212 208.93 c 2809 209.06 o 30214 209.06 c 2807 209.17 o 30215 209.17 c 2806 209.52 o 30217 209.52 c 2804 209.61 o 30219 209.61 c 2802 210.18 o 30220 210.18 c 2801 210.53 o 30221 210.53 c 2800 210.99 o 30223 210.99 c 2798 218.16 o 30224 218.16 c 2797 218.27 o 30226 218.27 c 2795 218.39 o 30229 218.39 c 2792 218.83 o 30230 218.83 c 2791 219.14 o 30231 219.14 c 2790 220.16 o 30234 220.16 c 2787 220.51 o 30235 220.51 c 2786 221.19 o 30237 221.19 c 2784 221.43 o 30238 221.43 c 2783 222.01 o 30240 222.01 c 2781 222.25 o 30243 222.25 c 2778 222.37 o 30244 222.37 c 2777 222.56 o 30246 222.56 c 2775 222.67 o 30248 222.67 c 2773 222.74 o 30249 222.74 c 2772 223.33 o 30251 223.33 c 2770 223.45 o 30253 223.45 c 2768 224.05 o 30254 224.05 c 2767 224.17 o 30256 224.17 c 2765 224.29 o 30257 224.29 c 2764 224.41 o 30260 224.41 c 2761 226.19 o 30261 226.19 c 2760 226.31 o 30262 226.31 c 2759 226.56 o 30263 226.56 c 2758 226.80 o 30265 226.80 c 2756 226.93 o 30266 226.93 c 2755 229.13 o 30269 229.13 c 2752 229.26 o 30270 229.26 c 2751 230.28 o 30273 230.28 c 2748 238.64 o 30274 238.64 c 2747 238.74 o 30277 238.74 c 2744 238.87 o 30280 238.87 c 2741 239.11 o 30282 239.11 c 2739 239.23 o 30283 239.23 c 2738 239.28 o 30284 239.28 c 2737 239.65 o 30285 239.65 c 2736 239.77 o 30287 239.77 c 2734 240.01 o 30289 240.01 c 2732 240.13 o 30293 240.13 c 2728 240.25 o 30294 240.25 c 2727 240.34 o 30297 240.34 c 2724 240.46 o 30300 240.46 c 2721 240.61 o 30302 240.61 c 2719 240.85 o 30304 240.85 c 2717 240.97 o 30305 240.97 c 2716 241.09 o 30306 241.09 c 2715 241.21 o 30308 241.21 c 2713 246.06 o 30309 246.06 c 2712 246.19 o 30311 246.19 c 2710 246.27 o 30313 246.27 c 2708 246.40 o 30314 246.40 c 2707 246.90 o 30317 246.90 c 2704 247.40 o 30318 247.40 c 2703 247.88 o 30319 247.88 c 2702 248.11 o 30321 248.11 c 2700 248.23 o 30322 248.23 c 2699 249.58 o 30323 249.58 c 2698 249.70 o 30324 249.70 c 2697 249.76 o 30326 249.76 c 2695 249.84 o 30329 249.84 c 2692 249.96 o 30331 249.96 c 2690 250.96 o 30332 250.96 c 2689 251.09 o 30334 251.09 c 2687 251.30 o 30336 251.30 c 2685 251.43 o 30337 251.43 c 2684 256.36 o 30338 256.36 c 2683 256.48 o 30339 256.48 c 2682 256.61 o 30340 256.61 c 2681 257.11 o 30341 257.11 c 2680 257.62 o 30343 257.62 c 2678 257.84 o 30346 257.84 c 2675 257.96 o 30347 257.96 c 2674 258.48 o 30348 258.48 c 2673 258.61 o 30349 258.61 c 2672 258.73 o 30351 258.74 c 2670 259.39 o 30352 259.39 c 2669 260.56 o 30353 260.56 c 2668 260.59 o 30355 260.59 c 2666 260.72 o 30357 260.72 c 2664 261.24 o 30360 261.24 c 2661 261.36 o 30361 261.36 c 2660 261.60 o 30362 261.61 c 2659 261.99 o 30367 261.99 c 2654 262.49 o 30368 262.49 c 2653 262.73 o 30369 262.73 c 2652 262.95 o 30370 262.95 c 2651 263.47 o 30373 263.47 c 2648 263.60 o 30377 263.60 c 2644 263.73 o 30379 263.73 c 2642 271.58 o 30380 271.58 c 2641 271.71 o 30381 271.71 c 2640 271.85 o 30382 271.85 c 2639 272.51 o 30383 272.51 c 2638 273.32 o 30384 273.32 c 2637 273.67 o 30387 273.67 c 2634 273.80 o 30388 273.80 c 2633 273.93 o 30389 273.93 c 2632 274.06 o 30390 274.06 c 2631 274.20 o 30391 274.20 c 2630 274.33 o 30392 274.33 c 2629 274.46 o 30393 274.46 c 2628 274.59 o 30394 274.59 c 2627 275.50 o 30395 275.50 c 2626 276.03 o 30399 276.03 c 2622 276.17 o 30401 276.17 c 2620 276.30 o 30402 276.30 c 2619 276.44 o 30403 276.44 c 2618 276.57 o 30409 276.57 c 2612 277.62 o 30410 277.62 c 2611 277.88 o 30411 277.88 c 2610 278.16 o 30413 278.16 c 2608 278.42 o 30414 278.42 c 2607 278.82 o 30415 278.82 c 2606 278.96 o 30417 278.96 c 2604 279.03 o 30419 279.03 c 2602 279.17 o 30420 279.17 c 2601 279.31 o 30425 279.31 c 2596 279.44 o 30426 279.44 c 2595 279.58 o 30427 279.58 c 2594 279.68 o 30430 279.68 c 2591 279.95 o 30433 279.95 c 2588 283.92 o 30434 283.92 c 2587 284.10 o 30437 284.10 c 2584 285.36 o 30439 285.36 c 2582 285.50 o 30444 285.50 c 2577 285.70 o 30445 285.70 c 2576 285.98 o 30446 285.98 c 2575 286.12 o 30447 286.12 c 2574 286.96 o 30448 286.96 c 2573 287.10 o 30451 287.10 c 2570 287.25 o 30452 287.25 c 2569 287.53 o 30455 287.53 c 2566 288.52 o 30456 288.52 c 2565 288.76 o 30457 288.76 c 2564 288.88 o 30459 288.88 c 2562 289.41 o 30461 289.41 c 2560 289.97 o 30463 289.97 c 2558 290.12 o 30464 290.12 c 2557 291.64 o 30465 291.64 c 2556 293.20 o 30466 293.20 c 2555 293.34 o 30467 293.34 c 2554 294.67 o 30468 294.67 c 2553 294.81 o 30470 294.81 c 2551 295.52 o 30471 295.52 c 2550 295.67 o 30472 295.67 c 2549 296.06 o 30473 296.06 c 2548 296.21 o 30474 296.21 c 2547 296.35 o 30475 296.35 c 2546 296.50 o 30476 296.50 c 2545 296.86 o 30477 296.86 c 2544 297.01 o 30479 297.01 c 2542 298.80 o 30480 298.80 c 2541 299.23 o 30482 299.23 c 2539 299.38 o 30483 299.38 c 2538 310.91 o 30484 310.91 c 2537 311.31 o 30485 311.31 c 2536 312.47 o 30487 312.47 c 2534 312.61 o 30488 312.61 c 2533 312.75 o 30490 312.75 c 2531 312.88 o 30492 312.88 c 2529 313.70 o 30494 313.70 c 2527 313.83 o 30496 313.83 c 2525 313.95 o 30499 313.95 c 2522 314.74 o 30500 314.74 c 2521 315.38 o 30501 315.38 c 2520 316.20 o 30502 316.20 c 2519 316.48 o 30503 316.48 c 2518 317.57 o 30504 317.57 c 2517 317.85 o 30506 317.85 c 2515 317.99 o 30510 317.99 c 2511 318.13 o 30511 318.13 c 2510 318.27 o 30512 318.27 c 2509 318.54 o 30515 318.54 c 2506 318.68 o 30516 318.68 c 2505 319.09 o 30517 319.09 c 2504 319.38 o 30518 319.38 c 2503 322.66 o 30519 322.66 c 2502 324.21 o 30522 324.21 c 2499 324.35 o 30523 324.35 c 2498 325.18 o 30526 325.18 c 2495 325.32 o 30528 325.32 c 2493 325.46 o 30530 325.46 c 2491 325.65 o 30532 325.65 c 2489 325.79 o 30534 325.79 c 2487 326.48 o 30537 326.48 c 2484 326.77 o 30539 326.77 c 2482 329.26 o 30540 329.26 c 2481 329.41 o 30541 329.41 c 2480 329.46 o 30544 329.46 c 2477 329.69 o 30545 329.69 c 2476 330.55 o 30547 330.55 c 2474 330.69 o 30550 330.69 c 2471 331.42 o 30551 331.42 c 2470 331.87 o 30552 331.87 c 2469 332.48 o 30554 332.48 c 2467 332.78 o 30555 332.78 c 2466 333.57 o 30557 333.57 c 2464 333.72 o 30559 333.72 c 2462 334.02 o 30561 334.02 c 2460 334.47 o 30563 334.47 c 2458 334.62 o 30567 334.62 c 2454 334.78 o 30569 334.78 c 2452 334.93 o 30572 334.93 c 2449 335.08 o 30573 335.08 c 2448 335.37 o 30574 335.37 c 2447 335.52 o 30576 335.52 c 2445 335.77 o 30578 335.77 c 2443 339.35 o 30580 339.35 c 2441 339.50 o 30581 339.50 c 2440 339.66 o 30582 339.66 c 2439 340.13 o 30583 340.13 c 2438 340.60 o 30584 340.60 c 2437 340.72 o 30588 340.72 c 2433 341.03 o 30589 341.03 c 2432 341.91 o 30590 341.91 c 2431 343.21 o 30591 343.21 c 2430 343.38 o 30592 343.38 c 2429 343.55 o 30593 343.55 c 2428 343.71 o 30595 343.71 c 2426 344.01 o 30596 344.01 c 2425 348.95 o 30597 348.95 c 2424 349.12 o 30599 349.12 c 2422 350.50 o 30600 350.50 c 2421 350.67 o 30601 350.67 c 2420 350.84 o 30602 350.84 c 2419 350.98 o 30603 350.98 c 2418 354.65 o 30605 354.65 c 2416 356.40 o 30607 356.40 c 2414 357.04 o 30608 357.04 c 2413 357.39 o 30609 357.39 c 2412 357.80 o 30610 357.80 c 2411 358.28 o 30612 358.28 c 2409 358.37 o 30615 358.37 c 2406 358.63 o 30616 358.63 c 2405 359.13 o 30618 359.13 c 2403 359.75 o 30619 359.75 c 2402 359.91 o 30620 359.91 c 2401 360.58 o 30621 360.58 c 2400 361.39 o 30622 361.39 c 2399 362.66 o 30623 362.66 c 2398 363.15 o 30624 363.15 c 2397 363.73 o 30625 363.73 c 2396 364.06 o 30626 364.06 c 2395 364.40 o 30627 364.40 c 2394 364.57 o 30628 364.57 c 2393 364.64 o 30632 364.64 c 2389 365.88 o 30634 365.88 c 2387 366.22 o 30635 366.22 c 2386 366.40 o 30636 366.40 c 2385 366.91 o 30637 366.91 c 2384 367.25 o 30638 367.25 c 2383 367.43 o 30639 367.43 c 2382 367.60 o 30641 367.60 c 2380 367.69 o 30644 367.69 c 2377 379.09 o 30645 379.09 c 2376 379.46 o 30647 379.46 c 2374 380.36 o 30648 380.36 c 2373 381.20 o 30649 381.20 c 2372 385.78 o 30653 385.78 c 2368 387.08 o 30654 387.08 c 2367 387.28 o 30656 387.28 c 2365 387.46 o 30659 387.46 c 2362 388.38 o 30660 388.38 c 2361 390.98 o 30661 390.98 c 2360 391.42 o 30662 391.42 c 2359 391.74 o 30665 391.74 c 2356 392.11 o 30666 392.11 c 2355 392.64 o 30669 392.64 c 2352 392.89 o 30670 392.89 c 2351 394.02 o 30672 394.02 c 2349 394.22 o 30673 394.22 c 2348 394.41 o 30676 394.41 c 2345 394.60 o 30678 394.60 c 2343 394.79 o 30680 394.79 c 2341 396.86 o 30681 396.86 c 2340 398.01 o 30682 398.01 c 2339 398.97 o 30683 398.97 c 2338 412.23 o 30687 412.23 c 2334 412.84 o 30688 412.84 c 2333 413.03 o 30690 413.03 c 2331 413.68 o 30692 413.68 c 2329 413.86 o 30693 413.86 c 2328 414.05 o 30694 414.05 c 2327 414.23 o 30695 414.23 c 2326 425.17 o 30697 425.17 c 2324 425.36 o 30698 425.36 c 2323 425.54 o 30699 425.54 c 2322 426.48 o 30700 426.48 c 2321 426.66 o 30701 426.66 c 2320 427.23 o 30702 427.23 c 2319 427.31 o 30703 427.31 c 2318 427.49 o 30706 427.49 c 2315 427.68 o 30709 427.68 c 2312 430.77 o 30710 430.77 c 2311 431.15 o 30711 431.15 c 2310 431.35 o 30714 431.35 c 2307 432.08 o 30715 432.08 c 2306 433.24 o 30717 433.24 c 2304 434.00 o 30718 434.00 c 2303 434.19 o 30719 434.19 c 2302 435.13 o 30720 435.13 c 2301 437.21 o 30721 437.21 c 2300 437.58 o 30723 437.58 c 2298 437.77 o 30724 437.77 c 2297 438.53 o 30725 438.53 c 2296 438.72 o 30726 438.72 c 2295 439.47 o 30727 439.47 c 2294 439.65 o 30729 439.65 c 2292 439.84 o 30730 439.84 c 2291 440.41 o 30733 440.41 c 2288 441.13 o 30735 441.13 c 2286 441.32 o 30736 441.32 c 2285 441.51 o 30738 441.51 c 2283 441.88 o 30739 441.88 c 2282 442.26 o 30741 442.26 c 2280 442.45 o 30742 442.45 c 2279 442.63 o 30744 442.63 c 2277 442.83 o 30746 442.83 c 2275 443.02 o 30747 443.02 c 2274 443.21 o 30749 443.21 c 2272 443.51 o 30750 443.51 c 2271 444.66 o 30751 444.66 c 2270 444.85 o 30752 444.85 c 2269 445.05 o 30754 445.05 c 2267 445.61 o 30755 445.61 c 2266 445.99 o 30756 445.99 c 2265 446.56 o 30757 446.56 c 2264 446.74 o 30758 446.74 c 2263 462.42 o 30760 462.42 c 2261 462.78 o 30761 462.78 c 2260 463.34 o 30763 463.34 c 2258 464.27 o 30764 464.27 c 2257 464.60 o 30767 464.60 c 2254 464.79 o 30768 464.79 c 2253 469.45 o 30769 469.45 c 2252 469.81 o 30771 469.81 c 2250 470.10 o 30772 470.10 c 2249 474.00 o 30774 474.00 c 2247 474.12 o 30775 474.12 c 2246 474.25 o 30778 474.25 c 2243 474.56 o 30780 474.56 c 2241 484.68 o 30781 484.68 c 2240 485.03 o 30783 485.03 c 2238 485.22 o 30785 485.22 c 2236 485.41 o 30786 485.41 c 2235 485.99 o 30787 485.99 c 2234 486.91 o 30789 486.91 c 2232 487.11 o 30790 487.11 c 2231 487.30 o 30791 487.30 c 2230 488.40 o 30792 488.40 c 2229 488.59 o 30793 488.59 c 2228 488.78 o 30794 488.78 c 2227 489.14 o 30795 489.14 c 2226 489.33 o 30797 489.33 c 2224 492.04 o 30798 492.04 c 2223 492.40 o 30799 492.40 c 2222 495.60 o 30801 495.60 c 2220 495.80 o 30802 495.80 c 2219 497.55 o 30803 497.55 c 2218 497.75 o 30806 497.75 c 2215 498.14 o 30807 498.14 c 2214 498.33 o 30809 498.33 c 2212 499.60 o 30810 499.60 c 2211 499.78 o 30813 499.78 c 2208 500.53 o 30814 500.53 c 2207 500.72 o 30815 500.72 c 2206 501.27 o 30817 501.27 c 2204 501.46 o 30819 501.46 c 2202 501.65 o 30820 501.65 c 2201 502.02 o 30823 502.02 c 2198 502.77 o 30824 502.77 c 2197 503.14 o 30825 503.14 c 2196 503.70 o 30826 503.70 c 2195 504.09 o 30827 504.09 c 2194 504.28 o 30829 504.28 c 2192 504.48 o 30830 504.48 c 2191 518.66 o 30831 518.66 c 2190 518.85 o 30832 518.85 c 2189 519.43 o 30833 519.43 c 2188 520.54 o 30834 520.54 c 2187 520.93 o 30835 520.93 c 2186 521.12 o 30836 521.12 c 2185 521.32 o 30839 521.32 c 2182 521.51 o 30841 521.51 c 2180 521.91 o 30844 521.91 c 2177 525.01 o 30845 525.01 c 2176 525.92 o 30847 525.92 c 2174 526.30 o 30848 526.30 c 2173 527.04 o 30849 527.04 c 2172 527.98 o 30850 527.98 c 2171 528.17 o 30852 528.17 c 2169 528.36 o 30853 528.36 c 2168 529.15 o 30854 529.15 c 2167 529.34 o 30856 529.34 c 2165 529.45 o 30858 529.45 c 2163 529.64 o 30860 529.64 c 2161 529.84 o 30861 529.84 c 2160 530.61 o 30862 530.61 c 2159 530.88 o 30863 530.88 c 2158 531.27 o 30864 531.27 c 2157 531.47 o 30865 531.47 c 2156 536.21 o 30866 536.21 c 2155 536.41 o 30867 536.41 c 2154 536.78 o 30868 536.78 c 2153 537.56 o 30870 537.56 c 2151 537.70 o 30874 537.70 c 2147 538.58 o 30875 538.58 c 2146 538.77 o 30876 538.77 c 2145 540.98 o 30880 540.98 c 2141 543.15 o 30881 543.15 c 2140 543.35 o 30883 543.35 c 2138 543.94 o 30885 543.94 c 2136 544.31 o 30887 544.31 c 2134 544.51 o 30888 544.51 c 2133 544.71 o 30890 544.71 c 2131 545.28 o 30892 545.28 c 2129 545.48 o 30893 545.48 c 2128 545.68 o 30895 545.68 c 2126 546.45 o 30896 546.45 c 2125 546.53 o 30897 546.53 c 2124 546.73 o 30898 546.73 c 2123 546.92 o 30901 546.92 c 2120 547.40 o 30902 547.40 c 2119 547.59 o 30903 547.59 c 2118 547.91 o 30906 547.91 c 2115 548.86 o 30907 548.86 c 2114 551.78 o 30909 551.78 c 2112 552.11 o 30914 552.11 c 2107 552.17 o 30915 552.17 c 2106 552.35 o 30917 552.35 c 2104 552.74 o 30919 552.74 c 2102 553.31 o 30920 553.31 c 2101 559.58 o 30921 559.58 c 2100 559.96 o 30923 559.96 c 2098 560.16 o 30926 560.16 c 2095 561.81 o 30928 561.81 c 2093 573.06 o 30929 573.06 c 2092 573.41 o 30930 573.41 c 2091 573.99 o 30931 573.99 c 2090 574.19 o 30933 574.19 c 2088 574.37 o 30934 574.37 c 2087 575.76 o 30935 575.76 c 2086 588.79 o 30936 588.79 c 2085 588.97 o 30938 588.97 c 2083 589.26 o 30940 589.26 c 2081 589.85 o 30941 589.85 c 2080 592.27 o 30944 592.27 c 2077 594.21 o 30945 594.21 c 2076 594.41 o 30946 594.41 c 2075 594.60 o 30947 594.60 c 2074 596.57 o 30949 596.57 c 2072 598.88 o 30951 598.88 c 2070 599.46 o 30953 599.46 c 2068 599.65 o 30955 599.65 c 2066 612.00 o 30957 612.00 c 2064 612.19 o 30959 612.19 c 2062 612.37 o 30961 612.37 c 2060 613.36 o 30963 613.36 c 2058 614.89 o 30964 614.90 c 2057 615.08 o 30967 615.08 c 2054 615.26 o 30968 615.26 c 2053 615.62 o 30971 615.62 c 2050 616.16 o 30972 616.16 c 2049 616.34 o 30973 616.34 c 2048 616.52 o 30975 616.52 c 2046 616.61 o 30976 616.61 c 2045 623.58 o 30979 623.58 c 2042 623.76 o 30980 623.76 c 2041 625.87 o 30982 625.87 c 2039 626.93 o 30983 626.93 c 2038 627.32 o 30984 627.32 c 2037 627.50 o 30986 627.50 c 2035 627.67 o 30988 627.67 c 2033 628.55 o 30990 628.55 c 2031 628.73 o 30993 628.73 c 2028 630.33 o 30994 630.33 c 2027 630.51 o 30995 630.51 c 2026 630.88 o 30996 630.88 c 2025 631.42 o 30997 631.42 c 2024 633.02 o 30998 633.02 c 2023 634.65 o 30999 634.65 c 2022 634.99 o 31001 634.99 c 2020 635.12 o 31003 635.12 c 2018 635.28 o 31004 635.28 c 2017 635.64 o 31005 635.64 c 2016 635.82 o 31007 635.82 c 2014 636.00 o 31008 636.00 c 2013 636.31 o 31010 636.31 c 2011 636.47 o 31011 636.47 c 2010 636.82 o 31012 636.82 c 2009 636.98 o 31014 636.98 c 2007 637.16 o 31017 637.16 c 2004 637.39 o 31019 637.40 c 2002 637.57 o 31020 637.57 c 2001 638.11 o 31022 638.11 c 1999 638.65 o 31023 638.65 c 1998 639.36 o 31025 639.36 c 1996 639.54 o 31029 639.54 c 1992 639.73 o 31031 639.73 c 1990 640.09 o 31032 640.09 c 1989 640.27 o 31033 640.27 c 1988 640.38 o 31035 640.38 c 1986 640.74 o 31036 640.74 c 1985 643.50 o 31038 643.50 c 1983 644.89 o 31041 644.89 c 1980 645.25 o 31042 645.25 c 1979 645.43 o 31045 645.43 c 1976 647.82 o 31047 647.82 c 1974 650.67 o 31048 650.67 c 1973 650.84 o 31050 650.84 c 1971 651.20 o 31051 651.20 c 1970 651.37 o 31052 651.37 c 1969 652.33 o 31053 652.33 c 1968 656.26 o 31054 656.26 c 1967 656.43 o 31056 656.43 c 1965 656.78 o 31057 656.78 c 1964 656.91 o 31058 656.91 c 1963 657.25 o 31059 657.25 c 1962 657.28 o 31060 657.28 c 1961 657.46 o 31061 657.46 c 1960 657.63 o 31062 657.63 c 1959 657.82 o 31063 657.82 c 1958 658.35 o 31064 658.35 c 1957 668.72 o 31069 668.72 c 1952 668.89 o 31070 668.89 c 1951 669.25 o 31071 669.25 c 1950 669.42 o 31072 669.42 c 1949 669.79 o 31073 669.79 c 1948 669.97 o 31076 669.97 c 1945 670.15 o 31078 670.15 c 1943 670.50 o 31080 670.50 c 1941 671.03 o 31081 671.03 c 1940 671.72 o 31082 671.72 c 1939 672.57 o 31083 672.57 c 1938 679.77 o 31084 679.77 c 1937 680.79 o 31089 680.79 c 1932 680.96 o 31090 680.96 c 1931 681.30 o 31091 681.30 c 1930 682.48 o 31093 682.48 c 1928 682.58 o 31094 682.58 c 1927 683.94 o 31095 683.94 c 1926 684.46 o 31097 684.46 c 1924 684.99 o 31098 684.99 c 1923 685.07 o 31100 685.07 c 1921 685.24 o 31101 685.24 c 1920 685.41 o 31105 685.41 c 1916 688.54 o 31106 688.54 c 1915 696.86 o 31108 696.86 c 1913 696.98 o 31112 696.98 c 1909 700.17 o 31113 700.17 c 1908 700.52 o 31114 700.52 c 1907 701.24 o 31115 701.24 c 1906 703.42 o 31116 703.42 c 1905 705.55 o 31117 705.55 c 1904 708.01 o 31118 708.01 c 1903 708.89 o 31119 708.89 c 1902 709.07 o 31120 709.07 c 1901 709.60 o 31121 709.60 c 1900 709.78 o 31122 709.78 c 1899 709.89 o 31123 709.89 c 1898 710.15 o 31124 710.15 c 1897 710.33 o 31125 710.33 c 1896 710.86 o 31126 710.86 c 1895 720.55 o 31128 720.55 c 1893 721.12 o 31130 721.12 c 1891 721.27 o 31131 721.27 c 1890 721.88 o 31132 721.88 c 1889 722.26 o 31133 722.26 c 1888 723.00 o 31135 723.00 c 1886 723.91 o 31136 723.91 c 1885 724.15 o 31138 724.15 c 1883 724.28 o 31141 724.28 c 1880 724.63 o 31144 724.63 c 1877 724.94 o 31145 724.94 c 1876 735.49 o 31147 735.49 c 1874 735.75 o 31149 735.75 c 1872 736.12 o 31153 736.12 c 1868 736.31 o 31155 736.31 c 1866 736.50 o 31157 736.50 c 1864 737.73 o 31158 737.73 c 1863 737.92 o 31160 737.92 c 1861 739.86 o 31161 739.86 c 1860 740.05 o 31163 740.05 c 1858 740.62 o 31164 740.62 c 1857 741.18 o 31165 741.18 c 1856 741.38 o 31166 741.38 c 1855 744.96 o 31168 744.96 c 1853 745.11 o 31169 745.11 c 1852 745.31 o 31170 745.31 c 1851 746.48 o 31172 746.48 c 1849 746.67 o 31174 746.67 c 1847 749.96 o 31177 749.96 c 1844 751.23 o 31178 751.23 c 1843 751.62 o 31180 751.62 c 1841 752.41 o 31181 752.41 c 1840 752.60 o 31182 752.60 c 1839 752.81 o 31183 752.81 c 1838 753.00 o 31184 753.00 c 1837 753.20 o 31186 753.20 c 1835 754.27 o 31188 754.27 c 1833 765.50 o 31189 765.50 c 1832 765.87 o 31190 765.87 c 1831 766.07 o 31192 766.07 c 1829 766.26 o 31193 766.26 c 1828 766.85 o 31195 766.85 c 1826 769.67 o 31196 769.67 c 1825 769.87 o 31198 769.87 c 1823 770.06 o 31200 770.06 c 1821 770.43 o 31201 770.43 c 1820 770.62 o 31203 770.62 c 1818 770.79 o 31205 770.79 c 1816 771.37 o 31208 771.37 c 1813 771.56 o 31211 771.56 c 1810 771.75 o 31212 771.75 c 1809 771.93 o 31213 771.93 c 1808 772.13 o 31214 772.13 c 1807 772.25 o 31215 772.25 c 1806 773.01 o 31217 773.01 c 1804 773.20 o 31218 773.20 c 1803 773.34 o 31220 773.34 c 1801 773.53 o 31221 773.53 c 1800 774.09 o 31224 774.09 c 1797 774.19 o 31225 774.19 c 1796 775.15 o 31229 775.15 c 1792 775.31 o 31232 775.31 c 1789 775.48 o 31233 775.48 c 1788 775.67 o 31234 775.67 c 1787 776.76 o 31235 776.76 c 1786 780.32 o 31236 780.32 c 1785 780.51 o 31237 780.51 c 1784 780.70 o 31239 780.70 c 1782 780.89 o 31240 780.89 c 1781 781.47 o 31241 781.47 c 1780 781.65 o 31242 781.65 c 1779 781.84 o 31243 781.84 c 1778 782.56 o 31245 782.56 c 1776 784.79 o 31246 784.79 c 1775 786.40 o 31247 786.40 c 1774 786.97 o 31248 786.97 c 1773 787.16 o 31249 787.16 c 1772 792.54 o 31250 792.54 c 1771 792.92 o 31251 792.92 c 1770 799.40 o 31253 799.40 c 1768 799.59 o 31254 799.59 c 1767 799.76 o 31255 799.76 c 1766 800.32 o 31256 800.32 c 1765 800.51 o 31257 800.51 c 1764 817.50 o 31258 817.50 c 1763 823.88 o 31263 823.88 c 1758 824.04 o 31264 824.04 c 1757 824.23 o 31265 824.23 c 1756 824.54 o 31268 824.54 c 1753 824.73 o 31269 824.73 c 1752 824.92 o 31270 824.92 c 1751 825.30 o 31271 825.30 c 1750 826.03 o 31272 826.03 c 1749 826.40 o 31273 826.40 c 1748 826.77 o 31276 826.77 c 1745 827.84 o 31277 827.84 c 1744 828.21 o 31278 828.21 c 1743 828.36 o 31280 828.36 c 1741 828.73 o 31282 828.73 c 1739 829.14 o 31283 829.14 c 1738 829.25 o 31285 829.25 c 1736 829.39 o 31287 829.39 c 1734 832.62 o 31289 832.62 c 1732 836.40 o 31291 836.40 c 1730 836.52 o 31294 836.52 c 1727 838.29 o 31295 838.29 c 1726 839.01 o 31299 839.01 c 1722 839.19 o 31300 839.19 c 1721 844.34 o 31303 844.34 c 1718 844.53 o 31304 844.53 c 1717 850.18 o 31305 850.18 c 1716 850.55 o 31306 850.55 c 1715 850.73 o 31308 850.73 c 1713 850.91 o 31309 850.91 c 1712 851.09 o 31310 851.09 c 1711 851.46 o 31313 851.46 c 1708 851.73 o 31314 851.73 c 1707 853.01 o 31315 853.01 c 1706 855.95 o 31316 855.95 c 1705 856.14 o 31319 856.14 c 1702 856.50 o 31320 856.50 c 1701 857.46 o 31323 857.46 c 1698 857.65 o 31324 857.65 c 1697 857.83 o 31326 857.83 c 1695 858.00 o 31327 858.00 c 1694 858.19 o 31329 858.19 c 1692 859.30 o 31330 859.30 c 1691 865.87 o 31334 865.87 c 1687 866.05 o 31336 866.05 c 1685 867.37 o 31338 867.37 c 1683 867.57 o 31339 867.57 c 1682 867.95 o 31340 867.95 c 1681 871.43 o 31341 871.43 c 1680 871.78 o 31342 871.78 c 1679 872.33 o 31343 872.33 c 1678 872.53 o 31346 872.53 c 1675 872.72 o 31347 872.72 c 1674 872.91 o 31348 872.91 c 1673 873.10 o 31351 873.10 c 1670 873.28 o 31352 873.29 c 1669 874.00 o 31353 874.00 c 1668 876.14 o 31354 876.14 c 1667 876.33 o 31355 876.33 c 1666 877.07 o 31356 877.07 c 1665 878.93 o 31358 878.93 c 1663 879.12 o 31360 879.12 c 1661 879.69 o 31361 879.69 c 1660 879.88 o 31363 879.88 c 1658 882.14 o 31366 882.14 c 1655 883.58 o 31367 883.58 c 1654 885.26 o 31368 885.26 c 1653 885.64 o 31369 885.64 c 1652 886.02 o 31371 886.02 c 1650 886.41 o 31372 886.41 c 1649 886.78 o 31373 886.78 c 1648 886.98 o 31374 886.98 c 1647 887.17 o 31375 887.17 c 1646 887.55 o 31376 887.55 c 1645 887.67 o 31378 887.67 c 1643 897.86 o 31381 897.86 c 1640 898.75 o 31382 898.75 c 1639 901.25 o 31383 901.25 c 1638 901.44 o 31386 901.44 c 1635 901.56 o 31388 901.56 c 1633 902.14 o 31390 902.14 c 1631 902.34 o 31393 902.34 c 1628 902.92 o 31394 902.92 c 1627 903.68 o 31395 903.68 c 1626 903.87 o 31396 903.87 c 1625 905.84 o 31397 905.85 c 1624 906.04 o 31398 906.04 c 1623 906.53 o 31399 906.53 c 1622 906.73 o 31400 906.73 c 1621 907.70 o 31401 907.70 c 1620 908.29 o 31404 908.29 c 1617 908.49 o 31405 908.49 c 1616 908.69 o 31406 908.69 c 1615 908.89 o 31407 908.89 c 1614 909.06 o 31409 909.06 c 1612 921.36 o 31410 921.36 c 1611 921.50 o 31412 921.50 c 1609 923.43 o 31414 923.43 c 1607 924.03 o 31415 924.03 c 1606 924.23 o 31416 924.23 c 1605 924.43 o 31417 924.43 c 1604 924.90 o 31418 924.90 c 1603 925.01 o 31419 925.01 c 1602 925.81 o 31420 925.81 c 1601 927.02 o 31421 927.02 c 1600 927.42 o 31422 927.42 c 1599 927.82 o 31423 927.82 c 1598 933.73 o 31424 933.73 c 1597 933.89 o 31425 933.89 c 1596 934.02 o 31426 934.02 c 1595 934.53 o 31429 934.53 c 1592 934.92 o 31430 934.92 c 1591 935.11 o 31431 935.11 c 1590 935.88 o 31432 935.88 c 1589 936.45 o 31433 936.45 c 1588 963.12 o 31437 963.12 c 1584 963.71 o 31439 963.71 c 1582 963.90 o 31440 963.90 c 1581 964.64 o 31441 964.64 c 1580 964.99 o 31442 964.99 c 1579 965.07 o 31443 965.07 c 1578 975.49 o 31444 975.49 c 1577 975.62 o 31445 975.62 c 1576 976.01 o 31446 976.01 c 1575 976.58 o 31447 976.58 c 1574 976.79 o 31448 976.79 c 1573 976.96 o 31449 976.96 c 1572 977.15 o 31450 977.15 c 1571 977.33 o 31452 977.33 c 1569 977.52 o 31453 977.52 c 1568 978.09 o 31455 978.09 c 1566 978.24 o 31456 978.24 c 1565 978.62 o 31457 978.62 c 1564 978.82 o 31459 978.82 c 1562 978.96 o 31460 978.96 c 1561 979.16 o 31462 979.16 c 1559 979.33 o 31463 979.33 c 1558 980.24 o 31464 980.25 c 1557 981.02 o 31465 981.02 c 1556 982.58 o 31466 982.58 c 1555 982.77 o 31469 982.77 c 1552 982.90 o 31470 982.90 c 1551 983.68 o 31471 983.68 c 1550 984.04 o 31472 984.04 c 1549 984.24 o 31473 984.24 c 1548 986.93 o 31475 986.93 c 1546 987.02 o 31477 987.02 c 1544 988.52 o 31478 988.52 c 1543 989.51 o 31481 989.51 c 1540 989.87 o 31482 989.87 c 1539 990.01 o 31484 990.01 c 1537 990.40 o 31485 990.40 c 1536 991.74 o 31486 991.74 c 1535 991.94 o 31489 991.94 c 1532 992.14 o 31491 992.14 c 1530 992.19 o 31494 992.19 c 1527 992.78 o 31495 992.78 c 1526 992.93 o 31496 992.93 c 1525 1000.38 o 31497 1000.39 c 1524 1000.59 o 31498 1000.59 c 1523 1000.79 o 31499 1000.79 c 1522 1000.99 o 31501 1000.99 c 1520 1005.90 o 31502 1005.90 c 1519 1006.10 o 31503 1006.10 c 1518 1006.31 o 31504 1006.31 c 1517 1007.91 o 31507 1007.91 c 1514 1023.11 o 31509 1023.11 c 1512 1024.84 o 31511 1024.84 c 1510 1025.05 o 31512 1025.05 c 1509 1025.27 o 31513 1025.27 c 1508 1026.19 o 31514 1026.19 c 1507 1027.56 o 31516 1027.56 c 1505 1028.16 o 31519 1028.16 c 1502 1028.37 o 31520 1028.37 c 1501 1029.00 o 31521 1029.00 c 1500 1029.21 o 31523 1029.21 c 1498 1029.42 o 31524 1029.42 c 1497 1029.66 o 31525 1029.66 c 1496 1030.69 o 31527 1030.69 c 1494 1030.90 o 31531 1030.90 c 1490 1031.12 o 31532 1031.12 c 1489 1031.27 o 31535 1031.27 c 1486 1032.09 o 31536 1032.09 c 1485 1035.46 o 31538 1035.46 c 1483 1035.67 o 31539 1035.67 c 1482 1036.08 o 31541 1036.08 c 1480 1056.42 o 31542 1056.42 c 1479 1056.83 o 31543 1056.83 c 1478 1056.97 o 31544 1056.97 c 1477 1057.18 o 31546 1057.18 c 1475 1057.39 o 31549 1057.39 c 1472 1059.95 o 31552 1059.95 c 1469 1060.35 o 31553 1060.35 c 1468 1060.97 o 31554 1060.97 c 1467 1061.18 o 31556 1061.18 c 1465 1063.40 o 31560 1063.40 c 1461 1063.84 o 31561 1063.84 c 1460 1064.06 o 31562 1064.06 c 1459 1064.25 o 31564 1064.25 c 1457 1064.86 o 31565 1064.86 c 1456 1065.82 o 31566 1065.82 c 1455 1067.23 o 31567 1067.23 c 1454 1067.62 o 31568 1067.62 c 1453 1067.83 o 31569 1067.83 c 1452 1068.45 o 31570 1068.45 c 1451 1068.66 o 31571 1068.66 c 1450 1070.41 o 31572 1070.41 c 1449 1070.60 o 31573 1070.60 c 1448 1100.81 1100.81 search 1100.81 run=0 nbConstraintChecks=6298877438 nbAssignments=8677 1100.81 => wckTime=1066.497 cpuTime=1059.82 mem=64M453 1100.81 1100.81 global 1100.81 nbConstraintChecks=6298877438 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1100.81 solvingWckTime=1066.478 solvingCpuTime=1059.8 expiredTime=no totalExploration=no nbFoundSolutions=0 1100.81 globalCpuTime=1092.48 1100.81 => wckTime=1100.482 cpuTime=1092.43 mem=64M453 1100.81 1100.81 solver IterativeSystematicSolver being built... 1101.18 => wckTime=1100.848 cpuTime=1092.67 mem=91M746 2414.19 v -2524 2484 -2516 2640 -2600 -2436 2420 2620 2288 -2460 2532 2636 2380 2640 2468 -2500 -2588 -2336 -2416 -2280 2588 2328 2320 2540 -2388 -2332 2604 2516 2460 2548 -2620 -2312 -2544 2368 2412 2384 -2576 2300 -2280 -2292 2456 -2396 -2532 -2488 2336 2320 -2528 2284 2448 -2528 -2352 -2320 2352 -2400 -2332 2324 2376 -2332 -2600 -2380 2436 2496 2536 -2580 2444 2324 -2296 -2464 2548 -2488 2320 2512 -2280 -2320 2528 2580 -2284 2280 -2636 -2468 -2568 -2288 2388 2476 -2532 2604 2488 -2640 -2360 2428 2600 2328 -2344 -2384 2456 -2600 -2392 2412 -2536 2392 2320 -2380 2360 2492 2332 2328 -2328 2616 -2508 2592 2508 2628 2280 2308 -2416 2588 2320 -2320 -2640 2352 -2508 -2600 2636 2592 2468 -2280 2632 -2320 2284 2320 2280 2512 2608 -2600 -2608 2592 -2600 -2496 -2464 -2364 2504 -2376 -2592 -2280 -2596 -2280 -2292 2444 2280 2360 -2444 2456 2368 2284 -2284 -2588 -2480 -2284 -2576 2320 -2280 2400 2284 -2472 -2332 -2544 -2400 -2624 -2548 -2452 2640 -2316 -2424 -2472 2280 2640 -2456 2280 2596 2576 -2492 2584 -2328 2280 2440 2404 2540 -2288 -2280 2292 2616 2600 2384 2584 -2340 2640 -2600 2500 2432 2320 -2560 -2304 2428 -2600 -2568 -2584 2628 -2352 -2556 -2368 2616 -2400 2376 -2384 -2368 -2284 -2304 2636 2280 -2640 2584 2500 2632 -2320 2396 2424 2436 -2556 -2636 -2492 2384 2316 -2296 -2536 -2348 -2340 -2508 2640 2352 2620 -2324 2588 -2516 -2344 2424 2324 2636 2280 -2596 -2632 -2564 2452 2472 2304 2312 2492 2520 2280 2352 -2620 2596 -2344 2504 2612 -2596 -2312 -2520 2448 2484 2328 2516 -2284 -2572 -2452 -2320 -2488 2344 2336 -2576 -2280 -2280 2316 -2580 -2612 -2284 -2532 -2356 2356 -2424 2332 2424 -2628 2348 -2428 2280 2640 -2636 -2448 2328 -2624 2348 -2424 -2640 -2572 2620 2300 2292 2456 -2480 2592 -2436 2636 -2292 2416 -2596 2308 -2596 2380 2428 2468 2324 -2596 2608 -2484 -2400 -2588 2608 2560 -2440 2640 2412 2596 -2580 -2324 2380 -2380 2356 -2392 -2632 -2448 2600 -2500 2608 2288 2396 2320 -2496 2464 2324 2588 2332 -2596 2516 -2280 2348 -2360 2540 2320 2532 2612 -2612 -2324 -2348 2424 2368 2464 2420 2300 -2576 -2580 -2332 -2632 2552 2336 2528 -2356 -2640 -2412 2492 -2620 -2472 2600 -2408 2292 2336 -2416 2352 2556 2628 -2636 2320 2480 -2556 -2600 -2504 -2636 -2496 2480 2312 2312 -2504 2600 2560 -2324 -2440 2444 -2324 2636 2372 2324 2592 -2288 -2344 2460 2536 2320 -2536 2400 2400 2640 -2332 -2364 2320 2488 -2592 2632 2584 2612 2604 -2612 -2636 2516 -2280 -2512 2596 2584 -2336 2380 -2628 -2512 -2328 -2316 2600 2460 -2412 2600 2580 2600 2436 -2628 -2304 2432 2524 -2600 -2340 2588 2316 -2572 -2304 -2320 2328 2564 -2640 2416 -2296 2564 2544 2400 2432 -2616 -2284 -2468 2372 2500 -2316 2472 2508 2280 2556 -2436 2536 -2420 2464 2340 -2404 -2600 -2344 -2540 2592 2284 -2296 -2352 2336 2280 2588 2596 -2572 -2332 2360 -2592 2588 2320 -2284 -2280 -2308 -2320 2576 -2600 2308 2300 -2628 2292 2424 2352 2320 -2432 2592 2488 -2584 2448 -2432 -2304 2288 -2640 -2360 2452 -2384 -2584 2600 2368 -2500 2612 2620 2292 -2420 2640 -2404 2640 2296 -2376 2440 -2404 -2588 2320 -2392 2600 2320 2428 2352 2636 2332 2352 -2352 2348 2496 -2280 -2640 2320 -2420 -2632 -2372 2328 -2332 -2596 -2284 2408 -2624 2500 2600 2592 -2508 2636 -2636 2516 -2336 2532 2628 2576 2404 -2540 2572 -2348 2560 -2288 -2472 -2592 2428 2532 2444 2340 -2616 2436 2284 2456 -2620 -2448 2640 2476 2548 2568 2380 -2592 2596 2568 2304 2484 2640 2456 2512 -2416 2428 -2368 2416 -2348 2352 -2600 -2416 -2636 2368 2456 -2524 -2560 2460 2500 2312 2572 -2464 -2324 2460 -2420 2512 2364 2296 -2524 -2552 -2280 -2580 2388 2340 -2600 -2608 -2332 2304 -2532 -2320 2280 2320 -2280 2500 -2280 2400 -2288 -2384 2428 2636 2476 2508 2312 -2452 -2516 2280 2320 -2484 -2424 -2464 -2280 -2636 2468 -2368 -2488 -2580 2552 -2332 -2488 2320 2596 2584 2352 -2380 2576 2436 2320 -2568 -2344 2464 2332 2528 2340 2508 -2640 2284 2592 -2572 2608 -2640 -2324 -2348 -2280 -2288 -2592 -2280 2640 2292 -2528 -2548 2636 2520 -2552 2640 -2372 2280 -2348 2404 -2452 2320 2384 -2388 2540 -2392 2328 2512 -2632 2616 2572 2596 -2360 2480 2624 2372 -2508 -2540 2400 -2284 2336 -2280 2468 -2580 -2280 2292 -2440 2600 2332 -2468 -2344 -2444 2640 -2636 -2448 -2408 -2516 -2444 -2312 -2476 2420 -2504 -2536 -2592 2632 2580 2392 2284 -2592 -2636 -2532 -2440 2528 2340 -2300 -2280 2300 2636 -2572 -2636 2600 -2572 2288 -2512 -2296 -2540 -2284 -2292 2324 -2328 2404 2300 2404 2280 2484 -2288 2328 -2624 2284 -2600 2288 -2324 2344 -2568 2480 2444 -2372 2348 -2484 2572 2288 -2288 -2588 -2600 -2432 -2320 -2460 2640 2564 -2288 2336 2380 2624 -2532 -2560 -2420 -2620 2600 2592 2596 2324 -2328 2600 2280 2640 -2596 2300 2540 2456 2324 2388 2484 -2628 -2432 -2540 2320 2632 2584 -2632 -2372 2556 2596 -2424 -2592 -2508 -2284 2432 2476 -2496 2588 -2380 2280 -2296 -2448 -2600 2344 -2304 -2460 -2424 2440 2420 -2360 -2596 -2376 2308 2336 -2552 -2508 2560 -2280 -2336 2612 2468 2636 -2420 -2540 2284 -2312 2324 2332 -2448 -2488 -2596 2628 -2452 -2540 2532 2572 -2532 -2328 -2324 2392 -2388 -2536 2600 2296 2636 2628 2636 -2324 -2636 -2592 2440 -2512 2620 -2512 2384 2388 -2484 2280 -2320 2516 2584 2320 -2560 -2528 2288 2592 2372 2332 -2584 2280 2388 2544 2324 2444 2480 2496 2492 -2444 -2464 -2540 -2600 2600 -2300 2312 -2640 -2640 -2312 2448 2540 2600 -2592 2412 2404 -2636 2344 2396 2636 2600 -2336 -2300 -2488 2332 -2316 -2324 -2560 -2440 -2632 -2324 2600 2548 2560 2328 2504 -2288 -2580 2344 2368 -2576 2492 2520 2540 2508 -2368 -2316 -2432 2344 2632 -2620 2280 -2372 2636 2316 2428 2464 -2340 2280 2384 -2328 2360 -2464 2580 -2420 2468 -2636 2400 2364 2596 -2436 2600 -2304 -2568 2444 -2372 2596 2428 -2480 -2640 -2336 2500 2332 -2288 2544 2360 2292 -2620 -2496 -2468 -2324 -2580 2636 -2320 -2280 -2304 -2428 2464 -2464 2496 -2304 -2528 -2364 2384 2364 -2572 -2532 -2444 -2296 2528 2308 2296 -2372 2340 2340 -2280 2392 2452 -2392 -2444 2400 2344 -2476 -2400 -2284 -2376 2592 2300 -2572 2284 -2284 2608 -2348 2344 -2384 -2600 -2332 -2488 2368 -2636 2592 -2544 2444 -2304 2592 -2332 -2332 -2320 2340 -2404 -2632 2484 -2320 -2320 -2556 2588 -2520 -2552 2528 2452 -2448 2556 -2424 2588 2524 -2304 -2284 2640 -2596 2624 2624 -2428 2476 2596 2636 -2492 -2396 2560 2580 -2636 -2636 2416 -2592 2328 -2296 -2404 -2292 2620 2352 2412 2332 -2324 -2408 -2444 -2444 -2492 -2488 2304 2388 2292 -2528 2472 -2452 2456 -2632 -2620 -2532 -2288 2436 -2568 -2280 2588 -2572 2356 -2520 2468 -2416 2404 2640 2588 -2564 -2564 2500 -2616 2436 2636 2284 2292 2568 2304 -2284 -2568 2560 -2488 2464 -2456 2512 -2540 -2368 -2428 -2628 2416 -2468 2348 -2640 2340 2352 -2484 2640 2296 -2640 -2444 2376 2388 2580 2576 -2360 2312 -2616 2488 2552 2416 2504 2360 2444 -2308 -2640 -2280 -2328 2304 -2400 2368 -2320 2552 -2284 2640 -2500 -2472 -2372 2312 2600 2412 -2576 -2440 2424 2336 -2588 2368 -2596 -2360 -2320 -2600 2320 2324 -2640 -2568 -2520 -2344 2584 -2292 2444 2520 -2612 -2596 -2544 -2280 2372 2632 -2492 2296 -2572 2444 2376 2636 2300 2588 2420 -2296 2596 2308 -2380 -2332 2508 2444 -2468 2324 -2532 2596 -2420 2404 2524 -2296 2632 -2328 -2312 -2628 2552 -2600 -2460 -2396 -2520 2636 -2640 2360 2512 2532 -2292 -2636 -2280 -2280 2616 -2356 -2376 -2280 -2324 -2328 2584 -2404 2360 2628 2520 2292 -2600 -2572 2520 2392 2280 2340 -2280 -2444 2560 -2632 -2344 2504 2624 -2576 2632 -2548 2516 2356 -2432 2540 2636 2284 2640 2604 2324 2280 -2364 -2280 -2304 2312 2356 2320 -2488 -2572 2364 -2640 2368 -2620 -2640 2628 -2508 2588 2632 -2444 -2636 -2320 2616 -2324 2640 -2632 2432 2596 2360 -2548 2588 -2444 2280 -2452 2288 -2280 2492 -2588 2484 -2524 -2348 2504 2572 -2600 2280 -2444 2620 -2280 2332 -2344 -2496 2556 -2640 2340 -2636 2504 -2476 2520 -2588 -2620 2624 2308 2640 -2328 -2320 2344 -2532 -2428 -2552 -2372 -2568 -2532 -2384 -2284 -2432 2344 -2320 2428 -2292 2324 2600 -2540 -2600 2320 2392 2572 2368 2612 2532 -2596 2612 2296 -2284 -2432 -2320 -2320 2564 2512 2508 -2292 -2544 -2488 2408 2448 -2408 -2412 -2320 2640 -2528 2328 -2460 2328 2420 -2444 2468 -2412 -2604 2412 2460 -2636 2424 -2556 -2328 -2320 -2360 -2508 2572 2640 -2516 -2376 -2292 -2592 2624 2600 -2308 -2416 -2424 2468 -2348 -2532 2372 -2332 2428 -2344 2452 2560 -2636 2344 2308 2552 -2412 -2288 2376 2616 2436 2608 -2388 -2624 -2640 2564 -2436 2440 2640 2348 -2348 2576 2292 -2640 2284 -2284 2372 -2356 -2456 2344 2572 2328 2288 -2388 -2484 -2280 -2556 -2500 2540 -2628 2540 -2436 -2492 2392 -2288 -2328 2280 2492 2556 2328 -2552 -2300 2364 2492 2348 2564 2624 -2608 -2596 2284 2600 2328 2400 2628 -2640 2304 -2424 -2484 -2592 -2284 2600 -2540 -2572 2464 2416 2640 2488 -2356 -2548 -2552 2600 2324 2336 -2440 -2496 -2596 -2548 2596 2484 -2348 -2640 -2288 2288 2340 -2604 -2588 2640 2356 2628 2340 2368 -2284 -2436 -2344 2324 2284 2332 -2636 -2352 -2576 2628 -2280 -2476 -2336 -2640 2608 2484 2476 -2304 2376 2440 2596 -2280 -2324 2360 2280 2588 -2280 2532 -2344 -2556 -2636 -2280 2568 -2360 2588 -2568 2552 -2324 2520 2552 -2620 2344 2552 -2320 -2640 -2560 2340 2596 -2584 -2336 -2284 -2400 2456 -2468 2444 -2320 2320 2600 -2592 2416 -2476 2376 -2640 2596 2296 2564 -2360 2384 -2524 -2332 -2604 2596 2600 -2476 2592 -2300 2440 2496 2468 2288 2436 -2564 2592 2484 2552 2420 -2496 2320 2396 -2332 2536 -2420 2320 -2484 -2600 2636 -2324 -2532 -2356 -2336 -2560 -2536 2296 2340 -2320 -2432 -2320 2488 -2316 -2640 2280 2452 2436 -2640 -2324 -2484 2596 2312 2348 -2596 2524 -2380 -2540 2636 2320 2604 -2508 -2352 2284 2600 -2608 2296 -2440 2492 2476 -2420 -2524 -2288 2456 -2592 -2572 -2328 2384 2396 2588 -2336 -2324 -2472 -2532 2408 -2556 -2344 2456 2364 -2420 -2308 -2576 2592 2540 -2592 2520 -2452 2528 -2324 2436 -2400 2408 -2332 2356 2580 2576 2440 -2324 -2628 -2476 -2460 2500 2452 -2428 2520 2296 -2560 2484 -2316 -2640 2500 2468 2500 -2596 2456 -2564 -2288 2284 2420 2640 -2320 2544 2632 -2284 -2556 -2352 2400 2428 -2328 -2280 -2392 -2548 -2292 2312 -2332 2428 2284 -2576 2416 -2284 -2388 2452 2412 -2640 2324 2284 2280 2356 2568 -2492 -2332 2484 2472 2320 2352 -2544 2288 2280 -2308 -2428 2300 -2636 2608 2288 -2600 -2388 -2640 2492 -2360 -2320 -2280 -2484 -2300 -2288 2376 2564 -2312 -2600 -2596 -2280 2280 -2448 -2352 2292 2396 2324 -2332 2436 -2412 2300 2608 -2392 2396 2636 -2604 2504 -2616 -2640 2604 -2532 -2356 -2400 -2404 2596 -2284 2496 2556 2288 -2640 -2548 -2616 -2560 -2536 2352 2596 -2280 2576 -2352 -2504 -2320 2632 2472 2440 -2428 -2600 2376 -2416 -2324 2372 2596 -2360 2580 -2436 -2296 2280 -2532 -2624 -2280 -2280 -2468 2592 2472 2568 2600 -2332 2636 -2324 -2632 -2488 2584 2552 -2568 -2340 2500 -2304 2444 -2388 -2628 2280 2300 2332 2344 2572 2624 2580 2316 -2324 -2332 -2400 -2396 -2520 -2640 2392 2356 -2308 -2288 2496 2304 -2384 -2320 -2584 -2636 2404 2600 2324 2596 2284 2384 -2280 2480 -2340 -2596 -2632 -2548 2624 2328 -2280 2320 -2416 -2596 -2392 -2376 -2416 -2304 -2628 2596 -2428 2404 -2600 2532 -2300 -2628 2280 2428 -2640 2332 -2280 2632 -2284 -2564 -2460 -2416 2564 -2456 -2364 2524 2472 -2624 2348 2460 -2448 -2640 -2428 2284 -2284 2452 -2280 2468 2628 -2524 -2328 -2604 2420 2308 2420 2636 -2432 2480 2544 -2508 -2368 -2600 2580 -2332 2556 2592 2460 2296 -2388 -2296 2504 2508 -2420 2552 -2444 -2552 -2484 2628 2592 2516 -2528 -2564 -2376 -2300 -2304 2584 -2496 -2564 -2528 2576 -2640 2560 2456 -2524 2516 2636 2316 -2640 2572 -2396 2356 -2628 -2492 2324 -2600 -2320 2368 2600 -2348 -2636 -2592 2596 2432 2320 -2352 -2488 2532 2388 2504 2612 -2460 -2620 -2288 -2476 -2368 -2472 2364 -2556 2464 -2448 2552 2320 -2496 2280 -2500 2448 2500 -2280 -2516 2336 2496 2452 2288 2392 2340 2632 -2496 -2496 2628 -2320 -2404 -2444 -2488 2332 2584 2484 2524 2452 2608 -2348 2300 -2476 2312 -2600 -2632 -2600 -2568 -2600 2516 2356 2332 -2600 -2636 -2480 -2340 2292 2360 -2532 -2572 2344 -2632 2308 -2468 2356 -2356 2320 2640 2640 -2392 2288 -2548 2384 2420 -2416 -2448 2504 2620 2640 2344 -2404 -2428 2504 2464 2600 2448 -2596 2640 -2640 -2448 2436 2344 -2316 2320 -2620 2640 -2320 -2376 -2640 2580 -2512 2384 -2288 2324 -2504 -2576 -2588 2484 -2556 2600 -2496 2596 -2372 -2528 -2320 2340 -2572 -2596 -2356 2520 2300 2560 -2388 -2532 -2312 2596 -2416 2320 2300 2328 -2536 2328 -2584 2320 2364 2628 -2380 2516 2328 -2360 2596 2360 2420 -2420 2516 -2288 2628 2328 2580 -2288 2320 2368 -2320 2600 -2280 2320 -2324 -2436 -2500 2628 2412 2600 2464 -2524 2380 -2416 -2320 2552 -2640 2360 2504 -2552 -2584 -2284 -2596 2316 -2488 2320 2340 -2608 2372 2428 2348 -2348 -2356 -2324 -2396 -2380 -2280 -2604 -2628 -2380 -2280 -2516 -2420 2280 2380 -2512 -2600 -2580 2372 2444 -2292 2436 2300 -2464 -2364 -2428 2624 2412 -2472 2572 2632 2596 2624 2440 2596 2296 2320 -2324 -2300 2296 -2576 2324 -2616 -2372 2564 2560 -2284 -2584 2580 -2528 -2348 2568 2596 2628 2536 2336 -2392 2336 -2584 2328 -2396 2348 -2320 2596 2588 2400 2428 -2568 -2372 -2512 -2280 -2416 -2444 -2324 -2612 2364 -2456 -2480 2636 -2296 2320 2504 2628 -2488 2536 2412 2432 -2548 -2292 2292 -2296 2464 -2544 2492 -2604 -2484 -2320 2592 2480 2380 2512 2412 2376 -2460 2332 -2564 2280 2492 -2460 2620 2468 2620 -2600 -2472 -2544 -2324 2476 -2536 2552 -2628 -2612 2560 2384 -2280 2400 2376 2336 2472 -2372 -2468 -2592 -2548 -2472 2312 2364 -2588 2552 -2328 -2368 2320 2492 2468 2628 -2444 2400 2588 2460 2460 -2460 -2568 2328 -2500 2408 -2344 2508 2596 -2408 2600 -2304 2280 -2288 2628 -2568 2556 -2632 2468 -2508 2328 2496 -2316 -2588 2600 2640 -2300 2620 2600 2636 -2492 -2636 2520 -2576 2328 2456 -2488 -2324 -2308 2592 -2532 2556 2328 -2488 -2568 2520 -2572 2424 2320 -2324 2396 2412 -2424 -2532 -2464 2640 2528 -2592 2320 -2336 -2320 2524 2332 2488 2368 2320 -2360 -2472 2420 -2636 2380 2360 2432 2512 -2368 -2320 2456 2428 -2384 -2352 2424 2320 2308 2600 2296 -2476 -2316 -2400 -2464 2628 2456 -2564 -2352 -2488 -2520 2456 2324 -2288 2404 2492 2508 2352 -2292 -2504 2408 2340 -2456 2568 2640 2524 2596 2588 2344 2588 2344 2280 -2480 2316 2368 2320 2296 2600 -2292 2336 -2640 2288 2448 2412 -2512 2384 2600 -2572 -2320 -2476 2396 -2588 2348 2592 2320 -2488 -2584 -2324 -2320 -2636 -2288 2352 2612 -2480 2320 -2416 -2564 -2280 -2328 2340 2576 2640 -2456 -2456 2544 2556 -2380 -2336 -2280 2480 -2528 2376 -2388 2404 -2412 2640 -2428 -2304 2280 -2308 2464 -2308 2328 -2396 2600 -2616 -2444 -2320 2552 2396 2524 -2524 2284 -2600 2364 2320 2404 -2292 -2528 2340 2572 2544 2596 -2320 -2456 -2592 -2584 -2340 2320 2368 -2380 -2336 2280 -2280 -2560 -2512 -2320 -2472 -2468 2600 2316 2324 -2528 -2588 2396 -2304 2432 -2424 2428 -2280 2284 2640 2492 2372 2640 2640 2396 -2408 -2600 2568 2580 2356 2480 -2284 2320 -2320 2320 2408 2360 -2508 -2352 2292 2624 2324 -2640 2416 2460 -2292 -2416 -2408 2352 -2640 -2340 2328 2296 -2404 -2508 -2356 -2288 -2444 -2420 -2592 2320 2528 2280 -2640 -2580 -2392 2636 -2560 -2340 -2484 2320 -2440 -2476 -2636 2596 2600 2588 2460 2596 2340 -2328 2596 -2328 -2284 -2472 2320 -2404 2320 2496 -2604 -2416 -2320 2416 -2552 -2572 2528 -2504 2508 -2580 2284 2524 2492 -2296 -2408 2428 -2512 -2348 2468 -2596 -2600 2600 2304 2516 2388 -2420 -2600 -2608 -2300 2304 -2396 2504 2600 2356 2564 -2600 2328 -2284 2340 -2640 2296 2284 -2592 -2600 -2640 2284 -2596 -2380 -2324 -2588 2328 -2536 2396 -2388 2476 -2324 -2492 -2328 -2352 -2556 -2336 -2520 2412 -2344 -2380 -2596 2280 2560 -2524 2508 2444 -2328 -2388 -2604 2452 2280 -2412 -2516 2588 2288 2444 2508 2280 -2456 2340 2284 2584 -2348 -2320 -2460 -2632 2448 2336 -2532 2404 2600 -2388 -2640 2612 -2628 -2308 -2584 2464 -2344 -2560 -2460 -2280 2552 -2568 -2280 -2556 -2324 -2560 -2332 2336 2280 -2568 -2388 -2356 2548 2324 2280 -2600 -2280 2280 -2432 2500 2436 -2528 2540 2640 2536 2608 -2576 -2312 2400 -2468 2512 2284 2552 -2408 -2328 2476 -2608 2320 -2324 2508 2564 2552 2424 2632 -2556 -2616 2636 -2544 2524 2572 2580 2440 -2484 -2632 -2600 2340 -2348 -2460 -2488 -2428 2460 2284 2288 -2552 2524 -2524 2280 2640 -2436 2576 -2460 -2568 -2636 2552 2400 2596 2432 2512 2580 2432 -2312 -2296 -2640 2592 2456 -2340 2320 -2424 -2356 2344 2516 -2564 -2500 -2388 -2308 -2332 -2632 2640 -2448 -2328 2628 -2376 2572 -2480 -2476 -2640 2424 -2284 -2612 2316 2468 -2328 2636 2420 2632 -2612 -2392 -2400 2600 2528 2432 2484 -2320 -2512 -2596 -2320 2524 2600 -2308 -2568 2292 -2596 -2324 -2404 -2548 -2320 2408 2548 -2324 -2544 -2540 2408 2388 -2536 2484 -2532 -2560 2320 2324 -2280 2280 2424 2356 2492 2376 -2356 -2464 2592 2380 2328 -2456 -2332 -2336 2592 -2324 -2640 2444 2284 -2376 2632 2512 2280 -2500 2452 -2624 2344 2356 -2288 2320 -2360 -2292 2336 -2312 -2636 2360 -2280 2312 -2556 -2312 -2288 2584 2624 -2596 -2500 2624 -2344 -2288 -2596 -2492 2304 2416 2568 -2508 2300 2328 -2468 -2536 -2564 2336 -2544 2592 -2304 -2572 2588 2460 -2612 2344 2304 2592 -2636 2552 -2340
1448 unsatisfied constraints, 31573 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-275255-1169218906 -o ROOT/results/node15/solver-275255-1169218906 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275255-1169218906/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.92 1.98 1.93 5/99 5992 /proc/meminfo: memFree=1437216/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=11868 CPUtime=0 /proc/5991/stat : 5991 (java) D 5989 5991 5144 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 270285580 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0 /proc/5991/statm: 2967 515 425 14 0 1602 0 [startup+0.103821 s] /proc/loadavg: 1.92 1.98 1.93 5/99 5992 /proc/meminfo: memFree=1437216/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=912908 CPUtime=0.07 /proc/5991/stat : 5991 (java) S 5989 5991 5144 0 -1 0 2807 0 1 0 6 1 0 0 17 0 8 0 270285580 934817792 2553 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228227 2553 1390 14 0 215128 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 912908 [startup+0.511892 s] /proc/loadavg: 1.92 1.98 1.93 5/99 5992 /proc/meminfo: memFree=1437216/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915332 CPUtime=0.47 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 6513 0 1 0 42 5 0 0 18 0 8 0 270285580 937299968 6252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228833 6252 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 915332 [startup+1.33504 s] /proc/loadavg: 1.92 1.98 1.93 3/106 5999 /proc/meminfo: memFree=1363432/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915612 CPUtime=1.28 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 22700 0 1 0 114 14 0 0 24 0 8 0 270285580 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228903 22437 2164 14 0 215373 0 [pid=5991/tid=5993] ppid=5989 vsize=915612 CPUtime=0.09 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 6141 0 0 0 7 2 0 0 16 0 8 0 270285584 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915612 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915612 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915612 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915612 CPUtime=0.15 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 270285588 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915612 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915612 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 915612 [startup+2.98031 s] /proc/loadavg: 1.92 1.98 1.93 3/106 5999 /proc/meminfo: memFree=1349928/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915744 CPUtime=2.91 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 24086 0 1 0 275 16 0 0 25 0 8 0 270285580 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228936 23820 2184 14 0 215406 0 [pid=5991/tid=5993] ppid=5989 vsize=915744 CPUtime=0.19 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 7448 0 0 0 16 3 0 0 16 0 8 0 270285584 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915744 CPUtime=0.18 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 416 0 0 0 18 0 0 0 16 0 8 0 270285588 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 915744 [startup+6.27188 s] /proc/loadavg: 1.93 1.98 1.93 3/106 6007 /proc/meminfo: memFree=1349928/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915744 CPUtime=6.18 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 24111 0 1 0 599 19 0 0 25 0 8 0 270285580 937721856 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228936 23842 2185 14 0 215406 0 [pid=5991/tid=5993] ppid=5989 vsize=915744 CPUtime=0.19 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 7448 0 0 0 16 3 0 0 17 0 8 0 270285584 937721856 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937721856 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915744 CPUtime=0.2 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 437 0 0 0 20 0 0 0 15 0 8 0 270285588 937721856 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937721856 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937721856 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 915744 [startup+12.762 s] /proc/loadavg: 1.93 1.98 1.93 3/106 6011 /proc/meminfo: memFree=1343720/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915744 CPUtime=12.64 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 25668 0 1 0 1225 39 0 0 25 0 8 0 270285580 937721856 25396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228936 25396 2185 14 0 215406 0 [pid=5991/tid=5993] ppid=5989 vsize=915744 CPUtime=0.25 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 8994 0 0 0 21 4 0 0 16 0 8 0 270285584 937721856 25396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 25396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 25396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937721856 25396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915744 CPUtime=0.21 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 445 0 0 0 21 0 0 0 15 0 8 0 270285588 937721856 25396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937721856 25396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937721856 25396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 915744 [startup+25.6182 s] /proc/loadavg: 1.95 1.98 1.93 3/106 6019 /proc/meminfo: memFree=1335272/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915744 CPUtime=25.42 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 27832 0 1 0 2439 103 0 0 25 0 8 0 270285580 937721856 27559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228936 27559 2185 14 0 215406 0 [pid=5991/tid=5993] ppid=5989 vsize=915744 CPUtime=0.38 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 11154 0 0 0 33 5 0 0 16 0 8 0 270285584 937721856 27559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 27559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 27559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937721856 27559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915744 CPUtime=0.22 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 448 0 0 0 22 0 0 0 16 0 8 0 270285588 937721856 27559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937721856 27559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937721856 27559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 915744 [startup+51.2516 s] /proc/loadavg: 1.96 1.98 1.93 3/100 6039 /proc/meminfo: memFree=1312864/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915744 CPUtime=50.82 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 34100 0 1 0 4915 167 0 0 25 0 8 0 270285580 937721856 33772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228936 33772 2504 14 0 215406 0 [pid=5991/tid=5993] ppid=5989 vsize=915744 CPUtime=0.91 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 17042 0 0 0 84 7 0 0 16 0 8 0 270285584 937721856 33772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 33772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 33772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937721856 33772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915744 CPUtime=0.28 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 476 0 0 0 27 1 0 0 16 0 8 0 270285588 937721856 33772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937721856 33772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937721856 33772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.82 Current children cumulated vsize (KiB) 915744 [startup+102.517 s] /proc/loadavg: 1.98 1.98 1.93 3/100 6039 /proc/meminfo: memFree=1312864/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915744 CPUtime=101.77 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 34101 0 1 0 9994 183 0 0 25 0 8 0 270285580 937721856 33773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5991/statm: 228936 33773 2504 14 0 215406 0 [pid=5991/tid=5993] ppid=5989 vsize=915744 CPUtime=0.91 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 17042 0 0 0 84 7 0 0 16 0 8 0 270285584 937721856 33773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 33773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937721856 33773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937721856 33773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915744 CPUtime=0.29 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 477 0 0 0 28 1 0 0 15 0 8 0 270285588 937721856 33773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937721856 33773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915744 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937721856 33773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.77 Current children cumulated vsize (KiB) 915744 [startup+162.563 s] /proc/loadavg: 1.99 1.98 1.93 3/101 6113 /proc/meminfo: memFree=1055312/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915744 CPUtime=161.57 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 34102 0 1 0 15961 196 0 0 25 0 8 0 270285580 937721856 33774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013225 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2012.92 Current children cumulated vsize (KiB) 915980 [startup+2085 s] /proc/loadavg: 2.00 2.01 1.99 3/100 6173 /proc/meminfo: memFree=1184608/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915980 CPUtime=2072.68 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 38534 0 1 0 207009 259 0 0 25 0 8 0 270285580 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074271517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5991/statm: 228995 38192 2549 14 0 215465 0 [pid=5991/tid=5993] ppid=5989 vsize=915980 CPUtime=0.98 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 21244 0 0 0 89 9 0 0 16 0 8 0 270285584 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915980 CPUtime=0.4 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 608 0 0 0 39 1 0 0 17 0 8 0 270285588 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2072.68 Current children cumulated vsize (KiB) 915980 [startup+2145.07 s] /proc/loadavg: 2.00 2.00 1.99 3/100 6173 /proc/meminfo: memFree=1184608/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915980 CPUtime=2132.44 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 38536 0 1 0 212984 260 0 0 25 0 8 0 270285580 937963520 38194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074271387 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5991/statm: 228995 38194 2549 14 0 215465 0 [pid=5991/tid=5993] ppid=5989 vsize=915980 CPUtime=0.98 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 21244 0 0 0 89 9 0 0 16 0 8 0 270285584 937963520 38194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937963520 38194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915980 CPUtime=0.4 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 610 0 0 0 39 1 0 0 17 0 8 0 270285588 937963520 38194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937963520 38194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937963520 38194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2132.44 Current children cumulated vsize (KiB) 915980 [startup+2205.12 s] /proc/loadavg: 2.07 2.03 2.00 3/100 6173 /proc/meminfo: memFree=1184544/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915980 CPUtime=2192.16 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 38539 0 1 0 218956 260 0 0 25 0 8 0 270285580 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289387 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5991/statm: 228995 38196 2549 14 0 215465 0 [pid=5991/tid=5993] ppid=5989 vsize=915980 CPUtime=0.98 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 21244 0 0 0 89 9 0 0 16 0 8 0 270285584 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915980 CPUtime=0.4 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 613 0 0 0 39 1 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2192.16 Current children cumulated vsize (KiB) 915980 [startup+2265.21 s] /proc/loadavg: 2.02 2.02 2.00 3/100 6173 /proc/meminfo: memFree=1184544/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915980 CPUtime=2251.93 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 38539 0 1 0 224933 260 0 0 25 0 8 0 270285580 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074292064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5991/statm: 228995 38196 2549 14 0 215465 0 [pid=5991/tid=5993] ppid=5989 vsize=915980 CPUtime=0.98 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 21244 0 0 0 89 9 0 0 16 0 8 0 270285584 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915980 CPUtime=0.4 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 613 0 0 0 39 1 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2251.93 Current children cumulated vsize (KiB) 915980 [startup+2325.3 s] /proc/loadavg: 2.01 2.01 2.00 3/100 6173 /proc/meminfo: memFree=1184544/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915980 CPUtime=2311.7 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 38539 0 1 0 230910 260 0 0 25 0 8 0 270285580 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5991/statm: 228995 38196 2549 14 0 215465 0 [pid=5991/tid=5993] ppid=5989 vsize=915980 CPUtime=0.98 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 21244 0 0 0 89 9 0 0 16 0 8 0 270285584 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915980 CPUtime=0.4 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 613 0 0 0 39 1 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2311.7 Current children cumulated vsize (KiB) 915980 [startup+2385.38 s] /proc/loadavg: 2.00 2.01 2.00 3/100 6173 /proc/meminfo: memFree=1184544/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915980 CPUtime=2371.43 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 38539 0 1 0 236883 260 0 0 25 0 8 0 270285580 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5991/statm: 228995 38196 2549 14 0 215465 0 [pid=5991/tid=5993] ppid=5989 vsize=915980 CPUtime=0.98 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 21244 0 0 0 89 9 0 0 16 0 8 0 270285584 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915980 CPUtime=0.4 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 613 0 0 0 39 1 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2371.43 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2414.18 s] /proc/loadavg: 2.00 2.01 2.00 3/100 6173 /proc/meminfo: memFree=1184544/2055920 swapFree=4173628/4192956 [pid=5991] ppid=5989 vsize=915980 CPUtime=2400.08 /proc/5991/stat : 5991 (java) R 5989 5991 5144 0 -1 0 38539 0 1 0 239748 260 0 0 25 0 8 0 270285580 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5991/statm: 228995 38196 2549 14 0 215465 0 [pid=5991/tid=5993] ppid=5989 vsize=915980 CPUtime=0.98 /proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5144 0 -1 64 21244 0 0 0 89 9 0 0 16 0 8 0 270285584 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5994] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5144 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5995] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5144 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285585 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5996] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5997] ppid=5989 vsize=915980 CPUtime=0.4 /proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5144 0 -1 64 613 0 0 0 39 1 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5991/tid=5998] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5144 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5991/tid=5999] ppid=5989 vsize=915980 CPUtime=0 /proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5144 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285588 937963520 38196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2414.23 CPU time (s): 2400.13 CPU user time (s): 2397.5 CPU system time (s): 2.6306 CPU usage (%): 99.4161 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.5 system time used= 2.6306 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38563 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= 50687 involuntary context switches= 93422 runsolver used 2.6526 s user time and 8.25774 s system time The end
Begin job on node15 on Fri Jan 19 15:01:47 UTC 2007 IDJOB= 275255 IDBENCH= 3743 IDSOLVER= 68 FILE ID= node15/275255-1169218906 PBS_JOBID= 3588910 Free space on /tmp= 66557 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-1.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275255-1169218906/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-275255-1169218906 -o ROOT/results/node15/solver-275255-1169218906 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275255-1169218906/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 2cf7ece5c4ec944165ff6d4cc1345473 RANDOM SEED= 488697866 TIME LIMIT= 2400 seconds MEMORY LIMIT= 900 MiB /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.276 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.276 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1437696 kB Buffers: 49648 kB Cached: 414024 kB SwapCached: 5936 kB Active: 196592 kB Inactive: 347388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1437696 kB SwapTotal: 4192956 kB SwapFree: 4173628 kB Dirty: 6300 kB Writeback: 0 kB Mapped: 100400 kB Slab: 58392 kB Committed_AS: 8835288 kB PageTables: 2776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66555 MiB End job on node15 on Fri Jan 19 15:42:02 UTC 2007