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.14 | 2410.91 |
| Name | fapp/fapp11-15/fapp15/ fapp15-3000-0.xml |
| MD5SUM | 2be79f0821f7522fe88dc3496c804b12 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 30637 |
| Best CPU time to get the best result obtained on this benchmark | 2400.11 |
| 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.29 0.29 Abscon 109 (November, 2006) 0.29 0.29 configuration 0.29 name=pfc.xml 0.33 0.33 instance 0.33 name=/tmp/evaluation/275250-1169218891/unknown.xml 0.36 0.36 domains being loaded... 0.39 0.39 variables being loaded... 0.65 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.65 => wckTime=0.349 cpuTime=0.27 mem=27M382 0.65 0.65 predicates being loaded... 0.65 0.65 constraints being loaded... 32.86 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=93967225 nbExtensionStructures=5683 32.86 nbSharedExtensionStructures=27338 nbConflictsStructures=5683 nbSharedConflictsStructures=27338 32.86 nbSharedBinaryRepresentations=1494678 maxDegree=29 maxArity=2 32.86 => wckTime=32.562 cpuTime=31.75 mem=70M111 33.18 33.18 solver LocalSearchSolver being built... 33.22 => wckTime=32.919 cpuTime=31.8 mem=64M47 33.30 33.30 s SATISFIABLE 33.30 o 24529 33.30 c 8492 33.32 o 24537 33.32 c 8484 33.33 o 24546 33.33 c 8475 33.35 o 24553 33.35 c 8468 33.36 o 24559 33.36 c 8462 33.37 o 24564 33.37 c 8457 33.38 o 24568 33.38 c 8453 33.39 o 24572 33.39 c 8449 33.41 o 24576 33.41 c 8445 33.42 o 24578 33.42 c 8443 33.43 o 24580 33.43 c 8441 33.44 o 24582 33.44 c 8439 33.45 o 24591 33.45 c 8430 33.46 o 24599 33.46 c 8422 33.47 o 24607 33.47 c 8414 33.48 o 24613 33.48 c 8408 33.49 o 24618 33.49 c 8403 33.50 o 24622 33.50 c 8399 33.51 o 24626 33.51 c 8395 33.52 o 24630 33.52 c 8391 33.53 o 24633 33.53 c 8388 33.54 o 24636 33.54 c 8385 33.54 o 24638 33.54 c 8383 33.56 o 24640 33.56 c 8381 33.57 o 24642 33.57 c 8379 33.58 o 24643 33.58 c 8378 33.59 o 24654 33.59 c 8367 33.60 o 24663 33.60 c 8358 33.62 o 24671 33.62 c 8350 33.63 o 24679 33.63 c 8342 33.65 o 24687 33.65 c 8334 33.66 o 24695 33.66 c 8326 33.68 o 24703 33.68 c 8318 33.69 o 24709 33.69 c 8312 33.71 o 24715 33.71 c 8306 33.72 o 24721 33.72 c 8300 33.73 o 24727 33.73 c 8294 33.75 o 24732 33.75 c 8289 33.77 o 24737 33.77 c 8284 33.78 o 24742 33.78 c 8279 33.79 o 24747 33.79 c 8274 33.80 o 24752 33.80 c 8269 33.82 o 24756 33.82 c 8265 33.83 o 24760 33.83 c 8261 33.84 o 24764 33.84 c 8257 33.85 o 24768 33.85 c 8253 33.86 o 24771 33.86 c 8250 33.88 o 24774 33.88 c 8247 33.89 o 24777 33.89 c 8244 33.90 o 24780 33.90 c 8241 33.91 o 24783 33.91 c 8238 33.92 o 24786 33.92 c 8235 33.93 o 24789 33.93 c 8232 33.94 o 24791 33.94 c 8230 33.95 o 24793 33.95 c 8228 33.96 o 24794 33.96 c 8227 33.98 o 24795 33.98 c 8226 33.98 o 24796 33.98 c 8225 34.00 o 24797 34.00 c 8224 34.02 o 24802 34.02 c 8219 34.04 o 24805 34.04 c 8216 34.05 o 24811 34.05 c 8210 34.06 o 24818 34.06 c 8203 34.07 o 24823 34.07 c 8198 34.09 o 24828 34.09 c 8193 34.11 o 24837 34.11 c 8184 34.13 o 24845 34.13 c 8176 34.14 o 24853 34.14 c 8168 34.16 o 24860 34.16 c 8161 34.18 o 24867 34.18 c 8154 34.20 o 24874 34.21 c 8147 34.23 o 24880 34.23 c 8141 34.24 o 24886 34.24 c 8135 34.27 o 24892 34.27 c 8129 34.28 o 24898 34.29 c 8123 34.30 o 24904 34.30 c 8117 34.32 o 24909 34.33 c 8112 34.34 o 24914 34.34 c 8107 34.36 o 24919 34.36 c 8102 34.38 o 24924 34.38 c 8097 34.40 o 24927 34.40 c 8094 34.42 o 24932 34.42 c 8089 34.43 o 24937 34.43 c 8084 34.45 o 24942 34.45 c 8079 34.47 o 24947 34.47 c 8074 34.48 o 24951 34.48 c 8070 34.50 o 24955 34.50 c 8066 34.52 o 24959 34.52 c 8062 34.53 o 24963 34.53 c 8058 34.55 o 24967 34.55 c 8054 34.56 o 24969 34.57 c 8052 34.58 o 24973 34.58 c 8048 34.60 o 24977 34.60 c 8044 34.61 o 24981 34.61 c 8040 34.63 o 24984 34.63 c 8037 34.64 o 24987 34.64 c 8034 34.66 o 24990 34.66 c 8031 34.67 o 24993 34.67 c 8028 34.69 o 24996 34.69 c 8025 34.70 o 24999 34.70 c 8022 34.72 o 25001 34.72 c 8020 34.73 o 25003 34.73 c 8018 34.74 o 25005 34.74 c 8016 34.75 o 25007 34.75 c 8014 34.77 o 25009 34.77 c 8012 34.78 o 25011 34.78 c 8010 34.79 o 25013 34.79 c 8008 34.81 o 25015 34.81 c 8006 34.82 o 25017 34.82 c 8004 34.83 o 25023 34.83 c 7998 34.84 o 25024 34.84 c 7997 34.85 o 25025 34.85 c 7996 34.86 o 25026 34.86 c 7995 34.87 o 25027 34.87 c 7994 34.88 o 25028 34.88 c 7993 34.89 o 25029 34.89 c 7992 34.90 o 25030 34.90 c 7991 34.91 o 25031 34.91 c 7990 34.92 o 25032 34.92 c 7989 34.93 o 25033 34.93 c 7988 34.94 o 25034 34.94 c 7987 34.95 o 25035 34.95 c 7986 34.97 o 25037 34.97 c 7984 34.98 o 25041 34.98 c 7980 34.99 o 25044 34.99 c 7977 35.00 o 25047 35.00 c 7974 35.01 o 25053 35.01 c 7968 35.03 o 25058 35.03 c 7963 35.03 o 25060 35.03 c 7961 35.05 o 25065 35.05 c 7956 35.06 o 25071 35.06 c 7950 35.07 o 25074 35.07 c 7947 35.08 o 25075 35.08 c 7946 35.09 o 25076 35.09 c 7945 35.10 o 25079 35.10 c 7942 35.11 o 25084 35.11 c 7937 35.12 o 25085 35.12 c 7936 35.14 o 25087 35.14 c 7934 35.15 o 25089 35.15 c 7932 35.16 o 25096 35.16 c 7925 35.18 o 25098 35.18 c 7923 35.20 o 25105 35.20 c 7916 35.22 o 25112 35.22 c 7909 35.24 o 25119 35.24 c 7902 35.26 o 25125 35.26 c 7896 35.28 o 25131 35.29 c 7890 35.31 o 25137 35.31 c 7884 35.33 o 25143 35.33 c 7878 35.35 o 25145 35.35 c 7876 35.37 o 25151 35.37 c 7870 35.39 o 25157 35.39 c 7864 35.41 o 25163 35.41 c 7858 35.43 o 25168 35.43 c 7853 35.46 o 25173 35.46 c 7848 35.48 o 25178 35.48 c 7843 35.50 o 25183 35.50 c 7838 35.52 o 25188 35.52 c 7833 35.54 o 25193 35.54 c 7828 35.56 o 25198 35.56 c 7823 35.58 o 25203 35.58 c 7818 35.60 o 25207 35.60 c 7814 35.62 o 25211 35.62 c 7810 35.64 o 25215 35.64 c 7806 35.66 o 25219 35.66 c 7802 35.68 o 25223 35.68 c 7798 35.69 o 25227 35.69 c 7794 35.71 o 25231 35.71 c 7790 35.73 o 25235 35.73 c 7786 35.75 o 25238 35.75 c 7783 35.77 o 25241 35.77 c 7780 35.79 o 25244 35.79 c 7777 35.81 o 25247 35.81 c 7774 35.82 o 25248 35.82 c 7773 35.84 o 25250 35.84 c 7771 35.86 o 25253 35.86 c 7768 35.87 o 25256 35.87 c 7765 35.89 o 25259 35.89 c 7762 35.91 o 25262 35.91 c 7759 35.92 o 25265 35.92 c 7756 35.94 o 25268 35.94 c 7753 35.95 o 25271 35.95 c 7750 35.97 o 25274 35.97 c 7747 35.98 o 25277 35.98 c 7744 36.00 o 25280 36.00 c 7741 36.01 o 25283 36.01 c 7738 36.03 o 25285 36.03 c 7736 36.04 o 25287 36.04 c 7734 36.05 o 25289 36.05 c 7732 36.07 o 25291 36.07 c 7730 36.08 o 25293 36.08 c 7728 36.09 o 25295 36.09 c 7726 36.11 o 25297 36.11 c 7724 36.12 o 25299 36.12 c 7722 36.13 o 25301 36.13 c 7720 36.14 o 25303 36.15 c 7718 36.16 o 25304 36.16 c 7717 36.17 o 25305 36.17 c 7716 36.18 o 25306 36.18 c 7715 36.19 o 25308 36.19 c 7713 36.20 o 25309 36.20 c 7712 36.22 o 25310 36.22 c 7711 36.23 o 25311 36.23 c 7710 36.24 o 25312 36.24 c 7709 36.29 o 25314 36.29 c 7707 36.30 o 25319 36.30 c 7702 36.31 o 25323 36.31 c 7698 36.32 o 25325 36.32 c 7696 36.33 o 25328 36.33 c 7693 36.34 o 25330 36.34 c 7691 36.35 o 25331 36.35 c 7690 36.36 o 25337 36.36 c 7684 36.38 o 25342 36.38 c 7679 36.39 o 25347 36.39 c 7674 36.40 o 25352 36.40 c 7669 36.41 o 25356 36.41 c 7665 36.42 o 25358 36.42 c 7663 36.43 o 25360 36.43 c 7661 36.45 o 25361 36.45 c 7660 36.46 o 25363 36.46 c 7658 36.48 o 25366 36.48 c 7655 36.49 o 25371 36.49 c 7650 36.50 o 25374 36.50 c 7647 36.52 o 25382 36.52 c 7639 36.53 o 25384 36.53 c 7637 36.54 o 25389 36.54 c 7632 36.55 o 25393 36.55 c 7628 36.55 o 25396 36.55 c 7625 36.56 o 25401 36.57 c 7620 36.57 o 25410 36.57 c 7611 36.59 o 25411 36.59 c 7610 36.60 o 25416 36.60 c 7605 36.61 o 25425 36.61 c 7596 36.62 o 25428 36.62 c 7593 36.63 o 25433 36.63 c 7588 36.64 o 25436 36.64 c 7585 36.66 o 25437 36.66 c 7584 36.66 o 25439 36.67 c 7582 36.68 o 25443 36.68 c 7578 36.69 o 25446 36.69 c 7575 36.70 o 25450 36.70 c 7571 36.71 o 25452 36.71 c 7569 36.72 o 25455 36.72 c 7566 36.73 o 25456 36.73 c 7565 36.74 o 25459 36.74 c 7562 36.75 o 25462 36.75 c 7559 36.76 o 25465 36.76 c 7556 36.77 o 25467 36.77 c 7554 36.78 o 25468 36.78 c 7553 36.79 o 25470 36.79 c 7551 36.80 o 25473 36.80 c 7548 36.81 o 25480 36.81 c 7541 36.83 o 25484 36.83 c 7537 36.84 o 25488 36.84 c 7533 36.86 o 25491 36.86 c 7530 36.87 o 25497 36.87 c 7524 36.88 o 25499 36.88 c 7522 36.90 o 25506 36.90 c 7515 36.92 o 25513 36.92 c 7508 36.94 o 25519 36.94 c 7502 36.96 o 25525 36.96 c 7496 36.98 o 25531 36.98 c 7490 37.01 o 25537 37.01 c 7484 37.03 o 25542 37.03 c 7479 37.05 o 25547 37.05 c 7474 37.07 o 25552 37.07 c 7469 37.09 o 25557 37.09 c 7464 37.11 o 25561 37.11 c 7460 37.14 o 25565 37.14 c 7456 37.16 o 25569 37.16 c 7452 37.18 o 25573 37.18 c 7448 37.20 o 25577 37.20 c 7444 37.22 o 25581 37.22 c 7440 37.24 o 25585 37.24 c 7436 37.26 o 25589 37.26 c 7432 37.28 o 25593 37.28 c 7428 37.30 o 25597 37.30 c 7424 37.32 o 25601 37.32 c 7420 37.33 o 25608 37.33 c 7413 37.35 o 25613 37.35 c 7408 37.37 o 25617 37.37 c 7404 37.39 o 25621 37.39 c 7400 37.41 o 25625 37.41 c 7396 37.43 o 25628 37.43 c 7393 37.44 o 25631 37.44 c 7390 37.46 o 25634 37.46 c 7387 37.48 o 25637 37.48 c 7384 37.50 o 25640 37.50 c 7381 37.52 o 25643 37.52 c 7378 37.54 o 25646 37.54 c 7375 37.55 o 25649 37.55 c 7372 37.57 o 25651 37.57 c 7370 37.59 o 25653 37.59 c 7368 37.61 o 25655 37.61 c 7366 37.62 o 25657 37.62 c 7364 37.64 o 25659 37.64 c 7362 37.65 o 25661 37.65 c 7360 37.67 o 25663 37.67 c 7358 37.68 o 25665 37.68 c 7356 37.70 o 25667 37.70 c 7354 37.71 o 25669 37.71 c 7352 37.73 o 25671 37.73 c 7350 37.74 o 25673 37.74 c 7348 37.76 o 25675 37.76 c 7346 37.77 o 25676 37.77 c 7345 37.79 o 25677 37.79 c 7344 37.80 o 25678 37.80 c 7343 37.82 o 25679 37.82 c 7342 37.83 o 25680 37.83 c 7341 37.84 o 25681 37.84 c 7340 37.86 o 25682 37.86 c 7339 37.88 o 25683 37.88 c 7338 37.89 o 25684 37.89 c 7337 37.90 o 25689 37.90 c 7332 37.92 o 25690 37.92 c 7331 38.00 o 25695 38.00 c 7326 38.01 o 25699 38.01 c 7322 38.02 o 25703 38.02 c 7318 38.04 o 25704 38.04 c 7317 38.05 o 25710 38.05 c 7311 38.06 o 25712 38.06 c 7309 38.07 o 25718 38.07 c 7303 38.09 o 25723 38.09 c 7298 38.10 o 25728 38.10 c 7293 38.11 o 25732 38.11 c 7289 38.12 o 25737 38.12 c 7284 38.13 o 25739 38.14 c 7282 38.15 o 25742 38.15 c 7279 38.17 o 25745 38.17 c 7276 38.18 o 25749 38.18 c 7272 38.19 o 25752 38.19 c 7269 38.21 o 25759 38.21 c 7262 38.22 o 25762 38.22 c 7259 38.23 o 25764 38.23 c 7257 38.26 o 25768 38.26 c 7253 38.27 o 25772 38.27 c 7249 38.28 o 25776 38.28 c 7245 38.30 o 25777 38.30 c 7244 38.31 o 25779 38.31 c 7242 38.32 o 25780 38.32 c 7241 38.33 o 25783 38.33 c 7238 38.35 o 25788 38.35 c 7233 38.36 o 25791 38.36 c 7230 38.37 o 25792 38.37 c 7229 38.40 o 25794 38.40 c 7227 38.41 o 25797 38.41 c 7224 38.43 o 25801 38.43 c 7220 38.44 o 25805 38.44 c 7216 38.45 o 25808 38.45 c 7213 38.47 o 25812 38.47 c 7209 38.48 o 25813 38.48 c 7208 38.49 o 25817 38.49 c 7204 38.51 o 25820 38.51 c 7201 38.52 o 25822 38.52 c 7199 38.54 o 25829 38.54 c 7192 38.56 o 25831 38.56 c 7190 38.57 o 25836 38.57 c 7185 38.58 o 25838 38.58 c 7183 38.60 o 25842 38.60 c 7179 38.61 o 25843 38.61 c 7178 38.63 o 25848 38.63 c 7173 38.64 o 25849 38.64 c 7172 38.67 o 25850 38.68 c 7171 38.70 o 25855 38.70 c 7166 38.71 o 25858 38.71 c 7163 38.73 o 25859 38.73 c 7162 38.74 o 25862 38.74 c 7159 38.76 o 25865 38.76 c 7156 38.78 o 25871 38.78 c 7150 38.79 o 25875 38.79 c 7146 38.82 o 25876 38.82 c 7145 38.84 o 25881 38.84 c 7140 38.86 o 25884 38.86 c 7137 38.87 o 25891 38.87 c 7130 38.90 o 25892 38.90 c 7129 38.92 o 25893 38.92 c 7128 38.95 o 25895 38.95 c 7126 38.97 o 25896 38.97 c 7125 38.99 o 25903 38.99 c 7118 39.02 o 25908 39.02 c 7113 39.05 o 25913 39.05 c 7108 39.07 o 25918 39.07 c 7103 39.10 o 25923 39.10 c 7098 39.13 o 25928 39.13 c 7093 39.16 o 25933 39.16 c 7088 39.19 o 25937 39.19 c 7084 39.22 o 25941 39.22 c 7080 39.25 o 25946 39.25 c 7075 39.28 o 25949 39.28 c 7072 39.31 o 25953 39.31 c 7068 39.33 o 25957 39.33 c 7064 39.36 o 25961 39.36 c 7060 39.39 o 25965 39.39 c 7056 39.41 o 25968 39.41 c 7053 39.44 o 25972 39.44 c 7049 39.46 o 25978 39.46 c 7043 39.49 o 25982 39.49 c 7039 39.52 o 25986 39.52 c 7035 39.55 o 25990 39.55 c 7031 39.57 o 25993 39.57 c 7028 39.60 o 25994 39.60 c 7027 39.62 o 25998 39.62 c 7023 39.65 o 26001 39.65 c 7020 39.68 o 26004 39.68 c 7017 39.70 o 26007 39.70 c 7014 39.73 o 26010 39.73 c 7011 39.75 o 26013 39.75 c 7008 39.78 o 26016 39.78 c 7005 39.81 o 26019 39.81 c 7002 39.83 o 26022 39.83 c 6999 39.85 o 26025 39.85 c 6996 39.88 o 26028 39.88 c 6993 39.90 o 26030 39.90 c 6991 39.93 o 26032 39.93 c 6989 39.95 o 26034 39.95 c 6987 39.97 o 26036 39.97 c 6985 40.00 o 26038 40.00 c 6983 40.02 o 26040 40.02 c 6981 40.04 o 26042 40.04 c 6979 40.06 o 26044 40.06 c 6977 40.08 o 26046 40.08 c 6975 40.10 o 26048 40.10 c 6973 40.12 o 26052 40.12 c 6969 40.14 o 26053 40.14 c 6968 40.16 o 26054 40.16 c 6967 40.19 o 26056 40.19 c 6965 40.21 o 26057 40.21 c 6964 40.23 o 26062 40.23 c 6959 40.25 o 26063 40.25 c 6958 40.27 o 26064 40.27 c 6957 40.29 o 26065 40.29 c 6956 40.31 o 26066 40.31 c 6955 40.33 o 26067 40.33 c 6954 40.35 o 26068 40.35 c 6953 40.37 o 26075 40.37 c 6946 40.51 o 26076 40.51 c 6945 40.53 o 26079 40.53 c 6942 40.56 o 26083 40.56 c 6938 40.58 o 26087 40.58 c 6934 40.60 o 26090 40.60 c 6931 40.61 o 26096 40.61 c 6925 40.63 o 26097 40.63 c 6924 40.64 o 26099 40.64 c 6922 40.66 o 26104 40.66 c 6917 40.68 o 26105 40.68 c 6916 40.70 o 26109 40.70 c 6912 40.73 o 26110 40.73 c 6911 40.75 o 26115 40.75 c 6906 40.76 o 26120 40.76 c 6901 40.78 o 26121 40.78 c 6900 40.79 o 26122 40.79 c 6899 40.81 o 26126 40.81 c 6895 40.82 o 26130 40.82 c 6891 40.84 o 26131 40.84 c 6890 40.86 o 26132 40.86 c 6889 40.89 o 26134 40.89 c 6887 40.90 o 26136 40.90 c 6885 40.92 o 26138 40.92 c 6883 40.93 o 26141 40.93 c 6880 40.95 o 26146 40.95 c 6875 40.98 o 26150 40.98 c 6871 41.00 o 26152 41.00 c 6869 41.01 o 26155 41.01 c 6866 41.03 o 26158 41.03 c 6863 41.06 o 26160 41.06 c 6861 41.07 o 26164 41.07 c 6857 41.09 o 26165 41.09 c 6856 41.11 o 26166 41.11 c 6855 41.12 o 26167 41.12 c 6854 41.14 o 26169 41.14 c 6852 41.16 o 26170 41.16 c 6851 41.19 o 26176 41.19 c 6845 41.21 o 26180 41.21 c 6841 41.23 o 26183 41.23 c 6838 41.24 o 26185 41.24 c 6836 41.26 o 26187 41.26 c 6834 41.28 o 26190 41.28 c 6831 41.30 o 26191 41.30 c 6830 41.32 o 26197 41.32 c 6824 41.35 o 26200 41.35 c 6821 41.36 o 26201 41.36 c 6820 41.38 o 26202 41.38 c 6819 41.40 o 26204 41.40 c 6817 41.42 o 26207 41.42 c 6814 41.44 o 26212 41.44 c 6809 41.46 o 26214 41.46 c 6807 41.48 o 26215 41.48 c 6806 41.49 o 26220 41.49 c 6801 41.51 o 26224 41.51 c 6797 41.53 o 26226 41.53 c 6795 41.55 o 26230 41.55 c 6791 41.57 o 26231 41.57 c 6790 41.59 o 26235 41.59 c 6786 41.61 o 26237 41.61 c 6784 41.63 o 26239 41.63 c 6782 41.65 o 26244 41.65 c 6777 41.67 o 26247 41.67 c 6774 41.71 o 26248 41.71 c 6773 41.73 o 26249 41.73 c 6772 41.75 o 26250 41.75 c 6771 41.77 o 26253 41.77 c 6768 41.79 o 26257 41.79 c 6764 41.80 o 26260 41.80 c 6761 41.82 o 26262 41.82 c 6759 41.84 o 26264 41.84 c 6757 41.86 o 26265 41.86 c 6756 41.88 o 26272 41.88 c 6749 41.92 o 26274 41.92 c 6747 41.94 o 26279 41.94 c 6742 41.96 o 26280 41.96 c 6741 41.98 o 26283 41.98 c 6738 42.00 o 26287 42.00 c 6734 42.02 o 26289 42.02 c 6732 42.04 o 26292 42.04 c 6729 42.07 o 26294 42.07 c 6727 42.09 o 26298 42.09 c 6723 42.11 o 26300 42.11 c 6721 42.13 o 26302 42.13 c 6719 42.15 o 26305 42.15 c 6716 42.18 o 26307 42.18 c 6714 42.20 o 26310 42.20 c 6711 42.22 o 26315 42.22 c 6706 42.24 o 26316 42.24 c 6705 42.26 o 26320 42.26 c 6701 42.28 o 26321 42.28 c 6700 42.31 o 26324 42.31 c 6697 42.35 o 26325 42.35 c 6696 42.37 o 26328 42.37 c 6693 42.39 o 26330 42.39 c 6691 42.42 o 26334 42.42 c 6687 42.46 o 26336 42.46 c 6685 42.48 o 26337 42.48 c 6684 42.50 o 26339 42.50 c 6682 42.53 o 26343 42.53 c 6678 42.55 o 26347 42.55 c 6674 42.57 o 26348 42.57 c 6673 42.59 o 26350 42.59 c 6671 42.62 o 26352 42.62 c 6669 42.64 o 26354 42.64 c 6667 42.70 o 26359 42.70 c 6662 42.72 o 26360 42.72 c 6661 42.77 o 26366 42.77 c 6655 42.80 o 26371 42.80 c 6650 42.82 o 26377 42.82 c 6644 42.85 o 26379 42.85 c 6642 42.89 o 26383 42.89 c 6638 42.93 o 26384 42.93 c 6637 42.97 o 26385 42.97 c 6636 42.99 o 26386 42.99 c 6635 43.01 o 26388 43.01 c 6633 43.05 o 26391 43.05 c 6630 43.07 o 26394 43.07 c 6627 43.09 o 26398 43.09 c 6623 43.13 o 26400 43.13 c 6621 43.16 o 26404 43.16 c 6617 43.18 o 26406 43.18 c 6615 43.22 o 26407 43.22 c 6614 43.24 o 26408 43.24 c 6613 43.27 o 26412 43.27 c 6609 43.29 o 26413 43.29 c 6608 43.37 o 26414 43.37 c 6607 43.43 o 26419 43.43 c 6602 43.49 o 26420 43.49 c 6601 43.51 o 26422 43.51 c 6599 43.54 o 26427 43.54 c 6594 43.56 o 26432 43.56 c 6589 43.59 o 26436 43.59 c 6585 43.62 o 26440 43.62 c 6581 43.64 o 26444 43.64 c 6577 43.67 o 26448 43.67 c 6573 43.70 o 26452 43.70 c 6569 43.72 o 26454 43.72 c 6567 43.75 o 26457 43.75 c 6564 43.78 o 26460 43.78 c 6561 43.81 o 26463 43.81 c 6558 43.83 o 26465 43.83 c 6556 43.86 o 26466 43.86 c 6555 43.89 o 26469 43.89 c 6552 43.92 o 26472 43.92 c 6549 43.94 o 26474 43.94 c 6547 43.97 o 26476 43.97 c 6545 44.00 o 26478 44.00 c 6543 44.02 o 26480 44.02 c 6541 44.05 o 26482 44.05 c 6539 44.08 o 26484 44.08 c 6537 44.10 o 26485 44.10 c 6536 44.12 o 26486 44.13 c 6535 44.15 o 26487 44.15 c 6534 44.25 o 26488 44.25 c 6533 44.27 o 26489 44.27 c 6532 44.30 o 26490 44.30 c 6531 44.32 o 26492 44.32 c 6529 44.35 o 26493 44.35 c 6528 44.37 o 26494 44.37 c 6527 44.55 o 26496 44.55 c 6525 44.57 o 26499 44.57 c 6522 44.65 o 26500 44.65 c 6521 44.68 o 26501 44.68 c 6520 44.72 o 26502 44.72 c 6519 44.74 o 26504 44.74 c 6517 44.78 o 26506 44.78 c 6515 44.80 o 26510 44.80 c 6511 44.82 o 26514 44.82 c 6507 44.86 o 26519 44.86 c 6502 44.88 o 26521 44.88 c 6500 44.90 o 26527 44.90 c 6494 44.92 o 26530 44.92 c 6491 44.96 o 26534 44.96 c 6487 44.98 o 26538 44.98 c 6483 45.01 o 26543 45.01 c 6478 45.04 o 26548 45.04 c 6473 45.06 o 26553 45.06 c 6468 45.08 o 26556 45.08 c 6465 45.11 o 26560 45.11 c 6461 45.13 o 26565 45.13 c 6456 45.15 o 26567 45.15 c 6454 45.17 o 26568 45.17 c 6453 45.19 o 26569 45.19 c 6452 45.21 o 26572 45.21 c 6449 45.24 o 26575 45.24 c 6446 45.28 o 26576 45.28 c 6445 45.32 o 26578 45.32 c 6443 45.34 o 26580 45.34 c 6441 45.37 o 26584 45.37 c 6437 45.39 o 26588 45.39 c 6433 45.41 o 26592 45.41 c 6429 45.43 o 26595 45.43 c 6426 45.47 o 26596 45.47 c 6425 45.50 o 26597 45.50 c 6424 45.54 o 26600 45.54 c 6421 45.56 o 26605 45.56 c 6416 45.61 o 26606 45.61 c 6415 45.63 o 26608 45.63 c 6413 45.65 o 26613 45.65 c 6408 45.67 o 26616 45.67 c 6405 45.70 o 26618 45.70 c 6403 45.72 o 26619 45.72 c 6402 45.74 o 26622 45.74 c 6399 45.76 o 26629 45.76 c 6392 45.79 o 26630 45.79 c 6391 45.81 o 26635 45.81 c 6386 45.89 o 26638 45.89 c 6383 45.91 o 26641 45.91 c 6380 45.96 o 26644 45.96 c 6377 45.99 o 26646 45.99 c 6375 46.01 o 26652 46.01 c 6369 46.10 o 26653 46.10 c 6368 46.13 o 26656 46.13 c 6365 46.15 o 26658 46.15 c 6363 46.20 o 26659 46.20 c 6362 46.22 o 26661 46.22 c 6360 46.25 o 26665 46.25 c 6356 46.27 o 26668 46.27 c 6353 46.30 o 26671 46.30 c 6350 46.35 o 26674 46.35 c 6347 46.37 o 26675 46.37 c 6346 46.44 o 26676 46.44 c 6345 46.47 o 26679 46.47 c 6342 46.49 o 26682 46.49 c 6339 46.52 o 26684 46.52 c 6337 46.55 o 26685 46.55 c 6336 46.57 o 26687 46.57 c 6334 46.60 o 26689 46.60 c 6332 46.65 o 26693 46.65 c 6328 46.70 o 26694 46.70 c 6327 46.73 o 26699 46.73 c 6322 46.75 o 26702 46.75 c 6319 46.80 o 26704 46.80 c 6317 46.83 o 26708 46.83 c 6313 46.85 o 26709 46.85 c 6312 46.88 o 26711 46.88 c 6310 46.91 o 26713 46.91 c 6308 46.94 o 26718 46.94 c 6303 46.96 o 26720 46.96 c 6301 46.99 o 26721 46.99 c 6300 47.02 o 26723 47.02 c 6298 47.04 o 26726 47.04 c 6295 47.07 o 26727 47.07 c 6294 47.10 o 26728 47.10 c 6293 47.16 o 26729 47.16 c 6292 47.18 o 26732 47.18 c 6289 47.21 o 26734 47.21 c 6287 47.24 o 26738 47.24 c 6283 47.27 o 26743 47.27 c 6278 47.30 o 26744 47.30 c 6277 47.33 o 26745 47.33 c 6276 47.38 o 26746 47.38 c 6275 47.41 o 26751 47.41 c 6270 47.44 o 26756 47.44 c 6265 47.46 o 26759 47.46 c 6262 47.49 o 26761 47.49 c 6260 47.52 o 26765 47.52 c 6256 47.54 o 26767 47.54 c 6254 47.60 o 26768 47.60 c 6253 47.62 o 26773 47.62 c 6248 47.68 o 26776 47.68 c 6245 47.70 o 26780 47.70 c 6241 47.73 o 26783 47.73 c 6238 47.76 o 26786 47.76 c 6235 47.79 o 26792 47.79 c 6229 47.81 o 26794 47.81 c 6227 47.92 o 26795 47.92 c 6226 47.94 o 26799 47.94 c 6222 47.97 o 26801 47.97 c 6220 48.00 o 26804 48.00 c 6217 48.08 o 26807 48.08 c 6214 48.11 o 26813 48.11 c 6208 48.16 o 26817 48.16 c 6204 48.19 o 26818 48.19 c 6203 48.22 o 26822 48.22 c 6199 48.25 o 26825 48.25 c 6196 48.28 o 26826 48.28 c 6195 48.31 o 26827 48.31 c 6194 48.33 o 26829 48.33 c 6192 48.42 o 26831 48.42 c 6190 48.45 o 26832 48.45 c 6189 48.51 o 26836 48.51 c 6185 48.54 o 26838 48.54 c 6183 48.57 o 26842 48.57 c 6179 48.62 o 26843 48.62 c 6178 48.65 o 26844 48.65 c 6177 48.68 o 26846 48.68 c 6175 48.71 o 26847 48.71 c 6174 48.74 o 26852 48.74 c 6169 48.77 o 26854 48.77 c 6167 48.80 o 26856 48.80 c 6165 48.88 o 26858 48.88 c 6163 48.90 o 26860 48.90 c 6161 48.93 o 26861 48.93 c 6160 48.96 o 26864 48.96 c 6157 48.99 o 26867 48.99 c 6154 49.10 o 26869 49.10 c 6152 49.13 o 26872 49.13 c 6149 49.18 o 26876 49.18 c 6145 49.21 o 26881 49.21 c 6140 49.24 o 26884 49.24 c 6137 49.26 o 26887 49.26 c 6134 49.29 o 26889 49.29 c 6132 49.32 o 26892 49.32 c 6129 49.35 o 26895 49.35 c 6126 49.41 o 26901 49.41 c 6120 49.46 o 26902 49.46 c 6119 49.49 o 26906 49.49 c 6115 49.52 o 26908 49.52 c 6113 49.55 o 26910 49.55 c 6111 49.61 o 26914 49.61 c 6107 49.63 o 26915 49.63 c 6106 49.66 o 26916 49.66 c 6105 49.69 o 26921 49.69 c 6100 49.72 o 26925 49.72 c 6096 49.75 o 26929 49.75 c 6092 49.78 o 26931 49.78 c 6090 49.82 o 26935 49.82 c 6086 49.85 o 26939 49.85 c 6082 49.89 o 26942 49.89 c 6079 49.92 o 26945 49.92 c 6076 49.96 o 26948 49.96 c 6073 49.99 o 26950 49.99 c 6071 50.02 o 26955 50.02 c 6066 50.05 o 26957 50.05 c 6064 50.08 o 26960 50.08 c 6061 50.11 o 26963 50.11 c 6058 50.15 o 26965 50.15 c 6056 50.18 o 26967 50.18 c 6054 50.22 o 26969 50.22 c 6052 50.25 o 26971 50.25 c 6050 50.28 o 26972 50.28 c 6049 50.31 o 26973 50.31 c 6048 50.35 o 26974 50.35 c 6047 50.38 o 26975 50.38 c 6046 50.41 o 26976 50.41 c 6045 50.44 o 26977 50.44 c 6044 50.47 o 26978 50.47 c 6043 50.50 o 26980 50.50 c 6041 50.56 o 26982 50.56 c 6039 50.71 o 26984 50.71 c 6037 50.79 o 26985 50.79 c 6036 51.05 o 26991 51.05 c 6030 51.08 o 26992 51.08 c 6029 51.11 o 26996 51.11 c 6025 51.13 o 26998 51.13 c 6023 51.16 o 27003 51.16 c 6018 51.19 o 27005 51.19 c 6016 51.21 o 27010 51.21 c 6011 51.24 o 27012 51.24 c 6009 51.30 o 27013 51.30 c 6008 51.32 o 27015 51.32 c 6006 51.35 o 27016 51.35 c 6005 51.40 o 27019 51.40 c 6002 51.45 o 27020 51.45 c 6001 51.47 o 27021 51.47 c 6000 51.50 o 27024 51.50 c 5997 51.53 o 27026 51.53 c 5995 51.55 o 27027 51.55 c 5994 51.57 o 27029 51.57 c 5992 51.62 o 27030 51.62 c 5991 51.65 o 27032 51.65 c 5989 51.74 o 27036 51.74 c 5985 51.77 o 27039 51.77 c 5982 51.79 o 27043 51.79 c 5978 51.82 o 27047 51.82 c 5974 51.87 o 27050 51.87 c 5971 51.90 o 27054 51.90 c 5967 51.92 o 27057 51.92 c 5964 51.98 o 27058 51.98 c 5963 52.03 o 27060 52.03 c 5961 52.09 o 27063 52.09 c 5958 52.12 o 27064 52.12 c 5957 52.15 o 27066 52.15 c 5955 52.18 o 27068 52.18 c 5953 52.21 o 27069 52.21 c 5952 52.24 o 27072 52.24 c 5949 52.27 o 27076 52.27 c 5945 52.30 o 27081 52.30 c 5940 52.34 o 27085 52.34 c 5936 52.37 o 27087 52.37 c 5934 52.40 o 27091 52.40 c 5930 52.43 o 27094 52.43 c 5927 52.46 o 27095 52.46 c 5926 52.49 o 27097 52.49 c 5924 52.52 o 27099 52.52 c 5922 52.55 o 27103 52.55 c 5918 52.58 o 27104 52.58 c 5917 52.62 o 27108 52.62 c 5913 52.65 o 27113 52.65 c 5908 52.71 o 27115 52.71 c 5906 52.74 o 27119 52.74 c 5902 52.80 o 27121 52.80 c 5900 52.86 o 27122 52.86 c 5899 52.89 o 27127 52.89 c 5894 52.92 o 27131 52.92 c 5890 52.99 o 27132 52.99 c 5889 53.02 o 27137 53.02 c 5884 53.05 o 27142 53.05 c 5879 53.09 o 27146 53.09 c 5875 53.12 o 27149 53.12 c 5872 53.15 o 27150 53.15 c 5871 53.18 o 27152 53.18 c 5869 53.21 o 27155 53.21 c 5866 53.27 o 27158 53.27 c 5863 53.30 o 27161 53.30 c 5860 53.33 o 27162 53.33 c 5859 53.36 o 27163 53.36 c 5858 53.39 o 27168 53.39 c 5853 53.42 o 27169 53.42 c 5852 53.45 o 27171 53.45 c 5850 53.65 o 27172 53.65 c 5849 53.67 o 27174 53.67 c 5847 53.70 o 27175 53.70 c 5846 53.73 o 27180 53.73 c 5841 53.76 o 27186 53.76 c 5835 53.79 o 27189 53.79 c 5832 53.82 o 27191 53.82 c 5830 53.85 o 27192 53.85 c 5829 53.90 o 27193 53.90 c 5828 53.93 o 27195 53.93 c 5826 53.96 o 27201 53.96 c 5820 54.01 o 27202 54.01 c 5819 54.04 o 27203 54.04 c 5818 54.07 o 27204 54.07 c 5817 54.10 o 27206 54.10 c 5815 54.13 o 27211 54.13 c 5810 54.15 o 27213 54.15 c 5808 54.18 o 27215 54.18 c 5806 54.21 o 27217 54.21 c 5804 54.24 o 27218 54.24 c 5803 54.35 o 27220 54.35 c 5801 54.38 o 27222 54.38 c 5799 54.41 o 27226 54.41 c 5795 54.44 o 27227 54.44 c 5794 54.47 o 27229 54.47 c 5792 54.50 o 27231 54.50 c 5790 54.53 o 27236 54.53 c 5785 54.59 o 27238 54.59 c 5783 54.62 o 27240 54.62 c 5781 54.68 o 27241 54.68 c 5780 54.71 o 27245 54.71 c 5776 54.74 o 27249 54.74 c 5772 54.77 o 27252 54.77 c 5769 54.80 o 27253 54.80 c 5768 54.86 o 27256 54.86 c 5765 54.92 o 27257 54.92 c 5764 54.95 o 27260 54.95 c 5761 54.98 o 27262 54.98 c 5759 55.01 o 27263 55.01 c 5758 55.03 o 27266 55.03 c 5755 55.06 o 27268 55.06 c 5753 55.09 o 27269 55.09 c 5752 55.15 o 27270 55.15 c 5751 55.18 o 27272 55.18 c 5749 55.20 o 27274 55.20 c 5747 55.23 o 27277 55.23 c 5744 55.26 o 27278 55.26 c 5743 55.29 o 27281 55.29 c 5740 55.32 o 27284 55.32 c 5737 55.35 o 27288 55.35 c 5733 55.40 o 27292 55.40 c 5729 55.43 o 27294 55.43 c 5727 55.46 o 27295 55.46 c 5726 55.49 o 27296 55.49 c 5725 55.55 o 27297 55.55 c 5724 55.58 o 27301 55.58 c 5720 55.64 o 27302 55.64 c 5719 55.67 o 27303 55.67 c 5718 55.70 o 27305 55.70 c 5716 55.73 o 27307 55.73 c 5714 55.76 o 27308 55.76 c 5713 55.83 o 27311 55.83 c 5710 55.89 o 27313 55.89 c 5708 55.92 o 27314 55.92 c 5707 55.96 o 27318 55.96 c 5703 55.99 o 27323 55.99 c 5698 56.12 o 27327 56.12 c 5694 56.15 o 27330 56.15 c 5691 56.19 o 27333 56.19 c 5688 56.22 o 27338 56.22 c 5683 56.32 o 27340 56.32 c 5681 56.36 o 27342 56.36 c 5679 56.39 o 27344 56.39 c 5677 56.49 o 27346 56.49 c 5675 56.53 o 27348 56.53 c 5673 56.57 o 27349 56.57 c 5672 56.60 o 27350 56.60 c 5671 56.64 o 27351 56.64 c 5670 56.68 o 27354 56.68 c 5667 56.71 o 27358 56.71 c 5663 56.75 o 27359 56.75 c 5662 56.78 o 27360 56.78 c 5661 56.85 o 27362 56.85 c 5659 56.92 o 27363 56.92 c 5658 56.95 o 27365 56.95 c 5656 56.99 o 27368 56.99 c 5653 57.02 o 27372 57.02 c 5649 57.09 o 27373 57.09 c 5648 57.19 o 27374 57.19 c 5647 57.26 o 27376 57.26 c 5645 57.29 o 27378 57.29 c 5643 57.33 o 27381 57.33 c 5640 57.43 o 27384 57.43 c 5637 57.47 o 27386 57.47 c 5635 57.51 o 27387 57.51 c 5634 57.58 o 27389 57.58 c 5632 57.61 o 27391 57.61 c 5630 57.65 o 27393 57.65 c 5628 57.71 o 27395 57.71 c 5626 57.79 o 27396 57.79 c 5625 57.82 o 27397 57.82 c 5624 57.90 o 27399 57.90 c 5622 57.94 o 27400 57.94 c 5621 58.05 o 27404 58.05 c 5617 58.09 o 27405 58.09 c 5616 58.16 o 27406 58.16 c 5615 58.20 o 27407 58.20 c 5614 58.24 o 27410 58.24 c 5611 58.39 o 27411 58.39 c 5610 58.51 o 27412 58.51 c 5609 58.55 o 27418 58.55 c 5603 58.59 o 27422 58.59 c 5599 58.62 o 27423 58.62 c 5598 58.66 o 27424 58.66 c 5597 58.70 o 27428 58.70 c 5593 58.74 o 27429 58.74 c 5592 58.77 o 27430 58.77 c 5591 58.81 o 27431 58.81 c 5590 58.85 o 27433 58.85 c 5588 58.93 o 27434 58.93 c 5587 59.00 o 27436 59.00 c 5585 59.12 o 27438 59.12 c 5583 59.16 o 27441 59.16 c 5580 59.20 o 27446 59.20 c 5575 59.31 o 27447 59.31 c 5574 59.35 o 27448 59.35 c 5573 59.39 o 27452 59.39 c 5569 59.43 o 27453 59.43 c 5568 59.51 o 27454 59.51 c 5567 59.55 o 27457 59.55 c 5564 59.62 o 27458 59.62 c 5563 59.66 o 27464 59.66 c 5557 59.70 o 27465 59.70 c 5556 59.74 o 27467 59.74 c 5554 59.78 o 27470 59.78 c 5551 59.81 o 27474 59.81 c 5547 59.88 o 27476 59.88 c 5545 60.11 o 27480 60.11 c 5541 60.15 o 27483 60.15 c 5538 60.19 o 27486 60.19 c 5535 60.24 o 27489 60.24 c 5532 60.28 o 27491 60.28 c 5530 60.32 o 27493 60.32 c 5528 60.36 o 27495 60.36 c 5526 60.41 o 27497 60.41 c 5524 60.44 o 27499 60.44 c 5522 60.49 o 27501 60.49 c 5520 60.53 o 27503 60.53 c 5518 60.57 o 27504 60.57 c 5517 60.61 o 27505 60.61 c 5516 60.65 o 27506 60.65 c 5515 60.69 o 27507 60.69 c 5514 60.73 o 27508 60.73 c 5513 60.77 o 27509 60.77 c 5512 60.81 o 27510 60.81 c 5511 60.85 o 27511 60.85 c 5510 60.89 o 27512 60.89 c 5509 61.57 o 27513 61.57 c 5508 61.61 o 27514 61.61 c 5507 61.65 o 27519 61.65 c 5502 61.69 o 27521 61.69 c 5500 61.73 o 27524 61.73 c 5497 61.77 o 27531 61.77 c 5490 61.81 o 27533 61.81 c 5488 61.85 o 27537 61.85 c 5484 61.88 o 27538 61.88 c 5483 61.92 o 27541 61.92 c 5480 61.96 o 27544 61.96 c 5477 62.00 o 27545 62.00 c 5476 62.04 o 27546 62.04 c 5475 62.08 o 27547 62.08 c 5474 62.24 o 27548 62.24 c 5473 62.28 o 27550 62.28 c 5471 62.36 o 27554 62.36 c 5467 62.40 o 27555 62.40 c 5466 62.44 o 27558 62.44 c 5463 62.52 o 27560 62.52 c 5461 62.56 o 27562 62.56 c 5459 62.60 o 27566 62.60 c 5455 62.64 o 27568 62.64 c 5453 62.68 o 27570 62.68 c 5451 62.72 o 27572 62.72 c 5449 62.76 o 27574 62.76 c 5447 62.81 o 27575 62.81 c 5446 62.85 o 27579 62.85 c 5442 62.89 o 27581 62.89 c 5440 62.94 o 27583 62.94 c 5438 62.99 o 27588 62.99 c 5433 63.08 o 27589 63.08 c 5432 63.12 o 27590 63.12 c 5431 63.26 o 27591 63.26 c 5430 63.40 o 27592 63.40 c 5429 63.44 o 27595 63.44 c 5426 63.49 o 27597 63.49 c 5424 63.54 o 27599 63.54 c 5422 63.58 o 27601 63.58 c 5420 63.63 o 27603 63.63 c 5418 63.68 o 27605 63.68 c 5416 63.72 o 27609 63.72 c 5412 63.77 o 27611 63.77 c 5410 63.81 o 27614 63.81 c 5407 63.86 o 27615 63.86 c 5406 63.95 o 27620 63.95 c 5401 64.09 o 27621 64.09 c 5400 64.14 o 27623 64.14 c 5398 64.19 o 27626 64.19 c 5395 64.23 o 27628 64.23 c 5393 64.28 o 27630 64.28 c 5391 64.46 o 27631 64.46 c 5390 64.51 o 27634 64.51 c 5387 64.61 o 27635 64.61 c 5386 64.65 o 27637 64.65 c 5384 64.70 o 27638 64.70 c 5383 64.75 o 27640 64.75 c 5381 64.80 o 27641 64.80 c 5380 65.07 o 27643 65.07 c 5378 65.11 o 27647 65.11 c 5374 65.16 o 27651 65.16 c 5370 65.25 o 27652 65.25 c 5369 65.48 o 27654 65.48 c 5367 65.52 o 27655 65.52 c 5366 65.56 o 27658 65.56 c 5363 65.61 o 27661 65.61 c 5360 65.70 o 27666 65.70 c 5355 65.74 o 27668 65.74 c 5353 65.79 o 27669 65.79 c 5352 65.88 o 27672 65.88 c 5349 65.92 o 27674 65.92 c 5347 65.97 o 27678 65.97 c 5343 66.06 o 27680 66.06 c 5341 66.20 o 27683 66.20 c 5338 66.25 o 27685 66.25 c 5336 66.34 o 27687 66.34 c 5334 66.47 o 27688 66.47 c 5333 66.52 o 27692 66.52 c 5329 66.57 o 27694 66.57 c 5327 66.61 o 27698 66.61 c 5323 66.66 o 27699 66.66 c 5322 66.71 o 27701 66.71 c 5320 66.76 o 27703 66.76 c 5318 67.10 o 27704 67.10 c 5317 67.15 o 27706 67.15 c 5315 67.34 o 27707 67.34 c 5314 67.39 o 27709 67.39 c 5312 67.43 o 27711 67.43 c 5310 67.48 o 27713 67.48 c 5308 67.53 o 27716 67.53 c 5305 67.63 o 27720 67.63 c 5301 67.72 o 27722 67.72 c 5299 67.91 o 27723 67.91 c 5298 67.96 o 27724 67.96 c 5297 68.11 o 27728 68.11 c 5293 68.16 o 27729 68.16 c 5292 68.21 o 27732 68.21 c 5289 68.26 o 27734 68.26 c 5287 68.31 o 27736 68.31 c 5285 68.61 o 27737 68.61 c 5284 68.87 o 27738 68.87 c 5283 68.92 o 27741 68.92 c 5280 69.07 o 27743 69.07 c 5278 69.12 o 27745 69.12 c 5276 69.18 o 27749 69.18 c 5272 69.23 o 27750 69.23 c 5271 69.27 o 27752 69.27 c 5269 69.42 o 27756 69.42 c 5265 69.48 o 27757 69.48 c 5264 69.53 o 27761 69.53 c 5260 69.58 o 27762 69.58 c 5259 69.64 o 27764 69.64 c 5257 69.69 o 27765 69.69 c 5256 69.75 o 27767 69.75 c 5254 69.80 o 27769 69.80 c 5252 69.85 o 27771 69.85 c 5250 69.90 o 27772 69.90 c 5249 70.21 o 27775 70.21 c 5246 70.37 o 27779 70.37 c 5242 70.42 o 27782 70.42 c 5239 70.47 o 27785 70.47 c 5236 70.52 o 27788 70.52 c 5233 70.58 o 27789 70.58 c 5232 70.63 o 27792 70.63 c 5229 70.68 o 27795 70.68 c 5226 70.73 o 27796 70.73 c 5225 70.89 o 27797 70.89 c 5224 70.94 o 27798 70.94 c 5223 71.00 o 27800 71.00 c 5221 71.05 o 27803 71.05 c 5218 71.16 o 27804 71.16 c 5217 71.21 o 27806 71.21 c 5215 71.27 o 27808 71.27 c 5213 71.32 o 27809 71.32 c 5212 71.38 o 27811 71.38 c 5210 71.48 o 27812 71.48 c 5209 71.53 o 27817 71.53 c 5204 71.59 o 27820 71.59 c 5201 71.78 o 27825 71.78 c 5196 72.03 o 27827 72.03 c 5194 72.20 o 27829 72.20 c 5192 72.26 o 27830 72.26 c 5191 72.31 o 27832 72.31 c 5189 72.36 o 27833 72.36 c 5188 72.42 o 27835 72.42 c 5186 72.57 o 27836 72.57 c 5185 72.63 o 27839 72.63 c 5182 72.68 o 27840 72.68 c 5181 72.73 o 27843 72.73 c 5178 72.78 o 27847 72.78 c 5174 72.84 o 27851 72.84 c 5170 72.89 o 27854 72.89 c 5167 72.94 o 27856 72.94 c 5165 72.99 o 27858 72.99 c 5163 73.04 o 27859 73.04 c 5162 73.21 o 27862 73.21 c 5159 73.97 o 27865 73.97 c 5156 74.12 o 27868 74.12 c 5153 74.18 o 27870 74.18 c 5151 74.28 o 27872 74.28 c 5149 74.34 o 27875 74.34 c 5146 74.39 o 27877 74.39 c 5144 74.49 o 27879 74.49 c 5142 74.69 o 27881 74.69 c 5140 74.74 o 27882 74.74 c 5139 74.79 o 27884 74.79 c 5137 74.85 o 27887 74.85 c 5134 74.89 o 27888 74.89 c 5133 74.94 o 27892 74.94 c 5129 74.99 o 27894 74.99 c 5127 75.04 o 27896 75.04 c 5125 75.10 o 27899 75.10 c 5122 75.15 o 27902 75.15 c 5119 75.20 o 27903 75.20 c 5118 75.30 o 27905 75.30 c 5116 75.35 o 27906 75.35 c 5115 75.46 o 27909 75.46 c 5112 75.51 o 27911 75.51 c 5110 75.56 o 27914 75.56 c 5107 75.66 o 27916 75.66 c 5105 75.77 o 27917 75.77 c 5104 75.82 o 27918 75.82 c 5103 75.87 o 27921 75.87 c 5100 75.92 o 27922 75.92 c 5099 75.97 o 27924 75.97 c 5097 76.25 o 27927 76.25 c 5094 76.35 o 27929 76.35 c 5092 76.40 o 27930 76.40 c 5091 76.45 o 27931 76.45 c 5090 76.50 o 27935 76.50 c 5086 76.55 o 27938 76.55 c 5083 76.60 o 27939 76.60 c 5082 76.81 o 27940 76.81 c 5081 76.91 o 27943 76.91 c 5078 77.01 o 27944 77.01 c 5077 77.07 o 27947 77.07 c 5074 77.15 o 27951 77.15 c 5070 77.20 o 27952 77.20 c 5069 77.25 o 27953 77.25 c 5068 77.31 o 27956 77.31 c 5065 77.41 o 27958 77.41 c 5063 77.47 o 27961 77.47 c 5060 77.52 o 27962 77.52 c 5059 77.84 o 27963 77.84 c 5058 77.89 o 27965 77.89 c 5056 78.05 o 27967 78.05 c 5054 78.21 o 27969 78.21 c 5052 78.27 o 27970 78.27 c 5051 78.43 o 27973 78.43 c 5048 78.73 o 27974 78.73 c 5047 78.79 o 27977 78.79 c 5044 78.94 o 27979 78.94 c 5042 78.99 o 27983 78.99 c 5038 79.05 o 27984 79.05 c 5037 79.10 o 27985 79.10 c 5036 79.15 o 27988 79.15 c 5033 79.20 o 27992 79.20 c 5029 79.25 o 27993 79.25 c 5028 79.36 o 27994 79.36 c 5027 79.42 o 27996 79.42 c 5025 79.47 o 27997 79.47 c 5024 79.53 o 28001 79.53 c 5020 79.58 o 28003 79.58 c 5018 79.70 o 28004 79.70 c 5017 79.75 o 28006 79.75 c 5015 79.91 o 28007 79.91 c 5014 80.02 o 28008 80.02 c 5013 80.62 o 28010 80.62 c 5011 80.67 o 28011 80.67 c 5010 80.73 o 28015 80.73 c 5006 81.17 o 28019 81.17 c 5002 81.22 o 28020 81.22 c 5001 81.28 o 28021 81.28 c 5000 81.55 o 28025 81.55 c 4996 81.65 o 28026 81.65 c 4995 81.71 o 28030 81.71 c 4991 82.09 o 28033 82.09 c 4988 82.15 o 28034 82.15 c 4987 82.20 o 28035 82.20 c 4986 82.26 o 28038 82.26 c 4983 82.32 o 28040 82.32 c 4981 82.38 o 28042 82.38 c 4979 82.44 o 28044 82.44 c 4977 82.50 o 28046 82.50 c 4975 82.56 o 28048 82.56 c 4973 82.62 o 28050 82.62 c 4971 82.68 o 28052 82.68 c 4969 82.74 o 28053 82.74 c 4968 82.79 o 28054 82.79 c 4967 82.85 o 28055 82.85 c 4966 82.91 o 28056 82.91 c 4965 82.97 o 28057 82.97 c 4964 83.03 o 28059 83.03 c 4962 83.09 o 28060 83.09 c 4961 83.15 o 28061 83.15 c 4960 83.20 o 28064 83.20 c 4957 83.85 o 28067 83.85 c 4954 84.10 o 28069 84.10 c 4952 84.16 o 28071 84.16 c 4950 84.22 o 28073 84.22 c 4948 84.29 o 28074 84.29 c 4947 84.35 o 28075 84.35 c 4946 84.41 o 28076 84.41 c 4945 84.98 o 28078 84.98 c 4943 85.04 o 28080 85.04 c 4941 85.11 o 28081 85.11 c 4940 85.18 o 28084 85.18 c 4937 85.31 o 28089 85.31 c 4932 85.44 o 28091 85.44 c 4930 85.63 o 28095 85.63 c 4926 85.70 o 28097 85.70 c 4924 85.76 o 28099 85.76 c 4922 85.83 o 28100 85.83 c 4921 85.89 o 28105 85.89 c 4916 86.02 o 28106 86.02 c 4915 86.27 o 28109 86.27 c 4912 86.33 o 28111 86.33 c 4910 86.39 o 28115 86.39 c 4906 86.45 o 28116 86.45 c 4905 86.51 o 28121 86.51 c 4900 86.76 o 28123 86.76 c 4898 86.82 o 28127 86.82 c 4894 86.89 o 28128 86.89 c 4893 86.95 o 28129 86.95 c 4892 87.01 o 28132 87.01 c 4889 87.07 o 28136 87.07 c 4885 87.12 o 28138 87.12 c 4883 87.18 o 28142 87.19 c 4879 87.25 o 28144 87.25 c 4877 87.31 o 28146 87.31 c 4875 87.37 o 28150 87.37 c 4871 87.43 o 28155 87.43 c 4866 87.48 o 28156 87.48 c 4865 87.54 o 28159 87.54 c 4862 87.60 o 28160 87.60 c 4861 87.66 o 28163 87.66 c 4858 87.78 o 28164 87.78 c 4857 87.85 o 28165 87.85 c 4856 87.91 o 28166 87.91 c 4855 87.97 o 28167 87.97 c 4854 88.03 o 28170 88.03 c 4851 88.10 o 28171 88.10 c 4850 88.16 o 28174 88.16 c 4847 88.28 o 28177 88.28 c 4844 89.26 o 28179 89.26 c 4842 89.38 o 28181 89.38 c 4840 89.44 o 28185 89.44 c 4836 89.50 o 28187 89.50 c 4834 89.56 o 28188 89.56 c 4833 89.63 o 28192 89.63 c 4829 89.80 o 28193 89.80 c 4828 89.86 o 28194 89.86 c 4827 90.12 o 28195 90.12 c 4826 90.25 o 28197 90.25 c 4824 90.31 o 28200 90.31 c 4821 90.37 o 28202 90.37 c 4819 90.44 o 28205 90.44 c 4816 90.50 o 28207 90.50 c 4814 90.56 o 28211 90.56 c 4810 90.62 o 28212 90.62 c 4809 90.68 o 28215 90.68 c 4806 90.74 o 28216 90.74 c 4805 90.98 o 28217 90.98 c 4804 91.16 o 28219 91.16 c 4802 91.40 o 28221 91.40 c 4800 91.58 o 28222 91.58 c 4799 91.64 o 28223 91.64 c 4798 91.82 o 28226 91.82 c 4795 91.94 o 28227 91.94 c 4794 92.00 o 28229 92.00 c 4792 92.82 o 28230 92.82 c 4791 92.88 o 28233 92.88 c 4788 93.12 o 28234 93.12 c 4787 93.23 o 28237 93.23 c 4784 93.29 o 28242 93.29 c 4779 93.41 o 28244 93.41 c 4777 93.47 o 28245 93.47 c 4776 93.53 o 28247 93.53 c 4774 93.58 o 28248 93.58 c 4773 93.64 o 28250 93.64 c 4771 93.76 o 28252 93.77 c 4769 93.83 o 28254 93.83 c 4767 93.88 o 28255 93.88 c 4766 93.94 o 28256 93.94 c 4765 94.11 o 28258 94.11 c 4763 94.17 o 28259 94.17 c 4762 94.23 o 28262 94.23 c 4759 94.29 o 28265 94.29 c 4756 94.41 o 28266 94.41 c 4755 94.52 o 28267 94.52 c 4754 94.65 o 28268 94.65 c 4753 94.77 o 28271 94.77 c 4750 94.95 o 28272 94.95 c 4749 95.86 o 28273 95.86 c 4748 95.92 o 28275 95.92 c 4746 95.98 o 28276 95.98 c 4745 96.22 o 28278 96.22 c 4743 96.28 o 28280 96.28 c 4741 96.35 o 28282 96.35 c 4739 96.41 o 28285 96.41 c 4736 96.47 o 28287 96.47 c 4734 96.53 o 28288 96.53 c 4733 96.71 o 28289 96.71 c 4732 96.77 o 28292 96.77 c 4729 97.02 o 28293 97.02 c 4728 97.08 o 28295 97.08 c 4726 97.14 o 28299 97.14 c 4722 97.20 o 28301 97.20 c 4720 97.26 o 28304 97.26 c 4717 97.45 o 28306 97.45 c 4715 97.51 o 28307 97.51 c 4714 97.57 o 28308 97.57 c 4713 97.69 o 28311 97.69 c 4710 97.81 o 28312 97.81 c 4709 97.87 o 28313 97.87 c 4708 97.93 o 28315 97.93 c 4706 97.99 o 28319 97.99 c 4702 98.28 o 28320 98.28 c 4701 98.34 o 28323 98.34 c 4698 98.59 o 28324 98.59 c 4697 98.65 o 28326 98.65 c 4695 98.77 o 28327 98.77 c 4694 98.83 o 28328 98.83 c 4693 98.89 o 28330 98.89 c 4691 99.01 o 28332 99.01 c 4689 99.37 o 28333 99.37 c 4688 99.43 o 28336 99.43 c 4685 99.49 o 28338 99.49 c 4683 99.67 o 28341 99.67 c 4680 100.02 o 28343 100.02 c 4678 100.08 o 28344 100.08 c 4677 100.14 o 28345 100.14 c 4676 100.20 o 28346 100.20 c 4675 101.00 o 28348 101.00 c 4673 101.06 o 28350 101.06 c 4671 101.12 o 28354 101.12 c 4667 101.24 o 28355 101.24 c 4666 101.30 o 28358 101.30 c 4663 101.37 o 28360 101.37 c 4661 101.54 o 28363 101.54 c 4658 101.73 o 28364 101.73 c 4657 101.79 o 28365 101.79 c 4656 101.85 o 28366 101.85 c 4655 101.91 o 28367 101.91 c 4654 102.03 o 28369 102.03 c 4652 102.09 o 28372 102.09 c 4649 102.15 o 28377 102.15 c 4644 102.50 o 28378 102.50 c 4643 102.85 o 28380 102.85 c 4641 102.91 o 28382 102.91 c 4639 102.97 o 28383 102.97 c 4638 103.09 o 28384 103.09 c 4637 103.52 o 28385 103.52 c 4636 103.58 o 28386 103.58 c 4635 103.64 o 28390 103.64 c 4631 103.76 o 28391 103.76 c 4630 103.82 o 28395 103.82 c 4626 103.88 o 28396 103.88 c 4625 103.95 o 28397 103.95 c 4624 104.01 o 28400 104.01 c 4621 104.07 o 28401 104.07 c 4620 104.13 o 28405 104.13 c 4616 104.19 o 28407 104.19 c 4614 104.31 o 28408 104.31 c 4613 104.37 o 28409 104.37 c 4612 104.74 o 28411 104.74 c 4610 104.85 o 28413 104.85 c 4608 104.91 o 28414 104.91 c 4607 104.98 o 28415 104.98 c 4606 105.05 o 28416 105.05 c 4605 105.11 o 28419 105.11 c 4602 105.17 o 28422 105.17 c 4599 105.24 o 28424 105.24 c 4597 105.49 o 28429 105.49 c 4592 105.55 o 28430 105.55 c 4591 105.62 o 28432 105.62 c 4589 105.68 o 28434 105.68 c 4587 105.75 o 28436 105.75 c 4585 105.81 o 28438 105.81 c 4583 106.07 o 28441 106.07 c 4580 106.13 o 28442 106.13 c 4579 106.20 o 28443 106.20 c 4578 106.33 o 28446 106.33 c 4575 106.52 o 28448 106.52 c 4573 106.65 o 28449 106.65 c 4572 106.71 o 28450 106.71 c 4571 106.78 o 28452 106.78 c 4569 107.53 o 28453 107.53 c 4568 107.60 o 28456 107.60 c 4565 107.66 o 28458 107.66 c 4563 107.73 o 28459 107.73 c 4562 107.79 o 28461 107.79 c 4560 107.85 o 28468 107.85 c 4553 107.92 o 28470 107.92 c 4551 108.30 o 28471 108.30 c 4550 108.62 o 28472 108.62 c 4549 108.69 o 28473 108.69 c 4548 108.75 o 28474 108.75 c 4547 108.82 o 28476 108.82 c 4545 108.89 o 28477 108.89 c 4544 108.96 o 28478 108.96 c 4543 109.03 o 28480 109.03 c 4541 109.09 o 28481 109.09 c 4540 109.16 o 28482 109.16 c 4539 109.23 o 28483 109.23 c 4538 109.36 o 28484 109.36 c 4537 109.43 o 28485 109.43 c 4536 109.57 o 28488 109.57 c 4533 109.64 o 28489 109.64 c 4532 109.97 o 28490 109.97 c 4531 110.04 o 28491 110.04 c 4530 110.24 o 28492 110.24 c 4529 110.31 o 28496 110.31 c 4525 110.38 o 28499 110.38 c 4522 110.45 o 28500 110.45 c 4521 110.73 o 28502 110.73 c 4519 110.87 o 28503 110.87 c 4518 111.02 o 28504 111.02 c 4517 111.67 o 28506 111.67 c 4515 111.74 o 28509 111.74 c 4512 111.97 o 28510 111.97 c 4511 112.04 o 28511 112.04 c 4510 112.18 o 28513 112.18 c 4508 112.25 o 28514 112.25 c 4507 112.33 o 28515 112.33 c 4506 112.40 o 28518 112.40 c 4503 112.61 o 28520 112.61 c 4501 112.82 o 28522 112.82 c 4499 112.90 o 28523 112.90 c 4498 113.26 o 28524 113.26 c 4497 113.40 o 28526 113.40 c 4495 113.54 o 28528 113.54 c 4493 113.61 o 28530 113.61 c 4491 113.68 o 28531 113.68 c 4490 113.75 o 28533 113.75 c 4488 113.88 o 28537 113.88 c 4484 113.96 o 28539 113.96 c 4482 114.18 o 28540 114.18 c 4481 114.25 o 28541 114.25 c 4480 114.92 o 28542 114.92 c 4479 115.05 o 28544 115.05 c 4477 115.20 o 28545 115.20 c 4476 115.43 o 28547 115.43 c 4474 115.51 o 28550 115.51 c 4471 115.59 o 28551 115.59 c 4470 115.67 o 28552 115.67 c 4469 116.15 o 28555 116.15 c 4466 116.23 o 28558 116.23 c 4463 116.31 o 28559 116.31 c 4462 116.39 o 28561 116.39 c 4460 116.48 o 28563 116.48 c 4458 116.56 o 28564 116.56 c 4457 116.78 o 28566 116.78 c 4455 116.87 o 28570 116.87 c 4451 116.95 o 28572 116.95 c 4449 118.10 o 28573 118.10 c 4448 118.51 o 28577 118.51 c 4444 118.68 o 28580 118.68 c 4441 118.77 o 28582 118.77 c 4439 118.85 o 28585 118.85 c 4436 119.01 o 28588 119.01 c 4433 119.09 o 28589 119.09 c 4432 119.17 o 28592 119.17 c 4429 119.26 o 28593 119.26 c 4428 119.34 o 28595 119.34 c 4426 119.42 o 28596 119.42 c 4425 119.50 o 28599 119.50 c 4422 119.59 o 28601 119.59 c 4420 119.67 o 28602 119.67 c 4419 120.09 o 28603 120.09 c 4418 120.99 o 28606 120.99 c 4415 121.57 o 28607 121.57 c 4414 121.74 o 28608 121.75 c 4413 121.92 o 28609 121.92 c 4412 122.10 o 28610 122.10 c 4411 122.30 o 28611 122.30 c 4410 122.48 o 28613 122.48 c 4408 122.57 o 28615 122.57 c 4406 123.12 o 28616 123.12 c 4405 123.22 o 28617 123.22 c 4404 123.39 o 28618 123.39 c 4403 123.48 o 28619 123.48 c 4402 123.57 o 28620 123.57 c 4401 123.66 o 28621 123.66 c 4400 123.74 o 28622 123.74 c 4399 124.09 o 28624 124.09 c 4397 124.49 o 28625 124.49 c 4396 125.61 o 28626 125.61 c 4395 125.69 o 28627 125.69 c 4394 126.48 o 28631 126.48 c 4390 126.66 o 28633 126.66 c 4388 126.75 o 28636 126.75 c 4385 127.29 o 28638 127.29 c 4383 127.66 o 28639 127.66 c 4382 127.71 o 28640 127.71 c 4381 127.90 o 28641 127.90 c 4380 127.99 o 28642 127.99 c 4379 128.08 o 28643 128.08 c 4378 128.26 o 28645 128.26 c 4376 128.35 o 28647 128.35 c 4374 129.45 o 28648 129.45 c 4373 129.54 o 28651 129.54 c 4370 129.63 o 28652 129.63 c 4369 129.72 o 28653 129.72 c 4368 129.81 o 28654 129.81 c 4367 129.91 o 28655 129.91 c 4366 130.37 o 28656 130.37 c 4365 130.46 o 28658 130.46 c 4363 130.56 o 28660 130.56 c 4361 130.83 o 28661 130.83 c 4360 130.92 o 28662 130.92 c 4359 131.01 o 28663 131.01 c 4358 131.11 o 28664 131.11 c 4357 131.29 o 28666 131.29 c 4355 131.39 o 28669 131.39 c 4352 132.03 o 28672 132.03 c 4349 132.41 o 28673 132.41 c 4348 132.60 o 28675 132.60 c 4346 132.79 o 28676 132.79 c 4345 132.88 o 28677 132.88 c 4344 132.98 o 28679 132.98 c 4342 133.07 o 28681 133.07 c 4340 133.17 o 28682 133.17 c 4339 133.27 o 28683 133.27 c 4338 133.36 o 28688 133.36 c 4333 133.45 o 28689 133.45 c 4332 133.64 o 28691 133.64 c 4330 133.73 o 28695 133.73 c 4326 133.83 o 28696 133.83 c 4325 134.38 o 28698 134.38 c 4323 134.48 o 28700 134.48 c 4321 134.58 o 28702 134.58 c 4319 134.67 o 28705 134.67 c 4316 134.77 o 28708 134.77 c 4313 135.06 o 28710 135.06 c 4311 135.16 o 28711 135.16 c 4310 135.26 o 28714 135.26 c 4307 135.37 o 28715 135.37 c 4306 135.67 o 28716 135.67 c 4305 135.95 o 28717 135.95 c 4304 136.14 o 28720 136.14 c 4301 136.24 o 28721 136.24 c 4300 136.33 o 28727 136.33 c 4294 136.43 o 28731 136.43 c 4290 136.52 o 28733 136.52 c 4288 136.62 o 28734 136.62 c 4287 136.89 o 28738 136.89 c 4283 137.08 o 28739 137.08 c 4282 137.36 o 28740 137.36 c 4281 137.45 o 28742 137.45 c 4279 137.55 o 28743 137.55 c 4278 137.64 o 28745 137.64 c 4276 138.40 o 28748 138.40 c 4273 139.18 o 28749 139.18 c 4272 139.27 o 28753 139.27 c 4268 139.57 o 28755 139.57 c 4266 139.66 o 28758 139.66 c 4263 139.86 o 28759 139.86 c 4262 140.06 o 28761 140.06 c 4260 140.26 o 28763 140.26 c 4258 140.36 o 28764 140.36 c 4257 140.76 o 28765 140.76 c 4256 140.86 o 28768 140.86 c 4253 141.25 o 28769 141.25 c 4252 141.35 o 28770 141.35 c 4251 141.45 o 28772 141.45 c 4249 141.53 o 28776 141.53 c 4245 141.63 o 28778 141.63 c 4243 141.72 o 28779 141.73 c 4242 141.82 o 28780 141.82 c 4241 141.92 o 28782 141.92 c 4239 142.02 o 28787 142.02 c 4234 142.21 o 28788 142.21 c 4233 142.31 o 28789 142.31 c 4232 142.42 o 28790 142.42 c 4231 142.51 o 28792 142.51 c 4229 142.61 o 28793 142.61 c 4228 142.90 o 28794 142.90 c 4227 143.88 o 28796 143.88 c 4225 144.65 o 28797 144.65 c 4224 144.96 o 28800 144.96 c 4221 145.26 o 28802 145.26 c 4219 145.36 o 28804 145.36 c 4217 146.37 o 28806 146.37 c 4215 146.89 o 28808 146.89 c 4213 147.10 o 28810 147.10 c 4211 147.20 o 28812 147.20 c 4209 147.51 o 28815 147.51 c 4206 147.61 o 28816 147.61 c 4205 147.71 o 28818 147.71 c 4203 148.34 o 28822 148.35 c 4199 149.84 o 28823 149.84 c 4198 149.96 o 28824 149.96 c 4197 150.19 o 28827 150.19 c 4194 150.30 o 28828 150.30 c 4193 150.65 o 28831 150.65 c 4190 150.76 o 28833 150.76 c 4188 150.87 o 28834 150.87 c 4187 150.98 o 28835 150.98 c 4186 151.09 o 28837 151.09 c 4184 151.32 o 28842 151.32 c 4179 151.43 o 28844 151.43 c 4177 151.53 o 28846 151.53 c 4175 151.64 o 28849 151.64 c 4172 151.75 o 28851 151.75 c 4170 151.86 o 28853 151.86 c 4168 153.27 o 28856 153.27 c 4165 153.38 o 28858 153.38 c 4163 153.49 o 28860 153.49 c 4161 153.60 o 28863 153.60 c 4158 153.72 o 28865 153.72 c 4156 153.83 o 28868 153.83 c 4153 155.89 o 28870 155.89 c 4151 156.11 o 28873 156.11 c 4148 157.19 o 28874 157.19 c 4147 157.53 o 28875 157.53 c 4146 158.27 o 28876 158.27 c 4145 158.38 o 28878 158.38 c 4143 158.49 o 28880 158.49 c 4141 158.60 o 28882 158.60 c 4139 158.71 o 28883 158.71 c 4138 159.24 o 28884 159.24 c 4137 159.35 o 28885 159.35 c 4136 160.09 o 28888 160.09 c 4133 160.19 o 28889 160.19 c 4132 161.00 o 28893 161.00 c 4128 161.10 o 28894 161.10 c 4127 161.21 o 28896 161.21 c 4125 161.53 o 28899 161.53 c 4122 161.63 o 28900 161.63 c 4121 162.47 o 28901 162.47 c 4120 162.58 o 28902 162.58 c 4119 162.68 o 28904 162.68 c 4117 162.79 o 28905 162.79 c 4116 162.90 o 28907 162.90 c 4114 163.12 o 28908 163.12 c 4113 163.23 o 28911 163.23 c 4110 163.65 o 28912 163.65 c 4109 163.87 o 28913 163.87 c 4108 164.32 o 28915 164.32 c 4106 165.41 o 28917 165.41 c 4104 165.52 o 28919 165.52 c 4102 165.74 o 28921 165.74 c 4100 165.96 o 28924 165.96 c 4097 166.07 o 28926 166.07 c 4095 166.19 o 28931 166.19 c 4090 166.51 o 28932 166.51 c 4089 166.62 o 28935 166.62 c 4086 167.21 o 28941 167.21 c 4080 167.33 o 28942 167.33 c 4079 167.56 o 28943 167.56 c 4078 168.10 o 28944 168.10 c 4077 168.21 o 28946 168.21 c 4075 168.43 o 28950 168.43 c 4071 168.72 o 28951 168.72 c 4070 168.83 o 28955 168.83 c 4066 168.94 o 28958 168.94 c 4063 169.05 o 28961 169.05 c 4060 169.17 o 28962 169.17 c 4059 169.50 o 28964 169.50 c 4057 169.62 o 28965 169.62 c 4056 169.84 o 28966 169.84 c 4055 169.95 o 28969 169.95 c 4052 170.87 o 28970 170.87 c 4051 170.98 o 28971 170.98 c 4050 171.61 o 28973 171.61 c 4048 172.02 o 28975 172.02 c 4046 172.13 o 28978 172.13 c 4043 172.34 o 28980 172.34 c 4041 172.45 o 28982 172.45 c 4039 172.56 o 28985 172.56 c 4036 172.77 o 28986 172.77 c 4035 173.43 o 28988 173.43 c 4033 173.54 o 28989 173.54 c 4032 173.75 o 28990 173.75 c 4031 174.17 o 28994 174.17 c 4027 174.28 o 28995 174.28 c 4026 174.39 o 28996 174.39 c 4025 174.50 o 28997 174.50 c 4024 174.60 o 28999 174.60 c 4022 174.93 o 29000 174.93 c 4021 174.99 o 29003 174.99 c 4018 175.42 o 29004 175.42 c 4017 175.63 o 29006 175.63 c 4015 175.89 o 29007 175.89 c 4014 176.63 o 29010 176.63 c 4011 176.74 o 29014 176.74 c 4007 176.95 o 29015 176.95 c 4006 177.28 o 29017 177.28 c 4004 178.03 o 29018 178.03 c 4003 178.30 o 29019 178.30 c 4002 178.41 o 29020 178.41 c 4001 178.52 o 29022 178.52 c 3999 178.73 o 29024 178.74 c 3997 178.85 o 29026 178.85 c 3995 179.06 o 29027 179.06 c 3994 179.27 o 29028 179.27 c 3993 179.83 o 29029 179.83 c 3992 179.94 o 29031 179.94 c 3990 180.05 o 29032 180.05 c 3989 180.16 o 29034 180.16 c 3987 180.28 o 29036 180.28 c 3985 181.37 o 29037 181.37 c 3984 181.48 o 29038 181.48 c 3983 181.59 o 29039 181.59 c 3982 181.70 o 29041 181.70 c 3980 181.78 o 29042 181.78 c 3979 182.00 o 29043 182.00 c 3978 182.22 o 29044 182.22 c 3977 182.88 o 29045 182.88 c 3976 184.25 o 29047 184.25 c 3974 184.37 o 29049 184.37 c 3972 185.13 o 29052 185.13 c 3969 185.35 o 29056 185.35 c 3965 185.46 o 29057 185.46 c 3964 185.57 o 29060 185.57 c 3961 185.64 o 29062 185.64 c 3959 185.86 o 29063 185.86 c 3958 187.31 o 29065 187.31 c 3956 187.43 o 29066 187.43 c 3955 187.98 o 29068 187.98 c 3953 188.09 o 29069 188.09 c 3952 188.63 o 29072 188.63 c 3949 188.74 o 29073 188.74 c 3948 188.86 o 29074 188.86 c 3947 189.08 o 29076 189.08 c 3945 189.20 o 29077 189.20 c 3944 189.42 o 29078 189.42 c 3943 189.51 o 29079 189.51 c 3942 189.62 o 29080 189.62 c 3941 189.73 o 29082 189.73 c 3939 189.84 o 29084 189.84 c 3937 189.95 o 29085 189.95 c 3936 190.29 o 29089 190.29 c 3932 190.51 o 29091 190.51 c 3930 190.63 o 29093 190.63 c 3928 190.74 o 29094 190.74 c 3927 190.86 o 29095 190.86 c 3926 190.97 o 29096 190.97 c 3925 191.90 o 29097 191.90 c 3924 192.01 o 29098 192.01 c 3923 192.12 o 29099 192.12 c 3922 192.82 o 29100 192.82 c 3921 192.93 o 29102 192.93 c 3919 193.09 o 29105 193.09 c 3916 193.30 o 29107 193.30 c 3914 193.79 o 29112 193.79 c 3909 193.89 o 29113 193.89 c 3908 194.01 o 29116 194.01 c 3905 194.08 o 29117 194.08 c 3904 194.30 o 29121 194.30 c 3900 195.27 o 29122 195.27 c 3899 195.60 o 29126 195.60 c 3895 195.72 o 29127 195.72 c 3894 196.58 o 29129 196.58 c 3892 196.64 o 29131 196.64 c 3890 197.51 o 29132 197.51 c 3889 197.63 o 29133 197.63 c 3888 197.74 o 29134 197.74 c 3887 197.85 o 29135 197.85 c 3886 198.41 o 29136 198.41 c 3885 198.53 o 29137 198.53 c 3884 198.64 o 29139 198.64 c 3882 198.75 o 29140 198.75 c 3881 199.10 o 29141 199.10 c 3880 199.32 o 29142 199.32 c 3879 199.44 o 29146 199.44 c 3875 199.52 o 29149 199.52 c 3872 199.61 o 29150 199.61 c 3871 199.71 o 29152 199.71 c 3869 199.82 o 29153 199.82 c 3868 199.94 o 29155 199.94 c 3866 200.05 o 29156 200.05 c 3865 200.16 o 29159 200.16 c 3862 200.38 o 29161 200.38 c 3860 200.49 o 29163 200.49 c 3858 201.55 o 29165 201.55 c 3856 202.69 o 29166 202.69 c 3855 202.81 o 29167 202.81 c 3854 202.92 o 29168 202.92 c 3853 203.51 o 29170 203.51 c 3851 203.74 o 29173 203.74 c 3848 204.44 o 29176 204.44 c 3845 204.55 o 29178 204.55 c 3843 204.78 o 29180 204.78 c 3841 205.68 o 29183 205.68 c 3838 205.79 o 29184 205.79 c 3837 206.98 o 29185 206.98 c 3836 207.21 o 29187 207.21 c 3834 208.39 o 29188 208.39 c 3833 208.50 o 29189 208.51 c 3832 208.83 o 29191 208.83 c 3830 208.95 o 29192 208.95 c 3829 209.06 o 29194 209.06 c 3827 209.17 o 29195 209.17 c 3826 209.53 o 29197 209.53 c 3824 209.65 o 29198 209.65 c 3823 210.50 o 29199 210.50 c 3822 210.62 o 29200 210.62 c 3821 210.71 o 29201 210.71 c 3820 210.79 o 29205 210.79 c 3816 210.90 o 29209 210.90 c 3812 211.02 o 29210 211.02 c 3811 211.51 o 29215 211.51 c 3806 211.75 o 29218 211.75 c 3803 214.37 o 29219 214.37 c 3802 214.87 o 29221 214.87 c 3800 216.11 o 29222 216.11 c 3799 224.76 o 29223 224.76 c 3798 225.02 o 29226 225.02 c 3795 226.00 o 29229 226.00 c 3792 226.10 o 29231 226.10 c 3790 226.23 o 29233 226.23 c 3788 226.32 o 29236 226.32 c 3785 226.44 o 29238 226.45 c 3783 226.57 o 29241 226.57 c 3780 226.83 o 29243 226.83 c 3778 226.96 o 29244 226.96 c 3777 227.09 o 29246 227.09 c 3775 227.22 o 29248 227.22 c 3773 227.48 o 29249 227.48 c 3772 227.61 o 29251 227.61 c 3770 228.24 o 29252 228.24 c 3769 231.29 o 29254 231.29 c 3767 231.95 o 29256 231.95 c 3765 233.73 o 29257 233.73 c 3764 239.24 o 29258 239.24 c 3763 239.38 o 29260 239.38 c 3761 239.79 o 29261 239.79 c 3760 239.93 o 29262 239.93 c 3759 240.08 o 29264 240.08 c 3757 240.21 o 29268 240.21 c 3753 240.51 o 29270 240.51 c 3751 240.79 o 29272 240.79 c 3749 244.16 o 29273 244.16 c 3748 244.59 o 29274 244.59 c 3747 244.74 o 29275 244.74 c 3746 245.46 o 29279 245.46 c 3742 245.89 o 29280 245.89 c 3741 246.04 o 29282 246.04 c 3739 246.14 o 29285 246.14 c 3736 246.28 o 29287 246.28 c 3734 259.97 o 29289 259.97 c 3732 261.02 o 29290 261.02 c 3731 262.15 o 29291 262.15 c 3730 262.59 o 29292 262.59 c 3729 262.87 o 29293 262.87 c 3728 263.04 o 29294 263.04 c 3727 266.89 o 29295 266.89 c 3726 267.06 o 29296 267.06 c 3725 267.22 o 29297 267.22 c 3724 267.70 o 29298 267.70 c 3723 267.87 o 29299 267.87 c 3722 268.36 o 29300 268.36 c 3721 268.68 o 29303 268.68 c 3718 268.85 o 29305 268.85 c 3716 269.01 o 29307 269.01 c 3714 269.17 o 29308 269.17 c 3713 269.51 o 29309 269.51 c 3712 269.83 o 29312 269.83 c 3709 269.99 o 29313 269.99 c 3708 270.16 o 29314 270.16 c 3707 270.32 o 29318 270.32 c 3703 270.50 o 29320 270.50 c 3701 270.66 o 29321 270.66 c 3700 270.95 o 29323 270.95 c 3698 271.12 o 29326 271.12 c 3695 271.44 o 29327 271.44 c 3694 271.64 o 29330 271.64 c 3691 271.80 o 29331 271.80 c 3690 272.29 o 29332 272.29 c 3689 273.26 o 29333 273.26 c 3688 273.42 o 29336 273.42 c 3685 273.58 o 29337 273.58 c 3684 273.74 o 29338 273.74 c 3683 273.91 o 29340 273.91 c 3681 274.23 o 29341 274.23 c 3680 274.88 o 29343 274.88 c 3678 275.21 o 29345 275.21 c 3676 275.53 o 29346 275.53 c 3675 276.01 o 29347 276.01 c 3674 276.18 o 29348 276.18 c 3673 276.82 o 29350 276.82 c 3671 276.96 o 29352 276.96 c 3669 277.28 o 29355 277.28 c 3666 277.44 o 29357 277.44 c 3664 277.91 o 29358 277.91 c 3663 278.55 o 29359 278.55 c 3662 278.86 o 29362 278.86 c 3659 278.99 o 29366 278.99 c 3655 280.65 o 29367 280.65 c 3654 282.51 o 29369 282.51 c 3652 286.49 o 29370 286.49 c 3651 286.85 o 29375 286.85 c 3646 287.63 o 29377 287.63 c 3644 287.93 o 29379 287.93 c 3642 296.13 o 29381 296.13 c 3640 296.28 o 29384 296.28 c 3637 296.60 o 29387 296.60 c 3634 296.76 o 29389 296.76 c 3632 296.91 o 29392 296.91 c 3629 297.20 o 29393 297.20 c 3628 297.30 o 29394 297.30 c 3627 297.92 o 29396 297.92 c 3625 298.35 o 29397 298.35 c 3624 298.50 o 29398 298.50 c 3623 298.65 o 29399 298.65 c 3622 298.94 o 29402 298.94 c 3619 299.10 o 29403 299.10 c 3618 299.25 o 29404 299.25 c 3617 299.41 o 29405 299.41 c 3616 299.56 o 29406 299.56 c 3615 299.72 o 29408 299.72 c 3613 299.88 o 29409 299.88 c 3612 300.04 o 29410 300.04 c 3611 300.20 o 29412 300.20 c 3609 300.33 o 29413 300.33 c 3608 300.92 o 29414 300.92 c 3607 301.08 o 29416 301.08 c 3605 301.22 o 29419 301.22 c 3602 301.38 o 29421 301.38 c 3600 301.48 o 29426 301.48 c 3595 301.57 o 29428 301.57 c 3593 301.73 o 29430 301.73 c 3591 302.04 o 29431 302.04 c 3590 302.37 o 29433 302.37 c 3588 302.84 o 29434 302.84 c 3587 303.00 o 29437 303.00 c 3584 303.31 o 29439 303.31 c 3582 303.71 o 29440 303.71 c 3581 304.41 o 29443 304.41 c 3578 304.57 o 29446 304.57 c 3575 304.86 o 29450 304.86 c 3571 305.01 o 29451 305.01 c 3570 305.17 o 29452 305.17 c 3569 305.48 o 29454 305.48 c 3567 305.64 o 29455 305.64 c 3566 305.76 o 29456 305.76 c 3565 308.60 o 29457 308.60 c 3564 308.74 o 29459 308.74 c 3562 308.89 o 29461 308.90 c 3560 311.48 o 29463 311.48 c 3558 311.73 o 29464 311.73 c 3557 312.31 o 29465 312.31 c 3556 312.46 o 29467 312.46 c 3554 312.61 o 29469 312.61 c 3552 312.77 o 29471 312.77 c 3550 312.92 o 29472 312.92 c 3549 313.08 o 29473 313.08 c 3548 313.24 o 29475 313.24 c 3546 313.40 o 29477 313.40 c 3544 313.56 o 29478 313.56 c 3543 314.34 o 29479 314.34 c 3542 314.66 o 29480 314.66 c 3541 314.82 o 29482 314.82 c 3539 314.99 o 29484 314.99 c 3537 315.24 o 29485 315.24 c 3536 316.71 o 29487 316.71 c 3534 319.89 o 29488 319.89 c 3533 320.56 o 29489 320.56 c 3532 320.73 o 29490 320.73 c 3531 323.01 o 29491 323.01 c 3530 323.17 o 29493 323.17 c 3528 323.27 o 29495 323.27 c 3526 323.92 o 29498 323.92 c 3523 324.24 o 29499 324.24 c 3522 324.76 o 29500 324.76 c 3521 325.41 o 29505 325.41 c 3516 325.57 o 29506 325.57 c 3515 325.74 o 29509 325.74 c 3512 326.19 o 29511 326.19 c 3510 326.85 o 29512 326.85 c 3509 327.03 o 29513 327.03 c 3508 329.13 o 29514 329.13 c 3507 329.31 o 29515 329.31 c 3506 329.48 o 29516 329.48 c 3505 329.82 o 29517 329.82 c 3504 331.85 o 29518 331.85 c 3503 332.01 o 29522 332.01 c 3499 332.18 o 29523 332.18 c 3498 332.35 o 29524 332.35 c 3497 332.70 o 29525 332.70 c 3496 332.87 o 29527 332.87 c 3494 333.03 o 29528 333.03 c 3493 333.18 o 29530 333.18 c 3491 333.52 o 29532 333.52 c 3489 333.70 o 29534 333.70 c 3487 333.87 o 29535 333.87 c 3486 334.04 o 29536 334.04 c 3485 334.55 o 29537 334.55 c 3484 334.72 o 29541 334.72 c 3480 335.07 o 29543 335.07 c 3478 335.24 o 29544 335.24 c 3477 335.41 o 29545 335.41 c 3476 335.58 o 29548 335.58 c 3473 335.92 o 29549 335.92 c 3472 336.44 o 29550 336.44 c 3471 336.61 o 29551 336.61 c 3470 336.86 o 29552 336.86 c 3469 337.55 o 29553 337.55 c 3468 338.23 o 29554 338.23 c 3467 338.75 o 29555 338.75 c 3466 339.59 o 29556 339.59 c 3465 339.93 o 29557 339.93 c 3464 340.25 o 29558 340.25 c 3463 340.42 o 29559 340.42 c 3462 340.60 o 29560 340.60 c 3461 340.77 o 29561 340.77 c 3460 340.95 o 29563 340.95 c 3458 341.30 o 29565 341.30 c 3456 342.08 o 29566 342.08 c 3455 344.93 o 29567 344.93 c 3454 358.74 o 29570 358.74 c 3451 359.49 o 29571 359.49 c 3450 359.69 o 29573 359.69 c 3448 360.27 o 29574 360.27 c 3447 361.57 o 29575 361.57 c 3446 362.51 o 29576 362.51 c 3445 362.71 o 29577 362.71 c 3444 362.91 o 29579 362.91 c 3442 363.11 o 29581 363.11 c 3440 364.29 o 29584 364.29 c 3437 364.49 o 29586 364.49 c 3435 364.69 o 29588 364.69 c 3433 365.28 o 29589 365.28 c 3432 368.60 o 29590 368.60 c 3431 379.19 o 29592 379.20 c 3429 379.39 o 29595 379.39 c 3426 380.73 o 29596 380.73 c 3425 380.93 o 29599 380.93 c 3422 382.11 o 29601 382.11 c 3420 382.48 o 29603 382.48 c 3418 382.87 o 29604 382.87 c 3417 383.00 o 29605 383.00 c 3416 384.18 o 29606 384.19 c 3415 384.39 o 29607 384.39 c 3414 384.58 o 29609 384.58 c 3412 384.78 o 29610 384.78 c 3411 385.37 o 29611 385.37 c 3410 385.49 o 29612 385.49 c 3409 386.21 o 29614 386.21 c 3407 386.40 o 29615 386.40 c 3406 386.99 o 29617 386.99 c 3404 388.56 o 29618 388.56 c 3403 388.76 o 29620 388.76 c 3401 388.97 o 29623 388.97 c 3398 390.80 o 29624 390.80 c 3397 391.75 o 29626 391.75 c 3395 391.95 o 29627 391.95 c 3394 392.16 o 29628 392.16 c 3393 392.59 o 29629 392.59 c 3392 392.80 o 29633 392.80 c 3388 393.00 o 29634 393.00 c 3387 393.18 o 29636 393.18 c 3385 393.58 o 29637 393.58 c 3384 394.71 o 29638 394.71 c 3383 395.13 o 29641 395.13 c 3380 395.94 o 29642 395.94 c 3379 396.95 o 29644 396.95 c 3377 397.15 o 29649 397.15 c 3372 397.36 o 29650 397.36 c 3371 397.92 o 29651 397.92 c 3370 398.13 o 29652 398.13 c 3369 398.34 o 29653 398.34 c 3368 398.54 o 29654 398.54 c 3367 398.75 o 29655 398.75 c 3366 402.50 o 29657 402.50 c 3364 403.75 o 29659 403.75 c 3362 403.96 o 29662 403.96 c 3359 404.18 o 29664 404.18 c 3357 405.02 o 29667 405.02 c 3354 405.45 o 29668 405.45 c 3353 405.96 o 29669 405.96 c 3352 406.17 o 29670 406.17 c 3351 406.39 o 29671 406.39 c 3350 406.60 o 29673 406.60 c 3348 406.82 o 29675 406.82 c 3346 407.03 o 29676 407.03 c 3345 410.15 o 29677 410.15 c 3344 410.58 o 29678 410.58 c 3343 410.80 o 29679 410.80 c 3342 411.01 o 29680 411.01 c 3341 411.20 o 29683 411.20 c 3338 411.83 o 29685 411.83 c 3336 412.26 o 29686 412.26 c 3335 412.47 o 29688 412.47 c 3333 412.65 o 29690 412.65 c 3331 413.09 o 29691 413.09 c 3330 414.56 o 29692 414.56 c 3329 415.72 o 29693 415.72 c 3328 416.33 o 29694 416.33 c 3327 416.55 o 29695 416.55 c 3326 416.97 o 29697 416.97 c 3324 417.30 o 29698 417.30 c 3323 417.49 o 29699 417.49 c 3322 418.13 o 29701 418.13 c 3320 418.34 o 29703 418.34 c 3318 418.55 o 29707 418.55 c 3314 418.93 o 29708 418.93 c 3313 431.58 o 29710 431.58 c 3311 442.86 o 29711 442.86 c 3310 443.03 o 29712 443.03 c 3309 443.24 o 29714 443.24 c 3307 445.00 o 29715 445.00 c 3306 445.43 o 29717 445.43 c 3304 445.64 o 29718 445.64 c 3303 446.06 o 29719 446.06 c 3302 446.27 o 29720 446.27 c 3301 446.48 o 29723 446.48 c 3298 447.07 o 29724 447.07 c 3297 447.28 o 29725 447.28 c 3296 447.70 o 29726 447.70 c 3295 449.56 o 29727 449.56 c 3294 449.75 o 29729 449.75 c 3292 450.14 o 29730 450.14 c 3291 450.96 o 29731 450.96 c 3290 455.55 o 29732 455.55 c 3289 456.36 o 29733 456.36 c 3288 456.54 o 29737 456.54 c 3284 456.74 o 29742 456.75 c 3279 456.94 o 29743 456.94 c 3278 458.72 o 29745 458.72 c 3276 465.58 o 29746 465.58 c 3275 466.64 o 29747 466.64 c 3274 467.54 o 29748 467.54 c 3273 467.94 o 29750 467.94 c 3271 468.73 o 29753 468.73 c 3268 468.93 o 29754 468.93 c 3267 469.33 o 29756 469.33 c 3265 469.72 o 29757 469.72 c 3264 469.92 o 29759 469.92 c 3262 470.12 o 29762 470.12 c 3259 470.27 o 29766 470.27 c 3255 470.86 o 29767 470.86 c 3254 473.17 o 29768 473.17 c 3253 473.56 o 29769 473.56 c 3252 473.76 o 29771 473.76 c 3250 474.16 o 29772 474.16 c 3249 474.56 o 29776 474.56 c 3245 474.75 o 29778 474.75 c 3243 475.34 o 29781 475.34 c 3240 477.71 o 29782 477.71 c 3239 478.19 o 29784 478.19 c 3237 479.39 o 29786 479.39 c 3235 479.58 o 29787 479.58 c 3234 479.99 o 29788 479.99 c 3233 480.59 o 29789 480.59 c 3232 483.46 o 29791 483.46 c 3230 483.67 o 29792 483.67 c 3229 501.51 o 29797 501.51 c 3224 504.64 o 29799 504.64 c 3222 504.85 o 29801 504.85 c 3220 505.06 o 29802 505.06 c 3219 505.26 o 29804 505.27 c 3217 505.68 o 29806 505.68 c 3215 506.11 o 29807 506.11 c 3214 506.32 o 29809 506.32 c 3212 506.72 o 29810 506.72 c 3211 506.94 o 29812 506.94 c 3209 507.76 o 29813 507.76 c 3208 510.56 o 29816 510.56 c 3205 510.98 o 29820 510.98 c 3201 511.15 o 29821 511.15 c 3200 511.36 o 29822 511.36 c 3199 512.19 o 29823 512.19 c 3198 512.39 o 29824 512.39 c 3197 518.37 o 29825 518.37 c 3196 519.14 o 29827 519.14 c 3194 519.77 o 29828 519.77 c 3193 520.18 o 29831 520.18 c 3190 520.39 o 29834 520.39 c 3187 522.04 o 29835 522.04 c 3186 522.25 o 29836 522.25 c 3185 522.58 o 29838 522.58 c 3183 523.20 o 29839 523.20 c 3182 529.34 o 29841 529.34 c 3180 529.56 o 29844 529.56 c 3177 529.78 o 29845 529.78 c 3176 530.00 o 29846 530.00 c 3175 530.22 o 29848 530.22 c 3173 530.44 o 29849 530.44 c 3172 532.12 o 29851 532.12 c 3170 532.26 o 29852 532.26 c 3169 532.70 o 29853 532.70 c 3168 532.89 o 29854 532.89 c 3167 533.11 o 29858 533.11 c 3163 533.55 o 29860 533.55 c 3161 533.76 o 29862 533.76 c 3159 533.97 o 29864 533.97 c 3157 534.18 o 29865 534.18 c 3156 534.78 o 29867 534.78 c 3154 535.19 o 29869 535.19 c 3152 535.41 o 29870 535.41 c 3151 535.83 o 29873 535.83 c 3148 536.46 o 29874 536.46 c 3147 536.67 o 29875 536.67 c 3146 536.87 o 29876 536.87 c 3145 537.87 o 29877 537.87 c 3144 541.55 o 29880 541.55 c 3141 541.77 o 29883 541.77 c 3138 541.99 o 29885 541.99 c 3136 542.22 o 29887 542.22 c 3134 543.23 o 29891 543.23 c 3130 543.45 o 29893 543.45 c 3128 545.24 o 29894 545.24 c 3127 545.46 o 29895 545.46 c 3126 545.63 o 29897 545.63 c 3124 546.06 o 29898 546.06 c 3123 546.27 o 29900 546.27 c 3121 546.49 o 29901 546.49 c 3120 546.71 o 29903 546.71 c 3118 546.93 o 29904 546.93 c 3117 556.83 o 29905 556.83 c 3116 557.06 o 29906 557.06 c 3115 557.28 o 29907 557.28 c 3114 559.26 o 29911 559.26 c 3110 559.70 o 29912 559.70 c 3109 560.53 o 29913 560.53 c 3108 560.75 o 29915 560.75 c 3106 560.96 o 29916 560.96 c 3105 561.19 o 29917 561.19 c 3104 561.41 o 29918 561.41 c 3103 561.63 o 29919 561.63 c 3102 562.07 o 29920 562.07 c 3101 562.29 o 29921 562.29 c 3100 562.51 o 29922 562.51 c 3099 563.62 o 29923 563.62 c 3098 564.07 o 29925 564.07 c 3096 564.29 o 29926 564.29 c 3095 564.52 o 29927 564.52 c 3094 564.74 o 29928 564.74 c 3093 564.97 o 29929 564.97 c 3092 565.19 o 29930 565.19 c 3091 573.30 o 29932 573.30 c 3089 574.04 o 29934 574.04 c 3087 574.26 o 29936 574.26 c 3085 574.49 o 29937 574.49 c 3084 574.71 o 29938 574.71 c 3083 574.94 o 29939 574.94 c 3082 575.17 o 29940 575.17 c 3081 575.39 o 29942 575.39 c 3079 575.95 o 29945 575.95 c 3076 576.59 o 29946 576.59 c 3075 578.29 o 29947 578.29 c 3074 579.19 o 29948 579.19 c 3073 580.07 o 29949 580.07 c 3072 581.19 o 29950 581.19 c 3071 581.42 o 29951 581.42 c 3070 581.64 o 29953 581.64 c 3068 583.01 o 29955 583.01 c 3066 583.24 o 29956 583.24 c 3065 583.68 o 29957 583.68 c 3064 583.89 o 29959 583.89 c 3062 584.58 o 29960 584.58 c 3061 587.94 o 29961 587.94 c 3060 588.17 o 29962 588.17 c 3059 588.40 o 29964 588.40 c 3057 588.64 o 29965 588.64 c 3056 589.10 o 29966 589.10 c 3055 589.77 o 29967 589.77 c 3054 594.98 o 29969 594.98 c 3052 595.21 o 29970 595.21 c 3051 595.44 o 29973 595.44 c 3048 596.54 o 29975 596.54 c 3046 596.59 o 29978 596.59 c 3043 596.83 o 29979 596.83 c 3042 597.65 o 29980 597.65 c 3041 597.88 o 29981 597.88 c 3040 598.11 o 29982 598.11 c 3039 598.34 o 29984 598.34 c 3037 598.81 o 29985 598.81 c 3036 599.04 o 29986 599.04 c 3035 599.28 o 29987 599.28 c 3034 599.51 o 29989 599.51 c 3032 600.58 o 29990 600.58 c 3031 600.81 o 29991 600.81 c 3030 601.05 o 29993 601.05 c 3028 602.22 o 29994 602.22 c 3027 602.45 o 29995 602.45 c 3026 602.92 o 29996 602.92 c 3025 603.39 o 29998 603.39 c 3023 603.63 o 30001 603.63 c 3020 604.68 o 30002 604.68 c 3019 604.89 o 30004 604.89 c 3017 605.12 o 30005 605.12 c 3016 606.05 o 30007 606.05 c 3014 606.29 o 30008 606.29 c 3013 606.52 o 30009 606.52 c 3012 611.64 o 30010 611.64 c 3011 611.86 o 30011 611.86 c 3010 612.08 o 30013 612.08 c 3008 612.31 o 30015 612.31 c 3006 612.54 o 30016 612.54 c 3005 612.76 o 30018 612.76 c 3003 613.58 o 30020 613.58 c 3001 613.80 o 30021 613.80 c 3000 614.23 o 30024 614.23 c 2997 614.67 o 30025 614.67 c 2996 614.90 o 30026 614.90 c 2995 615.11 o 30027 615.11 c 2994 615.79 o 30028 615.79 c 2993 616.01 o 30029 616.01 c 2992 618.21 o 30030 618.21 c 2991 618.44 o 30033 618.44 c 2988 618.89 o 30034 618.89 c 2987 619.34 o 30035 619.34 c 2986 636.58 o 30036 636.58 c 2985 636.82 o 30038 636.82 c 2983 640.54 o 30039 640.54 c 2982 640.78 o 30040 640.78 c 2981 641.24 o 30042 641.24 c 2979 641.48 o 30043 641.48 c 2978 641.96 o 30046 641.96 c 2975 643.66 o 30047 643.66 c 2974 643.90 o 30048 643.91 c 2973 644.07 o 30050 644.07 c 2971 655.32 o 30051 655.32 c 2970 659.39 o 30052 659.39 c 2969 660.36 o 30053 660.36 c 2968 661.42 o 30054 661.42 c 2967 661.61 o 30056 661.61 c 2965 661.80 o 30057 661.80 c 2964 662.04 o 30059 662.04 c 2962 662.54 o 30060 662.54 c 2961 663.26 o 30062 663.26 c 2959 663.75 o 30065 663.75 c 2956 664.11 o 30068 664.11 c 2953 664.35 o 30071 664.35 c 2950 665.31 o 30072 665.31 c 2949 665.55 o 30073 665.55 c 2948 665.80 o 30075 665.80 c 2946 674.34 o 30076 674.34 c 2945 675.25 o 30078 675.25 c 2943 675.49 o 30079 675.49 c 2942 675.73 o 30080 675.73 c 2941 675.97 o 30081 675.97 c 2940 676.21 o 30083 676.21 c 2938 676.45 o 30084 676.45 c 2937 676.66 o 30085 676.66 c 2936 684.23 o 30087 684.23 c 2934 684.47 o 30088 684.47 c 2933 686.02 o 30089 686.02 c 2932 686.97 o 30090 686.97 c 2931 687.58 o 30091 687.58 c 2930 688.07 o 30092 688.07 c 2929 689.49 o 30094 689.49 c 2927 690.46 o 30095 690.46 c 2926 710.69 o 30097 710.69 c 2924 711.45 o 30098 711.45 c 2923 711.90 o 30099 711.90 c 2922 712.15 o 30101 712.15 c 2920 712.56 o 30102 712.56 c 2919 712.80 o 30104 712.80 c 2917 713.05 o 30106 713.05 c 2915 713.30 o 30108 713.30 c 2913 713.45 o 30109 713.45 c 2912 713.68 o 30110 713.68 c 2911 726.78 o 30112 726.78 c 2909 727.27 o 30113 727.27 c 2908 729.17 o 30114 729.17 c 2907 729.26 o 30117 729.26 c 2904 730.31 o 30121 730.31 c 2900 732.76 o 30123 732.76 c 2898 734.88 o 30126 734.88 c 2895 736.11 o 30129 736.12 c 2892 741.34 o 30131 741.34 c 2890 741.52 o 30133 741.52 c 2888 741.65 o 30134 741.65 c 2887 741.80 o 30135 741.80 c 2886 742.02 o 30136 742.02 c 2885 742.26 o 30139 742.26 c 2882 742.75 o 30141 742.75 c 2880 743.71 o 30143 743.71 c 2878 744.44 o 30144 744.44 c 2877 744.63 o 30145 744.63 c 2876 748.74 o 30146 748.74 c 2875 758.81 o 30148 758.81 c 2873 760.27 o 30150 760.27 c 2871 761.15 o 30151 761.15 c 2870 761.40 o 30152 761.40 c 2869 761.55 o 30154 761.55 c 2867 762.05 o 30155 762.05 c 2866 768.34 o 30156 768.34 c 2865 769.09 o 30157 769.09 c 2864 770.34 o 30158 770.34 c 2863 771.47 o 30160 771.47 c 2861 771.72 o 30162 771.72 c 2859 772.44 o 30163 772.44 c 2858 772.98 o 30164 772.98 c 2857 773.06 o 30165 773.06 c 2856 774.01 o 30167 774.01 c 2854 775.00 o 30168 775.00 c 2853 775.25 o 30169 775.25 c 2852 775.51 o 30171 775.51 c 2850 776.21 o 30172 776.21 c 2849 785.07 o 30174 785.07 c 2847 785.84 o 30175 785.84 c 2846 787.27 o 30176 787.27 c 2845 787.79 o 30180 787.79 c 2841 788.56 o 30181 788.56 c 2840 788.95 o 30182 788.95 c 2839 795.94 o 30184 795.94 c 2837 796.19 o 30189 796.19 c 2832 802.76 o 30191 802.76 c 2830 803.73 o 30192 803.73 c 2829 803.97 o 30198 803.97 c 2823 804.19 o 30200 804.19 c 2821 804.40 o 30201 804.40 c 2820 804.65 o 30202 804.65 c 2819 805.16 o 30204 805.16 c 2817 807.72 o 30205 807.72 c 2816 808.75 o 30206 808.75 c 2815 813.85 o 30208 813.85 c 2813 814.11 o 30210 814.11 c 2811 814.35 o 30212 814.35 c 2809 822.67 o 30214 822.67 c 2807 823.40 o 30215 823.40 c 2806 823.64 o 30217 823.64 c 2804 823.88 o 30218 823.88 c 2803 824.29 o 30219 824.29 c 2802 825.24 o 30220 825.24 c 2801 825.48 o 30222 825.48 c 2799 825.72 o 30224 825.72 c 2797 825.97 o 30227 825.97 c 2794 830.11 o 30228 830.11 c 2793 831.57 o 30229 831.57 c 2792 831.82 o 30230 831.82 c 2791 839.04 o 30231 839.04 c 2790 839.22 o 30233 839.22 c 2788 840.72 o 30234 840.72 c 2787 840.96 o 30235 840.96 c 2786 842.13 o 30236 842.13 c 2785 842.29 o 30237 842.29 c 2784 857.42 o 30238 857.42 c 2783 858.40 o 30239 858.40 c 2782 859.24 o 30242 859.24 c 2779 859.48 o 30243 859.48 c 2778 859.97 o 30244 859.97 c 2777 860.96 o 30245 860.96 c 2776 861.32 o 30247 861.32 c 2774 862.26 o 30248 862.26 c 2773 862.51 o 30250 862.51 c 2771 862.76 o 30251 862.76 c 2770 864.24 o 30252 864.24 c 2769 867.86 o 30253 867.86 c 2768 868.11 o 30255 868.11 c 2766 871.35 o 30257 871.35 c 2764 871.59 o 30259 871.59 c 2762 871.84 o 30260 871.84 c 2761 873.54 o 30261 873.54 c 2760 875.24 o 30263 875.24 c 2758 875.48 o 30264 875.48 c 2757 875.73 o 30265 875.73 c 2756 875.97 o 30266 875.97 c 2755 876.21 o 30268 876.21 c 2753 882.48 o 30269 882.48 c 2752 882.70 o 30270 882.70 c 2751 889.74 o 30274 889.74 c 2747 890.00 o 30278 890.00 c 2743 890.25 o 30279 890.25 c 2742 891.45 o 30280 891.45 c 2741 892.70 o 30284 892.70 c 2737 894.86 o 30285 894.86 c 2736 895.11 o 30288 895.11 c 2733 895.86 o 30289 895.86 c 2732 896.55 o 30290 896.55 c 2731 896.75 o 30291 896.75 c 2730 897.00 o 30294 897.00 c 2727 897.25 o 30295 897.25 c 2726 903.73 o 30296 903.73 c 2725 903.92 o 30297 903.92 c 2724 904.17 o 30301 904.17 c 2720 904.65 o 30302 904.65 c 2719 906.13 o 30303 906.13 c 2718 906.34 o 30305 906.34 c 2716 906.55 o 30307 906.55 c 2714 906.78 o 30310 906.78 c 2711 917.31 o 30311 917.31 c 2710 917.55 o 30313 917.55 c 2708 917.70 o 30314 917.70 c 2707 918.18 o 30316 918.18 c 2705 918.41 o 30317 918.41 c 2704 918.89 o 30318 918.89 c 2703 919.85 o 30319 919.85 c 2702 922.34 o 30320 922.34 c 2701 922.58 o 30321 922.58 c 2700 922.76 o 30322 922.76 c 2699 929.86 o 30324 929.86 c 2697 930.10 o 30326 930.10 c 2695 933.41 o 30329 933.41 c 2692 933.60 o 30330 933.60 c 2691 933.83 o 30331 933.83 c 2690 934.07 o 30333 934.07 c 2688 934.30 o 30335 934.30 c 2686 934.52 o 30336 934.52 c 2685 934.75 o 30340 934.75 c 2681 935.21 o 30341 935.21 c 2680 936.07 o 30342 936.07 c 2679 938.75 o 30343 938.75 c 2678 938.98 o 30344 938.98 c 2677 939.43 o 30348 939.43 c 2673 944.50 o 30349 944.50 c 2672 944.74 o 30351 944.74 c 2670 944.97 o 30353 944.97 c 2668 945.20 o 30354 945.20 c 2667 945.40 o 30355 945.40 c 2666 947.03 o 30356 947.03 c 2665 947.50 o 30357 947.50 c 2664 947.95 o 30358 947.95 c 2663 949.12 o 30360 949.12 c 2661 949.36 o 30362 949.36 c 2659 949.60 o 30363 949.60 c 2658 949.84 o 30365 949.84 c 2656 950.08 o 30368 950.08 c 2653 958.98 o 30369 958.98 c 2652 959.22 o 30371 959.22 c 2650 961.58 o 30373 961.58 c 2648 962.06 o 30374 962.06 c 2647 962.55 o 30375 962.55 c 2646 963.02 o 30377 963.02 c 2644 963.76 o 30378 963.76 c 2643 971.07 o 30379 971.07 c 2642 971.80 o 30381 971.80 c 2640 975.86 o 30382 975.86 c 2639 977.87 o 30384 977.87 c 2637 978.12 o 30386 978.12 c 2635 978.58 o 30387 978.58 c 2634 978.80 o 30388 978.80 c 2633 979.05 o 30389 979.05 c 2632 984.92 o 30391 984.92 c 2630 985.05 o 30395 985.05 c 2626 985.26 o 30396 985.26 c 2625 989.91 o 30397 989.91 c 2624 990.03 o 30399 990.03 c 2622 990.27 o 30401 990.27 c 2620 990.51 o 30403 990.51 c 2618 996.30 o 30404 996.30 c 2617 996.53 o 30407 996.53 c 2614 996.77 o 30409 996.77 c 2612 999.67 o 30411 999.67 c 2610 999.91 o 30412 999.91 c 2609 1004.21 o 30413 1004.21 c 2608 1007.04 o 30415 1007.04 c 2606 1007.76 o 30418 1007.76 c 2603 1007.94 o 30420 1007.94 c 2601 1008.18 o 30421 1008.18 c 2600 1008.62 o 30422 1008.62 c 2599 1009.79 o 30423 1009.79 c 2598 1010.02 o 30425 1010.02 c 2596 1010.69 o 30426 1010.69 c 2595 1010.81 o 30428 1010.81 c 2593 1011.44 o 30429 1011.44 c 2592 1011.68 o 30430 1011.68 c 2591 1011.91 o 30431 1011.91 c 2590 1012.58 o 30433 1012.58 c 2588 1012.81 o 30436 1012.81 c 2585 1013.28 o 30437 1013.28 c 2584 1018.60 o 30438 1018.60 c 2583 1019.07 o 30440 1019.07 c 2581 1019.28 o 30441 1019.28 c 2580 1019.48 o 30442 1019.48 c 2579 1025.35 o 30445 1025.35 c 2576 1026.28 o 30446 1026.28 c 2575 1026.51 o 30447 1026.51 c 2574 1028.14 o 30448 1028.14 c 2573 1031.37 o 30449 1031.37 c 2572 1031.60 o 30450 1031.60 c 2571 1036.69 o 30451 1036.69 c 2570 1036.92 o 30452 1036.92 c 2569 1037.06 o 30460 1037.06 c 2561 1037.18 o 30461 1037.18 c 2560 1037.82 o 30463 1037.82 c 2558 1047.80 o 30464 1047.80 c 2557 1048.04 o 30465 1048.04 c 2556 1048.75 o 30466 1048.75 c 2555 1048.99 o 30467 1048.99 c 2554 1049.23 o 30470 1049.23 c 2551 1050.20 o 30471 1050.20 c 2550 1050.44 o 30472 1050.44 c 2549 1050.64 o 30474 1050.64 c 2547 1050.90 o 30475 1050.90 c 2546 1051.39 o 30476 1051.39 c 2545 1051.62 o 30477 1051.62 c 2544 1052.02 o 30478 1052.02 c 2543 1052.71 o 30481 1052.71 c 2540 1052.77 o 30482 1052.77 c 2539 1053.44 o 30485 1053.44 c 2536 1054.56 o 30487 1054.56 c 2534 1054.73 o 30490 1054.73 c 2531 1054.97 o 30494 1054.97 c 2527 1055.66 o 30495 1055.66 c 2526 1055.89 o 30496 1055.89 c 2525 1056.36 o 30497 1056.36 c 2524 1057.71 o 30498 1057.71 c 2523 1057.95 o 30499 1057.95 c 2522 1058.18 o 30500 1058.18 c 2521 1072.76 o 30501 1072.76 c 2520 1072.98 o 30502 1072.98 c 2519 1073.21 o 30503 1073.21 c 2518 1073.69 o 30505 1073.69 c 2516 1073.92 o 30506 1073.92 c 2515 1074.16 o 30507 1074.16 c 2514 1074.93 o 30509 1074.93 c 2512 1075.08 o 30510 1075.08 c 2511 1075.96 o 30511 1075.96 c 2510 1076.19 o 30512 1076.19 c 2509 1077.12 o 30513 1077.12 c 2508 1077.81 o 30514 1077.81 c 2507 1078.04 o 30515 1078.04 c 2506 1078.28 o 30516 1078.28 c 2505 1078.51 o 30518 1078.51 c 2503 1078.74 o 30519 1078.74 c 2502 1078.85 o 30522 1078.85 c 2499 1080.22 o 30523 1080.22 c 2498 1080.91 o 30526 1080.91 c 2495 1081.14 o 30527 1081.14 c 2494 1081.38 o 30530 1081.38 c 2491 1082.53 o 30531 1082.53 c 2490 1083.94 o 30532 1083.94 c 2489 1084.18 o 30533 1084.18 c 2488 1085.35 o 30534 1085.35 c 2487 1086.45 o 30535 1086.45 c 2486 1086.89 o 30536 1086.89 c 2485 1088.51 o 30538 1088.51 c 2483 1088.98 o 30539 1088.98 c 2482 1089.89 o 30542 1089.89 c 2479 1095.10 o 30543 1095.10 c 2478 1096.88 o 30544 1096.88 c 2477 1097.78 o 30546 1097.78 c 2475 1098.24 o 30547 1098.24 c 2474 1099.58 o 30549 1099.58 c 2472 1100.74 o 30551 1100.74 c 2470 1101.11 o 30554 1101.11 c 2467 1101.57 o 30556 1101.57 c 2465 1102.46 o 30558 1102.46 c 2463 1103.80 o 30560 1103.80 c 2461 1104.03 o 30561 1104.03 c 2460 1104.49 o 30562 1104.49 c 2459 1104.72 o 30563 1104.72 c 2458 1110.55 o 30564 1110.55 c 2457 1110.70 o 30565 1110.70 c 2456 1111.14 o 30567 1111.14 c 2454 1115.63 o 30569 1115.63 c 2452 1117.14 o 30570 1117.14 c 2451 1117.36 o 30571 1117.36 c 2450 1117.50 o 30574 1117.50 c 2447 1117.78 o 30575 1117.78 c 2446 1118.59 o 30577 1118.59 c 2444 1118.78 o 30578 1118.78 c 2443 1118.99 o 30579 1118.99 c 2442 1119.21 o 30581 1119.21 c 2440 1121.34 o 30582 1121.34 c 2439 1121.77 o 30584 1121.77 c 2437 1122.12 o 30586 1122.12 c 2435 1122.98 o 30587 1122.98 c 2434 1123.20 o 30588 1123.20 c 2433 1124.25 o 30589 1124.25 c 2432 1124.47 o 30592 1124.47 c 2429 1134.36 o 30593 1134.36 c 2428 1134.68 o 30595 1134.68 c 2426 1134.83 o 30597 1134.83 c 2424 1136.31 o 30599 1136.31 c 2422 1138.28 o 30600 1138.28 c 2421 1138.49 o 30602 1138.49 c 2419 1140.42 o 30604 1140.42 c 2417 1141.07 o 30606 1141.07 c 2415 1141.29 o 30607 1141.29 c 2414 1141.62 o 30610 1141.62 c 2411 1142.23 o 30611 1142.23 c 2410 1142.67 o 30613 1142.67 c 2408 1143.10 o 30614 1143.10 c 2407 1143.32 o 30618 1143.32 c 2403 1143.76 o 30619 1143.76 c 2402 1145.06 o 30620 1145.06 c 2401 1148.30 o 30621 1148.30 c 2400 1148.52 o 30622 1148.52 c 2399 1148.74 o 30623 1148.74 c 2398 1148.96 o 30624 1148.96 c 2397 1149.16 o 30626 1149.16 c 2395 1149.65 o 30627 1149.65 c 2394 1149.79 o 30628 1149.79 c 2393 1151.25 o 30629 1151.25 c 2392 1152.01 o 30630 1152.01 c 2391 1154.37 o 30632 1154.37 c 2389 1154.51 o 30633 1154.51 c 2388 1154.69 o 30634 1154.69 c 2387 1155.04 o 30635 1155.04 c 2386 1155.25 o 30637 1155.25 c 2384 1185.63 1185.63 search 1185.63 run=0 nbConstraintChecks=6999130833 nbAssignments=7914 1185.63 => wckTime=1152.41 cpuTime=1146.05 mem=65M62 1185.63 1185.63 global 1185.63 nbConstraintChecks=6999130833 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1185.63 solvingWckTime=1152.393 solvingCpuTime=1146.03 expiredTime=no totalExploration=no nbFoundSolutions=0 1185.63 globalCpuTime=1177.89 1185.63 => wckTime=1185.33 cpuTime=1177.85 mem=65M62 1185.63 1185.63 solver IterativeSystematicSolver being built... 1185.99 => wckTime=1185.697 cpuTime=1178.09 mem=91M300 1186.44 1186.44 preprocessing 1186.44 nbConstraintChecks=95700 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 1186.44 detectedInconsistency=no 1186.44 => wckTime=0.431 cpuTime=0.41 mem=92M315 2410.87 v -2568 -2560 -2508 2640 2600 2488 -2348 2500 -2336 2436 -2524 -2576 2572 2532 -2640 2524 -2556 -2432 -2588 2332 2620 2320 2340 2632 -2396 2600 2604 -2628 2400 2640 2296 2284 2516 2300 -2368 -2340 -2576 2424 -2332 -2308 2460 -2396 2324 -2496 2292 -2368 2488 -2476 2528 2552 -2288 -2308 2324 -2304 2596 -2280 2288 -2284 -2588 -2332 2288 2500 2552 -2556 -2500 -2640 2324 -2496 -2548 2600 -2320 2476 2368 -2320 -2472 2620 -2280 2308 2596 -2280 2596 2356 2344 2388 -2600 -2616 2584 2596 -2344 2432 2284 2340 -2332 -2384 -2448 2600 -2424 -2344 -2636 -2368 -2280 2600 -2336 2640 -2640 2320 -2356 2636 -2472 -2560 -2588 2512 2412 -2280 2388 2496 2284 -2320 -2608 -2320 -2500 -2628 -2640 -2636 2468 2284 2632 -2348 2320 2292 2288 -2488 -2640 2596 2316 2620 -2280 2640 -2424 -2324 -2584 2288 -2480 2284 2600 -2400 2284 2492 2288 -2392 -2636 -2456 2344 -2348 -2344 -2596 -2628 2284 -2332 -2308 -2280 2408 -2344 -2516 -2324 2524 2516 -2624 -2296 2424 2636 -2320 2424 2452 2616 -2536 2468 -2284 -2640 -2612 -2284 2476 2340 2304 -2384 2484 2568 2280 2280 -2316 -2624 2496 -2596 -2428 -2280 -2552 -2600 2636 -2432 -2600 -2548 -2280 -2428 -2588 -2344 2600 -2616 2328 2476 2372 2288 -2280 2356 -2320 -2332 2280 2284 2624 2296 -2536 -2476 -2484 2468 -2324 -2396 -2380 2436 2560 2636 -2284 2316 2396 -2300 -2596 2284 -2328 2640 -2636 2384 2584 -2320 2484 2476 -2332 2396 2324 2640 2284 2324 -2624 -2600 -2380 2444 2308 2312 2492 -2432 2332 2612 2640 2612 2640 2472 -2640 -2560 2320 -2484 -2456 -2464 2420 2516 -2356 -2564 -2440 -2284 -2452 2280 -2324 2640 -2332 -2640 -2300 2640 -2528 2328 -2480 -2396 -2380 2372 2364 2480 2600 2320 -2280 -2280 2288 2600 -2472 -2280 -2636 2324 -2424 -2640 2616 -2580 -2328 -2284 -2420 2516 2600 2436 2600 -2504 2364 -2640 2292 -2512 2596 -2288 -2364 2304 2640 2636 2564 2324 2504 -2588 -2488 2580 2596 2388 2596 2596 2328 -2440 -2336 2288 2372 -2640 2452 -2492 2500 -2576 -2280 -2452 2496 2488 2328 -2280 2536 2292 2596 2516 2308 2284 2316 2472 2356 -2504 2600 2616 2332 2328 -2416 -2368 2324 -2556 -2288 -2640 2288 2340 -2328 -2596 2332 -2540 -2280 2452 -2280 2324 -2500 2640 2636 2640 -2300 -2324 -2388 2356 2528 -2600 -2632 -2636 2424 2640 2600 -2524 2640 -2496 -2640 -2312 2588 2588 2600 2408 -2320 2440 2444 2336 -2636 -2412 2384 2600 -2632 -2320 2460 2480 2280 2600 -2468 2392 2540 2324 -2364 2284 -2640 -2584 2584 -2580 -2576 -2600 -2492 2596 2584 2288 -2484 2596 -2564 2324 -2344 -2420 2432 2320 -2512 2632 -2320 -2308 2600 2600 -2588 2448 2636 2280 2488 -2596 -2640 2448 -2632 2432 2640 2288 2296 -2324 -2564 -2320 -2416 -2296 -2640 -2564 2396 2476 -2288 2280 -2628 2372 2492 -2352 -2596 2536 -2608 2576 2348 2476 -2488 -2480 -2288 2284 -2600 2320 2532 2572 -2348 -2280 -2308 2320 -2328 -2580 -2596 -2544 -2464 -2340 2640 -2596 2416 2536 -2328 -2280 2280 2620 2328 2432 -2628 -2540 2336 2504 2344 -2320 -2448 2576 -2616 -2636 2580 2428 -2328 -2300 2636 2284 -2296 2440 2584 2600 -2288 -2512 -2572 -2596 2464 -2420 2596 2448 2496 2284 2428 -2384 2288 -2632 2336 -2500 -2632 2444 -2324 -2352 2640 -2292 -2408 2304 2632 2500 2288 2640 2292 2464 2344 -2340 2316 2304 2600 -2320 2408 -2640 2420 -2532 2636 2620 2640 2628 2440 2280 -2616 -2504 2452 -2460 2328 2544 -2348 -2376 -2300 -2592 -2592 2300 -2348 2572 -2428 2600 2328 2300 -2340 -2308 2528 2640 2480 -2600 2604 2380 -2540 2560 2568 -2508 -2540 -2304 2512 2376 -2300 -2424 -2448 2472 -2392 2336 -2288 2396 -2588 2284 2484 2444 -2640 -2452 2476 2632 2320 -2312 -2372 2460 -2420 2640 -2284 2284 -2592 -2472 2312 -2640 2328 2412 -2620 -2616 -2356 -2488 -2532 2284 -2344 -2324 2280 -2588 -2404 2348 -2320 2280 2428 -2612 -2500 2572 -2584 2388 -2600 2280 -2368 -2532 2432 2436 -2292 2600 -2600 2340 -2416 -2360 -2636 -2284 -2568 -2280 -2600 2596 2320 2424 -2564 -2424 2584 2580 -2320 -2636 -2340 2576 2464 -2496 -2580 2280 2640 -2612 2640 -2324 -2396 -2304 2292 2620 2388 -2280 2408 2284 -2608 -2544 2600 -2508 -2448 2308 -2632 -2292 2368 -2628 2500 2320 2292 2308 -2624 2408 2292 -2412 -2596 -2632 2504 2636 -2324 -2384 2292 2428 -2640 -2596 -2360 -2332 -2344 2640 2280 2632 2292 2280 -2324 2636 -2280 -2320 2336 2464 -2636 2288 2484 2632 -2596 -2464 2424 2468 -2356 -2540 2600 2284 2500 -2616 -2376 -2324 -2592 -2640 -2532 -2508 -2572 2372 2284 2280 -2280 -2632 -2564 -2612 -2584 2608 2288 -2512 -2284 2596 -2280 -2300 2280 -2520 -2288 2320 2280 2348 2400 -2288 2304 -2388 -2344 2596 -2328 -2324 -2320 2624 2412 -2416 2404 -2328 2516 -2572 2328 -2600 2392 2636 2408 -2336 2324 2628 -2556 2308 -2324 -2468 2640 -2640 -2600 -2292 2592 2636 2604 -2600 2280 2328 2572 -2280 2600 -2628 -2280 2600 -2456 2376 2340 2640 -2636 2460 -2540 -2320 -2440 -2640 -2640 2384 -2624 -2632 2328 -2632 2640 2280 2376 -2500 -2496 2596 -2432 -2288 -2296 -2420 -2452 2300 -2280 -2444 2340 2412 -2324 2324 -2600 2300 -2344 -2364 -2428 -2428 2564 2328 -2432 -2640 2484 2284 2464 2380 2292 -2636 2320 -2324 2376 2472 -2328 2640 -2544 2560 -2508 2640 -2576 -2296 -2352 2360 -2352 -2608 -2636 -2364 2640 2640 2636 2284 2640 2632 -2520 2620 2600 -2584 2280 -2356 -2328 2288 -2420 2516 2516 2340 2600 -2304 2280 2596 -2400 -2324 2600 2280 2288 2636 2328 -2408 -2480 -2428 -2428 2292 -2524 -2628 -2600 2640 -2284 -2296 -2600 2284 2572 -2472 -2624 2632 2608 -2504 2484 -2572 2312 -2288 2592 2600 2336 -2304 -2432 -2296 -2412 2436 -2556 2360 -2632 -2292 2600 2532 2560 -2340 -2596 2284 2592 2300 2320 -2440 2440 -2600 2584 -2508 2332 -2384 -2404 2320 -2588 -2576 2284 2280 2600 2560 -2316 2464 2344 -2392 2400 2324 -2320 2432 -2336 -2420 2464 2476 2400 2432 -2596 2436 -2524 2320 -2568 -2588 2408 2564 2432 2284 -2528 -2344 -2580 2328 2284 2556 2460 2344 2516 2560 -2388 -2332 -2536 -2556 -2352 2336 -2328 -2444 -2636 -2384 -2592 -2280 -2640 2424 -2280 -2536 2552 -2472 2444 -2488 -2472 2320 2364 -2412 -2448 2588 -2328 2408 2428 2340 2496 2284 -2356 2448 -2452 -2368 2300 -2464 2280 -2568 -2284 -2344 2472 -2284 2344 -2516 2600 2284 2600 -2328 2636 -2392 2536 -2532 -2352 -2296 -2320 -2408 2320 2348 2404 2532 2484 2596 -2320 -2552 2288 -2528 -2516 2576 2452 2368 -2328 -2420 2600 2616 2280 -2632 -2572 -2600 -2324 2312 -2356 2396 2600 -2600 2400 -2288 -2628 2600 -2640 -2636 2336 2580 -2292 -2400 2392 2636 -2588 -2400 -2344 2320 -2488 -2324 2492 -2452 -2312 2488 -2280 2500 -2372 2588 2392 2468 2376 2608 2596 2576 2320 -2592 2568 2280 -2552 -2560 -2360 -2452 2548 -2336 2352 -2624 -2636 -2604 -2596 2440 -2304 -2420 -2596 -2328 2320 -2568 -2280 -2280 2356 -2548 -2592 -2464 2500 -2488 2592 2336 2352 -2608 2288 2508 2348 -2344 2500 2628 -2632 -2636 2432 2600 -2328 -2592 2312 -2280 -2568 -2356 -2320 -2288 2536 2580 2364 2636 2440 -2444 2288 2640 -2324 -2328 -2304 2400 -2368 2332 -2592 -2308 2596 -2580 2472 -2320 -2280 -2488 -2480 2576 2448 2376 -2284 2596 -2600 -2592 2352 2296 -2632 2372 2388 -2640 2508 2368 -2420 2608 -2320 2408 -2336 -2568 -2628 -2624 2336 2304 -2592 2568 2284 2576 2476 2308 -2636 2308 2604 -2424 2392 2640 -2376 -2380 2336 -2504 2356 2472 2628 -2556 2600 2400 2612 2440 -2296 -2600 -2348 2296 -2564 2640 2596 2460 -2528 2476 -2472 2640 2280 -2632 -2564 -2324 -2608 -2324 2332 -2640 -2356 -2284 2280 2344 2580 2592 2576 2324 -2456 2592 2288 -2628 -2520 2520 -2488 2636 2376 2288 -2472 2640 -2628 2344 -2612 -2600 2636 -2424 -2548 -2416 -2356 2608 -2460 2580 -2436 -2600 2608 2396 2280 -2312 -2300 -2600 -2344 2320 -2292 -2372 -2632 -2600 2288 2300 2640 -2640 2580 -2508 2636 2600 2592 2520 -2288 2288 -2288 -2600 -2596 2412 2588 -2288 2564 -2604 -2444 2344 2360 -2280 -2280 2340 -2640 -2564 -2424 -2280 2464 -2596 2596 2316 2428 2628 -2288 -2320 -2320 2552 -2600 -2632 -2432 -2640 2504 -2500 -2320 -2608 2296 -2516 -2300 -2588 2340 2280 2380 2284 -2508 2596 2300 -2640 2600 2304 -2320 -2512 2476 2412 -2288 -2296 2600 2304 2592 -2324 2296 -2468 2608 2368 -2524 2324 2584 2540 2356 -2400 2460 -2324 2332 2616 -2632 2520 2280 2632 -2524 -2436 2476 -2340 -2372 2368 2492 -2600 -2424 2576 -2384 2360 -2524 -2472 2452 2604 -2320 -2416 2616 -2280 -2548 2348 2320 -2368 2588 -2568 2640 -2516 2284 2324 2596 -2604 2596 -2360 -2460 -2424 -2548 2292 2344 -2320 -2280 2408 -2288 -2492 -2568 2560 2324 2288 -2580 -2380 -2328 -2384 -2640 2436 2292 2408 2616 2560 -2512 -2496 2524 2640 2348 2352 2596 2324 -2636 2588 -2292 -2512 -2416 -2456 2420 2604 2412 -2392 2332 -2484 2328 2560 -2584 -2512 -2512 -2632 2428 -2600 2280 2280 2328 -2640 2412 2436 -2288 2540 2408 -2508 2572 2300 -2608 -2636 -2596 2600 2408 2588 -2296 -2336 -2596 -2632 2332 2412 -2632 -2568 -2284 -2576 -2548 -2484 2404 2328 2640 2512 2340 2512 -2472 -2600 2348 2280 -2296 -2416 2592 2516 -2612 -2492 -2324 -2600 -2280 -2636 -2312 2600 2632 2636 -2372 -2628 -2324 2284 2320 -2580 2344 2296 -2480 2328 -2636 2280 2512 -2600 -2320 -2476 2296 2328 -2436 2584 -2324 -2344 -2428 2444 -2564 2288 -2320 -2364 2284 -2452 2372 2476 2328 2600 -2628 2628 2568 2324 2640 -2556 -2544 -2588 -2600 2600 2576 2320 2304 2324 -2640 -2612 -2384 2572 2560 2356 2284 2420 2640 -2388 2476 -2328 2472 -2592 -2628 -2300 -2640 2364 -2596 -2636 2320 2636 -2440 2328 2640 2300 -2636 2448 -2292 2460 2600 2336 2428 2408 -2476 -2284 -2456 -2560 2556 2572 -2472 2364 2548 2288 2532 -2340 -2536 -2420 2324 -2424 -2640 2596 2328 -2504 2340 -2388 2516 2564 2376 2300 -2444 2504 -2324 2412 2300 2416 2356 2468 -2420 -2600 2368 -2636 2568 2368 2328 -2600 2524 -2336 2532 -2596 2280 -2596 -2428 2300 2324 2640 -2636 -2304 2476 2436 2536 2376 2588 -2288 -2600 -2428 -2548 -2332 -2420 2324 2552 2340 -2600 -2524 -2440 -2412 -2600 2320 -2504 2336 2420 2308 -2636 -2640 2560 2584 2588 -2604 2600 2320 -2532 2636 -2348 -2348 2472 2552 2568 -2340 -2292 2592 -2408 -2400 -2460 -2396 -2436 -2572 2304 2600 -2444 2348 -2640 -2584 -2540 -2520 2636 2536 2564 -2288 2328 2584 2640 -2344 2500 -2628 -2280 -2572 -2320 -2284 2628 -2280 2288 -2392 2600 2336 -2288 -2284 2288 -2284 -2516 -2572 2424 2392 -2432 2412 2580 -2384 -2336 2332 2472 2324 -2432 -2364 2484 -2552 -2328 -2320 2548 2460 -2280 -2284 2508 2280 -2600 2604 -2312 -2592 2388 2640 2348 2400 -2324 2296 2548 -2300 2288 -2280 -2576 -2280 -2528 2620 -2288 2332 -2448 -2336 -2332 -2320 -2360 2280 2284 -2428 2324 -2608 2368 2492 -2640 2636 2548 -2612 -2616 2588 2608 -2396 -2404 2284 -2600 -2280 -2600 2488 2284 2284 2288 -2292 -2572 2460 2360 2576 -2324 -2572 -2280 2536 2324 2348 -2528 2380 2392 -2596 2288 2548 2592 2324 2584 -2324 -2636 2492 2596 -2280 -2568 -2476 -2368 -2300 2448 -2588 -2476 2620 -2584 2320 2324 -2384 2536 -2524 -2596 -2552 2512 2320 -2496 -2380 2300 -2328 -2524 2300 2292 -2332 2360 -2640 2632 2580 -2336 -2320 2332 -2300 2280 -2516 2296 2348 -2320 -2320 2324 -2640 2280 -2284 -2284 2564 -2628 2376 2636 -2332 -2568 -2284 -2288 2364 -2468 -2280 2612 2556 2352 -2624 2328 2328 2320 2348 -2624 2544 2456 2436 -2280 -2556 2568 2588 2596 2600 -2532 -2424 2512 2280 2540 2584 -2288 -2320 2632 2628 -2548 -2484 2404 2640 -2496 -2420 2604 2368 2540 -2348 -2404 -2524 -2320 -2380 -2284 -2640 2408 2280 2312 -2620 -2640 -2324 2568 2296 -2320 -2340 2572 -2448 -2540 -2520 2512 -2412 -2308 -2632 -2336 2472 -2596 2436 -2396 2420 2380 -2284 -2448 -2640 -2332 -2612 2596 -2572 2628 2600 -2600 -2608 -2484 2324 -2352 -2280 -2600 -2472 -2608 -2544 -2400 2596 2640 2508 2524 2596 -2572 2420 2576 2572 2304 2284 2636 -2384 -2324 -2640 2320 -2560 2288 2280 2632 2588 2636 -2416 2640 -2624 2380 -2300 2352 2592 -2416 -2628 2320 -2288 2632 -2388 -2548 -2340 2636 -2504 -2300 -2556 2396 2640 2280 -2460 2484 -2284 2456 -2436 -2360 2368 -2640 2300 -2468 2392 2572 -2332 2464 2640 2284 -2452 2524 -2612 -2320 -2284 2404 -2492 -2480 -2584 -2340 -2288 2516 2280 2360 2640 -2636 -2600 -2640 -2520 2356 2604 -2600 2632 -2448 -2292 -2388 2368 2584 -2628 2280 -2572 2308 2404 2328 2288 -2436 -2600 2592 2604 2280 2488 2384 -2476 -2496 2492 2468 2640 2400 2344 -2484 2396 2320 -2520 2600 -2428 -2592 2548 -2548 2528 -2344 2292 -2280 2280 2640 -2628 -2288 -2296 2400 -2608 -2432 -2332 -2324 -2340 2352 -2592 -2640 2452 -2640 2560 -2444 2600 -2288 -2412 2480 2328 2600 2584 2308 2432 2408 -2552 2480 -2640 -2316 2636 -2324 -2432 -2384 2324 2596 -2636 2340 -2312 2324 2592 -2368 -2508 2352 2344 2640 -2280 -2536 2364 2512 2316 -2320 -2328 2600 2344 -2336 -2288 -2320 2600 -2476 -2356 2292 2448 2520 -2568 2280 2560 -2416 2616 2504 -2408 2280 -2452 2600 2324 -2564 -2524 -2584 -2280 -2596 2616 2416 -2372 2284 -2640 2328 2472 2328 -2336 -2424 2288 2396 -2388 2620 2328 -2636 -2324 -2432 2540 2472 -2320 -2424 2484 -2624 -2588 2376 -2404 -2332 -2436 -2328 -2384 2344 -2544 2300 -2432 -2464 2460 2580 2600 -2548 2448 2600 2284 2292 2304 2364 -2284 2600 2288 2536 -2640 -2564 -2524 2348 2476 2540 2640 2312 -2416 2636 2576 2536 2620 2556 2340 2424 2292 2476 -2632 -2320 2596 -2600 2500 2404 2628 -2324 -2512 2444 -2416 2328 2308 2532 -2312 -2508 -2508 2596 -2324 2284 -2444 2500 -2488 -2528 2368 2376 -2532 2284 2532 -2336 2460 2516 -2576 2620 -2548 -2568 2560 2564 -2392 -2492 -2368 -2296 -2284 2304 -2576 2320 -2532 -2620 2636 -2564 2632 2588 2588 -2428 2320 2396 2552 2592 2512 2568 -2636 2340 2320 2320 2368 -2340 2636 2324 2456 -2600 2552 -2420 2280 -2336 -2600 2528 2364 -2396 2304 2564 -2564 -2628 2320 -2380 -2588 -2516 2456 2460 2596 2328 2612 2636 -2288 2352 2476 2464 2336 2292 2280 -2288 2304 -2564 2588 2640 2440 -2624 2340 -2456 -2328 -2588 2492 2308 -2320 2620 -2640 2640 2304 -2604 2516 2620 -2352 -2640 2492 -2280 2592 2600 -2600 2628 2328 2628 2624 2448 -2640 -2480 2324 -2360 -2376 2600 -2368 -2480 -2464 2600 -2480 2612 -2368 -2336 -2284 2488 2280 -2600 -2284 2320 -2312 2436 -2408 2636 -2372 -2388 -2512 2636 2392 -2608 -2532 2384 -2352 -2592 2332 2372 -2288 -2640 2280 2632 2340 2452 2596 -2624 2376 -2512 2328 2484 2536 -2404 -2320 -2280 -2512 2604 -2492 2296 2280 -2348 2288 -2344 -2496 2600 2624 2532 -2588 2284 -2616 -2280 2288 -2284 2424 -2412 -2372 2384 -2320 2636 -2280 -2336 -2588 -2324 -2372 2440 2600 2392 2624 -2436 2336 2516 2384 -2636 -2356 2304 2324 -2488 2428 2284 2404 -2624 2376 2580 -2640 2388 -2280 2496 2564 2328 -2316 -2284 2584 -2596 2512 -2548 2464 -2456 2352 2324 -2280 -2320 2456 -2320 -2404 2340 2364 -2636 -2428 -2640 -2412 2284 -2640 2284 -2320 -2620 2544 -2640 2280 -2628 -2580 -2396 2600 2444 -2288 -2628 -2292 -2336 -2468 2280 -2508 2284 -2616 2620 -2600 2320 2292 -2628 -2624 2612 2280 2372 -2460 2396 -2296 2296 2620 2472 2328 -2472 2436 -2596 2280 -2324 2624 2568 2340 2432 -2516 -2636 2604 2324 2284 2588 -2440 -2292 2640 2636 -2356 2500 -2336 -2524 -2600 2600 2616 2624 -2320 2328 -2288 -2292 -2380 2320 2360 -2364 2640 -2324 -2564 2632 -2380 2616 2380 2492 2352 2584 2320 2336 -2292 -2612 2548 2412 2308 -2600 -2324 2516 -2320 2536 2280 -2624 -2600 -2456 2624 -2316 -2332 2316 -2284 2476 -2508 -2528 2512 2516 2640 2612 -2568 -2324 2340 2600 -2320 -2588 2440 -2328 2436 2328 -2468 2564 -2468 -2580 2324 2592 2612 -2512 2588 -2364 -2544 2428 2516 -2464 -2296 2640 2520 2636 -2324 2468 -2612 2640 -2568 -2280 2540 2388 2420 -2596 -2364 2332 2576 -2436 2464 2580 2296 -2544 -2360 -2328 2332 -2280 2592 2280 2288 2532 -2536 2640 2640 2544 2284 2384 -2460 2352 -2604 -2556 -2324 2456 2548 -2540 2284 2320 -2592 2336 -2524 -2320 -2472 -2332 -2588 -2352 -2636 -2412 -2452 -2324 -2284 -2280 -2596 -2484 -2344 2368 2540 2548 -2280 2600 2572 -2588 2396 2344 2320 2580 2332 -2348 -2444 2636 -2452 -2328 2528 2468 2600 -2592 2640 2636 2600 -2280 -2640 -2544 -2284 -2476 2528 2600 2336 -2432 2284 -2636 -2320 2632 2524 2348 2328 2476 -2388 -2320 -2636 -2368 2284 -2640 -2324 -2376 2368 -2640 2448 -2608 -2624 -2636 2540 2528 -2600 -2340 2284 -2580 2596 -2304 2516 2356 2376 -2328 -2636 2320 2324 -2524 -2528 2640 -2356 2600 -2524 2492 -2636 2544 2604 -2608 -2556 2628 -2632 -2572 2536 -2340 2340 2316 -2468 2512 2420 2528 -2312 2432 -2600 -2524 -2284 -2640 2356 2636 -2404 2616 2596 2640 -2420 -2640 2504 2468 2624 2432 2336 2392 -2588 2556 -2408 -2368 2332 -2356 2312 -2320 2560 2452 2512 -2392 2324 2296 -2544 2596 -2448 2280 2640 -2388 2612 2284 2488 2288 2424 -2284 -2280 2316 2468 -2488 2596 2368 2568 2540 2288 -2280 2628 -2564 -2448 2448 2352 -2400 2572 2328 -2552 2456 -2300 -2548 -2288 -2596 2304 -2352 2552 -2408 2404 -2508 2320 2324 -2620 -2408 2388 2440 2484 2600 -2584 2340 -2320 -2348 2324 2440 -2380 -2448 2284 2576 2512 2292 2304 -2288 2428 -2352 -2324 2620 2380 -2504 -2472 2280 -2348 2632 2476 2468 2420 -2408 2388 2320 2300 -2384 2284 -2284 -2324 -2336 2572 -2636 -2320 2408 2320 2640 2360 2604 -2332 2632 -2636 -2524 2628 2320 2296 2592 -2492 2296 -2456 2640 2600 2324 2564 2468 2600 2580 -2280 -2596 -2544 2320 2580 -2544 -2624 2468 -2316 -2324 -2444 -2560 2520 2384
2384 unsatisfied constraints, 30637 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-275250-1169218891 -o ROOT/results/node6/solver-275250-1169218891 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275250-1169218891/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.85 1.98 1.97 4/99 12888 /proc/meminfo: memFree=1256336/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=292 CPUtime=0 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 270284670 299008 35 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 0 4096 0 0 0 0 17 0 0 0 /proc/12887/statm: 77 40 31 14 0 5 0 [startup+0.108457 s] /proc/loadavg: 1.85 1.98 1.97 4/99 12888 /proc/meminfo: memFree=1256336/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=914988 CPUtime=0.08 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 3019 0 1 0 6 2 0 0 23 0 8 0 270284670 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228747 2766 1435 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.516495 s] /proc/loadavg: 1.85 1.98 1.97 4/99 12888 /proc/meminfo: memFree=1256336/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915332 CPUtime=0.49 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 7328 0 1 0 44 5 0 0 25 0 8 0 270284670 937299968 7067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228833 7069 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.33859 s] /proc/loadavg: 1.85 1.98 1.97 4/106 12895 /proc/meminfo: memFree=1180696/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915612 CPUtime=1.31 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 22695 0 1 0 119 12 0 0 25 0 8 0 270284670 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228903 22432 2161 14 0 215373 0 [pid=12887/tid=12889] ppid=12885 vsize=915612 CPUtime=0.08 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 6141 0 0 0 7 1 0 0 16 0 8 0 270284674 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915612 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915612 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915612 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915612 CPUtime=0.14 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 404 0 0 0 14 0 0 0 16 0 8 0 270284677 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915612 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915612 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 915612 [startup+2.97678 s] /proc/loadavg: 1.85 1.98 1.97 3/106 12901 /proc/meminfo: memFree=1169304/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915744 CPUtime=2.95 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 24093 0 1 0 281 14 0 0 25 0 8 0 270284670 937721856 23826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228936 23826 2181 14 0 215406 0 [pid=12887/tid=12889] ppid=12885 vsize=915744 CPUtime=0.17 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 7448 0 0 0 15 2 0 0 17 0 8 0 270284674 937721856 23826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 23826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 23826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937721856 23826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915744 CPUtime=0.17 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 429 0 0 0 17 0 0 0 15 0 8 0 270284677 937721856 23826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937721856 23826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937721856 23826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 915744 [startup+6.27416 s] /proc/loadavg: 1.86 1.98 1.97 3/106 12911 /proc/meminfo: memFree=1169240/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915744 CPUtime=6.24 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 24108 0 1 0 607 17 0 0 25 0 8 0 270284670 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228936 23839 2182 14 0 215406 0 [pid=12887/tid=12889] ppid=12885 vsize=915744 CPUtime=0.17 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 7448 0 0 0 15 2 0 0 17 0 8 0 270284674 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915744 CPUtime=0.19 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 440 0 0 0 19 0 0 0 15 0 8 0 270284677 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 915744 [startup+12.7569 s] /proc/loadavg: 1.87 1.98 1.97 3/106 12933 /proc/meminfo: memFree=1163288/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915744 CPUtime=12.71 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 25620 0 1 0 1235 36 0 0 25 0 8 0 270284670 937721856 25347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228936 25347 2182 14 0 215406 0 [pid=12887/tid=12889] ppid=12885 vsize=915748 CPUtime=0.23 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 8948 0 0 0 20 3 0 0 16 0 8 0 270284674 937725952 25347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 25347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 25347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915748 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937725952 25347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915744 CPUtime=0.21 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 448 0 0 0 20 1 0 0 15 0 8 0 270284677 937721856 25347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915748 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937725952 25347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937721856 25347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.71 Current children cumulated vsize (KiB) 915744 [startup+25.6464 s] /proc/loadavg: 1.90 1.98 1.97 3/106 12945 /proc/meminfo: memFree=1146328/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915744 CPUtime=25.59 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 29913 0 1 0 2460 99 0 0 25 0 8 0 270284670 937721856 29638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228936 29638 2182 14 0 215406 0 [pid=12887/tid=12889] ppid=12885 vsize=915748 CPUtime=0.45 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 13237 0 0 0 41 4 0 0 17 0 8 0 270284674 937725952 29638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 29638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 29638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915748 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937725952 29638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915744 CPUtime=0.21 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 450 0 0 0 20 1 0 0 16 0 8 0 270284677 937721856 29638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937721856 29638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915748 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937725952 29638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.59 Current children cumulated vsize (KiB) 915744 [startup+51.2844 s] /proc/loadavg: 1.93 1.98 1.97 4/100 12975 /proc/meminfo: memFree=1131456/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915744 CPUtime=51.11 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 34247 0 1 0 4948 163 0 0 25 0 8 0 270284670 937721856 33917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013909 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228936 33917 2501 14 0 215406 0 [pid=12887/tid=12889] ppid=12885 vsize=915744 CPUtime=0.86 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 17191 0 0 0 80 6 0 0 16 0 8 0 270284674 937721856 33917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 33917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 33917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937721856 33917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915744 CPUtime=0.27 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 480 0 0 0 26 1 0 0 16 0 8 0 270284677 937721856 33917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937721856 33917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937721856 33917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.11 Current children cumulated vsize (KiB) 915744 [startup+102.493 s] /proc/loadavg: 2.02 2.00 1.97 3/101 13083 /proc/meminfo: memFree=1016376/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915744 CPUtime=102.16 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 34248 0 1 0 10039 177 0 0 25 0 8 0 270284670 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228936 33918 2501 14 0 215406 0 [pid=12887/tid=12889] ppid=12885 vsize=915744 CPUtime=0.86 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 17191 0 0 0 80 6 0 0 16 0 8 0 270284674 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915744 CPUtime=0.27 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 481 0 0 0 26 1 0 0 15 0 8 0 270284677 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915744 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 915744 [startup+162.552 s] /proc/loadavg: 2.04 2.01 1.98 3/101 13083 /proc/meminfo: memFree=673400/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915744 CPUtime=161.88 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 34248 0 1 0 16004 184 0 0 25 0 8 0 270284670 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2013.98 Current children cumulated vsize (KiB) 915884 [startup+2084.42 s] /proc/loadavg: 2.01 2.02 2.00 3/94 13161 /proc/meminfo: memFree=1160176/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915884 CPUtime=2073.99 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 38664 0 1 0 207157 242 0 0 25 0 8 0 270284670 937865216 38324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228971 38324 2546 14 0 215441 0 [pid=12887/tid=12889] ppid=12885 vsize=915884 CPUtime=0.91 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 21384 0 0 0 84 7 0 0 16 0 8 0 270284674 937865216 38324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937865216 38324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915884 CPUtime=0.38 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 270284677 937865216 38324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937865216 38324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937865216 38324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2073.99 Current children cumulated vsize (KiB) 915884 [startup+2144.49 s] /proc/loadavg: 2.00 2.02 2.00 3/94 13161 /proc/meminfo: memFree=1160176/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915884 CPUtime=2133.99 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 38669 0 1 0 213157 242 0 0 25 0 8 0 270284670 937865216 38328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074274792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228971 38328 2546 14 0 215441 0 [pid=12887/tid=12889] ppid=12885 vsize=915884 CPUtime=0.91 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 21384 0 0 0 84 7 0 0 16 0 8 0 270284674 937865216 38328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937865216 38328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915884 CPUtime=0.39 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 615 0 0 0 37 2 0 0 16 0 8 0 270284677 937865216 38328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937865216 38328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937865216 38328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2133.99 Current children cumulated vsize (KiB) 915884 [startup+2204.55 s] /proc/loadavg: 2.00 2.01 2.00 3/94 13161 /proc/meminfo: memFree=1160176/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915884 CPUtime=2193.98 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 38671 0 1 0 219156 242 0 0 25 0 8 0 270284670 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228971 38329 2546 14 0 215441 0 [pid=12887/tid=12889] ppid=12885 vsize=915884 CPUtime=0.91 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 21384 0 0 0 84 7 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915884 CPUtime=0.39 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 616 0 0 0 37 2 0 0 16 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2193.98 Current children cumulated vsize (KiB) 915884 [startup+2264.62 s] /proc/loadavg: 2.00 2.00 2.00 3/94 13161 /proc/meminfo: memFree=1160112/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915884 CPUtime=2253.99 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 38671 0 1 0 225157 242 0 0 25 0 8 0 270284670 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228971 38329 2546 14 0 215441 0 [pid=12887/tid=12889] ppid=12885 vsize=915884 CPUtime=0.91 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 21384 0 0 0 84 7 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915884 CPUtime=0.39 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 616 0 0 0 37 2 0 0 16 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2253.99 Current children cumulated vsize (KiB) 915884 [startup+2324.68 s] /proc/loadavg: 1.96 1.99 1.99 3/94 13251 /proc/meminfo: memFree=1110576/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915884 CPUtime=2314 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 38671 0 1 0 231157 243 0 0 25 0 8 0 270284670 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074346103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228971 38329 2546 14 0 215441 0 [pid=12887/tid=12889] ppid=12885 vsize=915884 CPUtime=0.91 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 21384 0 0 0 84 7 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915884 CPUtime=0.39 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 616 0 0 0 37 2 0 0 16 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2314 Current children cumulated vsize (KiB) 915884 [startup+2384.74 s] /proc/loadavg: 1.98 1.99 1.99 3/94 13251 /proc/meminfo: memFree=1110640/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915884 CPUtime=2373.97 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 38671 0 1 0 237154 243 0 0 25 0 8 0 270284670 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290552 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228971 38329 2546 14 0 215441 0 [pid=12887/tid=12889] ppid=12885 vsize=915884 CPUtime=0.91 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 21384 0 0 0 84 7 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915884 CPUtime=0.39 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 616 0 0 0 37 2 0 0 16 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2373.97 Current children cumulated vsize (KiB) 915884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2410.87 s] /proc/loadavg: 1.99 1.99 1.99 3/94 13251 /proc/meminfo: memFree=1110640/2055924 swapFree=4165736/4192956 [pid=12887] ppid=12885 vsize=915884 CPUtime=2400.09 /proc/12887/stat : 12887 (java) R 12885 12887 12006 0 -1 0 38673 0 1 0 239766 243 0 0 25 0 8 0 270284670 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12887/statm: 228971 38329 2546 14 0 215441 0 [pid=12887/tid=12889] ppid=12885 vsize=915884 CPUtime=0.91 /proc/12887/task/12889/stat : 12889 (java) S 12885 12887 12006 0 -1 64 21384 0 0 0 84 7 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12890] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12890/stat : 12890 (java) S 12885 12887 12006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12891] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12891/stat : 12891 (java) S 12885 12887 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284674 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12892] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12892/stat : 12892 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12893] ppid=12885 vsize=915884 CPUtime=0.39 /proc/12887/task/12893/stat : 12893 (java) S 12885 12887 12006 0 -1 64 617 0 0 0 37 2 0 0 16 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12894] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12894/stat : 12894 (java) S 12885 12887 12006 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12887/tid=12895] ppid=12885 vsize=915884 CPUtime=0 /proc/12887/task/12895/stat : 12895 (java) S 12885 12887 12006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284677 937865216 38329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 915884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2410.91 CPU time (s): 2400.14 CPU user time (s): 2397.68 CPU system time (s): 2.46062 CPU usage (%): 99.5533 Max. virtual memory (cumulated for all children) (KiB): 916012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.68 system time used= 2.46062 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38697 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= 50643 involuntary context switches= 123302 runsolver used 3.22451 s user time and 7.71983 s system time The end
Begin job on node6 on Fri Jan 19 15:01:32 UTC 2007 IDJOB= 275250 IDBENCH= 3738 IDSOLVER= 69 FILE ID= node6/275250-1169218891 PBS_JOBID= 3588926 Free space on /tmp= 66557 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-0.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275250-1169218891/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-275250-1169218891 -o ROOT/results/node6/solver-275250-1169218891 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275250-1169218891/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 2be79f0821f7522fe88dc3496c804b12 RANDOM SEED= 348149536 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.240 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.240 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: 2055924 kB MemFree: 1256816 kB Buffers: 58480 kB Cached: 563216 kB SwapCached: 2476 kB Active: 305720 kB Inactive: 410836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1256816 kB SwapTotal: 4192956 kB SwapFree: 4165736 kB Dirty: 6396 kB Writeback: 0 kB Mapped: 115008 kB Slab: 66796 kB Committed_AS: 8750532 kB PageTables: 2776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66555 MiB End job on node6 on Fri Jan 19 15:41:44 UTC 2007