Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.13 | 2404.09 |
| Name | fapp/fapp11-15/fapp15/ fapp15-3000-3.xml |
| MD5SUM | 83479ca6a4f71440e69182b52263adbf |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 31255 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| 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.32 0.32 Abscon 109 (November, 2006) 0.32 0.32 configuration 0.32 name=epfc.xml 0.36 0.36 instance 0.36 name=/tmp/evaluation/275258-1169218911/unknown.xml 0.39 0.39 domains being loaded... 0.43 0.43 variables being loaded... 0.71 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.71 => wckTime=0.381 cpuTime=0.28 mem=27M366 0.71 0.71 predicates being loaded... 0.71 0.71 constraints being loaded... 34.09 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=87810343 nbExtensionStructures=5382 34.09 nbSharedExtensionStructures=27639 nbConflictsStructures=5382 nbSharedConflictsStructures=27639 34.09 nbSharedBinaryRepresentations=1407105 maxDegree=29 maxArity=2 34.09 => wckTime=33.767 cpuTime=32.55 mem=64M305 34.41 34.41 solver LocalSearchSolver being built... 34.45 => wckTime=34.123 cpuTime=32.6 mem=63M389 34.54 34.54 s SATISFIABLE 34.54 o 25921 34.54 c 7100 34.55 o 25930 34.55 c 7091 34.57 o 25941 34.57 c 7080 34.58 o 25948 34.58 c 7073 34.59 o 25954 34.59 c 7067 34.60 o 25960 34.60 c 7061 34.60 o 25965 34.60 c 7056 34.62 o 25970 34.62 c 7051 34.63 o 25975 34.63 c 7046 34.64 o 25985 34.64 c 7036 34.65 o 25995 34.65 c 7026 34.66 o 26003 34.66 c 7018 34.67 o 26010 34.67 c 7011 34.69 o 26017 34.69 c 7004 34.70 o 26023 34.70 c 6998 34.71 o 26028 34.71 c 6993 34.72 o 26032 34.72 c 6989 34.73 o 26036 34.73 c 6985 34.74 o 26039 34.74 c 6982 34.75 o 26042 34.75 c 6979 34.76 o 26045 34.76 c 6976 34.77 o 26048 34.77 c 6973 34.78 o 26051 34.78 c 6970 34.79 o 26053 34.79 c 6968 34.80 o 26055 34.80 c 6966 34.81 o 26057 34.81 c 6964 34.82 o 26058 34.82 c 6963 34.84 o 26068 34.84 c 6953 34.85 o 26076 34.85 c 6945 34.87 o 26084 34.87 c 6937 34.88 o 26092 34.88 c 6929 34.90 o 26099 34.90 c 6922 34.91 o 26106 34.91 c 6915 34.92 o 26112 34.92 c 6909 34.94 o 26118 34.94 c 6903 34.95 o 26124 34.95 c 6897 34.96 o 26130 34.96 c 6891 34.98 o 26136 34.98 c 6885 34.99 o 26141 34.99 c 6880 35.00 o 26145 35.00 c 6876 35.01 o 26149 35.01 c 6872 35.03 o 26153 35.03 c 6868 35.04 o 26157 35.04 c 6864 35.05 o 26160 35.05 c 6861 35.06 o 26163 35.06 c 6858 35.07 o 26166 35.07 c 6855 35.08 o 26169 35.08 c 6852 35.09 o 26172 35.09 c 6849 35.11 o 26175 35.11 c 6846 35.12 o 26177 35.12 c 6844 35.13 o 26179 35.13 c 6842 35.15 o 26181 35.15 c 6840 35.16 o 26183 35.16 c 6838 35.17 o 26191 35.17 c 6830 35.18 o 26193 35.18 c 6828 35.20 o 26200 35.20 c 6821 35.22 o 26207 35.22 c 6814 35.24 o 26214 35.24 c 6807 35.25 o 26221 35.25 c 6800 35.27 o 26227 35.27 c 6794 35.29 o 26233 35.29 c 6788 35.31 o 26239 35.32 c 6782 35.33 o 26245 35.33 c 6776 35.35 o 26250 35.35 c 6771 35.37 o 26255 35.37 c 6766 35.38 o 26260 35.38 c 6761 35.40 o 26265 35.40 c 6756 35.42 o 26270 35.42 c 6751 35.44 o 26275 35.44 c 6746 35.45 o 26280 35.45 c 6741 35.46 o 26285 35.46 c 6736 35.48 o 26289 35.48 c 6732 35.49 o 26293 35.49 c 6728 35.50 o 26297 35.50 c 6724 35.52 o 26301 35.52 c 6720 35.53 o 26305 35.53 c 6716 35.54 o 26309 35.54 c 6712 35.56 o 26313 35.56 c 6708 35.57 o 26317 35.57 c 6704 35.58 o 26321 35.58 c 6700 35.59 o 26325 35.59 c 6696 35.61 o 26328 35.61 c 6693 35.62 o 26331 35.62 c 6690 35.63 o 26334 35.63 c 6687 35.64 o 26337 35.64 c 6684 35.65 o 26340 35.65 c 6681 35.66 o 26343 35.66 c 6678 35.67 o 26346 35.67 c 6675 35.68 o 26348 35.68 c 6673 35.69 o 26350 35.69 c 6671 35.70 o 26351 35.70 c 6670 35.72 o 26354 35.72 c 6667 35.72 o 26358 35.72 c 6663 35.74 o 26363 35.74 c 6658 35.75 o 26368 35.75 c 6653 35.76 o 26372 35.76 c 6649 35.77 o 26377 35.77 c 6644 35.78 o 26381 35.78 c 6640 35.79 o 26383 35.79 c 6638 35.80 o 26384 35.80 c 6637 35.82 o 26389 35.82 c 6632 35.83 o 26394 35.83 c 6627 35.84 o 26396 35.84 c 6625 35.85 o 26398 35.85 c 6623 35.86 o 26402 35.86 c 6619 35.88 o 26405 35.88 c 6616 35.90 o 26413 35.90 c 6608 35.92 o 26421 35.92 c 6600 35.96 o 26423 35.96 c 6598 35.98 o 26430 35.98 c 6591 36.00 o 26437 36.00 c 6584 36.03 o 26444 36.03 c 6577 36.06 o 26450 36.06 c 6571 36.08 o 26456 36.08 c 6565 36.10 o 26462 36.10 c 6559 36.13 o 26468 36.13 c 6553 36.15 o 26474 36.15 c 6547 36.17 o 26480 36.17 c 6541 36.20 o 26486 36.20 c 6535 36.22 o 26492 36.22 c 6529 36.25 o 26498 36.25 c 6523 36.28 o 26504 36.28 c 6517 36.30 o 26510 36.30 c 6511 36.33 o 26515 36.33 c 6506 36.35 o 26520 36.35 c 6501 36.38 o 26525 36.38 c 6496 36.40 o 26530 36.40 c 6491 36.42 o 26535 36.42 c 6486 36.45 o 26540 36.45 c 6481 36.47 o 26545 36.47 c 6476 36.49 o 26550 36.49 c 6471 36.52 o 26555 36.52 c 6466 36.54 o 26559 36.54 c 6462 36.56 o 26563 36.56 c 6458 36.59 o 26567 36.59 c 6454 36.61 o 26571 36.61 c 6450 36.63 o 26575 36.63 c 6446 36.65 o 26579 36.65 c 6442 36.67 o 26581 36.67 c 6440 36.69 o 26585 36.69 c 6436 36.71 o 26589 36.71 c 6432 36.73 o 26593 36.73 c 6428 36.75 o 26595 36.75 c 6426 36.77 o 26599 36.77 c 6422 36.79 o 26603 36.79 c 6418 36.81 o 26607 36.81 c 6414 36.83 o 26610 36.83 c 6411 36.85 o 26613 36.85 c 6408 36.87 o 26616 36.87 c 6405 36.89 o 26619 36.89 c 6402 36.91 o 26622 36.91 c 6399 36.93 o 26625 36.93 c 6396 36.95 o 26628 36.95 c 6393 36.97 o 26631 36.97 c 6390 36.99 o 26634 36.99 c 6387 37.01 o 26637 37.01 c 6384 37.03 o 26640 37.03 c 6381 37.05 o 26643 37.05 c 6378 37.06 o 26646 37.06 c 6375 37.08 o 26649 37.08 c 6372 37.10 o 26651 37.10 c 6370 37.11 o 26653 37.11 c 6368 37.13 o 26655 37.13 c 6366 37.14 o 26657 37.14 c 6364 37.15 o 26659 37.15 c 6362 37.17 o 26661 37.17 c 6360 37.18 o 26663 37.19 c 6358 37.20 o 26665 37.20 c 6356 37.21 o 26667 37.21 c 6354 37.22 o 26669 37.22 c 6352 37.24 o 26671 37.24 c 6350 37.25 o 26673 37.25 c 6348 37.27 o 26675 37.27 c 6346 37.28 o 26677 37.28 c 6344 37.29 o 26678 37.29 c 6343 37.30 o 26679 37.30 c 6342 37.32 o 26680 37.32 c 6341 37.33 o 26682 37.33 c 6339 37.34 o 26683 37.34 c 6338 37.37 o 26688 37.37 c 6333 37.44 o 26691 37.44 c 6330 37.45 o 26695 37.45 c 6326 37.47 o 26699 37.47 c 6322 37.48 o 26707 37.48 c 6314 37.49 o 26711 37.49 c 6310 37.51 o 26717 37.51 c 6304 37.52 o 26721 37.52 c 6300 37.52 o 26724 37.52 c 6297 37.53 o 26727 37.53 c 6294 37.54 o 26732 37.54 c 6289 37.55 o 26738 37.55 c 6283 37.57 o 26739 37.57 c 6282 37.59 o 26741 37.59 c 6280 37.60 o 26742 37.60 c 6279 37.61 o 26747 37.61 c 6274 37.62 o 26750 37.62 c 6271 37.64 o 26756 37.64 c 6265 37.65 o 26757 37.65 c 6264 37.66 o 26759 37.66 c 6262 37.67 o 26760 37.67 c 6261 37.68 o 26761 37.68 c 6260 37.69 o 26765 37.69 c 6256 37.71 o 26767 37.71 c 6254 37.72 o 26770 37.72 c 6251 37.73 o 26774 37.73 c 6247 37.74 o 26778 37.74 c 6243 37.75 o 26780 37.75 c 6241 37.76 o 26782 37.76 c 6239 37.77 o 26787 37.77 c 6234 37.79 o 26793 37.79 c 6228 37.80 o 26798 37.80 c 6223 37.82 o 26803 37.82 c 6218 37.83 o 26809 37.83 c 6212 37.84 o 26814 37.84 c 6207 37.86 o 26819 37.86 c 6202 37.89 o 26823 37.89 c 6198 37.91 o 26827 37.91 c 6194 37.93 o 26833 37.93 c 6188 37.96 o 26839 37.96 c 6182 37.98 o 26845 37.99 c 6176 38.01 o 26851 38.01 c 6170 38.04 o 26858 38.04 c 6163 38.06 o 26864 38.06 c 6157 38.09 o 26870 38.09 c 6151 38.12 o 26876 38.12 c 6145 38.14 o 26881 38.14 c 6140 38.17 o 26886 38.17 c 6135 38.20 o 26891 38.21 c 6130 38.24 o 26894 38.24 c 6127 38.26 o 26899 38.26 c 6122 38.29 o 26904 38.29 c 6117 38.32 o 26909 38.32 c 6112 38.34 o 26914 38.34 c 6107 38.37 o 26919 38.37 c 6102 38.40 o 26921 38.40 c 6100 38.43 o 26926 38.43 c 6095 38.45 o 26931 38.45 c 6090 38.48 o 26936 38.48 c 6085 38.51 o 26941 38.51 c 6080 38.54 o 26945 38.54 c 6076 38.57 o 26949 38.57 c 6072 38.60 o 26953 38.60 c 6068 38.62 o 26957 38.62 c 6064 38.65 o 26961 38.65 c 6060 38.68 o 26965 38.68 c 6056 38.71 o 26969 38.71 c 6052 38.73 o 26973 38.73 c 6048 38.76 o 26977 38.76 c 6044 38.78 o 26982 38.78 c 6039 38.80 o 26986 38.80 c 6035 38.83 o 26990 38.83 c 6031 38.85 o 26994 38.85 c 6027 38.87 o 26998 38.87 c 6023 38.90 o 27001 38.90 c 6020 38.92 o 27004 38.92 c 6017 38.94 o 27007 38.94 c 6014 38.96 o 27010 38.96 c 6011 38.98 o 27013 38.98 c 6008 39.01 o 27016 39.01 c 6005 39.03 o 27019 39.03 c 6002 39.05 o 27022 39.05 c 5999 39.07 o 27025 39.07 c 5996 39.09 o 27028 39.09 c 5993 39.11 o 27031 39.11 c 5990 39.13 o 27033 39.13 c 5988 39.15 o 27035 39.15 c 5986 39.17 o 27037 39.17 c 5984 39.19 o 27040 39.19 c 5981 39.20 o 27042 39.20 c 5979 39.24 o 27044 39.24 c 5977 39.26 o 27048 39.26 c 5973 39.27 o 27050 39.27 c 5971 39.29 o 27052 39.29 c 5969 39.30 o 27054 39.30 c 5967 39.32 o 27056 39.32 c 5965 39.34 o 27058 39.34 c 5963 39.35 o 27060 39.35 c 5961 39.37 o 27062 39.37 c 5959 39.38 o 27064 39.38 c 5957 39.40 o 27066 39.40 c 5955 39.41 o 27068 39.41 c 5953 39.43 o 27070 39.43 c 5951 39.44 o 27072 39.44 c 5949 39.46 o 27073 39.46 c 5948 39.47 o 27074 39.47 c 5947 39.49 o 27075 39.49 c 5946 39.50 o 27076 39.50 c 5945 39.51 o 27078 39.51 c 5943 39.53 o 27084 39.53 c 5937 39.54 o 27089 39.54 c 5932 39.55 o 27090 39.55 c 5931 39.56 o 27091 39.56 c 5930 39.57 o 27092 39.57 c 5929 39.66 o 27095 39.66 c 5926 39.68 o 27100 39.68 c 5921 39.69 o 27104 39.69 c 5917 39.70 o 27106 39.70 c 5915 39.71 o 27109 39.71 c 5912 39.72 o 27114 39.72 c 5907 39.73 o 27117 39.73 c 5904 39.74 o 27121 39.74 c 5900 39.75 o 27127 39.75 c 5894 39.76 o 27129 39.76 c 5892 39.77 o 27137 39.77 c 5884 39.78 o 27140 39.78 c 5881 39.79 o 27145 39.79 c 5876 39.80 o 27148 39.80 c 5873 39.81 o 27151 39.81 c 5870 39.82 o 27153 39.82 c 5868 39.84 o 27157 39.84 c 5864 39.85 o 27160 39.85 c 5861 39.86 o 27161 39.86 c 5860 39.87 o 27162 39.87 c 5859 39.88 o 27167 39.88 c 5854 39.89 o 27173 39.89 c 5848 39.91 o 27177 39.91 c 5844 39.92 o 27180 39.92 c 5841 39.93 o 27184 39.93 c 5837 39.94 o 27191 39.94 c 5830 39.95 o 27198 39.95 c 5823 39.96 o 27202 39.96 c 5819 39.99 o 27204 39.99 c 5817 39.99 o 27206 39.99 c 5815 40.00 o 27209 40.00 c 5812 40.02 o 27212 40.02 c 5809 40.03 o 27213 40.03 c 5808 40.03 o 27216 40.03 c 5805 40.04 o 27221 40.04 c 5800 40.05 o 27223 40.05 c 5798 40.06 o 27225 40.06 c 5796 40.08 o 27229 40.08 c 5792 40.09 o 27235 40.09 c 5786 40.10 o 27238 40.10 c 5783 40.11 o 27243 40.11 c 5778 40.12 o 27245 40.12 c 5776 40.13 o 27250 40.13 c 5771 40.14 o 27252 40.14 c 5769 40.15 o 27255 40.15 c 5766 40.16 o 27258 40.16 c 5763 40.17 o 27260 40.17 c 5761 40.19 o 27263 40.19 c 5758 40.20 o 27270 40.20 c 5751 40.22 o 27276 40.22 c 5745 40.23 o 27279 40.23 c 5742 40.26 o 27280 40.26 c 5741 40.27 o 27283 40.27 c 5738 40.29 o 27288 40.29 c 5733 40.30 o 27289 40.30 c 5732 40.31 o 27291 40.31 c 5730 40.33 o 27293 40.33 c 5728 40.34 o 27295 40.34 c 5726 40.35 o 27297 40.35 c 5724 40.36 o 27299 40.36 c 5722 40.38 o 27303 40.38 c 5718 40.40 o 27309 40.40 c 5712 40.42 o 27315 40.42 c 5706 40.45 o 27321 40.45 c 5700 40.48 o 27327 40.48 c 5694 40.51 o 27332 40.51 c 5689 40.54 o 27337 40.54 c 5684 40.57 o 27342 40.57 c 5679 40.60 o 27348 40.60 c 5673 40.63 o 27353 40.63 c 5668 40.66 o 27358 40.66 c 5663 40.69 o 27361 40.69 c 5660 40.72 o 27366 40.72 c 5655 40.74 o 27367 40.74 c 5654 40.78 o 27372 40.78 c 5649 40.81 o 27377 40.81 c 5644 40.84 o 27382 40.84 c 5639 40.87 o 27387 40.87 c 5634 40.90 o 27391 40.90 c 5630 40.93 o 27395 40.93 c 5626 40.97 o 27399 40.97 c 5622 41.01 o 27403 41.01 c 5618 41.04 o 27407 41.04 c 5614 41.07 o 27411 41.07 c 5610 41.10 o 27415 41.10 c 5606 41.13 o 27419 41.13 c 5602 41.16 o 27423 41.16 c 5598 41.19 o 27427 41.19 c 5594 41.22 o 27431 41.22 c 5590 41.25 o 27435 41.25 c 5586 41.28 o 27439 41.28 c 5582 41.31 o 27442 41.31 c 5579 41.34 o 27445 41.34 c 5576 41.36 o 27448 41.36 c 5573 41.39 o 27451 41.39 c 5570 41.42 o 27454 41.42 c 5567 41.45 o 27457 41.45 c 5564 41.47 o 27458 41.48 c 5563 41.50 o 27461 41.50 c 5560 41.53 o 27464 41.53 c 5557 41.56 o 27467 41.56 c 5554 41.58 o 27470 41.59 c 5551 41.61 o 27473 41.61 c 5548 41.64 o 27476 41.64 c 5545 41.67 o 27478 41.67 c 5543 41.69 o 27480 41.69 c 5541 41.72 o 27482 41.72 c 5539 41.74 o 27484 41.74 c 5537 41.76 o 27486 41.76 c 5535 41.79 o 27488 41.79 c 5533 41.81 o 27490 41.81 c 5531 41.83 o 27492 41.83 c 5529 41.85 o 27494 41.85 c 5527 41.88 o 27496 41.88 c 5525 41.90 o 27497 41.90 c 5524 41.93 o 27499 41.93 c 5522 41.95 o 27501 41.95 c 5520 41.97 o 27503 41.97 c 5518 41.98 o 27505 41.98 c 5516 42.01 o 27507 42.01 c 5514 42.03 o 27509 42.03 c 5512 42.05 o 27510 42.05 c 5511 42.06 o 27514 42.06 c 5507 42.08 o 27516 42.08 c 5505 42.11 o 27518 42.11 c 5503 42.12 o 27520 42.12 c 5501 42.17 o 27522 42.17 c 5499 42.19 o 27523 42.19 c 5498 42.20 o 27524 42.20 c 5497 42.22 o 27525 42.22 c 5496 42.23 o 27526 42.23 c 5495 42.24 o 27527 42.25 c 5494 42.26 o 27528 42.26 c 5493 42.27 o 27529 42.27 c 5492 42.29 o 27532 42.29 c 5489 42.30 o 27533 42.30 c 5488 42.46 o 27535 42.46 c 5486 42.47 o 27538 42.47 c 5483 42.49 o 27541 42.49 c 5480 42.50 o 27543 42.50 c 5478 42.51 o 27544 42.51 c 5477 42.53 o 27545 42.53 c 5476 42.54 o 27550 42.54 c 5471 42.57 o 27554 42.57 c 5467 42.58 o 27556 42.58 c 5465 42.59 o 27561 42.59 c 5460 42.60 o 27564 42.61 c 5457 42.62 o 27565 42.62 c 5456 42.63 o 27568 42.63 c 5453 42.64 o 27572 42.64 c 5449 42.65 o 27576 42.65 c 5445 42.66 o 27579 42.66 c 5442 42.69 o 27581 42.69 c 5440 42.70 o 27585 42.70 c 5436 42.71 o 27587 42.71 c 5434 42.73 o 27591 42.73 c 5430 42.74 o 27593 42.74 c 5428 42.75 o 27595 42.75 c 5426 42.77 o 27598 42.77 c 5423 42.79 o 27599 42.79 c 5422 42.80 o 27603 42.80 c 5418 42.82 o 27606 42.82 c 5415 42.84 o 27608 42.84 c 5413 42.85 o 27609 42.85 c 5412 42.87 o 27611 42.87 c 5410 42.88 o 27615 42.88 c 5406 42.90 o 27616 42.90 c 5405 42.91 o 27619 42.91 c 5402 42.93 o 27622 42.93 c 5399 42.94 o 27624 42.94 c 5397 42.96 o 27626 42.96 c 5395 43.01 o 27631 43.01 c 5390 43.03 o 27634 43.03 c 5387 43.05 o 27638 43.05 c 5383 43.07 o 27642 43.07 c 5379 43.08 o 27646 43.08 c 5375 43.10 o 27648 43.10 c 5373 43.11 o 27653 43.11 c 5368 43.13 o 27656 43.13 c 5365 43.14 o 27658 43.14 c 5363 43.16 o 27661 43.16 c 5360 43.17 o 27663 43.17 c 5358 43.21 o 27664 43.21 c 5357 43.22 o 27666 43.22 c 5355 43.24 o 27667 43.24 c 5354 43.28 o 27672 43.28 c 5349 43.30 o 27675 43.30 c 5346 43.31 o 27678 43.31 c 5343 43.33 o 27679 43.33 c 5342 43.34 o 27680 43.34 c 5341 43.36 o 27684 43.36 c 5337 43.37 o 27689 43.37 c 5332 43.38 o 27691 43.38 c 5330 43.40 o 27694 43.40 c 5327 43.41 o 27695 43.41 c 5326 43.43 o 27700 43.43 c 5321 43.44 o 27704 43.44 c 5317 43.46 o 27707 43.46 c 5314 43.48 o 27712 43.48 c 5309 43.50 o 27713 43.50 c 5308 43.52 o 27715 43.52 c 5306 43.54 o 27719 43.54 c 5302 43.55 o 27722 43.55 c 5299 43.57 o 27725 43.57 c 5296 43.59 o 27730 43.59 c 5291 43.60 o 27734 43.60 c 5287 43.62 o 27738 43.62 c 5283 43.64 o 27742 43.64 c 5279 43.65 o 27744 43.65 c 5277 43.70 o 27746 43.70 c 5275 43.72 o 27749 43.72 c 5272 43.74 o 27750 43.74 c 5271 43.75 o 27756 43.75 c 5265 43.77 o 27758 43.77 c 5263 43.79 o 27759 43.79 c 5262 43.80 o 27764 43.80 c 5257 43.82 o 27768 43.82 c 5253 43.84 o 27773 43.84 c 5248 43.85 o 27776 43.85 c 5245 43.87 o 27778 43.87 c 5243 43.88 o 27780 43.88 c 5241 43.90 o 27781 43.90 c 5240 43.91 o 27784 43.91 c 5237 43.93 o 27787 43.93 c 5234 43.96 o 27789 43.96 c 5232 43.97 o 27791 43.97 c 5230 43.99 o 27795 43.99 c 5226 44.02 o 27798 44.02 c 5223 44.03 o 27800 44.03 c 5221 44.05 o 27805 44.05 c 5216 44.06 o 27810 44.06 c 5211 44.08 o 27812 44.08 c 5209 44.10 o 27816 44.10 c 5205 44.12 o 27819 44.12 c 5202 44.14 o 27822 44.14 c 5199 44.19 o 27824 44.19 c 5197 44.21 o 27827 44.21 c 5194 44.23 o 27828 44.23 c 5193 44.25 o 27834 44.25 c 5187 44.27 o 27837 44.27 c 5184 44.29 o 27838 44.29 c 5183 44.31 o 27839 44.31 c 5182 44.33 o 27841 44.33 c 5180 44.34 o 27842 44.35 c 5179 44.37 o 27844 44.37 c 5177 44.44 o 27847 44.44 c 5174 44.50 o 27848 44.50 c 5173 44.52 o 27850 44.52 c 5171 44.54 o 27853 44.54 c 5168 44.56 o 27855 44.56 c 5166 44.58 o 27859 44.58 c 5162 44.60 o 27860 44.60 c 5161 44.63 o 27863 44.63 c 5158 44.68 o 27868 44.68 c 5153 44.71 o 27873 44.71 c 5148 44.74 o 27878 44.74 c 5143 44.77 o 27883 44.77 c 5138 44.81 o 27888 44.81 c 5133 44.84 o 27893 44.84 c 5128 44.87 o 27897 44.87 c 5124 44.91 o 27901 44.91 c 5120 44.94 o 27905 44.94 c 5116 44.97 o 27909 44.97 c 5112 45.01 o 27913 45.01 c 5108 45.04 o 27917 45.04 c 5104 45.08 o 27921 45.08 c 5100 45.12 o 27926 45.12 c 5095 45.15 o 27930 45.15 c 5091 45.19 o 27933 45.19 c 5088 45.23 o 27936 45.23 c 5085 45.27 o 27940 45.27 c 5081 45.31 o 27943 45.31 c 5078 45.35 o 27946 45.35 c 5075 45.38 o 27949 45.38 c 5072 45.41 o 27952 45.41 c 5069 45.45 o 27955 45.45 c 5066 45.49 o 27958 45.49 c 5063 45.53 o 27961 45.53 c 5060 45.60 o 27964 45.60 c 5057 45.63 o 27967 45.63 c 5054 45.67 o 27970 45.67 c 5051 45.70 o 27973 45.70 c 5048 45.74 o 27976 45.74 c 5045 45.78 o 27978 45.78 c 5043 45.81 o 27980 45.81 c 5041 45.85 o 27982 45.85 c 5039 45.89 o 27984 45.89 c 5037 45.92 o 27986 45.92 c 5035 45.96 o 27988 45.96 c 5033 45.99 o 27990 45.99 c 5031 46.02 o 27992 46.02 c 5029 46.06 o 27994 46.06 c 5027 46.09 o 27996 46.09 c 5025 46.13 o 27998 46.13 c 5023 46.16 o 28000 46.16 c 5021 46.19 o 28002 46.19 c 5019 46.22 o 28004 46.22 c 5017 46.28 o 28008 46.28 c 5013 46.31 o 28010 46.31 c 5011 46.34 o 28012 46.34 c 5009 46.37 o 28014 46.37 c 5007 46.40 o 28016 46.40 c 5005 46.44 o 28018 46.44 c 5003 46.47 o 28020 46.47 c 5001 46.50 o 28022 46.50 c 4999 46.52 o 28024 46.52 c 4997 46.55 o 28026 46.55 c 4995 46.58 o 28028 46.58 c 4993 46.61 o 28030 46.61 c 4991 46.64 o 28034 46.64 c 4987 46.67 o 28035 46.67 c 4986 46.70 o 28036 46.70 c 4985 46.72 o 28037 46.72 c 4984 46.75 o 28038 46.75 c 4983 46.78 o 28039 46.78 c 4982 46.80 o 28040 46.80 c 4981 46.82 o 28041 46.82 c 4980 46.85 o 28044 46.85 c 4977 46.87 o 28045 46.87 c 4976 46.90 o 28046 46.90 c 4975 46.92 o 28050 46.92 c 4971 46.94 o 28052 46.94 c 4969 46.97 o 28053 46.97 c 4968 46.99 o 28054 46.99 c 4967 47.01 o 28055 47.01 c 4966 47.03 o 28056 47.03 c 4965 47.05 o 28059 47.05 c 4962 47.20 o 28062 47.20 c 4959 47.21 o 28068 47.21 c 4953 47.27 o 28069 47.27 c 4952 47.32 o 28071 47.32 c 4950 47.39 o 28074 47.39 c 4947 47.40 o 28076 47.40 c 4945 47.42 o 28079 47.42 c 4942 47.44 o 28082 47.44 c 4939 47.45 o 28084 47.45 c 4937 47.47 o 28088 47.47 c 4933 47.50 o 28091 47.50 c 4930 47.52 o 28092 47.52 c 4929 47.54 o 28094 47.54 c 4927 47.56 o 28098 47.56 c 4923 47.57 o 28101 47.57 c 4920 47.59 o 28103 47.59 c 4918 47.61 o 28105 47.61 c 4916 47.62 o 28107 47.62 c 4914 47.64 o 28108 47.64 c 4913 47.66 o 28109 47.66 c 4912 47.68 o 28113 47.68 c 4908 47.69 o 28115 47.69 c 4906 47.73 o 28116 47.73 c 4905 47.75 o 28119 47.75 c 4902 47.77 o 28122 47.77 c 4899 47.79 o 28126 47.79 c 4895 47.83 o 28127 47.83 c 4894 47.85 o 28129 47.85 c 4892 47.88 o 28130 47.88 c 4891 47.90 o 28132 47.90 c 4889 47.92 o 28134 47.92 c 4887 47.94 o 28137 47.94 c 4884 47.96 o 28139 47.96 c 4882 47.97 o 28142 47.97 c 4879 47.99 o 28145 47.99 c 4876 48.01 o 28146 48.01 c 4875 48.03 o 28149 48.03 c 4872 48.05 o 28153 48.05 c 4868 48.07 o 28155 48.07 c 4866 48.09 o 28157 48.09 c 4864 48.11 o 28158 48.11 c 4863 48.13 o 28163 48.13 c 4858 48.15 o 28166 48.15 c 4855 48.17 o 28167 48.17 c 4854 48.20 o 28170 48.20 c 4851 48.22 o 28173 48.22 c 4848 48.24 o 28177 48.24 c 4844 48.28 o 28182 48.28 c 4839 48.30 o 28183 48.30 c 4838 48.32 o 28187 48.32 c 4834 48.34 o 28189 48.34 c 4832 48.36 o 28191 48.36 c 4830 48.38 o 28194 48.38 c 4827 48.40 o 28196 48.40 c 4825 48.42 o 28200 48.42 c 4821 48.44 o 28202 48.44 c 4819 48.46 o 28204 48.46 c 4817 48.51 o 28205 48.51 c 4816 48.57 o 28209 48.57 c 4812 48.59 o 28213 48.59 c 4808 48.61 o 28217 48.61 c 4804 48.62 o 28220 48.62 c 4801 48.64 o 28223 48.64 c 4798 48.68 o 28226 48.68 c 4795 48.70 o 28228 48.70 c 4793 48.72 o 28230 48.72 c 4791 48.74 o 28235 48.74 c 4786 48.76 o 28238 48.76 c 4783 48.77 o 28240 48.77 c 4781 48.79 o 28242 48.79 c 4779 48.81 o 28245 48.81 c 4776 48.83 o 28247 48.83 c 4774 48.85 o 28248 48.85 c 4773 48.87 o 28252 48.87 c 4769 48.90 o 28257 48.90 c 4764 48.92 o 28258 48.92 c 4763 48.94 o 28262 48.94 c 4759 48.96 o 28265 48.96 c 4756 49.02 o 28266 49.02 c 4755 49.05 o 28268 49.05 c 4753 49.07 o 28269 49.07 c 4752 49.09 o 28272 49.09 c 4749 49.11 o 28275 49.11 c 4746 49.13 o 28278 49.13 c 4743 49.23 o 28280 49.23 c 4741 49.26 o 28282 49.26 c 4739 49.31 o 28283 49.31 c 4738 49.33 o 28288 49.33 c 4733 49.35 o 28289 49.35 c 4732 49.37 o 28291 49.37 c 4730 49.39 o 28292 49.39 c 4729 49.41 o 28295 49.41 c 4726 49.43 o 28297 49.43 c 4724 49.45 o 28301 49.45 c 4720 49.47 o 28303 49.47 c 4718 49.49 o 28306 49.49 c 4715 49.50 o 28310 49.50 c 4711 49.52 o 28314 49.52 c 4707 49.54 o 28318 49.54 c 4703 49.56 o 28320 49.56 c 4701 49.58 o 28324 49.58 c 4697 49.60 o 28328 49.60 c 4693 49.62 o 28330 49.62 c 4691 49.64 o 28332 49.64 c 4689 49.66 o 28333 49.66 c 4688 49.67 o 28336 49.67 c 4685 49.69 o 28339 49.69 c 4682 49.73 o 28340 49.73 c 4681 49.77 o 28341 49.77 c 4680 49.79 o 28342 49.79 c 4679 49.87 o 28344 49.87 c 4677 49.91 o 28348 49.91 c 4673 49.95 o 28350 49.95 c 4671 49.97 o 28351 49.97 c 4670 49.99 o 28354 49.99 c 4667 50.01 o 28357 50.01 c 4664 50.03 o 28359 50.04 c 4662 50.06 o 28361 50.06 c 4660 50.08 o 28363 50.08 c 4658 50.09 o 28368 50.09 c 4653 50.11 o 28370 50.11 c 4651 50.19 o 28371 50.19 c 4650 50.21 o 28372 50.21 c 4649 50.23 o 28373 50.23 c 4648 50.28 o 28375 50.28 c 4646 50.30 o 28380 50.30 c 4641 50.32 o 28382 50.32 c 4639 50.34 o 28386 50.34 c 4635 50.38 o 28387 50.38 c 4634 50.40 o 28389 50.40 c 4632 50.42 o 28392 50.42 c 4629 50.49 o 28393 50.49 c 4628 50.51 o 28397 50.51 c 4624 50.53 o 28401 50.53 c 4620 50.55 o 28402 50.55 c 4619 50.57 o 28405 50.57 c 4616 50.59 o 28408 50.59 c 4613 50.61 o 28411 50.61 c 4610 50.65 o 28415 50.65 c 4606 50.67 o 28416 50.67 c 4605 50.69 o 28418 50.69 c 4603 50.73 o 28420 50.73 c 4601 50.77 o 28421 50.77 c 4600 50.81 o 28423 50.81 c 4598 50.83 o 28424 50.83 c 4597 50.86 o 28426 50.86 c 4595 50.88 o 28431 50.88 c 4590 50.90 o 28433 50.90 c 4588 51.02 o 28438 51.02 c 4583 51.04 o 28443 51.04 c 4578 51.07 o 28447 51.07 c 4574 51.09 o 28449 51.09 c 4572 51.11 o 28451 51.11 c 4570 51.14 o 28454 51.14 c 4567 51.19 o 28455 51.19 c 4566 51.21 o 28456 51.21 c 4565 51.24 o 28458 51.24 c 4563 51.26 o 28461 51.26 c 4560 51.28 o 28462 51.28 c 4559 51.31 o 28463 51.31 c 4558 51.33 o 28467 51.33 c 4554 51.35 o 28469 51.35 c 4552 51.38 o 28471 51.38 c 4550 51.40 o 28473 51.40 c 4548 51.47 o 28476 51.47 c 4545 51.51 o 28477 51.51 c 4544 51.54 o 28479 51.54 c 4542 51.60 o 28482 51.60 c 4539 51.68 o 28484 51.68 c 4537 51.71 o 28485 51.71 c 4536 51.80 o 28487 51.80 c 4534 51.82 o 28491 51.82 c 4530 51.85 o 28495 51.85 c 4526 51.88 o 28498 51.88 c 4523 51.90 o 28500 51.90 c 4521 51.93 o 28501 51.93 c 4520 52.02 o 28505 52.02 c 4516 52.05 o 28508 52.05 c 4513 52.09 o 28513 52.09 c 4508 52.13 o 28516 52.13 c 4505 52.16 o 28519 52.16 c 4502 52.23 o 28522 52.23 c 4499 52.27 o 28525 52.27 c 4496 52.31 o 28526 52.31 c 4495 52.34 o 28530 52.34 c 4491 52.37 o 28533 52.37 c 4488 52.44 o 28536 52.44 c 4485 52.47 o 28539 52.47 c 4482 52.51 o 28541 52.51 c 4480 52.55 o 28543 52.55 c 4478 52.58 o 28545 52.58 c 4476 52.62 o 28547 52.62 c 4474 52.66 o 28549 52.66 c 4472 52.70 o 28551 52.70 c 4470 52.73 o 28553 52.73 c 4468 52.77 o 28555 52.77 c 4466 52.81 o 28557 52.81 c 4464 52.85 o 28559 52.85 c 4462 52.89 o 28560 52.89 c 4461 52.92 o 28561 52.92 c 4460 52.96 o 28562 52.96 c 4459 52.99 o 28563 52.99 c 4458 53.03 o 28564 53.03 c 4457 53.06 o 28565 53.06 c 4456 53.09 o 28566 53.09 c 4455 53.13 o 28567 53.13 c 4454 53.16 o 28568 53.16 c 4453 53.19 o 28569 53.19 c 4452 53.22 o 28570 53.22 c 4451 53.25 o 28571 53.25 c 4450 53.28 o 28573 53.28 c 4448 53.49 o 28575 53.49 c 4446 53.81 o 28576 53.81 c 4445 53.85 o 28577 53.85 c 4444 53.88 o 28580 53.88 c 4441 53.90 o 28581 53.90 c 4440 53.92 o 28584 53.92 c 4437 53.95 o 28586 53.95 c 4435 53.98 o 28587 53.98 c 4434 54.02 o 28589 54.02 c 4432 54.05 o 28592 54.05 c 4429 54.10 o 28595 54.10 c 4426 54.12 o 28599 54.12 c 4422 54.14 o 28601 54.14 c 4420 54.17 o 28602 54.17 c 4419 54.19 o 28605 54.19 c 4416 54.22 o 28608 54.22 c 4413 54.25 o 28611 54.25 c 4410 54.27 o 28612 54.27 c 4409 54.30 o 28616 54.30 c 4405 54.35 o 28618 54.35 c 4403 54.38 o 28619 54.38 c 4402 54.41 o 28621 54.41 c 4400 54.43 o 28622 54.43 c 4399 54.46 o 28626 54.46 c 4395 54.51 o 28628 54.51 c 4393 54.54 o 28632 54.54 c 4389 54.57 o 28635 54.57 c 4386 54.64 o 28636 54.64 c 4385 54.67 o 28637 54.67 c 4384 54.69 o 28639 54.69 c 4382 54.72 o 28643 54.72 c 4378 54.74 o 28647 54.74 c 4374 54.77 o 28649 54.77 c 4372 54.79 o 28651 54.79 c 4370 54.82 o 28655 54.82 c 4366 54.87 o 28658 54.87 c 4363 54.94 o 28661 54.94 c 4360 54.97 o 28664 54.97 c 4357 54.99 o 28665 54.99 c 4356 55.02 o 28667 55.02 c 4354 55.04 o 28668 55.04 c 4353 55.07 o 28672 55.07 c 4349 55.10 o 28676 55.10 c 4345 55.12 o 28678 55.12 c 4343 55.15 o 28680 55.15 c 4341 55.17 o 28683 55.17 c 4338 55.20 o 28686 55.20 c 4335 55.22 o 28688 55.22 c 4333 55.25 o 28689 55.25 c 4332 55.30 o 28690 55.30 c 4331 55.33 o 28692 55.33 c 4329 55.36 o 28694 55.36 c 4327 55.39 o 28695 55.39 c 4326 55.41 o 28700 55.41 c 4321 55.44 o 28704 55.44 c 4317 55.53 o 28707 55.53 c 4314 55.56 o 28710 55.56 c 4311 55.61 o 28714 55.61 c 4307 55.75 o 28717 55.75 c 4304 55.77 o 28719 55.77 c 4302 55.80 o 28720 55.80 c 4301 55.85 o 28721 55.85 c 4300 55.88 o 28728 55.88 c 4293 56.03 o 28730 56.03 c 4291 56.05 o 28733 56.06 c 4288 56.10 o 28736 56.10 c 4285 56.13 o 28740 56.13 c 4281 56.15 o 28742 56.15 c 4279 56.28 o 28743 56.28 c 4278 56.31 o 28744 56.31 c 4277 56.36 o 28747 56.36 c 4274 56.42 o 28751 56.42 c 4270 56.45 o 28755 56.45 c 4266 56.52 o 28756 56.52 c 4265 56.60 o 28759 56.60 c 4262 56.71 o 28762 56.71 c 4259 56.73 o 28764 56.73 c 4257 56.78 o 28769 56.78 c 4252 56.95 o 28770 56.95 c 4251 57.00 o 28772 57.00 c 4249 57.02 o 28773 57.02 c 4248 57.07 o 28777 57.07 c 4244 57.12 o 28778 57.12 c 4243 57.15 o 28780 57.15 c 4241 57.20 o 28783 57.20 c 4238 57.22 o 28785 57.22 c 4236 57.25 o 28788 57.25 c 4233 57.28 o 28789 57.28 c 4232 57.33 o 28793 57.33 c 4228 57.36 o 28796 57.36 c 4225 57.39 o 28798 57.39 c 4223 57.47 o 28799 57.47 c 4222 57.49 o 28800 57.49 c 4221 57.52 o 28803 57.52 c 4218 57.60 o 28804 57.60 c 4217 57.63 o 28806 57.63 c 4215 57.66 o 28808 57.66 c 4213 57.68 o 28810 57.68 c 4211 57.79 o 28812 57.79 c 4209 57.82 o 28813 57.82 c 4208 57.85 o 28819 57.85 c 4202 57.88 o 28822 57.88 c 4199 57.91 o 28824 57.91 c 4197 57.93 o 28827 57.93 c 4194 57.96 o 28828 57.96 c 4193 57.99 o 28830 57.99 c 4191 58.02 o 28835 58.02 c 4186 58.04 o 28840 58.04 c 4181 58.07 o 28844 58.07 c 4177 58.10 o 28846 58.10 c 4175 58.12 o 28848 58.12 c 4173 58.15 o 28849 58.15 c 4172 58.18 o 28852 58.18 c 4169 58.35 o 28854 58.35 c 4167 58.38 o 28856 58.38 c 4165 58.41 o 28858 58.41 c 4163 58.46 o 28859 58.46 c 4162 58.49 o 28862 58.49 c 4159 58.52 o 28863 58.52 c 4158 58.61 o 28866 58.61 c 4155 58.76 o 28868 58.76 c 4153 58.85 o 28869 58.85 c 4152 58.89 o 28871 58.89 c 4150 58.95 o 28875 58.95 c 4146 58.98 o 28879 58.98 c 4142 59.01 o 28883 59.01 c 4138 59.04 o 28884 59.04 c 4137 59.07 o 28885 59.07 c 4136 59.14 o 28888 59.14 c 4133 59.17 o 28889 59.17 c 4132 59.21 o 28891 59.21 c 4130 59.24 o 28895 59.24 c 4126 59.27 o 28896 59.27 c 4125 59.30 o 28900 59.30 c 4121 59.34 o 28902 59.34 c 4119 59.37 o 28903 59.37 c 4118 59.40 o 28904 59.40 c 4117 59.44 o 28907 59.44 c 4114 59.53 o 28910 59.53 c 4111 59.56 o 28911 59.56 c 4110 59.60 o 28913 59.60 c 4108 59.63 o 28916 59.63 c 4105 59.75 o 28917 59.75 c 4104 59.78 o 28919 59.78 c 4102 59.84 o 28920 59.84 c 4101 59.92 o 28922 59.92 c 4099 59.99 o 28923 59.99 c 4098 60.05 o 28924 60.05 c 4097 60.08 o 28925 60.08 c 4096 60.11 o 28927 60.11 c 4094 60.14 o 28930 60.14 c 4091 60.17 o 28932 60.17 c 4089 60.22 o 28933 60.22 c 4088 60.26 o 28934 60.26 c 4087 60.28 o 28935 60.28 c 4086 60.33 o 28937 60.33 c 4084 60.44 o 28938 60.44 c 4083 60.47 o 28940 60.47 c 4081 60.55 o 28941 60.55 c 4080 60.60 o 28942 60.60 c 4079 60.63 o 28944 60.63 c 4077 60.65 o 28945 60.65 c 4076 60.78 o 28947 60.78 c 4074 60.91 o 28949 60.91 c 4072 60.93 o 28951 60.93 c 4070 60.96 o 28954 60.96 c 4067 61.01 o 28955 61.01 c 4066 61.04 o 28956 61.04 c 4065 61.14 o 28959 61.14 c 4062 61.20 o 28960 61.20 c 4061 61.23 o 28964 61.23 c 4057 61.26 o 28966 61.26 c 4055 61.28 o 28967 61.28 c 4054 61.31 o 28968 61.31 c 4053 61.33 o 28971 61.33 c 4050 61.37 o 28973 61.37 c 4048 61.39 o 28975 61.39 c 4046 61.42 o 28977 61.42 c 4044 61.45 o 28981 61.45 c 4040 61.51 o 28982 61.51 c 4039 61.56 o 28985 61.56 c 4036 61.59 o 28986 61.59 c 4035 61.62 o 28987 61.62 c 4034 61.65 o 28991 61.65 c 4030 61.71 o 28993 61.71 c 4028 61.77 o 28994 61.77 c 4027 61.82 o 28998 61.82 c 4023 61.85 o 29001 61.85 c 4020 61.88 o 29003 61.88 c 4018 61.91 o 29005 61.91 c 4016 62.02 o 29008 62.02 c 4013 62.08 o 29010 62.08 c 4011 62.11 o 29013 62.11 c 4008 62.14 o 29014 62.14 c 4007 62.17 o 29016 62.17 c 4005 62.24 o 29019 62.24 c 4002 62.27 o 29020 62.27 c 4001 62.31 o 29024 62.31 c 3997 62.34 o 29025 62.34 c 3996 62.37 o 29027 62.37 c 3994 62.43 o 29028 62.43 c 3993 62.47 o 29030 62.47 c 3991 62.51 o 29031 62.51 c 3990 62.54 o 29033 62.54 c 3988 62.58 o 29035 62.58 c 3986 62.61 o 29036 62.61 c 3985 62.64 o 29044 62.64 c 3977 62.67 o 29045 62.67 c 3976 62.71 o 29046 62.71 c 3975 62.75 o 29049 62.75 c 3972 62.79 o 29052 62.79 c 3969 62.89 o 29056 62.89 c 3965 62.93 o 29058 62.93 c 3963 62.96 o 29060 62.96 c 3961 63.00 o 29063 63.00 c 3958 63.05 o 29066 63.05 c 3955 63.09 o 29068 63.09 c 3953 63.13 o 29070 63.13 c 3951 63.21 o 29071 63.21 c 3950 63.25 o 29073 63.25 c 3948 63.29 o 29075 63.29 c 3946 63.33 o 29077 63.33 c 3944 63.37 o 29079 63.37 c 3942 63.41 o 29080 63.41 c 3941 63.45 o 29084 63.45 c 3937 63.50 o 29086 63.50 c 3935 63.54 o 29088 63.54 c 3933 63.58 o 29091 63.58 c 3930 63.63 o 29093 63.63 c 3928 63.67 o 29095 63.67 c 3926 63.70 o 29099 63.70 c 3922 63.74 o 29101 63.74 c 3920 63.79 o 29103 63.79 c 3918 63.83 o 29105 63.83 c 3916 63.87 o 29106 63.87 c 3915 63.92 o 29107 63.92 c 3914 63.96 o 29108 63.96 c 3913 64.00 o 29109 64.00 c 3912 64.04 o 29112 64.04 c 3909 64.08 o 29113 64.08 c 3908 64.12 o 29114 64.12 c 3907 64.17 o 29115 64.17 c 3906 64.21 o 29116 64.21 c 3905 64.25 o 29117 64.25 c 3904 64.29 o 29118 64.29 c 3903 64.33 o 29121 64.33 c 3900 64.38 o 29122 64.38 c 3899 64.41 o 29123 64.41 c 3898 64.45 o 29124 64.45 c 3897 64.49 o 29125 64.49 c 3896 64.69 o 29126 64.69 c 3895 64.73 o 29130 64.73 c 3891 64.77 o 29133 64.77 c 3888 64.81 o 29138 64.81 c 3883 64.96 o 29140 64.96 c 3881 65.11 o 29141 65.11 c 3880 65.32 o 29144 65.32 c 3877 65.35 o 29145 65.35 c 3876 65.69 o 29148 65.69 c 3873 65.74 o 29152 65.74 c 3869 65.78 o 29153 65.78 c 3868 65.82 o 29157 65.82 c 3864 65.86 o 29158 65.86 c 3863 65.90 o 29162 65.90 c 3859 65.98 o 29163 65.98 c 3858 66.02 o 29165 66.02 c 3856 66.05 o 29166 66.05 c 3855 66.09 o 29169 66.09 c 3852 66.17 o 29171 66.17 c 3850 66.20 o 29173 66.20 c 3848 66.24 o 29175 66.24 c 3846 66.27 o 29176 66.27 c 3845 66.35 o 29180 66.35 c 3841 66.38 o 29182 66.38 c 3839 66.42 o 29183 66.42 c 3838 66.52 o 29187 66.52 c 3834 66.56 o 29188 66.56 c 3833 66.60 o 29193 66.60 c 3828 66.63 o 29196 66.63 c 3825 66.77 o 29198 66.77 c 3823 66.84 o 29199 66.84 c 3822 66.88 o 29200 66.88 c 3821 66.91 o 29203 66.91 c 3818 66.95 o 29207 66.95 c 3814 67.18 o 29209 67.18 c 3812 67.26 o 29210 67.26 c 3811 67.36 o 29214 67.36 c 3807 67.40 o 29215 67.40 c 3806 67.60 o 29216 67.60 c 3805 67.67 o 29218 67.67 c 3803 67.71 o 29221 67.71 c 3800 67.74 o 29222 67.74 c 3799 67.81 o 29224 67.81 c 3797 67.84 o 29226 67.84 c 3795 67.88 o 29227 67.88 c 3794 67.91 o 29229 67.91 c 3792 67.95 o 29231 67.96 c 3790 67.99 o 29233 67.99 c 3788 68.06 o 29234 68.06 c 3787 68.17 o 29235 68.17 c 3786 68.20 o 29239 68.20 c 3782 68.23 o 29240 68.23 c 3781 68.27 o 29241 68.27 c 3780 68.30 o 29245 68.30 c 3776 68.34 o 29248 68.34 c 3773 68.37 o 29250 68.37 c 3771 68.41 o 29252 68.41 c 3769 68.45 o 29256 68.45 c 3765 68.52 o 29259 68.52 c 3762 68.55 o 29260 68.55 c 3761 68.59 o 29262 68.59 c 3759 68.69 o 29264 68.69 c 3757 68.72 o 29265 68.72 c 3756 68.75 o 29268 68.75 c 3753 68.79 o 29271 68.79 c 3750 68.82 o 29272 68.82 c 3749 68.89 o 29275 68.89 c 3746 68.93 o 29279 68.93 c 3742 68.96 o 29280 68.96 c 3741 69.00 o 29284 69.00 c 3737 69.11 o 29285 69.11 c 3736 69.14 o 29288 69.14 c 3733 69.18 o 29290 69.18 c 3731 69.21 o 29293 69.21 c 3728 69.25 o 29296 69.25 c 3725 69.28 o 29298 69.28 c 3723 69.33 o 29300 69.33 c 3721 69.36 o 29302 69.36 c 3719 69.44 o 29303 69.44 c 3718 69.47 o 29304 69.47 c 3717 69.51 o 29305 69.51 c 3716 69.54 o 29306 69.54 c 3715 69.61 o 29309 69.61 c 3712 69.75 o 29310 69.75 c 3711 69.82 o 29312 69.82 c 3709 69.86 o 29313 69.86 c 3708 69.93 o 29315 69.93 c 3706 69.96 o 29317 69.96 c 3704 70.00 o 29318 70.00 c 3703 70.03 o 29319 70.03 c 3702 70.10 o 29320 70.10 c 3701 70.17 o 29322 70.17 c 3699 70.20 o 29324 70.20 c 3697 70.24 o 29326 70.24 c 3695 70.30 o 29327 70.30 c 3694 70.33 o 29330 70.33 c 3691 70.49 o 29332 70.49 c 3689 70.55 o 29333 70.55 c 3688 70.58 o 29334 70.58 c 3687 70.61 o 29337 70.61 c 3684 70.65 o 29339 70.65 c 3682 70.68 o 29341 70.68 c 3680 70.71 o 29342 70.71 c 3679 70.74 o 29343 70.74 c 3678 70.77 o 29345 70.77 c 3676 70.90 o 29348 70.90 c 3673 70.93 o 29350 70.93 c 3671 70.97 o 29351 70.97 c 3670 71.00 o 29352 71.00 c 3669 71.03 o 29353 71.03 c 3668 71.10 o 29355 71.10 c 3666 71.13 o 29357 71.13 c 3664 71.16 o 29360 71.16 c 3661 71.20 o 29361 71.20 c 3660 71.23 o 29363 71.23 c 3658 71.39 o 29364 71.39 c 3657 71.42 o 29367 71.42 c 3654 71.49 o 29369 71.49 c 3652 71.52 o 29370 71.52 c 3651 71.61 o 29372 71.61 c 3649 71.74 o 29374 71.74 c 3647 71.79 o 29376 71.79 c 3645 71.83 o 29378 71.83 c 3643 71.93 o 29379 71.93 c 3642 71.99 o 29381 71.99 c 3640 72.03 o 29383 72.03 c 3638 72.06 o 29384 72.06 c 3637 72.10 o 29385 72.10 c 3636 72.13 o 29386 72.13 c 3635 72.17 o 29389 72.17 c 3632 72.21 o 29391 72.21 c 3630 72.24 o 29392 72.24 c 3629 72.51 o 29395 72.51 c 3626 72.55 o 29396 72.55 c 3625 72.59 o 29399 72.59 c 3622 72.66 o 29402 72.66 c 3619 72.70 o 29403 72.70 c 3618 72.74 o 29406 72.74 c 3615 72.83 o 29407 72.83 c 3614 72.86 o 29409 72.86 c 3612 72.94 o 29411 72.94 c 3610 72.98 o 29413 72.98 c 3608 73.02 o 29415 73.02 c 3606 73.06 o 29416 73.06 c 3605 73.14 o 29417 73.14 c 3604 73.18 o 29419 73.18 c 3602 73.22 o 29421 73.22 c 3600 73.26 o 29423 73.26 c 3598 73.31 o 29424 73.31 c 3597 73.67 o 29426 73.67 c 3595 73.71 o 29427 73.71 c 3594 73.76 o 29428 73.76 c 3593 73.80 o 29430 73.80 c 3591 73.86 o 29432 73.86 c 3589 73.90 o 29435 73.90 c 3586 73.99 o 29436 73.99 c 3585 74.04 o 29438 74.04 c 3583 74.08 o 29439 74.08 c 3582 74.13 o 29441 74.13 c 3580 74.17 o 29445 74.17 c 3576 74.26 o 29447 74.26 c 3574 74.30 o 29449 74.30 c 3572 74.35 o 29450 74.35 c 3571 74.39 o 29451 74.39 c 3570 74.48 o 29454 74.48 c 3567 74.53 o 29456 74.53 c 3565 74.57 o 29458 74.57 c 3563 74.66 o 29462 74.66 c 3559 74.70 o 29465 74.70 c 3556 74.74 o 29469 74.74 c 3552 75.07 o 29470 75.07 c 3551 75.12 o 29475 75.12 c 3546 75.21 o 29476 75.21 c 3545 75.36 o 29477 75.36 c 3544 75.46 o 29479 75.46 c 3542 75.52 o 29481 75.52 c 3540 75.57 o 29483 75.57 c 3538 75.71 o 29484 75.71 c 3537 75.76 o 29487 75.76 c 3534 75.80 o 29490 75.80 c 3531 75.90 o 29491 75.90 c 3530 75.96 o 29494 75.96 c 3527 76.01 o 29495 76.01 c 3526 76.06 o 29498 76.06 c 3523 76.12 o 29499 76.12 c 3522 76.17 o 29500 76.17 c 3521 76.22 o 29502 76.22 c 3519 76.28 o 29503 76.28 c 3518 76.33 o 29504 76.33 c 3517 76.42 o 29505 76.42 c 3516 76.62 o 29508 76.62 c 3513 76.67 o 29510 76.67 c 3511 76.81 o 29512 76.81 c 3509 76.96 o 29513 76.96 c 3508 77.01 o 29514 77.01 c 3507 77.06 o 29516 77.06 c 3505 77.11 o 29517 77.11 c 3504 77.15 o 29519 77.15 c 3502 77.42 o 29522 77.42 c 3499 77.47 o 29523 77.47 c 3498 77.57 o 29524 77.57 c 3497 78.04 o 29525 78.04 c 3496 78.09 o 29527 78.09 c 3494 78.91 o 29529 78.91 c 3492 78.96 o 29530 78.96 c 3491 79.05 o 29532 79.05 c 3489 79.15 o 29535 79.15 c 3486 79.20 o 29536 79.20 c 3485 79.25 o 29537 79.25 c 3484 79.31 o 29538 79.31 c 3483 79.47 o 29540 79.47 c 3481 79.58 o 29542 79.58 c 3479 79.68 o 29543 79.68 c 3478 79.73 o 29544 79.73 c 3477 79.84 o 29545 79.84 c 3476 79.90 o 29547 79.90 c 3474 79.95 o 29550 79.95 c 3471 80.01 o 29553 80.01 c 3468 80.33 o 29554 80.33 c 3467 80.39 o 29556 80.39 c 3465 80.49 o 29557 80.49 c 3464 80.55 o 29561 80.55 c 3460 80.66 o 29562 80.66 c 3459 80.72 o 29563 80.72 c 3458 80.77 o 29567 80.77 c 3454 80.93 o 29568 80.93 c 3453 80.98 o 29570 80.98 c 3451 81.09 o 29571 81.09 c 3450 81.18 o 29573 81.18 c 3448 81.24 o 29575 81.24 c 3446 81.34 o 29580 81.34 c 3441 81.76 o 29581 81.76 c 3440 81.98 o 29583 81.98 c 3438 82.04 o 29584 82.04 c 3437 82.26 o 29585 82.26 c 3436 82.81 o 29590 82.81 c 3431 82.86 o 29593 82.86 c 3428 82.92 o 29595 82.92 c 3426 82.97 o 29597 82.97 c 3424 83.03 o 29598 83.03 c 3423 83.13 o 29601 83.13 c 3420 83.18 o 29602 83.18 c 3419 83.24 o 29603 83.24 c 3418 83.29 o 29605 83.29 c 3416 83.34 o 29608 83.34 c 3413 83.55 o 29609 83.55 c 3412 83.65 o 29610 83.65 c 3411 83.77 o 29612 83.77 c 3409 83.83 o 29613 83.83 c 3408 83.88 o 29615 83.88 c 3406 83.94 o 29616 83.94 c 3405 83.99 o 29617 83.99 c 3404 84.06 o 29620 84.06 c 3401 84.11 o 29623 84.11 c 3398 84.27 o 29624 84.27 c 3397 84.31 o 29626 84.31 c 3395 84.53 o 29627 84.53 c 3394 84.59 o 29630 84.59 c 3391 84.65 o 29631 84.65 c 3390 84.70 o 29632 84.70 c 3389 84.76 o 29635 84.76 c 3386 84.87 o 29636 84.87 c 3385 84.98 o 29642 84.98 c 3379 85.04 o 29644 85.04 c 3377 85.20 o 29645 85.20 c 3376 85.25 o 29647 85.25 c 3374 85.41 o 29648 85.41 c 3373 85.47 o 29649 85.47 c 3372 85.53 o 29650 85.53 c 3371 85.64 o 29651 85.64 c 3370 85.75 o 29652 85.75 c 3369 85.81 o 29653 85.81 c 3368 86.20 o 29655 86.20 c 3366 86.27 o 29656 86.27 c 3365 86.34 o 29658 86.34 c 3363 86.40 o 29660 86.40 c 3361 86.53 o 29662 86.53 c 3359 86.60 o 29664 86.60 c 3357 86.66 o 29666 86.66 c 3355 86.72 o 29668 86.72 c 3353 86.79 o 29670 86.79 c 3351 86.85 o 29672 86.85 c 3349 86.92 o 29674 86.92 c 3347 86.98 o 29675 86.98 c 3346 87.05 o 29677 87.05 c 3344 87.11 o 29679 87.11 c 3342 87.18 o 29681 87.18 c 3340 87.24 o 29684 87.24 c 3337 87.31 o 29685 87.31 c 3336 87.38 o 29686 87.38 c 3335 87.46 o 29687 87.46 c 3334 87.52 o 29688 87.52 c 3333 87.72 o 29689 87.72 c 3332 87.79 o 29690 87.79 c 3331 87.85 o 29691 87.85 c 3330 87.92 o 29692 87.92 c 3329 87.99 o 29693 87.99 c 3328 88.05 o 29696 88.05 c 3325 88.12 o 29697 88.12 c 3324 88.19 o 29698 88.19 c 3323 88.27 o 29699 88.27 c 3322 88.33 o 29703 88.33 c 3318 88.87 o 29705 88.87 c 3316 89.06 o 29707 89.07 c 3314 89.31 o 29710 89.31 c 3311 89.37 o 29713 89.37 c 3308 89.63 o 29714 89.63 c 3307 89.76 o 29716 89.76 c 3305 89.88 o 29717 89.88 c 3304 91.28 o 29720 91.28 c 3301 91.45 o 29723 91.45 c 3298 91.52 o 29724 91.52 c 3297 91.58 o 29725 91.58 c 3296 91.82 o 29727 91.82 c 3294 91.93 o 29729 91.93 c 3292 92.00 o 29731 92.00 c 3290 92.79 o 29733 92.79 c 3288 92.86 o 29735 92.86 c 3286 92.92 o 29736 92.92 c 3285 92.98 o 29738 92.98 c 3283 93.04 o 29743 93.04 c 3278 93.10 o 29745 93.10 c 3276 93.16 o 29747 93.16 c 3274 93.21 o 29749 93.21 c 3272 93.33 o 29751 93.33 c 3270 93.39 o 29754 93.39 c 3267 93.50 o 29755 93.50 c 3266 93.56 o 29756 93.56 c 3265 93.68 o 29757 93.68 c 3264 93.85 o 29758 93.85 c 3263 94.08 o 29760 94.08 c 3261 94.25 o 29762 94.25 c 3259 94.32 o 29764 94.32 c 3257 94.44 o 29766 94.44 c 3255 94.50 o 29768 94.50 c 3253 94.56 o 29769 94.56 c 3252 95.03 o 29770 95.03 c 3251 95.22 o 29771 95.23 c 3250 95.35 o 29772 95.35 c 3249 95.48 o 29773 95.48 c 3248 95.54 o 29776 95.54 c 3245 95.72 o 29777 95.72 c 3244 95.84 o 29778 95.84 c 3243 95.90 o 29781 95.90 c 3240 96.14 o 29782 96.14 c 3239 96.76 o 29784 96.76 c 3237 97.08 o 29785 97.08 c 3236 97.14 o 29786 97.14 c 3235 97.20 o 29788 97.21 c 3233 97.27 o 29789 97.27 c 3232 97.33 o 29790 97.33 c 3231 97.46 o 29791 97.46 c 3230 97.52 o 29792 97.52 c 3229 97.64 o 29794 97.64 c 3227 97.70 o 29796 97.70 c 3225 97.83 o 29797 97.83 c 3224 97.94 o 29798 97.94 c 3223 98.61 o 29800 98.61 c 3221 98.67 o 29801 98.67 c 3220 98.80 o 29803 98.80 c 3218 99.03 o 29804 99.03 c 3217 99.09 o 29806 99.09 c 3215 99.13 o 29807 99.13 c 3214 99.19 o 29808 99.19 c 3213 99.30 o 29810 99.30 c 3211 99.35 o 29812 99.35 c 3209 99.47 o 29814 99.47 c 3207 99.99 o 29816 99.99 c 3205 100.23 o 29819 100.23 c 3202 100.28 o 29822 100.28 c 3199 100.45 o 29823 100.45 c 3198 100.56 o 29824 100.56 c 3197 100.62 o 29825 100.62 c 3196 100.73 o 29826 100.73 c 3195 100.78 o 29827 100.78 c 3194 100.84 o 29828 100.84 c 3193 100.95 o 29829 100.95 c 3192 101.07 o 29831 101.07 c 3190 101.13 o 29832 101.13 c 3189 101.24 o 29833 101.24 c 3188 101.30 o 29837 101.30 c 3184 101.52 o 29839 101.52 c 3182 101.67 o 29841 101.67 c 3180 101.73 o 29842 101.73 c 3179 101.78 o 29845 101.78 c 3176 101.84 o 29847 101.84 c 3174 102.29 o 29849 102.29 c 3172 102.34 o 29851 102.34 c 3170 102.40 o 29853 102.40 c 3168 102.45 o 29856 102.45 c 3165 102.51 o 29857 102.51 c 3164 102.57 o 29859 102.57 c 3162 102.63 o 29861 102.63 c 3160 102.85 o 29862 102.85 c 3159 103.12 o 29863 103.12 c 3158 103.29 o 29865 103.29 c 3156 103.49 o 29867 103.49 c 3154 103.59 o 29869 103.59 c 3152 103.64 o 29872 103.64 c 3149 103.74 o 29873 103.74 c 3148 103.79 o 29875 103.79 c 3146 103.85 o 29876 103.85 c 3145 103.90 o 29878 103.90 c 3143 103.97 o 29881 103.97 c 3140 104.07 o 29882 104.07 c 3139 104.31 o 29884 104.31 c 3137 104.36 o 29885 104.36 c 3136 104.38 o 29890 104.38 c 3131 104.52 o 29891 104.52 c 3130 104.57 o 29892 104.57 c 3129 104.66 o 29893 104.66 c 3128 104.71 o 29895 104.71 c 3126 104.89 o 29896 104.89 c 3125 105.16 o 29897 105.16 c 3124 105.22 o 29898 105.22 c 3123 105.27 o 29899 105.27 c 3122 105.65 o 29900 105.65 c 3121 105.98 o 29902 105.98 c 3119 106.03 o 29904 106.03 c 3117 106.08 o 29905 106.08 c 3116 106.13 o 29908 106.13 c 3113 106.23 o 29909 106.23 c 3112 106.28 o 29912 106.28 c 3109 107.09 o 29914 107.09 c 3107 107.14 o 29916 107.14 c 3105 107.19 o 29919 107.19 c 3102 107.25 o 29921 107.25 c 3100 107.36 o 29922 107.36 c 3099 107.41 o 29925 107.41 c 3096 107.46 o 29926 107.46 c 3095 107.51 o 29927 107.51 c 3094 107.57 o 29928 107.57 c 3093 107.63 o 29929 107.63 c 3092 107.68 o 29930 107.68 c 3091 107.74 o 29932 107.74 c 3089 107.79 o 29934 107.79 c 3087 107.90 o 29936 107.90 c 3085 107.96 o 29938 107.96 c 3083 108.01 o 29940 108.01 c 3081 108.07 o 29942 108.07 c 3079 108.34 o 29943 108.34 c 3078 108.52 o 29945 108.52 c 3076 108.58 o 29946 108.58 c 3075 108.63 o 29947 108.63 c 3074 108.68 o 29948 108.68 c 3073 108.79 o 29950 108.79 c 3071 108.85 o 29952 108.85 c 3069 108.91 o 29953 108.91 c 3068 109.27 o 29954 109.27 c 3067 109.33 o 29955 109.33 c 3066 109.63 o 29956 109.63 c 3065 109.93 o 29958 109.93 c 3063 110.03 o 29963 110.03 c 3058 110.58 o 29964 110.58 c 3057 110.64 o 29965 110.64 c 3056 111.00 o 29966 111.00 c 3055 111.07 o 29968 111.07 c 3053 111.16 o 29970 111.16 c 3051 111.28 o 29973 111.28 c 3048 111.34 o 29974 111.34 c 3047 111.46 o 29975 111.46 c 3046 111.58 o 29976 111.58 c 3045 111.76 o 29977 111.76 c 3044 111.83 o 29979 111.83 c 3042 111.89 o 29981 111.89 c 3040 111.95 o 29982 111.95 c 3039 112.02 o 29984 112.02 c 3037 112.05 o 29985 112.05 c 3036 112.09 o 29989 112.09 c 3032 112.15 o 29990 112.15 c 3031 112.34 o 29992 112.34 c 3029 112.46 o 29995 112.46 c 3026 112.77 o 29996 112.77 c 3025 112.83 o 29997 112.83 c 3024 112.89 o 30000 112.89 c 3021 113.02 o 30001 113.02 c 3020 113.14 o 30003 113.14 c 3018 113.25 o 30006 113.25 c 3015 113.31 o 30010 113.31 c 3011 113.37 o 30011 113.37 c 3010 113.43 o 30013 113.43 c 3008 113.49 o 30014 113.49 c 3007 113.55 o 30020 113.55 c 3001 114.34 o 30021 114.34 c 3000 114.40 o 30024 114.40 c 2997 114.46 o 30026 114.46 c 2995 114.52 o 30029 114.52 c 2992 114.58 o 30030 114.58 c 2991 114.71 o 30032 114.71 c 2989 114.77 o 30035 114.77 c 2986 114.83 o 30040 114.83 c 2981 115.02 o 30041 115.02 c 2980 115.57 o 30044 115.57 c 2977 115.64 o 30045 115.64 c 2976 116.19 o 30047 116.19 c 2974 116.26 o 30048 116.26 c 2973 116.57 o 30049 116.57 c 2972 116.82 o 30051 116.82 c 2970 116.89 o 30052 116.89 c 2969 117.01 o 30055 117.01 c 2966 117.07 o 30057 117.07 c 2964 117.24 o 30059 117.24 c 2962 117.30 o 30060 117.30 c 2961 117.43 o 30061 117.43 c 2960 117.55 o 30063 117.55 c 2958 117.67 o 30065 117.67 c 2956 117.73 o 30070 117.73 c 2951 117.79 o 30071 117.79 c 2950 117.85 o 30072 117.85 c 2949 117.92 o 30074 117.92 c 2947 117.98 o 30076 117.98 c 2945 118.04 o 30077 118.04 c 2944 118.10 o 30080 118.10 c 2941 118.17 o 30081 118.17 c 2940 119.11 o 30086 119.11 c 2935 119.30 o 30088 119.31 c 2933 119.50 o 30089 119.50 c 2932 120.16 o 30090 120.16 c 2931 120.23 o 30092 120.23 c 2929 120.27 o 30096 120.27 c 2925 120.34 o 30097 120.34 c 2924 121.00 o 30098 121.00 c 2923 121.06 o 30099 121.06 c 2922 121.13 o 30102 121.13 c 2919 121.20 o 30103 121.20 c 2918 121.26 o 30104 121.26 c 2917 121.66 o 30105 121.66 c 2916 121.80 o 30107 121.80 c 2914 121.93 o 30109 121.93 c 2912 122.00 o 30110 122.00 c 2911 122.13 o 30111 122.13 c 2910 122.20 o 30113 122.20 c 2908 122.46 o 30115 122.46 c 2906 122.53 o 30116 122.53 c 2905 122.64 o 30117 122.64 c 2904 122.84 o 30119 122.84 c 2902 122.98 o 30122 122.98 c 2899 123.04 o 30124 123.04 c 2897 123.22 o 30126 123.22 c 2895 123.35 o 30127 123.35 c 2894 123.42 o 30130 123.42 c 2891 123.83 o 30132 123.83 c 2889 123.90 o 30135 123.90 c 2886 124.10 o 30138 124.10 c 2883 125.72 o 30139 125.72 c 2882 125.79 o 30141 125.79 c 2880 125.92 o 30143 125.92 c 2878 126.05 o 30144 126.05 c 2877 126.12 o 30146 126.12 c 2875 126.19 o 30147 126.19 c 2874 126.58 o 30148 126.58 c 2873 126.65 o 30150 126.65 c 2871 126.72 o 30151 126.72 c 2870 126.87 o 30152 126.87 c 2869 126.93 o 30153 126.93 c 2868 127.07 o 30154 127.07 c 2867 127.28 o 30155 127.28 c 2866 127.77 o 30156 127.77 c 2865 127.85 o 30157 127.85 c 2864 128.05 o 30158 128.05 c 2863 128.33 o 30160 128.33 c 2861 128.40 o 30162 128.41 c 2859 128.48 o 30164 128.48 c 2857 128.55 o 30166 128.55 c 2855 128.69 o 30167 128.69 c 2854 128.76 o 30168 128.76 c 2853 128.97 o 30170 128.97 c 2851 129.04 o 30171 129.04 c 2850 129.11 o 30176 129.11 c 2845 129.18 o 30177 129.18 c 2844 129.25 o 30178 129.25 c 2843 129.67 o 30180 129.67 c 2841 129.81 o 30182 129.81 c 2839 129.88 o 30184 129.88 c 2837 129.95 o 30186 129.95 c 2835 130.02 o 30187 130.02 c 2834 130.29 o 30188 130.29 c 2833 130.37 o 30190 130.37 c 2831 130.44 o 30191 130.44 c 2830 130.58 o 30192 130.58 c 2829 130.81 o 30195 130.81 c 2826 131.00 o 30197 131.00 c 2824 131.07 o 30198 131.07 c 2823 131.20 o 30199 131.20 c 2822 131.69 o 30202 131.69 c 2819 131.75 o 30206 131.75 c 2815 131.89 o 30207 131.89 c 2814 132.59 o 30208 132.59 c 2813 132.88 o 30211 132.88 c 2810 133.02 o 30212 133.02 c 2809 133.09 o 30213 133.09 c 2808 133.17 o 30215 133.17 c 2806 133.24 o 30217 133.24 c 2804 133.38 o 30220 133.38 c 2801 133.45 o 30224 133.45 c 2797 133.94 o 30226 133.94 c 2795 134.08 o 30228 134.08 c 2793 134.29 o 30229 134.29 c 2792 134.42 o 30234 134.43 c 2787 134.63 o 30236 134.63 c 2785 134.70 o 30237 134.70 c 2784 134.77 o 30238 134.77 c 2783 134.91 o 30239 134.91 c 2782 134.99 o 30240 134.99 c 2781 135.06 o 30242 135.06 c 2779 135.57 o 30243 135.57 c 2778 135.71 o 30245 135.71 c 2776 135.93 o 30246 135.93 c 2775 136.83 o 30248 136.83 c 2773 136.98 o 30249 136.98 c 2772 137.05 o 30251 137.05 c 2770 137.13 o 30252 137.13 c 2769 137.20 o 30255 137.20 c 2766 137.71 o 30256 137.71 c 2765 143.77 o 30258 143.77 c 2763 143.85 o 30259 143.85 c 2762 145.71 o 30262 145.71 c 2759 145.79 o 30263 145.79 c 2758 145.86 o 30265 145.86 c 2756 146.01 o 30267 146.01 c 2754 146.08 o 30269 146.08 c 2752 146.23 o 30270 146.23 c 2751 146.30 o 30273 146.30 c 2748 146.38 o 30276 146.38 c 2745 146.67 o 30277 146.67 c 2744 146.82 o 30278 146.82 c 2743 152.04 o 30280 152.04 c 2741 152.12 o 30282 152.12 c 2739 152.20 o 30283 152.20 c 2738 152.27 o 30284 152.27 c 2737 152.35 o 30286 152.35 c 2735 152.67 o 30287 152.67 c 2734 156.16 o 30288 156.16 c 2733 156.33 o 30289 156.33 c 2732 156.41 o 30290 156.41 c 2731 157.14 o 30292 157.14 c 2729 157.23 o 30293 157.23 c 2728 157.31 o 30294 157.31 c 2727 157.40 o 30295 157.40 c 2726 157.57 o 30296 157.57 c 2725 157.65 o 30297 157.65 c 2724 157.74 o 30298 157.74 c 2723 157.82 o 30299 157.82 c 2722 157.91 o 30300 157.91 c 2721 157.99 o 30301 157.99 c 2720 158.08 o 30302 158.08 c 2719 158.17 o 30303 158.17 c 2718 158.50 o 30306 158.50 c 2715 158.67 o 30308 158.67 c 2713 163.00 o 30309 163.00 c 2712 163.09 o 30310 163.09 c 2711 163.37 o 30312 163.37 c 2709 164.57 o 30313 164.57 c 2708 164.66 o 30316 164.66 c 2705 164.76 o 30317 164.76 c 2704 166.65 o 30318 166.65 c 2703 166.94 o 30322 166.94 c 2699 167.04 o 30324 167.04 c 2697 170.33 o 30325 170.33 c 2696 170.43 o 30326 170.43 c 2695 170.52 o 30328 170.52 c 2693 170.72 o 30329 170.72 c 2692 170.82 o 30330 170.82 c 2691 171.11 o 30332 171.11 c 2689 171.21 o 30333 171.21 c 2688 172.50 o 30335 172.50 c 2686 173.66 o 30337 173.66 c 2684 173.76 o 30338 173.76 c 2683 174.06 o 30339 174.06 c 2682 174.16 o 30340 174.16 c 2681 174.26 o 30341 174.26 c 2680 174.45 o 30343 174.45 c 2678 174.55 o 30344 174.55 c 2677 174.93 o 30345 174.93 c 2676 175.02 o 30346 175.02 c 2675 175.13 o 30349 175.13 c 2672 175.42 o 30350 175.42 c 2671 175.78 o 30352 175.78 c 2669 175.85 o 30353 175.85 c 2668 175.95 o 30354 175.95 c 2667 176.04 o 30356 176.04 c 2665 176.14 o 30357 176.14 c 2664 177.63 o 30358 177.63 c 2663 178.34 o 30359 178.34 c 2662 179.46 o 30362 179.46 c 2659 180.17 o 30363 180.17 c 2658 180.36 o 30364 180.36 c 2657 180.46 o 30366 180.46 c 2655 180.56 o 30368 180.56 c 2653 180.65 o 30369 180.65 c 2652 182.52 o 30371 182.52 c 2650 182.63 o 30372 182.63 c 2649 182.73 o 30374 182.73 c 2647 182.84 o 30377 182.84 c 2644 183.09 o 30379 183.09 c 2642 183.30 o 30380 183.30 c 2641 183.40 o 30381 183.40 c 2640 183.60 o 30383 183.60 c 2638 183.82 o 30387 183.82 c 2634 185.49 o 30388 185.49 c 2633 185.60 o 30390 185.60 c 2631 185.81 o 30392 185.81 c 2629 185.92 o 30393 185.92 c 2628 186.02 o 30394 186.02 c 2627 186.13 o 30395 186.13 c 2626 191.45 o 30397 191.45 c 2624 191.98 o 30398 191.98 c 2623 193.25 o 30400 193.25 c 2621 195.48 o 30402 195.48 c 2619 201.93 o 30403 201.93 c 2618 202.27 o 30404 202.27 c 2617 202.80 o 30405 202.80 c 2616 202.91 o 30406 202.91 c 2615 203.26 o 30407 203.26 c 2614 203.60 o 30408 203.60 c 2613 203.71 o 30409 203.71 c 2612 203.95 o 30412 203.95 c 2609 204.02 o 30416 204.02 c 2605 204.13 o 30418 204.13 c 2603 204.25 o 30422 204.25 c 2599 204.36 o 30424 204.36 c 2597 207.21 o 30426 207.21 c 2595 207.33 o 30427 207.33 c 2594 207.56 o 30431 207.56 c 2590 209.50 o 30432 209.50 c 2589 210.53 o 30433 210.53 c 2588 210.63 o 30435 210.63 c 2586 211.00 o 30437 211.00 c 2584 211.24 o 30438 211.24 c 2583 211.60 o 30439 211.60 c 2582 212.18 o 30440 212.18 c 2581 212.55 o 30441 212.55 c 2580 212.67 o 30442 212.67 c 2579 212.92 o 30444 212.92 c 2577 213.36 o 30445 213.36 c 2576 213.48 o 30448 213.48 c 2573 215.29 o 30449 215.29 c 2572 215.41 o 30450 215.41 c 2571 215.81 o 30451 215.81 c 2570 216.05 o 30452 216.05 c 2569 217.15 o 30454 217.15 c 2567 217.27 o 30455 217.27 c 2566 219.70 o 30456 219.70 c 2565 220.43 o 30457 220.43 c 2564 220.56 o 30458 220.56 c 2563 220.68 o 30460 220.68 c 2561 221.94 o 30461 221.94 c 2560 222.07 o 30463 222.07 c 2558 222.57 o 30465 222.57 c 2556 222.70 o 30467 222.70 c 2554 222.83 o 30469 222.83 c 2552 222.92 o 30472 222.92 c 2549 224.01 o 30473 224.01 c 2548 224.21 o 30475 224.21 c 2546 224.57 o 30476 224.57 c 2545 224.70 o 30480 224.70 c 2541 224.90 o 30483 224.90 c 2538 225.03 o 30484 225.03 c 2537 225.29 o 30486 225.29 c 2535 225.54 o 30487 225.54 c 2534 225.67 o 30489 225.67 c 2532 226.42 o 30490 226.42 c 2531 226.55 o 30492 226.55 c 2529 226.67 o 30493 226.67 c 2528 226.88 o 30494 226.88 c 2527 227.92 o 30497 227.92 c 2524 228.05 o 30499 228.05 c 2522 232.74 o 30500 232.74 c 2521 232.79 o 30504 232.79 c 2517 233.04 o 30506 233.04 c 2515 234.31 o 30507 234.31 c 2514 234.43 o 30508 234.43 c 2513 234.90 o 30510 234.90 c 2511 235.16 o 30511 235.16 c 2510 235.54 o 30512 235.54 c 2509 235.80 o 30515 235.80 c 2506 235.93 o 30519 235.93 c 2502 239.85 o 30520 239.85 c 2501 239.98 o 30521 239.98 c 2500 240.12 o 30522 240.12 c 2499 240.25 o 30523 240.25 c 2498 240.39 o 30524 240.39 c 2497 240.90 o 30525 240.90 c 2496 241.04 o 30528 241.04 c 2493 241.16 o 30529 241.16 c 2492 241.29 o 30530 241.29 c 2491 241.41 o 30531 241.41 c 2490 241.55 o 30532 241.55 c 2489 242.40 o 30533 242.40 c 2488 242.86 o 30535 242.86 c 2486 243.53 o 30537 243.53 c 2484 243.76 o 30540 243.76 c 2481 243.90 o 30541 243.90 c 2480 244.01 o 30544 244.01 c 2477 244.28 o 30546 244.28 c 2475 245.18 o 30547 245.18 c 2474 245.32 o 30548 245.32 c 2473 245.46 o 30549 245.46 c 2472 246.01 o 30550 246.01 c 2471 246.29 o 30552 246.29 c 2469 246.71 o 30553 246.71 c 2468 246.84 o 30554 246.84 c 2467 247.02 o 30555 247.02 c 2466 247.96 o 30556 247.96 c 2465 248.09 o 30557 248.09 c 2464 248.23 o 30560 248.23 c 2461 248.49 o 30561 248.49 c 2460 248.63 o 30563 248.63 c 2458 248.75 o 30564 248.75 c 2457 248.89 o 30565 248.89 c 2456 249.02 o 30566 249.02 c 2455 250.52 o 30567 250.52 c 2454 250.66 o 30569 250.66 c 2452 250.80 o 30571 250.80 c 2450 251.08 o 30573 251.08 c 2448 251.77 o 30574 251.77 c 2447 251.91 o 30576 251.91 c 2445 254.43 o 30577 254.43 c 2444 254.56 o 30578 254.57 c 2443 256.22 o 30579 256.22 c 2442 256.37 o 30581 256.37 c 2440 257.07 o 30582 257.07 c 2439 257.72 o 30583 257.72 c 2438 257.87 o 30584 257.87 c 2437 259.19 o 30587 259.19 c 2434 259.63 o 30588 259.63 c 2433 260.21 o 30590 260.21 c 2431 266.74 o 30591 266.74 c 2430 267.12 o 30592 267.12 c 2429 267.26 o 30593 267.26 c 2428 267.41 o 30594 267.41 c 2427 274.29 o 30595 274.29 c 2426 274.44 o 30597 274.44 c 2424 275.19 o 30599 275.19 c 2422 275.95 o 30600 275.95 c 2421 276.72 o 30602 276.72 c 2419 277.02 o 30604 277.02 c 2417 277.18 o 30605 277.18 c 2416 277.33 o 30607 277.33 c 2414 278.95 o 30608 278.95 c 2413 279.11 o 30609 279.11 c 2412 279.72 o 30613 279.72 c 2408 279.99 o 30614 279.99 c 2407 282.55 o 30616 282.55 c 2405 283.46 o 30617 283.46 c 2404 287.10 o 30619 287.10 c 2402 287.26 o 30620 287.26 c 2401 287.41 o 30621 287.41 c 2400 288.13 o 30622 288.13 c 2399 288.28 o 30623 288.28 c 2398 289.80 o 30624 289.80 c 2397 289.96 o 30625 289.96 c 2396 290.12 o 30626 290.12 c 2395 290.27 o 30627 290.27 c 2394 290.74 o 30628 290.74 c 2393 291.18 o 30630 291.18 c 2391 291.34 o 30631 291.34 c 2390 291.50 o 30633 291.50 c 2388 291.60 o 30635 291.60 c 2386 291.85 o 30639 291.85 c 2382 292.01 o 30642 292.01 c 2379 294.74 o 30644 294.74 c 2377 295.47 o 30645 295.47 c 2376 296.72 o 30648 296.72 c 2373 297.31 o 30649 297.31 c 2372 297.45 o 30651 297.45 c 2370 298.20 o 30652 298.20 c 2369 298.51 o 30653 298.51 c 2368 298.82 o 30655 298.82 c 2366 298.98 o 30656 298.98 c 2365 300.87 o 30657 300.87 c 2364 301.03 o 30658 301.03 c 2363 301.35 o 30660 301.35 c 2361 302.04 o 30663 302.04 c 2358 302.20 o 30664 302.20 c 2357 302.85 o 30665 302.85 c 2356 306.78 o 30666 306.78 c 2355 308.96 o 30667 308.96 c 2354 309.13 o 30670 309.13 c 2351 309.47 o 30672 309.47 c 2349 310.59 o 30673 310.59 c 2348 320.07 o 30675 320.07 c 2346 322.11 o 30678 322.11 c 2343 322.45 o 30679 322.45 c 2342 322.62 o 30680 322.62 c 2341 323.14 o 30681 323.14 c 2340 323.31 o 30682 323.31 c 2339 323.66 o 30683 323.66 c 2338 325.23 o 30684 325.23 c 2337 325.58 o 30687 325.58 c 2334 326.42 o 30689 326.42 c 2332 326.59 o 30690 326.59 c 2331 326.76 o 30692 326.76 c 2329 327.11 o 30694 327.11 c 2327 328.84 o 30695 328.84 c 2326 329.02 o 30696 329.02 c 2325 329.19 o 30700 329.19 c 2321 329.72 o 30701 329.72 c 2320 330.43 o 30702 330.43 c 2319 330.61 o 30703 330.61 c 2318 332.14 o 30707 332.14 c 2314 332.24 o 30709 332.24 c 2312 337.15 o 30711 337.15 c 2310 337.32 o 30713 337.32 c 2308 337.50 o 30714 337.50 c 2307 339.34 o 30715 339.34 c 2306 339.52 o 30717 339.52 c 2304 341.86 o 30719 341.86 c 2302 342.04 o 30720 342.04 c 2301 342.22 o 30721 342.22 c 2300 344.37 o 30723 344.37 c 2298 344.70 o 30724 344.70 c 2297 349.63 o 30725 349.63 c 2296 350.24 o 30726 350.24 c 2295 351.15 o 30727 351.15 c 2294 351.33 o 30728 351.33 c 2293 356.60 o 30729 356.60 c 2292 356.78 o 30730 356.78 c 2291 356.92 o 30733 356.92 c 2288 357.09 o 30734 357.09 c 2287 357.27 o 30735 357.27 c 2286 357.45 o 30736 357.45 c 2285 357.88 o 30738 357.88 c 2283 359.47 o 30740 359.47 c 2281 360.63 o 30741 360.63 c 2280 362.01 o 30742 362.01 c 2279 362.17 o 30745 362.17 c 2276 362.35 o 30750 362.35 c 2271 362.54 o 30751 362.54 c 2270 362.85 o 30755 362.85 c 2266 363.03 o 30758 363.03 c 2263 364.45 o 30759 364.45 c 2262 367.76 o 30761 367.76 c 2260 367.94 o 30762 367.94 c 2259 368.12 o 30763 368.12 c 2258 368.31 o 30765 368.31 c 2256 368.49 o 30766 368.49 c 2255 368.80 o 30768 368.80 c 2253 369.33 o 30770 369.33 c 2251 369.68 o 30772 369.68 c 2249 369.86 o 30774 369.86 c 2247 378.92 o 30777 378.92 c 2244 379.58 o 30778 379.58 c 2243 384.13 o 30779 384.13 c 2242 384.51 o 30780 384.51 c 2241 384.89 o 30781 384.89 c 2240 392.99 o 30783 392.99 c 2238 393.69 o 30784 393.69 c 2237 394.07 o 30785 394.07 c 2236 399.31 o 30787 399.32 c 2234 399.88 o 30788 399.88 c 2233 400.99 o 30789 400.99 c 2232 401.18 o 30790 401.18 c 2231 401.37 o 30792 401.37 c 2229 401.72 o 30794 401.72 c 2227 412.33 o 30795 412.33 c 2226 431.39 o 30796 431.39 c 2225 432.19 o 30798 432.19 c 2223 432.38 o 30799 432.38 c 2222 432.57 o 30801 432.57 c 2220 433.45 o 30803 433.45 c 2218 433.64 o 30806 433.64 c 2215 434.62 o 30807 434.62 c 2214 434.81 o 30809 434.81 c 2212 435.01 o 30810 435.01 c 2211 435.40 o 30811 435.40 c 2210 435.95 o 30812 435.95 c 2209 436.07 o 30814 436.07 c 2207 436.26 o 30815 436.26 c 2206 436.45 o 30816 436.45 c 2205 436.80 o 30817 436.80 c 2204 438.10 o 30819 438.10 c 2202 438.30 o 30820 438.30 c 2201 438.49 o 30822 438.49 c 2199 438.69 o 30824 438.69 c 2197 438.84 o 30827 438.84 c 2194 439.04 o 30829 439.04 c 2192 439.24 o 30830 439.24 c 2191 439.58 o 30831 439.58 c 2190 440.09 o 30833 440.09 c 2188 440.68 o 30834 440.68 c 2187 441.44 o 30835 441.44 c 2186 449.90 o 30836 449.90 c 2185 450.28 o 30837 450.28 c 2184 450.40 o 30840 450.40 c 2181 450.55 o 30842 450.55 c 2179 469.98 o 30843 469.98 c 2178 472.00 o 30844 472.00 c 2177 480.42 o 30845 480.42 c 2176 481.26 o 30846 481.26 c 2175 481.44 o 30849 481.44 c 2172 481.97 o 30850 481.97 c 2171 482.14 o 30853 482.14 c 2168 484.82 o 30855 484.82 c 2166 485.36 o 30856 485.36 c 2165 485.54 o 30857 485.54 c 2164 486.27 o 30858 486.27 c 2163 486.46 o 30859 486.46 c 2162 489.48 o 30860 489.48 c 2161 489.65 o 30862 489.65 c 2159 490.01 o 30863 490.01 c 2158 491.12 o 30864 491.12 c 2157 491.29 o 30865 491.29 c 2156 492.58 o 30868 492.58 c 2153 493.12 o 30869 493.12 c 2152 493.31 o 30870 493.31 c 2151 494.04 o 30871 494.04 c 2150 494.38 o 30872 494.38 c 2149 512.34 o 30873 512.34 c 2148 512.93 o 30875 512.93 c 2146 513.33 o 30878 513.33 c 2143 513.53 o 30879 513.53 c 2142 513.74 o 30880 513.74 c 2141 522.71 o 30881 522.71 c 2140 523.46 o 30882 523.46 c 2139 524.24 o 30883 524.24 c 2138 524.44 o 30885 524.44 c 2136 524.58 o 30887 524.58 c 2134 524.78 o 30888 524.78 c 2133 532.56 o 30890 532.56 c 2131 532.75 o 30891 532.75 c 2130 533.51 o 30893 533.51 c 2128 533.89 o 30894 533.89 c 2127 534.08 o 30895 534.08 c 2126 534.27 o 30896 534.27 c 2125 534.85 o 30899 534.85 c 2122 535.35 o 30900 535.35 c 2121 537.91 o 30902 537.91 c 2119 538.50 o 30903 538.50 c 2118 540.24 o 30905 540.24 c 2116 540.43 o 30906 540.43 c 2115 542.12 o 30907 542.12 c 2114 542.32 o 30908 542.32 c 2113 542.53 o 30910 542.53 c 2111 542.90 o 30912 542.90 c 2109 543.87 o 30916 543.87 c 2105 549.08 o 30918 549.08 c 2103 549.28 o 30919 549.28 c 2102 550.59 o 30920 550.59 c 2101 551.36 o 30921 551.36 c 2100 553.42 o 30922 553.42 c 2099 554.76 o 30923 554.76 c 2098 555.16 o 30924 555.16 c 2097 555.36 o 30925 555.36 c 2096 555.96 o 30927 555.96 c 2094 557.75 o 30928 557.75 c 2093 561.90 o 30930 561.90 c 2091 563.17 o 30931 563.17 c 2090 569.97 o 30932 569.97 c 2089 570.54 o 30933 570.54 c 2088 570.73 o 30935 570.73 c 2086 570.92 o 30936 570.92 c 2085 571.11 o 30937 571.11 c 2084 571.50 o 30938 571.50 c 2083 589.90 o 30940 589.90 c 2081 591.08 o 30941 591.08 c 2080 591.28 o 30943 591.28 c 2078 597.06 o 30945 597.06 c 2076 597.27 o 30946 597.27 c 2075 599.34 o 30947 599.34 c 2074 599.54 o 30949 599.54 c 2072 599.74 o 30951 599.74 c 2070 599.95 o 30954 599.95 c 2067 600.66 o 30957 600.66 c 2064 600.85 o 30958 600.85 c 2063 601.86 o 30960 601.86 c 2061 602.05 o 30963 602.05 c 2058 602.45 o 30964 602.45 c 2057 602.64 o 30965 602.64 c 2056 603.44 o 30966 603.44 c 2055 603.64 o 30967 603.64 c 2054 603.84 o 30968 603.84 c 2053 605.65 o 30969 605.65 c 2052 606.06 o 30970 606.06 c 2051 606.66 o 30971 606.66 c 2050 606.85 o 30973 606.85 c 2048 607.01 o 30975 607.01 c 2046 609.46 o 30976 609.46 c 2045 610.06 o 30977 610.06 c 2044 612.06 o 30978 612.06 c 2043 612.23 o 30980 612.23 c 2041 614.39 o 30981 614.39 c 2040 614.95 o 30982 614.95 c 2039 615.15 o 30983 615.15 c 2038 618.03 o 30984 618.03 c 2037 618.22 o 30985 618.22 c 2036 618.61 o 30987 618.61 c 2034 619.37 o 30988 619.37 c 2033 619.54 o 30989 619.54 c 2032 620.57 o 30990 620.57 c 2031 620.76 o 30994 620.76 c 2027 623.20 o 30995 623.20 c 2026 623.39 o 30996 623.39 c 2025 626.23 o 30997 626.23 c 2024 626.41 o 30999 626.41 c 2022 626.60 o 31001 626.60 c 2020 626.76 o 31003 626.76 c 2018 627.44 o 31004 627.44 c 2017 627.63 o 31006 627.63 c 2015 627.82 o 31007 627.82 c 2014 628.01 o 31008 628.01 c 2013 629.36 o 31010 629.36 c 2011 629.50 o 31011 629.50 c 2010 630.38 o 31012 630.38 c 2009 630.56 o 31013 630.56 c 2008 631.46 o 31015 631.46 c 2006 632.39 o 31016 632.39 c 2005 632.57 o 31017 632.57 c 2004 632.86 o 31018 632.86 c 2003 633.05 o 31019 633.05 c 2002 633.24 o 31020 633.24 c 2001 633.79 o 31021 633.79 c 2000 633.97 o 31022 633.97 c 1999 634.09 o 31026 634.09 c 1995 634.43 o 31027 634.43 c 1994 634.93 o 31028 634.93 c 1993 635.12 o 31030 635.12 c 1991 636.85 o 31031 636.85 c 1990 637.04 o 31032 637.04 c 1989 637.22 o 31033 637.22 c 1988 637.41 o 31035 637.41 c 1986 637.97 o 31037 637.97 c 1984 638.35 o 31041 638.35 c 1980 638.54 o 31042 638.54 c 1979 638.85 o 31043 638.85 c 1978 639.03 o 31044 639.03 c 1977 639.22 o 31046 639.22 c 1975 639.40 o 31048 639.40 c 1973 639.87 o 31049 639.87 c 1972 640.02 o 31050 640.02 c 1971 640.92 o 31052 640.92 c 1969 642.12 o 31053 642.12 c 1968 644.40 o 31054 644.40 c 1967 645.13 o 31055 645.13 c 1966 645.49 o 31056 645.49 c 1965 646.17 o 31057 646.17 c 1964 646.73 o 31058 646.73 c 1963 648.72 o 31059 648.72 c 1962 649.65 o 31060 649.65 c 1961 650.02 o 31062 650.02 c 1959 650.14 o 31063 650.15 c 1958 650.33 o 31066 650.33 c 1955 651.38 o 31068 651.38 c 1953 651.56 o 31070 651.56 c 1951 653.00 o 31073 653.00 c 1948 655.94 o 31074 655.94 c 1947 659.64 o 31075 659.64 c 1946 659.79 o 31077 659.79 c 1944 660.85 o 31078 660.85 c 1943 661.04 o 31079 661.04 c 1942 661.75 o 31082 661.75 c 1939 661.94 o 31083 661.94 c 1938 662.99 o 31085 662.99 c 1936 663.36 o 31086 663.36 c 1935 663.56 o 31087 663.56 c 1934 663.75 o 31088 663.75 c 1933 665.20 o 31090 665.20 c 1931 665.38 o 31091 665.38 c 1930 665.76 o 31092 665.76 c 1929 666.72 o 31093 666.72 c 1928 667.82 o 31095 667.82 c 1926 668.01 o 31096 668.01 c 1925 668.59 o 31097 668.59 c 1924 668.98 o 31099 668.98 c 1922 669.36 o 31100 669.36 c 1921 669.84 o 31101 669.84 c 1920 669.96 o 31102 669.96 c 1919 670.15 o 31103 670.15 c 1918 670.34 o 31105 670.34 c 1916 670.72 o 31108 670.72 c 1913 671.10 o 31110 671.10 c 1911 671.66 o 31112 671.66 c 1909 671.85 o 31113 671.85 c 1908 672.62 o 31114 672.62 c 1907 676.38 o 31116 676.38 c 1905 676.57 o 31117 676.57 c 1904 676.77 o 31118 676.77 c 1903 677.21 o 31119 677.21 c 1902 677.40 o 31120 677.40 c 1901 677.75 o 31121 677.75 c 1900 677.94 o 31122 677.94 c 1899 691.09 o 31125 691.09 c 1896 691.56 o 31126 691.56 c 1895 691.68 o 31128 691.68 c 1893 691.87 o 31129 691.87 c 1892 692.06 o 31130 692.06 c 1891 692.43 o 31131 692.43 c 1890 692.62 o 31132 692.62 c 1889 692.80 o 31133 692.80 c 1888 693.36 o 31134 693.36 c 1887 693.91 o 31135 693.91 c 1886 694.09 o 31137 694.09 c 1884 694.18 o 31140 694.18 c 1881 694.28 o 31141 694.28 c 1880 694.57 o 31142 694.57 c 1879 698.36 o 31143 698.36 c 1878 698.55 o 31144 698.55 c 1877 698.92 o 31145 698.92 c 1876 699.47 o 31146 699.47 c 1875 699.59 o 31147 699.59 c 1874 700.10 o 31148 700.10 c 1873 723.79 o 31149 723.79 c 1872 724.17 o 31150 724.17 c 1871 724.36 o 31152 724.36 c 1869 724.56 o 31154 724.56 c 1867 724.73 o 31156 724.73 c 1865 726.29 o 31157 726.29 c 1864 727.08 o 31158 727.08 c 1863 730.40 o 31159 730.40 c 1862 730.60 o 31161 730.60 c 1860 730.73 o 31162 730.73 c 1859 730.91 o 31163 730.91 c 1858 731.10 o 31164 731.10 c 1857 731.43 o 31167 731.43 c 1854 731.75 o 31170 731.75 c 1851 731.95 o 31173 731.95 c 1848 732.04 o 31174 732.04 c 1847 732.23 o 31176 732.23 c 1845 732.60 o 31177 732.60 c 1844 732.94 o 31178 732.94 c 1843 733.86 o 31180 733.86 c 1841 734.05 o 31181 734.05 c 1840 734.15 o 31185 734.15 c 1836 734.29 o 31189 734.29 c 1832 734.47 o 31190 734.47 c 1831 734.51 o 31192 734.51 c 1829 734.71 o 31193 734.71 c 1828 734.90 o 31194 734.90 c 1827 735.10 o 31195 735.10 c 1826 736.48 o 31196 736.48 c 1825 736.64 o 31199 736.64 c 1822 738.52 o 31201 738.52 c 1820 738.71 o 31202 738.71 c 1819 739.08 o 31204 739.08 c 1817 739.27 o 31205 739.27 c 1816 744.55 o 31206 744.55 c 1815 744.75 o 31207 744.75 c 1814 745.65 o 31209 745.65 c 1812 746.03 o 31210 746.03 c 1811 748.33 o 31212 748.33 c 1809 750.24 o 31214 750.24 c 1807 750.62 o 31215 750.62 c 1806 750.82 o 31216 750.82 c 1805 751.01 o 31218 751.01 c 1803 753.29 o 31219 753.29 c 1802 753.49 o 31221 753.49 c 1800 753.82 o 31222 753.82 c 1799 755.59 o 31227 755.59 c 1794 756.75 o 31228 756.75 c 1793 761.23 o 31231 761.23 c 1790 761.62 o 31234 761.62 c 1787 761.81 o 31236 761.81 c 1785 762.01 o 31238 762.01 c 1783 762.60 o 31239 762.60 c 1782 762.87 o 31243 762.87 c 1778 763.06 o 31244 763.06 c 1777 763.25 o 31245 763.26 c 1776 772.15 o 31246 772.15 c 1775 772.74 o 31249 772.74 c 1772 778.89 o 31250 778.89 c 1771 779.08 o 31251 779.08 c 1770 779.47 o 31252 779.47 c 1769 784.80 o 31254 784.80 c 1767 785.18 o 31255 785.18 c 1766 815.36 815.36 search 815.36 run=0 nbConstraintChecks=4657820916 nbAssignments=7029 815.36 => wckTime=780.908 cpuTime=779.04 mem=64M404 815.36 815.36 global 815.36 nbConstraintChecks=4657820916 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 815.36 solvingWckTime=780.889 solvingCpuTime=779.02 expiredTime=no totalExploration=no nbFoundSolutions=0 815.36 globalCpuTime=811.68 815.36 => wckTime=815.032 cpuTime=811.64 mem=64M404 815.36 815.36 solver IterativeSystematicSolver being built... 815.72 => wckTime=815.397 cpuTime=811.89 mem=90M697 2404.02 v -2604 2432 -2548 2640 -2596 2580 2516 -2632 -2420 -2472 2532 2628 2280 2596 2568 -2444 -2612 2452 2472 2360 -2640 2284 -2600 2596 2388 -2564 2604 2512 -2288 -2636 2352 -2288 -2496 -2444 -2368 -2340 -2636 2616 2284 -2300 -2508 -2420 2316 2496 2280 -2324 -2620 2336 2528 2448 2312 2280 2328 2300 -2320 2492 2320 2332 2468 -2380 2336 2548 2552 -2628 2476 2640 2300 -2456 2492 2436 -2332 -2640 -2304 -2300 2436 2512 -2296 -2328 2320 2332 -2584 2328 2388 -2320 2500 2588 -2296 2632 -2284 2288 2364 -2336 -2324 2460 2588 -2600 -2556 -2316 2296 -2464 2328 2336 -2296 -2516 2488 -2352 2336 2628 -2588 2572 -2532 -2576 2372 2636 -2452 -2412 -2400 2324 -2316 2320 2500 -2512 2632 2572 2468 -2280 -2568 -2320 2328 -2364 -2284 -2388 -2600 -2600 -2316 -2448 2284 2628 -2384 -2284 2584 -2356 -2508 -2336 -2596 2368 2280 2436 -2520 -2296 2556 -2456 -2352 2372 2424 2560 2568 2476 -2280 -2380 2284 2400 2344 2512 2636 -2604 -2500 -2624 2288 -2452 -2640 2304 2424 -2444 -2284 2556 2296 -2636 2616 2544 -2488 2476 2628 -2380 -2460 2404 2556 2288 -2280 -2396 2632 2616 -2596 2428 -2316 2292 -2600 -2532 -2432 2508 -2440 -2344 2428 2588 2344 2584 -2548 2300 2556 2320 -2388 2448 -2420 2576 2468 -2284 -2300 2400 2320 2576 -2476 2500 -2520 -2352 -2420 2408 2520 2452 2592 2356 2364 -2316 -2280 -2628 -2420 -2612 2608 -2492 2428 -2604 -2320 2600 -2480 2284 2496 2516 2592 2328 -2592 -2640 2584 2528 -2400 -2296 2392 2492 2520 2360 -2640 2596 -2584 2336 -2536 -2612 -2636 2284 -2428 2464 2464 2344 2516 -2436 -2532 -2452 -2344 2408 2588 -2308 -2280 2312 -2636 2292 -2632 -2464 -2364 -2456 2524 -2380 -2424 -2344 2500 2552 -2288 2328 2640 -2368 -2636 -2448 -2352 -2640 2600 -2424 -2640 -2408 -2552 -2504 2300 2592 -2432 -2640 -2460 2504 -2372 -2320 -2280 2428 -2508 -2604 2476 2320 -2600 2640 -2616 -2564 -2300 -2472 -2328 -2524 -2360 2324 -2388 2484 -2508 2600 2400 -2460 2308 -2312 2576 -2428 2524 -2420 2576 -2284 -2484 -2332 2496 -2328 2308 -2600 2556 2588 2516 2280 -2372 -2360 2600 -2320 -2504 2504 2600 -2600 2348 2288 -2376 2460 -2564 2572 2564 2452 2320 2280 2592 2348 -2540 2344 2428 2324 -2304 -2340 2324 2640 -2288 2280 -2600 -2424 2320 -2596 2640 -2616 -2636 2448 -2632 -2336 -2372 2608 -2576 -2640 2640 -2344 2508 -2572 2420 -2320 2360 2444 -2368 -2580 2412 2384 -2580 -2604 2324 2380 2456 -2352 -2396 2508 -2372 2420 -2364 -2392 -2364 2524 2548 2632 2564 2368 2376 -2564 -2632 2588 -2300 -2400 2596 2472 -2364 -2416 -2376 -2512 2324 -2616 -2608 2320 -2388 2600 2436 2480 2520 2600 -2328 2496 -2468 2456 -2320 2576 2280 2540 2364 -2404 2328 2564 -2320 2416 -2284 2600 2640 2352 2472 -2564 2280 2356 2320 2480 -2320 -2472 2328 2280 -2496 -2280 -2320 -2376 2468 2324 2380 -2588 2640 2460 2592 2348 -2284 -2312 -2280 -2568 2588 2568 -2636 -2412 -2320 2304 2320 2392 -2380 -2612 -2328 -2344 2616 2328 2324 2596 2512 2296 2288 2344 2320 -2448 2540 2476 2628 -2484 -2432 2308 -2296 -2640 -2360 2324 -2396 2600 2584 2288 -2500 -2636 2636 2488 -2424 2624 -2476 -2460 2372 -2492 -2408 2352 2596 -2356 -2544 -2624 2484 2532 -2600 -2280 -2328 -2396 2596 2632 2396 -2340 -2544 -2352 2556 2328 -2372 -2288 -2444 -2312 2348 2336 -2624 -2296 -2520 2640 -2508 2640 2568 2484 2416 -2440 2512 -2452 2436 2492 -2488 2344 2296 -2288 2428 2608 -2608 -2320 2628 2436 2604 2436 -2324 -2420 2328 2528 2640 -2444 2568 2580 2380 -2480 -2524 2444 2636 -2516 2304 2456 2592 -2328 2428 -2368 -2496 -2284 2376 -2488 2380 -2296 -2324 2440 -2524 2640 -2452 2308 -2576 -2600 -2544 -2372 -2380 -2420 -2528 2280 2364 -2436 -2472 -2620 -2640 -2436 2492 2584 -2624 -2356 2340 2612 2488 -2284 2324 2584 2384 -2400 2400 -2284 2396 2428 2552 -2500 2340 2424 -2452 -2472 -2340 2324 2528 2424 2456 2288 -2564 -2532 -2516 -2416 -2280 2600 -2304 2488 2320 -2412 -2600 2348 2516 -2592 -2420 2440 2580 -2288 2368 -2472 2416 -2500 2568 -2528 2280 -2540 -2584 2596 -2404 -2396 -2280 -2388 2320 2604 -2284 -2432 -2592 -2528 -2560 -2640 -2576 2552 2320 2288 2308 -2368 -2628 2640 2320 -2296 -2408 -2596 -2400 -2292 -2516 2532 -2632 -2516 2436 2336 2280 2320 2440 -2572 2296 2392 2332 2340 2548 2552 2600 2376 2636 2524 2364 2640 2368 2424 -2444 2636 2396 2396 -2416 -2556 2636 2468 -2284 -2340 2280 -2588 -2612 -2316 -2368 -2336 -2336 -2336 -2616 -2532 -2564 2580 2328 2280 -2372 2288 -2384 2492 -2576 2476 2600 -2636 -2348 2340 2636 -2280 -2432 -2496 2560 2484 -2324 -2352 -2320 -2536 2288 -2312 -2512 2344 -2600 2640 -2340 2376 -2552 -2320 -2404 -2364 2324 2516 -2572 -2280 -2328 -2536 2572 2372 2320 2448 -2624 2564 -2280 2324 2396 2284 -2588 2520 -2420 -2592 -2640 2284 -2600 -2288 -2328 2636 -2552 -2588 2640 -2284 2592 2476 -2324 2280 -2324 2492 2480 2540 2328 2468 2320 2640 2388 -2628 2620 2320 -2504 2524 2280 -2492 2580 -2436 2600 -2380 -2324 2284 -2432 2452 2300 2280 -2432 2340 2592 -2336 2336 -2320 -2376 -2320 -2340 2608 2596 -2640 -2324 2528 -2616 2632 2632 -2420 2380 -2336 -2640 -2320 2632 2376 -2552 -2436 2640 -2468 2476 -2628 -2320 -2572 2584 -2312 2292 -2332 2604 2496 2296 2280 -2360 2608 -2296 -2464 2604 2460 2620 2600 2592 2328 -2468 2484 -2312 -2416 2600 2600 2476 -2556 -2304 -2304 2600 -2532 2284 -2464 2288 -2308 -2636 2388 2376 -2480 -2336 -2336 2324 -2464 2488 -2600 -2480 -2492 -2284 -2640 2284 -2320 2472 -2560 -2636 -2636 -2508 2404 2360 -2340 2476 2640 2640 2608 -2300 -2488 2292 -2316 -2340 2360 2360 -2540 -2292 -2600 -2492 2636 -2324 2328 2636 -2548 2344 -2280 2496 -2416 -2600 -2540 -2428 -2280 -2536 2440 -2320 -2280 2596 2332 2424 2364 2592 -2316 2384 -2468 2332 2288 -2464 -2488 -2576 2600 2420 -2468 -2484 2400 -2320 -2620 -2356 2444 -2312 2568 -2588 -2320 2580 2292 -2280 2632 -2340 -2600 2296 2424 2556 -2280 2620 -2440 2528 -2504 2376 -2636 -2560 -2280 -2364 -2336 -2428 2624 -2416 2592 2640 -2556 2284 2380 2332 2540 -2452 2444 2476 2540 -2292 -2340 2492 2600 2556 -2324 -2408 2428 2588 2572 -2296 -2360 2476 -2448 2348 -2376 -2416 -2496 -2528 2436 -2500 2448 2336 2324 2384 -2600 -2424 -2596 -2640 2280 -2332 -2576 2324 -2300 2320 -2284 2496 -2280 2640 2432 -2632 2404 -2308 -2328 2384 2536 -2532 2616 2516 2452 -2288 2556 2636 -2320 2524 -2416 2640 2640 2568 2280 -2636 -2428 2476 -2640 -2628 2620 2476 -2552 -2356 2344 -2548 -2416 2584 -2320 -2388 2464 -2280 2416 2592 -2428 -2636 -2592 2320 -2364 -2524 2548 2604 -2628 -2452 2356 2448 2372 2372 2456 2436 2284 2608 -2320 2532 2596 -2292 -2392 -2640 -2356 -2280 -2468 2336 -2596 -2584 -2640 -2624 2608 2632 -2280 2316 2596 2340 2292 2488 2280 2640 2356 2536 -2408 -2636 2528 -2592 2636 -2368 -2280 2572 2416 2460 2348 -2424 2552 2304 -2528 2564 2476 2640 -2444 2512 2320 2628 -2564 2312 2368 2596 -2376 2520 2620 2592 2360 -2324 -2404 -2640 -2432 2328 2284 2400 2352 -2348 2564 2320 2520 -2524 2472 2364 2504 -2592 2412 -2368 -2608 2288 2284 -2520 -2528 2344 -2412 2336 -2568 2332 -2596 2640 -2636 -2460 2572 2620 -2288 2436 -2336 -2568 -2336 -2624 -2384 -2356 2464 2548 -2284 2640 -2556 2596 -2444 2280 2640 2596 -2492 2600 2280 -2384 -2296 2520 -2620 -2468 -2364 -2508 2576 2440 2612 2496 2312 2596 2404 -2312 -2600 2620 -2452 -2460 2620 2476 2496 2624 -2340 2340 2548 2284 2592 2284 -2328 2532 -2596 2280 -2340 -2316 -2280 -2336 2372 2384 2452 2500 2336 -2600 2496 2520 -2280 2348 2640 -2636 2516 -2584 -2628 2420 -2596 -2360 -2616 2292 -2628 2600 2356 2608 -2336 2544 -2376 2612 2508 -2336 2292 2352 -2640 2324 -2356 2404 -2320 2488 2572 -2600 -2288 -2544 -2540 -2600 -2600 -2508 2596 2500 2568 2596 2332 2336 -2324 2584 2588 -2352 -2600 2340 -2600 -2640 -2444 2288 2484 2284 -2280 2568 2300 2580 2424 2332 -2284 2504 2524 -2280 -2336 2636 -2280 -2280 2304 -2512 2320 2640 -2540 2600 2504 2468 2396 2636 2640 2600 2284 2640 -2584 -2300 2600 -2344 2428 2600 2372 2304 2556 -2320 2292 -2512 2424 -2324 -2388 -2336 -2432 2464 -2640 -2324 2344 2392 2640 2560 2340 2448 -2304 2612 2280 2352 2504 -2596 -2284 2468 -2640 2572 2596 2600 2444 -2584 -2624 -2408 2452 2608 -2532 -2428 2596 2380 2368 2380 -2380 -2328 2452 2604 -2464 2444 2576 -2536 -2508 2320 -2288 2360 -2588 2504 -2612 2516 -2348 -2600 -2640 2512 -2624 -2624 -2488 2504 2496 -2508 -2532 2600 2324 -2352 -2376 -2464 2568 -2452 -2436 -2340 -2580 -2332 -2280 -2300 2640 2436 2304 2408 2616 2560 -2524 -2396 2508 2340 -2368 -2356 -2588 2292 2588 2404 2640 2292 -2352 -2412 2572 2344 -2324 2280 -2468 -2312 2348 2628 -2600 2584 2548 -2508 2628 -2288 2308 2280 2280 2288 2568 -2516 -2600 2544 -2640 -2584 2492 2320 2548 2600 2584 -2304 -2504 -2512 -2380 2440 2636 2496 2308 2392 2564 -2396 2284 2596 -2344 -2300 -2400 2316 -2596 2580 -2356 2628 -2472 2600 -2280 2288 -2480 2496 -2596 -2572 -2620 2284 -2324 2592 2312 -2332 -2348 2536 2584 2632 -2452 -2628 -2452 2280 -2452 -2440 2280 2324 -2464 -2328 -2636 2280 -2296 2340 2288 2556 -2312 2600 -2364 -2508 -2280 -2320 2500 -2464 2600 -2444 2320 2364 -2452 2452 2364 2376 -2348 2576 2640 2360 2568 -2360 -2592 -2568 -2552 2332 -2596 -2568 -2280 2288 2324 -2328 -2640 -2400 -2640 -2512 -2580 2328 2280 -2336 -2456 2300 2320 2300 -2412 2600 -2320 -2460 2432 2316 -2344 2576 -2328 2288 2392 2572 -2524 2332 -2568 2516 2600 2516 -2596 2308 2440 2548 -2500 -2280 2476 -2576 -2552 2572 2472 2436 2532 -2304 2476 -2332 -2584 2432 -2492 2404 2600 2616 2288 2528 2332 -2540 2516 2536 2328 -2576 -2360 2412 2372 -2440 -2396 -2412 2280 -2296 2496 2592 -2544 2508 2636 2340 -2444 2412 2524 -2280 2520 -2640 -2388 2604 -2340 -2352 -2396 2600 2624 2300 2540 -2344 -2436 2320 2512 2288 -2396 2560 -2588 -2280 -2448 -2344 -2508 -2320 -2580 -2360 2580 2368 2640 -2588 2496 2284 2396 -2308 2556 -2636 -2544 -2600 -2628 2600 -2488 -2320 -2356 -2500 2400 2340 2320 -2544 -2320 2376 2292 2636 2480 2420 -2420 2304 -2460 2360 -2580 2296 -2484 2436 2304 2444 2460 2584 -2632 2536 -2564 -2484 -2284 -2420 -2628 -2300 -2460 2552 -2280 -2624 2332 2436 -2428 2280 -2280 2360 -2640 -2332 -2352 -2376 2320 -2332 -2280 -2548 2424 -2380 2560 2412 2624 2304 -2284 2284 -2576 -2292 2412 -2412 2484 -2640 2284 2544 2548 2568 -2284 -2284 -2508 -2280 -2600 -2640 -2380 -2332 -2388 2632 2492 -2420 2296 2280 -2444 -2560 -2288 2288 2628 -2280 -2500 -2504 -2624 -2324 -2564 -2472 2596 2316 2332 -2328 -2320 2412 2396 2484 -2568 -2316 2600 2564 -2504 2524 -2600 -2608 -2488 -2396 2396 -2324 2600 -2280 -2416 2636 2368 2496 2600 2320 -2560 -2356 -2500 2616 -2636 2564 2292 2416 -2636 -2564 -2456 -2296 -2372 2624 -2368 -2468 -2600 -2372 2440 2436 2596 2436 2568 2288 2572 -2560 2492 -2600 2612 2592 2388 2568 2592 -2596 2340 -2384 -2580 2356 2640 -2500 -2396 2456 -2448 2612 2380 2544 -2640 -2436 -2624 2432 -2328 -2524 2636 -2488 -2392 2324 2396 -2416 -2288 2400 -2604 2352 -2356 2320 -2500 2436 2396 -2476 -2596 2564 -2384 2440 -2584 -2388 -2632 -2284 2360 -2312 2376 -2284 2320 -2548 2496 2608 -2600 -2344 2300 -2636 -2588 -2464 -2376 2576 2632 2640 2396 -2456 -2596 -2300 2452 -2596 -2432 2292 2492 -2340 2332 2296 -2568 2292 -2568 -2484 2356 2488 2320 -2280 2604 -2332 -2524 -2348 2396 -2572 2396 -2396 -2284 -2392 2580 2284 2352 2628 2544 2564 -2588 -2420 2284 2420 2580 -2440 -2400 -2620 -2512 2412 2564 -2596 2600 2468 -2580 -2408 2368 -2356 2376 -2444 2632 -2296 2332 -2532 2596 -2632 -2640 2496 -2592 -2528 -2484 2324 2308 -2284 -2324 2436 2564 2528 2636 -2612 -2640 2508 2524 -2480 2388 2420 2324 -2568 2380 2304 2280 2304 2320 -2640 -2600 2600 -2640 2324 -2640 2324 -2592 2588 2440 -2404 -2392 -2628 2308 2640 -2304 2464 2320 2304 -2492 2360 -2392 -2444 -2520 2324 -2368 2540 2320 2356 2280 2356 -2484 2408 -2292 -2436 -2540 2448 -2372 2292 2472 2636 2632 2324 -2428 2632 -2324 -2396 2540 -2540 -2328 2620 -2484 -2568 2532 -2592 -2344 -2288 -2520 2280 2360 2636 -2536 -2636 -2280 -2324 2356 -2636 2584 -2636 -2480 -2288 2380 2392 2596 -2600 2352 2420 2388 2468 2436 2292 2432 2640 -2528 2604 2312 2592 2464 -2448 -2416 -2448 -2480 -2396 2396 2300 -2420 -2428 -2616 2540 2320 2448 2636 2508 -2388 2528 2340 2348 -2364 2336 -2640 2344 -2284 2296 2480 2596 2432 2464 -2284 2284 -2504 -2592 -2600 2324 -2640 2632 -2400 -2596 -2320 2528 2352 -2328 2576 -2596 -2476 -2280 2280 -2540 2412 -2328 2280 2600 -2444 2336 -2624 2320 -2596 -2620 -2280 -2284 2284 2624 -2432 -2628 2320 -2340 2324 2360 2420 -2332 2344 2296 -2520 2328 2580 2408 2280 2580 -2512 2280 2392 2320 -2404 -2448 -2636 -2596 -2592 -2600 2328 -2524 2380 2424 -2344 -2556 -2496 -2448 -2504 2448 2584 -2280 -2320 -2316 2504 -2324 2588 2288 -2492 2464 -2300 2556 -2496 -2280 -2396 -2476 2600 2596 -2560 2580 -2452 2540 2420 -2304 2540 -2488 2640 -2596 -2640 2524 -2284 2460 -2284 -2544 -2332 2512 -2280 2424 -2452 2416 -2640 -2616 2504 -2460 2640 2640 -2324 -2540 -2300 2324 2600 2300 -2596 -2428 2564 -2544 -2280 -2456 -2548 -2628 -2348 2416 2280 2640 -2408 -2620 -2556 2416 2588 2344 2308 2632 -2332 2596 2596 -2320 2280 2288 2384 -2512 -2464 -2496 -2392 -2308 -2608 2352 2492 -2464 2476 2300 2396 -2440 2500 -2488 -2536 -2280 2348 2300 -2280 2292 2352 -2320 -2436 -2480 -2572 2472 -2320 -2484 2340 -2580 -2404 -2280 2456 -2296 2580 2564 -2288 2504 2484 2548 2484 -2588 -2584 -2452 2520 -2320 2416 2336 -2336 -2632 2560 -2492 -2304 -2392 -2620 2364 -2336 -2352 -2372 -2360 2616 -2552 2440 -2320 2480 -2592 2348 -2540 2448 2404 2640 -2564 -2580 -2312 2280 2588 -2480 2488 2472 -2576 2328 2636 -2404 2348 2392 2476 2284 2456 2364 -2280 -2320 2536 -2600 2552 -2600 -2424 2580 -2328 2496 -2332 2600 -2468 2640 -2288 2620 -2640 2568 2492 2640 -2600 2604 -2420 2456 2520 2324 2592 -2600 2600 -2556 2444 -2408 -2568 -2484 2464 -2436 2320 -2392 -2392 -2412 -2472 2536 2464 2600 2500 -2320 -2324 -2324 2392 -2488 2332 2632 -2280 2324 -2320 2600 2392 2636 -2452 -2472 -2468 2512 2456 -2584 -2508 -2348 -2392 2616 -2336 2400 2284 -2548 2320 -2536 2324 -2632 2552 -2548 -2456 2524 -2504 -2532 -2532 -2356 -2400 -2320 2476 -2508 2524 2600 -2320 2536 -2432 -2584 -2456 -2620 2632 2592 2596 -2548 -2348 2292 2612 -2340 -2500 2412 2408 -2632 -2280 2304 -2288 2324 2424 2308 -2480 2492 2364 2640 -2380 -2336 2328 -2436 -2460 2600 -2288 -2288 -2320 -2568 -2552 2356 -2424 -2344 -2624 2512 2640 -2508 2424 2576 2564 -2284 2288 -2540 2592 -2456 2472 -2512 -2464 -2636 2596 2324 -2328 2400 2376 2372 -2388 2340 -2404 -2640 -2428 -2304 -2360 -2284 -2576 -2640 -2328 -2480 2556 -2576 -2320 -2600 -2488 2396 2640 2524 2328 -2604 2640 2384 -2296 -2636 -2488 -2324 -2612 -2576 2592 2624 2284 2456 -2596 -2320 -2328 -2284 2380 -2320 -2424 -2288 -2560 -2580 -2380 2388 2300 2592 -2396 -2324 -2608 -2612 2512 2288 -2596 -2636 -2524 2320 2300 2484 2492 -2472 -2280 2584 2436 2556 -2564 -2508 2436 2444 2320 -2408 2412 -2352 2280 2508 -2456 -2292 -2324 2324 -2504 -2620 -2404 -2552 -2460 2536 2632 -2468 2352 2620 -2596 -2344 -2388 -2612 2420 -2444 -2444 -2532 -2500 2588 -2324 2536 2284 -2516 -2636 2628 2636 -2352 2584 -2580 2324 -2412 -2396 2596 2536 -2596 2600 2564 -2636 -2320 -2328 2608 -2280 -2324 -2548 2484 -2280 2340 2452 2636 2448 -2640 -2488 -2380 2596 -2512 -2472 2428 -2580 2636 2524 2412 -2284 -2412 -2452 2344 -2324 2468 2640 -2624 2356 -2340 -2540 -2388 -2420 -2476 -2332 -2288 2388 2484 2424 -2600 2432 -2556 2636 -2344 2364 -2328 -2596 -2280 -2640 -2592 2500 2636 -2620 -2512 -2460 -2324 -2460 -2352 2552 2396 2320 -2436 2364 2600 -2348 -2280 -2596 2324 2600 -2444 -2328 2332 2608 2324 2584 2444 2356 2340 2324 2356 2328 -2552 2344 2452 -2540 2452 2324 2284 -2532 2640 -2536 2340 -2300 -2616 2468 -2288 2460 2640 2480 -2408 2508 2624 2344 -2592 2628 -2464 -2400 -2436 2596 2464 2284 2640 -2416 -2524 -2632 2408 2280 -2636 2600 -2572 -2340 -2348 2364 -2632 2636 2328 2528 2324 2288 -2640 -2284 -2432 -2564 2484 -2492 2636 -2484 -2516 2356 2476 2492 -2392 -2296 -2548 2312 2580 2600 2408 -2328 2296 2608 2300 -2396 -2444 2528 -2536 -2432 2344 2540 2492 2600 2628 2604 -2528 -2336 -2468 -2476 -2624 2328 -2520 2324 2380 -2488 -2508 2380 -2552 2312 -2620 2528 2352 2288 -2376 -2456 -2640 2292 -2616 -2592 2572 -2324 -2596 2504 2568 2624 2400 2640 -2568 2292 2548 2408 -2464 2328 -2324 2280 -2436 -2600 -2404 -2640 2332 2296 -2336 -2588 2576 2564 2320 -2632 -2388 -2464 -2484 2488 2620 2456 -2284 -2640 2636 -2468 2328 2564 -2424 2300 2320 2364 -2280 2616 2548 2512 -2416 2300 2588 2616 2312 -2564 2452 -2304 -2528 2288 -2596 -2292 2312 2552 -2452 -2380 2492 -2336 -2332 2640 -2328 2388 -2596 2284 -2360 2600 2312 -2628 2636 2324 -2424 2284 -2620 2404 2300 -2432 2292 -2428 2600 -2492 2412 -2336 2640 2404 -2604 -2592 2440 -2596 2296 2576 2596 -2420 2408 -2388 2288 2284 2384 2324 2364 2384 2288 -2600 -2628 -2428 -2284 2332 -2636 -2632 2604 -2280 2296 2604 2444 -2492 -2592 -2304 -2600 -2500 -2384 2280 2468 2464 2288 -2564 -2388 2320 -2612 2412 2588 -2592 2628 2280 -2636 2460 2588 2344 2320 -2460 2608 2532 -2636
1766 unsatisfied constraints, 31255 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-275258-1169218911 -o ROOT/results/node19/solver-275258-1169218911 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275258-1169218911/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: 2.00 2.01 1.95 4/100 8832 /proc/meminfo: memFree=699808/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=906644 CPUtime=0.02 /proc/8831/stat : 8831 (java) S 8829 8831 7913 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 270285826 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 226661 1818 1036 14 0 214244 0 [pid=8831/tid=8833] ppid=8829 vsize=906644 CPUtime=0 /proc/8831/task/8833/stat : 8833 (java) R 8829 8831 7913 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 270285830 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0 [startup+0.102886 s] /proc/loadavg: 2.00 2.01 1.95 4/100 8832 /proc/meminfo: memFree=699808/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=914988 CPUtime=0.08 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 2978 0 1 0 6 2 0 0 19 0 8 0 270285826 936947712 2724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228747 2724 1422 14 0 215242 0 [pid=8831/tid=8833] ppid=8829 vsize=914988 CPUtime=0 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270285830 936947712 2724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.510962 s] /proc/loadavg: 2.00 2.01 1.95 4/100 8832 /proc/meminfo: memFree=699808/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=915332 CPUtime=0.48 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 6752 0 1 0 44 4 0 0 18 0 8 0 270285826 937299968 6491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228833 6491 2143 14 0 215303 0 [pid=8831/tid=8833] ppid=8829 vsize=915332 CPUtime=0 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270285830 937299968 6491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.33312 s] /proc/loadavg: 2.00 2.01 1.95 3/107 8839 /proc/meminfo: memFree=625704/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=915612 CPUtime=1.29 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 22700 0 1 0 115 14 0 0 24 0 8 0 270285826 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228903 22437 2164 14 0 215373 0 [pid=8831/tid=8833] ppid=8829 vsize=915612 CPUtime=0.09 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 6142 0 0 0 6 3 0 0 16 0 8 0 270285830 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8834] ppid=8829 vsize=915612 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8835] ppid=8829 vsize=915612 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8836] ppid=8829 vsize=915612 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=915612 CPUtime=0.17 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 402 0 0 0 17 0 0 0 16 0 8 0 270285834 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8838] ppid=8829 vsize=915612 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=915612 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915612 [startup+2.97542 s] /proc/loadavg: 2.00 2.01 1.95 3/107 8841 /proc/meminfo: memFree=612200/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=915744 CPUtime=2.92 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 24086 0 1 0 276 16 0 0 25 0 8 0 270285826 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228936 23820 2184 14 0 215406 0 [pid=8831/tid=8833] ppid=8829 vsize=915744 CPUtime=0.19 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 7449 0 0 0 15 4 0 0 16 0 8 0 270285830 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8834] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8835] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8836] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=915744 CPUtime=0.19 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 416 0 0 0 19 0 0 0 16 0 8 0 270285834 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8838] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.92 Current children cumulated vsize (KiB) 915744 [startup+6.27305 s] /proc/loadavg: 2.00 2.01 1.95 3/107 8843 /proc/meminfo: memFree=593768/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=915748 CPUtime=6.18 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 24111 0 1 0 599 19 0 0 25 0 8 0 270285826 937725952 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228937 23842 2185 14 0 215407 0 [pid=8831/tid=8833] ppid=8829 vsize=915748 CPUtime=0.19 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 7449 0 0 0 15 4 0 0 17 0 8 0 270285830 937725952 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8834] ppid=8829 vsize=915748 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 937725952 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8835] ppid=8829 vsize=915748 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 937725952 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8836] ppid=8829 vsize=915748 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 937725952 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=915748 CPUtime=0.22 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 437 0 0 0 21 1 0 0 15 0 8 0 270285834 937725952 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8838] ppid=8829 vsize=915748 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 937725952 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=915748 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 937725952 23842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 915748 [startup+12.7533 s] /proc/loadavg: 2.00 2.01 1.95 3/107 8847 /proc/meminfo: memFree=550456/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=915744 CPUtime=12.59 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 25681 0 1 0 1222 37 0 0 25 0 8 0 270285826 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228936 25409 2185 14 0 215406 0 [pid=8831/tid=8833] ppid=8829 vsize=915744 CPUtime=0.25 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 9008 0 0 0 21 4 0 0 16 0 8 0 270285830 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8834] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8835] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8836] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=915744 CPUtime=0.24 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 445 0 0 0 23 1 0 0 15 0 8 0 270285834 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8838] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 915744 [startup+25.6267 s] /proc/loadavg: 2.00 2.01 1.95 4/101 8873 /proc/meminfo: memFree=504936/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=915744 CPUtime=25.31 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 27841 0 1 0 2429 102 0 0 25 0 8 0 270285826 937721856 27568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228936 27568 2185 14 0 215406 0 [pid=8831/tid=8833] ppid=8829 vsize=915744 CPUtime=0.37 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 11164 0 0 0 32 5 0 0 16 0 8 0 270285830 937721856 27568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8834] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 937721856 27568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8835] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 937721856 27568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8836] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 937721856 27568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=915744 CPUtime=0.24 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 448 0 0 0 23 1 0 0 16 0 8 0 270285834 937721856 27568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8838] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 937721856 27568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 937721856 27568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 915744 [startup+51.2715 s] /proc/loadavg: 2.00 2.01 1.95 3/101 8873 /proc/meminfo: memFree=382008/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=915744 CPUtime=50.61 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 34088 0 1 0 4892 169 0 0 25 0 8 0 270285826 937721856 33760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228936 33760 2504 14 0 215406 0 [pid=8831/tid=8833] ppid=8829 vsize=915744 CPUtime=0.91 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 17031 0 0 0 84 7 0 0 16 0 8 0 270285830 937721856 33760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8834] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270285831 937721856 33760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8835] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 937721856 33760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8836] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 937721856 33760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=915744 CPUtime=0.3 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 476 0 0 0 29 1 0 0 16 0 8 0 270285834 937721856 33760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8838] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 937721856 33760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 937721856 33760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.61 Current children cumulated vsize (KiB) 915744 [startup+102.488 s] /proc/loadavg: 2.21 2.06 1.97 3/101 8873 /proc/meminfo: memFree=354808/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=915744 CPUtime=101.16 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 34090 0 1 0 9928 188 0 0 25 0 8 0 270285826 937721856 33762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074025359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8831/statm: 228936 33762 2504 14 0 215406 0 [pid=8831/tid=8833] ppid=8829 vsize=915744 CPUtime=0.91 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 17031 0 0 0 84 7 0 0 16 0 8 0 270285830 937721856 33762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8834] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270285831 937721856 33762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8835] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 937721856 33762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8836] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 937721856 33762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=915744 CPUtime=0.3 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 478 0 0 0 29 1 0 0 15 0 8 0 270285834 937721856 33762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8838] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 937721856 33762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=915744 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 937721856 33762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.16 Current children cumulated vsize (KiB) 915744 ################ # More data... # ################ Current children cumulated CPU time (s) 2020.02 Current children cumulated vsize (KiB) 916044 [startup+2083.64 s] /proc/loadavg: 2.00 2.01 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=916044 CPUtime=2080.02 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 38546 0 1 0 207753 249 0 0 25 0 8 0 270285826 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8831/statm: 229011 38199 2549 14 0 215481 0 [pid=8831/tid=8833] ppid=8829 vsize=916044 CPUtime=0.97 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 21241 0 0 0 88 9 0 0 16 0 8 0 270285830 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8834] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8835] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8836] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=916044 CPUtime=0.42 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 631 0 0 0 41 1 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8838] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2080.02 Current children cumulated vsize (KiB) 916044 [startup+2143.71 s] /proc/loadavg: 2.00 2.01 2.00 3/100 8967 /proc/meminfo: memFree=927616/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=916044 CPUtime=2140.04 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 38546 0 1 0 213755 249 0 0 25 0 8 0 270285826 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074271961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8831/statm: 229011 38199 2549 14 0 215481 0 [pid=8831/tid=8833] ppid=8829 vsize=916044 CPUtime=0.97 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 21241 0 0 0 88 9 0 0 16 0 8 0 270285830 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8834] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8835] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8836] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=916044 CPUtime=0.42 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 631 0 0 0 41 1 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8838] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2140.04 Current children cumulated vsize (KiB) 916044 [startup+2203.77 s] /proc/loadavg: 2.00 2.00 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=916044 CPUtime=2200.01 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 38546 0 1 0 219752 249 0 0 25 0 8 0 270285826 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074270807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8831/statm: 229011 38199 2549 14 0 215481 0 [pid=8831/tid=8833] ppid=8829 vsize=916044 CPUtime=0.97 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 21241 0 0 0 88 9 0 0 16 0 8 0 270285830 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8834] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8835] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8836] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=916044 CPUtime=0.42 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 631 0 0 0 41 1 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8838] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2200.01 Current children cumulated vsize (KiB) 916044 [startup+2263.83 s] /proc/loadavg: 2.05 2.01 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=916044 CPUtime=2260.01 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 38546 0 1 0 225752 249 0 0 25 0 8 0 270285826 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8831/statm: 229011 38199 2549 14 0 215481 0 [pid=8831/tid=8833] ppid=8829 vsize=916044 CPUtime=0.97 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 21241 0 0 0 88 9 0 0 16 0 8 0 270285830 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8834] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8835] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8836] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=916044 CPUtime=0.42 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 631 0 0 0 41 1 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8838] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2260.01 Current children cumulated vsize (KiB) 916044 [startup+2323.9 s] /proc/loadavg: 2.02 2.01 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=916044 CPUtime=2320.02 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 38546 0 1 0 231753 249 0 0 25 0 8 0 270285826 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074299198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8831/statm: 229011 38199 2549 14 0 215481 0 [pid=8831/tid=8833] ppid=8829 vsize=916044 CPUtime=0.97 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 21241 0 0 0 88 9 0 0 16 0 8 0 270285830 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8834] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8835] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8836] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=916044 CPUtime=0.42 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 631 0 0 0 41 1 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8838] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2320.02 Current children cumulated vsize (KiB) 916044 [startup+2383.96 s] /proc/loadavg: 2.00 2.00 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=916044 CPUtime=2380.01 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 38546 0 1 0 237751 250 0 0 25 0 8 0 270285826 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8831/statm: 229011 38199 2549 14 0 215481 0 [pid=8831/tid=8833] ppid=8829 vsize=916044 CPUtime=0.97 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 21241 0 0 0 88 9 0 0 16 0 8 0 270285830 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8834] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8835] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8836] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=916044 CPUtime=0.42 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 631 0 0 0 41 1 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8838] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2380.01 Current children cumulated vsize (KiB) 916044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2404.02 s] /proc/loadavg: 2.00 2.00 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8831] ppid=8829 vsize=916044 CPUtime=2400.06 /proc/8831/stat : 8831 (java) R 8829 8831 7913 0 -1 0 38546 0 1 0 239756 250 0 0 25 0 8 0 270285826 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8831/statm: 229011 38199 2549 14 0 215481 0 [pid=8831/tid=8833] ppid=8829 vsize=916044 CPUtime=0.97 /proc/8831/task/8833/stat : 8833 (java) S 8829 8831 7913 0 -1 64 21241 0 0 0 88 9 0 0 16 0 8 0 270285830 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8834] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8834/stat : 8834 (java) S 8829 8831 7913 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8835] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8835/stat : 8835 (java) S 8829 8831 7913 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270285831 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8836] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8836/stat : 8836 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8837] ppid=8829 vsize=916044 CPUtime=0.42 /proc/8831/task/8837/stat : 8837 (java) S 8829 8831 7913 0 -1 64 631 0 0 0 41 1 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8831/tid=8838] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8838/stat : 8838 (java) S 8829 8831 7913 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8831/tid=8839] ppid=8829 vsize=916044 CPUtime=0 /proc/8831/task/8839/stat : 8839 (java) S 8829 8831 7913 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270285834 938029056 38199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 916044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2404.09 CPU time (s): 2400.13 CPU user time (s): 2397.61 CPU system time (s): 2.52362 CPU usage (%): 99.8354 Max. virtual memory (cumulated for all children) (KiB): 916044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.61 system time used= 2.52362 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38571 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= 50496 involuntary context switches= 70502 runsolver used 3.2975 s user time and 7.74082 s system time The end
Begin job on node19 on Fri Jan 19 15:01:52 UTC 2007 IDJOB= 275258 IDBENCH= 3744 IDSOLVER= 68 FILE ID= node19/275258-1169218911 PBS_JOBID= 3588902 Free space on /tmp= 66553 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-3.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275258-1169218911/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-275258-1169218911 -o ROOT/results/node19/solver-275258-1169218911 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275258-1169218911/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 83479ca6a4f71440e69182b52263adbf RANDOM SEED= 873232471 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.260 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.260 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: 700288 kB Buffers: 60544 kB Cached: 673612 kB SwapCached: 10172 kB Active: 819348 kB Inactive: 455836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 700288 kB SwapTotal: 4192956 kB SwapFree: 4171264 kB Dirty: 6340 kB Writeback: 0 kB Mapped: 558260 kB Slab: 63480 kB Committed_AS: 7830276 kB PageTables: 3676 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= 66554 MiB End job on node19 on Fri Jan 19 15:41:56 UTC 2007