Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.09 | 2421.66 |
| Name | fapp/fapp11-15/fapp15/ fapp15-3000-2.xml |
| MD5SUM | e329d2fbebc2b014e1808d90bbd1aefe |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 30941 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 3000 |
| Number of constraints | 33021 |
| Maximum constraint arity | 2 |
| Maximum domain size | 182 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 33021 |
| Global constraints used (with number of constraints) |
0.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=epfc.xml 0.34 0.34 instance 0.34 name=/tmp/evaluation/275252-1169218893/unknown.xml 0.37 0.37 domains being loaded... 0.41 0.41 variables being loaded... 0.68 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.68 => wckTime=0.368 cpuTime=0.26 mem=27M366 0.68 0.68 predicates being loaded... 0.68 0.68 constraints being loaded... 33.81 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=88179951 nbExtensionStructures=5389 33.81 nbSharedExtensionStructures=27632 nbConflictsStructures=5389 nbSharedConflictsStructures=27632 33.81 nbSharedBinaryRepresentations=1410469 maxDegree=29 maxArity=2 33.81 => wckTime=33.5 cpuTime=32.33 mem=65M110 34.11 34.11 solver LocalSearchSolver being built... 34.15 => wckTime=33.841 cpuTime=32.37 mem=63M293 34.24 34.24 s SATISFIABLE 34.24 o 25762 34.24 c 7259 34.26 o 25769 34.26 c 7252 34.27 o 25780 34.27 c 7241 34.28 o 25787 34.28 c 7234 34.30 o 25793 34.30 c 7228 34.31 o 25799 34.31 c 7222 34.32 o 25804 34.32 c 7217 34.33 o 25809 34.33 c 7212 34.34 o 25814 34.34 c 7207 34.35 o 25824 34.35 c 7197 34.36 o 25834 34.36 c 7187 34.37 o 25842 34.37 c 7179 34.38 o 25849 34.38 c 7172 34.39 o 25856 34.39 c 7165 34.40 o 25862 34.40 c 7159 34.42 o 25868 34.42 c 7153 34.43 o 25873 34.43 c 7148 34.44 o 25877 34.44 c 7144 34.46 o 25881 34.46 c 7140 34.47 o 25885 34.47 c 7136 34.48 o 25888 34.48 c 7133 34.49 o 25891 34.49 c 7130 34.50 o 25894 34.50 c 7127 34.51 o 25897 34.51 c 7124 34.52 o 25899 34.52 c 7122 34.53 o 25901 34.53 c 7120 34.54 o 25903 34.54 c 7118 34.55 o 25904 34.55 c 7117 34.57 o 25907 34.57 c 7114 34.58 o 25917 34.58 c 7104 34.59 o 25925 34.59 c 7096 34.61 o 25933 34.61 c 7088 34.62 o 25941 34.62 c 7080 34.63 o 25948 34.63 c 7073 34.65 o 25955 34.65 c 7066 34.66 o 25962 34.66 c 7059 34.67 o 25968 34.67 c 7053 34.69 o 25974 34.69 c 7047 34.70 o 25980 34.70 c 7041 34.71 o 25985 34.71 c 7036 34.73 o 25990 34.73 c 7031 34.74 o 25994 34.74 c 7027 34.75 o 25998 34.75 c 7023 34.76 o 26002 34.76 c 7019 34.77 o 26006 34.77 c 7015 34.78 o 26010 34.78 c 7011 34.79 o 26013 34.79 c 7008 34.81 o 26016 34.81 c 7005 34.82 o 26019 34.82 c 7002 34.83 o 26022 34.83 c 6999 34.83 o 26024 34.83 c 6997 34.84 o 26026 34.84 c 6995 34.85 o 26028 34.85 c 6993 34.86 o 26030 34.86 c 6991 34.87 o 26032 34.87 c 6989 34.88 o 26040 34.88 c 6981 34.90 o 26045 34.90 c 6976 34.91 o 26047 34.91 c 6974 34.93 o 26052 34.93 c 6969 34.95 o 26059 34.95 c 6962 34.97 o 26066 34.97 c 6955 34.99 o 26073 34.99 c 6948 35.01 o 26079 35.01 c 6942 35.02 o 26085 35.02 c 6936 35.04 o 26091 35.04 c 6930 35.06 o 26097 35.06 c 6924 35.08 o 26102 35.08 c 6919 35.10 o 26107 35.10 c 6914 35.12 o 26112 35.12 c 6909 35.14 o 26117 35.14 c 6904 35.16 o 26122 35.16 c 6899 35.17 o 26127 35.17 c 6894 35.19 o 26132 35.19 c 6889 35.20 o 26137 35.20 c 6884 35.22 o 26142 35.22 c 6879 35.23 o 26146 35.23 c 6875 35.25 o 26150 35.25 c 6871 35.26 o 26154 35.26 c 6867 35.27 o 26158 35.27 c 6863 35.29 o 26162 35.29 c 6859 35.31 o 26166 35.31 c 6855 35.32 o 26169 35.32 c 6852 35.33 o 26172 35.33 c 6849 35.35 o 26175 35.35 c 6846 35.36 o 26178 35.36 c 6843 35.37 o 26181 35.38 c 6840 35.39 o 26184 35.39 c 6837 35.40 o 26189 35.40 c 6832 35.41 o 26192 35.41 c 6829 35.43 o 26195 35.43 c 6826 35.44 o 26198 35.44 c 6823 35.45 o 26201 35.45 c 6820 35.46 o 26204 35.46 c 6817 35.47 o 26207 35.47 c 6814 35.49 o 26210 35.49 c 6811 35.50 o 26213 35.50 c 6808 35.51 o 26215 35.51 c 6806 35.52 o 26217 35.52 c 6804 35.52 o 26219 35.52 c 6802 35.54 o 26221 35.54 c 6800 35.55 o 26222 35.55 c 6799 35.56 o 26223 35.56 c 6798 35.56 o 26224 35.56 c 6797 35.57 o 26228 35.57 c 6793 35.58 o 26233 35.58 c 6788 35.60 o 26234 35.60 c 6787 35.61 o 26238 35.61 c 6783 35.62 o 26243 35.62 c 6778 35.63 o 26246 35.63 c 6775 35.64 o 26249 35.64 c 6772 35.65 o 26255 35.65 c 6766 35.66 o 26258 35.66 c 6763 35.67 o 26261 35.67 c 6760 35.70 o 26263 35.70 c 6758 35.72 o 26268 35.72 c 6753 35.73 o 26272 35.73 c 6749 35.75 o 26275 35.75 c 6746 35.76 o 26277 35.76 c 6744 35.78 o 26281 35.78 c 6740 35.80 o 26289 35.80 c 6732 35.83 o 26296 35.83 c 6725 35.85 o 26300 35.85 c 6721 35.87 o 26303 35.87 c 6718 35.89 o 26308 35.89 c 6713 35.91 o 26315 35.91 c 6706 35.93 o 26322 35.93 c 6699 35.96 o 26329 35.96 c 6692 35.98 o 26335 35.98 c 6686 36.00 o 26341 36.00 c 6680 36.03 o 26343 36.03 c 6678 36.06 o 26349 36.06 c 6672 36.09 o 26355 36.09 c 6666 36.11 o 26361 36.11 c 6660 36.13 o 26367 36.13 c 6654 36.16 o 26373 36.16 c 6648 36.18 o 26379 36.18 c 6642 36.20 o 26385 36.20 c 6636 36.23 o 26391 36.23 c 6630 36.25 o 26392 36.25 c 6629 36.28 o 26398 36.28 c 6623 36.30 o 26403 36.30 c 6618 36.33 o 26408 36.33 c 6613 36.35 o 26413 36.35 c 6608 36.37 o 26420 36.37 c 6601 36.40 o 26425 36.40 c 6596 36.42 o 26430 36.42 c 6591 36.44 o 26435 36.44 c 6586 36.47 o 26440 36.47 c 6581 36.49 o 26442 36.49 c 6579 36.51 o 26447 36.51 c 6574 36.53 o 26451 36.53 c 6570 36.56 o 26455 36.56 c 6566 36.58 o 26459 36.58 c 6562 36.60 o 26467 36.60 c 6554 36.62 o 26471 36.62 c 6550 36.64 o 26475 36.64 c 6546 36.66 o 26479 36.66 c 6542 36.68 o 26483 36.68 c 6538 36.70 o 26487 36.70 c 6534 36.72 o 26491 36.72 c 6530 36.74 o 26495 36.74 c 6526 36.76 o 26499 36.76 c 6522 36.78 o 26503 36.78 c 6518 36.80 o 26507 36.80 c 6514 36.82 o 26511 36.82 c 6510 36.84 o 26515 36.84 c 6506 36.85 o 26518 36.85 c 6503 36.87 o 26521 36.87 c 6500 36.89 o 26524 36.89 c 6497 36.91 o 26527 36.91 c 6494 36.93 o 26530 36.93 c 6491 36.94 o 26533 36.94 c 6488 36.96 o 26536 36.96 c 6485 36.98 o 26539 36.98 c 6482 37.00 o 26542 37.00 c 6479 37.01 o 26545 37.01 c 6476 37.03 o 26548 37.03 c 6473 37.04 o 26550 37.04 c 6471 37.06 o 26552 37.06 c 6469 37.08 o 26554 37.08 c 6467 37.09 o 26556 37.09 c 6465 37.11 o 26558 37.11 c 6463 37.12 o 26560 37.12 c 6461 37.13 o 26562 37.14 c 6459 37.15 o 26564 37.15 c 6457 37.16 o 26566 37.16 c 6455 37.18 o 26568 37.18 c 6453 37.20 o 26570 37.20 c 6451 37.21 o 26571 37.21 c 6450 37.22 o 26572 37.22 c 6449 37.24 o 26573 37.24 c 6448 37.25 o 26574 37.25 c 6447 37.26 o 26575 37.26 c 6446 37.33 o 26579 37.33 c 6442 37.34 o 26582 37.34 c 6439 37.36 o 26590 37.36 c 6431 37.37 o 26596 37.37 c 6425 37.38 o 26600 37.38 c 6421 37.40 o 26604 37.40 c 6417 37.41 o 26607 37.41 c 6414 37.42 o 26613 37.42 c 6408 37.43 o 26617 37.43 c 6404 37.44 o 26618 37.44 c 6403 37.46 o 26620 37.46 c 6401 37.47 o 26626 37.47 c 6395 37.48 o 26627 37.48 c 6394 37.50 o 26632 37.50 c 6389 37.51 o 26639 37.51 c 6382 37.52 o 26642 37.52 c 6379 37.52 o 26645 37.52 c 6376 37.53 o 26646 37.53 c 6375 37.54 o 26648 37.54 c 6373 37.55 o 26652 37.55 c 6369 37.56 o 26653 37.56 c 6368 37.57 o 26654 37.58 c 6367 37.59 o 26656 37.59 c 6365 37.60 o 26660 37.60 c 6361 37.61 o 26665 37.61 c 6356 37.62 o 26667 37.62 c 6354 37.64 o 26670 37.64 c 6351 37.65 o 26672 37.65 c 6349 37.66 o 26674 37.66 c 6347 37.67 o 26680 37.67 c 6341 37.69 o 26685 37.69 c 6336 37.70 o 26690 37.70 c 6331 37.72 o 26694 37.72 c 6327 37.73 o 26697 37.73 c 6324 37.74 o 26703 37.74 c 6318 37.76 o 26706 37.76 c 6315 37.79 o 26711 37.79 c 6310 37.80 o 26716 37.80 c 6305 37.81 o 26720 37.81 c 6301 37.83 o 26725 37.83 c 6296 37.84 o 26731 37.84 c 6290 37.87 o 26737 37.87 c 6284 37.89 o 26743 37.89 c 6278 37.92 o 26749 37.92 c 6272 37.95 o 26754 37.95 c 6267 37.98 o 26759 37.98 c 6262 38.01 o 26764 38.01 c 6257 38.04 o 26769 38.04 c 6252 38.07 o 26774 38.07 c 6247 38.10 o 26779 38.10 c 6242 38.13 o 26784 38.13 c 6237 38.16 o 26789 38.16 c 6232 38.19 o 26792 38.19 c 6229 38.22 o 26797 38.22 c 6224 38.24 o 26802 38.24 c 6219 38.27 o 26807 38.27 c 6214 38.30 o 26811 38.30 c 6210 38.34 o 26815 38.34 c 6206 38.37 o 26819 38.37 c 6202 38.40 o 26823 38.40 c 6198 38.42 o 26827 38.42 c 6194 38.45 o 26831 38.45 c 6190 38.48 o 26834 38.48 c 6187 38.51 o 26838 38.51 c 6183 38.54 o 26842 38.54 c 6179 38.56 o 26846 38.56 c 6175 38.59 o 26850 38.59 c 6171 38.61 o 26854 38.61 c 6167 38.64 o 26858 38.64 c 6163 38.66 o 26862 38.66 c 6159 38.69 o 26866 38.69 c 6155 38.71 o 26870 38.71 c 6151 38.74 o 26873 38.74 c 6148 38.76 o 26876 38.76 c 6145 38.78 o 26879 38.78 c 6142 38.81 o 26882 38.81 c 6139 38.83 o 26885 38.83 c 6136 38.85 o 26888 38.85 c 6133 38.87 o 26891 38.88 c 6130 38.90 o 26894 38.90 c 6127 38.92 o 26897 38.92 c 6124 38.94 o 26900 38.94 c 6121 38.96 o 26903 38.96 c 6118 38.99 o 26906 38.99 c 6115 39.00 o 26909 39.01 c 6112 39.04 o 26910 39.04 c 6111 39.06 o 26917 39.06 c 6104 39.08 o 26919 39.08 c 6102 39.10 o 26921 39.10 c 6100 39.12 o 26923 39.12 c 6098 39.14 o 26925 39.14 c 6096 39.15 o 26927 39.15 c 6094 39.17 o 26931 39.17 c 6090 39.19 o 26939 39.19 c 6082 39.20 o 26941 39.20 c 6080 39.22 o 26943 39.22 c 6078 39.24 o 26945 39.24 c 6076 39.25 o 26947 39.25 c 6074 39.27 o 26949 39.27 c 6072 39.28 o 26951 39.28 c 6070 39.30 o 26953 39.30 c 6068 39.31 o 26954 39.31 c 6067 39.33 o 26955 39.33 c 6066 39.34 o 26956 39.34 c 6065 39.36 o 26957 39.36 c 6064 39.37 o 26958 39.37 c 6063 39.38 o 26959 39.38 c 6062 39.40 o 26960 39.40 c 6061 39.42 o 26961 39.42 c 6060 39.43 o 26962 39.43 c 6059 39.54 o 26968 39.54 c 6053 39.55 o 26969 39.55 c 6052 39.56 o 26974 39.56 c 6047 39.57 o 26978 39.57 c 6043 39.58 o 26981 39.58 c 6040 39.59 o 26986 39.59 c 6035 39.60 o 26989 39.60 c 6032 39.62 o 26991 39.62 c 6030 39.63 o 26994 39.63 c 6027 39.63 o 26996 39.63 c 6025 39.65 o 27002 39.65 c 6019 39.66 o 27004 39.66 c 6017 39.67 o 27009 39.67 c 6012 39.68 o 27014 39.68 c 6007 39.72 o 27016 39.72 c 6005 39.73 o 27019 39.73 c 6002 39.74 o 27021 39.74 c 6000 39.76 o 27025 39.76 c 5996 39.77 o 27026 39.77 c 5995 39.78 o 27030 39.78 c 5991 39.79 o 27032 39.79 c 5989 39.80 o 27033 39.80 c 5988 39.82 o 27034 39.82 c 5987 39.83 o 27036 39.83 c 5985 39.84 o 27040 39.84 c 5981 39.86 o 27041 39.86 c 5980 39.87 o 27046 39.87 c 5975 39.89 o 27049 39.89 c 5972 39.91 o 27052 39.91 c 5969 39.92 o 27059 39.92 c 5962 39.94 o 27063 39.94 c 5958 39.95 o 27066 39.95 c 5955 39.96 o 27068 39.96 c 5953 39.97 o 27070 39.97 c 5951 40.00 o 27073 40.00 c 5948 40.01 o 27075 40.01 c 5946 40.02 o 27078 40.02 c 5943 40.04 o 27083 40.04 c 5938 40.05 o 27084 40.05 c 5937 40.06 o 27087 40.06 c 5934 40.08 o 27090 40.08 c 5931 40.09 o 27096 40.09 c 5925 40.10 o 27102 40.10 c 5919 40.12 o 27105 40.12 c 5916 40.14 o 27108 40.14 c 5913 40.15 o 27112 40.15 c 5909 40.17 o 27117 40.17 c 5904 40.18 o 27120 40.18 c 5901 40.20 o 27124 40.20 c 5897 40.21 o 27127 40.21 c 5894 40.22 o 27128 40.22 c 5893 40.23 o 27131 40.23 c 5890 40.24 o 27135 40.24 c 5886 40.26 o 27138 40.26 c 5883 40.27 o 27144 40.27 c 5877 40.28 o 27146 40.28 c 5875 40.29 o 27149 40.29 c 5872 40.30 o 27150 40.30 c 5871 40.32 o 27152 40.32 c 5869 40.33 o 27155 40.33 c 5866 40.34 o 27158 40.34 c 5863 40.36 o 27159 40.36 c 5862 40.37 o 27164 40.37 c 5857 40.39 o 27168 40.39 c 5853 40.40 o 27175 40.40 c 5846 40.41 o 27181 40.41 c 5840 40.43 o 27184 40.43 c 5837 40.45 o 27189 40.45 c 5832 40.47 o 27191 40.47 c 5830 40.50 o 27194 40.50 c 5827 40.52 o 27196 40.52 c 5825 40.54 o 27197 40.54 c 5824 40.56 o 27202 40.56 c 5819 40.57 o 27203 40.57 c 5818 40.61 o 27209 40.61 c 5812 40.63 o 27215 40.63 c 5806 40.66 o 27221 40.66 c 5800 40.68 o 27222 40.68 c 5799 40.74 o 27227 40.74 c 5794 40.77 o 27228 40.77 c 5793 40.80 o 27233 40.80 c 5788 40.82 o 27235 40.82 c 5786 40.85 o 27240 40.85 c 5781 40.89 o 27245 40.89 c 5776 40.92 o 27250 40.92 c 5771 40.95 o 27255 40.95 c 5766 40.98 o 27260 40.98 c 5761 41.01 o 27265 41.01 c 5756 41.04 o 27270 41.04 c 5751 41.07 o 27275 41.07 c 5746 41.10 o 27280 41.10 c 5741 41.14 o 27284 41.14 c 5737 41.17 o 27288 41.17 c 5733 41.20 o 27292 41.20 c 5729 41.23 o 27296 41.23 c 5725 41.27 o 27300 41.27 c 5721 41.30 o 27304 41.30 c 5717 41.33 o 27308 41.33 c 5713 41.36 o 27312 41.36 c 5709 41.39 o 27316 41.39 c 5705 41.41 o 27322 41.42 c 5699 41.44 o 27326 41.44 c 5695 41.47 o 27330 41.47 c 5691 41.50 o 27334 41.50 c 5687 41.53 o 27338 41.53 c 5683 41.56 o 27342 41.56 c 5679 41.58 o 27343 41.58 c 5678 41.61 o 27347 41.61 c 5674 41.64 o 27351 41.64 c 5670 41.67 o 27352 41.67 c 5669 41.69 o 27356 41.69 c 5665 41.72 o 27360 41.72 c 5661 41.75 o 27363 41.75 c 5658 41.78 o 27366 41.78 c 5655 41.81 o 27369 41.81 c 5652 41.84 o 27372 41.84 c 5649 41.86 o 27375 41.86 c 5646 41.89 o 27379 41.89 c 5642 41.92 o 27380 41.92 c 5641 41.94 o 27383 41.94 c 5638 41.97 o 27386 41.97 c 5635 41.99 o 27389 41.99 c 5632 42.02 o 27392 42.02 c 5629 42.04 o 27395 42.04 c 5626 42.07 o 27396 42.07 c 5625 42.09 o 27399 42.09 c 5622 42.11 o 27402 42.11 c 5619 42.14 o 27405 42.14 c 5616 42.16 o 27407 42.16 c 5614 42.18 o 27409 42.18 c 5612 42.21 o 27411 42.21 c 5610 42.23 o 27413 42.23 c 5608 42.25 o 27416 42.25 c 5605 42.27 o 27418 42.27 c 5603 42.30 o 27420 42.30 c 5601 42.32 o 27422 42.32 c 5599 42.36 o 27423 42.36 c 5598 42.38 o 27425 42.38 c 5596 42.40 o 27427 42.40 c 5594 42.42 o 27429 42.42 c 5592 42.44 o 27431 42.44 c 5590 42.46 o 27433 42.46 c 5588 42.48 o 27435 42.48 c 5586 42.50 o 27437 42.50 c 5584 42.52 o 27438 42.52 c 5583 42.54 o 27439 42.54 c 5582 42.56 o 27440 42.56 c 5581 42.58 o 27441 42.58 c 5580 42.60 o 27442 42.60 c 5579 42.61 o 27443 42.61 c 5578 42.63 o 27449 42.63 c 5572 42.65 o 27450 42.65 c 5571 42.67 o 27451 42.67 c 5570 42.70 o 27452 42.70 c 5569 42.72 o 27453 42.72 c 5568 42.73 o 27454 42.73 c 5567 42.84 o 27456 42.84 c 5565 42.87 o 27458 42.87 c 5563 42.89 o 27460 42.89 c 5561 42.91 o 27462 42.91 c 5559 42.92 o 27466 42.92 c 5555 42.94 o 27467 42.94 c 5554 42.95 o 27470 42.95 c 5551 42.97 o 27471 42.97 c 5550 42.98 o 27475 42.98 c 5546 43.00 o 27477 43.00 c 5544 43.01 o 27478 43.01 c 5543 43.03 o 27483 43.03 c 5538 43.05 o 27485 43.05 c 5536 43.08 o 27490 43.08 c 5531 43.09 o 27493 43.09 c 5528 43.12 o 27494 43.12 c 5527 43.14 o 27497 43.14 c 5524 43.15 o 27500 43.15 c 5521 43.17 o 27503 43.17 c 5518 43.18 o 27507 43.18 c 5514 43.19 o 27510 43.19 c 5511 43.21 o 27512 43.21 c 5509 43.23 o 27515 43.23 c 5506 43.24 o 27517 43.24 c 5504 43.26 o 27520 43.26 c 5501 43.27 o 27523 43.27 c 5498 43.29 o 27525 43.29 c 5496 43.30 o 27528 43.30 c 5493 43.32 o 27532 43.32 c 5489 43.33 o 27535 43.33 c 5486 43.34 o 27537 43.34 c 5484 43.36 o 27540 43.36 c 5481 43.37 o 27543 43.37 c 5478 43.39 o 27544 43.39 c 5477 43.40 o 27545 43.40 c 5476 43.42 o 27547 43.42 c 5474 43.43 o 27548 43.43 c 5473 43.44 o 27551 43.44 c 5470 43.46 o 27553 43.46 c 5468 43.47 o 27556 43.47 c 5465 43.48 o 27559 43.48 c 5462 43.51 o 27562 43.51 c 5459 43.52 o 27565 43.52 c 5456 43.54 o 27567 43.54 c 5454 43.55 o 27570 43.55 c 5451 43.58 o 27572 43.58 c 5449 43.59 o 27576 43.59 c 5445 43.61 o 27581 43.61 c 5440 43.62 o 27585 43.62 c 5436 43.64 o 27588 43.64 c 5433 43.65 o 27592 43.65 c 5429 43.67 o 27594 43.67 c 5427 43.68 o 27597 43.68 c 5424 43.70 o 27600 43.70 c 5421 43.71 o 27601 43.71 c 5420 43.74 o 27605 43.74 c 5416 43.77 o 27607 43.77 c 5414 43.78 o 27610 43.78 c 5411 43.80 o 27612 43.80 c 5409 43.81 o 27614 43.81 c 5407 43.82 o 27619 43.82 c 5402 43.84 o 27623 43.84 c 5398 43.85 o 27628 43.85 c 5393 43.87 o 27633 43.87 c 5388 43.89 o 27636 43.89 c 5385 43.91 o 27639 43.91 c 5382 43.92 o 27642 43.92 c 5379 43.94 o 27646 43.94 c 5375 43.95 o 27649 43.95 c 5372 43.97 o 27652 43.97 c 5369 43.98 o 27655 43.98 c 5366 44.02 o 27660 44.02 c 5361 44.03 o 27665 44.03 c 5356 44.05 o 27669 44.05 c 5352 44.07 o 27672 44.07 c 5349 44.08 o 27673 44.08 c 5348 44.10 o 27675 44.10 c 5346 44.12 o 27677 44.12 c 5344 44.13 o 27680 44.13 c 5341 44.16 o 27682 44.16 c 5339 44.18 o 27684 44.18 c 5337 44.21 o 27689 44.21 c 5332 44.22 o 27690 44.22 c 5331 44.24 o 27695 44.24 c 5326 44.26 o 27698 44.26 c 5323 44.28 o 27703 44.28 c 5318 44.29 o 27708 44.29 c 5313 44.31 o 27709 44.31 c 5312 44.32 o 27712 44.32 c 5309 44.34 o 27714 44.34 c 5307 44.36 o 27717 44.36 c 5304 44.38 o 27720 44.38 c 5301 44.40 o 27723 44.40 c 5298 44.42 o 27725 44.42 c 5296 44.43 o 27727 44.43 c 5294 44.45 o 27729 44.45 c 5292 44.47 o 27734 44.47 c 5287 44.48 o 27735 44.48 c 5286 44.50 o 27738 44.50 c 5283 44.52 o 27742 44.52 c 5279 44.53 o 27745 44.53 c 5276 44.59 o 27749 44.59 c 5272 44.61 o 27751 44.61 c 5270 44.62 o 27756 44.62 c 5265 44.64 o 27758 44.64 c 5263 44.66 o 27761 44.66 c 5260 44.68 o 27763 44.68 c 5258 44.69 o 27765 44.69 c 5256 44.75 o 27768 44.75 c 5253 44.76 o 27769 44.76 c 5252 44.78 o 27774 44.78 c 5247 44.82 o 27777 44.82 c 5244 44.85 o 27782 44.85 c 5239 44.87 o 27783 44.87 c 5238 44.91 o 27786 44.91 c 5235 44.92 o 27789 44.92 c 5232 44.96 o 27790 44.96 c 5231 44.98 o 27796 44.98 c 5225 44.99 o 27799 44.99 c 5222 45.06 o 27803 45.06 c 5218 45.09 o 27805 45.09 c 5216 45.11 o 27806 45.11 c 5215 45.13 o 27810 45.13 c 5211 45.14 o 27815 45.14 c 5206 45.16 o 27816 45.16 c 5205 45.19 o 27818 45.19 c 5203 45.21 o 27819 45.21 c 5202 45.23 o 27822 45.23 c 5199 45.25 o 27827 45.25 c 5194 45.27 o 27829 45.27 c 5192 45.29 o 27831 45.29 c 5190 45.32 o 27832 45.32 c 5189 45.37 o 27836 45.37 c 5185 45.39 o 27841 45.39 c 5180 45.43 o 27845 45.43 c 5176 45.45 o 27849 45.45 c 5172 45.48 o 27853 45.48 c 5168 45.51 o 27857 45.51 c 5164 45.54 o 27858 45.54 c 5163 45.57 o 27862 45.57 c 5159 45.60 o 27866 45.60 c 5155 45.64 o 27869 45.64 c 5152 45.66 o 27874 45.66 c 5147 45.69 o 27875 45.69 c 5146 45.72 o 27878 45.72 c 5143 45.76 o 27881 45.76 c 5140 45.79 o 27884 45.79 c 5137 45.82 o 27887 45.82 c 5134 45.85 o 27890 45.85 c 5131 45.87 o 27892 45.88 c 5129 45.90 o 27896 45.90 c 5125 45.93 o 27899 45.93 c 5122 45.96 o 27902 45.96 c 5119 45.99 o 27905 45.99 c 5116 46.03 o 27908 46.03 c 5113 46.06 o 27911 46.06 c 5110 46.09 o 27913 46.09 c 5108 46.12 o 27915 46.12 c 5106 46.15 o 27916 46.15 c 5105 46.19 o 27918 46.19 c 5103 46.25 o 27920 46.25 c 5101 46.28 o 27922 46.28 c 5099 46.31 o 27924 46.31 c 5097 46.37 o 27925 46.37 c 5096 46.40 o 27927 46.40 c 5094 46.44 o 27929 46.44 c 5092 46.47 o 27931 46.47 c 5090 46.49 o 27937 46.49 c 5084 46.52 o 27939 46.52 c 5082 46.58 o 27941 46.58 c 5080 46.60 o 27943 46.60 c 5078 46.63 o 27945 46.63 c 5076 46.66 o 27947 46.66 c 5074 46.69 o 27949 46.69 c 5072 46.71 o 27954 46.71 c 5067 46.74 o 27956 46.74 c 5065 46.77 o 27958 46.77 c 5063 46.79 o 27960 46.79 c 5061 46.82 o 27961 46.82 c 5060 46.85 o 27962 46.85 c 5059 46.88 o 27963 46.88 c 5058 46.90 o 27964 46.90 c 5057 46.92 o 27970 46.92 c 5051 46.95 o 27971 46.95 c 5050 46.97 o 27972 46.97 c 5049 47.00 o 27973 47.00 c 5048 47.02 o 27974 47.02 c 5047 47.05 o 27975 47.05 c 5046 47.07 o 27976 47.07 c 5045 47.09 o 27977 47.09 c 5044 47.12 o 27978 47.12 c 5043 47.14 o 27979 47.14 c 5042 47.16 o 27980 47.16 c 5041 47.18 o 27981 47.18 c 5040 47.27 o 27983 47.27 c 5038 47.31 o 27987 47.31 c 5034 47.39 o 27988 47.39 c 5033 47.42 o 27989 47.42 c 5032 47.56 o 27991 47.56 c 5030 47.57 o 27993 47.58 c 5028 47.59 o 27996 47.59 c 5025 47.61 o 27998 47.61 c 5023 47.68 o 28001 47.68 c 5020 47.70 o 28003 47.70 c 5018 47.72 o 28004 47.72 c 5017 47.73 o 28007 47.73 c 5014 47.75 o 28012 47.75 c 5009 47.77 o 28015 47.77 c 5006 47.79 o 28016 47.79 c 5005 47.81 o 28018 47.81 c 5003 47.83 o 28020 47.83 c 5001 47.86 o 28024 47.86 c 4997 47.88 o 28025 47.88 c 4996 47.90 o 28026 47.90 c 4995 47.92 o 28027 47.92 c 4994 47.94 o 28028 47.94 c 4993 47.98 o 28032 47.98 c 4989 48.00 o 28036 48.00 c 4985 48.02 o 28039 48.02 c 4982 48.04 o 28042 48.04 c 4979 48.06 o 28045 48.06 c 4976 48.08 o 28048 48.08 c 4973 48.10 o 28050 48.10 c 4971 48.12 o 28054 48.12 c 4967 48.14 o 28059 48.14 c 4962 48.20 o 28062 48.20 c 4959 48.22 o 28065 48.22 c 4956 48.24 o 28069 48.24 c 4952 48.26 o 28070 48.26 c 4951 48.28 o 28074 48.28 c 4947 48.30 o 28079 48.30 c 4942 48.32 o 28083 48.32 c 4938 48.33 o 28086 48.33 c 4935 48.35 o 28092 48.35 c 4929 48.37 o 28095 48.37 c 4926 48.39 o 28097 48.39 c 4924 48.42 o 28100 48.42 c 4921 48.44 o 28104 48.44 c 4917 48.46 o 28107 48.46 c 4914 48.48 o 28110 48.48 c 4911 48.49 o 28115 48.50 c 4906 48.52 o 28118 48.52 c 4903 48.54 o 28120 48.54 c 4901 48.56 o 28121 48.56 c 4900 48.57 o 28124 48.57 c 4897 48.59 o 28130 48.59 c 4891 48.61 o 28134 48.61 c 4887 48.63 o 28138 48.63 c 4883 48.68 o 28140 48.68 c 4881 48.70 o 28142 48.70 c 4879 48.71 o 28147 48.71 c 4874 48.75 o 28150 48.75 c 4871 48.77 o 28154 48.77 c 4867 48.79 o 28155 48.79 c 4866 48.81 o 28159 48.81 c 4862 48.82 o 28162 48.82 c 4859 48.84 o 28166 48.84 c 4855 48.86 o 28168 48.86 c 4853 48.90 o 28169 48.90 c 4852 48.92 o 28170 48.92 c 4851 48.95 o 28172 48.95 c 4849 48.97 o 28174 48.97 c 4847 49.01 o 28177 49.01 c 4844 49.03 o 28179 49.03 c 4842 49.05 o 28181 49.05 c 4840 49.06 o 28182 49.06 c 4839 49.08 o 28184 49.08 c 4837 49.10 o 28186 49.10 c 4835 49.12 o 28191 49.12 c 4830 49.14 o 28193 49.14 c 4828 49.16 o 28195 49.16 c 4826 49.18 o 28196 49.18 c 4825 49.20 o 28197 49.20 c 4824 49.22 o 28199 49.22 c 4822 49.24 o 28201 49.24 c 4820 49.25 o 28203 49.25 c 4818 49.27 o 28205 49.27 c 4816 49.29 o 28206 49.29 c 4815 49.31 o 28208 49.31 c 4813 49.33 o 28209 49.33 c 4812 49.35 o 28210 49.35 c 4811 49.37 o 28212 49.37 c 4809 49.39 o 28214 49.39 c 4807 49.41 o 28215 49.41 c 4806 49.43 o 28217 49.43 c 4804 49.61 o 28218 49.61 c 4803 49.64 o 28221 49.64 c 4800 49.66 o 28224 49.66 c 4797 49.68 o 28225 49.68 c 4796 49.70 o 28229 49.70 c 4792 49.72 o 28231 49.72 c 4790 49.74 o 28232 49.74 c 4789 49.78 o 28233 49.78 c 4788 49.83 o 28236 49.83 c 4785 49.87 o 28237 49.87 c 4784 49.89 o 28239 49.89 c 4782 49.92 o 28241 49.92 c 4780 49.94 o 28243 49.94 c 4778 49.96 o 28246 49.96 c 4775 49.98 o 28249 49.98 c 4772 50.02 o 28250 50.02 c 4771 50.05 o 28254 50.05 c 4767 50.07 o 28256 50.07 c 4765 50.09 o 28259 50.09 c 4762 50.12 o 28261 50.12 c 4760 50.16 o 28265 50.16 c 4756 50.18 o 28268 50.18 c 4753 50.20 o 28270 50.20 c 4751 50.23 o 28271 50.23 c 4750 50.25 o 28275 50.25 c 4746 50.34 o 28276 50.34 c 4745 50.38 o 28279 50.38 c 4742 50.41 o 28280 50.41 c 4741 50.43 o 28282 50.43 c 4739 50.50 o 28283 50.50 c 4738 50.52 o 28284 50.52 c 4737 50.56 o 28286 50.56 c 4735 50.59 o 28289 50.59 c 4732 50.61 o 28294 50.61 c 4727 50.63 o 28298 50.63 c 4723 50.65 o 28300 50.65 c 4721 50.67 o 28304 50.67 c 4717 50.70 o 28305 50.70 c 4716 50.72 o 28307 50.72 c 4714 50.77 o 28310 50.77 c 4711 50.80 o 28313 50.80 c 4708 50.85 o 28315 50.85 c 4706 50.87 o 28316 50.87 c 4705 50.89 o 28323 50.89 c 4698 50.91 o 28325 50.91 c 4696 50.94 o 28329 50.94 c 4692 50.96 o 28332 50.96 c 4689 50.98 o 28333 50.98 c 4688 51.01 o 28334 51.01 c 4687 51.03 o 28336 51.03 c 4685 51.05 o 28337 51.05 c 4684 51.10 o 28338 51.10 c 4683 51.12 o 28343 51.12 c 4678 51.14 o 28346 51.14 c 4675 51.17 o 28349 51.17 c 4672 51.19 o 28352 51.19 c 4669 51.21 o 28353 51.21 c 4668 51.24 o 28357 51.24 c 4664 51.26 o 28360 51.27 c 4661 51.29 o 28362 51.29 c 4659 51.31 o 28366 51.31 c 4655 51.34 o 28369 51.34 c 4652 51.38 o 28373 51.38 c 4648 51.43 o 28375 51.43 c 4646 51.45 o 28377 51.45 c 4644 51.47 o 28380 51.47 c 4641 51.50 o 28381 51.50 c 4640 51.52 o 28383 51.52 c 4638 51.54 o 28389 51.54 c 4632 51.57 o 28391 51.57 c 4630 51.59 o 28394 51.59 c 4627 51.61 o 28396 51.61 c 4625 51.64 o 28398 51.64 c 4623 51.66 o 28401 51.66 c 4620 51.68 o 28403 51.68 c 4618 51.70 o 28404 51.70 c 4617 51.72 o 28405 51.72 c 4616 51.76 o 28408 51.76 c 4613 51.80 o 28409 51.80 c 4612 51.82 o 28411 51.82 c 4610 51.87 o 28414 51.87 c 4607 51.91 o 28415 51.91 c 4606 51.93 o 28416 51.93 c 4605 51.95 o 28417 51.95 c 4604 51.97 o 28420 51.97 c 4601 51.99 o 28422 51.99 c 4599 52.03 o 28423 52.03 c 4598 52.05 o 28426 52.05 c 4595 52.08 o 28429 52.08 c 4592 52.10 o 28433 52.10 c 4588 52.14 o 28436 52.14 c 4585 52.17 o 28440 52.17 c 4581 52.19 o 28441 52.19 c 4580 52.21 o 28445 52.21 c 4576 52.24 o 28449 52.24 c 4572 52.27 o 28452 52.27 c 4569 52.30 o 28455 52.30 c 4566 52.33 o 28458 52.33 c 4563 52.36 o 28460 52.36 c 4561 52.40 o 28462 52.40 c 4559 52.43 o 28464 52.43 c 4557 52.46 o 28466 52.46 c 4555 52.49 o 28468 52.49 c 4553 52.52 o 28469 52.52 c 4552 52.55 o 28471 52.55 c 4550 52.59 o 28473 52.59 c 4548 52.61 o 28474 52.61 c 4547 52.64 o 28476 52.64 c 4545 52.67 o 28478 52.67 c 4543 52.70 o 28479 52.70 c 4542 52.73 o 28481 52.73 c 4540 52.75 o 28485 52.75 c 4536 52.78 o 28487 52.78 c 4534 52.81 o 28489 52.81 c 4532 52.84 o 28490 52.84 c 4531 52.90 o 28492 52.90 c 4529 52.95 o 28493 52.95 c 4528 52.98 o 28495 52.98 c 4526 53.01 o 28496 53.01 c 4525 53.05 o 28497 53.05 c 4524 53.07 o 28498 53.07 c 4523 53.10 o 28499 53.10 c 4522 53.13 o 28500 53.13 c 4521 53.16 o 28501 53.16 c 4520 53.18 o 28502 53.18 c 4519 53.21 o 28503 53.21 c 4518 53.24 o 28504 53.24 c 4517 53.31 o 28506 53.31 c 4515 53.34 o 28508 53.34 c 4513 53.61 o 28510 53.61 c 4511 53.64 o 28511 53.64 c 4510 53.68 o 28515 53.68 c 4506 53.72 o 28517 53.72 c 4504 53.77 o 28518 53.77 c 4503 53.80 o 28519 53.80 c 4502 53.82 o 28522 53.82 c 4499 53.85 o 28524 53.85 c 4497 53.87 o 28525 53.87 c 4496 53.90 o 28529 53.90 c 4492 53.92 o 28531 53.92 c 4490 53.94 o 28534 53.94 c 4487 53.97 o 28536 53.97 c 4485 53.99 o 28537 53.99 c 4484 54.02 o 28539 54.02 c 4482 54.04 o 28540 54.04 c 4481 54.07 o 28544 54.07 c 4477 54.09 o 28546 54.09 c 4475 54.12 o 28550 54.12 c 4471 54.22 o 28552 54.22 c 4469 54.25 o 28553 54.25 c 4468 54.27 o 28554 54.27 c 4467 54.32 o 28558 54.32 c 4463 54.35 o 28559 54.35 c 4462 54.38 o 28563 54.38 c 4458 54.41 o 28565 54.41 c 4456 54.43 o 28569 54.43 c 4452 54.46 o 28570 54.46 c 4451 54.49 o 28573 54.49 c 4448 54.54 o 28578 54.54 c 4443 54.59 o 28582 54.59 c 4439 54.63 o 28587 54.63 c 4434 54.66 o 28589 54.66 c 4432 54.76 o 28592 54.76 c 4429 54.79 o 28595 54.79 c 4426 54.84 o 28598 54.84 c 4423 54.87 o 28602 54.87 c 4419 54.94 o 28606 54.94 c 4415 54.96 o 28607 54.96 c 4414 55.01 o 28608 55.01 c 4413 55.04 o 28612 55.04 c 4409 55.07 o 28615 55.07 c 4406 55.10 o 28617 55.10 c 4404 55.12 o 28622 55.12 c 4399 55.15 o 28624 55.15 c 4397 55.17 o 28626 55.17 c 4395 55.22 o 28628 55.22 c 4393 55.25 o 28632 55.25 c 4389 55.27 o 28633 55.27 c 4388 55.30 o 28635 55.30 c 4386 55.38 o 28637 55.38 c 4384 55.41 o 28640 55.41 c 4381 55.53 o 28643 55.53 c 4378 55.61 o 28646 55.61 c 4375 55.66 o 28647 55.66 c 4374 55.69 o 28649 55.69 c 4372 55.72 o 28650 55.72 c 4371 55.75 o 28651 55.75 c 4370 55.78 o 28652 55.78 c 4369 55.81 o 28654 55.81 c 4367 55.86 o 28656 55.86 c 4365 55.90 o 28657 55.90 c 4364 55.92 o 28660 55.92 c 4361 55.95 o 28663 55.95 c 4358 55.98 o 28666 55.98 c 4355 56.01 o 28668 56.01 c 4353 56.04 o 28671 56.04 c 4350 56.15 o 28673 56.15 c 4348 56.22 o 28676 56.22 c 4345 56.25 o 28679 56.25 c 4342 56.28 o 28681 56.28 c 4340 56.31 o 28684 56.31 c 4337 56.36 o 28685 56.36 c 4336 56.53 o 28688 56.53 c 4333 56.58 o 28689 56.58 c 4332 56.61 o 28692 56.61 c 4329 56.64 o 28695 56.64 c 4326 56.66 o 28699 56.66 c 4322 56.69 o 28701 56.69 c 4320 56.83 o 28702 56.83 c 4319 56.86 o 28703 56.86 c 4318 56.91 o 28704 56.91 c 4317 56.94 o 28705 56.94 c 4316 56.97 o 28708 56.97 c 4313 57.00 o 28710 57.00 c 4311 57.03 o 28711 57.03 c 4310 57.06 o 28713 57.06 c 4308 57.11 o 28714 57.11 c 4307 57.14 o 28716 57.14 c 4305 57.17 o 28717 57.17 c 4304 57.23 o 28720 57.23 c 4301 57.26 o 28722 57.26 c 4299 57.29 o 28725 57.29 c 4296 57.32 o 28727 57.32 c 4294 57.35 o 28729 57.35 c 4292 57.41 o 28730 57.41 c 4291 57.43 o 28734 57.43 c 4287 57.52 o 28735 57.52 c 4286 57.59 o 28737 57.59 c 4284 57.62 o 28740 57.62 c 4281 57.65 o 28741 57.65 c 4280 57.68 o 28745 57.68 c 4276 57.71 o 28747 57.71 c 4274 57.74 o 28748 57.74 c 4273 58.02 o 28751 58.02 c 4270 58.05 o 28754 58.05 c 4267 58.08 o 28757 58.08 c 4264 58.12 o 28761 58.12 c 4260 58.17 o 28762 58.17 c 4259 58.20 o 28763 58.20 c 4258 58.23 o 28766 58.23 c 4255 58.29 o 28769 58.29 c 4252 58.32 o 28772 58.32 c 4249 58.34 o 28774 58.34 c 4247 58.37 o 28775 58.37 c 4246 58.40 o 28779 58.40 c 4242 58.43 o 28780 58.43 c 4241 58.46 o 28783 58.46 c 4238 58.49 o 28787 58.49 c 4234 58.58 o 28789 58.58 c 4232 58.61 o 28792 58.61 c 4229 58.64 o 28794 58.64 c 4227 58.87 o 28796 58.87 c 4225 58.90 o 28800 58.90 c 4221 59.00 o 28802 59.00 c 4219 59.04 o 28803 59.04 c 4218 59.07 o 28806 59.07 c 4215 59.13 o 28808 59.13 c 4213 59.16 o 28809 59.16 c 4212 59.20 o 28813 59.20 c 4208 59.23 o 28816 59.23 c 4205 59.26 o 28818 59.26 c 4203 59.30 o 28819 59.30 c 4202 59.33 o 28820 59.33 c 4201 59.40 o 28821 59.40 c 4200 59.43 o 28823 59.43 c 4198 59.46 o 28824 59.46 c 4197 59.50 o 28825 59.50 c 4196 59.53 o 28826 59.53 c 4195 59.56 o 28829 59.56 c 4192 59.59 o 28832 59.59 c 4189 59.63 o 28833 59.63 c 4188 59.66 o 28836 59.66 c 4185 59.76 o 28838 59.76 c 4183 59.80 o 28841 59.80 c 4180 59.84 o 28843 59.84 c 4178 59.87 o 28844 59.87 c 4177 59.94 o 28848 59.94 c 4173 60.04 o 28851 60.04 c 4170 60.07 o 28852 60.07 c 4169 60.11 o 28854 60.11 c 4167 60.14 o 28857 60.14 c 4164 60.18 o 28860 60.18 c 4161 60.21 o 28861 60.21 c 4160 60.28 o 28864 60.28 c 4157 60.38 o 28867 60.38 c 4154 60.41 o 28869 60.41 c 4152 60.45 o 28872 60.45 c 4149 60.48 o 28876 60.48 c 4145 60.52 o 28877 60.52 c 4144 60.55 o 28878 60.55 c 4143 60.66 o 28881 60.66 c 4140 60.69 o 28882 60.69 c 4139 60.73 o 28886 60.73 c 4135 60.76 o 28887 60.76 c 4134 60.83 o 28889 60.83 c 4132 60.86 o 28890 60.86 c 4131 60.89 o 28892 60.89 c 4129 60.96 o 28895 60.96 c 4126 60.99 o 28897 60.99 c 4124 61.06 o 28899 61.06 c 4122 61.09 o 28900 61.09 c 4121 61.12 o 28902 61.12 c 4119 61.25 o 28903 61.25 c 4118 61.31 o 28904 61.31 c 4117 61.35 o 28907 61.35 c 4114 61.44 o 28908 61.44 c 4113 61.59 o 28911 61.59 c 4110 61.65 o 28913 61.65 c 4108 61.68 o 28915 61.68 c 4106 61.72 o 28919 61.72 c 4102 61.75 o 28921 61.75 c 4100 61.78 o 28924 61.78 c 4097 61.81 o 28929 61.81 c 4092 61.85 o 28934 61.85 c 4087 61.92 o 28936 61.92 c 4085 61.98 o 28938 61.98 c 4083 62.01 o 28939 62.01 c 4082 62.05 o 28941 62.05 c 4080 62.08 o 28943 62.08 c 4078 62.11 o 28946 62.11 c 4075 62.14 o 28948 62.14 c 4073 62.24 o 28949 62.24 c 4072 62.28 o 28950 62.28 c 4071 62.31 o 28953 62.31 c 4068 62.34 o 28954 62.34 c 4067 62.37 o 28955 62.37 c 4066 62.40 o 28957 62.40 c 4064 62.44 o 28958 62.44 c 4063 62.47 o 28960 62.47 c 4061 62.53 o 28961 62.53 c 4060 62.62 o 28963 62.62 c 4058 62.65 o 28967 62.65 c 4054 62.71 o 28970 62.71 c 4051 62.74 o 28972 62.74 c 4049 62.76 o 28976 62.76 c 4045 62.79 o 28977 62.79 c 4044 62.83 o 28980 62.83 c 4041 62.89 o 28982 62.89 c 4039 62.92 o 28984 62.92 c 4037 62.95 o 28985 62.95 c 4036 62.98 o 28987 62.98 c 4034 63.13 o 28989 63.13 c 4032 63.16 o 28992 63.16 c 4029 63.20 o 28995 63.20 c 4026 63.25 o 28998 63.25 c 4023 63.28 o 29001 63.28 c 4020 63.32 o 29004 63.32 c 4017 63.36 o 29007 63.36 c 4014 63.41 o 29010 63.41 c 4011 63.45 o 29011 63.45 c 4010 63.49 o 29013 63.49 c 4008 63.53 o 29015 63.53 c 4006 63.65 o 29016 63.65 c 4005 63.69 o 29018 63.69 c 4003 63.73 o 29020 63.73 c 4001 63.81 o 29021 63.81 c 4000 63.85 o 29023 63.85 c 3998 63.89 o 29027 63.89 c 3994 63.93 o 29029 63.93 c 3992 63.97 o 29030 63.97 c 3991 64.02 o 29031 64.02 c 3990 64.06 o 29032 64.06 c 3989 64.10 o 29033 64.10 c 3988 64.14 o 29034 64.14 c 3987 64.20 o 29037 64.20 c 3984 64.25 o 29038 64.25 c 3983 64.28 o 29040 64.28 c 3981 64.34 o 29043 64.34 c 3978 64.38 o 29045 64.38 c 3976 64.41 o 29046 64.41 c 3975 64.45 o 29047 64.45 c 3974 64.49 o 29048 64.49 c 3973 64.53 o 29049 64.53 c 3972 64.57 o 29050 64.57 c 3971 64.61 o 29051 64.61 c 3970 64.88 o 29059 64.88 c 3962 65.28 o 29060 65.28 c 3961 65.32 o 29063 65.32 c 3958 65.38 o 29064 65.38 c 3957 65.41 o 29067 65.41 c 3954 65.45 o 29068 65.45 c 3953 65.48 o 29069 65.48 c 3952 65.52 o 29071 65.52 c 3950 65.69 o 29075 65.69 c 3946 65.79 o 29079 65.79 c 3942 65.86 o 29081 65.86 c 3940 65.89 o 29082 65.89 c 3939 65.99 o 29084 65.99 c 3937 66.05 o 29086 66.05 c 3935 66.15 o 29088 66.15 c 3933 66.19 o 29089 66.19 c 3932 66.22 o 29092 66.22 c 3929 66.25 o 29094 66.25 c 3927 66.38 o 29095 66.38 c 3926 66.42 o 29096 66.42 c 3925 66.45 o 29097 66.45 c 3924 66.66 o 29098 66.66 c 3923 66.69 o 29099 66.69 c 3922 66.72 o 29103 66.72 c 3918 66.75 o 29105 66.75 c 3916 66.79 o 29107 66.79 c 3914 66.82 o 29109 66.82 c 3912 66.89 o 29111 66.89 c 3910 66.93 o 29115 66.93 c 3906 66.96 o 29119 66.96 c 3902 67.00 o 29122 67.00 c 3899 67.20 o 29124 67.20 c 3897 67.47 o 29127 67.47 c 3894 67.54 o 29128 67.54 c 3893 67.58 o 29130 67.58 c 3891 67.62 o 29133 67.62 c 3888 67.82 o 29135 67.82 c 3886 67.85 o 29137 67.85 c 3884 67.88 o 29139 67.88 c 3882 67.95 o 29141 67.95 c 3880 68.02 o 29142 68.02 c 3879 68.06 o 29143 68.06 c 3878 68.09 o 29145 68.09 c 3876 68.13 o 29147 68.13 c 3874 68.17 o 29148 68.17 c 3873 68.20 o 29151 68.20 c 3870 68.24 o 29152 68.24 c 3869 68.27 o 29153 68.27 c 3868 68.37 o 29154 68.37 c 3867 68.48 o 29156 68.48 c 3865 68.51 o 29159 68.51 c 3862 68.55 o 29162 68.55 c 3859 68.70 o 29163 68.70 c 3858 68.74 o 29167 68.74 c 3854 68.78 o 29168 68.78 c 3853 68.81 o 29170 68.82 c 3851 68.85 o 29173 68.85 c 3848 68.96 o 29174 68.96 c 3847 69.00 o 29178 69.00 c 3843 69.04 o 29181 69.04 c 3840 69.08 o 29183 69.08 c 3838 69.12 o 29185 69.12 c 3836 69.16 o 29187 69.16 c 3834 69.54 o 29189 69.54 c 3832 69.58 o 29192 69.58 c 3829 69.62 o 29195 69.62 c 3826 69.66 o 29198 69.66 c 3823 69.86 o 29201 69.86 c 3820 69.90 o 29203 69.90 c 3818 69.94 o 29204 69.94 c 3817 69.98 o 29206 69.98 c 3815 70.03 o 29207 70.03 c 3814 70.07 o 29208 70.07 c 3813 70.43 o 29209 70.43 c 3812 70.51 o 29210 70.51 c 3811 70.55 o 29212 70.55 c 3809 70.59 o 29214 70.59 c 3807 70.76 o 29216 70.76 c 3805 70.80 o 29219 70.80 c 3802 70.96 o 29220 70.96 c 3801 71.22 o 29223 71.22 c 3798 71.26 o 29226 71.26 c 3795 71.30 o 29230 71.30 c 3791 71.35 o 29234 71.35 c 3787 71.51 o 29236 71.51 c 3785 71.60 o 29237 71.60 c 3784 71.68 o 29240 71.68 c 3781 71.76 o 29241 71.76 c 3780 71.80 o 29243 71.80 c 3778 71.89 o 29245 71.89 c 3776 71.93 o 29247 71.93 c 3774 72.26 o 29248 72.26 c 3773 72.39 o 29250 72.39 c 3771 72.44 o 29251 72.44 c 3770 72.49 o 29253 72.49 c 3768 72.53 o 29254 72.53 c 3767 72.58 o 29258 72.58 c 3763 72.62 o 29262 72.62 c 3759 72.66 o 29264 72.66 c 3757 72.75 o 29265 72.75 c 3756 72.79 o 29267 72.79 c 3754 72.83 o 29268 72.83 c 3753 72.92 o 29269 72.92 c 3752 72.96 o 29270 72.96 c 3751 73.01 o 29271 73.01 c 3750 73.18 o 29272 73.18 c 3749 73.22 o 29275 73.22 c 3746 73.27 o 29276 73.27 c 3745 73.31 o 29277 73.31 c 3744 73.36 o 29279 73.36 c 3742 73.49 o 29280 73.49 c 3741 73.53 o 29283 73.53 c 3738 73.62 o 29285 73.62 c 3736 73.70 o 29288 73.70 c 3733 73.75 o 29290 73.75 c 3731 73.79 o 29293 73.79 c 3728 74.09 o 29294 74.09 c 3727 74.18 o 29295 74.18 c 3726 74.22 o 29297 74.22 c 3724 74.27 o 29299 74.27 c 3722 74.31 o 29301 74.31 c 3720 74.40 o 29302 74.40 c 3719 74.45 o 29304 74.45 c 3717 74.54 o 29305 74.54 c 3716 74.59 o 29306 74.59 c 3715 74.63 o 29311 74.63 c 3710 74.68 o 29314 74.68 c 3707 74.73 o 29317 74.73 c 3704 74.78 o 29318 74.78 c 3703 74.83 o 29319 74.83 c 3702 74.87 o 29322 74.87 c 3699 74.92 o 29323 74.92 c 3698 75.02 o 29326 75.02 c 3695 75.06 o 29328 75.06 c 3693 75.11 o 29329 75.11 c 3692 75.25 o 29331 75.25 c 3690 75.68 o 29332 75.68 c 3689 75.73 o 29333 75.73 c 3688 75.78 o 29335 75.78 c 3686 76.02 o 29337 76.02 c 3684 76.07 o 29339 76.07 c 3682 76.31 o 29340 76.31 c 3681 76.36 o 29343 76.36 c 3678 76.41 o 29344 76.41 c 3677 76.45 o 29345 76.45 c 3676 76.64 o 29347 76.64 c 3674 76.73 o 29348 76.73 c 3673 76.83 o 29350 76.84 c 3671 76.88 o 29352 76.88 c 3669 76.99 o 29354 76.99 c 3667 77.04 o 29357 77.04 c 3664 77.09 o 29359 77.09 c 3662 77.23 o 29360 77.23 c 3661 77.34 o 29361 77.34 c 3660 77.38 o 29362 77.38 c 3659 77.43 o 29364 77.43 c 3657 77.72 o 29367 77.72 c 3654 77.82 o 29368 77.82 c 3653 77.87 o 29370 77.87 c 3651 77.92 o 29372 77.92 c 3649 78.07 o 29373 78.07 c 3648 78.13 o 29374 78.13 c 3647 78.16 o 29378 78.16 c 3643 78.21 o 29379 78.21 c 3642 78.26 o 29381 78.26 c 3640 78.41 o 29382 78.41 c 3639 78.46 o 29384 78.46 c 3637 78.51 o 29385 78.51 c 3636 78.56 o 29388 78.56 c 3633 78.66 o 29391 78.66 c 3630 78.76 o 29394 78.76 c 3627 78.80 o 29395 78.80 c 3626 78.85 o 29397 78.85 c 3624 78.90 o 29398 78.90 c 3623 78.95 o 29400 78.95 c 3621 79.00 o 29401 79.00 c 3620 79.05 o 29403 79.05 c 3618 79.10 o 29405 79.10 c 3616 79.15 o 29406 79.15 c 3615 79.25 o 29407 79.25 c 3614 79.34 o 29409 79.34 c 3612 79.44 o 29411 79.44 c 3610 79.91 o 29414 79.91 c 3607 80.01 o 29415 80.01 c 3606 80.05 o 29419 80.05 c 3602 80.15 o 29421 80.15 c 3600 80.21 o 29422 80.21 c 3599 80.25 o 29423 80.25 c 3598 80.35 o 29425 80.35 c 3596 80.40 o 29427 80.40 c 3594 80.50 o 29429 80.50 c 3592 80.69 o 29432 80.69 c 3589 80.96 o 29433 80.96 c 3588 81.01 o 29434 81.01 c 3587 81.10 o 29438 81.11 c 3583 81.25 o 29439 81.25 c 3582 81.45 o 29443 81.45 c 3578 81.61 o 29444 81.61 c 3577 81.66 o 29445 81.66 c 3576 81.71 o 29447 81.71 c 3574 81.76 o 29451 81.76 c 3570 81.81 o 29452 81.81 c 3569 81.87 o 29453 81.87 c 3568 81.91 o 29454 81.91 c 3567 81.96 o 29455 81.96 c 3566 82.01 o 29458 82.01 c 3563 82.07 o 29461 82.07 c 3560 82.21 o 29463 82.21 c 3558 82.31 o 29465 82.31 c 3556 82.36 o 29466 82.36 c 3555 82.56 o 29467 82.56 c 3554 82.61 o 29468 82.61 c 3553 82.67 o 29470 82.67 c 3551 82.72 o 29472 82.72 c 3549 82.77 o 29474 82.77 c 3547 82.82 o 29475 82.82 c 3546 83.60 o 29477 83.60 c 3544 83.65 o 29478 83.65 c 3543 83.70 o 29480 83.70 c 3541 83.76 o 29482 83.76 c 3539 83.86 o 29485 83.86 c 3536 83.92 o 29487 83.92 c 3534 84.26 o 29489 84.26 c 3532 84.31 o 29492 84.31 c 3529 84.37 o 29494 84.37 c 3527 84.39 o 29496 84.39 c 3525 84.44 o 29497 84.44 c 3524 84.55 o 29499 84.55 c 3522 84.60 o 29503 84.60 c 3518 84.65 o 29505 84.65 c 3516 84.76 o 29506 84.76 c 3515 84.81 o 29509 84.81 c 3512 84.92 o 29511 84.92 c 3510 84.97 o 29515 84.97 c 3506 85.00 o 29517 85.00 c 3504 85.05 o 29519 85.05 c 3502 85.11 o 29520 85.11 c 3501 85.16 o 29521 85.16 c 3500 85.36 o 29524 85.36 c 3497 85.61 o 29525 85.61 c 3496 85.66 o 29526 85.66 c 3495 85.77 o 29528 85.77 c 3493 85.82 o 29531 85.82 c 3490 85.88 o 29532 85.88 c 3489 85.93 o 29534 85.93 c 3487 85.99 o 29536 85.99 c 3485 86.09 o 29538 86.09 c 3483 86.14 o 29539 86.14 c 3482 86.19 o 29542 86.19 c 3479 86.24 o 29544 86.24 c 3477 86.44 o 29547 86.45 c 3474 86.49 o 29549 86.49 c 3472 86.55 o 29550 86.55 c 3471 86.84 o 29554 86.84 c 3467 86.89 o 29555 86.89 c 3466 87.05 o 29556 87.05 c 3465 87.10 o 29558 87.10 c 3463 87.15 o 29559 87.15 c 3462 87.31 o 29560 87.31 c 3461 87.35 o 29562 87.35 c 3459 87.41 o 29563 87.41 c 3458 87.46 o 29565 87.46 c 3456 87.56 o 29568 87.56 c 3453 87.61 o 29569 87.61 c 3452 87.67 o 29572 87.67 c 3449 87.83 o 29574 87.83 c 3447 87.88 o 29577 87.88 c 3444 87.94 o 29579 87.94 c 3442 88.00 o 29581 88.00 c 3440 88.05 o 29583 88.05 c 3438 88.11 o 29585 88.11 c 3436 88.28 o 29586 88.28 c 3435 88.34 o 29588 88.34 c 3433 88.40 o 29590 88.40 c 3431 88.45 o 29592 88.45 c 3429 88.51 o 29594 88.51 c 3427 88.57 o 29596 88.57 c 3425 88.62 o 29599 88.62 c 3422 88.68 o 29600 88.68 c 3421 88.74 o 29601 88.74 c 3420 88.80 o 29602 88.80 c 3419 88.91 o 29603 88.91 c 3418 88.97 o 29604 88.97 c 3417 89.03 o 29605 89.03 c 3416 89.08 o 29606 89.08 c 3415 89.14 o 29607 89.14 c 3414 89.19 o 29609 89.19 c 3412 89.80 o 29610 89.80 c 3411 89.85 o 29613 89.85 c 3408 89.90 o 29616 89.90 c 3405 89.96 o 29617 89.96 c 3404 90.01 o 29620 90.01 c 3401 90.06 o 29624 90.06 c 3397 90.16 o 29625 90.16 c 3396 91.37 o 29630 91.37 c 3391 91.42 o 29631 91.42 c 3390 91.47 o 29632 91.47 c 3389 91.69 o 29633 91.69 c 3388 91.72 o 29635 91.72 c 3386 91.77 o 29636 91.77 c 3385 92.08 o 29640 92.08 c 3381 92.13 o 29642 92.13 c 3379 92.23 o 29645 92.23 c 3376 92.28 o 29646 92.28 c 3375 92.33 o 29647 92.33 c 3374 92.38 o 29649 92.38 c 3372 92.44 o 29651 92.44 c 3370 92.49 o 29652 92.49 c 3369 92.54 o 29657 92.54 c 3364 92.59 o 29659 92.59 c 3362 92.70 o 29661 92.70 c 3360 92.75 o 29662 92.75 c 3359 92.80 o 29663 92.80 c 3358 92.86 o 29664 92.86 c 3357 92.97 o 29665 92.97 c 3356 93.01 o 29666 93.01 c 3355 93.07 o 29668 93.07 c 3353 93.22 o 29669 93.22 c 3352 93.27 o 29673 93.27 c 3348 93.37 o 29676 93.37 c 3345 93.43 o 29678 93.43 c 3343 93.48 o 29680 93.48 c 3341 93.54 o 29681 93.54 c 3340 93.64 o 29683 93.64 c 3338 94.00 o 29684 94.00 c 3337 94.05 o 29686 94.05 c 3335 94.31 o 29690 94.31 c 3331 94.41 o 29693 94.41 c 3328 94.63 o 29696 94.63 c 3325 94.68 o 29699 94.68 c 3322 94.78 o 29700 94.78 c 3321 94.91 o 29701 94.91 c 3320 94.96 o 29702 94.96 c 3319 95.01 o 29703 95.01 c 3318 95.51 o 29704 95.51 c 3317 95.72 o 29706 95.72 c 3315 95.94 o 29711 95.94 c 3310 95.99 o 29712 95.99 c 3309 96.61 o 29713 96.61 c 3308 96.66 o 29714 96.66 c 3307 97.51 o 29716 97.51 c 3305 97.56 o 29717 97.56 c 3304 97.61 o 29718 97.61 c 3303 97.80 o 29722 97.80 c 3299 97.91 o 29723 97.91 c 3298 97.96 o 29727 97.96 c 3294 98.06 o 29731 98.06 c 3290 98.11 o 29732 98.11 c 3289 98.16 o 29734 98.16 c 3287 98.21 o 29736 98.21 c 3285 98.32 o 29738 98.32 c 3283 98.37 o 29741 98.37 c 3280 98.42 o 29744 98.42 c 3277 98.54 o 29747 98.54 c 3274 98.79 o 29748 98.79 c 3273 98.85 o 29749 98.85 c 3272 98.90 o 29752 98.90 c 3269 98.95 o 29754 98.95 c 3267 99.00 o 29755 99.00 c 3266 99.05 o 29757 99.05 c 3264 99.11 o 29759 99.11 c 3262 99.37 o 29762 99.37 c 3259 99.59 o 29764 99.59 c 3257 99.77 o 29765 99.77 c 3256 99.83 o 29766 99.83 c 3255 99.89 o 29767 99.89 c 3254 100.00 o 29769 100.00 c 3252 100.12 o 29770 100.12 c 3251 100.23 o 29771 100.23 c 3250 100.40 o 29772 100.40 c 3249 100.64 o 29775 100.64 c 3246 100.76 o 29776 100.76 c 3245 100.93 o 29779 100.93 c 3242 101.17 o 29780 101.17 c 3241 101.23 o 29782 101.23 c 3239 101.30 o 29784 101.30 c 3237 101.36 o 29785 101.36 c 3236 101.42 o 29787 101.42 c 3234 101.48 o 29788 101.48 c 3233 101.54 o 29790 101.54 c 3231 101.61 o 29791 101.61 c 3230 101.93 o 29793 101.93 c 3228 102.18 o 29795 102.18 c 3226 102.42 o 29796 102.42 c 3225 102.80 o 29797 102.80 c 3224 102.87 o 29799 102.87 c 3222 102.93 o 29801 102.93 c 3220 103.00 o 29802 103.00 c 3219 103.07 o 29804 103.07 c 3217 103.14 o 29806 103.14 c 3215 103.21 o 29807 103.21 c 3214 104.22 o 29810 104.22 c 3211 104.36 o 29812 104.36 c 3209 104.42 o 29814 104.42 c 3207 104.63 o 29816 104.63 c 3205 104.70 o 29819 104.70 c 3202 105.21 o 29821 105.21 c 3200 105.29 o 29825 105.29 c 3196 105.35 o 29826 105.35 c 3195 105.42 o 29827 105.42 c 3194 105.49 o 29828 105.49 c 3193 105.56 o 29829 105.56 c 3192 105.62 o 29831 105.62 c 3190 105.75 o 29832 105.75 c 3189 105.89 o 29833 105.89 c 3188 105.95 o 29835 105.95 c 3186 106.15 o 29837 106.15 c 3184 106.42 o 29842 106.42 c 3179 106.49 o 29843 106.49 c 3178 106.63 o 29846 106.63 c 3175 106.70 o 29849 106.70 c 3172 106.77 o 29854 106.77 c 3167 106.83 o 29856 106.83 c 3165 106.90 o 29857 106.90 c 3164 107.04 o 29858 107.04 c 3163 107.11 o 29859 107.11 c 3162 107.18 o 29860 107.18 c 3161 107.46 o 29862 107.46 c 3159 107.54 o 29864 107.54 c 3157 107.89 o 29867 107.89 c 3154 107.96 o 29869 107.96 c 3152 108.03 o 29870 108.03 c 3151 108.38 o 29871 108.38 c 3150 108.67 o 29872 108.67 c 3149 108.74 o 29874 108.74 c 3147 110.30 o 29875 110.30 c 3146 110.37 o 29876 110.37 c 3145 110.44 o 29878 110.44 c 3143 111.26 o 29879 111.26 c 3142 111.33 o 29880 111.33 c 3141 113.07 o 29881 113.07 c 3140 113.52 o 29882 113.52 c 3139 113.59 o 29886 113.59 c 3135 113.67 o 29887 113.67 c 3134 114.74 o 29889 114.74 c 3132 114.82 o 29892 114.82 c 3129 114.97 o 29894 114.97 c 3127 115.27 o 29895 115.27 c 3126 115.36 o 29896 115.36 c 3125 115.44 o 29898 115.44 c 3123 115.52 o 29901 115.52 c 3120 115.60 o 29902 115.60 c 3119 116.21 o 29905 116.21 c 3116 116.32 o 29906 116.32 c 3115 116.40 o 29907 116.40 c 3114 116.56 o 29909 116.56 c 3112 122.15 o 29910 122.15 c 3111 122.23 o 29911 122.23 c 3110 122.31 o 29913 122.31 c 3108 122.39 o 29914 122.39 c 3107 122.55 o 29916 122.55 c 3105 122.63 o 29918 122.63 c 3103 123.00 o 29919 123.00 c 3102 123.08 o 29920 123.08 c 3101 123.83 o 29923 123.83 c 3098 123.98 o 29924 123.98 c 3097 124.05 o 29925 124.05 c 3096 124.20 o 29926 124.20 c 3095 124.36 o 29927 124.36 c 3094 124.58 o 29928 124.58 c 3093 124.66 o 29932 124.66 c 3089 124.72 o 29933 124.72 c 3088 124.87 o 29934 124.87 c 3087 125.99 o 29935 125.99 c 3086 126.27 o 29936 126.27 c 3085 126.72 o 29937 126.72 c 3084 126.80 o 29938 126.80 c 3083 126.87 o 29940 126.87 c 3081 127.02 o 29941 127.02 c 3080 127.62 o 29943 127.62 c 3078 127.78 o 29944 127.78 c 3077 128.44 o 29946 128.44 c 3075 128.52 o 29947 128.52 c 3074 128.59 o 29948 128.59 c 3073 128.67 o 29950 128.67 c 3071 128.90 o 29952 128.90 c 3069 129.13 o 29953 129.13 c 3068 129.20 o 29955 129.20 c 3066 129.35 o 29956 129.35 c 3065 129.43 o 29957 129.43 c 3064 129.58 o 29958 129.58 c 3063 129.74 o 29959 129.74 c 3062 130.44 o 29960 130.44 c 3061 130.60 o 29961 130.60 c 3060 130.75 o 29964 130.75 c 3057 135.85 o 29966 135.85 c 3055 135.94 o 29967 135.94 c 3054 136.04 o 29969 136.04 c 3052 136.38 o 29970 136.38 c 3051 136.47 o 29972 136.47 c 3049 136.56 o 29974 136.56 c 3047 137.28 o 29976 137.28 c 3045 137.37 o 29977 137.37 c 3044 137.46 o 29978 137.46 c 3043 137.55 o 29980 137.55 c 3041 137.89 o 29982 137.89 c 3039 138.85 o 29985 138.85 c 3036 138.94 o 29987 138.94 c 3034 139.03 o 29988 139.03 c 3033 139.39 o 29989 139.39 c 3032 139.83 o 29992 139.83 c 3029 139.87 o 29993 139.87 c 3028 139.96 o 29994 139.96 c 3027 140.05 o 29996 140.05 c 3025 140.14 o 29998 140.14 c 3023 140.23 o 29999 140.23 c 3022 140.69 o 30000 140.69 c 3021 140.86 o 30001 140.86 c 3020 140.95 o 30002 140.95 c 3019 141.22 o 30004 141.22 c 3017 141.31 o 30006 141.31 c 3015 141.41 o 30008 141.41 c 3013 141.50 o 30011 141.50 c 3010 141.59 o 30012 141.59 c 3009 141.75 o 30015 141.75 c 3006 141.84 o 30016 141.84 c 3005 142.74 o 30018 142.74 c 3003 142.83 o 30020 142.83 c 3001 142.92 o 30022 142.92 c 2999 143.19 o 30028 143.19 c 2993 143.28 o 30029 143.28 c 2992 143.38 o 30030 143.38 c 2991 143.47 o 30031 143.47 c 2990 143.57 o 30033 143.57 c 2988 144.23 o 30034 144.23 c 2987 144.32 o 30036 144.33 c 2985 144.99 o 30038 144.99 c 2983 145.08 o 30039 145.08 c 2982 146.37 o 30041 146.37 c 2980 147.02 o 30043 147.02 c 2978 147.12 o 30044 147.12 c 2977 147.32 o 30046 147.32 c 2975 147.50 o 30049 147.50 c 2972 147.69 o 30050 147.69 c 2971 147.79 o 30051 147.79 c 2970 147.89 o 30052 147.89 c 2969 147.99 o 30054 147.99 c 2967 148.09 o 30055 148.09 c 2966 148.20 o 30057 148.20 c 2964 148.50 o 30059 148.50 c 2962 148.60 o 30061 148.60 c 2960 148.71 o 30062 148.71 c 2959 149.01 o 30063 149.01 c 2958 149.12 o 30064 149.12 c 2957 150.22 o 30065 150.22 c 2956 150.33 o 30066 150.33 c 2955 150.43 o 30067 150.43 c 2954 150.73 o 30069 150.73 c 2952 151.63 o 30070 151.63 c 2951 151.73 o 30072 151.73 c 2949 151.83 o 30073 151.83 c 2948 152.03 o 30074 152.03 c 2947 153.47 o 30077 153.47 c 2944 153.57 o 30078 153.57 c 2943 153.67 o 30079 153.67 c 2942 153.86 o 30081 153.86 c 2940 154.06 o 30082 154.06 c 2939 154.72 o 30083 154.72 c 2938 154.87 o 30085 154.87 c 2936 156.45 o 30087 156.45 c 2934 156.54 o 30091 156.54 c 2930 156.74 o 30093 156.74 c 2928 156.84 o 30094 156.84 c 2927 156.94 o 30095 156.94 c 2926 157.04 o 30097 157.04 c 2924 157.14 o 30098 157.14 c 2923 157.19 o 30099 157.19 c 2922 160.98 o 30101 160.99 c 2920 161.05 o 30102 161.05 c 2919 161.25 o 30104 161.25 c 2917 161.35 o 30105 161.35 c 2916 163.41 o 30106 163.41 c 2915 163.52 o 30107 163.52 c 2914 164.06 o 30108 164.06 c 2913 164.28 o 30111 164.28 c 2910 164.62 o 30112 164.62 c 2909 164.73 o 30113 164.73 c 2908 164.84 o 30116 164.84 c 2905 164.94 o 30119 164.94 c 2902 165.14 o 30120 165.14 c 2901 165.25 o 30123 165.25 c 2898 165.36 o 30124 165.36 c 2897 165.57 o 30126 165.57 c 2895 165.78 o 30129 165.78 c 2892 165.99 o 30131 165.99 c 2890 166.96 o 30132 166.96 c 2889 167.51 o 30133 167.51 c 2888 168.08 o 30134 168.08 c 2887 168.20 o 30136 168.20 c 2885 168.67 o 30137 168.67 c 2884 168.89 o 30140 168.89 c 2881 169.01 o 30143 169.01 c 2878 169.12 o 30145 169.12 c 2876 169.24 o 30147 169.24 c 2874 169.35 o 30150 169.35 c 2871 169.47 o 30151 169.47 c 2870 169.58 o 30152 169.58 c 2869 169.70 o 30154 169.70 c 2867 170.24 o 30155 170.24 c 2866 170.36 o 30156 170.36 c 2865 170.47 o 30159 170.47 c 2862 170.59 o 30160 170.59 c 2861 170.93 o 30161 170.93 c 2860 173.28 o 30162 173.28 c 2859 173.40 o 30163 173.40 c 2858 173.51 o 30166 173.51 c 2855 173.96 o 30167 173.96 c 2854 174.42 o 30168 174.42 c 2853 174.65 o 30169 174.65 c 2852 174.76 o 30170 174.76 c 2851 174.87 o 30173 174.87 c 2848 175.10 o 30175 175.10 c 2846 175.32 o 30176 175.32 c 2845 175.44 o 30177 175.44 c 2844 175.56 o 30178 175.56 c 2843 175.67 o 30179 175.67 c 2842 175.78 o 30180 175.78 c 2841 176.23 o 30181 176.23 c 2840 176.34 o 30182 176.34 c 2839 176.57 o 30184 176.57 c 2837 177.03 o 30185 177.03 c 2836 177.14 o 30186 177.14 c 2835 177.34 o 30187 177.34 c 2834 177.46 o 30188 177.46 c 2833 177.80 o 30190 177.80 c 2831 178.35 o 30191 178.35 c 2830 180.77 o 30192 180.77 c 2829 180.88 o 30194 180.88 c 2827 181.10 o 30197 181.10 c 2824 181.44 o 30200 181.44 c 2821 181.90 o 30201 181.90 c 2820 182.35 o 30202 182.35 c 2819 183.03 o 30203 183.03 c 2818 183.14 o 30204 183.14 c 2817 183.26 o 30206 183.26 c 2815 183.38 o 30207 183.38 c 2814 183.46 o 30208 183.46 c 2813 183.91 o 30212 183.91 c 2809 184.02 o 30213 184.02 c 2808 184.14 o 30215 184.14 c 2806 184.37 o 30216 184.37 c 2805 184.49 o 30218 184.49 c 2803 184.60 o 30219 184.60 c 2802 184.78 o 30220 184.78 c 2801 185.01 o 30221 185.01 c 2800 188.80 o 30224 188.80 c 2797 188.93 o 30225 188.93 c 2796 189.04 o 30226 189.04 c 2795 189.16 o 30228 189.16 c 2793 189.51 o 30230 189.51 c 2791 189.72 o 30232 189.72 c 2789 190.63 o 30234 190.63 c 2787 191.07 o 30235 191.07 c 2786 191.57 o 30237 191.57 c 2784 191.69 o 30238 191.69 c 2783 191.90 o 30241 191.90 c 2780 192.13 o 30243 192.13 c 2778 194.40 o 30245 194.40 c 2776 194.48 o 30246 194.48 c 2775 196.28 o 30247 196.28 c 2774 197.25 o 30248 197.25 c 2773 198.56 o 30249 198.56 c 2772 199.02 o 30253 199.02 c 2768 199.26 o 30255 199.26 c 2766 204.61 o 30256 204.61 c 2765 204.96 o 30257 204.97 c 2764 205.08 o 30259 205.08 c 2762 205.78 o 30261 205.78 c 2760 206.25 o 30262 206.25 c 2759 206.48 o 30263 206.48 c 2758 206.83 o 30267 206.83 c 2754 207.06 o 30269 207.06 c 2752 207.42 o 30270 207.42 c 2751 208.97 o 30271 208.97 c 2750 209.16 o 30274 209.16 c 2747 209.41 o 30275 209.41 c 2746 210.01 o 30277 210.01 c 2744 210.07 o 30280 210.07 c 2741 210.19 o 30281 210.19 c 2740 210.32 o 30283 210.32 c 2738 211.11 o 30284 211.11 c 2737 211.23 o 30285 211.23 c 2736 211.46 o 30286 211.46 c 2735 211.71 o 30287 211.71 c 2734 212.29 o 30289 212.29 c 2732 212.41 o 30290 212.41 c 2731 212.53 o 30291 212.53 c 2730 213.12 o 30292 213.12 c 2729 213.36 o 30293 213.36 c 2728 213.73 o 30296 213.73 c 2725 213.98 o 30297 213.98 c 2724 214.11 o 30298 214.11 c 2723 214.23 o 30300 214.23 c 2721 214.36 o 30301 214.36 c 2720 214.47 o 30304 214.47 c 2717 214.60 o 30305 214.60 c 2716 214.71 o 30306 214.71 c 2715 215.09 o 30307 215.09 c 2714 215.22 o 30308 215.22 c 2713 215.83 o 30309 215.83 c 2712 216.19 o 30311 216.19 c 2710 216.32 o 30312 216.32 c 2709 216.45 o 30313 216.45 c 2708 216.70 o 30315 216.70 c 2706 217.20 o 30316 217.20 c 2705 218.21 o 30317 218.21 c 2704 218.46 o 30318 218.46 c 2703 218.55 o 30321 218.55 c 2700 218.78 o 30322 218.78 c 2699 218.90 o 30323 218.90 c 2698 219.02 o 30324 219.02 c 2697 219.14 o 30325 219.14 c 2696 219.88 o 30328 219.88 c 2693 220.12 o 30329 220.12 c 2692 220.24 o 30332 220.24 c 2689 220.55 o 30335 220.55 c 2686 220.57 o 30338 220.57 c 2683 220.69 o 30339 220.69 c 2682 220.81 o 30340 220.81 c 2681 221.29 o 30341 221.29 c 2680 221.41 o 30343 221.41 c 2678 221.65 o 30344 221.65 c 2677 221.78 o 30345 221.78 c 2676 221.91 o 30346 221.91 c 2675 222.14 o 30347 222.14 c 2674 222.26 o 30348 222.26 c 2673 222.50 o 30350 222.50 c 2671 222.74 o 30351 222.74 c 2670 225.97 o 30354 225.97 c 2667 226.10 o 30356 226.10 c 2665 226.48 o 30357 226.48 c 2664 234.11 o 30358 234.11 c 2663 234.24 o 30359 234.24 c 2662 234.37 o 30360 234.37 c 2661 234.50 o 30361 234.50 c 2660 234.62 o 30362 234.62 c 2659 234.88 o 30363 234.88 c 2658 243.51 o 30365 243.51 c 2656 243.65 o 30366 243.65 c 2655 244.08 o 30367 244.08 c 2654 245.51 o 30368 245.51 c 2653 245.66 o 30370 245.66 c 2651 245.79 o 30371 245.79 c 2650 246.08 o 30372 246.08 c 2649 246.22 o 30373 246.22 c 2648 246.51 o 30374 246.51 c 2647 246.81 o 30376 246.81 c 2645 246.90 o 30379 246.90 c 2642 247.05 o 30380 247.05 c 2641 247.19 o 30382 247.19 c 2639 248.58 o 30384 248.58 c 2637 248.72 o 30385 248.72 c 2636 248.86 o 30386 248.86 c 2635 249.44 o 30387 249.44 c 2634 249.59 o 30388 249.59 c 2633 249.74 o 30392 249.74 c 2629 252.70 o 30395 252.70 c 2626 253.22 o 30397 253.22 c 2624 253.37 o 30400 253.37 c 2621 257.34 o 30402 257.34 c 2619 257.49 o 30403 257.49 c 2618 257.93 o 30404 257.93 c 2617 258.08 o 30405 258.08 c 2616 258.24 o 30408 258.24 c 2613 258.37 o 30409 258.37 c 2612 258.67 o 30410 258.67 c 2611 258.83 o 30412 258.83 c 2609 258.98 o 30413 258.98 c 2608 261.25 o 30414 261.25 c 2607 262.31 o 30415 262.31 c 2606 263.24 o 30416 263.24 c 2605 271.34 o 30418 271.34 c 2603 271.50 o 30419 271.50 c 2602 272.06 o 30420 272.06 c 2601 272.21 o 30424 272.21 c 2597 272.85 o 30425 272.85 c 2596 274.57 o 30426 274.57 c 2595 274.68 o 30428 274.68 c 2593 275.93 o 30431 275.93 c 2590 276.10 o 30432 276.10 c 2589 276.42 o 30435 276.42 c 2586 278.12 o 30436 278.12 c 2585 278.44 o 30438 278.44 c 2583 278.77 o 30439 278.77 c 2582 278.93 o 30440 278.93 c 2581 279.31 o 30442 279.31 c 2579 279.81 o 30443 279.81 c 2578 279.97 o 30444 279.97 c 2577 282.27 o 30446 282.27 c 2575 282.44 o 30447 282.44 c 2574 282.61 o 30448 282.61 c 2573 282.77 o 30450 282.77 c 2571 285.91 o 30451 285.91 c 2570 286.08 o 30453 286.08 c 2568 286.24 o 30455 286.24 c 2566 286.42 o 30457 286.42 c 2564 287.86 o 30462 287.86 c 2559 288.03 o 30463 288.03 c 2558 288.36 o 30464 288.36 c 2557 289.54 o 30465 289.54 c 2556 289.84 o 30466 289.84 c 2555 290.31 o 30467 290.31 c 2554 290.48 o 30469 290.48 c 2552 290.64 o 30471 290.64 c 2550 290.82 o 30472 290.82 c 2549 290.99 o 30474 290.99 c 2547 291.15 o 30476 291.15 c 2545 291.48 o 30477 291.48 c 2544 291.65 o 30478 291.65 c 2543 292.63 o 30480 292.63 c 2541 292.79 o 30482 292.79 c 2539 293.18 o 30486 293.18 c 2535 293.35 o 30488 293.35 c 2533 293.51 o 30489 293.51 c 2532 293.77 o 30490 293.77 c 2531 293.93 o 30491 293.93 c 2530 294.27 o 30492 294.27 c 2529 294.60 o 30494 294.60 c 2527 308.34 o 30498 308.34 c 2523 308.49 o 30499 308.49 c 2522 308.66 o 30505 308.66 c 2516 309.13 o 30506 309.13 c 2515 311.29 o 30507 311.29 c 2514 311.46 o 30509 311.46 c 2512 312.10 o 30510 312.10 c 2511 314.83 o 30511 314.83 c 2510 315.00 o 30512 315.00 c 2509 315.69 o 30515 315.69 c 2506 315.87 o 30518 315.87 c 2503 316.01 o 30520 316.01 c 2501 316.09 o 30523 316.09 c 2498 316.95 o 30525 316.95 c 2496 317.12 o 30527 317.12 c 2494 317.29 o 30528 317.29 c 2493 317.63 o 30529 317.63 c 2492 318.30 o 30530 318.30 c 2491 318.47 o 30532 318.47 c 2489 318.65 o 30533 318.65 c 2488 318.82 o 30534 318.82 c 2487 319.16 o 30535 319.16 c 2486 319.34 o 30537 319.34 c 2484 320.39 o 30538 320.39 c 2483 320.57 o 30540 320.57 c 2481 321.09 o 30542 321.09 c 2479 321.26 o 30543 321.26 c 2478 321.77 o 30544 321.77 c 2477 331.63 o 30546 331.63 c 2475 332.33 o 30547 332.33 c 2474 332.50 o 30548 332.50 c 2473 333.04 o 30549 333.04 c 2472 334.02 o 30550 334.02 c 2471 334.21 o 30551 334.21 c 2470 334.34 o 30552 334.34 c 2469 334.93 o 30553 334.93 c 2468 335.29 o 30554 335.29 c 2467 335.64 o 30555 335.64 c 2466 337.89 o 30556 337.89 c 2465 338.24 o 30557 338.24 c 2464 338.76 o 30560 338.76 c 2461 338.94 o 30562 338.94 c 2459 347.70 o 30563 347.70 c 2458 348.91 o 30566 348.91 c 2455 349.45 o 30568 349.45 c 2453 349.75 o 30569 349.75 c 2452 352.21 o 30571 352.21 c 2450 355.96 o 30575 355.96 c 2446 359.47 o 30577 359.47 c 2444 360.51 o 30579 360.51 c 2442 360.68 o 30580 360.68 c 2441 361.05 o 30582 361.05 c 2439 362.67 o 30583 362.67 c 2438 363.03 o 30584 363.03 c 2437 364.37 o 30585 364.37 c 2436 364.92 o 30586 364.92 c 2435 365.28 o 30587 365.28 c 2434 365.59 o 30590 365.59 c 2431 366.68 o 30591 366.68 c 2430 370.95 o 30593 370.95 c 2428 371.19 o 30594 371.19 c 2427 371.38 o 30596 371.38 c 2425 371.74 o 30598 371.74 c 2423 371.92 o 30599 371.92 c 2422 372.82 o 30600 372.82 c 2421 373.00 o 30602 373.00 c 2419 373.18 o 30603 373.18 c 2418 373.36 o 30604 373.36 c 2417 373.55 o 30606 373.55 c 2415 373.73 o 30607 373.73 c 2414 374.44 o 30608 374.44 c 2413 375.15 o 30609 375.15 c 2412 375.32 o 30610 375.32 c 2411 375.50 o 30612 375.50 c 2409 376.55 o 30614 376.55 c 2407 376.73 o 30617 376.73 c 2404 376.91 o 30619 376.91 c 2402 377.26 o 30623 377.26 c 2398 379.52 o 30624 379.52 c 2397 381.86 o 30625 381.86 c 2396 382.55 o 30628 382.55 c 2393 383.03 o 30629 383.03 c 2392 394.77 o 30632 394.77 c 2389 394.95 o 30634 394.95 c 2387 395.14 o 30635 395.14 c 2386 395.32 o 30636 395.32 c 2385 395.68 o 30637 395.68 c 2384 400.79 o 30638 400.79 c 2383 400.97 o 30640 400.97 c 2381 415.77 o 30641 415.77 c 2380 415.96 o 30642 415.96 c 2379 418.02 o 30644 418.02 c 2377 423.52 o 30645 423.52 c 2376 423.71 o 30648 423.71 c 2373 424.47 o 30649 424.47 c 2372 424.67 o 30651 424.67 c 2370 424.86 o 30652 424.86 c 2369 425.25 o 30653 425.25 c 2368 425.39 o 30654 425.39 c 2367 425.59 o 30655 425.59 c 2366 429.10 o 30656 429.10 c 2365 431.68 o 30659 431.68 c 2362 431.92 o 30661 431.92 c 2360 432.50 o 30662 432.50 c 2359 432.66 o 30663 432.66 c 2358 432.86 o 30665 432.86 c 2356 435.93 o 30667 435.93 c 2354 443.00 o 30670 443.00 c 2351 443.39 o 30671 443.39 c 2350 443.60 o 30672 443.60 c 2349 444.11 o 30673 444.11 c 2348 444.31 o 30675 444.31 c 2346 444.51 o 30676 444.51 c 2345 445.68 o 30677 445.68 c 2344 445.76 o 30678 445.77 c 2343 446.86 o 30679 446.86 c 2342 447.20 o 30680 447.20 c 2341 447.40 o 30682 447.40 c 2339 447.59 o 30684 447.59 c 2337 447.79 o 30685 447.79 c 2336 449.44 o 30690 449.44 c 2331 449.63 o 30691 449.63 c 2330 453.91 o 30692 453.91 c 2329 454.10 o 30693 454.10 c 2328 455.97 o 30694 455.97 c 2327 457.53 o 30696 457.53 c 2325 457.89 o 30697 457.89 c 2324 458.04 o 30699 458.04 c 2322 458.61 o 30701 458.61 c 2320 458.80 o 30703 458.80 c 2318 459.12 o 30706 459.12 c 2315 459.31 o 30707 459.31 c 2314 459.42 o 30709 459.42 c 2312 460.37 o 30710 460.37 c 2311 469.70 o 30711 469.70 c 2310 475.16 o 30712 475.16 c 2309 475.34 o 30716 475.34 c 2305 476.65 o 30720 476.65 c 2301 477.02 o 30721 477.02 c 2300 477.21 o 30722 477.21 c 2299 477.39 o 30723 477.39 c 2298 477.58 o 30725 477.58 c 2296 477.66 o 30727 477.66 c 2294 477.71 o 30730 477.71 c 2291 481.38 o 30733 481.38 c 2288 481.57 o 30734 481.57 c 2287 482.33 o 30736 482.33 c 2285 485.84 o 30738 485.84 c 2283 486.03 o 30740 486.03 c 2281 487.55 o 30742 487.55 c 2279 494.86 o 30743 494.86 c 2278 498.47 o 30744 498.47 c 2277 500.62 o 30745 500.62 c 2276 500.82 o 30746 500.82 c 2275 501.74 o 30747 501.74 c 2274 505.00 o 30748 505.00 c 2273 505.20 o 30749 505.20 c 2272 506.23 o 30753 506.23 c 2268 506.63 o 30754 506.63 c 2267 506.83 o 30756 506.83 c 2265 507.03 o 30758 507.03 c 2263 507.62 o 30759 507.62 c 2262 508.03 o 30760 508.03 c 2261 508.25 o 30762 508.25 c 2259 508.46 o 30763 508.46 c 2258 509.81 o 30765 509.81 c 2256 510.00 o 30766 510.00 c 2255 510.21 o 30768 510.21 c 2253 510.40 o 30769 510.40 c 2252 510.61 o 30770 510.61 c 2251 514.50 o 30773 514.50 c 2248 516.99 o 30776 516.99 c 2245 517.20 o 30777 517.20 c 2244 517.42 o 30778 517.42 c 2243 517.63 o 30779 517.63 c 2242 518.25 o 30781 518.25 c 2240 519.89 o 30783 519.89 c 2238 520.73 o 30785 520.73 c 2236 520.93 o 30786 520.93 c 2235 523.39 o 30788 523.39 c 2233 523.59 o 30790 523.59 c 2231 523.75 o 30792 523.75 c 2229 523.96 o 30794 523.96 c 2227 524.38 o 30795 524.38 c 2226 530.67 o 30796 530.67 c 2225 531.54 o 30797 531.54 c 2224 531.98 o 30799 531.98 c 2222 532.21 o 30801 532.21 c 2220 535.44 o 30802 535.44 c 2219 535.66 o 30803 535.66 c 2218 536.31 o 30804 536.31 c 2217 536.53 o 30806 536.53 c 2215 536.76 o 30808 536.76 c 2213 537.18 o 30810 537.18 c 2211 537.85 o 30811 537.85 c 2210 539.12 o 30812 539.12 c 2209 542.02 o 30813 542.02 c 2208 542.46 o 30814 542.46 c 2207 544.40 o 30816 544.40 c 2205 544.62 o 30819 544.62 c 2202 545.03 o 30820 545.03 c 2201 545.25 o 30821 545.25 c 2200 545.47 o 30822 545.47 c 2199 545.69 o 30823 545.69 c 2198 545.87 o 30825 545.87 c 2196 546.09 o 30828 546.09 c 2193 546.31 o 30829 546.31 c 2192 550.79 o 30830 550.79 c 2191 551.24 o 30831 551.24 c 2190 552.51 o 30832 552.51 c 2189 553.16 o 30834 553.16 c 2187 553.33 o 30835 553.33 c 2186 555.91 o 30836 555.91 c 2185 556.36 o 30840 556.36 c 2181 557.47 o 30845 557.47 c 2176 557.65 o 30846 557.65 c 2175 561.04 o 30847 561.04 c 2174 561.27 o 30848 561.27 c 2173 561.51 o 30849 561.51 c 2172 562.45 o 30850 562.45 c 2171 562.69 o 30852 562.69 c 2169 563.63 o 30853 563.63 c 2168 564.11 o 30854 564.11 c 2167 564.34 o 30855 564.34 c 2166 564.58 o 30856 564.58 c 2165 564.82 o 30859 564.82 c 2162 566.02 o 30860 566.02 c 2161 566.49 o 30863 566.49 c 2158 567.84 o 30864 567.84 c 2157 567.95 o 30866 567.95 c 2155 568.90 o 30867 568.90 c 2154 569.38 o 30868 569.38 c 2153 569.62 o 30869 569.62 c 2152 569.86 o 30870 569.86 c 2151 571.97 o 30872 571.97 c 2149 575.67 o 30874 575.67 c 2147 576.39 o 30875 576.39 c 2146 576.61 o 30876 576.61 c 2145 577.29 o 30878 577.29 c 2143 577.50 o 30882 577.50 c 2139 579.25 o 30884 579.25 c 2137 579.50 o 30885 579.50 c 2136 579.98 o 30887 579.98 c 2134 580.22 o 30888 580.22 c 2133 582.15 o 30890 582.15 c 2131 582.39 o 30892 582.39 c 2129 582.63 o 30893 582.63 c 2128 583.13 o 30895 583.13 c 2126 587.96 o 30896 587.96 c 2125 593.22 o 30898 593.22 c 2123 593.37 o 30900 593.37 c 2121 594.32 o 30903 594.32 c 2118 598.99 o 30904 598.99 c 2117 599.22 o 30905 599.22 c 2116 599.46 o 30907 599.46 c 2114 604.85 o 30909 604.85 c 2112 605.09 o 30913 605.09 c 2108 605.32 o 30914 605.32 c 2107 608.32 o 30916 608.32 c 2105 609.47 o 30918 609.47 c 2103 610.20 o 30919 610.20 c 2102 617.48 o 30920 617.48 c 2101 620.71 o 30922 620.71 c 2099 622.71 o 30923 622.71 c 2098 623.39 o 30924 623.39 c 2097 623.63 o 30925 623.63 c 2096 635.61 o 30926 635.61 c 2095 635.94 o 30928 635.94 c 2093 636.18 o 30929 636.18 c 2092 636.79 o 30930 636.79 c 2091 637.93 o 30932 637.93 c 2089 638.16 o 30933 638.16 c 2088 638.39 o 30934 638.39 c 2087 639.07 o 30935 639.07 c 2086 639.75 o 30936 639.75 c 2085 639.97 o 30937 639.97 c 2084 640.90 o 30938 640.90 c 2083 641.57 o 30939 641.57 c 2082 641.81 o 30940 641.81 c 2081 642.05 o 30941 642.05 c 2080 672.47 672.47 search 672.47 run=0 nbConstraintChecks=3480640321 nbAssignments=5914 672.47 => wckTime=638.318 cpuTime=632.41 mem=64M302 672.47 672.47 global 672.47 nbConstraintChecks=3480640321 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 672.47 solvingWckTime=638.299 solvingCpuTime=632.39 expiredTime=no totalExploration=no nbFoundSolutions=0 672.47 globalCpuTime=664.83 672.47 => wckTime=672.16 cpuTime=664.78 mem=64M302 672.47 672.47 solver IterativeSystematicSolver being built... 672.86 => wckTime=672.552 cpuTime=665.04 mem=90M736 2421.59 v -2524 2432 2536 -2640 -2596 -2580 2464 -2580 2600 2596 2452 2636 2572 2596 2296 2500 -2608 -2492 -2596 -2320 2284 -2320 -2596 -2280 -2388 2624 2608 2280 -2504 2560 2288 2632 2360 2404 2380 -2488 -2320 -2536 -2280 -2580 -2280 -2396 -2388 -2448 -2632 2320 -2564 2416 -2616 2528 2332 2344 2592 -2368 -2596 -2572 -2332 -2332 2548 -2460 2436 2320 2552 -2600 -2600 2404 2288 -2524 -2500 -2588 -2280 -2640 -2292 2280 2284 -2512 2304 2600 2640 2332 2600 2360 -2640 2468 2324 -2544 2568 -2444 2304 2348 2384 -2448 -2600 2600 2588 -2600 2488 -2628 2280 2600 -2288 2336 2596 -2492 -2436 -2352 2576 2488 -2360 2436 -2540 -2544 -2280 2640 2320 2324 -2400 2584 -2640 -2320 -2412 -2336 2544 -2464 2468 -2280 -2568 2604 2332 2640 2280 -2432 2608 2288 -2584 -2592 -2640 2620 2384 -2524 -2584 -2328 -2400 2632 2620 2640 2640 2288 2320 2496 2636 -2456 -2344 -2324 2344 2640 2636 2528 2332 2380 -2280 -2400 2592 -2512 2600 2524 -2416 -2624 2304 -2452 -2640 -2304 -2424 2584 2592 2636 -2440 2280 2436 2532 -2320 -2548 -2324 -2324 2328 -2404 2484 2304 -2312 2396 2336 2292 -2596 -2524 -2368 -2616 2600 2588 2432 -2416 2360 -2476 2428 2280 2344 2336 2628 2300 -2284 -2612 2388 2560 2616 -2384 2364 -2640 -2280 2320 2612 2332 2584 2500 -2460 2296 2488 2280 2504 -2580 -2484 2348 -2284 -2280 -2600 -2576 2320 -2532 -2640 -2636 2328 -2580 -2324 2484 2520 -2280 2344 2568 -2280 2284 2296 -2280 -2564 -2448 2400 -2452 2312 2492 2440 2360 2640 2592 2568 2412 2584 2640 2596 -2292 -2508 2384 2464 -2308 2516 -2356 -2556 -2372 2632 -2408 2320 -2336 2492 2312 2296 2324 2548 -2424 2284 2496 2556 2356 -2576 2332 2500 2580 2332 -2280 -2640 -2420 2320 2592 -2312 2640 2500 2452 -2292 2456 2552 2640 2324 -2324 2448 -2588 2452 2548 -2616 2360 -2284 -2348 2456 -2596 2636 2328 2600 2640 -2612 2564 2300 -2588 -2632 -2352 -2440 2408 2536 -2596 -2324 2324 2440 2380 2444 -2392 2636 2408 2492 2500 -2576 2280 -2452 2496 -2484 -2328 -2600 -2436 -2520 2352 2516 -2564 -2376 -2316 2536 -2356 2284 2504 -2576 -2484 2344 2288 -2376 -2472 -2636 2572 -2300 2288 2348 2292 -2468 2448 -2540 -2344 -2492 2640 2492 -2340 2324 -2328 -2424 2308 2372 2356 -2332 -2408 -2508 -2576 2608 -2368 2496 2332 -2404 2608 -2496 2564 2640 2376 2588 -2588 2376 -2324 -2520 2444 -2424 -2632 2280 2464 -2496 -2292 2324 -2380 2592 -2344 2544 -2480 -2572 2288 2440 2404 2284 2448 -2492 2632 -2588 2496 2456 -2484 -2620 2576 -2320 -2352 -2596 -2564 -2520 2388 -2292 -2512 -2640 -2616 -2608 2484 -2608 2416 -2568 2512 2520 -2600 -2324 2568 -2444 2456 -2344 2496 -2316 -2284 2380 -2324 2328 2484 -2320 -2496 2632 -2640 -2444 2280 2472 -2608 2284 2548 -2588 -2516 -2404 -2456 2344 -2328 2432 -2428 2348 -2496 2304 -2324 -2292 2596 2612 -2572 2592 -2364 -2300 2324 -2632 2280 2584 2632 -2624 2576 2284 -2576 -2620 2436 -2424 -2332 2288 2332 -2640 2392 2324 2596 -2496 -2344 -2456 2344 2356 -2448 2572 2476 -2436 -2484 -2352 -2388 2408 -2300 -2360 2280 2428 2584 2324 -2368 -2528 -2332 -2640 -2500 -2436 2596 2456 -2576 2320 2280 -2408 -2292 2588 2600 -2452 -2608 2540 -2640 2600 -2284 -2580 2580 -2304 2348 2480 -2284 2288 -2352 -2404 2324 -2372 -2400 -2280 -2588 2640 2416 2296 -2376 -2520 2636 -2508 2616 2432 2380 2336 2492 -2548 -2292 2380 -2328 -2524 2620 -2492 -2288 2384 2608 2336 2624 2572 2468 -2340 -2436 2280 -2608 2640 2528 2640 -2420 -2600 -2524 2380 -2480 -2544 -2568 -2288 2640 -2336 2456 2592 2288 2428 -2368 -2496 -2572 -2448 -2312 2576 -2588 2640 2440 2444 -2636 -2532 2448 2312 -2324 2292 -2424 -2380 -2420 2540 2284 2364 -2404 -2472 2608 2572 -2596 2492 -2580 -2608 -2356 2356 -2532 -2596 2468 -2324 -2620 2384 2436 2320 -2600 -2524 2428 2620 -2508 -2616 2548 2308 -2456 -2280 -2336 2588 -2436 -2384 -2320 -2584 -2288 2368 -2600 2280 2384 2316 -2568 -2296 2288 2600 -2304 -2444 -2544 2452 -2324 -2580 2284 -2636 -2472 2336 -2468 2488 2624 -2332 2312 -2572 2460 -2424 -2396 -2452 2560 -2596 -2508 2624 -2444 -2592 -2608 -2632 -2324 2564 2468 -2392 -2620 2320 -2448 2500 -2576 2320 -2296 2340 2596 2436 -2292 2508 2504 2632 -2524 -2616 2332 2592 2624 -2388 -2328 -2376 2428 -2332 2588 2456 -2576 2448 -2280 2340 2524 2368 -2328 -2508 2280 -2444 -2640 2508 -2440 -2420 2472 2444 2640 2492 2432 2336 2332 2284 2520 2368 -2408 2636 2448 -2636 -2532 -2328 -2640 2280 2328 2280 -2288 2384 2492 -2632 2520 2604 -2352 -2340 2328 2628 -2284 -2432 -2320 2560 -2564 -2320 -2620 2304 2552 2288 2304 -2632 -2376 -2340 -2280 2548 -2316 -2588 -2480 -2444 2400 2320 -2532 -2572 2280 2620 -2280 -2620 2640 2320 -2500 2364 2564 -2640 -2324 2508 2292 2584 -2588 -2420 -2592 2556 2280 -2576 2292 2328 2636 -2284 -2608 2596 2312 -2508 -2536 -2288 -2292 2376 2412 2316 -2540 -2592 -2440 -2280 2288 -2628 -2616 -2368 -2548 -2360 2484 2284 2632 2500 2496 2596 2444 -2284 2288 2432 -2452 2528 2280 -2460 -2344 2616 2540 -2332 2612 -2376 2492 -2328 2608 2328 -2600 -2340 2436 2392 2628 -2524 -2420 -2540 -2292 -2296 -2600 2552 -2640 -2500 2292 2564 2452 2476 2440 2572 2568 2288 -2320 -2280 -2468 2528 2596 2296 2572 2340 2592 2596 -2588 2544 2460 2512 2532 -2516 -2308 -2388 -2480 -2636 -2592 2636 2600 2412 -2556 -2304 2292 -2320 2552 -2332 -2584 2280 2304 2328 -2348 2376 2480 2400 -2476 -2504 -2544 2488 -2596 -2628 2320 2284 -2640 -2640 -2596 2480 -2428 2596 -2640 -2492 -2484 -2280 -2332 2476 2636 -2280 2368 -2284 -2632 2428 -2316 2464 -2280 -2360 -2428 2348 2600 -2572 2560 -2320 2596 -2640 -2292 2344 2284 -2632 -2536 2604 2596 2508 -2360 2316 2440 -2320 2588 -2640 2280 -2484 2600 2548 -2508 2492 -2616 2364 -2640 -2584 -2520 -2544 2320 2340 2388 2640 2400 -2600 2592 2436 2284 -2604 -2568 2460 -2588 2376 -2384 -2432 2624 -2588 -2520 -2592 2624 2624 -2280 -2600 -2640 2320 -2388 -2332 2640 -2596 2328 2284 -2532 2500 2288 -2384 2592 -2624 -2304 -2428 2384 2616 -2304 -2492 2444 -2488 2572 2356 2336 2412 2600 -2636 2320 -2408 -2496 -2588 2572 2292 -2352 2284 2448 -2308 -2376 -2416 2576 -2492 2284 2344 2616 -2560 2324 2384 -2600 -2468 2344 2288 -2300 2464 -2592 2348 -2292 -2408 2380 2632 2324 2404 2444 -2632 2484 2340 2320 -2404 -2504 -2616 -2344 2436 2452 -2448 2556 -2432 -2300 -2524 -2356 -2628 -2640 -2568 2280 2476 -2428 2476 2640 -2624 2284 2396 2296 -2336 2288 -2392 2548 2592 2320 -2376 2468 -2636 2620 2572 -2588 2300 2452 -2496 -2412 -2444 -2384 2616 -2312 2516 -2372 -2428 -2584 2388 2456 2580 -2624 -2576 -2320 2420 2568 2320 2392 2428 2496 -2440 -2548 -2344 -2436 -2284 2304 -2624 -2544 -2464 2444 2640 -2596 2280 2292 2488 -2444 2284 2544 2524 -2488 -2580 -2408 -2428 -2604 -2368 -2336 -2340 2496 -2440 -2280 2576 2456 2336 2540 2640 -2424 -2344 -2524 2512 -2296 -2352 2568 -2592 -2284 2596 -2296 2440 -2556 2504 2360 -2444 2280 -2560 2288 2408 2284 2480 2512 -2360 2584 2516 2596 -2580 -2472 -2488 2320 2584 2412 2576 2392 2280 2432 2280 -2464 2344 2612 -2636 -2592 -2632 2548 -2640 2636 -2416 -2420 2576 2292 2416 -2336 -2356 -2628 -2544 -2292 -2308 2320 -2512 2280 2616 2456 -2596 2636 2632 -2640 2484 2452 2284 2624 2396 2336 2592 -2620 -2388 -2332 -2516 2596 -2400 -2612 2512 2328 2280 2324 -2316 2600 2536 -2596 -2460 2620 -2600 -2332 2284 2468 2440 2292 2356 2324 2640 2280 2336 2436 -2304 -2624 -2296 -2556 -2512 2576 2592 -2284 2504 2336 -2592 2572 2520 2472 2300 2640 2632 2388 2584 -2624 2640 -2288 -2320 -2616 2456 2568 2608 -2584 2528 -2416 -2324 2376 -2320 2604 -2416 -2332 -2360 -2636 2320 2632 -2324 2320 2372 -2600 -2444 -2432 -2332 2296 -2320 -2324 -2508 -2592 2428 2500 -2636 -2292 -2288 2324 -2300 -2640 -2352 -2364 2428 -2600 2640 -2444 -2328 2360 -2280 -2280 2408 2632 -2500 2504 -2316 -2380 -2424 2512 -2332 -2328 2492 2280 2280 2516 2360 2632 2284 -2280 -2640 2288 -2580 2404 -2596 -2640 -2356 2284 -2632 -2292 -2628 2332 2452 -2508 2600 2544 2580 -2452 -2320 2288 -2512 2344 2404 2456 -2296 2540 2616 -2640 -2288 -2332 2392 2288 2560 2612 -2280 -2504 2612 2360 -2324 -2492 2640 -2600 2348 -2328 2492 -2628 2372 -2524 2324 -2284 -2408 -2600 2320 2492 -2512 -2392 -2380 -2536 -2292 2444 -2388 2452 2328 -2444 2588 -2576 2424 2496 -2600 -2328 -2360 2528 -2384 2628 -2324 -2296 -2284 2344 2524 -2600 2292 -2448 -2504 -2640 -2508 -2532 2288 2528 -2324 2572 2492 2568 2328 2332 -2324 -2552 -2596 -2636 -2548 2640 2436 2596 2408 2616 -2560 -2564 -2360 -2452 2596 2380 2292 2448 2284 2584 2292 2464 2636 -2380 2536 2420 2572 2492 2288 -2548 -2312 -2428 2636 -2468 -2320 -2432 -2524 -2596 -2288 2344 2400 2584 2356 -2616 -2436 2328 2552 2560 -2592 2492 2640 2544 -2528 -2328 -2328 2448 -2336 2640 2332 2632 -2620 -2528 2444 2564 -2620 2324 2596 2344 2572 -2288 2288 2640 -2612 -2356 -2320 2472 -2520 -2476 2284 -2292 -2416 -2452 2568 2540 -2388 2324 2336 2312 2332 2356 2568 2584 -2640 2492 2348 -2280 2536 -2532 -2408 2280 2628 2476 2328 -2636 -2636 -2376 2592 -2328 2556 -2336 -2320 -2380 2540 2556 -2316 -2376 -2464 2600 -2396 -2324 2364 -2452 2452 -2364 -2376 -2280 -2476 2324 2640 2568 -2360 -2620 -2524 -2556 2392 2520 -2500 -2636 2488 2320 -2324 -2600 -2348 2348 -2280 -2508 2288 -2320 -2400 -2456 2468 2524 -2324 2348 2324 -2628 -2568 -2416 -2456 2460 -2316 2324 -2640 -2548 -2532 -2440 -2332 -2584 2448 2640 2352 -2596 2600 -2520 2628 -2424 2416 -2392 2608 2508 -2492 2292 -2424 -2388 2312 2396 -2584 -2572 2548 -2492 2404 2560 2356 2352 -2564 -2284 2336 -2560 -2472 2296 -2576 2396 -2396 2320 -2412 -2396 2332 -2392 -2516 -2408 2284 -2408 -2484 -2560 -2340 2320 -2620 2524 2488 -2476 2640 2388 -2620 -2428 2352 -2396 -2600 -2640 2628 2552 2588 2320 -2528 2588 2288 2396 2420 -2628 -2280 2320 -2336 -2472 2640 -2580 -2392 2324 -2596 -2572 2588 -2576 2364 -2400 -2308 2556 2592 2536 2584 -2332 -2568 2620 2324 -2556 2344 2424 2284 2356 2280 -2404 2440 -2292 2628 -2480 -2476 2504 2628 2464 -2388 -2396 -2640 2484 2316 -2632 -2504 -2372 -2496 -2588 2456 -2568 2404 -2284 -2420 -2636 -2284 2376 -2548 -2284 2608 -2320 2436 -2428 -2324 -2284 -2392 2592 2468 2292 2524 -2640 2480 -2308 -2416 2424 2332 -2404 2412 2620 -2632 -2320 2640 -2576 2484 2452 2412 -2404 2408 -2324 -2360 -2548 -2348 2292 2284 2508 2280 -2600 -2564 2628 2576 2388 -2296 -2348 -2388 -2356 2280 -2484 2300 -2288 -2280 2584 -2280 2636 -2364 2308 2288 -2576 2356 2560 -2280 2328 -2332 2596 -2428 2396 2608 -2568 2516 2600 2604 -2424 -2568 -2336 -2604 -2532 -2396 -2424 -2564 -2600 -2636 2416 2636 2288 -2416 -2344 -2292 2560 -2600 -2600 2536 -2628 -2608 2312 2564 2304 -2548 2528 -2440 -2508 -2600 -2360 -2536 2588 -2372 2280 -2592 2600 -2436 2408 2632 -2404 2408 2336 -2320 2484 -2588 2480 2600 2476 2320 2320 2304 2612 2400 -2568 -2544 2324 -2536 2444 2380 -2300 -2416 -2524 2372 -2296 2332 -2600 2584 -2320 2580 -2392 2312 2332 2480 -2280 -2320 2348 -2284 2356 2288 -2600 -2504 2280 2292 2588 -2564 -2596 -2600 -2636 -2344 -2284 -2328 2508 2336 2368 -2360 -2320 2612 -2320 2624 2600 2352 -2332 -2636 2636 -2472 -2456 -2436 2624 2636 -2596 -2600 -2596 2600 -2532 -2596 -2432 -2308 -2556 2596 -2632 -2296 2368 2352 -2564 2540 -2416 2580 2344 -2340 -2524 2628 2628 -2348 -2384 2572 -2292 -2636 -2328 -2500 2328 2284 -2592 -2544 2604 -2332 2584 2420 -2612 2308 -2580 2476 2400 -2548 -2536 2412 -2480 -2564 2328 2496 -2588 2320 2328 -2596 -2280 -2432 2352 2376 2332 2532 2600 -2460 -2320 -2416 2456 -2608 -2484 2280 2316 -2284 -2632 2464 2564 2564 -2288 -2412 2456 2496 -2524 -2320 -2508 2316 -2504 2596 -2380 2296 -2304 2304 -2324 -2640 2600 2600 2280 2292 -2316 2584 2580 -2508 -2320 -2608 -2392 2344 2308 -2540 2612 2464 2320 2280 2460 -2464 -2472 -2524 2564 -2420 -2368 2596 2432 2436 -2316 -2480 2484 2460 2536 -2436 2336 -2368 2344 -2364 2472 -2392 2280 -2496 2616 -2616 2600 2328 -2540 2576 -2320 -2640 -2484 2628 -2452 2628 2524 -2280 -2324 2280 -2280 -2636 2476 -2500 -2280 2596 2320 2556 -2488 -2624 -2480 2320 2592 2280 2584 -2596 -2288 2420 2320 2468 2404 -2280 -2468 2640 2632 2608 -2352 2640 2464 2512 -2416 2448 -2484 -2608 2616 2316 -2484 -2428 -2584 -2460 2592 2368 -2536 2508 2640 2528 -2340 -2568 2284 -2336 -2472 -2636 -2300 -2384 -2352 2444 2432 -2536 -2332 2320 -2332 -2592 -2632 -2452 -2640 -2324 2400 -2488 2296 -2412 -2312 2320 2432 -2628 -2356 -2624 -2304 -2464 -2492 -2328 2292 2600 -2284 -2456 -2280 2456 2596 2420 -2632 -2288 2280 2624 2336 2532 -2328 -2408 -2640 2440 2420 -2460 2444 2616 -2572 2328 -2624 2628 2572 2380 -2324 2500 -2508 -2292 -2404 -2448 -2636 -2636 2472 -2280 2500 2524 2380 -2424 -2280 -2548 2496 2636 -2504 -2596 2584 2332 -2560 -2316 2556 -2364 -2340 2288 2412 -2324 -2284 -2584 2356 -2640 -2396 -2504 2592 -2592 -2512 -2324 -2308 2468 -2484 -2320 2428 2636 -2304 -2532 2368 2524 2464 -2528 -2284 2384 -2624 2616 -2300 -2412 -2436 2548 2328 2324 -2508 -2384 2304 2332 -2320 -2304 -2300 -2560 2600 -2320 2280 2568 2564 2548 -2432 2400 -2620 2628 -2348 -2336 2352 -2476 2536 2436 -2548 2512 2424 2332 2524 -2348 -2348 2596 -2520 -2320 -2288 2592 2508 -2512 2592 -2416 2640 -2600 -2556 -2360 -2428 -2548 -2576 -2288 2632 2492 2420 -2576 -2524 -2628 -2440 2576 -2356 2592 2336 -2472 -2624 -2544 -2580 2548 -2288 2524 -2412 -2320 -2624 2628 2456 2304 2640 -2564 -2340 2452 -2620 2284 -2484 2312 -2324 2592 -2524 -2596 -2488 2416 -2288 -2508 2564 -2296 -2304 2304 -2492 -2384 -2320 2492 -2372 2400 2280 -2496 2356 2560 2640 2544 -2624 -2640 -2448 2428 2608 2364 2640 2580 -2324 -2388 2280 -2484 -2588 2572 2328 -2320 -2364 -2568 -2552 2476 2600 -2580 2640 -2636 -2544 2456 2604 -2396 2628 2364 -2484 2328 2432 -2308 -2280 -2532 -2284 -2380 2620 2304 2624 2492 2640 2600 2568 2472 2456 2540 -2364 2308 2300 2468 -2288 2444 2388 -2568 2312 -2464 2468 2320 -2284 -2420 2600 2404 -2532 2464 -2600 -2500 -2640 -2320 2592 -2328 -2584 2332 2320 -2636 2332 2288 -2600 2376 -2636 -2452 2280 -2448 -2496 -2460 2444 -2376 2600 2392 -2352 -2336 -2484 2280 -2568 2592 -2640 2600 -2576 2544 -2580 -2376 2564 2640 -2532 -2424 2516 -2368 -2328 -2348 2332 2448 2460 2320 2632 2440 -2320 2472 -2328 2516 2548 -2328 2292 -2636 -2612 2572 2340 2288 2452 -2636 2288 2600 2500 2280 2328 -2600 2308 2452 2512 2284 -2568 -2636 -2336 2296 2436 -2492 -2524 2328 2284 -2376 -2488 -2592 2356 2632 -2640 2328 -2512 2636 -2392 2300 2576 2564 2280 -2400 -2284 2296 2556 -2400 -2636 2328 -2556 2352 -2320 -2288 2320 2376 -2372 -2540 2340 2360 2600 -2428 -2384 2336 2288 2624 2460 -2344 2448 -2600 2600 -2640 -2320 2448 -2344 2600 2524 -2312 -2456 -2444 -2632 -2368 2280 -2488 2632 2608 2620 2280 -2580 -2456 -2580 -2584 2612 -2280 -2532 -2460 2320 -2592 -2336 -2560 -2592 -2632 -2380 -2452 -2600 2316 2324 -2528 2300 2292 -2384 -2588 -2636 -2444 2392 2632 -2532 2492 -2372 -2632 2640 -2356 -2328 -2308 -2552 -2436 -2588 2596 2384 -2388 2596 -2292 2404 -2420 -2292 -2572 2292 -2624 2564 -2324 -2552 2348 -2592 2284 2448 2352 -2636 2320 -2324 -2408 -2612 2480 2412 2284 -2472 -2420 2572 -2320 -2488 -2292 -2560 -2632 2548 -2588 2292 -2608 -2580 2632 -2408 -2476 2520 2292 2596 -2548 -2440 2536 2288 -2328 -2584 -2288 -2636 -2416 2436 -2564 2280 2484 2584 -2460 -2632 2448 -2400 -2372 -2540 2620 2508 2556 2588 2600 -2412 -2280 2596 2452 2640 2328 2548 -2548 -2340 2280 -2328 -2468 -2388 -2420 -2636 -2444 -2320 2596 -2596 -2424 -2600 -2432 2564 -2576 -2320 -2444 2328 -2636 2372 -2284 -2320 -2616 -2636 -2620 2548 2380 2388 -2460 -2392 -2584 -2476 2280 -2568 2596 2616 2348 2320 -2512 -2320 -2640 2320 2424 -2308 2472 2328 2640 2444 2356 -2332 2292 2332 -2600 -2512 -2440 -2452 2460 2600 -2280 -2416 2532 2280 -2396 -2324 2280 2580 2388 2316 2540 2280 -2500 2400 -2552 2632 -2592 -2308 2640 -2384 2320 -2444 2280 -2508 -2288 -2452 -2536 -2580 -2552 -2576 2336 2544 -2324 2464 2552 -2612 2360 2340 2580 2320 2448 2324 2284 -2600 -2288 -2476 2568 2628 -2600 -2608 2464 2596 2520 2448 -2296 2312 2292 -2548 -2532 2620 2308 2488 -2328 2476 2640 2428 2324 -2588 -2624 -2640 2432 -2536 2336 2332 2636 -2384 2524 2484 2336 2440 -2444 -2600 2460 -2340 2324 -2472 -2408 -2428 -2464 -2492 2352 2632 -2620 -2352 2288 -2460 2528 2328 2420 -2616 2548 -2592 -2344 -2280 2432 2568 2620 2432 -2420 -2396 -2296 2600 2408 2600 2280 -2324 -2364 -2564 -2532 -2404 2576 2344 -2520 -2304 -2452 2516 2576 2320 -2584 -2572 -2436 2484 2488 -2600 2424 -2284 2284 2396 2468 2328 2280 -2424 -2600 2444 -2288 -2280 -2560 2512 2512 2416 2416 -2376 -2592 -2320 2524 -2372 2564 -2528 -2288 -2504 -2584 -2320 2552 -2376 2376 2432 2540 -2360 -2480 2352 2388 -2600 2404 -2532 2344 2280 -2292 2340 -2324 2436 2332 -2368 -2324 -2356 -2600 2292 2576 2320 2444 2624 2420 2624 -2484 2520 -2468 -2328 2316 2280 2384 2568 -2500 -2420 2564 -2584 -2640 2480 -2328 -2344 -2372 -2280 -2600 2596 -2348 -2296 2352 -2580 -2612 2640 2584 -2552 -2320 2500 2580 2584 2284 -2356 2468 2320 2304 -2472 2428 2324 2280 2468 -2532 -2620 2412 2476 -2592 -2280 -2484 -2588 2460 2636 -2344 2312 2504 2628 2476 -2556
2080 unsatisfied constraints, 30941 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-275252-1169218893 -o ROOT/results/node16/solver-275252-1169218893 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275252-1169218893/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.93 1.99 1.93 4/99 15343 /proc/meminfo: memFree=1250096/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=18540 CPUtime=0 /proc/15342/stat : 15342 (runsolver) R 15340 15342 14627 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270284157 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/15342/statm: 4635 279 244 17 0 2626 0 [startup+0.110983 s] /proc/loadavg: 1.93 1.99 1.93 4/99 15343 /proc/meminfo: memFree=1250096/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=914988 CPUtime=0.09 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 3059 0 1 0 7 2 0 0 17 0 8 0 270284157 936947712 2805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155840664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228747 2805 1449 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.51991 s] /proc/loadavg: 1.93 1.99 1.93 4/99 15343 /proc/meminfo: memFree=1250096/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915332 CPUtime=0.5 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 7189 0 1 0 46 4 0 0 18 0 8 0 270284157 937299968 6928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596373 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228833 6928 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 915332 [startup+1.34876 s] /proc/loadavg: 1.94 1.99 1.93 4/106 15350 /proc/meminfo: memFree=1176376/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915612 CPUtime=1.31 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 22700 0 1 0 119 12 0 0 18 0 8 0 270284157 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228903 22437 2164 14 0 215373 0 [pid=15342/tid=15344] ppid=15340 vsize=915612 CPUtime=0.08 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 6141 0 0 0 7 1 0 0 16 0 8 0 270284161 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=915612 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=915612 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=915612 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=915612 CPUtime=0.16 /proc/15342/task/15348/stat : 15348 (java) R 15340 15342 14627 0 -1 64 402 0 0 0 15 1 0 0 19 0 8 0 270284165 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=915612 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=915612 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 915612 [startup+2.99044 s] /proc/loadavg: 1.94 1.99 1.93 3/106 15356 /proc/meminfo: memFree=1163256/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915744 CPUtime=2.94 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 24086 0 1 0 280 14 0 0 25 0 8 0 270284157 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228936 23820 2184 14 0 215406 0 [pid=15342/tid=15344] ppid=15340 vsize=915744 CPUtime=0.17 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 7448 0 0 0 15 2 0 0 16 0 8 0 270284161 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=915744 CPUtime=0.18 /proc/15342/task/15348/stat : 15348 (java) R 15340 15342 14627 0 -1 64 416 0 0 0 17 1 0 0 16 0 8 0 270284165 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153332519 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 915744 [startup+6.27183 s] /proc/loadavg: 2.02 2.01 1.93 3/106 15366 /proc/meminfo: memFree=1163000/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915744 CPUtime=6.18 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 24112 0 1 0 601 17 0 0 25 0 8 0 270284157 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228936 23843 2185 14 0 215406 0 [pid=15342/tid=15344] ppid=15340 vsize=915744 CPUtime=0.17 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 7448 0 0 0 15 2 0 0 17 0 8 0 270284161 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=915744 CPUtime=0.21 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 438 0 0 0 20 1 0 0 16 0 8 0 270284165 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 915744 [startup+12.7636 s] /proc/loadavg: 2.02 2.01 1.93 3/106 15388 /proc/meminfo: memFree=1156920/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915744 CPUtime=12.59 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 25672 0 1 0 1221 38 0 0 25 0 8 0 270284157 937721856 25400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228936 25400 2185 14 0 215406 0 [pid=15342/tid=15344] ppid=15340 vsize=915744 CPUtime=0.24 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 8998 0 0 0 21 3 0 0 16 0 8 0 270284161 937721856 25400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 25400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 25400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937721856 25400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=915744 CPUtime=0.22 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 445 0 0 0 21 1 0 0 15 0 8 0 270284165 937721856 25400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937721856 25400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937721856 25400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 915744 [startup+25.6262 s] /proc/loadavg: 2.02 2.01 1.93 3/106 15400 /proc/meminfo: memFree=1138552/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915744 CPUtime=25.34 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 27836 0 1 0 2429 105 0 0 25 0 8 0 270284157 937721856 27563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7531420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228936 27563 2185 14 0 215406 0 [pid=15342/tid=15344] ppid=15340 vsize=915744 CPUtime=0.35 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 11158 0 0 0 32 3 0 0 16 0 8 0 270284161 937721856 27563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 27563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 27563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937721856 27563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=915744 CPUtime=0.23 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 448 0 0 0 22 1 0 0 16 0 8 0 270284165 937721856 27563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937721856 27563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937721856 27563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 915744 [startup+51.2524 s] /proc/loadavg: 2.01 2.00 1.93 3/100 15430 /proc/meminfo: memFree=1107896/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915744 CPUtime=50.62 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 34094 0 1 0 4885 177 0 0 25 0 8 0 270284157 937721856 33766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228936 33766 2504 14 0 215406 0 [pid=15342/tid=15344] ppid=15340 vsize=915744 CPUtime=0.88 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 17036 0 0 0 82 6 0 0 16 0 8 0 270284161 937721856 33766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 33766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 33766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937721856 33766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=915744 CPUtime=0.29 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 476 0 0 0 27 2 0 0 16 0 8 0 270284165 937721856 33766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937721856 33766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937721856 33766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.62 Current children cumulated vsize (KiB) 915744 [startup+102.494 s] /proc/loadavg: 2.00 2.00 1.93 3/100 15430 /proc/meminfo: memFree=1075576/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915744 CPUtime=101.35 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 34096 0 1 0 9940 195 0 0 25 0 8 0 270284157 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 228936 33768 2504 14 0 215406 0 [pid=15342/tid=15344] ppid=15340 vsize=915744 CPUtime=0.88 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 17036 0 0 0 82 6 0 0 16 0 8 0 270284161 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=915744 CPUtime=0.29 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 478 0 0 0 27 2 0 0 16 0 8 0 270284165 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=915744 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.35 Current children cumulated vsize (KiB) 915744 [startup+162.597 s] /proc/loadavg: 2.00 2.00 1.93 3/100 15430 /proc/meminfo: memFree=1075576/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=915744 CPUtime=160.9 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 34096 0 1 0 15889 201 0 0 25 0 8 0 270284157 937721856 33768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2006.87 Current children cumulated vsize (KiB) 916012 [startup+2085.2 s] /proc/loadavg: 2.03 2.03 2.00 3/100 15432 /proc/meminfo: memFree=939512/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=916012 CPUtime=2066.41 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 38541 0 1 0 206394 247 0 0 25 0 8 0 270284157 937996288 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074294891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 229003 38199 2549 14 0 215473 0 [pid=15342/tid=15344] ppid=15340 vsize=916012 CPUtime=0.93 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 21249 0 0 0 85 8 0 0 16 0 8 0 270284161 937996288 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937996288 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=916012 CPUtime=0.41 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 617 0 0 0 39 2 0 0 16 0 8 0 270284165 937996288 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937996288 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937996288 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2066.41 Current children cumulated vsize (KiB) 916012 [startup+2145.28 s] /proc/loadavg: 2.07 2.04 2.00 3/100 15432 /proc/meminfo: memFree=939512/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=916012 CPUtime=2125.97 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 38542 0 1 0 212349 248 0 0 25 0 8 0 270284157 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074270474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 229003 38200 2549 14 0 215473 0 [pid=15342/tid=15344] ppid=15340 vsize=916012 CPUtime=0.93 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 21249 0 0 0 85 8 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=916012 CPUtime=0.42 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 618 0 0 0 39 3 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2125.97 Current children cumulated vsize (KiB) 916012 [startup+2205.38 s] /proc/loadavg: 2.02 2.03 2.00 3/100 15432 /proc/meminfo: memFree=939448/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=916012 CPUtime=2185.52 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 38542 0 1 0 218304 248 0 0 25 0 8 0 270284157 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 229003 38200 2549 14 0 215473 0 [pid=15342/tid=15344] ppid=15340 vsize=916012 CPUtime=0.93 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 21249 0 0 0 85 8 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=916012 CPUtime=0.42 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 618 0 0 0 39 3 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2185.52 Current children cumulated vsize (KiB) 916012 [startup+2265.47 s] /proc/loadavg: 2.01 2.02 2.00 3/100 15432 /proc/meminfo: memFree=939448/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=916012 CPUtime=2245.09 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 38542 0 1 0 224260 249 0 0 25 0 8 0 270284157 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 229003 38200 2549 14 0 215473 0 [pid=15342/tid=15344] ppid=15340 vsize=916012 CPUtime=0.93 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 21249 0 0 0 85 8 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=916012 CPUtime=0.42 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 618 0 0 0 39 3 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2245.09 Current children cumulated vsize (KiB) 916012 [startup+2325.57 s] /proc/loadavg: 2.00 2.01 2.00 5/100 15432 /proc/meminfo: memFree=939448/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=916012 CPUtime=2304.66 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 38542 0 1 0 230217 249 0 0 25 0 8 0 270284157 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074270402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 229003 38200 2549 14 0 215473 0 [pid=15342/tid=15344] ppid=15340 vsize=916012 CPUtime=0.93 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 21249 0 0 0 85 8 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=916012 CPUtime=0.42 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 618 0 0 0 39 3 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2304.66 Current children cumulated vsize (KiB) 916012 [startup+2385.67 s] /proc/loadavg: 2.00 2.01 2.00 3/100 15432 /proc/meminfo: memFree=939448/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=916012 CPUtime=2364.23 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 38542 0 1 0 236173 250 0 0 25 0 8 0 270284157 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289469 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15342/statm: 229003 38200 2549 14 0 215473 0 [pid=15342/tid=15344] ppid=15340 vsize=916012 CPUtime=0.93 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 21249 0 0 0 85 8 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=916012 CPUtime=0.42 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 618 0 0 0 39 3 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2364.23 Current children cumulated vsize (KiB) 916012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2421.58 s] /proc/loadavg: 2.06 2.02 2.00 3/94 15510 /proc/meminfo: memFree=1206952/2055920 swapFree=4191880/4192956 [pid=15342] ppid=15340 vsize=916012 CPUtime=2400 /proc/15342/stat : 15342 (java) R 15340 15342 14627 0 -1 0 38542 0 1 0 239745 255 0 0 25 0 8 0 270284157 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15342/statm: 229003 38200 2549 14 0 215473 0 [pid=15342/tid=15344] ppid=15340 vsize=916012 CPUtime=0.93 /proc/15342/task/15344/stat : 15344 (java) S 15340 15342 14627 0 -1 64 21249 0 0 0 85 8 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15345] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15345/stat : 15345 (java) S 15340 15342 14627 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15346] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15346/stat : 15346 (java) S 15340 15342 14627 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284161 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15347] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15347/stat : 15347 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15348] ppid=15340 vsize=916012 CPUtime=0.42 /proc/15342/task/15348/stat : 15348 (java) S 15340 15342 14627 0 -1 64 618 0 0 0 39 3 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15349] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15349/stat : 15349 (java) S 15340 15342 14627 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15342/tid=15350] ppid=15340 vsize=916012 CPUtime=0 /proc/15342/task/15350/stat : 15350 (java) S 15340 15342 14627 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270284165 937996288 38200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 916012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2421.66 CPU time (s): 2400.09 CPU user time (s): 2397.51 CPU system time (s): 2.58161 CPU usage (%): 99.1093 Max. virtual memory (cumulated for all children) (KiB): 916012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.51 system time used= 2.58161 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38567 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= 50658 involuntary context switches= 138347 runsolver used 3.03354 s user time and 7.8998 s system time The end
Begin job on node16 on Fri Jan 19 15:01:33 UTC 2007 IDJOB= 275252 IDBENCH= 3740 IDSOLVER= 68 FILE ID= node16/275252-1169218893 PBS_JOBID= 3588909 Free space on /tmp= 66551 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-2.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275252-1169218893/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-275252-1169218893 -o ROOT/results/node16/solver-275252-1169218893 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275252-1169218893/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= e329d2fbebc2b014e1808d90bbd1aefe RANDOM SEED= 952423598 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.220 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.220 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1250576 kB Buffers: 42640 kB Cached: 540600 kB SwapCached: 268 kB Active: 339500 kB Inactive: 391456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1250576 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 13748 kB Writeback: 0 kB Mapped: 175764 kB Slab: 58404 kB Committed_AS: 8001684 kB PageTables: 2836 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 node16 on Fri Jan 19 15:41:55 UTC 2007