Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.14 | 2401.25 |
| 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=pfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275253-1169218900/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.69 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.69 => wckTime=0.37 cpuTime=0.26 mem=27M382 0.69 0.69 predicates being loaded... 0.69 0.69 constraints being loaded... 33.25 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=88179951 nbExtensionStructures=5389 33.25 nbSharedExtensionStructures=27632 nbConflictsStructures=5389 nbSharedConflictsStructures=27632 33.25 nbSharedBinaryRepresentations=1410469 maxDegree=29 maxArity=2 33.25 => wckTime=32.933 cpuTime=31.95 mem=65M61 33.56 33.56 solver LocalSearchSolver being built... 33.60 => wckTime=33.288 cpuTime=32.0 mem=63M244 33.69 33.69 s SATISFIABLE 33.69 o 25762 33.69 c 7259 33.71 o 25769 33.71 c 7252 33.72 o 25780 33.72 c 7241 33.73 o 25787 33.73 c 7234 33.74 o 25793 33.74 c 7228 33.75 o 25799 33.75 c 7222 33.76 o 25804 33.76 c 7217 33.77 o 25809 33.77 c 7212 33.78 o 25814 33.78 c 7207 33.79 o 25824 33.79 c 7197 33.80 o 25834 33.80 c 7187 33.82 o 25842 33.82 c 7179 33.83 o 25849 33.83 c 7172 33.84 o 25856 33.84 c 7165 33.85 o 25862 33.85 c 7159 33.86 o 25868 33.86 c 7153 33.87 o 25873 33.87 c 7148 33.89 o 25877 33.89 c 7144 33.90 o 25881 33.90 c 7140 33.91 o 25885 33.91 c 7136 33.92 o 25888 33.92 c 7133 33.93 o 25891 33.93 c 7130 33.94 o 25894 33.94 c 7127 33.95 o 25897 33.95 c 7124 33.96 o 25899 33.96 c 7122 33.97 o 25901 33.97 c 7120 33.98 o 25903 33.98 c 7118 33.98 o 25904 33.98 c 7117 34.00 o 25907 34.00 c 7114 34.02 o 25917 34.02 c 7104 34.03 o 25925 34.03 c 7096 34.04 o 25933 34.04 c 7088 34.06 o 25941 34.06 c 7080 34.07 o 25948 34.07 c 7073 34.08 o 25955 34.08 c 7066 34.10 o 25962 34.10 c 7059 34.11 o 25968 34.11 c 7053 34.12 o 25974 34.12 c 7047 34.14 o 25980 34.14 c 7041 34.15 o 25985 34.15 c 7036 34.16 o 25990 34.16 c 7031 34.17 o 25994 34.17 c 7027 34.18 o 25998 34.18 c 7023 34.20 o 26002 34.20 c 7019 34.21 o 26006 34.21 c 7015 34.22 o 26010 34.22 c 7011 34.23 o 26013 34.23 c 7008 34.24 o 26016 34.24 c 7005 34.25 o 26019 34.25 c 7002 34.26 o 26022 34.26 c 6999 34.27 o 26024 34.27 c 6997 34.28 o 26026 34.28 c 6995 34.28 o 26028 34.28 c 6993 34.29 o 26030 34.29 c 6991 34.30 o 26032 34.30 c 6989 34.31 o 26040 34.31 c 6981 34.33 o 26045 34.33 c 6976 34.34 o 26047 34.34 c 6974 34.36 o 26052 34.36 c 6969 34.37 o 26059 34.37 c 6962 34.39 o 26066 34.39 c 6955 34.41 o 26073 34.41 c 6948 34.43 o 26079 34.43 c 6942 34.45 o 26085 34.45 c 6936 34.46 o 26091 34.46 c 6930 34.48 o 26097 34.48 c 6924 34.50 o 26102 34.50 c 6919 34.52 o 26107 34.52 c 6914 34.54 o 26112 34.54 c 6909 34.55 o 26117 34.55 c 6904 34.57 o 26122 34.57 c 6899 34.58 o 26127 34.58 c 6894 34.60 o 26132 34.60 c 6889 34.62 o 26137 34.62 c 6884 34.63 o 26142 34.63 c 6879 34.65 o 26146 34.65 c 6875 34.66 o 26150 34.66 c 6871 34.67 o 26154 34.67 c 6867 34.69 o 26158 34.69 c 6863 34.70 o 26162 34.70 c 6859 34.72 o 26166 34.72 c 6855 34.73 o 26169 34.73 c 6852 34.74 o 26172 34.74 c 6849 34.76 o 26175 34.76 c 6846 34.77 o 26178 34.77 c 6843 34.79 o 26181 34.79 c 6840 34.80 o 26184 34.80 c 6837 34.81 o 26189 34.81 c 6832 34.82 o 26192 34.82 c 6829 34.83 o 26195 34.84 c 6826 34.85 o 26198 34.85 c 6823 34.86 o 26201 34.86 c 6820 34.87 o 26204 34.87 c 6817 34.88 o 26207 34.88 c 6814 34.89 o 26210 34.89 c 6811 34.90 o 26213 34.90 c 6808 34.91 o 26215 34.91 c 6806 34.92 o 26217 34.92 c 6804 34.93 o 26219 34.93 c 6802 34.94 o 26221 34.94 c 6800 34.95 o 26222 34.95 c 6799 34.96 o 26223 34.96 c 6798 34.97 o 26224 34.97 c 6797 34.98 o 26228 34.98 c 6793 34.99 o 26233 34.99 c 6788 35.00 o 26234 35.00 c 6787 35.01 o 26238 35.01 c 6783 35.02 o 26243 35.02 c 6778 35.03 o 26246 35.03 c 6775 35.04 o 26249 35.04 c 6772 35.05 o 26255 35.05 c 6766 35.06 o 26258 35.06 c 6763 35.07 o 26261 35.07 c 6760 35.11 o 26263 35.11 c 6758 35.12 o 26268 35.12 c 6753 35.13 o 26272 35.13 c 6749 35.15 o 26275 35.15 c 6746 35.16 o 26277 35.16 c 6744 35.18 o 26281 35.18 c 6740 35.21 o 26289 35.21 c 6732 35.23 o 26296 35.23 c 6725 35.25 o 26300 35.25 c 6721 35.27 o 26303 35.27 c 6718 35.29 o 26308 35.29 c 6713 35.31 o 26315 35.31 c 6706 35.33 o 26322 35.33 c 6699 35.35 o 26329 35.35 c 6692 35.38 o 26335 35.38 c 6686 35.40 o 26341 35.40 c 6680 35.42 o 26343 35.42 c 6678 35.45 o 26349 35.45 c 6672 35.47 o 26355 35.47 c 6666 35.50 o 26361 35.50 c 6660 35.52 o 26367 35.52 c 6654 35.54 o 26373 35.54 c 6648 35.57 o 26379 35.57 c 6642 35.59 o 26385 35.59 c 6636 35.61 o 26391 35.61 c 6630 35.63 o 26392 35.63 c 6629 35.66 o 26398 35.66 c 6623 35.68 o 26403 35.68 c 6618 35.70 o 26408 35.70 c 6613 35.73 o 26413 35.73 c 6608 35.75 o 26420 35.75 c 6601 35.77 o 26425 35.77 c 6596 35.80 o 26430 35.80 c 6591 35.82 o 26435 35.82 c 6586 35.84 o 26440 35.84 c 6581 35.86 o 26442 35.86 c 6579 35.88 o 26447 35.88 c 6574 35.91 o 26451 35.91 c 6570 35.93 o 26455 35.93 c 6566 35.95 o 26459 35.95 c 6562 35.97 o 26467 35.97 c 6554 35.99 o 26471 35.99 c 6550 36.01 o 26475 36.01 c 6546 36.03 o 26479 36.03 c 6542 36.05 o 26483 36.05 c 6538 36.07 o 26487 36.07 c 6534 36.09 o 26491 36.09 c 6530 36.11 o 26495 36.11 c 6526 36.13 o 26499 36.13 c 6522 36.15 o 26503 36.15 c 6518 36.16 o 26507 36.16 c 6514 36.19 o 26511 36.19 c 6510 36.20 o 26515 36.20 c 6506 36.22 o 26518 36.22 c 6503 36.24 o 26521 36.24 c 6500 36.26 o 26524 36.26 c 6497 36.28 o 26527 36.28 c 6494 36.29 o 26530 36.29 c 6491 36.31 o 26533 36.31 c 6488 36.33 o 26536 36.33 c 6485 36.34 o 26539 36.34 c 6482 36.36 o 26542 36.36 c 6479 36.38 o 26545 36.38 c 6476 36.39 o 26548 36.39 c 6473 36.41 o 26550 36.41 c 6471 36.43 o 26552 36.43 c 6469 36.44 o 26554 36.44 c 6467 36.46 o 26556 36.46 c 6465 36.47 o 26558 36.47 c 6463 36.49 o 26560 36.49 c 6461 36.50 o 26562 36.50 c 6459 36.51 o 26564 36.51 c 6457 36.53 o 26566 36.53 c 6455 36.54 o 26568 36.54 c 6453 36.56 o 26570 36.56 c 6451 36.57 o 26571 36.57 c 6450 36.58 o 26572 36.58 c 6449 36.60 o 26573 36.60 c 6448 36.61 o 26574 36.61 c 6447 36.62 o 26575 36.62 c 6446 36.69 o 26579 36.69 c 6442 36.70 o 26582 36.70 c 6439 36.72 o 26590 36.72 c 6431 36.73 o 26596 36.73 c 6425 36.74 o 26600 36.74 c 6421 36.76 o 26604 36.76 c 6417 36.77 o 26607 36.77 c 6414 36.78 o 26613 36.78 c 6408 36.78 o 26617 36.79 c 6404 36.79 o 26618 36.79 c 6403 36.81 o 26620 36.81 c 6401 36.82 o 26626 36.82 c 6395 36.83 o 26627 36.83 c 6394 36.85 o 26632 36.85 c 6389 36.86 o 26639 36.86 c 6382 36.87 o 26642 36.87 c 6379 36.87 o 26645 36.87 c 6376 36.88 o 26646 36.88 c 6375 36.89 o 26648 36.89 c 6373 36.90 o 26652 36.90 c 6369 36.91 o 26653 36.91 c 6368 36.92 o 26654 36.92 c 6367 36.94 o 26656 36.94 c 6365 36.95 o 26660 36.95 c 6361 36.96 o 26665 36.96 c 6356 36.97 o 26667 36.97 c 6354 36.99 o 26670 36.99 c 6351 37.00 o 26672 37.00 c 6349 37.01 o 26674 37.01 c 6347 37.02 o 26680 37.02 c 6341 37.04 o 26685 37.04 c 6336 37.05 o 26690 37.05 c 6331 37.06 o 26694 37.06 c 6327 37.08 o 26697 37.08 c 6324 37.09 o 26703 37.09 c 6318 37.11 o 26706 37.11 c 6315 37.13 o 26711 37.13 c 6310 37.15 o 26716 37.15 c 6305 37.16 o 26720 37.16 c 6301 37.18 o 26725 37.18 c 6296 37.19 o 26731 37.19 c 6290 37.22 o 26737 37.22 c 6284 37.24 o 26743 37.24 c 6278 37.27 o 26749 37.27 c 6272 37.30 o 26754 37.30 c 6267 37.33 o 26759 37.33 c 6262 37.36 o 26764 37.36 c 6257 37.39 o 26769 37.39 c 6252 37.42 o 26774 37.42 c 6247 37.45 o 26779 37.45 c 6242 37.48 o 26784 37.48 c 6237 37.51 o 26789 37.51 c 6232 37.54 o 26792 37.54 c 6229 37.57 o 26797 37.57 c 6224 37.60 o 26802 37.60 c 6219 37.63 o 26807 37.63 c 6214 37.66 o 26811 37.66 c 6210 37.68 o 26815 37.68 c 6206 37.71 o 26819 37.71 c 6202 37.74 o 26823 37.74 c 6198 37.77 o 26827 37.77 c 6194 37.80 o 26831 37.80 c 6190 37.82 o 26834 37.82 c 6187 37.85 o 26838 37.85 c 6183 37.88 o 26842 37.88 c 6179 37.90 o 26846 37.90 c 6175 37.93 o 26850 37.93 c 6171 37.96 o 26854 37.96 c 6167 37.98 o 26858 37.98 c 6163 38.01 o 26862 38.01 c 6159 38.03 o 26866 38.03 c 6155 38.05 o 26870 38.05 c 6151 38.08 o 26873 38.08 c 6148 38.10 o 26876 38.10 c 6145 38.12 o 26879 38.12 c 6142 38.15 o 26882 38.15 c 6139 38.17 o 26885 38.17 c 6136 38.20 o 26888 38.20 c 6133 38.22 o 26891 38.22 c 6130 38.24 o 26894 38.24 c 6127 38.26 o 26897 38.26 c 6124 38.29 o 26900 38.29 c 6121 38.31 o 26903 38.31 c 6118 38.33 o 26906 38.33 c 6115 38.35 o 26909 38.35 c 6112 38.39 o 26910 38.39 c 6111 38.41 o 26917 38.41 c 6104 38.43 o 26919 38.43 c 6102 38.45 o 26921 38.45 c 6100 38.47 o 26923 38.47 c 6098 38.49 o 26925 38.49 c 6096 38.51 o 26927 38.51 c 6094 38.52 o 26931 38.52 c 6090 38.54 o 26939 38.54 c 6082 38.56 o 26941 38.56 c 6080 38.58 o 26943 38.58 c 6078 38.59 o 26945 38.59 c 6076 38.61 o 26947 38.61 c 6074 38.63 o 26949 38.63 c 6072 38.64 o 26951 38.64 c 6070 38.66 o 26953 38.66 c 6068 38.67 o 26954 38.67 c 6067 38.69 o 26955 38.69 c 6066 38.70 o 26956 38.70 c 6065 38.72 o 26957 38.72 c 6064 38.73 o 26958 38.73 c 6063 38.74 o 26959 38.74 c 6062 38.76 o 26960 38.76 c 6061 38.77 o 26961 38.77 c 6060 38.79 o 26962 38.79 c 6059 38.89 o 26968 38.89 c 6053 38.90 o 26969 38.90 c 6052 38.91 o 26974 38.91 c 6047 38.92 o 26978 38.92 c 6043 38.93 o 26981 38.93 c 6040 38.94 o 26986 38.94 c 6035 38.95 o 26989 38.95 c 6032 38.96 o 26991 38.96 c 6030 38.97 o 26994 38.97 c 6027 38.98 o 26996 38.98 c 6025 38.99 o 27002 38.99 c 6019 39.00 o 27004 39.01 c 6017 39.02 o 27009 39.02 c 6012 39.03 o 27014 39.03 c 6007 39.07 o 27016 39.07 c 6005 39.08 o 27019 39.08 c 6002 39.09 o 27021 39.09 c 6000 39.10 o 27025 39.10 c 5996 39.12 o 27026 39.12 c 5995 39.13 o 27030 39.13 c 5991 39.14 o 27032 39.14 c 5989 39.15 o 27033 39.15 c 5988 39.16 o 27034 39.16 c 5987 39.18 o 27036 39.18 c 5985 39.19 o 27040 39.19 c 5981 39.21 o 27041 39.21 c 5980 39.22 o 27046 39.22 c 5975 39.24 o 27049 39.24 c 5972 39.26 o 27052 39.26 c 5969 39.27 o 27059 39.27 c 5962 39.28 o 27063 39.28 c 5958 39.30 o 27066 39.30 c 5955 39.31 o 27068 39.31 c 5953 39.32 o 27070 39.32 c 5951 39.34 o 27073 39.34 c 5948 39.36 o 27075 39.36 c 5946 39.37 o 27078 39.37 c 5943 39.38 o 27083 39.38 c 5938 39.40 o 27084 39.40 c 5937 39.41 o 27087 39.41 c 5934 39.43 o 27090 39.43 c 5931 39.44 o 27096 39.44 c 5925 39.45 o 27102 39.45 c 5919 39.47 o 27105 39.47 c 5916 39.48 o 27108 39.48 c 5913 39.50 o 27112 39.50 c 5909 39.51 o 27117 39.51 c 5904 39.53 o 27120 39.53 c 5901 39.54 o 27124 39.54 c 5897 39.55 o 27127 39.55 c 5894 39.57 o 27128 39.57 c 5893 39.58 o 27131 39.58 c 5890 39.59 o 27135 39.59 c 5886 39.60 o 27138 39.60 c 5883 39.61 o 27144 39.61 c 5877 39.62 o 27146 39.62 c 5875 39.64 o 27149 39.64 c 5872 39.65 o 27150 39.65 c 5871 39.66 o 27152 39.67 c 5869 39.68 o 27155 39.68 c 5866 39.69 o 27158 39.69 c 5863 39.71 o 27159 39.71 c 5862 39.72 o 27164 39.72 c 5857 39.73 o 27168 39.73 c 5853 39.74 o 27175 39.74 c 5846 39.76 o 27181 39.76 c 5840 39.77 o 27184 39.77 c 5837 39.79 o 27189 39.79 c 5832 39.80 o 27191 39.80 c 5830 39.83 o 27194 39.83 c 5827 39.84 o 27196 39.84 c 5825 39.86 o 27197 39.86 c 5824 39.88 o 27202 39.88 c 5819 39.89 o 27203 39.89 c 5818 39.92 o 27209 39.92 c 5812 39.94 o 27215 39.94 c 5806 39.97 o 27221 39.97 c 5800 40.00 o 27222 40.00 c 5799 40.05 o 27227 40.05 c 5794 40.07 o 27228 40.07 c 5793 40.11 o 27233 40.11 c 5788 40.13 o 27235 40.13 c 5786 40.16 o 27240 40.16 c 5781 40.19 o 27245 40.19 c 5776 40.23 o 27250 40.23 c 5771 40.26 o 27255 40.26 c 5766 40.29 o 27260 40.29 c 5761 40.32 o 27265 40.32 c 5756 40.35 o 27270 40.35 c 5751 40.38 o 27275 40.38 c 5746 40.41 o 27280 40.41 c 5741 40.44 o 27284 40.44 c 5737 40.48 o 27288 40.48 c 5733 40.51 o 27292 40.51 c 5729 40.54 o 27296 40.54 c 5725 40.57 o 27300 40.57 c 5721 40.61 o 27304 40.61 c 5717 40.64 o 27308 40.64 c 5713 40.67 o 27312 40.67 c 5709 40.69 o 27316 40.69 c 5705 40.72 o 27322 40.72 c 5699 40.75 o 27326 40.75 c 5695 40.78 o 27330 40.78 c 5691 40.81 o 27334 40.81 c 5687 40.84 o 27338 40.84 c 5683 40.87 o 27342 40.87 c 5679 40.89 o 27343 40.89 c 5678 40.92 o 27347 40.92 c 5674 40.95 o 27351 40.95 c 5670 40.97 o 27352 40.97 c 5669 41.00 o 27356 41.00 c 5665 41.03 o 27360 41.03 c 5661 41.05 o 27363 41.05 c 5658 41.08 o 27366 41.08 c 5655 41.11 o 27369 41.11 c 5652 41.14 o 27372 41.14 c 5649 41.16 o 27375 41.16 c 5646 41.19 o 27379 41.19 c 5642 41.21 o 27380 41.21 c 5641 41.24 o 27383 41.24 c 5638 41.26 o 27386 41.26 c 5635 41.29 o 27389 41.29 c 5632 41.31 o 27392 41.31 c 5629 41.34 o 27395 41.34 c 5626 41.36 o 27396 41.36 c 5625 41.38 o 27399 41.38 c 5622 41.41 o 27402 41.41 c 5619 41.43 o 27405 41.43 c 5616 41.46 o 27407 41.46 c 5614 41.48 o 27409 41.48 c 5612 41.50 o 27411 41.50 c 5610 41.52 o 27413 41.52 c 5608 41.55 o 27416 41.55 c 5605 41.57 o 27418 41.57 c 5603 41.59 o 27420 41.59 c 5601 41.61 o 27422 41.61 c 5599 41.65 o 27423 41.65 c 5598 41.67 o 27425 41.67 c 5596 41.69 o 27427 41.69 c 5594 41.71 o 27429 41.71 c 5592 41.73 o 27431 41.73 c 5590 41.75 o 27433 41.75 c 5588 41.77 o 27435 41.77 c 5586 41.79 o 27437 41.79 c 5584 41.81 o 27438 41.81 c 5583 41.83 o 27439 41.83 c 5582 41.85 o 27440 41.85 c 5581 41.87 o 27441 41.87 c 5580 41.89 o 27442 41.89 c 5579 41.91 o 27443 41.91 c 5578 41.92 o 27449 41.92 c 5572 41.94 o 27450 41.94 c 5571 41.96 o 27451 41.96 c 5570 41.99 o 27452 41.99 c 5569 42.01 o 27453 42.01 c 5568 42.02 o 27454 42.02 c 5567 42.13 o 27456 42.13 c 5565 42.15 o 27458 42.15 c 5563 42.18 o 27460 42.18 c 5561 42.19 o 27462 42.19 c 5559 42.21 o 27466 42.21 c 5555 42.22 o 27467 42.22 c 5554 42.24 o 27470 42.24 c 5551 42.25 o 27471 42.25 c 5550 42.27 o 27475 42.27 c 5546 42.28 o 27477 42.28 c 5544 42.30 o 27478 42.30 c 5543 42.31 o 27483 42.31 c 5538 42.33 o 27485 42.33 c 5536 42.36 o 27490 42.36 c 5531 42.37 o 27493 42.37 c 5528 42.40 o 27494 42.40 c 5527 42.42 o 27497 42.42 c 5524 42.43 o 27500 42.43 c 5521 42.45 o 27503 42.45 c 5518 42.46 o 27507 42.46 c 5514 42.47 o 27510 42.47 c 5511 42.49 o 27512 42.49 c 5509 42.51 o 27515 42.51 c 5506 42.52 o 27517 42.52 c 5504 42.54 o 27520 42.54 c 5501 42.55 o 27523 42.55 c 5498 42.57 o 27525 42.57 c 5496 42.58 o 27528 42.58 c 5493 42.60 o 27532 42.60 c 5489 42.61 o 27535 42.61 c 5486 42.62 o 27537 42.62 c 5484 42.64 o 27540 42.64 c 5481 42.65 o 27543 42.65 c 5478 42.67 o 27544 42.67 c 5477 42.68 o 27545 42.68 c 5476 42.70 o 27547 42.70 c 5474 42.71 o 27548 42.71 c 5473 42.72 o 27551 42.72 c 5470 42.74 o 27553 42.74 c 5468 42.75 o 27556 42.75 c 5465 42.76 o 27559 42.76 c 5462 42.79 o 27562 42.79 c 5459 42.80 o 27565 42.80 c 5456 42.82 o 27567 42.82 c 5454 42.83 o 27570 42.83 c 5451 42.86 o 27572 42.86 c 5449 42.87 o 27576 42.87 c 5445 42.89 o 27581 42.89 c 5440 42.90 o 27585 42.90 c 5436 42.92 o 27588 42.92 c 5433 42.93 o 27592 42.93 c 5429 42.94 o 27594 42.94 c 5427 42.96 o 27597 42.96 c 5424 42.97 o 27600 42.97 c 5421 42.99 o 27601 42.99 c 5420 43.02 o 27605 43.02 c 5416 43.04 o 27607 43.04 c 5414 43.06 o 27610 43.06 c 5411 43.07 o 27612 43.07 c 5409 43.08 o 27614 43.08 c 5407 43.10 o 27619 43.10 c 5402 43.11 o 27623 43.11 c 5398 43.13 o 27628 43.13 c 5393 43.15 o 27633 43.15 c 5388 43.17 o 27636 43.17 c 5385 43.19 o 27639 43.19 c 5382 43.20 o 27642 43.20 c 5379 43.21 o 27646 43.21 c 5375 43.23 o 27649 43.23 c 5372 43.24 o 27652 43.24 c 5369 43.26 o 27655 43.26 c 5366 43.29 o 27660 43.29 c 5361 43.30 o 27665 43.30 c 5356 43.32 o 27669 43.32 c 5352 43.34 o 27672 43.34 c 5349 43.35 o 27673 43.35 c 5348 43.37 o 27675 43.37 c 5346 43.39 o 27677 43.39 c 5344 43.40 o 27680 43.40 c 5341 43.42 o 27682 43.42 c 5339 43.44 o 27684 43.44 c 5337 43.47 o 27689 43.47 c 5332 43.49 o 27690 43.49 c 5331 43.51 o 27695 43.51 c 5326 43.52 o 27698 43.52 c 5323 43.54 o 27703 43.54 c 5318 43.55 o 27708 43.55 c 5313 43.57 o 27709 43.57 c 5312 43.59 o 27712 43.59 c 5309 43.61 o 27714 43.61 c 5307 43.63 o 27717 43.63 c 5304 43.64 o 27720 43.64 c 5301 43.66 o 27723 43.66 c 5298 43.68 o 27725 43.68 c 5296 43.70 o 27727 43.70 c 5294 43.71 o 27729 43.71 c 5292 43.73 o 27734 43.73 c 5287 43.75 o 27735 43.75 c 5286 43.76 o 27738 43.76 c 5283 43.78 o 27742 43.78 c 5279 43.80 o 27745 43.80 c 5276 43.86 o 27749 43.86 c 5272 43.87 o 27751 43.87 c 5270 43.89 o 27756 43.89 c 5265 43.90 o 27758 43.90 c 5263 43.92 o 27761 43.92 c 5260 43.94 o 27763 43.94 c 5258 43.96 o 27765 43.96 c 5256 44.01 o 27768 44.01 c 5253 44.03 o 27769 44.03 c 5252 44.04 o 27774 44.04 c 5247 44.08 o 27777 44.08 c 5244 44.11 o 27782 44.11 c 5239 44.13 o 27783 44.13 c 5238 44.17 o 27786 44.17 c 5235 44.18 o 27789 44.18 c 5232 44.22 o 27790 44.22 c 5231 44.24 o 27796 44.24 c 5225 44.26 o 27799 44.26 c 5222 44.32 o 27803 44.32 c 5218 44.35 o 27805 44.35 c 5216 44.37 o 27806 44.37 c 5215 44.38 o 27810 44.38 c 5211 44.40 o 27815 44.40 c 5206 44.41 o 27816 44.41 c 5205 44.44 o 27818 44.44 c 5203 44.46 o 27819 44.46 c 5202 44.49 o 27822 44.49 c 5199 44.51 o 27827 44.51 c 5194 44.53 o 27829 44.53 c 5192 44.54 o 27831 44.54 c 5190 44.57 o 27832 44.57 c 5189 44.62 o 27836 44.62 c 5185 44.64 o 27841 44.64 c 5180 44.68 o 27845 44.68 c 5176 44.70 o 27849 44.70 c 5172 44.73 o 27853 44.73 c 5168 44.76 o 27857 44.76 c 5164 44.79 o 27858 44.79 c 5163 44.82 o 27862 44.82 c 5159 44.86 o 27866 44.86 c 5155 44.89 o 27869 44.89 c 5152 44.91 o 27874 44.91 c 5147 44.94 o 27875 44.94 c 5146 44.97 o 27878 44.97 c 5143 45.00 o 27881 45.00 c 5140 45.04 o 27884 45.04 c 5137 45.07 o 27887 45.07 c 5134 45.10 o 27890 45.10 c 5131 45.12 o 27892 45.12 c 5129 45.15 o 27896 45.15 c 5125 45.18 o 27899 45.18 c 5122 45.21 o 27902 45.21 c 5119 45.24 o 27905 45.24 c 5116 45.28 o 27908 45.28 c 5113 45.31 o 27911 45.31 c 5110 45.34 o 27913 45.34 c 5108 45.37 o 27915 45.37 c 5106 45.40 o 27916 45.40 c 5105 45.43 o 27918 45.43 c 5103 45.49 o 27920 45.49 c 5101 45.52 o 27922 45.52 c 5099 45.55 o 27924 45.55 c 5097 45.61 o 27925 45.61 c 5096 45.64 o 27927 45.64 c 5094 45.67 o 27929 45.67 c 5092 45.70 o 27931 45.70 c 5090 45.73 o 27937 45.73 c 5084 45.76 o 27939 45.76 c 5082 45.81 o 27941 45.81 c 5080 45.84 o 27943 45.84 c 5078 45.87 o 27945 45.87 c 5076 45.90 o 27947 45.90 c 5074 45.92 o 27949 45.92 c 5072 45.95 o 27954 45.95 c 5067 45.97 o 27956 45.97 c 5065 46.00 o 27958 46.00 c 5063 46.03 o 27960 46.03 c 5061 46.06 o 27961 46.06 c 5060 46.08 o 27962 46.08 c 5059 46.11 o 27963 46.11 c 5058 46.13 o 27964 46.13 c 5057 46.16 o 27970 46.16 c 5051 46.18 o 27971 46.18 c 5050 46.21 o 27972 46.21 c 5049 46.23 o 27973 46.23 c 5048 46.25 o 27974 46.25 c 5047 46.28 o 27975 46.28 c 5046 46.30 o 27976 46.30 c 5045 46.32 o 27977 46.32 c 5044 46.35 o 27978 46.35 c 5043 46.37 o 27979 46.37 c 5042 46.39 o 27980 46.39 c 5041 46.41 o 27981 46.41 c 5040 46.50 o 27983 46.50 c 5038 46.53 o 27987 46.53 c 5034 46.61 o 27988 46.61 c 5033 46.65 o 27989 46.65 c 5032 46.77 o 27991 46.77 c 5030 46.79 o 27993 46.79 c 5028 46.81 o 27996 46.81 c 5025 46.83 o 27998 46.83 c 5023 46.89 o 28001 46.89 c 5020 46.91 o 28003 46.91 c 5018 46.93 o 28004 46.93 c 5017 46.95 o 28007 46.95 c 5014 46.96 o 28012 46.96 c 5009 46.98 o 28015 46.98 c 5006 47.00 o 28016 47.00 c 5005 47.02 o 28018 47.02 c 5003 47.05 o 28020 47.05 c 5001 47.06 o 28024 47.06 c 4997 47.09 o 28025 47.09 c 4996 47.11 o 28026 47.11 c 4995 47.13 o 28027 47.13 c 4994 47.15 o 28028 47.15 c 4993 47.19 o 28032 47.19 c 4989 47.21 o 28036 47.21 c 4985 47.23 o 28039 47.23 c 4982 47.25 o 28042 47.25 c 4979 47.27 o 28045 47.27 c 4976 47.29 o 28048 47.29 c 4973 47.31 o 28050 47.31 c 4971 47.33 o 28054 47.33 c 4967 47.35 o 28059 47.35 c 4962 47.41 o 28062 47.41 c 4959 47.42 o 28065 47.42 c 4956 47.44 o 28069 47.44 c 4952 47.46 o 28070 47.46 c 4951 47.48 o 28074 47.48 c 4947 47.50 o 28079 47.50 c 4942 47.52 o 28083 47.52 c 4938 47.53 o 28086 47.53 c 4935 47.55 o 28092 47.55 c 4929 47.57 o 28095 47.57 c 4926 47.59 o 28097 47.59 c 4924 47.62 o 28100 47.62 c 4921 47.64 o 28104 47.64 c 4917 47.66 o 28107 47.66 c 4914 47.67 o 28110 47.67 c 4911 47.69 o 28115 47.69 c 4906 47.71 o 28118 47.71 c 4903 47.73 o 28120 47.73 c 4901 47.75 o 28121 47.75 c 4900 47.77 o 28124 47.77 c 4897 47.78 o 28130 47.78 c 4891 47.80 o 28134 47.80 c 4887 47.82 o 28138 47.82 c 4883 47.86 o 28140 47.86 c 4881 47.88 o 28142 47.88 c 4879 47.90 o 28147 47.90 c 4874 47.93 o 28150 47.93 c 4871 47.95 o 28154 47.95 c 4867 47.97 o 28155 47.97 c 4866 47.99 o 28159 47.99 c 4862 48.00 o 28162 48.00 c 4859 48.02 o 28166 48.02 c 4855 48.04 o 28168 48.04 c 4853 48.08 o 28169 48.08 c 4852 48.09 o 28170 48.09 c 4851 48.13 o 28172 48.13 c 4849 48.15 o 28174 48.15 c 4847 48.18 o 28177 48.18 c 4844 48.20 o 28179 48.20 c 4842 48.22 o 28181 48.22 c 4840 48.24 o 28182 48.24 c 4839 48.26 o 28184 48.26 c 4837 48.27 o 28186 48.27 c 4835 48.30 o 28191 48.30 c 4830 48.32 o 28193 48.32 c 4828 48.33 o 28195 48.33 c 4826 48.35 o 28196 48.35 c 4825 48.37 o 28197 48.37 c 4824 48.39 o 28199 48.39 c 4822 48.41 o 28201 48.41 c 4820 48.42 o 28203 48.42 c 4818 48.44 o 28205 48.44 c 4816 48.46 o 28206 48.46 c 4815 48.48 o 28208 48.48 c 4813 48.50 o 28209 48.50 c 4812 48.52 o 28210 48.52 c 4811 48.54 o 28212 48.54 c 4809 48.56 o 28214 48.56 c 4807 48.58 o 28215 48.58 c 4806 48.60 o 28217 48.60 c 4804 48.77 o 28218 48.78 c 4803 48.80 o 28221 48.80 c 4800 48.82 o 28224 48.82 c 4797 48.84 o 28225 48.84 c 4796 48.86 o 28229 48.86 c 4792 48.88 o 28231 48.88 c 4790 48.90 o 28232 48.90 c 4789 48.94 o 28233 48.94 c 4788 48.98 o 28236 48.98 c 4785 49.02 o 28237 49.02 c 4784 49.04 o 28239 49.04 c 4782 49.06 o 28241 49.06 c 4780 49.08 o 28243 49.08 c 4778 49.10 o 28246 49.10 c 4775 49.13 o 28249 49.13 c 4772 49.17 o 28250 49.17 c 4771 49.19 o 28254 49.19 c 4767 49.21 o 28256 49.21 c 4765 49.24 o 28259 49.24 c 4762 49.26 o 28261 49.26 c 4760 49.30 o 28265 49.30 c 4756 49.32 o 28268 49.32 c 4753 49.34 o 28270 49.34 c 4751 49.36 o 28271 49.36 c 4750 49.38 o 28275 49.38 c 4746 49.47 o 28276 49.47 c 4745 49.52 o 28279 49.52 c 4742 49.54 o 28280 49.54 c 4741 49.56 o 28282 49.56 c 4739 49.63 o 28283 49.63 c 4738 49.65 o 28284 49.65 c 4737 49.69 o 28286 49.69 c 4735 49.72 o 28289 49.72 c 4732 49.74 o 28294 49.74 c 4727 49.76 o 28298 49.76 c 4723 49.78 o 28300 49.78 c 4721 49.80 o 28304 49.80 c 4717 49.83 o 28305 49.83 c 4716 49.85 o 28307 49.85 c 4714 49.89 o 28310 49.89 c 4711 49.92 o 28313 49.92 c 4708 49.96 o 28315 49.96 c 4706 49.99 o 28316 49.99 c 4705 50.01 o 28323 50.01 c 4698 50.03 o 28325 50.03 c 4696 50.05 o 28329 50.05 c 4692 50.07 o 28332 50.07 c 4689 50.10 o 28333 50.10 c 4688 50.12 o 28334 50.12 c 4687 50.14 o 28336 50.14 c 4685 50.16 o 28337 50.16 c 4684 50.20 o 28338 50.20 c 4683 50.23 o 28343 50.23 c 4678 50.25 o 28346 50.25 c 4675 50.27 o 28349 50.27 c 4672 50.29 o 28352 50.29 c 4669 50.32 o 28353 50.32 c 4668 50.34 o 28357 50.34 c 4664 50.37 o 28360 50.37 c 4661 50.39 o 28362 50.39 c 4659 50.41 o 28366 50.41 c 4655 50.44 o 28369 50.44 c 4652 50.48 o 28373 50.48 c 4648 50.52 o 28375 50.52 c 4646 50.55 o 28377 50.55 c 4644 50.57 o 28380 50.57 c 4641 50.59 o 28381 50.59 c 4640 50.62 o 28383 50.62 c 4638 50.64 o 28389 50.64 c 4632 50.66 o 28391 50.66 c 4630 50.68 o 28394 50.68 c 4627 50.71 o 28396 50.71 c 4625 50.73 o 28398 50.73 c 4623 50.75 o 28401 50.75 c 4620 50.77 o 28403 50.77 c 4618 50.79 o 28404 50.79 c 4617 50.81 o 28405 50.81 c 4616 50.85 o 28408 50.85 c 4613 50.88 o 28409 50.88 c 4612 50.90 o 28411 50.90 c 4610 50.95 o 28414 50.95 c 4607 50.98 o 28415 50.98 c 4606 51.00 o 28416 51.00 c 4605 51.02 o 28417 51.02 c 4604 51.04 o 28420 51.04 c 4601 51.07 o 28422 51.07 c 4599 51.10 o 28423 51.10 c 4598 51.12 o 28426 51.12 c 4595 51.14 o 28429 51.14 c 4592 51.16 o 28433 51.16 c 4588 51.21 o 28436 51.21 c 4585 51.23 o 28440 51.23 c 4581 51.25 o 28441 51.25 c 4580 51.27 o 28445 51.27 c 4576 51.30 o 28449 51.30 c 4572 51.33 o 28452 51.33 c 4569 51.36 o 28455 51.36 c 4566 51.39 o 28458 51.39 c 4563 51.42 o 28460 51.42 c 4561 51.45 o 28462 51.45 c 4559 51.48 o 28464 51.48 c 4557 51.51 o 28466 51.51 c 4555 51.54 o 28468 51.54 c 4553 51.57 o 28469 51.57 c 4552 51.60 o 28471 51.60 c 4550 51.63 o 28473 51.63 c 4548 51.66 o 28474 51.66 c 4547 51.68 o 28476 51.68 c 4545 51.71 o 28478 51.71 c 4543 51.74 o 28479 51.74 c 4542 51.77 o 28481 51.77 c 4540 51.79 o 28485 51.79 c 4536 51.82 o 28487 51.82 c 4534 51.85 o 28489 51.85 c 4532 51.88 o 28490 51.88 c 4531 51.93 o 28492 51.93 c 4529 51.99 o 28493 51.99 c 4528 52.01 o 28495 52.01 c 4526 52.04 o 28496 52.04 c 4525 52.07 o 28497 52.07 c 4524 52.09 o 28498 52.09 c 4523 52.12 o 28499 52.12 c 4522 52.14 o 28500 52.14 c 4521 52.17 o 28501 52.17 c 4520 52.19 o 28502 52.19 c 4519 52.22 o 28503 52.22 c 4518 52.24 o 28504 52.24 c 4517 52.31 o 28506 52.31 c 4515 52.34 o 28508 52.34 c 4513 52.61 o 28510 52.61 c 4511 52.63 o 28511 52.63 c 4510 52.67 o 28515 52.67 c 4506 52.72 o 28517 52.72 c 4504 52.76 o 28518 52.76 c 4503 52.79 o 28519 52.79 c 4502 52.81 o 28522 52.81 c 4499 52.83 o 28524 52.83 c 4497 52.86 o 28525 52.86 c 4496 52.88 o 28529 52.88 c 4492 52.91 o 28531 52.91 c 4490 52.93 o 28534 52.93 c 4487 52.95 o 28536 52.95 c 4485 52.98 o 28537 52.98 c 4484 53.00 o 28539 53.00 c 4482 53.03 o 28540 53.03 c 4481 53.05 o 28544 53.05 c 4477 53.08 o 28546 53.08 c 4475 53.10 o 28550 53.10 c 4471 53.19 o 28552 53.19 c 4469 53.22 o 28553 53.22 c 4468 53.25 o 28554 53.25 c 4467 53.29 o 28558 53.29 c 4463 53.32 o 28559 53.32 c 4462 53.34 o 28563 53.34 c 4458 53.37 o 28565 53.37 c 4456 53.40 o 28569 53.40 c 4452 53.42 o 28570 53.42 c 4451 53.45 o 28573 53.45 c 4448 53.50 o 28578 53.50 c 4443 53.55 o 28582 53.55 c 4439 53.59 o 28587 53.59 c 4434 53.62 o 28589 53.62 c 4432 53.72 o 28592 53.72 c 4429 53.74 o 28595 53.74 c 4426 53.79 o 28598 53.79 c 4423 53.82 o 28602 53.82 c 4419 53.89 o 28606 53.89 c 4415 53.92 o 28607 53.92 c 4414 53.96 o 28608 53.96 c 4413 53.99 o 28612 53.99 c 4409 54.02 o 28615 54.02 c 4406 54.04 o 28617 54.04 c 4404 54.07 o 28622 54.07 c 4399 54.09 o 28624 54.09 c 4397 54.12 o 28626 54.12 c 4395 54.17 o 28628 54.17 c 4393 54.19 o 28632 54.19 c 4389 54.22 o 28633 54.22 c 4388 54.24 o 28635 54.24 c 4386 54.31 o 28637 54.31 c 4384 54.34 o 28640 54.34 c 4381 54.46 o 28643 54.46 c 4378 54.53 o 28646 54.53 c 4375 54.58 o 28647 54.58 c 4374 54.61 o 28649 54.61 c 4372 54.64 o 28650 54.64 c 4371 54.66 o 28651 54.66 c 4370 54.70 o 28652 54.70 c 4369 54.73 o 28654 54.73 c 4367 54.78 o 28656 54.78 c 4365 54.81 o 28657 54.81 c 4364 54.84 o 28660 54.84 c 4361 54.87 o 28663 54.87 c 4358 54.90 o 28666 54.90 c 4355 54.92 o 28668 54.92 c 4353 54.95 o 28671 54.95 c 4350 55.06 o 28673 55.06 c 4348 55.13 o 28676 55.13 c 4345 55.16 o 28679 55.16 c 4342 55.19 o 28681 55.19 c 4340 55.21 o 28684 55.21 c 4337 55.26 o 28685 55.26 c 4336 55.42 o 28688 55.42 c 4333 55.47 o 28689 55.47 c 4332 55.50 o 28692 55.50 c 4329 55.52 o 28695 55.52 c 4326 55.55 o 28699 55.55 c 4322 55.58 o 28701 55.58 c 4320 55.71 o 28702 55.71 c 4319 55.73 o 28703 55.74 c 4318 55.79 o 28704 55.79 c 4317 55.82 o 28705 55.82 c 4316 55.85 o 28708 55.85 c 4313 55.88 o 28710 55.88 c 4311 55.91 o 28711 55.91 c 4310 55.93 o 28713 55.93 c 4308 55.99 o 28714 55.99 c 4307 56.02 o 28716 56.02 c 4305 56.04 o 28717 56.04 c 4304 56.10 o 28720 56.10 c 4301 56.13 o 28722 56.13 c 4299 56.16 o 28725 56.16 c 4296 56.19 o 28727 56.19 c 4294 56.22 o 28729 56.22 c 4292 56.27 o 28730 56.27 c 4291 56.30 o 28734 56.30 c 4287 56.38 o 28735 56.38 c 4286 56.44 o 28737 56.44 c 4284 56.47 o 28740 56.47 c 4281 56.50 o 28741 56.50 c 4280 56.53 o 28745 56.53 c 4276 56.56 o 28747 56.56 c 4274 56.59 o 28748 56.59 c 4273 56.87 o 28751 56.87 c 4270 56.90 o 28754 56.90 c 4267 56.93 o 28757 56.93 c 4264 56.96 o 28761 56.96 c 4260 57.02 o 28762 57.02 c 4259 57.05 o 28763 57.05 c 4258 57.08 o 28766 57.08 c 4255 57.14 o 28769 57.14 c 4252 57.17 o 28772 57.17 c 4249 57.18 o 28774 57.18 c 4247 57.21 o 28775 57.21 c 4246 57.24 o 28779 57.24 c 4242 57.27 o 28780 57.27 c 4241 57.30 o 28783 57.30 c 4238 57.33 o 28787 57.33 c 4234 57.42 o 28789 57.42 c 4232 57.45 o 28792 57.45 c 4229 57.48 o 28794 57.48 c 4227 57.69 o 28796 57.69 c 4225 57.73 o 28800 57.73 c 4221 57.83 o 28802 57.83 c 4219 57.86 o 28803 57.86 c 4218 57.89 o 28806 57.89 c 4215 57.95 o 28808 57.95 c 4213 57.99 o 28809 57.99 c 4212 58.02 o 28813 58.02 c 4208 58.05 o 28816 58.05 c 4205 58.09 o 28818 58.09 c 4203 58.12 o 28819 58.12 c 4202 58.15 o 28820 58.15 c 4201 58.22 o 28821 58.22 c 4200 58.25 o 28823 58.25 c 4198 58.28 o 28824 58.28 c 4197 58.32 o 28825 58.32 c 4196 58.35 o 28826 58.35 c 4195 58.38 o 28829 58.38 c 4192 58.41 o 28832 58.41 c 4189 58.45 o 28833 58.45 c 4188 58.48 o 28836 58.48 c 4185 58.58 o 28838 58.58 c 4183 58.61 o 28841 58.61 c 4180 58.65 o 28843 58.65 c 4178 58.68 o 28844 58.68 c 4177 58.75 o 28848 58.75 c 4173 58.84 o 28851 58.84 c 4170 58.88 o 28852 58.88 c 4169 58.91 o 28854 58.91 c 4167 58.95 o 28857 58.95 c 4164 58.98 o 28860 58.98 c 4161 59.01 o 28861 59.01 c 4160 59.08 o 28864 59.08 c 4157 59.18 o 28867 59.18 c 4154 59.21 o 28869 59.21 c 4152 59.25 o 28872 59.25 c 4149 59.28 o 28876 59.28 c 4145 59.32 o 28877 59.32 c 4144 59.35 o 28878 59.35 c 4143 59.45 o 28881 59.45 c 4140 59.49 o 28882 59.49 c 4139 59.52 o 28886 59.52 c 4135 59.56 o 28887 59.56 c 4134 59.62 o 28889 59.62 c 4132 59.65 o 28890 59.65 c 4131 59.69 o 28892 59.69 c 4129 59.75 o 28895 59.75 c 4126 59.78 o 28897 59.78 c 4124 59.84 o 28899 59.85 c 4122 59.88 o 28900 59.88 c 4121 59.91 o 28902 59.91 c 4119 60.03 o 28903 60.03 c 4118 60.09 o 28904 60.09 c 4117 60.12 o 28907 60.12 c 4114 60.21 o 28908 60.21 c 4113 60.37 o 28911 60.37 c 4110 60.43 o 28913 60.43 c 4108 60.46 o 28915 60.46 c 4106 60.49 o 28919 60.49 c 4102 60.52 o 28921 60.52 c 4100 60.55 o 28924 60.55 c 4097 60.59 o 28929 60.59 c 4092 60.62 o 28934 60.62 c 4087 60.69 o 28936 60.69 c 4085 60.75 o 28938 60.75 c 4083 60.78 o 28939 60.78 c 4082 60.82 o 28941 60.82 c 4080 60.85 o 28943 60.85 c 4078 60.88 o 28946 60.88 c 4075 60.91 o 28948 60.91 c 4073 61.00 o 28949 61.00 c 4072 61.04 o 28950 61.04 c 4071 61.07 o 28953 61.07 c 4068 61.10 o 28954 61.10 c 4067 61.13 o 28955 61.13 c 4066 61.16 o 28957 61.16 c 4064 61.19 o 28958 61.19 c 4063 61.22 o 28960 61.22 c 4061 61.28 o 28961 61.28 c 4060 61.37 o 28963 61.37 c 4058 61.40 o 28967 61.40 c 4054 61.46 o 28970 61.46 c 4051 61.49 o 28972 61.49 c 4049 61.52 o 28976 61.52 c 4045 61.55 o 28977 61.55 c 4044 61.58 o 28980 61.58 c 4041 61.64 o 28982 61.64 c 4039 61.67 o 28984 61.67 c 4037 61.70 o 28985 61.70 c 4036 61.73 o 28987 61.73 c 4034 61.88 o 28989 61.88 c 4032 61.91 o 28992 61.91 c 4029 61.95 o 28995 61.95 c 4026 61.99 o 28998 61.99 c 4023 62.02 o 29001 62.02 c 4020 62.06 o 29004 62.06 c 4017 62.11 o 29007 62.11 c 4014 62.15 o 29010 62.15 c 4011 62.19 o 29011 62.19 c 4010 62.23 o 29013 62.23 c 4008 62.27 o 29015 62.27 c 4006 62.39 o 29016 62.39 c 4005 62.43 o 29018 62.43 c 4003 62.47 o 29020 62.47 c 4001 62.54 o 29021 62.54 c 4000 62.58 o 29023 62.58 c 3998 62.62 o 29027 62.62 c 3994 62.66 o 29029 62.66 c 3992 62.70 o 29030 62.70 c 3991 62.75 o 29031 62.75 c 3990 62.79 o 29032 62.79 c 3989 62.83 o 29033 62.83 c 3988 62.87 o 29034 62.87 c 3987 62.93 o 29037 62.93 c 3984 62.97 o 29038 62.97 c 3983 63.01 o 29040 63.01 c 3981 63.06 o 29043 63.06 c 3978 63.10 o 29045 63.10 c 3976 63.13 o 29046 63.13 c 3975 63.17 o 29047 63.17 c 3974 63.21 o 29048 63.21 c 3973 63.25 o 29049 63.25 c 3972 63.28 o 29050 63.28 c 3971 63.32 o 29051 63.32 c 3970 63.59 o 29059 63.59 c 3962 63.99 o 29060 63.99 c 3961 64.02 o 29063 64.02 c 3958 64.09 o 29064 64.09 c 3957 64.12 o 29067 64.12 c 3954 64.15 o 29068 64.15 c 3953 64.18 o 29069 64.18 c 3952 64.22 o 29071 64.22 c 3950 64.38 o 29075 64.38 c 3946 64.48 o 29079 64.48 c 3942 64.55 o 29081 64.55 c 3940 64.58 o 29082 64.58 c 3939 64.68 o 29084 64.68 c 3937 64.74 o 29086 64.74 c 3935 64.84 o 29088 64.84 c 3933 64.87 o 29089 64.87 c 3932 64.91 o 29092 64.91 c 3929 64.94 o 29094 64.94 c 3927 65.07 o 29095 65.07 c 3926 65.11 o 29096 65.11 c 3925 65.14 o 29097 65.14 c 3924 65.34 o 29098 65.34 c 3923 65.37 o 29099 65.37 c 3922 65.40 o 29103 65.40 c 3918 65.43 o 29105 65.43 c 3916 65.46 o 29107 65.46 c 3914 65.50 o 29109 65.50 c 3912 65.57 o 29111 65.57 c 3910 65.60 o 29115 65.60 c 3906 65.64 o 29119 65.64 c 3902 65.67 o 29122 65.67 c 3899 65.87 o 29124 65.87 c 3897 66.14 o 29127 66.14 c 3894 66.21 o 29128 66.21 c 3893 66.24 o 29130 66.24 c 3891 66.28 o 29133 66.28 c 3888 66.47 o 29135 66.47 c 3886 66.50 o 29137 66.50 c 3884 66.54 o 29139 66.54 c 3882 66.60 o 29141 66.60 c 3880 66.66 o 29142 66.66 c 3879 66.70 o 29143 66.70 c 3878 66.73 o 29145 66.73 c 3876 66.77 o 29147 66.77 c 3874 66.80 o 29148 66.81 c 3873 66.84 o 29151 66.84 c 3870 66.87 o 29152 66.87 c 3869 66.91 o 29153 66.91 c 3868 67.00 o 29154 67.00 c 3867 67.11 o 29156 67.11 c 3865 67.14 o 29159 67.14 c 3862 67.18 o 29162 67.18 c 3859 67.32 o 29163 67.32 c 3858 67.36 o 29167 67.36 c 3854 67.40 o 29168 67.40 c 3853 67.44 o 29170 67.44 c 3851 67.47 o 29173 67.47 c 3848 67.58 o 29174 67.58 c 3847 67.62 o 29178 67.62 c 3843 67.65 o 29181 67.65 c 3840 67.69 o 29183 67.69 c 3838 67.73 o 29185 67.73 c 3836 67.76 o 29187 67.76 c 3834 68.13 o 29189 68.13 c 3832 68.17 o 29192 68.17 c 3829 68.21 o 29195 68.21 c 3826 68.25 o 29198 68.25 c 3823 68.44 o 29201 68.44 c 3820 68.48 o 29203 68.48 c 3818 68.52 o 29204 68.52 c 3817 68.56 o 29206 68.56 c 3815 68.60 o 29207 68.60 c 3814 68.64 o 29208 68.64 c 3813 68.99 o 29209 68.99 c 3812 69.07 o 29210 69.07 c 3811 69.11 o 29212 69.11 c 3809 69.15 o 29214 69.15 c 3807 69.31 o 29216 69.31 c 3805 69.35 o 29219 69.35 c 3802 69.51 o 29220 69.51 c 3801 69.75 o 29223 69.75 c 3798 69.80 o 29226 69.80 c 3795 69.84 o 29230 69.84 c 3791 69.88 o 29234 69.88 c 3787 70.04 o 29236 70.04 c 3785 70.12 o 29237 70.12 c 3784 70.20 o 29240 70.20 c 3781 70.28 o 29241 70.28 c 3780 70.32 o 29243 70.32 c 3778 70.40 o 29245 70.40 c 3776 70.44 o 29247 70.44 c 3774 70.76 o 29248 70.76 c 3773 70.88 o 29250 70.88 c 3771 70.93 o 29251 70.93 c 3770 70.97 o 29253 70.97 c 3768 71.02 o 29254 71.02 c 3767 71.06 o 29258 71.06 c 3763 71.10 o 29262 71.10 c 3759 71.14 o 29264 71.14 c 3757 71.23 o 29265 71.23 c 3756 71.27 o 29267 71.27 c 3754 71.31 o 29268 71.31 c 3753 71.40 o 29269 71.40 c 3752 71.44 o 29270 71.44 c 3751 71.48 o 29271 71.48 c 3750 71.65 o 29272 71.65 c 3749 71.69 o 29275 71.69 c 3746 71.73 o 29276 71.73 c 3745 71.77 o 29277 71.77 c 3744 71.82 o 29279 71.82 c 3742 71.94 o 29280 71.94 c 3741 71.98 o 29283 71.98 c 3738 72.07 o 29285 72.07 c 3736 72.15 o 29288 72.15 c 3733 72.19 o 29290 72.19 c 3731 72.23 o 29293 72.23 c 3728 72.53 o 29294 72.53 c 3727 72.61 o 29295 72.61 c 3726 72.65 o 29297 72.65 c 3724 72.70 o 29299 72.70 c 3722 72.74 o 29301 72.74 c 3720 72.83 o 29302 72.83 c 3719 72.87 o 29304 72.87 c 3717 72.96 o 29305 72.96 c 3716 73.01 o 29306 73.01 c 3715 73.05 o 29311 73.05 c 3710 73.10 o 29314 73.10 c 3707 73.14 o 29317 73.14 c 3704 73.19 o 29318 73.19 c 3703 73.23 o 29319 73.23 c 3702 73.28 o 29322 73.28 c 3699 73.33 o 29323 73.33 c 3698 73.42 o 29326 73.42 c 3695 73.47 o 29328 73.47 c 3693 73.51 o 29329 73.51 c 3692 73.65 o 29331 73.65 c 3690 74.06 o 29332 74.06 c 3689 74.11 o 29333 74.11 c 3688 74.16 o 29335 74.16 c 3686 74.40 o 29337 74.40 c 3684 74.44 o 29339 74.44 c 3682 74.68 o 29340 74.68 c 3681 74.72 o 29343 74.72 c 3678 74.77 o 29344 74.77 c 3677 74.82 o 29345 74.82 c 3676 75.00 o 29347 75.00 c 3674 75.09 o 29348 75.09 c 3673 75.19 o 29350 75.19 c 3671 75.23 o 29352 75.23 c 3669 75.33 o 29354 75.33 c 3667 75.38 o 29357 75.38 c 3664 75.43 o 29359 75.43 c 3662 75.57 o 29360 75.57 c 3661 75.67 o 29361 75.67 c 3660 75.72 o 29362 75.72 c 3659 75.76 o 29364 75.76 c 3657 76.05 o 29367 76.05 c 3654 76.14 o 29368 76.14 c 3653 76.19 o 29370 76.19 c 3651 76.24 o 29372 76.24 c 3649 76.39 o 29373 76.39 c 3648 76.44 o 29374 76.44 c 3647 76.47 o 29378 76.47 c 3643 76.52 o 29379 76.52 c 3642 76.57 o 29381 76.57 c 3640 76.72 o 29382 76.72 c 3639 76.77 o 29384 76.77 c 3637 76.82 o 29385 76.82 c 3636 76.87 o 29388 76.87 c 3633 76.97 o 29391 76.97 c 3630 77.06 o 29394 77.06 c 3627 77.11 o 29395 77.11 c 3626 77.16 o 29397 77.16 c 3624 77.21 o 29398 77.21 c 3623 77.26 o 29400 77.26 c 3621 77.31 o 29401 77.31 c 3620 77.35 o 29403 77.35 c 3618 77.40 o 29405 77.40 c 3616 77.45 o 29406 77.45 c 3615 77.55 o 29407 77.55 c 3614 77.64 o 29409 77.64 c 3612 77.73 o 29411 77.73 c 3610 78.20 o 29414 78.20 c 3607 78.30 o 29415 78.30 c 3606 78.35 o 29419 78.35 c 3602 78.44 o 29421 78.44 c 3600 78.49 o 29422 78.49 c 3599 78.54 o 29423 78.54 c 3598 78.63 o 29425 78.63 c 3596 78.68 o 29427 78.68 c 3594 78.78 o 29429 78.78 c 3592 78.97 o 29432 78.97 c 3589 79.24 o 29433 79.24 c 3588 79.29 o 29434 79.29 c 3587 79.38 o 29438 79.38 c 3583 79.53 o 29439 79.53 c 3582 79.72 o 29443 79.72 c 3578 79.87 o 29444 79.87 c 3577 79.92 o 29445 79.92 c 3576 79.97 o 29447 79.97 c 3574 80.03 o 29451 80.03 c 3570 80.08 o 29452 80.08 c 3569 80.13 o 29453 80.13 c 3568 80.18 o 29454 80.18 c 3567 80.23 o 29455 80.23 c 3566 80.28 o 29458 80.28 c 3563 80.33 o 29461 80.33 c 3560 80.48 o 29463 80.48 c 3558 80.57 o 29465 80.57 c 3556 80.62 o 29466 80.62 c 3555 80.82 o 29467 80.82 c 3554 80.87 o 29468 80.87 c 3553 80.92 o 29470 80.92 c 3551 80.97 o 29472 80.97 c 3549 81.02 o 29474 81.02 c 3547 81.07 o 29475 81.07 c 3546 81.84 o 29477 81.84 c 3544 81.89 o 29478 81.89 c 3543 81.94 o 29480 81.94 c 3541 82.00 o 29482 82.00 c 3539 82.10 o 29485 82.10 c 3536 82.15 o 29487 82.15 c 3534 82.50 o 29489 82.50 c 3532 82.55 o 29492 82.55 c 3529 82.60 o 29494 82.60 c 3527 82.63 o 29496 82.63 c 3525 82.68 o 29497 82.68 c 3524 82.78 o 29499 82.78 c 3522 82.83 o 29503 82.83 c 3518 82.88 o 29505 82.88 c 3516 82.99 o 29506 82.99 c 3515 83.03 o 29509 83.03 c 3512 83.14 o 29511 83.14 c 3510 83.19 o 29515 83.19 c 3506 83.22 o 29517 83.22 c 3504 83.27 o 29519 83.27 c 3502 83.33 o 29520 83.33 c 3501 83.38 o 29521 83.38 c 3500 83.57 o 29524 83.57 c 3497 83.82 o 29525 83.82 c 3496 83.87 o 29526 83.87 c 3495 83.98 o 29528 83.98 c 3493 84.04 o 29531 84.04 c 3490 84.09 o 29532 84.09 c 3489 84.14 o 29534 84.14 c 3487 84.19 o 29536 84.19 c 3485 84.29 o 29538 84.29 c 3483 84.34 o 29539 84.34 c 3482 84.39 o 29542 84.39 c 3479 84.44 o 29544 84.44 c 3477 84.64 o 29547 84.64 c 3474 84.69 o 29549 84.69 c 3472 84.74 o 29550 84.74 c 3471 85.03 o 29554 85.03 c 3467 85.08 o 29555 85.08 c 3466 85.24 o 29556 85.24 c 3465 85.28 o 29558 85.29 c 3463 85.34 o 29559 85.34 c 3462 85.49 o 29560 85.49 c 3461 85.53 o 29562 85.53 c 3459 85.59 o 29563 85.59 c 3458 85.64 o 29565 85.64 c 3456 85.74 o 29568 85.74 c 3453 85.79 o 29569 85.79 c 3452 85.85 o 29572 85.85 c 3449 86.00 o 29574 86.00 c 3447 86.05 o 29577 86.06 c 3444 86.11 o 29579 86.11 c 3442 86.17 o 29581 86.17 c 3440 86.22 o 29583 86.22 c 3438 86.28 o 29585 86.28 c 3436 86.43 o 29586 86.43 c 3435 86.49 o 29588 86.49 c 3433 86.54 o 29590 86.54 c 3431 86.60 o 29592 86.60 c 3429 86.66 o 29594 86.66 c 3427 86.71 o 29596 86.71 c 3425 86.76 o 29599 86.76 c 3422 86.82 o 29600 86.82 c 3421 86.88 o 29601 86.88 c 3420 86.93 o 29602 86.93 c 3419 87.05 o 29603 87.05 c 3418 87.10 o 29604 87.10 c 3417 87.16 o 29605 87.16 c 3416 87.21 o 29606 87.21 c 3415 87.27 o 29607 87.27 c 3414 87.32 o 29609 87.32 c 3412 87.90 o 29610 87.90 c 3411 87.95 o 29613 87.95 c 3408 88.00 o 29616 88.00 c 3405 88.05 o 29617 88.05 c 3404 88.10 o 29620 88.10 c 3401 88.16 o 29624 88.16 c 3397 88.26 o 29625 88.26 c 3396 89.42 o 29630 89.42 c 3391 89.47 o 29631 89.47 c 3390 89.52 o 29632 89.52 c 3389 89.72 o 29633 89.72 c 3388 89.75 o 29635 89.75 c 3386 89.80 o 29636 89.80 c 3385 90.10 o 29640 90.10 c 3381 90.15 o 29642 90.15 c 3379 90.25 o 29645 90.25 c 3376 90.30 o 29646 90.30 c 3375 90.35 o 29647 90.35 c 3374 90.40 o 29649 90.40 c 3372 90.45 o 29651 90.45 c 3370 90.50 o 29652 90.50 c 3369 90.55 o 29657 90.55 c 3364 90.60 o 29659 90.60 c 3362 90.70 o 29661 90.70 c 3360 90.75 o 29662 90.75 c 3359 90.80 o 29663 90.80 c 3358 90.85 o 29664 90.85 c 3357 90.96 o 29665 90.96 c 3356 91.00 o 29666 91.00 c 3355 91.05 o 29668 91.05 c 3353 91.20 o 29669 91.20 c 3352 91.25 o 29673 91.25 c 3348 91.35 o 29676 91.35 c 3345 91.41 o 29678 91.41 c 3343 91.46 o 29680 91.46 c 3341 91.51 o 29681 91.51 c 3340 91.61 o 29683 91.61 c 3338 91.95 o 29684 91.95 c 3337 92.00 o 29686 92.00 c 3335 92.25 o 29690 92.25 c 3331 92.35 o 29693 92.35 c 3328 92.56 o 29696 92.56 c 3325 92.61 o 29699 92.61 c 3322 92.71 o 29700 92.71 c 3321 92.83 o 29701 92.83 c 3320 92.88 o 29702 92.88 c 3319 92.93 o 29703 92.93 c 3318 93.41 o 29704 93.41 c 3317 93.61 o 29706 93.61 c 3315 93.82 o 29711 93.82 c 3310 93.87 o 29712 93.87 c 3309 94.46 o 29713 94.46 c 3308 94.51 o 29714 94.51 c 3307 95.32 o 29716 95.32 c 3305 95.37 o 29717 95.37 c 3304 95.42 o 29718 95.42 c 3303 95.61 o 29722 95.61 c 3299 95.71 o 29723 95.71 c 3298 95.76 o 29727 95.76 c 3294 95.85 o 29731 95.85 c 3290 95.90 o 29732 95.90 c 3289 95.95 o 29734 95.95 c 3287 96.00 o 29736 96.00 c 3285 96.11 o 29738 96.11 c 3283 96.16 o 29741 96.16 c 3280 96.21 o 29744 96.21 c 3277 96.32 o 29747 96.32 c 3274 96.56 o 29748 96.56 c 3273 96.62 o 29749 96.62 c 3272 96.67 o 29752 96.67 c 3269 96.72 o 29754 96.72 c 3267 96.78 o 29755 96.78 c 3266 96.83 o 29757 96.83 c 3264 96.88 o 29759 96.88 c 3262 97.14 o 29762 97.14 c 3259 97.35 o 29764 97.36 c 3257 97.52 o 29765 97.52 c 3256 97.58 o 29766 97.58 c 3255 97.64 o 29767 97.64 c 3254 97.76 o 29769 97.76 c 3252 97.87 o 29770 97.87 c 3251 97.98 o 29771 97.98 c 3250 98.15 o 29772 98.15 c 3249 98.38 o 29775 98.38 c 3246 98.49 o 29776 98.49 c 3245 98.66 o 29779 98.66 c 3242 98.90 o 29780 98.90 c 3241 98.96 o 29782 98.96 c 3239 99.02 o 29784 99.02 c 3237 99.08 o 29785 99.08 c 3236 99.15 o 29787 99.15 c 3234 99.21 o 29788 99.21 c 3233 99.27 o 29790 99.27 c 3231 99.33 o 29791 99.33 c 3230 99.64 o 29793 99.64 c 3228 99.88 o 29795 99.88 c 3226 100.12 o 29796 100.12 c 3225 100.49 o 29797 100.49 c 3224 100.56 o 29799 100.56 c 3222 100.62 o 29801 100.62 c 3220 100.69 o 29802 100.69 c 3219 100.76 o 29804 100.76 c 3217 100.82 o 29806 100.82 c 3215 100.89 o 29807 100.89 c 3214 101.88 o 29810 101.88 c 3211 102.02 o 29812 102.02 c 3209 102.08 o 29814 102.08 c 3207 102.28 o 29816 102.28 c 3205 102.35 o 29819 102.35 c 3202 102.86 o 29821 102.86 c 3200 102.93 o 29825 102.93 c 3196 102.99 o 29826 102.99 c 3195 103.06 o 29827 103.06 c 3194 103.13 o 29828 103.13 c 3193 103.19 o 29829 103.19 c 3192 103.26 o 29831 103.26 c 3190 103.39 o 29832 103.39 c 3189 103.52 o 29833 103.52 c 3188 103.59 o 29835 103.59 c 3186 103.78 o 29837 103.78 c 3184 104.04 o 29842 104.04 c 3179 104.11 o 29843 104.11 c 3178 104.24 o 29846 104.24 c 3175 104.31 o 29849 104.31 c 3172 104.38 o 29854 104.38 c 3167 104.45 o 29856 104.45 c 3165 104.51 o 29857 104.51 c 3164 104.65 o 29858 104.65 c 3163 104.72 o 29859 104.72 c 3162 104.78 o 29860 104.79 c 3161 105.06 o 29862 105.06 c 3159 105.13 o 29864 105.13 c 3157 105.47 o 29867 105.47 c 3154 105.54 o 29869 105.54 c 3152 105.61 o 29870 105.61 c 3151 105.96 o 29871 105.96 c 3150 106.23 o 29872 106.23 c 3149 106.30 o 29874 106.30 c 3147 107.80 o 29875 107.80 c 3146 107.87 o 29876 107.87 c 3145 107.94 o 29878 107.94 c 3143 108.72 o 29879 108.72 c 3142 108.79 o 29880 108.79 c 3141 110.47 o 29881 110.47 c 3140 110.89 o 29882 110.89 c 3139 110.97 o 29886 110.97 c 3135 111.04 o 29887 111.04 c 3134 112.07 o 29889 112.07 c 3132 112.15 o 29892 112.15 c 3129 112.30 o 29894 112.30 c 3127 112.59 o 29895 112.59 c 3126 112.67 o 29896 112.67 c 3125 112.75 o 29898 112.75 c 3123 112.82 o 29901 112.82 c 3120 112.90 o 29902 112.90 c 3119 113.49 o 29905 113.49 c 3116 113.60 o 29906 113.60 c 3115 113.68 o 29907 113.68 c 3114 113.83 o 29909 113.83 c 3112 119.29 o 29910 119.29 c 3111 119.36 o 29911 119.36 c 3110 119.44 o 29913 119.44 c 3108 119.52 o 29914 119.52 c 3107 119.68 o 29916 119.68 c 3105 119.76 o 29918 119.76 c 3103 120.12 o 29919 120.12 c 3102 120.20 o 29920 120.20 c 3101 120.93 o 29923 120.93 c 3098 121.08 o 29924 121.08 c 3097 121.16 o 29925 121.16 c 3096 121.31 o 29926 121.31 c 3095 121.45 o 29927 121.45 c 3094 121.67 o 29928 121.67 c 3093 121.75 o 29932 121.75 c 3089 121.81 o 29933 121.81 c 3088 121.96 o 29934 121.96 c 3087 123.06 o 29935 123.06 c 3086 123.34 o 29936 123.34 c 3085 123.77 o 29937 123.77 c 3084 123.85 o 29938 123.85 c 3083 123.92 o 29940 123.92 c 3081 124.07 o 29941 124.07 c 3080 124.66 o 29943 124.66 c 3078 124.81 o 29944 124.81 c 3077 125.46 o 29946 125.46 c 3075 125.53 o 29947 125.53 c 3074 125.61 o 29948 125.61 c 3073 125.68 o 29950 125.68 c 3071 125.90 o 29952 125.90 c 3069 126.12 o 29953 126.12 c 3068 126.19 o 29955 126.19 c 3066 126.34 o 29956 126.34 c 3065 126.42 o 29957 126.42 c 3064 126.56 o 29958 126.56 c 3063 126.71 o 29959 126.71 c 3062 127.39 o 29960 127.39 c 3061 127.54 o 29961 127.54 c 3060 127.69 o 29964 127.69 c 3057 132.59 o 29966 132.59 c 3055 132.68 o 29967 132.68 c 3054 132.77 o 29969 132.77 c 3052 133.11 o 29970 133.11 c 3051 133.19 o 29972 133.19 c 3049 133.28 o 29974 133.28 c 3047 133.97 o 29976 133.97 c 3045 134.06 o 29977 134.06 c 3044 134.15 o 29978 134.15 c 3043 134.23 o 29980 134.24 c 3041 134.56 o 29982 134.56 c 3039 135.50 o 29985 135.50 c 3036 135.58 o 29987 135.58 c 3034 135.67 o 29988 135.67 c 3033 136.01 o 29989 136.01 c 3032 136.44 o 29992 136.44 c 3029 136.49 o 29993 136.49 c 3028 136.58 o 29994 136.58 c 3027 136.66 o 29996 136.66 c 3025 136.75 o 29998 136.75 c 3023 136.84 o 29999 136.84 c 3022 137.29 o 30000 137.29 c 3021 137.46 o 30001 137.46 c 3020 137.55 o 30002 137.55 c 3019 137.81 o 30004 137.81 c 3017 137.90 o 30006 137.90 c 3015 137.99 o 30008 137.99 c 3013 138.08 o 30011 138.08 c 3010 138.17 o 30012 138.17 c 3009 138.33 o 30015 138.33 c 3006 138.41 o 30016 138.41 c 3005 139.29 o 30018 139.29 c 3003 139.38 o 30020 139.38 c 3001 139.47 o 30022 139.47 c 2999 139.74 o 30028 139.74 c 2993 139.83 o 30029 139.83 c 2992 139.93 o 30030 139.93 c 2991 140.02 o 30031 140.02 c 2990 140.11 o 30033 140.11 c 2988 140.76 o 30034 140.76 c 2987 140.85 o 30036 140.85 c 2985 141.50 o 30038 141.50 c 2983 141.59 o 30039 141.59 c 2982 142.85 o 30041 142.85 c 2980 143.50 o 30043 143.50 c 2978 143.60 o 30044 143.60 c 2977 143.79 o 30046 143.79 c 2975 143.97 o 30049 143.97 c 2972 144.16 o 30050 144.16 c 2971 144.25 o 30051 144.25 c 2970 144.35 o 30052 144.35 c 2969 144.45 o 30054 144.45 c 2967 144.55 o 30055 144.55 c 2966 144.65 o 30057 144.65 c 2964 144.94 o 30059 144.94 c 2962 145.04 o 30061 145.04 c 2960 145.14 o 30062 145.14 c 2959 145.44 o 30063 145.44 c 2958 145.54 o 30064 145.54 c 2957 146.62 o 30065 146.62 c 2956 146.72 o 30066 146.72 c 2955 146.81 o 30067 146.81 c 2954 147.10 o 30069 147.10 c 2952 147.97 o 30070 147.97 c 2951 148.06 o 30072 148.06 c 2949 148.16 o 30073 148.16 c 2948 148.36 o 30074 148.36 c 2947 149.75 o 30077 149.75 c 2944 149.84 o 30078 149.84 c 2943 149.94 o 30079 149.94 c 2942 150.13 o 30081 150.13 c 2940 150.32 o 30082 150.32 c 2939 150.96 o 30083 150.96 c 2938 151.10 o 30085 151.10 c 2936 152.62 o 30087 152.62 c 2934 152.71 o 30091 152.71 c 2930 152.90 o 30093 152.90 c 2928 153.00 o 30094 153.00 c 2927 153.10 o 30095 153.10 c 2926 153.19 o 30097 153.19 c 2924 153.30 o 30098 153.30 c 2923 153.33 o 30099 153.33 c 2922 157.03 o 30101 157.03 c 2920 157.09 o 30102 157.09 c 2919 157.29 o 30104 157.29 c 2917 157.40 o 30105 157.40 c 2916 159.41 o 30106 159.41 c 2915 159.52 o 30107 159.52 c 2914 160.05 o 30108 160.05 c 2913 160.27 o 30111 160.27 c 2910 160.60 o 30112 160.60 c 2909 160.71 o 30113 160.71 c 2908 160.81 o 30116 160.81 c 2905 160.92 o 30119 160.92 c 2902 161.11 o 30120 161.11 c 2901 161.21 o 30123 161.21 c 2898 161.32 o 30124 161.32 c 2897 161.53 o 30126 161.53 c 2895 161.74 o 30129 161.74 c 2892 161.95 o 30131 161.95 c 2890 162.89 o 30132 162.89 c 2889 163.43 o 30133 163.43 c 2888 163.99 o 30134 163.99 c 2887 164.11 o 30136 164.11 c 2885 164.56 o 30137 164.56 c 2884 164.78 o 30140 164.78 c 2881 164.89 o 30143 164.89 c 2878 165.01 o 30145 165.01 c 2876 165.12 o 30147 165.12 c 2874 165.23 o 30150 165.23 c 2871 165.34 o 30151 165.34 c 2870 165.46 o 30152 165.46 c 2869 165.57 o 30154 165.57 c 2867 166.10 o 30155 166.10 c 2866 166.21 o 30156 166.21 c 2865 166.32 o 30159 166.32 c 2862 166.43 o 30160 166.43 c 2861 166.76 o 30161 166.76 c 2860 169.03 o 30162 169.03 c 2859 169.14 o 30163 169.14 c 2858 169.25 o 30166 169.25 c 2855 169.69 o 30167 169.69 c 2854 170.12 o 30168 170.12 c 2853 170.34 o 30169 170.34 c 2852 170.45 o 30170 170.45 c 2851 170.57 o 30173 170.57 c 2848 170.78 o 30175 170.79 c 2846 171.00 o 30176 171.00 c 2845 171.11 o 30177 171.11 c 2844 171.22 o 30178 171.22 c 2843 171.33 o 30179 171.33 c 2842 171.44 o 30180 171.44 c 2841 171.87 o 30181 171.87 c 2840 171.98 o 30182 171.98 c 2839 172.20 o 30184 172.20 c 2837 172.64 o 30185 172.64 c 2836 172.75 o 30186 172.75 c 2835 172.95 o 30187 172.95 c 2834 173.06 o 30188 173.06 c 2833 173.39 o 30190 173.39 c 2831 173.92 o 30191 173.92 c 2830 176.28 o 30192 176.28 c 2829 176.39 o 30194 176.39 c 2827 176.60 o 30197 176.60 c 2824 176.94 o 30200 176.94 c 2821 177.39 o 30201 177.39 c 2820 177.83 o 30202 177.83 c 2819 178.50 o 30203 178.50 c 2818 178.61 o 30204 178.61 c 2817 178.72 o 30206 178.72 c 2815 178.84 o 30207 178.84 c 2814 178.92 o 30208 178.92 c 2813 179.36 o 30212 179.36 c 2809 179.47 o 30213 179.47 c 2808 179.59 o 30215 179.59 c 2806 179.81 o 30216 179.81 c 2805 179.92 o 30218 179.92 c 2803 180.04 o 30219 180.04 c 2802 180.21 o 30220 180.21 c 2801 180.43 o 30221 180.44 c 2800 184.15 o 30224 184.15 c 2797 184.27 o 30225 184.27 c 2796 184.38 o 30226 184.38 c 2795 184.49 o 30228 184.49 c 2793 184.83 o 30230 184.83 c 2791 185.04 o 30232 185.04 c 2789 185.93 o 30234 185.93 c 2787 186.36 o 30235 186.36 c 2786 186.83 o 30237 186.83 c 2784 186.94 o 30238 186.94 c 2783 187.16 o 30241 187.16 c 2780 187.37 o 30243 187.37 c 2778 189.56 o 30245 189.56 c 2776 189.64 o 30246 189.64 c 2775 191.37 o 30247 191.37 c 2774 192.30 o 30248 192.30 c 2773 193.57 o 30249 193.57 c 2772 194.03 o 30253 194.03 c 2768 194.25 o 30255 194.25 c 2766 199.50 o 30256 199.50 c 2765 199.84 o 30257 199.84 c 2764 199.95 o 30259 199.95 c 2762 200.64 o 30261 200.64 c 2760 201.11 o 30262 201.11 c 2759 201.33 o 30263 201.33 c 2758 201.67 o 30267 201.67 c 2754 201.91 o 30269 201.91 c 2752 202.26 o 30270 202.26 c 2751 203.77 o 30271 203.77 c 2750 203.95 o 30274 203.95 c 2747 204.19 o 30275 204.19 c 2746 204.78 o 30277 204.78 c 2744 204.84 o 30280 204.84 c 2741 204.96 o 30281 204.96 c 2740 205.08 o 30283 205.08 c 2738 205.84 o 30284 205.84 c 2737 205.96 o 30285 205.96 c 2736 206.19 o 30286 206.19 c 2735 206.42 o 30287 206.42 c 2734 206.99 o 30289 206.99 c 2732 207.10 o 30290 207.10 c 2731 207.22 o 30291 207.22 c 2730 207.78 o 30292 207.78 c 2729 208.02 o 30293 208.02 c 2728 208.38 o 30296 208.38 c 2725 208.61 o 30297 208.61 c 2724 208.73 o 30298 208.73 c 2723 208.85 o 30300 208.85 c 2721 208.98 o 30301 208.98 c 2720 209.09 o 30304 209.09 c 2717 209.21 o 30305 209.21 c 2716 209.32 o 30306 209.32 c 2715 209.68 o 30307 209.68 c 2714 209.80 o 30308 209.80 c 2713 210.41 o 30309 210.41 c 2712 210.75 o 30311 210.75 c 2710 210.87 o 30312 210.87 c 2709 210.99 o 30313 210.99 c 2708 211.24 o 30315 211.24 c 2706 211.72 o 30316 211.72 c 2705 212.69 o 30317 212.69 c 2704 212.94 o 30318 212.94 c 2703 213.03 o 30321 213.03 c 2700 213.24 o 30322 213.24 c 2699 213.36 o 30323 213.36 c 2698 213.48 o 30324 213.48 c 2697 213.60 o 30325 213.60 c 2696 214.32 o 30328 214.32 c 2693 214.55 o 30329 214.55 c 2692 214.67 o 30332 214.67 c 2689 214.97 o 30335 214.97 c 2686 214.99 o 30338 214.99 c 2683 215.10 o 30339 215.10 c 2682 215.22 o 30340 215.22 c 2681 215.69 o 30341 215.69 c 2680 215.81 o 30343 215.81 c 2678 216.04 o 30344 216.04 c 2677 216.16 o 30345 216.16 c 2676 216.28 o 30346 216.28 c 2675 216.52 o 30347 216.52 c 2674 216.64 o 30348 216.64 c 2673 216.87 o 30350 216.87 c 2671 217.11 o 30351 217.11 c 2670 220.27 o 30354 220.27 c 2667 220.40 o 30356 220.40 c 2665 220.76 o 30357 220.76 c 2664 228.18 o 30358 228.18 c 2663 228.30 o 30359 228.30 c 2662 228.42 o 30360 228.42 c 2661 228.54 o 30361 228.54 c 2660 228.67 o 30362 228.67 c 2659 228.92 o 30363 228.92 c 2658 237.30 o 30365 237.30 c 2656 237.44 o 30366 237.44 c 2655 237.85 o 30367 237.85 c 2654 239.26 o 30368 239.26 c 2653 239.40 o 30370 239.40 c 2651 239.53 o 30371 239.53 c 2650 239.81 o 30372 239.81 c 2649 239.96 o 30373 239.96 c 2648 240.24 o 30374 240.24 c 2647 240.53 o 30376 240.53 c 2645 240.62 o 30379 240.62 c 2642 240.76 o 30380 240.76 c 2641 240.91 o 30382 240.91 c 2639 242.26 o 30384 242.26 c 2637 242.40 o 30385 242.40 c 2636 242.54 o 30386 242.54 c 2635 243.10 o 30387 243.10 c 2634 243.24 o 30388 243.24 c 2633 243.38 o 30392 243.38 c 2629 246.26 o 30395 246.26 c 2626 246.77 o 30397 246.77 c 2624 246.91 o 30400 246.91 c 2621 250.74 o 30402 250.74 c 2619 250.88 o 30403 250.88 c 2618 251.31 o 30404 251.31 c 2617 251.46 o 30405 251.46 c 2616 251.61 o 30408 251.61 c 2613 251.74 o 30409 251.74 c 2612 252.04 o 30410 252.04 c 2611 252.19 o 30412 252.19 c 2609 252.33 o 30413 252.33 c 2608 254.54 o 30414 254.54 c 2607 255.58 o 30415 255.58 c 2606 256.49 o 30416 256.49 c 2605 264.40 o 30418 264.40 c 2603 264.56 o 30419 264.56 c 2602 265.10 o 30420 265.10 c 2601 265.25 o 30424 265.25 c 2597 265.87 o 30425 265.87 c 2596 267.53 o 30426 267.53 c 2595 267.64 o 30428 267.64 c 2593 268.85 o 30431 268.85 c 2590 269.01 o 30432 269.01 c 2589 269.32 o 30435 269.32 c 2586 270.96 o 30436 270.96 c 2585 271.27 o 30438 271.27 c 2583 271.60 o 30439 271.60 c 2582 271.75 o 30440 271.75 c 2581 272.13 o 30442 272.13 c 2579 272.60 o 30443 272.60 c 2578 272.76 o 30444 272.76 c 2577 275.01 o 30446 275.01 c 2575 275.17 o 30447 275.17 c 2574 275.34 o 30448 275.34 c 2573 275.50 o 30450 275.50 c 2571 278.58 o 30451 278.58 c 2570 278.75 o 30453 278.75 c 2568 278.90 o 30455 278.90 c 2566 279.08 o 30457 279.08 c 2564 280.48 o 30462 280.48 c 2559 280.65 o 30463 280.65 c 2558 280.98 o 30464 280.98 c 2557 282.13 o 30465 282.13 c 2556 282.41 o 30466 282.41 c 2555 282.88 o 30467 282.88 c 2554 283.04 o 30469 283.04 c 2552 283.20 o 30471 283.20 c 2550 283.37 o 30472 283.37 c 2549 283.53 o 30474 283.53 c 2547 283.69 o 30476 283.69 c 2545 284.02 o 30477 284.02 c 2544 284.18 o 30478 284.18 c 2543 285.13 o 30480 285.13 c 2541 285.29 o 30482 285.29 c 2539 285.67 o 30486 285.67 c 2535 285.83 o 30488 285.83 c 2533 285.99 o 30489 285.99 c 2532 286.25 o 30490 286.25 c 2531 286.41 o 30491 286.41 c 2530 286.73 o 30492 286.73 c 2529 287.05 o 30494 287.05 c 2527 300.44 o 30498 300.44 c 2523 300.59 o 30499 300.59 c 2522 300.75 o 30505 300.75 c 2516 301.21 o 30506 301.21 c 2515 303.31 o 30507 303.31 c 2514 303.48 o 30509 303.48 c 2512 304.10 o 30510 304.10 c 2511 306.75 o 30511 306.75 c 2510 306.92 o 30512 306.92 c 2509 307.59 o 30515 307.59 c 2506 307.76 o 30518 307.76 c 2503 307.89 o 30520 307.89 c 2501 307.97 o 30523 307.97 c 2498 308.80 o 30525 308.80 c 2496 308.97 o 30527 308.97 c 2494 309.13 o 30528 309.13 c 2493 309.46 o 30529 309.46 c 2492 310.11 o 30530 310.11 c 2491 310.28 o 30532 310.28 c 2489 310.45 o 30533 310.45 c 2488 310.62 o 30534 310.62 c 2487 310.95 o 30535 310.95 c 2486 311.12 o 30537 311.12 c 2484 312.15 o 30538 312.15 c 2483 312.32 o 30540 312.32 c 2481 312.83 o 30542 312.83 c 2479 313.00 o 30543 313.00 c 2478 313.49 o 30544 313.49 c 2477 323.12 o 30546 323.12 c 2475 323.80 o 30547 323.80 c 2474 323.97 o 30548 323.97 c 2473 324.49 o 30549 324.49 c 2472 325.45 o 30550 325.45 c 2471 325.63 o 30551 325.63 c 2470 325.75 o 30552 325.75 c 2469 326.33 o 30553 326.33 c 2468 326.68 o 30554 326.68 c 2467 327.02 o 30555 327.02 c 2466 329.19 o 30556 329.19 c 2465 329.53 o 30557 329.53 c 2464 330.04 o 30560 330.04 c 2461 330.21 o 30562 330.21 c 2459 338.76 o 30563 338.76 c 2458 339.94 o 30566 339.94 c 2455 340.46 o 30568 340.46 c 2453 340.76 o 30569 340.76 c 2452 343.14 o 30571 343.14 c 2450 346.79 o 30575 346.79 c 2446 350.19 o 30577 350.19 c 2444 351.20 o 30579 351.20 c 2442 351.37 o 30580 351.37 c 2441 351.73 o 30582 351.73 c 2439 353.30 o 30583 353.30 c 2438 353.66 o 30584 353.66 c 2437 354.96 o 30585 354.96 c 2436 355.49 o 30586 355.49 c 2435 355.85 o 30587 355.85 c 2434 356.15 o 30590 356.15 c 2431 357.22 o 30591 357.22 c 2430 361.39 o 30593 361.39 c 2428 361.61 o 30594 361.61 c 2427 361.80 o 30596 361.80 c 2425 362.15 o 30598 362.15 c 2423 362.33 o 30599 362.33 c 2422 363.20 o 30600 363.20 c 2421 363.38 o 30602 363.38 c 2419 363.56 o 30603 363.56 c 2418 363.74 o 30604 363.74 c 2417 363.91 o 30606 363.91 c 2415 364.09 o 30607 364.09 c 2414 364.79 o 30608 364.79 c 2413 365.47 o 30609 365.47 c 2412 365.64 o 30610 365.64 c 2411 365.81 o 30612 365.81 c 2409 366.83 o 30614 366.83 c 2407 367.00 o 30617 367.00 c 2404 367.17 o 30619 367.17 c 2402 367.51 o 30623 367.51 c 2398 369.71 o 30624 369.71 c 2397 371.99 o 30625 371.99 c 2396 372.67 o 30628 372.67 c 2393 373.13 o 30629 373.13 c 2392 384.59 o 30632 384.59 c 2389 384.76 o 30634 384.76 c 2387 384.94 o 30635 384.94 c 2386 385.11 o 30636 385.11 c 2385 385.47 o 30637 385.47 c 2384 390.43 o 30638 390.43 c 2383 390.61 o 30640 390.61 c 2381 405.02 o 30641 405.02 c 2380 405.21 o 30642 405.21 c 2379 407.21 o 30644 407.21 c 2377 412.56 o 30645 412.56 c 2376 412.75 o 30648 412.75 c 2373 413.48 o 30649 413.48 c 2372 413.68 o 30651 413.68 c 2370 413.87 o 30652 413.87 c 2369 414.24 o 30653 414.24 c 2368 414.39 o 30654 414.39 c 2367 414.58 o 30655 414.58 c 2366 418.00 o 30656 418.00 c 2365 420.50 o 30659 420.50 c 2362 420.75 o 30661 420.75 c 2360 421.30 o 30662 421.30 c 2359 421.46 o 30663 421.46 c 2358 421.65 o 30665 421.65 c 2356 424.64 o 30667 424.64 c 2354 431.52 o 30670 431.52 c 2351 431.91 o 30671 431.91 c 2350 432.11 o 30672 432.11 c 2349 432.60 o 30673 432.60 c 2348 432.80 o 30675 432.80 c 2346 432.99 o 30676 432.99 c 2345 434.14 o 30677 434.14 c 2344 434.22 o 30678 434.22 c 2343 435.28 o 30679 435.28 c 2342 435.61 o 30680 435.61 c 2341 435.80 o 30682 435.80 c 2339 435.99 o 30684 435.99 c 2337 436.18 o 30685 436.18 c 2336 437.78 o 30690 437.78 c 2331 437.97 o 30691 437.97 c 2330 442.14 o 30692 442.14 c 2329 442.32 o 30693 442.32 c 2328 444.15 o 30694 444.15 c 2327 445.66 o 30696 445.66 c 2325 446.02 o 30697 446.02 c 2324 446.17 o 30699 446.17 c 2322 446.72 o 30701 446.72 c 2320 446.90 o 30703 446.90 c 2318 447.22 o 30706 447.22 c 2315 447.41 o 30707 447.41 c 2314 447.51 o 30709 447.51 c 2312 448.44 o 30710 448.44 c 2311 457.51 o 30711 457.51 c 2310 462.82 o 30712 462.82 c 2309 462.99 o 30716 462.99 c 2305 464.26 o 30720 464.26 c 2301 464.63 o 30721 464.63 c 2300 464.81 o 30722 464.81 c 2299 464.99 o 30723 464.99 c 2298 465.18 o 30725 465.18 c 2296 465.25 o 30727 465.25 c 2294 465.30 o 30730 465.30 c 2291 468.88 o 30733 468.88 c 2288 469.07 o 30734 469.07 c 2287 469.81 o 30736 469.81 c 2285 473.22 o 30738 473.22 c 2283 473.41 o 30740 473.41 c 2281 474.89 o 30742 474.89 c 2279 481.98 o 30743 481.98 c 2278 485.51 o 30744 485.51 c 2277 487.60 o 30745 487.60 c 2276 487.80 o 30746 487.80 c 2275 488.70 o 30747 488.70 c 2274 491.87 o 30748 491.87 c 2273 492.07 o 30749 492.07 c 2272 493.07 o 30753 493.07 c 2268 493.46 o 30754 493.46 c 2267 493.66 o 30756 493.66 c 2265 493.85 o 30758 493.85 c 2263 494.43 o 30759 494.43 c 2262 494.83 o 30760 494.83 c 2261 495.03 o 30762 495.03 c 2259 495.23 o 30763 495.23 c 2258 496.54 o 30765 496.54 c 2256 496.73 o 30766 496.73 c 2255 496.94 o 30768 496.94 c 2253 497.12 o 30769 497.12 c 2252 497.32 o 30770 497.32 c 2251 501.11 o 30773 501.11 c 2248 503.53 o 30776 503.53 c 2245 503.74 o 30777 503.74 c 2244 503.94 o 30778 503.94 c 2243 504.15 o 30779 504.15 c 2242 504.76 o 30781 504.76 c 2240 506.37 o 30783 506.37 c 2238 507.18 o 30785 507.18 c 2236 507.38 o 30786 507.38 c 2235 509.77 o 30788 509.77 c 2233 509.97 o 30790 509.97 c 2231 510.12 o 30792 510.12 c 2229 510.33 o 30794 510.33 c 2227 510.73 o 30795 510.73 c 2226 516.84 o 30796 516.84 c 2225 517.68 o 30797 517.68 c 2224 518.11 o 30799 518.11 c 2222 518.33 o 30801 518.33 c 2220 521.47 o 30802 521.47 c 2219 521.69 o 30803 521.69 c 2218 522.33 o 30804 522.33 c 2217 522.54 o 30806 522.54 c 2215 522.76 o 30808 522.76 c 2213 523.17 o 30810 523.17 c 2211 523.82 o 30811 523.82 c 2210 525.07 o 30812 525.07 c 2209 527.90 o 30813 527.90 c 2208 528.33 o 30814 528.33 c 2207 530.21 o 30816 530.21 c 2205 530.43 o 30819 530.43 c 2202 530.83 o 30820 530.83 c 2201 531.04 o 30821 531.04 c 2200 531.25 o 30822 531.25 c 2199 531.47 o 30823 531.47 c 2198 531.65 o 30825 531.65 c 2196 531.86 o 30828 531.86 c 2193 532.07 o 30829 532.07 c 2192 536.41 o 30830 536.41 c 2191 536.85 o 30831 536.85 c 2190 538.08 o 30832 538.08 c 2189 538.72 o 30834 538.72 c 2187 538.88 o 30835 538.88 c 2186 541.39 o 30836 541.39 c 2185 541.83 o 30840 541.83 c 2181 542.91 o 30845 542.91 c 2176 543.09 o 30846 543.09 c 2175 546.41 o 30847 546.41 c 2174 546.64 o 30848 546.64 c 2173 546.87 o 30849 546.87 c 2172 547.78 o 30850 547.78 c 2171 548.01 o 30852 548.01 c 2169 548.93 o 30853 548.93 c 2168 549.40 o 30854 549.40 c 2167 549.63 o 30855 549.63 c 2166 549.86 o 30856 549.86 c 2165 550.09 o 30859 550.09 c 2162 551.25 o 30860 551.25 c 2161 551.71 o 30863 551.72 c 2158 553.03 o 30864 553.03 c 2157 553.13 o 30866 553.13 c 2155 554.06 o 30867 554.06 c 2154 554.51 o 30868 554.51 c 2153 554.74 o 30869 554.74 c 2152 554.98 o 30870 554.98 c 2151 557.02 o 30872 557.02 c 2149 560.63 o 30874 560.63 c 2147 561.32 o 30875 561.32 c 2146 561.54 o 30876 561.54 c 2145 562.21 o 30878 562.21 c 2143 562.40 o 30882 562.40 c 2139 564.13 o 30884 564.13 c 2137 564.37 o 30885 564.37 c 2136 564.84 o 30887 564.84 c 2134 565.08 o 30888 565.08 c 2133 566.97 o 30890 566.97 c 2131 567.20 o 30892 567.20 c 2129 567.44 o 30893 567.44 c 2128 567.92 o 30895 567.92 c 2126 572.62 o 30896 572.62 c 2125 577.71 o 30898 577.71 c 2123 577.86 o 30900 577.86 c 2121 578.78 o 30903 578.78 c 2118 583.34 o 30904 583.34 c 2117 583.58 o 30905 583.58 c 2116 583.81 o 30907 583.81 c 2114 589.08 o 30909 589.08 c 2112 589.31 o 30913 589.31 c 2108 589.55 o 30914 589.55 c 2107 592.46 o 30916 592.46 c 2105 593.56 o 30918 593.56 c 2103 594.27 o 30919 594.27 c 2102 601.35 o 30920 601.35 c 2101 604.52 o 30922 604.52 c 2099 606.48 o 30923 606.48 c 2098 607.15 o 30924 607.15 c 2097 607.38 o 30925 607.38 c 2096 619.00 o 30926 619.00 c 2095 619.33 o 30928 619.33 c 2093 619.55 o 30929 619.55 c 2092 620.15 o 30930 620.15 c 2091 621.26 o 30932 621.26 c 2089 621.49 o 30933 621.49 c 2088 621.71 o 30934 621.71 c 2087 622.39 o 30935 622.39 c 2086 623.04 o 30936 623.04 c 2085 623.27 o 30937 623.27 c 2084 624.18 o 30938 624.18 c 2083 624.84 o 30939 624.84 c 2082 625.07 o 30940 625.07 c 2081 625.31 o 30941 625.31 c 2080 655.35 655.35 search 655.35 run=0 nbConstraintChecks=3483283158 nbAssignments=5916 655.35 => wckTime=621.747 cpuTime=621.32 mem=64M245 655.35 655.35 global 655.35 nbConstraintChecks=3483283158 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 655.35 solvingWckTime=621.729 solvingCpuTime=621.3 expiredTime=no totalExploration=no nbFoundSolutions=0 655.35 globalCpuTime=653.37 655.35 => wckTime=655.036 cpuTime=653.32 mem=64M245 655.35 655.35 solver IterativeSystematicSolver being built... 655.73 => wckTime=655.418 cpuTime=653.57 mem=90M719 656.20 656.20 preprocessing 656.20 nbConstraintChecks=53163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 656.20 detectedInconsistency=no 656.20 => wckTime=0.457 cpuTime=0.44 mem=90M719 2365.05 2365.05 search 2365.05 run=0 nbConstraintChecks=9077934776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2431 2365.05 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=2465 nbRestartNogoods=0 2365.05 => wckTime=1709.315 cpuTime=1708.75 mem=91M744 2401.20 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/node9/watcher-275253-1169218900 -o ROOT/results/node9/solver-275253-1169218900 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275253-1169218900/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.98 2.01 1.95 4/99 24657 /proc/meminfo: memFree=1223448/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=906644 CPUtime=0.02 /proc/24656/stat : 24656 (java) S 24654 24656 23863 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 270285164 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 226661 1817 1036 14 0 214244 0 [pid=24656/tid=24658] ppid=24654 vsize=906644 CPUtime=0 /proc/24656/task/24658/stat : 24658 (java) R 24654 24656 23863 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 270285168 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0 [startup+0.105796 s] /proc/loadavg: 1.98 2.01 1.95 4/99 24657 /proc/meminfo: memFree=1223448/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=914988 CPUtime=0.09 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 3011 0 1 0 8 1 0 0 17 0 8 0 270285164 936947712 2757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228747 2757 1432 14 0 215242 0 [pid=24656/tid=24658] ppid=24654 vsize=914988 CPUtime=0 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 270285168 936947712 2757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.517842 s] /proc/loadavg: 1.98 2.01 1.95 4/99 24657 /proc/meminfo: memFree=1223448/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915332 CPUtime=0.49 /proc/24656/stat : 24656 (java) S 24654 24656 23863 0 -1 0 7012 0 1 0 45 4 0 0 17 0 8 0 270285164 937299968 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228833 6751 2140 14 0 215303 0 [pid=24656/tid=24658] ppid=24654 vsize=915332 CPUtime=0 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 270285168 937299968 6751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.34694 s] /proc/loadavg: 1.98 2.01 1.95 4/106 24668 /proc/meminfo: memFree=1149536/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915612 CPUtime=1.31 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 22695 0 1 0 120 11 0 0 18 0 8 0 270285164 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228903 22432 2161 14 0 215373 0 [pid=24656/tid=24658] ppid=24654 vsize=915612 CPUtime=0.08 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 6140 0 0 0 6 2 0 0 16 0 8 0 270285168 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915612 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915612 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915612 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915612 CPUtime=0.17 /proc/24656/task/24662/stat : 24662 (java) R 24654 24656 23863 0 -1 64 404 0 0 0 16 1 0 0 19 0 8 0 270285172 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915612 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915612 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937586688 22432 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.98612 s] /proc/loadavg: 1.98 2.01 1.95 3/106 24668 /proc/meminfo: memFree=1136352/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915744 CPUtime=2.95 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 24082 0 1 0 283 12 0 0 25 0 8 0 270285164 937721856 23816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228936 23816 2181 14 0 215406 0 [pid=24656/tid=24658] ppid=24654 vsize=915744 CPUtime=0.17 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 7447 0 0 0 15 2 0 0 16 0 8 0 270285168 937721856 23816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937721856 23816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937721856 23816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937721856 23816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915744 CPUtime=0.19 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 419 0 0 0 18 1 0 0 16 0 8 0 270285172 937721856 23816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937721856 23816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937721856 23816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 915744 [startup+6.26849 s] /proc/loadavg: 1.98 2.01 1.95 3/106 24686 /proc/meminfo: memFree=1136160/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915744 CPUtime=6.2 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 24108 0 1 0 604 16 0 0 25 0 8 0 270285164 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228936 23839 2182 14 0 215406 0 [pid=24656/tid=24658] ppid=24654 vsize=915744 CPUtime=0.17 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 7447 0 0 0 15 2 0 0 17 0 8 0 270285168 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915744 CPUtime=0.22 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 270285172 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 915744 [startup+12.7622 s] /proc/loadavg: 1.98 2.01 1.95 3/106 24696 /proc/meminfo: memFree=1120288/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915744 CPUtime=12.65 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 25671 0 1 0 1229 36 0 0 25 0 8 0 270285164 937721856 25399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228936 25399 2183 14 0 215406 0 [pid=24656/tid=24658] ppid=24654 vsize=915744 CPUtime=0.24 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 8999 0 0 0 21 3 0 0 16 0 8 0 270285168 937721856 25399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937721856 25399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937721856 25399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937721856 25399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915744 CPUtime=0.23 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 448 0 0 0 22 1 0 0 16 0 8 0 270285172 937721856 25399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937721856 25399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937721856 25399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 915744 [startup+25.6297 s] /proc/loadavg: 1.99 2.01 1.95 3/106 24704 /proc/meminfo: memFree=1111720/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915744 CPUtime=25.45 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 28166 0 1 0 2441 104 0 0 25 0 8 0 270285164 937721856 27892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228936 27892 2183 14 0 215406 0 [pid=24656/tid=24658] ppid=24654 vsize=915744 CPUtime=0.4 /proc/24656/task/24658/stat : 24658 (java) R 24654 24656 23863 0 -1 64 11490 0 0 0 36 4 0 0 16 0 8 0 270285168 937721856 27892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937721856 27892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937721856 27892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937721856 27892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915744 CPUtime=0.24 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 450 0 0 0 23 1 0 0 17 0 8 0 270285172 937721856 27892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937721856 27892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937721856 27892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 915744 [startup+51.2434 s] /proc/loadavg: 1.99 2.00 1.95 3/100 24727 /proc/meminfo: memFree=1049312/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915744 CPUtime=50.94 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 34091 0 1 0 4924 170 0 0 25 0 8 0 270285164 937721856 33763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228936 33763 2501 14 0 215406 0 [pid=24656/tid=24658] ppid=24654 vsize=915744 CPUtime=0.87 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 17035 0 0 0 81 6 0 0 16 0 8 0 270285168 937721856 33763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270285168 937721856 33763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937721856 33763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937721856 33763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915744 CPUtime=0.3 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270285172 937721856 33763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937721856 33763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937721856 33763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 915744 [startup+102.455 s] /proc/loadavg: 1.99 2.00 1.95 3/100 24727 /proc/meminfo: memFree=1049440/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915744 CPUtime=102.09 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 34092 0 1 0 10023 186 0 0 25 0 8 0 270285164 937721856 33764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228936 33764 2501 14 0 215406 0 [pid=24656/tid=24658] ppid=24654 vsize=915744 CPUtime=0.87 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 17035 0 0 0 81 6 0 0 16 0 8 0 270285168 937721856 33764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270285168 937721856 33764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937721856 33764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937721856 33764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915744 CPUtime=0.31 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 480 0 0 0 29 2 0 0 16 0 8 0 270285172 937721856 33764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937721856 33764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915744 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937721856 33764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 102.09 Current children cumulated vsize (KiB) 915744 ################ # More data... # ################ Current children cumulated CPU time (s) 2023.97 Current children cumulated vsize (KiB) 915980 [startup+2085.05 s] /proc/loadavg: 2.01 2.01 2.00 3/100 24729 /proc/meminfo: memFree=914016/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915980 CPUtime=2084.04 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 38532 0 1 0 208164 240 0 0 25 0 8 0 270285164 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074271114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228995 38189 2546 14 0 215465 0 [pid=24656/tid=24658] ppid=24654 vsize=915980 CPUtime=0.93 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 21241 0 0 0 85 8 0 0 16 0 8 0 270285168 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915980 CPUtime=0.43 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 619 0 0 0 41 2 0 0 16 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2084.04 Current children cumulated vsize (KiB) 915980 [startup+2145.13 s] /proc/loadavg: 2.00 2.00 2.00 3/100 24729 /proc/meminfo: memFree=914016/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915980 CPUtime=2144.1 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 38532 0 1 0 214170 240 0 0 25 0 8 0 270285164 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228995 38189 2546 14 0 215465 0 [pid=24656/tid=24658] ppid=24654 vsize=915980 CPUtime=0.93 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 21241 0 0 0 85 8 0 0 16 0 8 0 270285168 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915980 CPUtime=0.43 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 619 0 0 0 41 2 0 0 16 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2144.1 Current children cumulated vsize (KiB) 915980 [startup+2205.21 s] /proc/loadavg: 2.00 2.00 2.00 3/100 24729 /proc/meminfo: memFree=913952/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915980 CPUtime=2204.17 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 38532 0 1 0 220176 241 0 0 25 0 8 0 270285164 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228995 38189 2546 14 0 215465 0 [pid=24656/tid=24658] ppid=24654 vsize=915980 CPUtime=0.93 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 21241 0 0 0 85 8 0 0 16 0 8 0 270285168 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915980 CPUtime=0.43 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 619 0 0 0 41 2 0 0 16 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937963520 38189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2204.17 Current children cumulated vsize (KiB) 915980 [startup+2265.29 s] /proc/loadavg: 2.00 2.00 2.00 3/100 24729 /proc/meminfo: memFree=914016/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915980 CPUtime=2264.23 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 38540 0 1 0 226182 241 0 0 25 0 8 0 270285164 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074296215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228995 38192 2546 14 0 215465 0 [pid=24656/tid=24658] ppid=24654 vsize=915980 CPUtime=0.93 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 21241 0 0 0 85 8 0 0 16 0 8 0 270285168 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915980 CPUtime=0.44 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 624 0 0 0 42 2 0 0 16 0 8 0 270285172 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2264.23 Current children cumulated vsize (KiB) 915980 [startup+2325.37 s] /proc/loadavg: 2.04 2.01 2.00 4/100 24729 /proc/meminfo: memFree=913952/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915980 CPUtime=2324.29 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 38540 0 1 0 232187 242 0 0 25 0 8 0 270285164 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228995 38192 2546 14 0 215465 0 [pid=24656/tid=24658] ppid=24654 vsize=915980 CPUtime=0.93 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 21241 0 0 0 85 8 0 0 16 0 8 0 270285168 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915980 CPUtime=0.44 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 624 0 0 0 42 2 0 0 16 0 8 0 270285172 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937963520 38192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2324.29 Current children cumulated vsize (KiB) 915980 [startup+2385.45 s] /proc/loadavg: 2.01 2.01 2.00 3/100 24729 /proc/meminfo: memFree=913952/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915980 CPUtime=2384.36 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 38559 0 1 0 238193 243 0 0 25 0 8 0 270285164 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24656/statm: 228995 38209 2549 14 0 215465 0 [pid=24656/tid=24658] ppid=24654 vsize=915980 CPUtime=0.93 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 21242 0 0 0 85 8 0 0 16 0 8 0 270285168 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915980 CPUtime=0.46 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 636 0 0 0 44 2 0 0 15 0 8 0 270285172 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2384.36 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.2 s] /proc/loadavg: 2.01 2.01 2.00 3/90 24740 /proc/meminfo: memFree=1174832/2055920 swapFree=4191880/4192956 [pid=24656] ppid=24654 vsize=915980 CPUtime=2400.08 /proc/24656/stat : 24656 (java) R 24654 24656 23863 0 -1 0 38559 0 1 0 239765 243 0 0 25 0 8 0 270285164 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290070 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24656/statm: 228995 38209 2549 14 0 215465 0 [pid=24656/tid=24658] ppid=24654 vsize=915980 CPUtime=0.93 /proc/24656/task/24658/stat : 24658 (java) S 24654 24656 23863 0 -1 64 21242 0 0 0 85 8 0 0 16 0 8 0 270285168 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24659] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24659/stat : 24659 (java) S 24654 24656 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285168 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24660] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24660/stat : 24660 (java) S 24654 24656 23863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285169 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24661] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24661/stat : 24661 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285172 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24662] ppid=24654 vsize=915980 CPUtime=0.46 /proc/24656/task/24662/stat : 24662 (java) S 24654 24656 23863 0 -1 64 636 0 0 0 44 2 0 0 15 0 8 0 270285172 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24663] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24663/stat : 24663 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285172 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24656/tid=24664] ppid=24654 vsize=915980 CPUtime=0 /proc/24656/task/24664/stat : 24664 (java) S 24654 24656 23863 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270285172 937963520 38209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2401.25 CPU time (s): 2400.14 CPU user time (s): 2397.68 CPU system time (s): 2.45663 CPU usage (%): 99.9536 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.68 system time used= 2.45663 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38581 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= 50351 involuntary context switches= 69312 runsolver used 3.13552 s user time and 7.60084 s system time The end
Begin job on node9 on Fri Jan 19 15:01:40 UTC 2007 IDJOB= 275253 IDBENCH= 3740 IDSOLVER= 69 FILE ID= node9/275253-1169218900 PBS_JOBID= 3588922 Free space on /tmp= 66551 MiB SOLVER NAME= AbsconMax 109 PFC 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 pfc.xml 1 XSax /tmp/evaluation/275253-1169218900/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-275253-1169218900 -o ROOT/results/node9/solver-275253-1169218900 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275253-1169218900/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= e329d2fbebc2b014e1808d90bbd1aefe RANDOM SEED= 810066057 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.231 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.231 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: 1223928 kB Buffers: 56964 kB Cached: 543412 kB SwapCached: 268 kB Active: 341392 kB Inactive: 405972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1223928 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 13596 kB Writeback: 0 kB Mapped: 168348 kB Slab: 68832 kB Committed_AS: 8593268 kB PageTables: 2760 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= 66551 MiB End job on node9 on Fri Jan 19 15:41:42 UTC 2007