Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.09 | 2411.98 |
| 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.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=pfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275256-1169218907/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.69 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.69 => wckTime=0.378 cpuTime=0.27 mem=27M382 0.69 0.69 predicates being loaded... 0.70 0.70 constraints being loaded... 33.71 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=88333149 nbExtensionStructures=5410 33.71 nbSharedExtensionStructures=27611 nbConflictsStructures=5410 nbSharedConflictsStructures=27611 33.71 nbSharedBinaryRepresentations=1414032 maxDegree=29 maxArity=2 33.71 => wckTime=33.402 cpuTime=32.25 mem=65M157 34.01 34.01 solver LocalSearchSolver being built... 34.05 => wckTime=33.735 cpuTime=32.3 mem=63M438 34.14 34.14 s SATISFIABLE 34.14 o 25635 34.14 c 7386 34.15 o 25643 34.15 c 7378 34.16 o 25649 34.16 c 7372 34.17 o 25660 34.17 c 7361 34.19 o 25666 34.19 c 7355 34.20 o 25672 34.20 c 7349 34.21 o 25677 34.21 c 7344 34.22 o 25681 34.22 c 7340 34.23 o 25685 34.23 c 7336 34.24 o 25689 34.24 c 7332 34.24 o 25692 34.24 c 7329 34.25 o 25702 34.25 c 7319 34.26 o 25712 34.26 c 7309 34.27 o 25720 34.27 c 7301 34.29 o 25727 34.29 c 7294 34.30 o 25734 34.30 c 7287 34.32 o 25740 34.32 c 7281 34.33 o 25746 34.33 c 7275 34.34 o 25751 34.34 c 7270 34.36 o 25756 34.36 c 7265 34.37 o 25761 34.37 c 7260 34.38 o 25765 34.38 c 7256 34.39 o 25769 34.39 c 7252 34.40 o 25772 34.40 c 7249 34.41 o 25775 34.41 c 7246 34.42 o 25778 34.42 c 7243 34.43 o 25781 34.43 c 7240 34.44 o 25784 34.44 c 7237 34.45 o 25786 34.45 c 7235 34.46 o 25788 34.46 c 7233 34.47 o 25790 34.47 c 7231 34.48 o 25791 34.48 c 7230 34.50 o 25797 34.50 c 7224 34.51 o 25807 34.51 c 7214 34.53 o 25815 34.53 c 7206 34.54 o 25823 34.54 c 7198 34.55 o 25831 34.55 c 7190 34.56 o 25838 34.56 c 7183 34.58 o 25845 34.58 c 7176 34.59 o 25852 34.59 c 7169 34.60 o 25858 34.61 c 7163 34.62 o 25864 34.62 c 7157 34.63 o 25870 34.63 c 7151 34.64 o 25876 34.64 c 7145 34.66 o 25882 34.66 c 7139 34.68 o 25887 34.68 c 7134 34.69 o 25892 34.69 c 7129 34.70 o 25896 34.70 c 7125 34.71 o 25900 34.71 c 7121 34.73 o 25904 34.73 c 7117 34.74 o 25908 34.74 c 7113 34.75 o 25911 34.75 c 7110 34.76 o 25914 34.76 c 7107 34.77 o 25917 34.77 c 7104 34.78 o 25920 34.78 c 7101 34.79 o 25922 34.79 c 7099 34.80 o 25924 34.80 c 7097 34.81 o 25926 34.81 c 7095 34.81 o 25928 34.81 c 7093 34.83 o 25930 34.83 c 7091 34.83 o 25935 34.83 c 7086 34.84 o 25940 34.84 c 7081 34.85 o 25942 34.85 c 7079 34.87 o 25946 34.87 c 7075 34.89 o 25953 34.89 c 7068 34.92 o 25960 34.92 c 7061 34.94 o 25967 34.94 c 7054 34.96 o 25974 34.96 c 7047 34.98 o 25980 34.98 c 7041 35.00 o 25986 35.00 c 7035 35.02 o 25992 35.02 c 7029 35.04 o 25998 35.04 c 7023 35.06 o 26003 35.06 c 7018 35.08 o 26008 35.08 c 7013 35.10 o 26013 35.10 c 7008 35.12 o 26018 35.12 c 7003 35.14 o 26023 35.14 c 6998 35.15 o 26025 35.15 c 6996 35.17 o 26030 35.17 c 6991 35.19 o 26034 35.19 c 6987 35.21 o 26038 35.21 c 6983 35.23 o 26042 35.23 c 6979 35.24 o 26046 35.24 c 6975 35.26 o 26050 35.26 c 6971 35.28 o 26054 35.28 c 6967 35.30 o 26058 35.30 c 6963 35.31 o 26062 35.32 c 6959 35.33 o 26065 35.33 c 6956 35.35 o 26068 35.35 c 6953 35.37 o 26071 35.37 c 6950 35.38 o 26074 35.38 c 6947 35.39 o 26077 35.39 c 6944 35.41 o 26080 35.41 c 6941 35.42 o 26083 35.42 c 6938 35.44 o 26086 35.44 c 6935 35.45 o 26089 35.45 c 6932 35.47 o 26092 35.47 c 6929 35.48 o 26095 35.48 c 6926 35.49 o 26097 35.49 c 6924 35.51 o 26099 35.51 c 6922 35.52 o 26101 35.52 c 6920 35.53 o 26103 35.53 c 6918 35.54 o 26108 35.54 c 6913 35.55 o 26110 35.55 c 6911 35.57 o 26112 35.57 c 6909 35.58 o 26115 35.58 c 6906 35.59 o 26117 35.59 c 6904 35.60 o 26118 35.60 c 6903 35.61 o 26119 35.61 c 6902 35.62 o 26120 35.62 c 6901 35.63 o 26121 35.63 c 6900 35.64 o 26125 35.64 c 6896 35.65 o 26130 35.65 c 6891 35.66 o 26131 35.66 c 6890 35.67 o 26138 35.67 c 6883 35.68 o 26144 35.68 c 6877 35.69 o 26149 35.69 c 6872 35.70 o 26153 35.70 c 6868 35.71 o 26158 35.71 c 6863 35.72 o 26161 35.72 c 6860 35.73 o 26166 35.73 c 6855 35.74 o 26169 35.74 c 6852 35.75 o 26171 35.75 c 6850 35.77 o 26174 35.77 c 6847 35.80 o 26178 35.80 c 6843 35.81 o 26182 35.81 c 6839 35.82 o 26184 35.82 c 6837 35.84 o 26187 35.84 c 6834 35.85 o 26189 35.85 c 6832 35.86 o 26192 35.86 c 6829 35.88 o 26194 35.88 c 6827 35.88 o 26198 35.88 c 6823 35.90 o 26201 35.90 c 6820 35.91 o 26210 35.91 c 6811 35.93 o 26214 35.93 c 6807 35.95 o 26219 35.95 c 6802 35.97 o 26227 35.97 c 6794 35.99 o 26234 35.99 c 6787 36.01 o 26241 36.01 c 6780 36.03 o 26248 36.03 c 6773 36.06 o 26254 36.06 c 6767 36.08 o 26260 36.08 c 6761 36.11 o 26266 36.11 c 6755 36.13 o 26272 36.13 c 6749 36.15 o 26274 36.15 c 6747 36.18 o 26280 36.18 c 6741 36.20 o 26286 36.20 c 6735 36.23 o 26292 36.23 c 6729 36.25 o 26298 36.25 c 6723 36.27 o 26304 36.27 c 6717 36.30 o 26310 36.30 c 6711 36.32 o 26316 36.32 c 6705 36.34 o 26321 36.34 c 6700 36.37 o 26326 36.37 c 6695 36.39 o 26333 36.39 c 6688 36.42 o 26338 36.42 c 6683 36.44 o 26339 36.44 c 6682 36.45 o 26340 36.45 c 6681 36.48 o 26345 36.48 c 6676 36.50 o 26350 36.50 c 6671 36.53 o 26355 36.53 c 6666 36.55 o 26359 36.55 c 6662 36.57 o 26363 36.58 c 6658 36.60 o 26367 36.60 c 6654 36.62 o 26371 36.62 c 6650 36.65 o 26375 36.65 c 6646 36.67 o 26379 36.67 c 6642 36.69 o 26383 36.69 c 6638 36.71 o 26385 36.71 c 6636 36.73 o 26389 36.73 c 6632 36.75 o 26393 36.75 c 6628 36.77 o 26397 36.77 c 6624 36.79 o 26401 36.79 c 6620 36.81 o 26405 36.81 c 6616 36.83 o 26409 36.83 c 6612 36.85 o 26418 36.85 c 6603 36.87 o 26422 36.87 c 6599 36.89 o 26425 36.89 c 6596 36.90 o 26428 36.91 c 6593 36.92 o 26431 36.92 c 6590 36.94 o 26434 36.94 c 6587 36.96 o 26437 36.96 c 6584 36.98 o 26440 36.98 c 6581 37.00 o 26443 37.00 c 6578 37.02 o 26446 37.02 c 6575 37.03 o 26449 37.03 c 6572 37.05 o 26452 37.05 c 6569 37.07 o 26455 37.07 c 6566 37.08 o 26458 37.08 c 6563 37.10 o 26461 37.10 c 6560 37.12 o 26464 37.12 c 6557 37.13 o 26467 37.13 c 6554 37.15 o 26470 37.15 c 6551 37.16 o 26472 37.16 c 6549 37.18 o 26474 37.18 c 6547 37.19 o 26476 37.19 c 6545 37.21 o 26478 37.21 c 6543 37.22 o 26480 37.22 c 6541 37.23 o 26482 37.23 c 6539 37.24 o 26484 37.24 c 6537 37.26 o 26486 37.26 c 6535 37.27 o 26488 37.27 c 6533 37.28 o 26490 37.28 c 6531 37.29 o 26492 37.29 c 6529 37.30 o 26494 37.31 c 6527 37.32 o 26495 37.32 c 6526 37.33 o 26496 37.33 c 6525 37.34 o 26497 37.34 c 6524 37.35 o 26498 37.35 c 6523 37.36 o 26499 37.36 c 6522 37.43 o 26500 37.43 c 6521 37.44 o 26504 37.44 c 6517 37.45 o 26506 37.45 c 6515 37.46 o 26509 37.46 c 6512 37.47 o 26515 37.47 c 6506 37.48 o 26517 37.48 c 6504 37.51 o 26523 37.51 c 6498 37.52 o 26526 37.52 c 6495 37.53 o 26529 37.53 c 6492 37.54 o 26535 37.54 c 6486 37.55 o 26536 37.55 c 6485 37.57 o 26537 37.57 c 6484 37.58 o 26538 37.58 c 6483 37.59 o 26544 37.59 c 6477 37.60 o 26548 37.60 c 6473 37.62 o 26552 37.62 c 6469 37.63 o 26554 37.63 c 6467 37.64 o 26559 37.64 c 6462 37.65 o 26560 37.65 c 6461 37.66 o 26561 37.66 c 6460 37.67 o 26563 37.67 c 6458 37.68 o 26565 37.68 c 6456 37.69 o 26566 37.69 c 6455 37.70 o 26567 37.70 c 6454 37.72 o 26572 37.72 c 6449 37.73 o 26577 37.73 c 6444 37.74 o 26579 37.74 c 6442 37.75 o 26582 37.75 c 6439 37.76 o 26585 37.76 c 6436 37.77 o 26587 37.77 c 6434 37.79 o 26593 37.79 c 6428 37.80 o 26594 37.80 c 6427 37.81 o 26599 37.81 c 6422 37.83 o 26604 37.83 c 6417 37.84 o 26607 37.84 c 6414 37.85 o 26611 37.85 c 6410 37.86 o 26614 37.86 c 6407 37.88 o 26615 37.88 c 6406 37.90 o 26618 37.90 c 6403 37.92 o 26624 37.92 c 6397 37.94 o 26629 37.94 c 6392 37.95 o 26632 37.95 c 6389 37.97 o 26634 37.97 c 6387 37.99 o 26637 37.99 c 6384 38.00 o 26639 38.00 c 6382 38.03 o 26645 38.03 c 6376 38.05 o 26651 38.05 c 6370 38.08 o 26657 38.08 c 6364 38.10 o 26663 38.10 c 6358 38.13 o 26669 38.13 c 6352 38.16 o 26675 38.16 c 6346 38.19 o 26678 38.19 c 6343 38.22 o 26683 38.22 c 6338 38.25 o 26688 38.25 c 6333 38.28 o 26693 38.28 c 6328 38.30 o 26698 38.30 c 6323 38.33 o 26703 38.33 c 6318 38.36 o 26708 38.36 c 6313 38.38 o 26713 38.38 c 6308 38.41 o 26718 38.41 c 6303 38.44 o 26723 38.44 c 6298 38.46 o 26727 38.46 c 6294 38.48 o 26732 38.48 c 6289 38.51 o 26737 38.51 c 6284 38.53 o 26742 38.53 c 6279 38.56 o 26746 38.56 c 6275 38.59 o 26750 38.59 c 6271 38.61 o 26756 38.61 c 6265 38.64 o 26760 38.64 c 6261 38.66 o 26764 38.66 c 6257 38.69 o 26768 38.69 c 6253 38.71 o 26772 38.71 c 6249 38.74 o 26776 38.74 c 6245 38.76 o 26780 38.76 c 6241 38.79 o 26783 38.79 c 6238 38.80 o 26787 38.80 c 6234 38.83 o 26791 38.83 c 6230 38.86 o 26796 38.86 c 6225 38.88 o 26799 38.88 c 6222 38.90 o 26802 38.90 c 6219 38.93 o 26805 38.93 c 6216 38.95 o 26808 38.95 c 6213 38.97 o 26816 38.97 c 6205 39.00 o 26819 39.00 c 6202 39.02 o 26822 39.02 c 6199 39.04 o 26825 39.04 c 6196 39.06 o 26828 39.06 c 6193 39.08 o 26831 39.08 c 6190 39.10 o 26834 39.10 c 6187 39.12 o 26837 39.12 c 6184 39.14 o 26840 39.14 c 6181 39.16 o 26842 39.16 c 6179 39.18 o 26844 39.18 c 6177 39.19 o 26852 39.19 c 6169 39.21 o 26854 39.21 c 6167 39.23 o 26856 39.23 c 6165 39.24 o 26858 39.25 c 6163 39.26 o 26860 39.26 c 6161 39.28 o 26862 39.28 c 6159 39.30 o 26869 39.30 c 6152 39.32 o 26871 39.32 c 6150 39.33 o 26873 39.33 c 6148 39.35 o 26875 39.35 c 6146 39.36 o 26877 39.36 c 6144 39.38 o 26879 39.38 c 6142 39.39 o 26880 39.39 c 6141 39.41 o 26881 39.41 c 6140 39.43 o 26882 39.43 c 6139 39.44 o 26883 39.44 c 6138 39.45 o 26884 39.45 c 6137 39.47 o 26885 39.47 c 6136 39.48 o 26886 39.48 c 6135 39.49 o 26887 39.49 c 6134 39.50 o 26888 39.50 c 6133 39.52 o 26889 39.52 c 6132 39.57 o 26893 39.57 c 6128 39.61 o 26898 39.61 c 6123 39.63 o 26900 39.63 c 6121 39.65 o 26903 39.65 c 6118 39.66 o 26908 39.66 c 6113 39.68 o 26911 39.68 c 6110 39.69 o 26913 39.69 c 6108 39.70 o 26914 39.70 c 6107 39.72 o 26920 39.72 c 6101 39.73 o 26924 39.73 c 6097 39.74 o 26926 39.74 c 6095 39.75 o 26928 39.75 c 6093 39.76 o 26931 39.76 c 6090 39.77 o 26933 39.77 c 6088 39.80 o 26934 39.80 c 6087 39.81 o 26937 39.81 c 6084 39.82 o 26938 39.82 c 6083 39.84 o 26944 39.84 c 6077 39.85 o 26947 39.85 c 6074 39.86 o 26951 39.86 c 6070 39.88 o 26953 39.88 c 6068 39.89 o 26958 39.89 c 6063 39.91 o 26963 39.91 c 6058 39.93 o 26968 39.93 c 6053 39.94 o 26969 39.94 c 6052 39.96 o 26971 39.96 c 6050 39.97 o 26978 39.97 c 6043 39.99 o 26983 39.99 c 6038 40.00 o 26985 40.00 c 6036 40.01 o 26988 40.01 c 6033 40.03 o 26991 40.03 c 6030 40.04 o 26997 40.04 c 6024 40.05 o 26999 40.05 c 6022 40.06 o 27003 40.06 c 6018 40.08 o 27006 40.08 c 6015 40.09 o 27009 40.09 c 6012 40.10 o 27011 40.11 c 6010 40.12 o 27016 40.12 c 6005 40.14 o 27020 40.14 c 6001 40.16 o 27021 40.16 c 6000 40.18 o 27024 40.18 c 5997 40.19 o 27030 40.19 c 5991 40.21 o 27033 40.21 c 5988 40.22 o 27035 40.22 c 5986 40.23 o 27038 40.23 c 5983 40.25 o 27039 40.25 c 5982 40.26 o 27040 40.26 c 5981 40.27 o 27046 40.27 c 5975 40.29 o 27049 40.29 c 5972 40.31 o 27055 40.31 c 5966 40.33 o 27060 40.33 c 5961 40.34 o 27063 40.34 c 5958 40.35 o 27067 40.35 c 5954 40.36 o 27071 40.36 c 5950 40.40 o 27072 40.40 c 5949 40.41 o 27074 40.41 c 5947 40.42 o 27077 40.42 c 5944 40.44 o 27080 40.44 c 5941 40.45 o 27083 40.45 c 5938 40.47 o 27086 40.47 c 5935 40.48 o 27089 40.48 c 5932 40.50 o 27092 40.50 c 5929 40.51 o 27095 40.51 c 5926 40.52 o 27099 40.52 c 5922 40.56 o 27100 40.56 c 5921 40.58 o 27101 40.58 c 5920 40.59 o 27104 40.59 c 5917 40.61 o 27106 40.61 c 5915 40.63 o 27110 40.63 c 5911 40.64 o 27114 40.64 c 5907 40.66 o 27116 40.66 c 5905 40.68 o 27118 40.68 c 5903 40.70 o 27120 40.70 c 5901 40.73 o 27122 40.73 c 5899 40.74 o 27126 40.74 c 5895 40.76 o 27129 40.76 c 5892 40.79 o 27135 40.79 c 5886 40.81 o 27141 40.81 c 5880 40.84 o 27146 40.84 c 5875 40.86 o 27151 40.86 c 5870 40.89 o 27156 40.89 c 5865 40.92 o 27158 40.92 c 5863 40.94 o 27163 40.94 c 5858 40.97 o 27168 40.97 c 5853 40.99 o 27173 40.99 c 5848 41.02 o 27178 41.02 c 5843 41.05 o 27183 41.05 c 5838 41.07 o 27186 41.07 c 5835 41.09 o 27192 41.09 c 5829 41.12 o 27193 41.12 c 5828 41.15 o 27197 41.15 c 5824 41.18 o 27201 41.18 c 5820 41.21 o 27205 41.21 c 5816 41.23 o 27209 41.23 c 5812 41.26 o 27213 41.26 c 5808 41.29 o 27217 41.29 c 5804 41.31 o 27221 41.31 c 5800 41.34 o 27225 41.34 c 5796 41.37 o 27227 41.37 c 5794 41.40 o 27231 41.40 c 5790 41.42 o 27232 41.42 c 5789 41.45 o 27236 41.45 c 5785 41.47 o 27240 41.47 c 5781 41.50 o 27244 41.50 c 5777 41.52 o 27248 41.52 c 5773 41.54 o 27250 41.54 c 5771 41.57 o 27254 41.57 c 5767 41.59 o 27257 41.59 c 5764 41.62 o 27260 41.62 c 5761 41.64 o 27263 41.64 c 5758 41.67 o 27266 41.67 c 5755 41.69 o 27270 41.69 c 5751 41.71 o 27271 41.71 c 5750 41.73 o 27274 41.73 c 5747 41.76 o 27277 41.76 c 5744 41.78 o 27281 41.78 c 5740 41.80 o 27284 41.80 c 5737 41.83 o 27287 41.83 c 5734 41.84 o 27288 41.84 c 5733 41.87 o 27291 41.87 c 5730 41.89 o 27293 41.89 c 5728 41.91 o 27295 41.91 c 5726 41.94 o 27297 41.94 c 5724 41.96 o 27299 41.96 c 5722 41.98 o 27301 41.98 c 5720 42.00 o 27307 42.00 c 5714 42.02 o 27309 42.02 c 5712 42.03 o 27311 42.03 c 5710 42.05 o 27313 42.05 c 5708 42.07 o 27315 42.07 c 5706 42.09 o 27317 42.09 c 5704 42.11 o 27319 42.11 c 5702 42.13 o 27321 42.13 c 5700 42.14 o 27325 42.14 c 5696 42.16 o 27331 42.16 c 5690 42.17 o 27333 42.17 c 5688 42.22 o 27338 42.22 c 5683 42.24 o 27339 42.24 c 5682 42.26 o 27340 42.26 c 5681 42.27 o 27341 42.27 c 5680 42.28 o 27342 42.28 c 5679 42.30 o 27343 42.30 c 5678 42.31 o 27344 42.31 c 5677 42.33 o 27345 42.33 c 5676 42.34 o 27346 42.34 c 5675 42.37 o 27349 42.37 c 5672 42.42 o 27354 42.42 c 5667 42.49 o 27356 42.49 c 5665 42.50 o 27359 42.50 c 5662 42.51 o 27360 42.51 c 5661 42.53 o 27361 42.53 c 5660 42.54 o 27364 42.54 c 5657 42.55 o 27365 42.55 c 5656 42.56 o 27370 42.56 c 5651 42.59 o 27374 42.59 c 5647 42.60 o 27376 42.60 c 5645 42.62 o 27378 42.62 c 5643 42.63 o 27383 42.63 c 5638 42.65 o 27388 42.65 c 5633 42.66 o 27391 42.66 c 5630 42.68 o 27392 42.68 c 5629 42.69 o 27398 42.69 c 5623 42.71 o 27400 42.71 c 5621 42.72 o 27403 42.72 c 5618 42.73 o 27406 42.73 c 5615 42.76 o 27408 42.76 c 5613 42.77 o 27413 42.77 c 5608 42.79 o 27417 42.79 c 5604 42.81 o 27420 42.81 c 5601 42.82 o 27421 42.82 c 5600 42.83 o 27426 42.84 c 5595 42.85 o 27430 42.85 c 5591 42.86 o 27433 42.86 c 5588 42.87 o 27434 42.87 c 5587 42.89 o 27435 42.89 c 5586 42.90 o 27440 42.90 c 5581 42.92 o 27442 42.92 c 5579 42.93 o 27444 42.93 c 5577 42.95 o 27447 42.95 c 5574 42.96 o 27450 42.96 c 5571 42.98 o 27452 42.98 c 5569 42.99 o 27453 42.99 c 5568 43.00 o 27455 43.00 c 5566 43.02 o 27458 43.02 c 5563 43.04 o 27460 43.04 c 5561 43.06 o 27463 43.06 c 5558 43.07 o 27468 43.07 c 5553 43.08 o 27469 43.08 c 5552 43.09 o 27472 43.09 c 5549 43.11 o 27475 43.11 c 5546 43.12 o 27479 43.12 c 5542 43.13 o 27480 43.13 c 5541 43.15 o 27481 43.15 c 5540 43.16 o 27484 43.16 c 5537 43.17 o 27488 43.17 c 5533 43.19 o 27489 43.19 c 5532 43.20 o 27492 43.20 c 5529 43.22 o 27495 43.22 c 5526 43.23 o 27500 43.23 c 5521 43.25 o 27503 43.25 c 5518 43.26 o 27505 43.26 c 5516 43.27 o 27506 43.27 c 5515 43.29 o 27509 43.29 c 5512 43.31 o 27515 43.31 c 5506 43.32 o 27521 43.32 c 5500 43.34 o 27525 43.34 c 5496 43.39 o 27527 43.39 c 5494 43.44 o 27531 43.44 c 5490 43.45 o 27533 43.45 c 5488 43.47 o 27537 43.47 c 5484 43.48 o 27539 43.48 c 5482 43.50 o 27541 43.50 c 5480 43.52 o 27544 43.52 c 5477 43.53 o 27549 43.53 c 5472 43.55 o 27555 43.55 c 5466 43.56 o 27559 43.56 c 5462 43.58 o 27562 43.58 c 5459 43.60 o 27565 43.60 c 5456 43.61 o 27568 43.61 c 5453 43.63 o 27571 43.63 c 5450 43.65 o 27575 43.65 c 5446 43.67 o 27578 43.67 c 5443 43.69 o 27582 43.69 c 5439 43.70 o 27587 43.70 c 5434 43.72 o 27591 43.72 c 5430 43.76 o 27592 43.76 c 5429 43.78 o 27597 43.78 c 5424 43.80 o 27601 43.80 c 5420 43.82 o 27603 43.82 c 5418 43.84 o 27608 43.84 c 5413 43.85 o 27610 43.85 c 5411 43.87 o 27612 43.87 c 5409 43.89 o 27615 43.89 c 5406 43.91 o 27616 43.91 c 5405 43.93 o 27618 43.93 c 5403 43.97 o 27620 43.97 c 5401 43.99 o 27625 43.99 c 5396 44.01 o 27627 44.01 c 5394 44.03 o 27632 44.03 c 5389 44.05 o 27634 44.05 c 5387 44.07 o 27636 44.07 c 5385 44.09 o 27641 44.09 c 5380 44.12 o 27643 44.12 c 5378 44.14 o 27644 44.14 c 5377 44.16 o 27647 44.16 c 5374 44.17 o 27651 44.17 c 5370 44.19 o 27654 44.19 c 5367 44.21 o 27656 44.21 c 5365 44.22 o 27659 44.22 c 5362 44.25 o 27664 44.25 c 5357 44.27 o 27668 44.27 c 5353 44.29 o 27669 44.29 c 5352 44.32 o 27671 44.32 c 5350 44.34 o 27677 44.34 c 5344 44.39 o 27680 44.39 c 5341 44.40 o 27685 44.41 c 5336 44.42 o 27691 44.42 c 5330 44.44 o 27696 44.44 c 5325 44.47 o 27699 44.47 c 5322 44.49 o 27704 44.49 c 5317 44.51 o 27709 44.51 c 5312 44.52 o 27712 44.52 c 5309 44.54 o 27713 44.54 c 5308 44.56 o 27714 44.56 c 5307 44.59 o 27720 44.59 c 5301 44.61 o 27724 44.61 c 5297 44.62 o 27729 44.62 c 5292 44.64 o 27730 44.64 c 5291 44.66 o 27732 44.66 c 5289 44.68 o 27735 44.68 c 5286 44.69 o 27736 44.69 c 5285 44.71 o 27739 44.71 c 5282 44.77 o 27740 44.77 c 5281 44.82 o 27742 44.82 c 5279 44.86 o 27747 44.86 c 5274 44.88 o 27750 44.88 c 5271 44.90 o 27753 44.90 c 5268 44.93 o 27755 44.93 c 5266 44.95 o 27759 44.95 c 5262 44.97 o 27761 44.97 c 5260 45.02 o 27762 45.02 c 5259 45.04 o 27766 45.04 c 5255 45.09 o 27771 45.09 c 5250 45.12 o 27776 45.12 c 5245 45.15 o 27780 45.15 c 5241 45.18 o 27784 45.18 c 5237 45.21 o 27788 45.21 c 5233 45.24 o 27792 45.24 c 5229 45.27 o 27796 45.27 c 5225 45.30 o 27800 45.30 c 5221 45.33 o 27804 45.33 c 5217 45.36 o 27807 45.36 c 5214 45.42 o 27810 45.42 c 5211 45.46 o 27813 45.46 c 5208 45.49 o 27816 45.49 c 5205 45.52 o 27819 45.53 c 5202 45.55 o 27822 45.55 c 5199 45.57 o 27823 45.57 c 5198 45.60 o 27827 45.60 c 5194 45.62 o 27829 45.62 c 5192 45.65 o 27831 45.65 c 5190 45.68 o 27834 45.68 c 5187 45.71 o 27837 45.71 c 5184 45.74 o 27840 45.74 c 5181 45.77 o 27843 45.77 c 5178 45.80 o 27846 45.80 c 5175 45.83 o 27848 45.84 c 5173 45.87 o 27850 45.87 c 5171 45.89 o 27853 45.89 c 5168 45.92 o 27855 45.92 c 5166 45.95 o 27857 45.95 c 5164 45.98 o 27859 45.98 c 5162 46.01 o 27861 46.01 c 5160 46.04 o 27865 46.04 c 5156 46.07 o 27867 46.07 c 5154 46.10 o 27869 46.10 c 5152 46.13 o 27871 46.13 c 5150 46.16 o 27873 46.16 c 5148 46.19 o 27875 46.19 c 5146 46.22 o 27877 46.22 c 5144 46.24 o 27879 46.24 c 5142 46.27 o 27881 46.27 c 5140 46.30 o 27883 46.30 c 5138 46.33 o 27885 46.33 c 5136 46.35 o 27887 46.35 c 5134 46.38 o 27889 46.38 c 5132 46.41 o 27890 46.41 c 5131 46.43 o 27894 46.43 c 5127 46.46 o 27895 46.46 c 5126 46.49 o 27896 46.49 c 5125 46.51 o 27897 46.51 c 5124 46.54 o 27898 46.54 c 5123 46.56 o 27899 46.56 c 5122 46.59 o 27900 46.59 c 5121 46.61 o 27901 46.61 c 5120 46.64 o 27902 46.64 c 5119 46.66 o 27904 46.66 c 5117 46.69 o 27905 46.69 c 5116 46.71 o 27906 46.71 c 5115 46.73 o 27907 46.73 c 5114 46.76 o 27908 46.76 c 5113 46.78 o 27912 46.78 c 5109 46.81 o 27913 46.81 c 5108 46.95 o 27915 46.95 c 5106 47.02 o 27916 47.02 c 5105 47.07 o 27920 47.07 c 5101 47.11 o 27922 47.11 c 5099 47.13 o 27925 47.13 c 5096 47.15 o 27928 47.15 c 5093 47.16 o 27930 47.16 c 5091 47.19 o 27935 47.19 c 5086 47.26 o 27939 47.26 c 5082 47.28 o 27941 47.28 c 5080 47.30 o 27946 47.30 c 5075 47.31 o 27948 47.31 c 5073 47.33 o 27953 47.33 c 5068 47.35 o 27956 47.35 c 5065 47.37 o 27962 47.37 c 5059 47.38 o 27965 47.38 c 5056 47.40 o 27966 47.40 c 5055 47.42 o 27969 47.42 c 5052 47.44 o 27972 47.44 c 5049 47.45 o 27973 47.45 c 5048 47.47 o 27976 47.47 c 5045 47.49 o 27979 47.49 c 5042 47.51 o 27980 47.51 c 5041 47.53 o 27982 47.53 c 5039 47.55 o 27987 47.55 c 5034 47.57 o 27990 47.57 c 5031 47.59 o 27995 47.59 c 5026 47.61 o 27996 47.61 c 5025 47.63 o 27999 47.63 c 5022 47.65 o 28002 47.65 c 5019 47.67 o 28004 47.67 c 5017 47.69 o 28009 47.69 c 5012 47.71 o 28013 47.71 c 5008 47.75 o 28014 47.75 c 5007 47.77 o 28017 47.77 c 5004 47.79 o 28021 47.79 c 5000 47.82 o 28024 47.82 c 4997 47.90 o 28025 47.90 c 4996 47.93 o 28028 47.93 c 4993 47.95 o 28030 47.95 c 4991 47.97 o 28035 47.97 c 4986 47.99 o 28038 47.99 c 4983 48.02 o 28039 48.02 c 4982 48.04 o 28041 48.04 c 4980 48.08 o 28046 48.08 c 4975 48.10 o 28051 48.10 c 4970 48.14 o 28055 48.14 c 4966 48.17 o 28057 48.17 c 4964 48.21 o 28058 48.21 c 4963 48.26 o 28059 48.26 c 4962 48.28 o 28060 48.28 c 4961 48.31 o 28063 48.31 c 4958 48.33 o 28067 48.33 c 4954 48.35 o 28070 48.35 c 4951 48.40 o 28071 48.40 c 4950 48.42 o 28074 48.42 c 4947 48.44 o 28078 48.44 c 4943 48.46 o 28081 48.46 c 4940 48.50 o 28083 48.50 c 4938 48.52 o 28085 48.52 c 4936 48.54 o 28086 48.54 c 4935 48.57 o 28088 48.57 c 4933 48.59 o 28089 48.59 c 4932 48.61 o 28090 48.61 c 4931 48.63 o 28091 48.63 c 4930 48.65 o 28092 48.65 c 4929 48.67 o 28096 48.67 c 4925 48.72 o 28097 48.72 c 4924 48.75 o 28098 48.75 c 4923 48.79 o 28102 48.79 c 4919 48.84 o 28105 48.84 c 4916 48.86 o 28110 48.86 c 4911 48.88 o 28112 48.88 c 4909 48.90 o 28113 48.90 c 4908 48.92 o 28116 48.92 c 4905 48.95 o 28118 48.95 c 4903 49.07 o 28119 49.07 c 4902 49.11 o 28121 49.11 c 4900 49.12 o 28123 49.12 c 4898 49.15 o 28125 49.15 c 4896 49.16 o 28127 49.16 c 4894 49.20 o 28129 49.20 c 4892 49.22 o 28133 49.22 c 4888 49.24 o 28134 49.24 c 4887 49.26 o 28138 49.26 c 4883 49.28 o 28139 49.28 c 4882 49.30 o 28142 49.30 c 4879 49.32 o 28146 49.32 c 4875 49.34 o 28148 49.34 c 4873 49.38 o 28150 49.38 c 4871 49.40 o 28154 49.40 c 4867 49.50 o 28156 49.50 c 4865 49.52 o 28157 49.52 c 4864 49.55 o 28158 49.55 c 4863 49.57 o 28161 49.57 c 4860 49.59 o 28162 49.59 c 4859 49.61 o 28163 49.61 c 4858 49.65 o 28165 49.65 c 4856 49.67 o 28167 49.67 c 4854 49.69 o 28168 49.69 c 4853 49.72 o 28172 49.72 c 4849 49.74 o 28174 49.74 c 4847 49.78 o 28175 49.78 c 4846 49.83 o 28176 49.83 c 4845 49.85 o 28178 49.85 c 4843 49.88 o 28183 49.88 c 4838 49.90 o 28186 49.90 c 4835 49.92 o 28187 49.92 c 4834 49.95 o 28188 49.95 c 4833 49.97 o 28191 49.97 c 4830 50.00 o 28194 50.00 c 4827 50.02 o 28197 50.02 c 4824 50.05 o 28201 50.05 c 4820 50.07 o 28202 50.07 c 4819 50.10 o 28205 50.10 c 4816 50.13 o 28208 50.13 c 4813 50.18 o 28210 50.18 c 4811 50.20 o 28212 50.20 c 4809 50.23 o 28213 50.23 c 4808 50.28 o 28215 50.28 c 4806 50.30 o 28218 50.30 c 4803 50.38 o 28219 50.38 c 4802 50.41 o 28220 50.41 c 4801 50.44 o 28221 50.44 c 4800 50.46 o 28224 50.46 c 4797 50.53 o 28227 50.53 c 4794 50.56 o 28233 50.56 c 4788 50.59 o 28237 50.59 c 4784 50.61 o 28240 50.61 c 4781 50.64 o 28242 50.64 c 4779 50.66 o 28245 50.66 c 4776 50.74 o 28247 50.74 c 4774 50.77 o 28249 50.77 c 4772 50.79 o 28251 50.79 c 4770 50.82 o 28252 50.82 c 4769 50.85 o 28255 50.85 c 4766 50.87 o 28257 50.87 c 4764 50.90 o 28259 50.90 c 4762 51.07 o 28260 51.07 c 4761 51.10 o 28261 51.10 c 4760 51.13 o 28265 51.13 c 4756 51.16 o 28268 51.16 c 4753 51.18 o 28271 51.18 c 4750 51.21 o 28275 51.21 c 4746 51.24 o 28276 51.24 c 4745 51.29 o 28279 51.29 c 4742 51.35 o 28280 51.35 c 4741 51.37 o 28281 51.37 c 4740 51.43 o 28283 51.43 c 4738 51.48 o 28284 51.48 c 4737 51.51 o 28285 51.51 c 4736 51.56 o 28288 51.56 c 4733 51.59 o 28289 51.59 c 4732 51.62 o 28290 51.62 c 4731 51.65 o 28293 51.65 c 4728 51.76 o 28294 51.76 c 4727 51.78 o 28298 51.78 c 4723 51.82 o 28299 51.82 c 4722 51.95 o 28301 51.95 c 4720 51.98 o 28302 51.98 c 4719 52.01 o 28304 52.01 c 4717 52.04 o 28307 52.04 c 4714 52.07 o 28311 52.07 c 4710 52.10 o 28313 52.10 c 4708 52.13 o 28317 52.13 c 4704 52.16 o 28319 52.16 c 4702 52.20 o 28323 52.20 c 4698 52.26 o 28324 52.26 c 4697 52.29 o 28327 52.29 c 4694 52.33 o 28331 52.33 c 4690 52.36 o 28334 52.36 c 4687 52.40 o 28338 52.40 c 4683 52.44 o 28341 52.44 c 4680 52.47 o 28343 52.47 c 4678 52.51 o 28346 52.51 c 4675 52.54 o 28348 52.54 c 4673 52.58 o 28351 52.58 c 4670 52.61 o 28353 52.61 c 4668 52.65 o 28355 52.65 c 4666 52.69 o 28357 52.69 c 4664 52.72 o 28360 52.72 c 4661 52.76 o 28362 52.76 c 4659 52.79 o 28365 52.79 c 4656 52.83 o 28367 52.83 c 4654 52.86 o 28369 52.86 c 4652 52.90 o 28370 52.90 c 4651 52.93 o 28372 52.93 c 4649 52.97 o 28374 52.97 c 4647 53.00 o 28376 53.00 c 4645 53.04 o 28378 53.04 c 4643 53.07 o 28380 53.07 c 4641 53.11 o 28382 53.11 c 4639 53.14 o 28383 53.14 c 4638 53.18 o 28384 53.18 c 4637 53.21 o 28385 53.21 c 4636 53.25 o 28386 53.25 c 4635 53.28 o 28387 53.28 c 4634 53.31 o 28388 53.31 c 4633 53.34 o 28389 53.34 c 4632 53.40 o 28390 53.40 c 4631 53.43 o 28391 53.43 c 4630 53.46 o 28392 53.46 c 4629 53.50 o 28393 53.50 c 4628 53.59 o 28395 53.59 c 4626 53.62 o 28396 53.62 c 4625 53.76 o 28397 53.76 c 4624 53.81 o 28398 53.81 c 4623 53.87 o 28402 53.87 c 4619 54.04 o 28405 54.04 c 4616 54.13 o 28407 54.13 c 4614 54.16 o 28410 54.16 c 4611 54.19 o 28413 54.19 c 4608 54.21 o 28417 54.21 c 4604 54.24 o 28419 54.24 c 4602 54.27 o 28422 54.27 c 4599 54.29 o 28424 54.29 c 4597 54.32 o 28428 54.32 c 4593 54.35 o 28429 54.35 c 4592 54.37 o 28432 54.37 c 4589 54.46 o 28437 54.46 c 4584 54.49 o 28439 54.49 c 4582 54.56 o 28440 54.56 c 4581 54.59 o 28441 54.59 c 4580 54.70 o 28442 54.70 c 4579 54.73 o 28444 54.73 c 4577 54.76 o 28446 54.76 c 4575 54.78 o 28447 54.78 c 4574 54.81 o 28450 54.81 c 4571 54.84 o 28451 54.84 c 4570 54.87 o 28456 54.87 c 4565 54.89 o 28459 54.89 c 4562 54.92 o 28463 54.92 c 4558 54.95 o 28464 54.95 c 4557 54.97 o 28467 54.97 c 4554 55.00 o 28468 55.00 c 4553 55.03 o 28470 55.03 c 4551 55.05 o 28474 55.05 c 4547 55.08 o 28477 55.08 c 4544 55.23 o 28478 55.23 c 4543 55.26 o 28479 55.26 c 4542 55.28 o 28482 55.28 c 4539 55.39 o 28483 55.39 c 4538 55.42 o 28488 55.42 c 4533 55.44 o 28489 55.44 c 4532 55.47 o 28492 55.47 c 4529 55.50 o 28493 55.50 c 4528 55.57 o 28495 55.57 c 4526 55.65 o 28500 55.65 c 4521 55.68 o 28502 55.68 c 4519 55.70 o 28507 55.70 c 4514 55.72 o 28511 55.72 c 4510 55.80 o 28512 55.80 c 4509 55.86 o 28513 55.86 c 4508 56.01 o 28516 56.01 c 4505 56.05 o 28519 56.05 c 4502 56.11 o 28520 56.11 c 4501 56.23 o 28521 56.23 c 4500 56.29 o 28523 56.29 c 4498 56.31 o 28524 56.31 c 4497 56.34 o 28527 56.34 c 4494 56.37 o 28528 56.37 c 4493 56.39 o 28529 56.39 c 4492 56.42 o 28532 56.42 c 4489 56.44 o 28535 56.44 c 4486 56.57 o 28536 56.57 c 4485 56.59 o 28538 56.59 c 4483 56.66 o 28540 56.66 c 4481 56.69 o 28542 56.69 c 4479 56.72 o 28544 56.72 c 4477 56.74 o 28545 56.74 c 4476 56.77 o 28547 56.77 c 4474 56.86 o 28550 56.86 c 4471 57.04 o 28554 57.04 c 4467 57.07 o 28556 57.07 c 4465 57.10 o 28558 57.10 c 4463 57.12 o 28560 57.12 c 4461 57.22 o 28561 57.22 c 4460 57.29 o 28562 57.29 c 4459 57.31 o 28565 57.31 c 4456 57.34 o 28569 57.34 c 4452 57.36 o 28570 57.36 c 4451 57.38 o 28572 57.38 c 4449 57.41 o 28574 57.41 c 4447 57.43 o 28578 57.43 c 4443 57.45 o 28581 57.45 c 4440 57.48 o 28582 57.48 c 4439 57.51 o 28585 57.51 c 4436 57.53 o 28589 57.53 c 4432 57.56 o 28590 57.56 c 4431 57.58 o 28591 57.58 c 4430 57.61 o 28593 57.61 c 4428 57.66 o 28594 57.66 c 4427 57.69 o 28597 57.69 c 4424 57.72 o 28598 57.72 c 4423 57.74 o 28601 57.74 c 4420 57.77 o 28604 57.77 c 4417 57.79 o 28609 57.79 c 4412 57.82 o 28612 57.82 c 4409 57.97 o 28616 57.97 c 4405 58.00 o 28618 58.00 c 4403 58.05 o 28622 58.05 c 4399 58.08 o 28625 58.08 c 4396 58.11 o 28629 58.11 c 4392 58.13 o 28632 58.13 c 4389 58.16 o 28633 58.16 c 4388 58.19 o 28635 58.19 c 4386 58.21 o 28636 58.21 c 4385 58.24 o 28638 58.24 c 4383 58.26 o 28639 58.26 c 4382 58.29 o 28642 58.29 c 4379 58.32 o 28644 58.32 c 4377 58.35 o 28646 58.35 c 4375 58.37 o 28649 58.37 c 4372 58.40 o 28653 58.40 c 4368 58.43 o 28655 58.43 c 4366 58.51 o 28656 58.51 c 4365 58.54 o 28658 58.54 c 4363 58.59 o 28660 58.59 c 4361 58.62 o 28661 58.62 c 4360 58.71 o 28664 58.71 c 4357 58.81 o 28665 58.81 c 4356 58.84 o 28668 58.84 c 4353 58.93 o 28670 58.93 c 4351 58.96 o 28671 58.96 c 4350 58.99 o 28672 58.99 c 4349 59.05 o 28673 59.05 c 4348 59.08 o 28675 59.08 c 4346 59.14 o 28678 59.14 c 4343 59.16 o 28679 59.16 c 4342 59.19 o 28681 59.19 c 4340 59.23 o 28683 59.23 c 4338 59.26 o 28684 59.26 c 4337 59.29 o 28686 59.29 c 4335 59.32 o 28688 59.32 c 4333 59.35 o 28689 59.35 c 4332 59.41 o 28692 59.41 c 4329 59.46 o 28693 59.46 c 4328 59.54 o 28695 59.54 c 4326 59.57 o 28698 59.57 c 4323 59.60 o 28702 59.60 c 4319 59.63 o 28705 59.63 c 4316 59.66 o 28708 59.66 c 4313 59.69 o 28710 59.69 c 4311 59.81 o 28714 59.81 c 4307 59.84 o 28719 59.84 c 4302 59.91 o 28720 59.91 c 4301 59.94 o 28722 59.94 c 4299 59.97 o 28726 59.97 c 4295 60.00 o 28728 60.00 c 4293 60.03 o 28730 60.03 c 4291 60.06 o 28734 60.06 c 4287 60.09 o 28735 60.10 c 4286 60.15 o 28737 60.15 c 4284 60.19 o 28739 60.19 c 4282 60.25 o 28740 60.25 c 4281 60.30 o 28742 60.30 c 4279 60.34 o 28745 60.34 c 4276 60.37 o 28747 60.37 c 4274 60.40 o 28750 60.40 c 4271 60.43 o 28751 60.43 c 4270 60.46 o 28752 60.46 c 4269 60.49 o 28755 60.49 c 4266 60.55 o 28756 60.55 c 4265 60.58 o 28757 60.58 c 4264 60.62 o 28759 60.62 c 4262 60.68 o 28761 60.68 c 4260 60.71 o 28763 60.71 c 4258 60.74 o 28764 60.74 c 4257 60.81 o 28767 60.81 c 4254 60.87 o 28770 60.87 c 4251 61.01 o 28772 61.01 c 4249 61.04 o 28774 61.04 c 4247 61.28 o 28775 61.28 c 4246 61.35 o 28776 61.35 c 4245 61.38 o 28778 61.38 c 4243 61.42 o 28779 61.42 c 4242 61.44 o 28782 61.44 c 4239 61.48 o 28783 61.48 c 4238 61.52 o 28786 61.52 c 4235 61.55 o 28789 61.55 c 4232 61.59 o 28792 61.59 c 4229 61.62 o 28795 61.62 c 4226 61.78 o 28796 61.78 c 4225 61.97 o 28798 61.97 c 4223 62.03 o 28800 62.03 c 4221 62.07 o 28803 62.07 c 4218 62.10 o 28806 62.10 c 4215 62.13 o 28808 62.13 c 4213 62.25 o 28809 62.25 c 4212 62.28 o 28810 62.28 c 4211 62.34 o 28811 62.34 c 4210 62.41 o 28815 62.41 c 4206 62.44 o 28818 62.44 c 4203 62.47 o 28820 62.47 c 4201 62.50 o 28823 62.50 c 4198 62.54 o 28826 62.54 c 4195 62.57 o 28828 62.57 c 4193 62.60 o 28830 62.60 c 4191 62.63 o 28832 62.63 c 4189 62.75 o 28833 62.75 c 4188 62.78 o 28834 62.78 c 4187 62.82 o 28837 62.82 c 4184 62.95 o 28838 62.95 c 4183 62.98 o 28840 62.98 c 4181 63.01 o 28841 63.01 c 4180 63.08 o 28844 63.08 c 4177 63.11 o 28846 63.11 c 4175 63.17 o 28849 63.17 c 4172 63.30 o 28850 63.30 c 4171 63.34 o 28852 63.34 c 4169 63.40 o 28855 63.40 c 4166 63.44 o 28856 63.44 c 4165 63.50 o 28857 63.50 c 4164 63.53 o 28859 63.53 c 4162 63.63 o 28861 63.63 c 4160 63.67 o 28864 63.67 c 4157 63.71 o 28867 63.71 c 4154 63.75 o 28870 63.75 c 4151 63.79 o 28871 63.79 c 4150 63.83 o 28874 63.83 c 4147 63.87 o 28877 63.87 c 4144 63.91 o 28880 63.91 c 4141 63.96 o 28882 63.96 c 4139 64.00 o 28884 64.00 c 4137 64.04 o 28886 64.04 c 4135 64.08 o 28888 64.08 c 4133 64.12 o 28890 64.12 c 4131 64.16 o 28892 64.16 c 4129 64.20 o 28894 64.20 c 4127 64.28 o 28895 64.28 c 4126 64.32 o 28897 64.32 c 4124 64.36 o 28899 64.37 c 4122 64.41 o 28901 64.41 c 4120 64.44 o 28903 64.44 c 4118 64.48 o 28905 64.48 c 4116 64.52 o 28907 64.53 c 4114 64.56 o 28908 64.56 c 4113 64.60 o 28910 64.60 c 4111 64.64 o 28912 64.64 c 4109 64.67 o 28914 64.67 c 4107 64.71 o 28915 64.71 c 4106 64.76 o 28916 64.76 c 4105 64.80 o 28917 64.80 c 4104 64.84 o 28918 64.84 c 4103 64.88 o 28919 64.88 c 4102 64.92 o 28920 64.92 c 4101 64.96 o 28921 64.96 c 4100 65.01 o 28922 65.01 c 4099 65.04 o 28926 65.04 c 4095 65.08 o 28928 65.08 c 4093 65.12 o 28929 65.12 c 4092 65.16 o 28930 65.16 c 4091 65.20 o 28931 65.20 c 4090 65.24 o 28932 65.24 c 4089 65.34 o 28933 65.34 c 4088 65.38 o 28934 65.38 c 4087 65.70 o 28935 65.71 c 4086 65.74 o 28937 65.74 c 4084 65.78 o 28939 65.78 c 4082 65.81 o 28941 65.81 c 4080 65.85 o 28945 65.85 c 4076 65.89 o 28946 65.89 c 4075 65.93 o 28947 65.93 c 4074 66.12 o 28949 66.12 c 4072 66.16 o 28950 66.16 c 4071 66.19 o 28953 66.19 c 4068 66.38 o 28954 66.38 c 4067 66.41 o 28957 66.41 c 4064 66.49 o 28958 66.49 c 4063 66.60 o 28962 66.60 c 4059 66.85 o 28964 66.85 c 4057 66.88 o 28968 66.88 c 4053 66.95 o 28971 66.95 c 4050 66.99 o 28972 66.99 c 4049 67.06 o 28975 67.06 c 4046 67.40 o 28977 67.40 c 4044 67.44 o 28980 67.44 c 4041 67.48 o 28981 67.48 c 4040 67.55 o 28984 67.55 c 4037 67.59 o 28985 67.59 c 4036 67.78 o 28987 67.78 c 4034 67.82 o 28989 67.82 c 4032 68.04 o 28991 68.04 c 4030 68.09 o 28995 68.09 c 4026 68.12 o 28996 68.12 c 4025 68.16 o 28997 68.16 c 4024 68.24 o 29000 68.24 c 4021 68.29 o 29002 68.29 c 4019 68.44 o 29004 68.45 c 4017 68.49 o 29007 68.49 c 4014 68.52 o 29014 68.52 c 4007 68.56 o 29015 68.56 c 4006 68.61 o 29017 68.61 c 4004 68.72 o 29018 68.72 c 4003 68.76 o 29021 68.76 c 4000 68.79 o 29023 68.79 c 3998 68.83 o 29026 68.83 c 3995 69.09 o 29028 69.09 c 3993 69.12 o 29029 69.12 c 3992 69.16 o 29030 69.16 c 3991 69.23 o 29031 69.23 c 3990 69.33 o 29032 69.33 c 3989 69.37 o 29035 69.37 c 3986 69.41 o 29036 69.41 c 3985 69.51 o 29038 69.51 c 3983 69.55 o 29039 69.55 c 3982 69.58 o 29041 69.58 c 3980 69.62 o 29043 69.62 c 3978 69.65 o 29047 69.65 c 3974 69.68 o 29049 69.68 c 3972 69.75 o 29050 69.75 c 3971 69.86 o 29051 69.86 c 3970 69.93 o 29052 69.93 c 3969 70.04 o 29054 70.04 c 3967 70.08 o 29056 70.08 c 3965 70.11 o 29060 70.11 c 3961 70.15 o 29063 70.15 c 3958 70.19 o 29065 70.19 c 3956 70.57 o 29067 70.57 c 3954 70.61 o 29069 70.61 c 3952 70.65 o 29070 70.65 c 3951 70.68 o 29072 70.68 c 3949 70.72 o 29077 70.72 c 3944 70.76 o 29080 70.76 c 3941 70.79 o 29082 70.79 c 3939 70.83 o 29085 70.83 c 3936 70.87 o 29086 70.87 c 3935 70.95 o 29088 70.95 c 3933 70.99 o 29091 70.99 c 3930 71.03 o 29094 71.03 c 3927 71.08 o 29095 71.08 c 3926 71.12 o 29096 71.12 c 3925 71.16 o 29097 71.16 c 3924 71.20 o 29099 71.20 c 3922 71.25 o 29102 71.25 c 3919 71.32 o 29104 71.32 c 3917 71.37 o 29107 71.37 c 3914 71.40 o 29110 71.40 c 3911 71.89 o 29114 71.89 c 3907 71.93 o 29116 71.93 c 3905 71.97 o 29118 71.97 c 3903 72.01 o 29119 72.01 c 3902 72.10 o 29120 72.10 c 3901 72.14 o 29121 72.14 c 3900 72.18 o 29123 72.18 c 3898 72.22 o 29124 72.22 c 3897 72.31 o 29126 72.31 c 3895 72.35 o 29129 72.35 c 3892 72.39 o 29132 72.39 c 3889 72.43 o 29136 72.43 c 3885 72.47 o 29137 72.47 c 3884 72.56 o 29138 72.56 c 3883 72.60 o 29140 72.60 c 3881 72.64 o 29144 72.64 c 3877 72.68 o 29146 72.68 c 3875 72.72 o 29147 72.72 c 3874 72.85 o 29148 72.85 c 3873 72.89 o 29149 72.89 c 3872 72.93 o 29152 72.93 c 3869 73.06 o 29154 73.06 c 3867 73.18 o 29155 73.18 c 3866 73.29 o 29156 73.29 c 3865 73.34 o 29157 73.34 c 3864 73.38 o 29160 73.38 c 3861 73.42 o 29162 73.42 c 3859 73.46 o 29163 73.46 c 3858 73.50 o 29164 73.50 c 3857 73.54 o 29166 73.54 c 3855 73.59 o 29169 73.59 c 3852 73.75 o 29170 73.75 c 3851 73.79 o 29171 73.79 c 3850 73.83 o 29172 73.83 c 3849 73.91 o 29175 73.91 c 3846 73.95 o 29179 73.96 c 3842 74.04 o 29181 74.04 c 3840 74.16 o 29182 74.16 c 3839 74.24 o 29184 74.24 c 3837 74.28 o 29185 74.28 c 3836 74.33 o 29186 74.33 c 3835 74.37 o 29188 74.37 c 3833 74.41 o 29189 74.41 c 3832 74.46 o 29190 74.46 c 3831 74.55 o 29191 74.55 c 3830 74.68 o 29193 74.68 c 3828 74.77 o 29194 74.77 c 3827 74.82 o 29196 74.82 c 3825 74.90 o 29197 74.90 c 3824 75.09 o 29199 75.09 c 3822 75.18 o 29200 75.18 c 3821 75.32 o 29201 75.32 c 3820 75.37 o 29202 75.37 c 3819 75.51 o 29203 75.51 c 3818 75.57 o 29205 75.57 c 3816 75.61 o 29206 75.61 c 3815 75.71 o 29207 75.71 c 3814 75.75 o 29210 75.75 c 3811 75.80 o 29212 75.80 c 3809 75.86 o 29214 75.86 c 3807 75.95 o 29215 75.95 c 3806 76.00 o 29218 76.00 c 3803 76.05 o 29220 76.05 c 3801 76.10 o 29223 76.10 c 3798 76.15 o 29226 76.15 c 3795 76.20 o 29227 76.20 c 3794 76.25 o 29229 76.25 c 3792 76.30 o 29230 76.30 c 3791 76.44 o 29233 76.44 c 3788 76.49 o 29235 76.49 c 3786 76.54 o 29236 76.54 c 3785 76.63 o 29237 76.63 c 3784 76.68 o 29239 76.68 c 3782 77.10 o 29240 77.10 c 3781 77.15 o 29243 77.15 c 3778 77.20 o 29244 77.20 c 3777 77.44 o 29245 77.44 c 3776 77.48 o 29246 77.48 c 3775 77.53 o 29248 77.53 c 3773 77.60 o 29250 77.60 c 3771 77.65 o 29253 77.65 c 3768 77.74 o 29260 77.74 c 3761 77.79 o 29261 77.79 c 3760 77.98 o 29266 77.98 c 3755 78.02 o 29268 78.02 c 3753 78.42 o 29269 78.42 c 3752 78.87 o 29273 78.87 c 3748 78.96 o 29275 78.96 c 3746 79.01 o 29277 79.01 c 3744 79.06 o 29278 79.06 c 3743 79.11 o 29280 79.11 c 3741 79.16 o 29283 79.16 c 3738 79.25 o 29284 79.25 c 3737 79.29 o 29286 79.29 c 3735 79.34 o 29287 79.34 c 3734 79.39 o 29288 79.39 c 3733 79.48 o 29291 79.48 c 3730 79.63 o 29294 79.63 c 3727 79.67 o 29297 79.67 c 3724 80.23 o 29300 80.23 c 3721 80.28 o 29301 80.28 c 3720 80.33 o 29302 80.33 c 3719 80.38 o 29304 80.38 c 3717 80.43 o 29306 80.43 c 3715 80.48 o 29307 80.48 c 3714 80.59 o 29308 80.59 c 3713 80.83 o 29309 80.83 c 3712 80.93 o 29310 80.93 c 3711 81.12 o 29313 81.13 c 3708 81.17 o 29316 81.17 c 3705 81.23 o 29318 81.23 c 3703 81.48 o 29320 81.48 c 3701 81.53 o 29321 81.53 c 3700 81.59 o 29322 81.59 c 3699 81.64 o 29323 81.64 c 3698 81.69 o 29325 81.69 c 3696 81.74 o 29326 81.74 c 3695 81.84 o 29327 81.84 c 3694 81.90 o 29329 81.90 c 3692 81.95 o 29330 81.95 c 3691 82.01 o 29331 82.01 c 3690 82.11 o 29333 82.11 c 3688 82.22 o 29334 82.22 c 3687 82.27 o 29335 82.27 c 3686 82.58 o 29337 82.58 c 3684 82.68 o 29339 82.68 c 3682 82.74 o 29342 82.74 c 3679 82.79 o 29345 82.79 c 3676 82.84 o 29347 82.84 c 3674 82.90 o 29348 82.90 c 3673 83.05 o 29349 83.05 c 3672 83.25 o 29351 83.25 c 3670 83.86 o 29352 83.86 c 3669 84.02 o 29353 84.02 c 3668 85.65 o 29356 85.65 c 3665 85.76 o 29359 85.76 c 3662 85.93 o 29361 85.93 c 3660 86.44 o 29365 86.44 c 3656 86.50 o 29366 86.50 c 3655 86.62 o 29370 86.62 c 3651 86.68 o 29372 86.68 c 3649 87.60 o 29373 87.60 c 3648 87.66 o 29375 87.66 c 3646 87.71 o 29377 87.71 c 3644 87.77 o 29378 87.77 c 3643 87.88 o 29379 87.88 c 3642 87.94 o 29381 87.94 c 3640 87.99 o 29384 87.99 c 3637 88.05 o 29386 88.05 c 3635 88.10 o 29387 88.10 c 3634 88.16 o 29388 88.16 c 3633 88.21 o 29389 88.21 c 3632 88.27 o 29390 88.27 c 3631 88.33 o 29392 88.33 c 3629 88.49 o 29393 88.49 c 3628 88.54 o 29394 88.54 c 3627 88.60 o 29396 88.60 c 3625 88.71 o 29397 88.71 c 3624 88.87 o 29399 88.87 c 3622 88.93 o 29400 88.93 c 3621 89.49 o 29401 89.49 c 3620 89.55 o 29402 89.55 c 3619 89.73 o 29404 89.73 c 3617 89.79 o 29407 89.79 c 3614 89.85 o 29409 89.85 c 3612 89.91 o 29410 89.91 c 3611 90.01 o 29411 90.01 c 3610 90.36 o 29413 90.36 c 3608 90.43 o 29415 90.43 c 3606 90.49 o 29417 90.49 c 3604 90.55 o 29418 90.55 c 3603 90.62 o 29419 90.62 c 3602 90.68 o 29420 90.68 c 3601 90.74 o 29421 90.74 c 3600 90.81 o 29422 90.81 c 3599 90.85 o 29425 90.85 c 3596 90.91 o 29426 90.91 c 3595 90.98 o 29427 90.98 c 3594 91.04 o 29428 91.04 c 3593 91.10 o 29429 91.10 c 3592 91.16 o 29430 91.16 c 3591 91.29 o 29431 91.29 c 3590 91.35 o 29432 91.35 c 3589 91.83 o 29435 91.83 c 3586 91.94 o 29437 91.94 c 3584 92.18 o 29438 92.18 c 3583 92.47 o 29439 92.47 c 3582 92.59 o 29441 92.59 c 3580 94.14 o 29443 94.14 c 3578 94.20 o 29444 94.20 c 3577 94.26 o 29446 94.26 c 3575 94.32 o 29449 94.32 c 3572 94.95 o 29450 94.95 c 3571 95.00 o 29451 95.00 c 3570 95.06 o 29455 95.06 c 3566 95.11 o 29456 95.11 c 3565 95.17 o 29457 95.17 c 3564 95.22 o 29458 95.22 c 3563 95.45 o 29459 95.45 c 3562 95.57 o 29460 95.57 c 3561 95.62 o 29462 95.62 c 3559 95.68 o 29464 95.68 c 3557 95.73 o 29465 95.73 c 3556 95.79 o 29467 95.79 c 3554 95.90 o 29469 95.90 c 3552 95.96 o 29472 95.96 c 3549 96.01 o 29474 96.01 c 3547 96.52 o 29477 96.52 c 3544 96.57 o 29479 96.57 c 3542 96.63 o 29483 96.63 c 3538 96.69 o 29485 96.69 c 3536 96.75 o 29489 96.75 c 3532 96.80 o 29491 96.80 c 3530 96.86 o 29493 96.86 c 3528 96.92 o 29495 96.92 c 3526 96.99 o 29497 96.99 c 3524 97.22 o 29499 97.22 c 3522 97.33 o 29500 97.33 c 3521 97.63 o 29501 97.63 c 3520 97.68 o 29502 97.68 c 3519 97.86 o 29503 97.86 c 3518 97.92 o 29505 97.92 c 3516 97.98 o 29509 97.98 c 3512 98.04 o 29510 98.04 c 3511 98.15 o 29513 98.15 c 3508 98.20 o 29515 98.20 c 3506 98.53 o 29516 98.53 c 3505 98.84 o 29519 98.84 c 3502 98.89 o 29522 98.90 c 3499 99.00 o 29525 99.00 c 3496 99.05 o 29527 99.05 c 3494 99.11 o 29528 99.11 c 3493 99.16 o 29530 99.16 c 3491 99.22 o 29532 99.22 c 3489 99.27 o 29533 99.27 c 3488 99.33 o 29539 99.33 c 3482 99.42 o 29540 99.42 c 3481 99.53 o 29541 99.53 c 3480 100.27 o 29542 100.28 c 3479 100.33 o 29543 100.33 c 3478 100.39 o 29545 100.39 c 3476 100.65 o 29546 100.65 c 3475 100.86 o 29548 100.86 c 3473 100.91 o 29549 100.91 c 3472 101.12 o 29550 101.12 c 3471 101.77 o 29551 101.77 c 3470 101.92 o 29552 101.92 c 3469 102.01 o 29556 102.01 c 3465 102.06 o 29560 102.06 c 3461 102.12 o 29561 102.12 c 3460 102.17 o 29562 102.17 c 3459 102.29 o 29564 102.29 c 3457 102.96 o 29566 102.96 c 3455 103.24 o 29567 103.24 c 3454 103.35 o 29570 103.35 c 3451 103.70 o 29571 103.70 c 3450 103.93 o 29572 103.93 c 3449 104.04 o 29573 104.04 c 3448 104.27 o 29575 104.27 c 3446 104.38 o 29578 104.38 c 3443 104.44 o 29581 104.44 c 3440 104.50 o 29583 104.50 c 3438 104.56 o 29584 104.56 c 3437 104.75 o 29585 104.75 c 3436 104.81 o 29589 104.81 c 3432 105.11 o 29591 105.11 c 3430 105.23 o 29594 105.23 c 3427 105.29 o 29598 105.29 c 3423 105.36 o 29599 105.36 c 3422 105.80 o 29600 105.80 c 3421 105.86 o 29603 105.86 c 3418 105.92 o 29607 105.92 c 3414 106.05 o 29608 106.05 c 3413 106.12 o 29613 106.12 c 3408 106.18 o 29614 106.18 c 3407 106.24 o 29616 106.24 c 3405 106.55 o 29617 106.55 c 3404 106.61 o 29620 106.61 c 3401 106.73 o 29621 106.73 c 3400 106.80 o 29624 106.80 c 3397 106.86 o 29627 106.86 c 3394 107.12 o 29629 107.12 c 3392 107.22 o 29630 107.22 c 3391 107.35 o 29631 107.35 c 3390 107.41 o 29633 107.41 c 3388 107.54 o 29636 107.54 c 3385 107.60 o 29639 107.60 c 3382 107.66 o 29641 107.66 c 3380 107.72 o 29644 107.72 c 3377 107.79 o 29645 107.79 c 3376 108.04 o 29647 108.04 c 3374 108.10 o 29648 108.10 c 3373 108.23 o 29649 108.23 c 3372 108.67 o 29651 108.67 c 3370 108.81 o 29652 108.81 c 3369 108.87 o 29654 108.87 c 3367 108.93 o 29655 108.93 c 3366 109.00 o 29656 109.00 c 3365 109.08 o 29658 109.08 c 3363 109.14 o 29660 109.14 c 3361 109.27 o 29661 109.27 c 3360 109.34 o 29663 109.34 c 3358 109.41 o 29664 109.41 c 3357 109.48 o 29666 109.48 c 3355 109.55 o 29670 109.55 c 3351 109.62 o 29672 109.62 c 3349 109.68 o 29673 109.68 c 3348 110.23 o 29674 110.23 c 3347 110.37 o 29676 110.37 c 3345 110.44 o 29678 110.44 c 3343 110.58 o 29679 110.58 c 3342 110.65 o 29681 110.65 c 3340 110.72 o 29682 110.72 c 3339 111.07 o 29684 111.07 c 3337 111.14 o 29688 111.14 c 3333 111.22 o 29689 111.22 c 3332 111.29 o 29690 111.29 c 3331 111.57 o 29692 111.57 c 3329 111.77 o 29693 111.77 c 3328 111.84 o 29694 111.84 c 3327 112.87 o 29695 112.87 c 3326 113.01 o 29699 113.01 c 3322 113.08 o 29701 113.08 c 3320 114.13 o 29702 114.13 c 3319 114.27 o 29704 114.27 c 3317 114.34 o 29706 114.34 c 3315 114.54 o 29707 114.54 c 3314 114.58 o 29709 114.58 c 3312 114.65 o 29713 114.65 c 3308 114.72 o 29715 114.72 c 3306 114.79 o 29716 114.79 c 3305 114.93 o 29718 114.93 c 3303 115.19 o 29719 115.19 c 3302 115.26 o 29720 115.26 c 3301 115.82 o 29724 115.82 c 3297 116.03 o 29725 116.03 c 3296 116.10 o 29726 116.10 c 3295 116.32 o 29728 116.32 c 3293 116.46 o 29730 116.46 c 3291 117.04 o 29732 117.04 c 3289 117.11 o 29733 117.11 c 3288 117.82 o 29734 117.82 c 3287 118.03 o 29736 118.03 c 3285 118.11 o 29740 118.11 c 3281 118.18 o 29741 118.18 c 3280 118.30 o 29742 118.30 c 3279 118.37 o 29743 118.37 c 3278 118.44 o 29745 118.44 c 3276 119.05 o 29749 119.05 c 3272 119.10 o 29751 119.10 c 3270 119.17 o 29752 119.17 c 3269 119.24 o 29753 119.25 c 3268 119.93 o 29754 119.93 c 3267 120.07 o 29756 120.07 c 3265 120.22 o 29757 120.22 c 3264 120.29 o 29759 120.29 c 3262 120.37 o 29760 120.37 c 3261 120.51 o 29762 120.51 c 3259 120.66 o 29763 120.66 c 3258 120.81 o 29765 120.81 c 3256 120.94 o 29766 120.94 c 3255 121.01 o 29769 121.01 c 3252 121.09 o 29771 121.09 c 3250 121.15 o 29774 121.15 c 3247 121.30 o 29775 121.30 c 3246 121.37 o 29776 121.37 c 3245 121.53 o 29778 121.53 c 3243 121.61 o 29779 121.61 c 3242 121.68 o 29782 121.68 c 3239 121.76 o 29784 121.76 c 3237 121.84 o 29788 121.84 c 3233 122.14 o 29791 122.14 c 3230 123.41 o 29794 123.41 c 3227 123.58 o 29795 123.58 c 3226 124.65 o 29798 124.65 c 3223 125.14 o 29800 125.14 c 3221 125.31 o 29802 125.31 c 3219 125.56 o 29804 125.56 c 3217 126.57 o 29808 126.57 c 3213 126.65 o 29811 126.65 c 3210 126.82 o 29812 126.82 c 3209 126.91 o 29814 126.91 c 3207 127.08 o 29816 127.08 c 3205 127.26 o 29819 127.26 c 3202 127.51 o 29820 127.51 c 3201 127.82 o 29821 127.82 c 3200 127.90 o 29822 127.90 c 3199 128.20 o 29826 128.20 c 3195 128.36 o 29827 128.36 c 3194 128.44 o 29830 128.44 c 3191 128.60 o 29831 128.60 c 3190 128.76 o 29832 128.76 c 3189 128.83 o 29833 128.83 c 3188 128.91 o 29835 128.91 c 3186 129.31 o 29836 129.31 c 3185 129.39 o 29837 129.39 c 3184 129.47 o 29838 129.47 c 3183 129.55 o 29840 129.55 c 3181 129.61 o 29841 129.61 c 3180 129.67 o 29844 129.67 c 3177 129.73 o 29845 129.73 c 3176 130.12 o 29846 130.12 c 3175 130.14 o 29849 130.14 c 3172 130.69 o 29851 130.69 c 3170 130.77 o 29852 130.77 c 3169 131.02 o 29854 131.02 c 3167 131.09 o 29855 131.09 c 3166 131.17 o 29857 131.17 c 3164 131.88 o 29860 131.88 c 3161 133.61 o 29863 133.61 c 3158 133.84 o 29865 133.84 c 3156 133.92 o 29867 133.92 c 3154 133.96 o 29869 133.96 c 3152 134.95 o 29871 134.95 c 3150 135.03 o 29872 135.03 c 3149 135.33 o 29874 135.33 c 3147 135.41 o 29875 135.41 c 3146 135.49 o 29877 135.49 c 3144 137.65 o 29880 137.65 c 3141 137.72 o 29881 137.72 c 3140 137.80 o 29883 137.80 c 3138 137.88 o 29885 137.88 c 3136 137.96 o 29887 137.96 c 3134 138.03 o 29890 138.04 c 3131 138.27 o 29891 138.27 c 3130 138.59 o 29893 138.59 c 3128 138.83 o 29895 138.83 c 3126 139.23 o 29897 139.23 c 3124 139.63 o 29898 139.63 c 3123 139.87 o 29899 139.87 c 3122 140.02 o 29900 140.02 c 3121 140.10 o 29901 140.10 c 3120 140.18 o 29903 140.18 c 3118 141.14 o 29904 141.14 c 3117 141.37 o 29906 141.37 c 3115 141.69 o 29908 141.69 c 3113 141.77 o 29909 141.77 c 3112 141.85 o 29910 141.85 c 3111 141.94 o 29914 141.94 c 3107 142.58 o 29915 142.58 c 3106 142.64 o 29918 142.64 c 3103 143.45 o 29919 143.45 c 3102 143.86 o 29920 143.86 c 3101 144.28 o 29923 144.28 c 3098 144.37 o 29924 144.37 c 3097 144.46 o 29925 144.46 c 3096 144.54 o 29926 144.54 c 3095 144.63 o 29927 144.63 c 3094 145.07 o 29929 145.07 c 3092 145.27 o 29931 145.27 c 3090 145.34 o 29932 145.34 c 3089 145.52 o 29935 145.52 c 3086 145.65 o 29936 145.65 c 3085 145.74 o 29939 145.74 c 3082 145.82 o 29941 145.82 c 3080 146.32 o 29943 146.32 c 3078 146.57 o 29946 146.57 c 3075 146.83 o 29949 146.83 c 3072 146.92 o 29951 146.92 c 3070 147.00 o 29954 147.00 c 3067 147.92 o 29955 147.92 c 3066 148.00 o 29957 148.00 c 3064 148.33 o 29959 148.33 c 3062 148.42 o 29960 148.42 c 3061 148.47 o 29961 148.47 c 3060 148.64 o 29962 148.64 c 3059 148.73 o 29963 148.73 c 3058 148.81 o 29964 148.81 c 3057 148.97 o 29965 148.97 c 3056 149.56 o 29966 149.56 c 3055 149.64 o 29967 149.64 c 3054 149.83 o 29968 149.83 c 3053 149.92 o 29969 149.92 c 3052 150.10 o 29972 150.10 c 3049 150.19 o 29975 150.19 c 3046 150.37 o 29976 150.37 c 3045 150.47 o 29977 150.47 c 3044 153.21 o 29978 153.21 c 3043 153.76 o 29980 153.76 c 3041 153.85 o 29982 153.85 c 3039 154.03 o 29983 154.03 c 3038 154.13 o 29985 154.13 c 3036 157.44 o 29988 157.44 c 3033 157.54 o 29990 157.54 c 3031 157.84 o 29992 157.84 c 3029 158.12 o 29993 158.12 c 3028 158.41 o 29997 158.41 c 3024 158.85 o 29998 158.85 c 3023 158.95 o 30002 158.95 c 3019 159.05 o 30004 159.05 c 3017 159.14 o 30006 159.14 c 3015 159.23 o 30007 159.23 c 3014 159.33 o 30009 159.33 c 3012 159.42 o 30010 159.42 c 3011 160.37 o 30011 160.37 c 3010 160.47 o 30013 160.47 c 3008 160.66 o 30015 160.66 c 3006 161.43 o 30016 161.43 c 3005 161.53 o 30018 161.53 c 3003 161.92 o 30020 161.92 c 3001 162.02 o 30021 162.02 c 3000 162.12 o 30022 162.12 c 2999 162.22 o 30023 162.22 c 2998 162.32 o 30026 162.32 c 2995 162.52 o 30027 162.52 c 2994 162.61 o 30028 162.61 c 2993 162.80 o 30029 162.80 c 2992 164.07 o 30031 164.07 c 2990 164.13 o 30033 164.13 c 2988 164.86 o 30036 164.87 c 2985 164.92 o 30037 164.92 c 2984 165.01 o 30038 165.01 c 2983 165.41 o 30039 165.41 c 2982 165.90 o 30040 165.90 c 2981 166.09 o 30041 166.09 c 2980 166.19 o 30043 166.19 c 2978 166.29 o 30044 166.29 c 2977 166.39 o 30046 166.39 c 2975 166.49 o 30048 166.49 c 2973 166.59 o 30051 166.59 c 2970 166.69 o 30052 166.69 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.46 o 30060 168.46 c 2961 168.56 o 30062 168.56 c 2959 168.91 o 30063 168.91 c 2958 169.01 o 30065 169.01 c 2956 169.31 o 30068 169.31 c 2953 169.61 o 30069 169.61 c 2952 169.71 o 30070 169.71 c 2951 169.80 o 30071 169.81 c 2950 169.90 o 30072 169.90 c 2949 170.00 o 30073 170.00 c 2948 170.10 o 30075 170.10 c 2946 170.40 o 30076 170.40 c 2945 170.79 o 30081 170.79 c 2940 171.90 o 30082 171.90 c 2939 172.00 o 30083 172.00 c 2938 172.20 o 30084 172.20 c 2937 172.79 o 30087 172.79 c 2934 172.86 o 30089 172.86 c 2932 173.36 o 30090 173.36 c 2931 173.46 o 30091 173.46 c 2930 173.55 o 30092 173.55 c 2929 176.14 o 30093 176.14 c 2928 176.24 o 30094 176.24 c 2927 176.34 o 30095 176.34 c 2926 176.44 o 30096 176.44 c 2925 176.55 o 30097 176.55 c 2924 176.65 o 30098 176.65 c 2923 176.75 o 30099 176.76 c 2922 176.86 o 30100 176.86 c 2921 176.96 o 30101 176.96 c 2920 177.07 o 30102 177.07 c 2919 177.12 o 30103 177.12 c 2918 177.36 o 30104 177.36 c 2917 177.47 o 30105 177.47 c 2916 178.98 o 30106 178.98 c 2915 180.17 o 30107 180.17 c 2914 180.89 o 30108 180.89 c 2913 180.99 o 30109 180.99 c 2912 181.18 o 30110 181.18 c 2911 181.62 o 30112 181.62 c 2909 181.73 o 30114 181.73 c 2907 181.95 o 30115 181.95 c 2906 182.06 o 30117 182.06 c 2904 182.17 o 30120 182.17 c 2901 182.28 o 30121 182.28 c 2900 184.30 o 30122 184.30 c 2899 186.68 o 30123 186.68 c 2898 187.03 o 30125 187.03 c 2896 187.13 o 30127 187.13 c 2894 187.26 o 30129 187.26 c 2892 189.26 o 30130 189.26 c 2891 189.37 o 30132 189.37 c 2889 189.49 o 30134 189.49 c 2887 191.03 o 30135 191.03 c 2886 191.25 o 30137 191.25 c 2884 191.36 o 30138 191.36 c 2883 191.47 o 30139 191.47 c 2882 191.70 o 30140 191.70 c 2881 191.82 o 30142 191.82 c 2879 192.62 o 30144 192.62 c 2877 192.73 o 30146 192.73 c 2875 192.85 o 30149 192.85 c 2872 192.97 o 30151 192.97 c 2870 193.86 o 30152 193.86 c 2869 193.98 o 30153 193.98 c 2868 194.06 o 30155 194.06 c 2866 194.94 o 30156 194.94 c 2865 195.06 o 30157 195.06 c 2864 195.17 o 30159 195.17 c 2862 195.29 o 30160 195.29 c 2861 195.62 o 30161 195.62 c 2860 195.74 o 30166 195.74 c 2855 196.42 o 30167 196.42 c 2854 196.65 o 30168 196.65 c 2853 196.77 o 30169 196.77 c 2852 196.89 o 30171 196.89 c 2850 198.08 o 30172 198.08 c 2849 198.20 o 30173 198.20 c 2848 198.44 o 30175 198.44 c 2846 198.56 o 30176 198.56 c 2845 201.16 o 30177 201.16 c 2844 201.64 o 30180 201.64 c 2841 202.23 o 30183 202.23 c 2838 202.35 o 30185 202.35 c 2836 202.48 o 30187 202.48 c 2834 202.60 o 30188 202.60 c 2833 202.95 o 30190 202.95 c 2831 205.21 o 30192 205.21 c 2829 205.25 o 30194 205.25 c 2827 207.21 o 30195 207.21 c 2826 207.34 o 30197 207.34 c 2824 207.74 o 30199 207.74 c 2822 208.62 o 30201 208.62 c 2820 208.76 o 30203 208.76 c 2818 209.14 o 30207 209.14 c 2814 210.60 o 30209 210.60 c 2812 210.85 o 30211 210.85 c 2810 211.40 o 30212 211.40 c 2809 211.53 o 30214 211.53 c 2807 211.65 o 30215 211.65 c 2806 212.02 o 30217 212.02 c 2804 212.12 o 30219 212.12 c 2802 212.72 o 30220 212.72 c 2801 213.08 o 30221 213.08 c 2800 213.58 o 30223 213.58 c 2798 221.24 o 30224 221.24 c 2797 221.35 o 30226 221.35 c 2795 221.48 o 30229 221.48 c 2792 221.95 o 30230 221.95 c 2791 222.29 o 30231 222.29 c 2790 223.34 o 30234 223.34 c 2787 223.71 o 30235 223.71 c 2786 224.45 o 30237 224.45 c 2784 224.70 o 30238 224.70 c 2783 225.33 o 30240 225.33 c 2781 225.59 o 30243 225.59 c 2778 225.72 o 30244 225.72 c 2777 225.92 o 30246 225.92 c 2775 226.03 o 30248 226.03 c 2773 226.11 o 30249 226.11 c 2772 226.74 o 30251 226.74 c 2770 226.88 o 30253 226.88 c 2768 227.51 o 30254 227.51 c 2767 227.64 o 30256 227.64 c 2765 227.77 o 30257 227.77 c 2764 227.89 o 30260 227.89 c 2761 229.77 o 30261 229.77 c 2760 229.90 o 30262 229.90 c 2759 230.16 o 30263 230.16 c 2758 230.43 o 30265 230.43 c 2756 230.56 o 30266 230.56 c 2755 232.88 o 30269 232.88 c 2752 233.01 o 30270 233.01 c 2751 234.09 o 30273 234.09 c 2748 243.01 o 30274 243.01 c 2747 243.12 o 30277 243.12 c 2744 243.25 o 30280 243.25 c 2741 243.51 o 30282 243.51 c 2739 243.64 o 30283 243.64 c 2738 243.70 o 30284 243.70 c 2737 244.09 o 30285 244.09 c 2736 244.22 o 30287 244.22 c 2734 244.48 o 30289 244.48 c 2732 244.61 o 30293 244.61 c 2728 244.74 o 30294 244.74 c 2727 244.83 o 30297 244.83 c 2724 244.96 o 30300 244.96 c 2721 245.13 o 30302 245.13 c 2719 245.38 o 30304 245.38 c 2717 245.51 o 30305 245.51 c 2716 245.64 o 30306 245.64 c 2715 245.76 o 30308 245.76 c 2713 250.92 o 30309 250.92 c 2712 251.05 o 30311 251.05 c 2710 251.13 o 30313 251.13 c 2708 251.27 o 30314 251.27 c 2707 251.80 o 30317 251.80 c 2704 252.33 o 30318 252.33 c 2703 252.83 o 30319 252.83 c 2702 253.08 o 30321 253.08 c 2700 253.20 o 30322 253.20 c 2699 254.62 o 30323 254.63 c 2698 254.76 o 30324 254.76 c 2697 254.82 o 30326 254.82 c 2695 254.90 o 30329 254.90 c 2692 255.03 o 30331 255.03 c 2690 256.08 o 30332 256.08 c 2689 256.23 o 30334 256.23 c 2687 256.45 o 30336 256.45 c 2685 256.58 o 30337 256.58 c 2684 261.84 o 30338 261.84 c 2683 261.98 o 30339 261.98 c 2682 262.11 o 30340 262.11 c 2681 262.65 o 30341 262.65 c 2680 263.19 o 30343 263.19 c 2678 263.43 o 30346 263.43 c 2675 263.56 o 30347 263.56 c 2674 264.11 o 30348 264.11 c 2673 264.26 o 30349 264.26 c 2672 264.39 o 30351 264.39 c 2670 265.09 o 30352 265.09 c 2669 266.34 o 30353 266.34 c 2668 266.38 o 30355 266.38 c 2666 266.52 o 30357 266.52 c 2664 267.07 o 30360 267.07 c 2661 267.21 o 30361 267.21 c 2660 267.46 o 30362 267.46 c 2659 267.88 o 30367 267.88 c 2654 268.41 o 30368 268.41 c 2653 268.65 o 30369 268.65 c 2652 268.90 o 30370 268.90 c 2651 269.45 o 30373 269.45 c 2648 269.58 o 30377 269.59 c 2644 269.72 o 30379 269.72 c 2642 277.99 o 30380 277.99 c 2641 278.13 o 30381 278.13 c 2640 278.27 o 30382 278.27 c 2639 278.98 o 30383 278.98 c 2638 279.84 o 30384 279.84 c 2637 280.21 o 30387 280.21 c 2634 280.35 o 30388 280.35 c 2633 280.49 o 30389 280.49 c 2632 280.64 o 30390 280.64 c 2631 280.78 o 30391 280.78 c 2630 280.93 o 30392 280.93 c 2629 281.07 o 30393 281.07 c 2628 281.21 o 30394 281.21 c 2627 282.18 o 30395 282.18 c 2626 282.75 o 30399 282.76 c 2622 282.90 o 30401 282.90 c 2620 283.04 o 30402 283.04 c 2619 283.19 o 30403 283.19 c 2618 283.33 o 30409 283.33 c 2612 284.46 o 30410 284.46 c 2611 284.75 o 30411 284.75 c 2610 285.03 o 30413 285.03 c 2608 285.32 o 30414 285.32 c 2607 285.76 o 30415 285.76 c 2606 285.91 o 30417 285.91 c 2604 285.98 o 30419 285.98 c 2602 286.13 o 30420 286.13 c 2601 286.27 o 30425 286.27 c 2596 286.42 o 30426 286.42 c 2595 286.57 o 30427 286.57 c 2594 286.67 o 30430 286.67 c 2591 286.97 o 30433 286.97 c 2588 291.18 o 30434 291.18 c 2587 291.38 o 30437 291.38 c 2584 292.69 o 30439 292.69 c 2582 292.84 o 30444 292.84 c 2577 293.05 o 30445 293.05 c 2576 293.34 o 30446 293.34 c 2575 293.49 o 30447 293.49 c 2574 294.37 o 30448 294.37 c 2573 294.52 o 30451 294.52 c 2570 294.67 o 30452 294.67 c 2569 294.97 o 30455 294.97 c 2566 296.01 o 30456 296.01 c 2565 296.26 o 30457 296.26 c 2564 296.39 o 30459 296.39 c 2562 296.93 o 30461 296.93 c 2560 297.53 o 30463 297.53 c 2558 297.69 o 30464 297.69 c 2557 299.30 o 30465 299.30 c 2556 300.95 o 30466 300.95 c 2555 301.10 o 30467 301.10 c 2554 302.52 o 30468 302.52 c 2553 302.67 o 30470 302.67 c 2551 303.43 o 30471 303.43 c 2550 303.58 o 30472 303.58 c 2549 304.00 o 30473 304.00 c 2548 304.16 o 30474 304.16 c 2547 304.31 o 30475 304.31 c 2546 304.47 o 30476 304.47 c 2545 304.85 o 30477 304.85 c 2544 305.01 o 30479 305.01 c 2542 306.93 o 30480 306.93 c 2541 307.39 o 30482 307.39 c 2539 307.54 o 30483 307.54 c 2538 319.68 o 30484 319.68 c 2537 320.10 o 30485 320.10 c 2536 321.32 o 30487 321.32 c 2534 321.46 o 30488 321.46 c 2533 321.61 o 30490 321.61 c 2531 321.75 o 30492 321.75 c 2529 322.61 o 30494 322.61 c 2527 322.75 o 30496 322.75 c 2525 322.88 o 30499 322.88 c 2522 323.72 o 30500 323.72 c 2521 324.41 o 30501 324.41 c 2520 325.28 o 30502 325.28 c 2519 325.58 o 30503 325.58 c 2518 326.74 o 30504 326.74 c 2517 327.04 o 30506 327.04 c 2515 327.19 o 30510 327.19 c 2511 327.33 o 30511 327.33 c 2510 327.48 o 30512 327.48 c 2509 327.77 o 30515 327.77 c 2506 327.92 o 30516 327.92 c 2505 328.35 o 30517 328.35 c 2504 328.65 o 30518 328.65 c 2503 332.13 o 30519 332.13 c 2502 333.75 o 30522 333.75 c 2499 333.90 o 30523 333.90 c 2498 334.77 o 30526 334.77 c 2495 334.91 o 30528 334.91 c 2493 335.06 o 30530 335.06 c 2491 335.26 o 30532 335.26 c 2489 335.41 o 30534 335.41 c 2487 336.13 o 30537 336.13 c 2484 336.43 o 30539 336.43 c 2482 339.06 o 30540 339.06 c 2481 339.22 o 30541 339.22 c 2480 339.27 o 30544 339.27 c 2477 339.52 o 30545 339.52 c 2476 340.42 o 30547 340.42 c 2474 340.58 o 30550 340.58 c 2471 341.35 o 30551 341.35 c 2470 341.83 o 30552 341.83 c 2469 342.47 o 30554 342.47 c 2467 342.79 o 30555 342.79 c 2466 343.62 o 30557 343.62 c 2464 343.78 o 30559 343.78 c 2462 344.11 o 30561 344.11 c 2460 344.59 o 30563 344.59 c 2458 344.75 o 30567 344.75 c 2454 344.92 o 30569 344.92 c 2452 345.08 o 30572 345.08 c 2449 345.24 o 30573 345.24 c 2448 345.54 o 30574 345.54 c 2447 345.71 o 30576 345.71 c 2445 345.98 o 30578 345.98 c 2443 349.76 o 30580 349.76 c 2441 349.92 o 30581 349.92 c 2440 350.09 o 30582 350.09 c 2439 350.58 o 30583 350.58 c 2438 351.09 o 30584 351.09 c 2437 351.21 o 30588 351.21 c 2433 351.54 o 30589 351.54 c 2432 352.48 o 30590 352.48 c 2431 353.85 o 30591 353.85 c 2430 354.02 o 30592 354.02 c 2429 354.20 o 30593 354.20 c 2428 354.37 o 30595 354.37 c 2426 354.67 o 30596 354.67 c 2425 359.89 o 30597 359.89 c 2424 360.07 o 30599 360.07 c 2422 361.53 o 30600 361.53 c 2421 361.71 o 30601 361.71 c 2420 361.89 o 30602 361.89 c 2419 362.04 o 30603 362.04 c 2418 365.89 o 30605 365.89 c 2416 367.77 o 30607 367.77 c 2414 368.45 o 30608 368.45 c 2413 368.80 o 30609 368.80 c 2412 369.22 o 30610 369.22 c 2411 369.75 o 30612 369.75 c 2409 369.84 o 30615 369.84 c 2406 370.11 o 30616 370.11 c 2405 370.64 o 30618 370.64 c 2403 371.30 o 30619 371.30 c 2402 371.47 o 30620 371.47 c 2401 372.17 o 30621 372.17 c 2400 373.03 o 30622 373.03 c 2399 374.37 o 30623 374.37 c 2398 374.88 o 30624 374.88 c 2397 375.50 o 30625 375.50 c 2396 375.85 o 30626 375.85 c 2395 376.20 o 30627 376.20 c 2394 376.38 o 30628 376.38 c 2393 376.46 o 30632 376.46 c 2389 377.76 o 30634 377.76 c 2387 378.12 o 30635 378.12 c 2386 378.30 o 30636 378.30 c 2385 378.85 o 30637 378.85 c 2384 379.21 o 30638 379.21 c 2383 379.40 o 30639 379.40 c 2382 379.58 o 30641 379.58 c 2380 379.68 o 30644 379.68 c 2377 391.74 o 30645 391.74 c 2376 392.13 o 30647 392.13 c 2374 393.08 o 30648 393.08 c 2373 393.97 o 30649 393.97 c 2372 398.80 o 30653 398.80 c 2368 400.19 o 30654 400.19 c 2367 400.39 o 30656 400.39 c 2365 400.59 o 30659 400.59 c 2362 401.56 o 30660 401.56 c 2361 404.31 o 30661 404.31 c 2360 404.78 o 30662 404.78 c 2359 405.11 o 30665 405.11 c 2356 405.51 o 30666 405.51 c 2355 406.07 o 30669 406.07 c 2352 406.33 o 30670 406.33 c 2351 407.53 o 30672 407.53 c 2349 407.74 o 30673 407.74 c 2348 407.94 o 30676 407.94 c 2345 408.14 o 30678 408.14 c 2343 408.34 o 30680 408.34 c 2341 410.53 o 30681 410.53 c 2340 411.75 o 30682 411.75 c 2339 412.77 o 30683 412.77 c 2338 426.75 o 30687 426.75 c 2334 427.40 o 30688 427.40 c 2333 427.60 o 30690 427.60 c 2331 428.27 o 30692 428.27 c 2329 428.47 o 30693 428.47 c 2328 428.67 o 30694 428.67 c 2327 428.86 o 30695 428.86 c 2326 440.44 o 30697 440.44 c 2324 440.63 o 30698 440.63 c 2323 440.84 o 30699 440.84 c 2322 441.82 o 30700 441.82 c 2321 442.02 o 30701 442.02 c 2320 442.61 o 30702 442.61 c 2319 442.70 o 30703 442.70 c 2318 442.89 o 30706 442.89 c 2315 443.09 o 30709 443.09 c 2312 446.34 o 30710 446.34 c 2311 446.73 o 30711 446.73 c 2310 446.93 o 30714 446.93 c 2307 447.69 o 30715 447.69 c 2306 448.87 o 30717 448.87 c 2304 449.63 o 30718 449.63 c 2303 449.83 o 30719 449.83 c 2302 450.83 o 30720 450.83 c 2301 453.04 o 30721 453.04 c 2300 453.44 o 30723 453.44 c 2298 453.65 o 30724 453.65 c 2297 454.45 o 30725 454.45 c 2296 454.65 o 30726 454.65 c 2295 455.45 o 30727 455.45 c 2294 455.66 o 30729 455.66 c 2292 455.86 o 30730 455.86 c 2291 456.46 o 30733 456.46 c 2288 457.23 o 30735 457.23 c 2286 457.43 o 30736 457.43 c 2285 457.63 o 30738 457.63 c 2283 458.04 o 30739 458.04 c 2282 458.44 o 30741 458.44 c 2280 458.65 o 30742 458.65 c 2279 458.85 o 30744 458.85 c 2277 459.05 o 30746 459.05 c 2275 459.26 o 30747 459.26 c 2274 459.46 o 30749 459.46 c 2272 459.79 o 30750 459.79 c 2271 460.99 o 30751 460.99 c 2270 461.20 o 30752 461.20 c 2269 461.40 o 30754 461.40 c 2267 462.00 o 30755 462.00 c 2266 462.42 o 30756 462.42 c 2265 463.01 o 30757 463.01 c 2264 463.21 o 30758 463.21 c 2263 479.91 o 30760 479.91 c 2261 480.30 o 30761 480.30 c 2260 480.90 o 30763 480.90 c 2258 481.90 o 30764 481.90 c 2257 482.25 o 30767 482.25 c 2254 482.45 o 30768 482.45 c 2253 487.42 o 30769 487.42 c 2252 487.80 o 30771 487.80 c 2250 488.11 o 30772 488.11 c 2249 492.24 o 30774 492.24 c 2247 492.37 o 30775 492.37 c 2246 492.50 o 30778 492.50 c 2243 492.84 o 30780 492.84 c 2241 503.67 o 30781 503.67 c 2240 504.05 o 30783 504.05 c 2238 504.26 o 30785 504.26 c 2236 504.46 o 30786 504.46 c 2235 505.07 o 30787 505.07 c 2234 506.06 o 30789 506.06 c 2232 506.26 o 30790 506.26 c 2231 506.47 o 30791 506.47 c 2230 507.65 o 30792 507.65 c 2229 507.85 o 30793 507.85 c 2228 508.05 o 30794 508.05 c 2227 508.43 o 30795 508.43 c 2226 508.63 o 30797 508.63 c 2224 511.48 o 30798 511.48 c 2223 511.86 o 30799 511.86 c 2222 515.25 o 30801 515.25 c 2220 515.46 o 30802 515.46 c 2219 517.32 o 30803 517.32 c 2218 517.52 o 30806 517.52 c 2215 517.94 o 30807 517.94 c 2214 518.15 o 30809 518.15 c 2212 519.52 o 30810 519.52 c 2211 519.71 o 30813 519.71 c 2208 520.52 o 30814 520.52 c 2207 520.72 o 30815 520.72 c 2206 521.32 o 30817 521.32 c 2204 521.52 o 30819 521.52 c 2202 521.72 o 30820 521.72 c 2201 522.12 o 30823 522.12 c 2198 522.92 o 30824 522.92 c 2197 523.32 o 30825 523.32 c 2196 523.93 o 30826 523.93 c 2195 524.34 o 30827 524.34 c 2194 524.54 o 30829 524.54 c 2192 524.76 o 30830 524.76 c 2191 539.84 o 30831 539.84 c 2190 540.05 o 30832 540.05 c 2189 540.67 o 30833 540.67 c 2188 541.87 o 30834 541.87 c 2187 542.28 o 30835 542.28 c 2186 542.49 o 30836 542.49 c 2185 542.71 o 30839 542.71 c 2182 542.92 o 30841 542.92 c 2180 543.34 o 30844 543.34 c 2177 546.66 o 30845 546.66 c 2176 547.63 o 30847 547.63 c 2174 548.03 o 30848 548.03 c 2173 548.81 o 30849 548.81 c 2172 549.81 o 30850 549.81 c 2171 550.01 o 30852 550.01 c 2169 550.22 o 30853 550.22 c 2168 551.05 o 30854 551.05 c 2167 551.25 o 30856 551.25 c 2165 551.36 o 30858 551.37 c 2163 551.57 o 30860 551.57 c 2161 551.78 o 30861 551.78 c 2160 552.59 o 30862 552.59 c 2159 552.88 o 30863 552.88 c 2158 553.29 o 30864 553.29 c 2157 553.50 o 30865 553.50 c 2156 558.53 o 30866 558.53 c 2155 558.75 o 30867 558.75 c 2154 559.14 o 30868 559.14 c 2153 559.98 o 30870 559.98 c 2151 560.13 o 30874 560.13 c 2147 561.08 o 30875 561.08 c 2146 561.29 o 30876 561.29 c 2145 563.66 o 30880 563.66 c 2141 565.99 o 30881 565.99 c 2140 566.20 o 30883 566.20 c 2138 566.83 o 30885 566.83 c 2136 567.23 o 30887 567.23 c 2134 567.44 o 30888 567.44 c 2133 567.65 o 30890 567.65 c 2131 568.26 o 30892 568.26 c 2129 568.47 o 30893 568.47 c 2128 568.67 o 30895 568.67 c 2126 569.50 o 30896 569.50 c 2125 569.59 o 30897 569.59 c 2124 569.79 o 30898 569.79 c 2123 570.00 o 30901 570.00 c 2120 570.51 o 30902 570.51 c 2119 570.71 o 30903 570.71 c 2118 571.04 o 30906 571.04 c 2115 572.05 o 30907 572.05 c 2114 575.14 o 30909 575.14 c 2112 575.49 o 30914 575.49 c 2107 575.56 o 30915 575.56 c 2106 575.75 o 30917 575.75 c 2104 576.16 o 30919 576.16 c 2102 576.76 o 30920 576.76 c 2101 583.49 o 30921 583.49 c 2100 583.90 o 30923 583.90 c 2098 584.11 o 30926 584.11 c 2095 585.89 o 30928 585.89 c 2093 597.82 o 30929 597.82 c 2092 598.19 o 30930 598.19 c 2091 598.81 o 30931 598.81 c 2090 599.02 o 30933 599.02 c 2088 599.22 o 30934 599.22 c 2087 600.72 o 30935 600.72 c 2086 614.57 o 30936 614.57 c 2085 614.77 o 30938 614.77 c 2083 615.07 o 30940 615.07 c 2081 615.70 o 30941 615.70 c 2080 618.26 o 30944 618.26 c 2077 620.34 o 30945 620.34 c 2076 620.55 o 30946 620.55 c 2075 620.76 o 30947 620.76 c 2074 622.87 o 30949 622.87 c 2072 625.35 o 30951 625.35 c 2070 625.97 o 30953 625.98 c 2068 626.18 o 30955 626.18 c 2066 639.31 o 30957 639.31 c 2064 639.51 o 30959 639.51 c 2062 639.71 o 30961 639.71 c 2060 640.75 o 30963 640.75 c 2058 642.41 o 30964 642.41 c 2057 642.60 o 30967 642.60 c 2054 642.80 o 30968 642.80 c 2053 643.19 o 30971 643.19 c 2050 643.77 o 30972 643.77 c 2049 643.96 o 30973 643.96 c 2048 644.16 o 30975 644.16 c 2046 644.25 o 30976 644.25 c 2045 651.71 o 30979 651.71 c 2042 651.90 o 30980 651.90 c 2041 654.11 o 30982 654.11 c 2039 655.22 o 30983 655.22 c 2038 655.63 o 30984 655.63 c 2037 655.82 o 30986 655.82 c 2035 656.00 o 30988 656.00 c 2033 656.93 o 30990 656.93 c 2031 657.13 o 30993 657.13 c 2028 658.83 o 30994 658.83 c 2027 659.02 o 30995 659.02 c 2026 659.41 o 30996 659.41 c 2025 659.99 o 30997 659.99 c 2024 661.69 o 30998 661.69 c 2023 663.43 o 30999 663.43 c 2022 663.79 o 31001 663.79 c 2020 663.94 o 31003 663.94 c 2018 664.11 o 31004 664.11 c 2017 664.49 o 31005 664.49 c 2016 664.69 o 31007 664.69 c 2014 664.87 o 31008 664.87 c 2013 665.21 o 31010 665.21 c 2011 665.38 o 31011 665.38 c 2010 665.76 o 31012 665.76 c 2009 665.93 o 31014 665.93 c 2007 666.13 o 31017 666.13 c 2004 666.38 o 31019 666.38 c 2002 666.57 o 31020 666.57 c 2001 667.14 o 31022 667.14 c 1999 667.72 o 31023 667.72 c 1998 668.48 o 31025 668.48 c 1996 668.67 o 31029 668.67 c 1992 668.86 o 31031 668.86 c 1990 669.25 o 31032 669.25 c 1989 669.44 o 31033 669.44 c 1988 669.56 o 31035 669.56 c 1986 669.94 o 31036 669.94 c 1985 672.87 o 31038 672.87 c 1983 674.35 o 31041 674.35 c 1980 674.72 o 31042 674.72 c 1979 674.91 o 31045 674.91 c 1976 677.44 o 31047 677.44 c 1974 680.47 o 31048 680.47 c 1973 680.66 o 31050 680.66 c 1971 681.04 o 31051 681.04 c 1970 681.23 o 31052 681.23 c 1969 682.25 o 31053 682.25 c 1968 686.45 o 31054 686.45 c 1967 686.64 o 31056 686.64 c 1965 687.02 o 31057 687.02 c 1964 687.15 o 31058 687.15 c 1963 687.51 o 31059 687.51 c 1962 687.55 o 31060 687.55 c 1961 687.74 o 31061 687.74 c 1960 687.93 o 31062 687.93 c 1959 688.12 o 31063 688.12 c 1958 688.68 o 31064 688.68 c 1957 699.71 o 31069 699.71 c 1952 699.89 o 31070 699.89 c 1951 700.27 o 31071 700.27 c 1950 700.45 o 31072 700.45 c 1949 700.82 o 31073 700.82 c 1948 701.01 o 31076 701.01 c 1945 701.20 o 31078 701.20 c 1943 701.58 o 31080 701.58 c 1941 702.14 o 31081 702.14 c 1940 702.88 o 31082 702.88 c 1939 703.78 o 31083 703.78 c 1938 711.47 o 31084 711.47 c 1937 712.56 o 31089 712.56 c 1932 712.74 o 31090 712.74 c 1931 713.10 o 31091 713.10 c 1930 714.36 o 31093 714.36 c 1928 714.47 o 31094 714.47 c 1927 715.92 o 31095 715.92 c 1926 716.46 o 31097 716.46 c 1924 717.01 o 31098 717.02 c 1923 717.11 o 31100 717.11 c 1921 717.28 o 31101 717.28 c 1920 717.47 o 31105 717.47 c 1916 720.80 o 31106 720.80 c 1915 729.69 o 31108 729.69 c 1913 729.82 o 31112 729.82 c 1909 733.21 o 31113 733.21 c 1908 733.59 o 31114 733.59 c 1907 734.36 o 31115 734.36 c 1906 736.68 o 31116 736.68 c 1905 738.94 o 31117 738.94 c 1904 741.56 o 31118 741.56 c 1903 742.50 o 31119 742.50 c 1902 742.69 o 31120 742.69 c 1901 743.26 o 31121 743.26 c 1900 743.45 o 31122 743.45 c 1899 743.56 o 31123 743.56 c 1898 743.84 o 31124 743.84 c 1897 744.03 o 31125 744.03 c 1896 744.60 o 31126 744.60 c 1895 754.91 o 31128 754.91 c 1893 755.50 o 31130 755.50 c 1891 755.67 o 31131 755.67 c 1890 756.32 o 31132 756.32 c 1889 756.72 o 31133 756.72 c 1888 757.51 o 31135 757.51 c 1886 758.49 o 31136 758.49 c 1885 758.74 o 31138 758.74 c 1883 758.88 o 31141 758.88 c 1880 759.26 o 31144 759.26 c 1877 759.58 o 31145 759.58 c 1876 770.81 o 31147 770.81 c 1874 771.08 o 31149 771.08 c 1872 771.48 o 31153 771.48 c 1868 771.68 o 31155 771.68 c 1866 771.88 o 31157 771.88 c 1864 773.20 o 31158 773.20 c 1863 773.40 o 31160 773.40 c 1861 775.47 o 31161 775.47 c 1860 775.67 o 31163 775.67 c 1858 776.28 o 31164 776.28 c 1857 776.88 o 31165 776.88 c 1856 777.09 o 31166 777.09 c 1855 780.92 o 31168 780.92 c 1853 781.08 o 31169 781.08 c 1852 781.29 o 31170 781.29 c 1851 782.54 o 31172 782.54 c 1849 782.75 o 31174 782.75 c 1847 786.25 o 31177 786.25 c 1844 787.59 o 31178 787.59 c 1843 788.01 o 31180 788.01 c 1841 788.84 o 31181 788.84 c 1840 789.05 o 31182 789.05 c 1839 789.26 o 31183 789.26 c 1838 789.47 o 31184 789.47 c 1837 789.68 o 31186 789.68 c 1835 790.82 o 31188 790.82 c 1833 802.78 o 31189 802.78 c 1832 803.18 o 31190 803.18 c 1831 803.38 o 31192 803.38 c 1829 803.59 o 31193 803.59 c 1828 804.22 o 31195 804.22 c 1826 807.22 o 31196 807.22 c 1825 807.43 o 31198 807.43 c 1823 807.63 o 31200 807.63 c 1821 808.03 o 31201 808.03 c 1820 808.23 o 31203 808.23 c 1818 808.40 o 31205 808.40 c 1816 809.01 o 31208 809.01 c 1813 809.21 o 31211 809.21 c 1810 809.41 o 31212 809.41 c 1809 809.60 o 31213 809.60 c 1808 809.80 o 31214 809.80 c 1807 809.94 o 31215 809.94 c 1806 810.74 o 31217 810.74 c 1804 810.94 o 31218 810.94 c 1803 811.08 o 31220 811.08 c 1801 811.29 o 31221 811.29 c 1800 811.89 o 31224 811.89 c 1797 811.99 o 31225 811.99 c 1796 813.01 o 31229 813.01 c 1792 813.18 o 31232 813.18 c 1789 813.37 o 31233 813.37 c 1788 813.57 o 31234 813.57 c 1787 814.73 o 31235 814.73 c 1786 818.52 o 31236 818.52 c 1785 818.73 o 31237 818.73 c 1784 818.94 o 31239 818.94 c 1782 819.14 o 31240 819.14 c 1781 819.76 o 31241 819.76 c 1780 819.96 o 31242 819.96 c 1779 820.17 o 31243 820.17 c 1778 820.93 o 31245 820.93 c 1776 823.31 o 31246 823.31 c 1775 825.04 o 31247 825.04 c 1774 825.64 o 31248 825.64 c 1773 825.84 o 31249 825.84 c 1772 831.54 o 31250 831.54 c 1771 831.93 o 31251 831.93 c 1770 838.83 o 31253 838.83 c 1768 839.03 o 31254 839.03 c 1767 839.22 o 31255 839.22 c 1766 839.82 o 31256 839.82 c 1765 840.02 o 31257 840.02 c 1764 858.07 o 31258 858.07 c 1763 864.91 o 31263 864.91 c 1758 865.08 o 31264 865.08 c 1757 865.28 o 31265 865.28 c 1756 865.61 o 31268 865.61 c 1753 865.82 o 31269 865.82 c 1752 866.02 o 31270 866.02 c 1751 866.41 o 31271 866.42 c 1750 867.20 o 31272 867.20 c 1749 867.59 o 31273 867.59 c 1748 867.98 o 31276 867.98 c 1745 869.12 o 31277 869.12 c 1744 869.51 o 31278 869.51 c 1743 869.66 o 31280 869.66 c 1741 870.06 o 31282 870.06 c 1739 870.49 o 31283 870.49 c 1738 870.60 o 31285 870.60 c 1736 870.75 o 31287 870.75 c 1734 874.16 o 31289 874.16 c 1732 878.19 o 31291 878.19 c 1730 878.31 o 31294 878.31 c 1727 880.21 o 31295 880.21 c 1726 880.98 o 31299 880.98 c 1722 881.17 o 31300 881.17 c 1721 886.70 o 31303 886.70 c 1718 886.89 o 31304 886.89 c 1717 892.84 o 31305 892.84 c 1716 893.22 o 31306 893.22 c 1715 893.42 o 31308 893.42 c 1713 893.61 o 31309 893.61 c 1712 893.80 o 31310 893.81 c 1711 894.19 o 31313 894.19 c 1708 894.47 o 31314 894.47 c 1707 895.83 o 31315 895.83 c 1706 898.96 o 31316 898.96 c 1705 899.15 o 31319 899.15 c 1702 899.56 o 31320 899.56 c 1701 900.58 o 31323 900.58 c 1698 900.78 o 31324 900.78 c 1697 900.98 o 31326 900.98 c 1695 901.15 o 31327 901.15 c 1694 901.35 o 31329 901.35 c 1692 902.55 o 31330 902.55 c 1691 909.56 o 31334 909.56 c 1687 909.74 o 31336 909.74 c 1685 911.14 o 31338 911.14 c 1683 911.34 o 31339 911.34 c 1682 911.75 o 31340 911.75 c 1681 915.43 o 31341 915.43 c 1680 915.79 o 31342 915.79 c 1679 916.38 o 31343 916.38 c 1678 916.58 o 31346 916.58 c 1675 916.78 o 31347 916.78 c 1674 916.98 o 31348 916.98 c 1673 917.18 o 31351 917.18 c 1670 917.38 o 31352 917.38 c 1669 918.14 o 31353 918.14 c 1668 920.45 o 31354 920.45 c 1667 920.65 o 31355 920.65 c 1666 921.45 o 31356 921.45 c 1665 923.44 o 31358 923.44 c 1663 923.65 o 31360 923.65 c 1661 924.26 o 31361 924.26 c 1660 924.46 o 31363 924.46 c 1658 926.89 o 31366 926.89 c 1655 928.43 o 31367 928.43 c 1654 930.20 o 31368 930.20 c 1653 930.60 o 31369 930.60 c 1652 931.00 o 31371 931.00 c 1650 931.41 o 31372 931.41 c 1649 931.81 o 31373 931.81 c 1648 932.01 o 31374 932.01 c 1647 932.22 o 31375 932.22 c 1646 932.62 o 31376 932.62 c 1645 932.74 o 31378 932.74 c 1643 943.57 o 31381 943.57 c 1640 944.52 o 31382 944.52 c 1639 947.20 o 31383 947.20 c 1638 947.41 o 31386 947.41 c 1635 947.53 o 31388 947.53 c 1633 948.15 o 31390 948.15 c 1631 948.36 o 31393 948.36 c 1628 948.98 o 31394 948.98 c 1627 949.79 o 31395 949.79 c 1626 949.99 o 31396 949.99 c 1625 952.07 o 31397 952.07 c 1624 952.28 o 31398 952.28 c 1623 952.80 o 31399 952.80 c 1622 953.01 o 31400 953.01 c 1621 954.04 o 31401 954.04 c 1620 954.66 o 31404 954.66 c 1617 954.87 o 31405 954.87 c 1616 955.08 o 31406 955.08 c 1615 955.28 o 31407 955.28 c 1614 955.47 o 31409 955.47 c 1612 968.61 o 31410 968.61 c 1611 968.75 o 31412 968.75 c 1609 970.81 o 31414 970.81 c 1607 971.44 o 31415 971.44 c 1606 971.65 o 31416 971.65 c 1605 971.87 o 31417 971.87 c 1604 972.36 o 31418 972.36 c 1603 972.47 o 31419 972.47 c 1602 973.33 o 31420 973.33 c 1601 974.60 o 31421 974.60 c 1600 975.02 o 31422 975.02 c 1599 975.45 o 31423 975.45 c 1598 981.72 o 31424 981.72 c 1597 981.90 o 31425 981.90 c 1596 982.04 o 31426 982.04 c 1595 982.59 o 31429 982.59 c 1592 983.00 o 31430 983.00 c 1591 983.21 o 31431 983.21 c 1590 984.04 o 31432 984.04 c 1589 984.65 o 31433 984.65 c 1588 1013.05 o 31437 1013.05 c 1584 1013.68 o 31439 1013.68 c 1582 1013.88 o 31440 1013.88 c 1581 1014.66 o 31441 1014.66 c 1580 1015.03 o 31442 1015.03 c 1579 1015.12 o 31443 1015.12 c 1578 1026.20 o 31444 1026.20 c 1577 1026.34 o 31445 1026.34 c 1576 1026.75 o 31446 1026.75 c 1575 1027.37 o 31447 1027.37 c 1574 1027.59 o 31448 1027.59 c 1573 1027.77 o 31449 1027.77 c 1572 1027.97 o 31450 1027.97 c 1571 1028.16 o 31452 1028.16 c 1569 1028.36 o 31453 1028.36 c 1568 1028.98 o 31455 1028.98 c 1566 1029.13 o 31456 1029.13 c 1565 1029.55 o 31457 1029.55 c 1564 1029.75 o 31459 1029.75 c 1562 1029.90 o 31460 1029.90 c 1561 1030.11 o 31462 1030.11 c 1559 1030.29 o 31463 1030.29 c 1558 1031.26 o 31464 1031.26 c 1557 1032.09 o 31465 1032.09 c 1556 1033.74 o 31466 1033.74 c 1555 1033.95 o 31469 1033.95 c 1552 1034.09 o 31470 1034.09 c 1551 1034.91 o 31471 1034.91 c 1550 1035.30 o 31472 1035.30 c 1549 1035.51 o 31473 1035.51 c 1548 1038.34 o 31475 1038.34 c 1546 1038.43 o 31477 1038.43 c 1544 1040.03 o 31478 1040.03 c 1543 1041.08 o 31481 1041.08 c 1540 1041.47 o 31482 1041.47 c 1539 1041.62 o 31484 1041.62 c 1537 1042.03 o 31485 1042.03 c 1536 1043.47 o 31486 1043.47 c 1535 1043.68 o 31489 1043.68 c 1532 1043.89 o 31491 1043.89 c 1530 1043.94 o 31494 1043.94 c 1527 1044.57 o 31495 1044.57 c 1526 1044.73 o 31496 1044.73 c 1525 1052.69 o 31497 1052.69 c 1524 1052.90 o 31498 1052.90 c 1523 1053.11 o 31499 1053.11 c 1522 1053.33 o 31501 1053.33 c 1520 1058.54 o 31502 1058.54 c 1519 1058.75 o 31503 1058.75 c 1518 1058.97 o 31504 1058.97 c 1517 1060.67 o 31507 1060.67 c 1514 1076.86 o 31509 1076.86 c 1512 1078.71 o 31511 1078.71 c 1510 1078.94 o 31512 1078.94 c 1509 1079.17 o 31513 1079.17 c 1508 1080.15 o 31514 1080.15 c 1507 1081.61 o 31516 1081.61 c 1505 1082.25 o 31519 1082.25 c 1502 1082.47 o 31520 1082.47 c 1501 1083.14 o 31521 1083.14 c 1500 1083.37 o 31523 1083.37 c 1498 1083.59 o 31524 1083.59 c 1497 1083.82 o 31525 1083.82 c 1496 1084.92 o 31527 1084.92 c 1494 1085.15 o 31531 1085.15 c 1490 1085.37 o 31532 1085.37 c 1489 1085.53 o 31535 1085.53 c 1486 1086.42 o 31536 1086.42 c 1485 1090.00 o 31538 1090.00 c 1483 1090.22 o 31539 1090.22 c 1482 1090.66 o 31541 1090.66 c 1480 1112.29 o 31542 1112.29 c 1479 1112.74 o 31543 1112.74 c 1478 1112.88 o 31544 1112.88 c 1477 1113.10 o 31546 1113.10 c 1475 1113.33 o 31549 1113.33 c 1472 1116.05 o 31552 1116.05 c 1469 1116.48 o 31553 1116.48 c 1468 1117.14 o 31554 1117.14 c 1467 1117.36 o 31556 1117.36 c 1465 1119.74 o 31560 1119.74 c 1461 1120.22 o 31561 1120.22 c 1460 1120.44 o 31562 1120.44 c 1459 1120.65 o 31564 1120.65 c 1457 1121.30 o 31565 1121.30 c 1456 1122.32 o 31566 1122.32 c 1455 1123.82 o 31567 1123.82 c 1454 1124.23 o 31568 1124.23 c 1453 1124.45 o 31569 1124.45 c 1452 1125.11 o 31570 1125.11 c 1451 1125.33 o 31571 1125.33 c 1450 1127.20 o 31572 1127.20 c 1449 1127.41 o 31573 1127.41 c 1448 1157.77 1157.77 search 1157.77 run=0 nbConstraintChecks=6289194798 nbAssignments=8668 1157.77 => wckTime=1123.725 cpuTime=1118.12 mem=64M454 1157.77 1157.77 global 1157.77 nbConstraintChecks=6289194798 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1157.77 solvingWckTime=1123.706 solvingCpuTime=1118.1 expiredTime=no totalExploration=no nbFoundSolutions=0 1157.77 globalCpuTime=1150.47 1157.77 => wckTime=1157.461 cpuTime=1150.42 mem=64M454 1157.77 1157.77 solver IterativeSystematicSolver being built... 1158.16 => wckTime=1157.847 cpuTime=1150.68 mem=91M679 1158.64 1158.64 preprocessing 1158.64 nbConstraintChecks=55680 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 1158.64 detectedInconsistency=no 1158.64 => wckTime=0.467 cpuTime=0.45 mem=91M679 2411.90 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/node14/watcher-275256-1169218907 -o ROOT/results/node14/solver-275256-1169218907 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275256-1169218907/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.88 1.98 1.94 4/99 16930 /proc/meminfo: memFree=1231536/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=1784 CPUtime=0 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 270285699 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/16929/statm: 446 140 106 14 0 91 0 [startup+0.105813 s] /proc/loadavg: 1.88 1.98 1.94 4/99 16930 /proc/meminfo: memFree=1231536/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=914988 CPUtime=0.08 /proc/16929/stat : 16929 (java) S 16927 16929 16085 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 270285699 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228747 2742 1427 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.513851 s] /proc/loadavg: 1.88 1.98 1.94 4/99 16930 /proc/meminfo: memFree=1231536/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915332 CPUtime=0.49 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 6891 0 1 0 45 4 0 0 18 0 8 0 270285699 937299968 6630 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072920623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228833 6630 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.33693 s] /proc/loadavg: 1.88 1.98 1.94 4/106 16937 /proc/meminfo: memFree=1157624/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915612 CPUtime=1.29 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 22694 0 1 0 117 12 0 0 18 0 8 0 270285699 937586688 22431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073577081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228903 22431 2161 14 0 215373 0 [pid=16929/tid=16931] ppid=16927 vsize=915612 CPUtime=0.09 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 6141 0 0 0 7 2 0 0 16 0 8 0 270285703 937586688 22431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=915612 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937586688 22431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=915612 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937586688 22431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=915612 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937586688 22431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=915612 CPUtime=0.15 /proc/16929/task/16935/stat : 16935 (java) R 16927 16929 16085 0 -1 64 404 0 0 0 15 0 0 0 19 0 8 0 270285706 937586688 22431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=915612 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937586688 22431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=915612 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937586688 22431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915612 [startup+2.99008 s] /proc/loadavg: 1.89 1.98 1.94 3/106 16943 /proc/meminfo: memFree=1144440/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915744 CPUtime=2.93 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 24081 0 1 0 279 14 0 0 25 0 8 0 270285699 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228936 23815 2181 14 0 215406 0 [pid=16929/tid=16931] ppid=16927 vsize=915744 CPUtime=0.17 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 7449 0 0 0 14 3 0 0 16 0 8 0 270285703 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=915744 CPUtime=0.19 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 418 0 0 0 18 1 0 0 16 0 8 0 270285706 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 915744 [startup+6.28939 s] /proc/loadavg: 1.89 1.98 1.94 3/106 16945 /proc/meminfo: memFree=1144312/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915744 CPUtime=6.2 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 24108 0 1 0 602 18 0 0 25 0 8 0 270285699 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228936 23839 2182 14 0 215406 0 [pid=16929/tid=16931] ppid=16927 vsize=915744 CPUtime=0.17 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 7449 0 0 0 14 3 0 0 17 0 8 0 270285703 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=915744 CPUtime=0.22 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 270285706 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 915744 [startup+12.776 s] /proc/loadavg: 1.91 1.98 1.94 3/106 16949 /proc/meminfo: memFree=1138232/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915744 CPUtime=12.63 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 25667 0 1 0 1225 38 0 0 25 0 8 0 270285699 937721856 25395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228936 25395 2183 14 0 215406 0 [pid=16929/tid=16931] ppid=16927 vsize=915744 CPUtime=0.24 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 8998 0 0 0 20 4 0 0 16 0 8 0 270285703 937721856 25395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 25395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 25395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937721856 25395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=915744 CPUtime=0.23 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 447 0 0 0 22 1 0 0 17 0 8 0 270285706 937721856 25395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937721856 25395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937721856 25395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 915744 [startup+25.6322 s] /proc/loadavg: 1.92 1.98 1.94 3/106 16957 /proc/meminfo: memFree=1089920/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915744 CPUtime=25.33 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 27831 0 1 0 2434 99 0 0 25 0 8 0 270285699 937721856 27558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228936 27558 2183 14 0 215406 0 [pid=16929/tid=16931] ppid=16927 vsize=915744 CPUtime=0.36 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 11158 0 0 0 32 4 0 0 16 0 8 0 270285703 937721856 27558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 27558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 27558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937721856 27558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=915744 CPUtime=0.24 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 450 0 0 0 23 1 0 0 16 0 8 0 270285706 937721856 27558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937721856 27558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937721856 27558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 915744 [startup+51.2515 s] /proc/loadavg: 1.95 1.98 1.94 3/100 16977 /proc/meminfo: memFree=1067320/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915744 CPUtime=50.72 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 34096 0 1 0 4907 165 0 0 25 0 8 0 270285699 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228936 33768 2501 14 0 215406 0 [pid=16929/tid=16931] ppid=16927 vsize=915744 CPUtime=0.88 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 17042 0 0 0 81 7 0 0 16 0 8 0 270285703 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=915744 CPUtime=0.29 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270285706 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 915744 [startup+102.484 s] /proc/loadavg: 1.98 1.98 1.94 3/100 16977 /proc/meminfo: memFree=1067384/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915744 CPUtime=101.64 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 34097 0 1 0 9983 181 0 0 25 0 8 0 270285699 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 228936 33769 2501 14 0 215406 0 [pid=16929/tid=16931] ppid=16927 vsize=915744 CPUtime=0.88 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 17042 0 0 0 81 7 0 0 16 0 8 0 270285703 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=915744 CPUtime=0.29 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 480 0 0 0 28 1 0 0 15 0 8 0 270285706 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=915744 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.64 Current children cumulated vsize (KiB) 915744 [startup+162.561 s] /proc/loadavg: 1.99 1.98 1.94 3/100 16977 /proc/meminfo: memFree=1067384/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=915744 CPUtime=161.41 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 34097 0 1 0 15951 190 0 0 25 0 8 0 270285699 937721856 33769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2015.04 Current children cumulated vsize (KiB) 916012 [startup+2085.09 s] /proc/loadavg: 2.00 2.00 1.98 3/100 16979 /proc/meminfo: memFree=1049720/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=916012 CPUtime=2074.84 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 38515 0 1 0 207222 262 0 0 25 0 8 0 270285699 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 229003 38176 2546 14 0 215473 0 [pid=16929/tid=16931] ppid=16927 vsize=916012 CPUtime=0.94 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 21236 0 0 0 86 8 0 0 16 0 8 0 270285703 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=916012 CPUtime=0.42 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 611 0 0 0 40 2 0 0 16 0 8 0 270285706 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2074.84 Current children cumulated vsize (KiB) 916012 [startup+2145.13 s] /proc/loadavg: 2.00 2.00 1.98 3/100 16979 /proc/meminfo: memFree=933496/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=916012 CPUtime=2134.6 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 38515 0 1 0 213198 262 0 0 25 0 8 0 270285699 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 229003 38176 2546 14 0 215473 0 [pid=16929/tid=16931] ppid=16927 vsize=916012 CPUtime=0.94 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 21236 0 0 0 86 8 0 0 16 0 8 0 270285703 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=916012 CPUtime=0.42 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 611 0 0 0 40 2 0 0 16 0 8 0 270285706 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937996288 38176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2134.6 Current children cumulated vsize (KiB) 916012 [startup+2205.16 s] /proc/loadavg: 2.00 2.00 1.98 3/100 16979 /proc/meminfo: memFree=933368/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=916012 CPUtime=2194.35 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 38522 0 1 0 219173 262 0 0 25 0 8 0 270285699 937996288 38181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 229003 38181 2546 14 0 215473 0 [pid=16929/tid=16931] ppid=16927 vsize=916012 CPUtime=0.94 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 21236 0 0 0 86 8 0 0 16 0 8 0 270285703 937996288 38181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937996288 38181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=916012 CPUtime=0.43 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 616 0 0 0 41 2 0 0 16 0 8 0 270285706 937996288 38181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937996288 38181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937996288 38181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2194.35 Current children cumulated vsize (KiB) 916012 [startup+2265.23 s] /proc/loadavg: 2.00 2.00 1.98 3/100 16979 /proc/meminfo: memFree=933368/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=916012 CPUtime=2254.13 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 38527 0 1 0 225150 263 0 0 25 0 8 0 270285699 937996288 38183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 229003 38183 2546 14 0 215473 0 [pid=16929/tid=16931] ppid=16927 vsize=916012 CPUtime=0.94 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 21236 0 0 0 86 8 0 0 16 0 8 0 270285703 937996288 38183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937996288 38183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=916012 CPUtime=0.43 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 619 0 0 0 41 2 0 0 16 0 8 0 270285706 937996288 38183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937996288 38183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937996288 38183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2254.13 Current children cumulated vsize (KiB) 916012 [startup+2325.31 s] /proc/loadavg: 2.00 2.00 1.98 3/100 16979 /proc/meminfo: memFree=933304/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=916012 CPUtime=2313.93 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 38530 0 1 0 231130 263 0 0 25 0 8 0 270285699 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074310908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16929/statm: 229003 38184 2546 14 0 215473 0 [pid=16929/tid=16931] ppid=16927 vsize=916012 CPUtime=0.94 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 21236 0 0 0 86 8 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=916012 CPUtime=0.43 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 620 0 0 0 41 2 0 0 16 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2313.93 Current children cumulated vsize (KiB) 916012 [startup+2385.38 s] /proc/loadavg: 1.92 1.98 1.97 3/94 17069 /proc/meminfo: memFree=912360/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=916012 CPUtime=2373.7 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 38530 0 1 0 237105 265 0 0 25 0 8 0 270285699 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16929/statm: 229003 38184 2546 14 0 215473 0 [pid=16929/tid=16931] ppid=16927 vsize=916012 CPUtime=0.94 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 21236 0 0 0 86 8 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=916012 CPUtime=0.43 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 620 0 0 0 41 2 0 0 16 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2373.7 Current children cumulated vsize (KiB) 916012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2411.9 s] /proc/loadavg: 1.95 1.98 1.97 3/94 17069 /proc/meminfo: memFree=870632/2055920 swapFree=4158792/4192956 [pid=16929] ppid=16927 vsize=916012 CPUtime=2400.01 /proc/16929/stat : 16929 (java) R 16927 16929 16085 0 -1 0 38530 0 1 0 239735 266 0 0 25 0 8 0 270285699 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16929/statm: 229003 38184 2546 14 0 215473 0 [pid=16929/tid=16931] ppid=16927 vsize=916012 CPUtime=0.94 /proc/16929/task/16931/stat : 16931 (java) S 16927 16929 16085 0 -1 64 21236 0 0 0 86 8 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16932] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16932/stat : 16932 (java) S 16927 16929 16085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16933] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16933/stat : 16933 (java) S 16927 16929 16085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285703 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16934] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16934/stat : 16934 (java) S 16927 16929 16085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16935] ppid=16927 vsize=916012 CPUtime=0.43 /proc/16929/task/16935/stat : 16935 (java) S 16927 16929 16085 0 -1 64 620 0 0 0 41 2 0 0 16 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16936] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16936/stat : 16936 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16929/tid=16937] ppid=16927 vsize=916012 CPUtime=0 /proc/16929/task/16937/stat : 16937 (java) S 16927 16929 16085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285706 937996288 38184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 916012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2411.98 CPU time (s): 2400.09 CPU user time (s): 2397.4 CPU system time (s): 2.68659 CPU usage (%): 99.507 Max. virtual memory (cumulated for all children) (KiB): 916012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.4 system time used= 2.68659 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38555 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= 50470 involuntary context switches= 115129 runsolver used 3.08253 s user time and 7.83281 s system time The end
Begin job on node14 on Fri Jan 19 15:01:48 UTC 2007 IDJOB= 275256 IDBENCH= 3743 IDSOLVER= 69 FILE ID= node14/275256-1169218907 PBS_JOBID= 3588912 Free space on /tmp= 66551 MiB SOLVER NAME= AbsconMax 109 PFC 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 pfc.xml 1 XSax /tmp/evaluation/275256-1169218907/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-275256-1169218907 -o ROOT/results/node14/solver-275256-1169218907 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275256-1169218907/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 2cf7ece5c4ec944165ff6d4cc1345473 RANDOM SEED= 430460971 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.227 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.227 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: 1232016 kB Buffers: 49800 kB Cached: 558724 kB SwapCached: 3272 kB Active: 256528 kB Inactive: 490104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1232016 kB SwapTotal: 4192956 kB SwapFree: 4158792 kB Dirty: 6292 kB Writeback: 0 kB Mapped: 155424 kB Slab: 61492 kB Committed_AS: 9368244 kB PageTables: 2668 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= 66556 MiB End job on node14 on Fri Jan 19 15:42:00 UTC 2007