Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.07 | 2420.39 |
| 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=pfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275259-1169218912/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.69 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.69 => wckTime=0.374 cpuTime=0.27 mem=27M382 0.69 0.69 predicates being loaded... 0.70 0.70 constraints being loaded... 33.64 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=87810343 nbExtensionStructures=5382 33.64 nbSharedExtensionStructures=27639 nbConflictsStructures=5382 nbSharedConflictsStructures=27639 33.64 nbSharedBinaryRepresentations=1407105 maxDegree=29 maxArity=2 33.64 => wckTime=33.319 cpuTime=32.15 mem=64M225 33.93 33.93 solver LocalSearchSolver being built... 33.97 => wckTime=33.656 cpuTime=32.19 mem=63M384 34.06 34.06 s SATISFIABLE 34.06 o 25921 34.06 c 7100 34.07 o 25930 34.07 c 7091 34.09 o 25941 34.09 c 7080 34.10 o 25948 34.10 c 7073 34.11 o 25954 34.11 c 7067 34.12 o 25960 34.12 c 7061 34.13 o 25965 34.13 c 7056 34.14 o 25970 34.14 c 7051 34.15 o 25975 34.15 c 7046 34.16 o 25985 34.16 c 7036 34.17 o 25995 34.17 c 7026 34.19 o 26003 34.19 c 7018 34.20 o 26010 34.20 c 7011 34.21 o 26017 34.21 c 7004 34.22 o 26023 34.22 c 6998 34.23 o 26028 34.23 c 6993 34.24 o 26032 34.24 c 6989 34.25 o 26036 34.25 c 6985 34.26 o 26039 34.26 c 6982 34.27 o 26042 34.27 c 6979 34.28 o 26045 34.28 c 6976 34.29 o 26048 34.29 c 6973 34.30 o 26051 34.30 c 6970 34.31 o 26053 34.31 c 6968 34.32 o 26055 34.32 c 6966 34.33 o 26057 34.33 c 6964 34.34 o 26058 34.34 c 6963 34.36 o 26068 34.36 c 6953 34.38 o 26076 34.38 c 6945 34.39 o 26084 34.39 c 6937 34.40 o 26092 34.40 c 6929 34.42 o 26099 34.42 c 6922 34.43 o 26106 34.43 c 6915 34.44 o 26112 34.44 c 6909 34.46 o 26118 34.46 c 6903 34.47 o 26124 34.47 c 6897 34.49 o 26130 34.49 c 6891 34.50 o 26136 34.50 c 6885 34.51 o 26141 34.51 c 6880 34.52 o 26145 34.52 c 6876 34.53 o 26149 34.53 c 6872 34.54 o 26153 34.54 c 6868 34.55 o 26157 34.55 c 6864 34.57 o 26160 34.57 c 6861 34.58 o 26163 34.58 c 6858 34.59 o 26166 34.59 c 6855 34.60 o 26169 34.60 c 6852 34.61 o 26172 34.61 c 6849 34.62 o 26175 34.62 c 6846 34.63 o 26177 34.63 c 6844 34.64 o 26179 34.64 c 6842 34.66 o 26181 34.66 c 6840 34.67 o 26183 34.67 c 6838 34.68 o 26191 34.68 c 6830 34.69 o 26193 34.69 c 6828 34.71 o 26200 34.71 c 6821 34.73 o 26207 34.73 c 6814 34.75 o 26214 34.75 c 6807 34.76 o 26221 34.76 c 6800 34.78 o 26227 34.78 c 6794 34.80 o 26233 34.80 c 6788 34.82 o 26239 34.82 c 6782 34.84 o 26245 34.84 c 6776 34.85 o 26250 34.85 c 6771 34.87 o 26255 34.87 c 6766 34.89 o 26260 34.89 c 6761 34.91 o 26265 34.91 c 6756 34.92 o 26270 34.92 c 6751 34.94 o 26275 34.94 c 6746 34.95 o 26280 34.95 c 6741 34.97 o 26285 34.97 c 6736 34.98 o 26289 34.98 c 6732 34.99 o 26293 34.99 c 6728 35.01 o 26297 35.01 c 6724 35.02 o 26301 35.02 c 6720 35.03 o 26305 35.03 c 6716 35.05 o 26309 35.05 c 6712 35.06 o 26313 35.06 c 6708 35.07 o 26317 35.07 c 6704 35.08 o 26321 35.08 c 6700 35.10 o 26325 35.10 c 6696 35.11 o 26328 35.11 c 6693 35.12 o 26331 35.12 c 6690 35.13 o 26334 35.13 c 6687 35.14 o 26337 35.14 c 6684 35.15 o 26340 35.15 c 6681 35.17 o 26343 35.17 c 6678 35.18 o 26346 35.18 c 6675 35.19 o 26348 35.19 c 6673 35.20 o 26350 35.20 c 6671 35.21 o 26351 35.21 c 6670 35.22 o 26354 35.22 c 6667 35.23 o 26358 35.23 c 6663 35.24 o 26363 35.24 c 6658 35.25 o 26368 35.25 c 6653 35.27 o 26372 35.27 c 6649 35.27 o 26377 35.27 c 6644 35.28 o 26381 35.28 c 6640 35.30 o 26383 35.30 c 6638 35.31 o 26384 35.31 c 6637 35.32 o 26389 35.32 c 6632 35.33 o 26394 35.33 c 6627 35.35 o 26396 35.35 c 6625 35.36 o 26398 35.36 c 6623 35.37 o 26402 35.37 c 6619 35.38 o 26405 35.38 c 6616 35.40 o 26413 35.40 c 6608 35.42 o 26421 35.42 c 6600 35.46 o 26423 35.46 c 6598 35.48 o 26430 35.48 c 6591 35.51 o 26437 35.51 c 6584 35.53 o 26444 35.53 c 6577 35.55 o 26450 35.55 c 6571 35.58 o 26456 35.58 c 6565 35.60 o 26462 35.60 c 6559 35.63 o 26468 35.63 c 6553 35.65 o 26474 35.65 c 6547 35.67 o 26480 35.67 c 6541 35.69 o 26486 35.69 c 6535 35.72 o 26492 35.72 c 6529 35.75 o 26498 35.75 c 6523 35.77 o 26504 35.77 c 6517 35.79 o 26510 35.79 c 6511 35.82 o 26515 35.82 c 6506 35.84 o 26520 35.84 c 6501 35.87 o 26525 35.87 c 6496 35.89 o 26530 35.89 c 6491 35.91 o 26535 35.91 c 6486 35.93 o 26540 35.93 c 6481 35.95 o 26545 35.95 c 6476 35.98 o 26550 35.98 c 6471 36.00 o 26555 36.00 c 6466 36.02 o 26559 36.02 c 6462 36.05 o 26563 36.05 c 6458 36.07 o 26567 36.07 c 6454 36.09 o 26571 36.09 c 6450 36.11 o 26575 36.11 c 6446 36.13 o 26579 36.13 c 6442 36.15 o 26581 36.15 c 6440 36.17 o 26585 36.17 c 6436 36.19 o 26589 36.19 c 6432 36.22 o 26593 36.22 c 6428 36.24 o 26595 36.24 c 6426 36.26 o 26599 36.26 c 6422 36.28 o 26603 36.28 c 6418 36.30 o 26607 36.30 c 6414 36.32 o 26610 36.32 c 6411 36.33 o 26613 36.33 c 6408 36.35 o 26616 36.35 c 6405 36.37 o 26619 36.37 c 6402 36.40 o 26622 36.40 c 6399 36.42 o 26625 36.42 c 6396 36.44 o 26628 36.44 c 6393 36.46 o 26631 36.46 c 6390 36.47 o 26634 36.47 c 6387 36.50 o 26637 36.50 c 6384 36.51 o 26640 36.51 c 6381 36.53 o 26643 36.53 c 6378 36.55 o 26646 36.55 c 6375 36.56 o 26649 36.56 c 6372 36.58 o 26651 36.58 c 6370 36.60 o 26653 36.60 c 6368 36.61 o 26655 36.61 c 6366 36.62 o 26657 36.62 c 6364 36.64 o 26659 36.64 c 6362 36.65 o 26661 36.65 c 6360 36.67 o 26663 36.67 c 6358 36.68 o 26665 36.68 c 6356 36.69 o 26667 36.69 c 6354 36.71 o 26669 36.71 c 6352 36.72 o 26671 36.72 c 6350 36.73 o 26673 36.73 c 6348 36.75 o 26675 36.75 c 6346 36.76 o 26677 36.76 c 6344 36.77 o 26678 36.77 c 6343 36.78 o 26679 36.78 c 6342 36.80 o 26680 36.80 c 6341 36.81 o 26682 36.81 c 6339 36.82 o 26683 36.82 c 6338 36.84 o 26688 36.84 c 6333 36.91 o 26691 36.91 c 6330 36.92 o 26695 36.92 c 6326 36.94 o 26699 36.94 c 6322 36.96 o 26707 36.96 c 6314 36.97 o 26711 36.97 c 6310 36.98 o 26717 36.98 c 6304 36.99 o 26721 36.99 c 6300 36.99 o 26724 36.99 c 6297 37.00 o 26727 37.00 c 6294 37.01 o 26732 37.01 c 6289 37.02 o 26738 37.02 c 6283 37.04 o 26739 37.04 c 6282 37.05 o 26741 37.05 c 6280 37.06 o 26742 37.06 c 6279 37.07 o 26747 37.07 c 6274 37.09 o 26750 37.09 c 6271 37.10 o 26756 37.10 c 6265 37.11 o 26757 37.11 c 6264 37.12 o 26759 37.12 c 6262 37.13 o 26760 37.13 c 6261 37.14 o 26761 37.14 c 6260 37.16 o 26765 37.16 c 6256 37.17 o 26767 37.17 c 6254 37.18 o 26770 37.18 c 6251 37.19 o 26774 37.19 c 6247 37.20 o 26778 37.20 c 6243 37.21 o 26780 37.21 c 6241 37.22 o 26782 37.22 c 6239 37.23 o 26787 37.23 c 6234 37.25 o 26793 37.25 c 6228 37.26 o 26798 37.26 c 6223 37.28 o 26803 37.28 c 6218 37.29 o 26809 37.29 c 6212 37.30 o 26814 37.30 c 6207 37.32 o 26819 37.32 c 6202 37.35 o 26823 37.35 c 6198 37.37 o 26827 37.37 c 6194 37.40 o 26833 37.40 c 6188 37.42 o 26839 37.42 c 6182 37.45 o 26845 37.45 c 6176 37.47 o 26851 37.47 c 6170 37.50 o 26858 37.50 c 6163 37.53 o 26864 37.53 c 6157 37.56 o 26870 37.56 c 6151 37.58 o 26876 37.58 c 6145 37.61 o 26881 37.61 c 6140 37.64 o 26886 37.64 c 6135 37.67 o 26891 37.67 c 6130 37.70 o 26894 37.70 c 6127 37.73 o 26899 37.73 c 6122 37.76 o 26904 37.76 c 6117 37.78 o 26909 37.78 c 6112 37.81 o 26914 37.81 c 6107 37.84 o 26919 37.84 c 6102 37.86 o 26921 37.86 c 6100 37.89 o 26926 37.89 c 6095 37.92 o 26931 37.92 c 6090 37.94 o 26936 37.94 c 6085 37.97 o 26941 37.97 c 6080 38.00 o 26945 38.00 c 6076 38.03 o 26949 38.03 c 6072 38.05 o 26953 38.05 c 6068 38.08 o 26957 38.08 c 6064 38.10 o 26961 38.10 c 6060 38.13 o 26965 38.13 c 6056 38.15 o 26969 38.15 c 6052 38.18 o 26973 38.18 c 6048 38.20 o 26977 38.20 c 6044 38.23 o 26982 38.23 c 6039 38.25 o 26986 38.25 c 6035 38.27 o 26990 38.27 c 6031 38.30 o 26994 38.30 c 6027 38.32 o 26998 38.32 c 6023 38.34 o 27001 38.34 c 6020 38.36 o 27004 38.36 c 6017 38.39 o 27007 38.39 c 6014 38.41 o 27010 38.41 c 6011 38.43 o 27013 38.43 c 6008 38.45 o 27016 38.45 c 6005 38.47 o 27019 38.47 c 6002 38.50 o 27022 38.50 c 5999 38.52 o 27025 38.52 c 5996 38.54 o 27028 38.54 c 5993 38.56 o 27031 38.56 c 5990 38.58 o 27033 38.58 c 5988 38.60 o 27035 38.60 c 5986 38.62 o 27037 38.62 c 5984 38.63 o 27040 38.63 c 5981 38.66 o 27042 38.66 c 5979 38.69 o 27044 38.69 c 5977 38.71 o 27048 38.71 c 5973 38.72 o 27050 38.72 c 5971 38.74 o 27052 38.74 c 5969 38.76 o 27054 38.76 c 5967 38.77 o 27056 38.77 c 5965 38.79 o 27058 38.79 c 5963 38.80 o 27060 38.80 c 5961 38.82 o 27062 38.82 c 5959 38.83 o 27064 38.83 c 5957 38.85 o 27066 38.85 c 5955 38.86 o 27068 38.86 c 5953 38.87 o 27070 38.87 c 5951 38.89 o 27072 38.89 c 5949 38.91 o 27073 38.91 c 5948 38.92 o 27074 38.92 c 5947 38.93 o 27075 38.94 c 5946 38.95 o 27076 38.95 c 5945 38.96 o 27078 38.96 c 5943 38.97 o 27084 38.97 c 5937 38.98 o 27089 38.99 c 5932 39.00 o 27090 39.00 c 5931 39.01 o 27091 39.01 c 5930 39.02 o 27092 39.02 c 5929 39.11 o 27095 39.11 c 5926 39.12 o 27100 39.12 c 5921 39.13 o 27104 39.13 c 5917 39.14 o 27106 39.14 c 5915 39.15 o 27109 39.15 c 5912 39.16 o 27114 39.16 c 5907 39.17 o 27117 39.17 c 5904 39.18 o 27121 39.18 c 5900 39.19 o 27127 39.19 c 5894 39.20 o 27129 39.20 c 5892 39.21 o 27137 39.21 c 5884 39.22 o 27140 39.22 c 5881 39.23 o 27145 39.23 c 5876 39.24 o 27148 39.24 c 5873 39.25 o 27151 39.25 c 5870 39.26 o 27153 39.26 c 5868 39.27 o 27157 39.28 c 5864 39.29 o 27160 39.29 c 5861 39.30 o 27161 39.30 c 5860 39.31 o 27162 39.31 c 5859 39.32 o 27167 39.32 c 5854 39.33 o 27173 39.33 c 5848 39.34 o 27177 39.34 c 5844 39.35 o 27180 39.35 c 5841 39.36 o 27184 39.36 c 5837 39.37 o 27191 39.37 c 5830 39.38 o 27198 39.38 c 5823 39.40 o 27202 39.40 c 5819 39.42 o 27204 39.42 c 5817 39.43 o 27206 39.43 c 5815 39.44 o 27209 39.44 c 5812 39.45 o 27212 39.45 c 5809 39.46 o 27213 39.46 c 5808 39.47 o 27216 39.47 c 5805 39.48 o 27221 39.48 c 5800 39.48 o 27223 39.48 c 5798 39.49 o 27225 39.49 c 5796 39.51 o 27229 39.51 c 5792 39.52 o 27235 39.52 c 5786 39.53 o 27238 39.53 c 5783 39.54 o 27243 39.54 c 5778 39.55 o 27245 39.55 c 5776 39.56 o 27250 39.56 c 5771 39.57 o 27252 39.57 c 5769 39.58 o 27255 39.58 c 5766 39.59 o 27258 39.59 c 5763 39.60 o 27260 39.60 c 5761 39.62 o 27263 39.62 c 5758 39.63 o 27270 39.63 c 5751 39.66 o 27276 39.66 c 5745 39.67 o 27279 39.67 c 5742 39.69 o 27280 39.69 c 5741 39.71 o 27283 39.71 c 5738 39.72 o 27288 39.72 c 5733 39.74 o 27289 39.74 c 5732 39.75 o 27291 39.75 c 5730 39.76 o 27293 39.76 c 5728 39.77 o 27295 39.77 c 5726 39.79 o 27297 39.79 c 5724 39.80 o 27299 39.80 c 5722 39.81 o 27303 39.81 c 5718 39.84 o 27309 39.84 c 5712 39.86 o 27315 39.86 c 5706 39.89 o 27321 39.89 c 5700 39.91 o 27327 39.91 c 5694 39.94 o 27332 39.94 c 5689 39.98 o 27337 39.98 c 5684 40.01 o 27342 40.01 c 5679 40.03 o 27348 40.04 c 5673 40.07 o 27353 40.07 c 5668 40.10 o 27358 40.10 c 5663 40.12 o 27361 40.12 c 5660 40.16 o 27366 40.16 c 5655 40.18 o 27367 40.18 c 5654 40.21 o 27372 40.21 c 5649 40.24 o 27377 40.24 c 5644 40.27 o 27382 40.27 c 5639 40.30 o 27387 40.30 c 5634 40.33 o 27391 40.33 c 5630 40.37 o 27395 40.37 c 5626 40.40 o 27399 40.40 c 5622 40.43 o 27403 40.43 c 5618 40.47 o 27407 40.47 c 5614 40.50 o 27411 40.50 c 5610 40.53 o 27415 40.53 c 5606 40.56 o 27419 40.56 c 5602 40.59 o 27423 40.59 c 5598 40.62 o 27427 40.62 c 5594 40.65 o 27431 40.65 c 5590 40.67 o 27435 40.67 c 5586 40.70 o 27439 40.70 c 5582 40.73 o 27442 40.73 c 5579 40.77 o 27445 40.77 c 5576 40.80 o 27448 40.80 c 5573 40.82 o 27451 40.82 c 5570 40.85 o 27454 40.85 c 5567 40.88 o 27457 40.88 c 5564 40.91 o 27458 40.91 c 5563 40.94 o 27461 40.94 c 5560 40.97 o 27464 40.97 c 5557 40.99 o 27467 40.99 c 5554 41.02 o 27470 41.02 c 5551 41.05 o 27473 41.05 c 5548 41.07 o 27476 41.07 c 5545 41.10 o 27478 41.10 c 5543 41.13 o 27480 41.13 c 5541 41.15 o 27482 41.15 c 5539 41.18 o 27484 41.18 c 5537 41.20 o 27486 41.20 c 5535 41.22 o 27488 41.22 c 5533 41.24 o 27490 41.24 c 5531 41.27 o 27492 41.27 c 5529 41.29 o 27494 41.29 c 5527 41.31 o 27496 41.31 c 5525 41.33 o 27497 41.33 c 5524 41.35 o 27499 41.35 c 5522 41.37 o 27501 41.37 c 5520 41.39 o 27503 41.39 c 5518 41.41 o 27505 41.41 c 5516 41.43 o 27507 41.43 c 5514 41.45 o 27509 41.45 c 5512 41.47 o 27510 41.47 c 5511 41.49 o 27514 41.49 c 5507 41.51 o 27516 41.51 c 5505 41.53 o 27518 41.53 c 5503 41.54 o 27520 41.54 c 5501 41.59 o 27522 41.59 c 5499 41.61 o 27523 41.61 c 5498 41.62 o 27524 41.62 c 5497 41.64 o 27525 41.64 c 5496 41.65 o 27526 41.65 c 5495 41.66 o 27527 41.66 c 5494 41.68 o 27528 41.68 c 5493 41.69 o 27529 41.69 c 5492 41.71 o 27532 41.71 c 5489 41.72 o 27533 41.72 c 5488 41.87 o 27535 41.87 c 5486 41.89 o 27538 41.89 c 5483 41.91 o 27541 41.91 c 5480 41.92 o 27543 41.92 c 5478 41.93 o 27544 41.93 c 5477 41.95 o 27545 41.95 c 5476 41.97 o 27550 41.97 c 5471 41.99 o 27554 41.99 c 5467 42.00 o 27556 42.00 c 5465 42.01 o 27561 42.01 c 5460 42.03 o 27564 42.03 c 5457 42.04 o 27565 42.04 c 5456 42.05 o 27568 42.05 c 5453 42.07 o 27572 42.07 c 5449 42.08 o 27576 42.08 c 5445 42.09 o 27579 42.09 c 5442 42.11 o 27581 42.11 c 5440 42.13 o 27585 42.13 c 5436 42.14 o 27587 42.14 c 5434 42.15 o 27591 42.15 c 5430 42.16 o 27593 42.16 c 5428 42.18 o 27595 42.18 c 5426 42.19 o 27598 42.19 c 5423 42.22 o 27599 42.22 c 5422 42.23 o 27603 42.23 c 5418 42.24 o 27606 42.24 c 5415 42.26 o 27608 42.26 c 5413 42.27 o 27609 42.27 c 5412 42.29 o 27611 42.29 c 5410 42.31 o 27615 42.31 c 5406 42.32 o 27616 42.32 c 5405 42.34 o 27619 42.34 c 5402 42.35 o 27622 42.35 c 5399 42.36 o 27624 42.36 c 5397 42.38 o 27626 42.38 c 5395 42.44 o 27631 42.44 c 5390 42.45 o 27634 42.45 c 5387 42.47 o 27638 42.47 c 5383 42.48 o 27642 42.48 c 5379 42.50 o 27646 42.50 c 5375 42.51 o 27648 42.51 c 5373 42.53 o 27653 42.53 c 5368 42.54 o 27656 42.54 c 5365 42.56 o 27658 42.56 c 5363 42.58 o 27661 42.58 c 5360 42.59 o 27663 42.59 c 5358 42.62 o 27664 42.62 c 5357 42.64 o 27666 42.64 c 5355 42.65 o 27667 42.65 c 5354 42.69 o 27672 42.69 c 5349 42.71 o 27675 42.71 c 5346 42.72 o 27678 42.72 c 5343 42.74 o 27679 42.74 c 5342 42.75 o 27680 42.75 c 5341 42.77 o 27684 42.77 c 5337 42.78 o 27689 42.78 c 5332 42.79 o 27691 42.79 c 5330 42.81 o 27694 42.81 c 5327 42.82 o 27695 42.82 c 5326 42.83 o 27700 42.83 c 5321 42.85 o 27704 42.85 c 5317 42.86 o 27707 42.86 c 5314 42.88 o 27712 42.88 c 5309 42.91 o 27713 42.91 c 5308 42.92 o 27715 42.92 c 5306 42.93 o 27719 42.93 c 5302 42.95 o 27722 42.95 c 5299 42.97 o 27725 42.97 c 5296 42.98 o 27730 42.98 c 5291 42.99 o 27734 42.99 c 5287 43.01 o 27738 43.01 c 5283 43.03 o 27742 43.03 c 5279 43.05 o 27744 43.05 c 5277 43.09 o 27746 43.09 c 5275 43.11 o 27749 43.11 c 5272 43.12 o 27750 43.12 c 5271 43.14 o 27756 43.14 c 5265 43.15 o 27758 43.15 c 5263 43.17 o 27759 43.17 c 5262 43.19 o 27764 43.19 c 5257 43.20 o 27768 43.20 c 5253 43.22 o 27773 43.22 c 5248 43.23 o 27776 43.23 c 5245 43.24 o 27778 43.24 c 5243 43.26 o 27780 43.26 c 5241 43.27 o 27781 43.27 c 5240 43.29 o 27784 43.29 c 5237 43.30 o 27787 43.30 c 5234 43.33 o 27789 43.33 c 5232 43.34 o 27791 43.34 c 5230 43.35 o 27795 43.35 c 5226 43.38 o 27798 43.38 c 5223 43.40 o 27800 43.40 c 5221 43.41 o 27805 43.41 c 5216 43.43 o 27810 43.43 c 5211 43.44 o 27812 43.44 c 5209 43.46 o 27816 43.46 c 5205 43.48 o 27819 43.48 c 5202 43.50 o 27822 43.50 c 5199 43.53 o 27824 43.53 c 5197 43.55 o 27827 43.55 c 5194 43.57 o 27828 43.57 c 5193 43.58 o 27834 43.58 c 5187 43.60 o 27837 43.60 c 5184 43.62 o 27838 43.62 c 5183 43.64 o 27839 43.64 c 5182 43.65 o 27841 43.65 c 5180 43.67 o 27842 43.67 c 5179 43.69 o 27844 43.69 c 5177 43.75 o 27847 43.75 c 5174 43.81 o 27848 43.81 c 5173 43.83 o 27850 43.83 c 5171 43.85 o 27853 43.85 c 5168 43.86 o 27855 43.86 c 5166 43.88 o 27859 43.88 c 5162 43.90 o 27860 43.90 c 5161 43.92 o 27863 43.92 c 5158 43.98 o 27868 43.98 c 5153 44.01 o 27873 44.01 c 5148 44.04 o 27878 44.04 c 5143 44.07 o 27883 44.07 c 5138 44.10 o 27888 44.10 c 5133 44.13 o 27893 44.13 c 5128 44.17 o 27897 44.17 c 5124 44.20 o 27901 44.20 c 5120 44.23 o 27905 44.23 c 5116 44.26 o 27909 44.26 c 5112 44.30 o 27913 44.30 c 5108 44.34 o 27917 44.34 c 5104 44.37 o 27921 44.37 c 5100 44.40 o 27926 44.40 c 5095 44.44 o 27930 44.44 c 5091 44.48 o 27933 44.48 c 5088 44.51 o 27936 44.51 c 5085 44.54 o 27940 44.54 c 5081 44.58 o 27943 44.58 c 5078 44.61 o 27946 44.61 c 5075 44.65 o 27949 44.65 c 5072 44.68 o 27952 44.68 c 5069 44.72 o 27955 44.72 c 5066 44.75 o 27958 44.75 c 5063 44.78 o 27961 44.79 c 5060 44.85 o 27964 44.85 c 5057 44.88 o 27967 44.88 c 5054 44.92 o 27970 44.92 c 5051 44.95 o 27973 44.95 c 5048 44.98 o 27976 44.98 c 5045 45.02 o 27978 45.02 c 5043 45.05 o 27980 45.05 c 5041 45.09 o 27982 45.09 c 5039 45.12 o 27984 45.12 c 5037 45.15 o 27986 45.15 c 5035 45.19 o 27988 45.19 c 5033 45.22 o 27990 45.22 c 5031 45.25 o 27992 45.25 c 5029 45.29 o 27994 45.29 c 5027 45.32 o 27996 45.32 c 5025 45.35 o 27998 45.35 c 5023 45.38 o 28000 45.38 c 5021 45.41 o 28002 45.41 c 5019 45.45 o 28004 45.45 c 5017 45.50 o 28008 45.50 c 5013 45.53 o 28010 45.53 c 5011 45.55 o 28012 45.55 c 5009 45.58 o 28014 45.58 c 5007 45.61 o 28016 45.61 c 5005 45.64 o 28018 45.64 c 5003 45.66 o 28020 45.66 c 5001 45.69 o 28022 45.69 c 4999 45.72 o 28024 45.72 c 4997 45.74 o 28026 45.74 c 4995 45.77 o 28028 45.77 c 4993 45.80 o 28030 45.80 c 4991 45.82 o 28034 45.82 c 4987 45.85 o 28035 45.85 c 4986 45.88 o 28036 45.88 c 4985 45.90 o 28037 45.90 c 4984 45.93 o 28038 45.93 c 4983 45.95 o 28039 45.95 c 4982 45.98 o 28040 45.98 c 4981 46.00 o 28041 46.00 c 4980 46.02 o 28044 46.02 c 4977 46.04 o 28045 46.04 c 4976 46.07 o 28046 46.07 c 4975 46.09 o 28050 46.09 c 4971 46.12 o 28052 46.12 c 4969 46.14 o 28053 46.14 c 4968 46.16 o 28054 46.16 c 4967 46.18 o 28055 46.18 c 4966 46.20 o 28056 46.20 c 4965 46.22 o 28059 46.22 c 4962 46.37 o 28062 46.37 c 4959 46.38 o 28068 46.38 c 4953 46.44 o 28069 46.44 c 4952 46.50 o 28071 46.50 c 4950 46.56 o 28074 46.56 c 4947 46.59 o 28076 46.59 c 4945 46.60 o 28079 46.60 c 4942 46.62 o 28082 46.62 c 4939 46.63 o 28084 46.63 c 4937 46.65 o 28088 46.65 c 4933 46.68 o 28091 46.68 c 4930 46.70 o 28092 46.70 c 4929 46.72 o 28094 46.72 c 4927 46.73 o 28098 46.73 c 4923 46.75 o 28101 46.75 c 4920 46.77 o 28103 46.77 c 4918 46.78 o 28105 46.78 c 4916 46.80 o 28107 46.80 c 4914 46.82 o 28108 46.82 c 4913 46.83 o 28109 46.83 c 4912 46.85 o 28113 46.85 c 4908 46.87 o 28115 46.87 c 4906 46.91 o 28116 46.91 c 4905 46.93 o 28119 46.93 c 4902 46.94 o 28122 46.94 c 4899 46.96 o 28126 46.96 c 4895 47.00 o 28127 47.00 c 4894 47.02 o 28129 47.02 c 4892 47.05 o 28130 47.05 c 4891 47.07 o 28132 47.07 c 4889 47.09 o 28134 47.09 c 4887 47.11 o 28137 47.11 c 4884 47.13 o 28139 47.13 c 4882 47.14 o 28142 47.14 c 4879 47.16 o 28145 47.16 c 4876 47.18 o 28146 47.18 c 4875 47.20 o 28149 47.20 c 4872 47.22 o 28153 47.22 c 4868 47.24 o 28155 47.24 c 4866 47.26 o 28157 47.26 c 4864 47.28 o 28158 47.28 c 4863 47.30 o 28163 47.30 c 4858 47.32 o 28166 47.32 c 4855 47.34 o 28167 47.34 c 4854 47.37 o 28170 47.37 c 4851 47.39 o 28173 47.39 c 4848 47.41 o 28177 47.41 c 4844 47.45 o 28182 47.45 c 4839 47.47 o 28183 47.47 c 4838 47.49 o 28187 47.49 c 4834 47.51 o 28189 47.51 c 4832 47.53 o 28191 47.53 c 4830 47.55 o 28194 47.55 c 4827 47.57 o 28196 47.57 c 4825 47.59 o 28200 47.59 c 4821 47.62 o 28202 47.62 c 4819 47.63 o 28204 47.64 c 4817 47.69 o 28205 47.69 c 4816 47.75 o 28209 47.75 c 4812 47.77 o 28213 47.77 c 4808 47.78 o 28217 47.78 c 4804 47.80 o 28220 47.80 c 4801 47.82 o 28223 47.82 c 4798 47.86 o 28226 47.86 c 4795 47.87 o 28228 47.87 c 4793 47.89 o 28230 47.89 c 4791 47.91 o 28235 47.91 c 4786 47.93 o 28238 47.93 c 4783 47.95 o 28240 47.95 c 4781 47.97 o 28242 47.97 c 4779 47.99 o 28245 47.99 c 4776 48.01 o 28247 48.01 c 4774 48.02 o 28248 48.03 c 4773 48.04 o 28252 48.04 c 4769 48.06 o 28257 48.06 c 4764 48.09 o 28258 48.09 c 4763 48.11 o 28262 48.11 c 4759 48.13 o 28265 48.13 c 4756 48.18 o 28266 48.18 c 4755 48.22 o 28268 48.22 c 4753 48.24 o 28269 48.24 c 4752 48.26 o 28272 48.26 c 4749 48.28 o 28275 48.28 c 4746 48.30 o 28278 48.30 c 4743 48.40 o 28280 48.40 c 4741 48.42 o 28282 48.42 c 4739 48.48 o 28283 48.48 c 4738 48.50 o 28288 48.50 c 4733 48.52 o 28289 48.52 c 4732 48.54 o 28291 48.54 c 4730 48.56 o 28292 48.56 c 4729 48.58 o 28295 48.58 c 4726 48.60 o 28297 48.60 c 4724 48.61 o 28301 48.61 c 4720 48.63 o 28303 48.63 c 4718 48.65 o 28306 48.65 c 4715 48.68 o 28310 48.68 c 4711 48.70 o 28314 48.70 c 4707 48.72 o 28318 48.72 c 4703 48.74 o 28320 48.74 c 4701 48.76 o 28324 48.76 c 4697 48.77 o 28328 48.77 c 4693 48.79 o 28330 48.79 c 4691 48.81 o 28332 48.81 c 4689 48.83 o 28333 48.83 c 4688 48.85 o 28336 48.85 c 4685 48.87 o 28339 48.87 c 4682 48.91 o 28340 48.91 c 4681 48.95 o 28341 48.95 c 4680 48.97 o 28342 48.97 c 4679 49.05 o 28344 49.05 c 4677 49.09 o 28348 49.09 c 4673 49.13 o 28350 49.13 c 4671 49.14 o 28351 49.14 c 4670 49.17 o 28354 49.17 c 4667 49.18 o 28357 49.18 c 4664 49.20 o 28359 49.21 c 4662 49.23 o 28361 49.23 c 4660 49.25 o 28363 49.25 c 4658 49.26 o 28368 49.26 c 4653 49.28 o 28370 49.28 c 4651 49.36 o 28371 49.36 c 4650 49.38 o 28372 49.38 c 4649 49.40 o 28373 49.40 c 4648 49.45 o 28375 49.45 c 4646 49.47 o 28380 49.47 c 4641 49.49 o 28382 49.49 c 4639 49.51 o 28386 49.51 c 4635 49.55 o 28387 49.55 c 4634 49.57 o 28389 49.57 c 4632 49.59 o 28392 49.59 c 4629 49.66 o 28393 49.66 c 4628 49.68 o 28397 49.68 c 4624 49.70 o 28401 49.70 c 4620 49.72 o 28402 49.72 c 4619 49.74 o 28405 49.74 c 4616 49.76 o 28408 49.76 c 4613 49.78 o 28411 49.78 c 4610 49.82 o 28415 49.82 c 4606 49.84 o 28416 49.84 c 4605 49.86 o 28418 49.86 c 4603 49.90 o 28420 49.90 c 4601 49.94 o 28421 49.94 c 4600 49.99 o 28423 49.99 c 4598 50.01 o 28424 50.01 c 4597 50.04 o 28426 50.04 c 4595 50.06 o 28431 50.06 c 4590 50.08 o 28433 50.08 c 4588 50.19 o 28438 50.19 c 4583 50.22 o 28443 50.22 c 4578 50.24 o 28447 50.24 c 4574 50.26 o 28449 50.26 c 4572 50.28 o 28451 50.28 c 4570 50.31 o 28454 50.31 c 4567 50.36 o 28455 50.36 c 4566 50.38 o 28456 50.38 c 4565 50.40 o 28458 50.40 c 4563 50.43 o 28461 50.43 c 4560 50.45 o 28462 50.45 c 4559 50.47 o 28463 50.47 c 4558 50.50 o 28467 50.50 c 4554 50.52 o 28469 50.52 c 4552 50.54 o 28471 50.54 c 4550 50.57 o 28473 50.57 c 4548 50.63 o 28476 50.63 c 4545 50.68 o 28477 50.68 c 4544 50.70 o 28479 50.70 c 4542 50.77 o 28482 50.77 c 4539 50.84 o 28484 50.84 c 4537 50.87 o 28485 50.87 c 4536 50.96 o 28487 50.96 c 4534 50.99 o 28491 50.99 c 4530 51.01 o 28495 51.01 c 4526 51.04 o 28498 51.04 c 4523 51.07 o 28500 51.07 c 4521 51.09 o 28501 51.09 c 4520 51.18 o 28505 51.18 c 4516 51.21 o 28508 51.21 c 4513 51.24 o 28513 51.24 c 4508 51.27 o 28516 51.27 c 4505 51.31 o 28519 51.31 c 4502 51.37 o 28522 51.37 c 4499 51.41 o 28525 51.41 c 4496 51.44 o 28526 51.44 c 4495 51.46 o 28530 51.46 c 4491 51.50 o 28533 51.50 c 4488 51.56 o 28536 51.56 c 4485 51.59 o 28539 51.59 c 4482 51.63 o 28541 51.63 c 4480 51.66 o 28543 51.66 c 4478 51.70 o 28545 51.70 c 4476 51.73 o 28547 51.73 c 4474 51.76 o 28549 51.76 c 4472 51.80 o 28551 51.80 c 4470 51.83 o 28553 51.83 c 4468 51.87 o 28555 51.87 c 4466 51.90 o 28557 51.90 c 4464 51.94 o 28559 51.94 c 4462 51.97 o 28560 51.97 c 4461 52.00 o 28561 52.00 c 4460 52.04 o 28562 52.04 c 4459 52.07 o 28563 52.07 c 4458 52.11 o 28564 52.11 c 4457 52.14 o 28565 52.14 c 4456 52.17 o 28566 52.17 c 4455 52.20 o 28567 52.20 c 4454 52.23 o 28568 52.23 c 4453 52.27 o 28569 52.27 c 4452 52.29 o 28570 52.29 c 4451 52.32 o 28571 52.32 c 4450 52.35 o 28573 52.35 c 4448 52.54 o 28575 52.54 c 4446 52.86 o 28576 52.86 c 4445 52.90 o 28577 52.90 c 4444 52.93 o 28580 52.93 c 4441 52.95 o 28581 52.95 c 4440 52.97 o 28584 52.97 c 4437 53.00 o 28586 53.00 c 4435 53.02 o 28587 53.02 c 4434 53.07 o 28589 53.07 c 4432 53.09 o 28592 53.09 c 4429 53.14 o 28595 53.15 c 4426 53.17 o 28599 53.17 c 4422 53.19 o 28601 53.19 c 4420 53.22 o 28602 53.22 c 4419 53.24 o 28605 53.24 c 4416 53.27 o 28608 53.27 c 4413 53.30 o 28611 53.30 c 4410 53.32 o 28612 53.32 c 4409 53.35 o 28616 53.35 c 4405 53.40 o 28618 53.40 c 4403 53.43 o 28619 53.43 c 4402 53.45 o 28621 53.45 c 4400 53.48 o 28622 53.48 c 4399 53.50 o 28626 53.50 c 4395 53.56 o 28628 53.56 c 4393 53.58 o 28632 53.58 c 4389 53.60 o 28635 53.61 c 4386 53.68 o 28636 53.68 c 4385 53.70 o 28637 53.70 c 4384 53.73 o 28639 53.73 c 4382 53.76 o 28643 53.76 c 4378 53.78 o 28647 53.78 c 4374 53.81 o 28649 53.81 c 4372 53.83 o 28651 53.83 c 4370 53.86 o 28655 53.86 c 4366 53.90 o 28658 53.90 c 4363 53.97 o 28661 53.97 c 4360 54.00 o 28664 54.00 c 4357 54.03 o 28665 54.03 c 4356 54.05 o 28667 54.05 c 4354 54.08 o 28668 54.08 c 4353 54.10 o 28672 54.10 c 4349 54.13 o 28676 54.13 c 4345 54.15 o 28678 54.15 c 4343 54.18 o 28680 54.18 c 4341 54.20 o 28683 54.20 c 4338 54.23 o 28686 54.23 c 4335 54.25 o 28688 54.25 c 4333 54.28 o 28689 54.28 c 4332 54.34 o 28690 54.34 c 4331 54.36 o 28692 54.36 c 4329 54.39 o 28694 54.39 c 4327 54.42 o 28695 54.42 c 4326 54.45 o 28700 54.45 c 4321 54.47 o 28704 54.47 c 4317 54.56 o 28707 54.56 c 4314 54.59 o 28710 54.59 c 4311 54.64 o 28714 54.64 c 4307 54.77 o 28717 54.77 c 4304 54.80 o 28719 54.80 c 4302 54.82 o 28720 54.82 c 4301 54.87 o 28721 54.87 c 4300 54.90 o 28728 54.90 c 4293 55.05 o 28730 55.05 c 4291 55.07 o 28733 55.07 c 4288 55.12 o 28736 55.12 c 4285 55.15 o 28740 55.15 c 4281 55.17 o 28742 55.17 c 4279 55.30 o 28743 55.30 c 4278 55.33 o 28744 55.33 c 4277 55.38 o 28747 55.38 c 4274 55.43 o 28751 55.43 c 4270 55.46 o 28755 55.46 c 4266 55.54 o 28756 55.54 c 4265 55.62 o 28759 55.62 c 4262 55.72 o 28762 55.72 c 4259 55.75 o 28764 55.75 c 4257 55.80 o 28769 55.80 c 4252 55.95 o 28770 55.95 c 4251 56.00 o 28772 56.00 c 4249 56.03 o 28773 56.03 c 4248 56.08 o 28777 56.08 c 4244 56.13 o 28778 56.13 c 4243 56.15 o 28780 56.15 c 4241 56.20 o 28783 56.20 c 4238 56.23 o 28785 56.23 c 4236 56.26 o 28788 56.26 c 4233 56.28 o 28789 56.28 c 4232 56.33 o 28793 56.33 c 4228 56.36 o 28796 56.36 c 4225 56.39 o 28798 56.39 c 4223 56.47 o 28799 56.47 c 4222 56.49 o 28800 56.49 c 4221 56.52 o 28803 56.52 c 4218 56.60 o 28804 56.60 c 4217 56.63 o 28806 56.63 c 4215 56.66 o 28808 56.66 c 4213 56.68 o 28810 56.68 c 4211 56.79 o 28812 56.79 c 4209 56.82 o 28813 56.82 c 4208 56.85 o 28819 56.85 c 4202 56.88 o 28822 56.88 c 4199 56.90 o 28824 56.90 c 4197 56.93 o 28827 56.93 c 4194 56.95 o 28828 56.95 c 4193 56.98 o 28830 56.98 c 4191 57.01 o 28835 57.01 c 4186 57.03 o 28840 57.03 c 4181 57.06 o 28844 57.06 c 4177 57.09 o 28846 57.09 c 4175 57.11 o 28848 57.11 c 4173 57.14 o 28849 57.14 c 4172 57.17 o 28852 57.17 c 4169 57.34 o 28854 57.34 c 4167 57.37 o 28856 57.37 c 4165 57.39 o 28858 57.39 c 4163 57.45 o 28859 57.45 c 4162 57.47 o 28862 57.47 c 4159 57.50 o 28863 57.50 c 4158 57.58 o 28866 57.58 c 4155 57.72 o 28868 57.72 c 4153 57.81 o 28869 57.81 c 4152 57.84 o 28871 57.84 c 4150 57.90 o 28875 57.90 c 4146 57.93 o 28879 57.93 c 4142 57.96 o 28883 57.96 c 4138 57.99 o 28884 57.99 c 4137 58.02 o 28885 58.02 c 4136 58.07 o 28888 58.07 c 4133 58.10 o 28889 58.10 c 4132 58.14 o 28891 58.14 c 4130 58.16 o 28895 58.16 c 4126 58.19 o 28896 58.19 c 4125 58.22 o 28900 58.22 c 4121 58.25 o 28902 58.25 c 4119 58.28 o 28903 58.28 c 4118 58.31 o 28904 58.31 c 4117 58.34 o 28907 58.34 c 4114 58.43 o 28910 58.43 c 4111 58.46 o 28911 58.46 c 4110 58.49 o 28913 58.49 c 4108 58.52 o 28916 58.52 c 4105 58.63 o 28917 58.63 c 4104 58.66 o 28919 58.66 c 4102 58.71 o 28920 58.71 c 4101 58.80 o 28922 58.80 c 4099 58.86 o 28923 58.86 c 4098 58.92 o 28924 58.92 c 4097 58.95 o 28925 58.95 c 4096 58.98 o 28927 58.98 c 4094 59.01 o 28930 59.01 c 4091 59.04 o 28932 59.04 c 4089 59.09 o 28933 59.09 c 4088 59.12 o 28934 59.12 c 4087 59.15 o 28935 59.15 c 4086 59.20 o 28937 59.20 c 4084 59.31 o 28938 59.31 c 4083 59.33 o 28940 59.33 c 4081 59.41 o 28941 59.41 c 4080 59.46 o 28942 59.46 c 4079 59.49 o 28944 59.49 c 4077 59.52 o 28945 59.52 c 4076 59.64 o 28947 59.64 c 4074 59.77 o 28949 59.77 c 4072 59.80 o 28951 59.80 c 4070 59.82 o 28954 59.82 c 4067 59.88 o 28955 59.88 c 4066 59.90 o 28956 59.90 c 4065 60.01 o 28959 60.01 c 4062 60.06 o 28960 60.06 c 4061 60.09 o 28964 60.09 c 4057 60.12 o 28966 60.12 c 4055 60.14 o 28967 60.14 c 4054 60.17 o 28968 60.17 c 4053 60.20 o 28971 60.20 c 4050 60.23 o 28973 60.23 c 4048 60.25 o 28975 60.25 c 4046 60.28 o 28977 60.28 c 4044 60.31 o 28981 60.31 c 4040 60.37 o 28982 60.37 c 4039 60.42 o 28985 60.42 c 4036 60.45 o 28986 60.45 c 4035 60.48 o 28987 60.48 c 4034 60.51 o 28991 60.51 c 4030 60.56 o 28993 60.56 c 4028 60.63 o 28994 60.63 c 4027 60.68 o 28998 60.68 c 4023 60.70 o 29001 60.70 c 4020 60.73 o 29003 60.73 c 4018 60.76 o 29005 60.76 c 4016 60.87 o 29008 60.87 c 4013 60.94 o 29010 60.94 c 4011 60.97 o 29013 60.97 c 4008 61.00 o 29014 61.00 c 4007 61.03 o 29016 61.03 c 4005 61.09 o 29019 61.09 c 4002 61.13 o 29020 61.13 c 4001 61.16 o 29024 61.16 c 3997 61.19 o 29025 61.19 c 3996 61.23 o 29027 61.23 c 3994 61.29 o 29028 61.29 c 3993 61.33 o 29030 61.33 c 3991 61.36 o 29031 61.36 c 3990 61.39 o 29033 61.39 c 3988 61.43 o 29035 61.43 c 3986 61.46 o 29036 61.46 c 3985 61.49 o 29044 61.49 c 3977 61.52 o 29045 61.52 c 3976 61.56 o 29046 61.56 c 3975 61.60 o 29049 61.60 c 3972 61.64 o 29052 61.64 c 3969 61.74 o 29056 61.74 c 3965 61.78 o 29058 61.78 c 3963 61.81 o 29060 61.81 c 3961 61.85 o 29063 61.85 c 3958 61.90 o 29066 61.90 c 3955 61.94 o 29068 61.94 c 3953 61.98 o 29070 61.98 c 3951 62.06 o 29071 62.06 c 3950 62.10 o 29073 62.10 c 3948 62.14 o 29075 62.14 c 3946 62.18 o 29077 62.18 c 3944 62.22 o 29079 62.22 c 3942 62.26 o 29080 62.26 c 3941 62.30 o 29084 62.30 c 3937 62.35 o 29086 62.35 c 3935 62.39 o 29088 62.39 c 3933 62.43 o 29091 62.43 c 3930 62.47 o 29093 62.47 c 3928 62.51 o 29095 62.51 c 3926 62.55 o 29099 62.55 c 3922 62.59 o 29101 62.59 c 3920 62.63 o 29103 62.63 c 3918 62.67 o 29105 62.67 c 3916 62.71 o 29106 62.71 c 3915 62.76 o 29107 62.76 c 3914 62.80 o 29108 62.80 c 3913 62.84 o 29109 62.84 c 3912 62.87 o 29112 62.87 c 3909 62.91 o 29113 62.91 c 3908 62.95 o 29114 62.95 c 3907 63.00 o 29115 63.00 c 3906 63.03 o 29116 63.03 c 3905 63.07 o 29117 63.07 c 3904 63.11 o 29118 63.11 c 3903 63.15 o 29121 63.15 c 3900 63.19 o 29122 63.19 c 3899 63.23 o 29123 63.23 c 3898 63.26 o 29124 63.26 c 3897 63.30 o 29125 63.30 c 3896 63.49 o 29126 63.49 c 3895 63.52 o 29130 63.52 c 3891 63.56 o 29133 63.56 c 3888 63.60 o 29138 63.60 c 3883 63.74 o 29140 63.74 c 3881 63.88 o 29141 63.88 c 3880 64.08 o 29144 64.08 c 3877 64.12 o 29145 64.12 c 3876 64.44 o 29148 64.44 c 3873 64.48 o 29152 64.48 c 3869 64.52 o 29153 64.52 c 3868 64.56 o 29157 64.56 c 3864 64.60 o 29158 64.60 c 3863 64.63 o 29162 64.63 c 3859 64.71 o 29163 64.71 c 3858 64.75 o 29165 64.75 c 3856 64.78 o 29166 64.78 c 3855 64.82 o 29169 64.82 c 3852 64.90 o 29171 64.90 c 3850 64.94 o 29173 64.94 c 3848 64.97 o 29175 64.97 c 3846 65.01 o 29176 65.01 c 3845 65.08 o 29180 65.08 c 3841 65.12 o 29182 65.12 c 3839 65.16 o 29183 65.16 c 3838 65.26 o 29187 65.26 c 3834 65.29 o 29188 65.29 c 3833 65.33 o 29193 65.33 c 3828 65.37 o 29196 65.37 c 3825 65.51 o 29198 65.51 c 3823 65.57 o 29199 65.57 c 3822 65.61 o 29200 65.61 c 3821 65.64 o 29203 65.64 c 3818 65.68 o 29207 65.68 c 3814 65.92 o 29209 65.92 c 3812 65.99 o 29210 65.99 c 3811 66.10 o 29214 66.10 c 3807 66.14 o 29215 66.14 c 3806 66.34 o 29216 66.34 c 3805 66.41 o 29218 66.41 c 3803 66.45 o 29221 66.45 c 3800 66.48 o 29222 66.48 c 3799 66.55 o 29224 66.55 c 3797 66.58 o 29226 66.58 c 3795 66.62 o 29227 66.62 c 3794 66.65 o 29229 66.65 c 3792 66.69 o 29231 66.69 c 3790 66.73 o 29233 66.73 c 3788 66.80 o 29234 66.80 c 3787 66.90 o 29235 66.90 c 3786 66.94 o 29239 66.94 c 3782 66.98 o 29240 66.98 c 3781 67.01 o 29241 67.01 c 3780 67.05 o 29245 67.05 c 3776 67.08 o 29248 67.08 c 3773 67.12 o 29250 67.12 c 3771 67.15 o 29252 67.16 c 3769 67.19 o 29256 67.19 c 3765 67.26 o 29259 67.26 c 3762 67.30 o 29260 67.30 c 3761 67.33 o 29262 67.33 c 3759 67.43 o 29264 67.43 c 3757 67.47 o 29265 67.47 c 3756 67.50 o 29268 67.50 c 3753 67.54 o 29271 67.54 c 3750 67.57 o 29272 67.57 c 3749 67.64 o 29275 67.64 c 3746 67.67 o 29279 67.67 c 3742 67.71 o 29280 67.71 c 3741 67.74 o 29284 67.74 c 3737 67.84 o 29285 67.84 c 3736 67.87 o 29288 67.87 c 3733 67.90 o 29290 67.90 c 3731 67.94 o 29293 67.94 c 3728 67.98 o 29296 67.98 c 3725 68.01 o 29298 68.01 c 3723 68.05 o 29300 68.05 c 3721 68.08 o 29302 68.08 c 3719 68.15 o 29303 68.15 c 3718 68.19 o 29304 68.19 c 3717 68.22 o 29305 68.22 c 3716 68.26 o 29306 68.26 c 3715 68.32 o 29309 68.32 c 3712 68.45 o 29310 68.45 c 3711 68.51 o 29312 68.51 c 3709 68.55 o 29313 68.55 c 3708 68.61 o 29315 68.61 c 3706 68.64 o 29317 68.64 c 3704 68.68 o 29318 68.68 c 3703 68.71 o 29319 68.71 c 3702 68.78 o 29320 68.78 c 3701 68.84 o 29322 68.84 c 3699 68.87 o 29324 68.87 c 3697 68.90 o 29326 68.90 c 3695 68.96 o 29327 68.96 c 3694 69.00 o 29330 69.00 c 3691 69.15 o 29332 69.15 c 3689 69.21 o 29333 69.21 c 3688 69.25 o 29334 69.25 c 3687 69.28 o 29337 69.28 c 3684 69.31 o 29339 69.31 c 3682 69.34 o 29341 69.34 c 3680 69.37 o 29342 69.37 c 3679 69.40 o 29343 69.40 c 3678 69.44 o 29345 69.44 c 3676 69.56 o 29348 69.56 c 3673 69.60 o 29350 69.60 c 3671 69.63 o 29351 69.63 c 3670 69.66 o 29352 69.66 c 3669 69.70 o 29353 69.70 c 3668 69.76 o 29355 69.76 c 3666 69.79 o 29357 69.79 c 3664 69.82 o 29360 69.82 c 3661 69.86 o 29361 69.86 c 3660 69.89 o 29363 69.89 c 3658 70.04 o 29364 70.04 c 3657 70.08 o 29367 70.08 c 3654 70.14 o 29369 70.14 c 3652 70.17 o 29370 70.17 c 3651 70.26 o 29372 70.26 c 3649 70.40 o 29374 70.40 c 3647 70.45 o 29376 70.45 c 3645 70.48 o 29378 70.48 c 3643 70.58 o 29379 70.58 c 3642 70.65 o 29381 70.65 c 3640 70.68 o 29383 70.68 c 3638 70.72 o 29384 70.72 c 3637 70.75 o 29385 70.75 c 3636 70.79 o 29386 70.79 c 3635 70.83 o 29389 70.83 c 3632 70.86 o 29391 70.86 c 3630 70.90 o 29392 70.90 c 3629 71.15 o 29395 71.15 c 3626 71.19 o 29396 71.19 c 3625 71.23 o 29399 71.23 c 3622 71.29 o 29402 71.29 c 3619 71.34 o 29403 71.34 c 3618 71.37 o 29406 71.37 c 3615 71.45 o 29407 71.45 c 3614 71.49 o 29409 71.49 c 3612 71.57 o 29411 71.57 c 3610 71.60 o 29413 71.60 c 3608 71.64 o 29415 71.64 c 3606 71.68 o 29416 71.68 c 3605 71.75 o 29417 71.75 c 3604 71.79 o 29419 71.79 c 3602 71.83 o 29421 71.83 c 3600 71.86 o 29423 71.86 c 3598 71.91 o 29424 71.91 c 3597 72.24 o 29426 72.24 c 3595 72.28 o 29427 72.28 c 3594 72.32 o 29428 72.32 c 3593 72.37 o 29430 72.37 c 3591 72.41 o 29432 72.41 c 3589 72.46 o 29435 72.46 c 3586 72.54 o 29436 72.54 c 3585 72.59 o 29438 72.59 c 3583 72.64 o 29439 72.64 c 3582 72.68 o 29441 72.68 c 3580 72.73 o 29445 72.73 c 3576 72.81 o 29447 72.81 c 3574 72.85 o 29449 72.85 c 3572 72.90 o 29450 72.90 c 3571 72.94 o 29451 72.94 c 3570 73.03 o 29454 73.03 c 3567 73.07 o 29456 73.07 c 3565 73.12 o 29458 73.12 c 3563 73.20 o 29462 73.20 c 3559 73.25 o 29465 73.25 c 3556 73.29 o 29469 73.29 c 3552 73.61 o 29470 73.61 c 3551 73.65 o 29475 73.65 c 3546 73.74 o 29476 73.74 c 3545 73.89 o 29477 73.89 c 3544 73.98 o 29479 73.98 c 3542 74.03 o 29481 74.03 c 3540 74.08 o 29483 74.08 c 3538 74.22 o 29484 74.22 c 3537 74.26 o 29487 74.26 c 3534 74.30 o 29490 74.30 c 3531 74.39 o 29491 74.39 c 3530 74.44 o 29494 74.44 c 3527 74.49 o 29495 74.49 c 3526 74.54 o 29498 74.54 c 3523 74.58 o 29499 74.58 c 3522 74.63 o 29500 74.63 c 3521 74.68 o 29502 74.68 c 3519 74.73 o 29503 74.73 c 3518 74.78 o 29504 74.78 c 3517 74.87 o 29505 74.87 c 3516 75.06 o 29508 75.06 c 3513 75.11 o 29510 75.11 c 3511 75.25 o 29512 75.25 c 3509 75.39 o 29513 75.39 c 3508 75.44 o 29514 75.44 c 3507 75.49 o 29516 75.49 c 3505 75.53 o 29517 75.53 c 3504 75.58 o 29519 75.58 c 3502 75.84 o 29522 75.84 c 3499 75.89 o 29523 75.89 c 3498 75.98 o 29524 75.98 c 3497 76.43 o 29525 76.43 c 3496 76.48 o 29527 76.48 c 3494 77.24 o 29529 77.24 c 3492 77.29 o 29530 77.29 c 3491 77.38 o 29532 77.38 c 3489 77.48 o 29535 77.48 c 3486 77.53 o 29536 77.53 c 3485 77.58 o 29537 77.58 c 3484 77.63 o 29538 77.63 c 3483 77.78 o 29540 77.78 c 3481 77.88 o 29542 77.88 c 3479 77.98 o 29543 77.98 c 3478 78.03 o 29544 78.03 c 3477 78.14 o 29545 78.14 c 3476 78.19 o 29547 78.19 c 3474 78.25 o 29550 78.25 c 3471 78.31 o 29553 78.31 c 3468 78.61 o 29554 78.61 c 3467 78.66 o 29556 78.66 c 3465 78.75 o 29557 78.75 c 3464 78.80 o 29561 78.80 c 3460 78.90 o 29562 78.90 c 3459 78.95 o 29563 78.95 c 3458 79.00 o 29567 79.00 c 3454 79.15 o 29568 79.15 c 3453 79.20 o 29570 79.20 c 3451 79.31 o 29571 79.31 c 3450 79.40 o 29573 79.40 c 3448 79.46 o 29575 79.46 c 3446 79.56 o 29580 79.56 c 3441 79.96 o 29581 79.96 c 3440 80.17 o 29583 80.17 c 3438 80.23 o 29584 80.23 c 3437 80.44 o 29585 80.44 c 3436 80.96 o 29590 80.96 c 3431 81.00 o 29593 81.00 c 3428 81.06 o 29595 81.06 c 3426 81.11 o 29597 81.11 c 3424 81.16 o 29598 81.16 c 3423 81.26 o 29601 81.26 c 3420 81.31 o 29602 81.31 c 3419 81.36 o 29603 81.36 c 3418 81.41 o 29605 81.41 c 3416 81.47 o 29608 81.47 c 3413 81.68 o 29609 81.68 c 3412 81.78 o 29610 81.79 c 3411 81.89 o 29612 81.89 c 3409 81.94 o 29613 81.94 c 3408 82.00 o 29615 82.00 c 3406 82.05 o 29616 82.05 c 3405 82.10 o 29617 82.10 c 3404 82.16 o 29620 82.16 c 3401 82.21 o 29623 82.21 c 3398 82.36 o 29624 82.36 c 3397 82.40 o 29626 82.40 c 3395 82.61 o 29627 82.61 c 3394 82.67 o 29630 82.67 c 3391 82.72 o 29631 82.72 c 3390 82.77 o 29632 82.77 c 3389 82.83 o 29635 82.83 c 3386 82.94 o 29636 82.94 c 3385 83.04 o 29642 83.04 c 3379 83.10 o 29644 83.10 c 3377 83.25 o 29645 83.25 c 3376 83.30 o 29647 83.30 c 3374 83.46 o 29648 83.46 c 3373 83.51 o 29649 83.51 c 3372 83.57 o 29650 83.57 c 3371 83.68 o 29651 83.68 c 3370 83.79 o 29652 83.79 c 3369 83.85 o 29653 83.85 c 3368 84.22 o 29655 84.22 c 3366 84.29 o 29656 84.29 c 3365 84.35 o 29658 84.35 c 3363 84.41 o 29660 84.41 c 3361 84.53 o 29662 84.53 c 3359 84.59 o 29664 84.59 c 3357 84.65 o 29666 84.65 c 3355 84.71 o 29668 84.71 c 3353 84.77 o 29670 84.77 c 3351 84.84 o 29672 84.84 c 3349 84.90 o 29674 84.90 c 3347 84.97 o 29675 84.97 c 3346 85.04 o 29677 85.04 c 3344 85.10 o 29679 85.10 c 3342 85.17 o 29681 85.17 c 3340 85.23 o 29684 85.23 c 3337 85.29 o 29685 85.29 c 3336 85.36 o 29686 85.36 c 3335 85.43 o 29687 85.43 c 3334 85.49 o 29688 85.49 c 3333 85.68 o 29689 85.68 c 3332 85.74 o 29690 85.74 c 3331 85.81 o 29691 85.81 c 3330 85.87 o 29692 85.87 c 3329 85.94 o 29693 85.94 c 3328 86.00 o 29696 86.00 c 3325 86.07 o 29697 86.07 c 3324 86.13 o 29698 86.13 c 3323 86.21 o 29699 86.21 c 3322 86.27 o 29703 86.27 c 3318 86.79 o 29705 86.79 c 3316 86.98 o 29707 86.98 c 3314 87.21 o 29710 87.21 c 3311 87.28 o 29713 87.28 c 3308 87.53 o 29714 87.53 c 3307 87.64 o 29716 87.64 c 3305 87.76 o 29717 87.76 c 3304 89.11 o 29720 89.11 c 3301 89.28 o 29723 89.28 c 3298 89.34 o 29724 89.34 c 3297 89.40 o 29725 89.40 c 3296 89.63 o 29727 89.63 c 3294 89.74 o 29729 89.74 c 3292 89.79 o 29731 89.79 c 3290 90.57 o 29733 90.57 c 3288 90.63 o 29735 90.63 c 3286 90.68 o 29736 90.68 c 3285 90.74 o 29738 90.74 c 3283 90.80 o 29743 90.80 c 3278 90.85 o 29745 90.85 c 3276 90.91 o 29747 90.91 c 3274 90.96 o 29749 90.96 c 3272 91.07 o 29751 91.07 c 3270 91.12 o 29754 91.12 c 3267 91.22 o 29755 91.22 c 3266 91.28 o 29756 91.28 c 3265 91.39 o 29757 91.39 c 3264 91.55 o 29758 91.55 c 3263 91.77 o 29760 91.77 c 3261 91.94 o 29762 91.94 c 3259 92.00 o 29764 92.00 c 3257 92.11 o 29766 92.11 c 3255 92.17 o 29768 92.17 c 3253 92.23 o 29769 92.23 c 3252 92.67 o 29770 92.67 c 3251 92.85 o 29771 92.85 c 3250 92.97 o 29772 92.97 c 3249 93.09 o 29773 93.09 c 3248 93.15 o 29776 93.15 c 3245 93.32 o 29777 93.32 c 3244 93.44 o 29778 93.44 c 3243 93.50 o 29781 93.50 c 3240 93.73 o 29782 93.73 c 3239 94.31 o 29784 94.31 c 3237 94.60 o 29785 94.60 c 3236 94.66 o 29786 94.66 c 3235 94.72 o 29788 94.72 c 3233 94.78 o 29789 94.78 c 3232 94.84 o 29790 94.84 c 3231 94.96 o 29791 94.96 c 3230 95.02 o 29792 95.02 c 3229 95.14 o 29794 95.14 c 3227 95.19 o 29796 95.19 c 3225 95.31 o 29797 95.31 c 3224 95.42 o 29798 95.42 c 3223 96.04 o 29800 96.04 c 3221 96.10 o 29801 96.10 c 3220 96.21 o 29803 96.21 c 3218 96.44 o 29804 96.44 c 3217 96.50 o 29806 96.50 c 3215 96.54 o 29807 96.54 c 3214 96.59 o 29808 96.59 c 3213 96.70 o 29810 96.70 c 3211 96.75 o 29812 96.75 c 3209 96.86 o 29814 96.86 c 3207 97.34 o 29816 97.34 c 3205 97.57 o 29819 97.57 c 3202 97.62 o 29822 97.62 c 3199 97.78 o 29823 97.78 c 3198 97.88 o 29824 97.88 c 3197 97.94 o 29825 97.94 c 3196 98.04 o 29826 98.04 c 3195 98.09 o 29827 98.09 c 3194 98.15 o 29828 98.15 c 3193 98.25 o 29829 98.25 c 3192 98.36 o 29831 98.36 c 3190 98.41 o 29832 98.41 c 3189 98.52 o 29833 98.52 c 3188 98.58 o 29837 98.58 c 3184 98.79 o 29839 98.79 c 3182 98.94 o 29841 98.94 c 3180 98.99 o 29842 98.99 c 3179 99.04 o 29845 99.04 c 3176 99.09 o 29847 99.09 c 3174 99.50 o 29849 99.50 c 3172 99.55 o 29851 99.55 c 3170 99.61 o 29853 99.61 c 3168 99.67 o 29856 99.67 c 3165 99.72 o 29857 99.72 c 3164 99.78 o 29859 99.78 c 3162 99.84 o 29861 99.84 c 3160 100.05 o 29862 100.05 c 3159 100.32 o 29863 100.32 c 3158 100.48 o 29865 100.48 c 3156 100.69 o 29867 100.69 c 3154 100.80 o 29869 100.80 c 3152 100.86 o 29872 100.86 c 3149 100.97 o 29873 100.97 c 3148 101.02 o 29875 101.03 c 3146 101.08 o 29876 101.08 c 3145 101.14 o 29878 101.14 c 3143 101.22 o 29881 101.22 c 3140 101.32 o 29882 101.32 c 3139 101.59 o 29884 101.59 c 3137 101.64 o 29885 101.64 c 3136 101.66 o 29890 101.66 c 3131 101.81 o 29891 101.81 c 3130 101.87 o 29892 101.87 c 3129 101.97 o 29893 101.97 c 3128 102.02 o 29895 102.02 c 3126 102.22 o 29896 102.22 c 3125 102.52 o 29897 102.52 c 3124 102.58 o 29898 102.58 c 3123 102.64 o 29899 102.64 c 3122 103.06 o 29900 103.06 c 3121 103.42 o 29902 103.42 c 3119 103.48 o 29904 103.48 c 3117 103.53 o 29905 103.53 c 3116 103.59 o 29908 103.59 c 3113 103.70 o 29909 103.70 c 3112 103.75 o 29912 103.75 c 3109 104.63 o 29914 104.63 c 3107 104.69 o 29916 104.69 c 3105 104.75 o 29919 104.75 c 3102 104.81 o 29921 104.81 c 3100 104.93 o 29922 104.93 c 3099 104.99 o 29925 104.99 c 3096 105.04 o 29926 105.04 c 3095 105.10 o 29927 105.10 c 3094 105.16 o 29928 105.16 c 3093 105.22 o 29929 105.22 c 3092 105.29 o 29930 105.29 c 3091 105.35 o 29932 105.35 c 3089 105.41 o 29934 105.41 c 3087 105.53 o 29936 105.53 c 3085 105.59 o 29938 105.59 c 3083 105.65 o 29940 105.65 c 3081 105.71 o 29942 105.71 c 3079 106.01 o 29943 106.01 c 3078 106.19 o 29945 106.19 c 3076 106.26 o 29946 106.26 c 3075 106.32 o 29947 106.32 c 3074 106.37 o 29948 106.37 c 3073 106.50 o 29950 106.50 c 3071 106.56 o 29952 106.56 c 3069 106.63 o 29953 106.63 c 3068 107.01 o 29954 107.01 c 3067 107.08 o 29955 107.08 c 3066 107.41 o 29956 107.41 c 3065 107.75 o 29958 107.75 c 3063 107.81 o 29963 107.81 c 3058 108.41 o 29964 108.41 c 3057 108.47 o 29965 108.47 c 3056 108.88 o 29966 108.88 c 3055 108.94 o 29968 108.94 c 3053 109.04 o 29970 109.04 c 3051 109.17 o 29973 109.17 c 3048 109.24 o 29974 109.24 c 3047 109.36 o 29975 109.36 c 3046 109.49 o 29976 109.49 c 3045 109.69 o 29977 109.69 c 3044 109.76 o 29979 109.76 c 3042 109.83 o 29981 109.83 c 3040 109.90 o 29982 109.90 c 3039 109.97 o 29984 109.97 c 3037 110.01 o 29985 110.01 c 3036 110.05 o 29989 110.05 c 3032 110.12 o 29990 110.12 c 3031 110.31 o 29992 110.31 c 3029 110.45 o 29995 110.45 c 3026 110.78 o 29996 110.78 c 3025 110.84 o 29997 110.84 c 3024 110.91 o 30000 110.91 c 3021 111.05 o 30001 111.05 c 3020 111.19 o 30003 111.19 c 3018 111.31 o 30006 111.31 c 3015 111.38 o 30010 111.38 c 3011 111.44 o 30011 111.44 c 3010 111.51 o 30013 111.51 c 3008 111.57 o 30014 111.57 c 3007 111.64 o 30020 111.64 c 3001 112.49 o 30021 112.49 c 3000 112.56 o 30024 112.56 c 2997 112.62 o 30026 112.62 c 2995 112.69 o 30029 112.69 c 2992 112.76 o 30030 112.76 c 2991 112.89 o 30032 112.89 c 2989 112.96 o 30035 112.96 c 2986 113.02 o 30040 113.02 c 2981 113.23 o 30041 113.23 c 2980 113.84 o 30044 113.84 c 2977 113.90 o 30045 113.90 c 2976 114.52 o 30047 114.52 c 2974 114.59 o 30048 114.59 c 2973 114.93 o 30049 114.93 c 2972 115.20 o 30051 115.20 c 2970 115.27 o 30052 115.27 c 2969 115.40 o 30055 115.40 c 2966 115.46 o 30057 115.46 c 2964 115.67 o 30059 115.67 c 2962 115.73 o 30060 115.73 c 2961 115.86 o 30061 115.86 c 2960 116.00 o 30063 116.00 c 2958 116.13 o 30065 116.13 c 2956 116.19 o 30070 116.19 c 2951 116.26 o 30071 116.26 c 2950 116.33 o 30072 116.33 c 2949 116.40 o 30074 116.40 c 2947 116.46 o 30076 116.46 c 2945 116.53 o 30077 116.53 c 2944 116.60 o 30080 116.60 c 2941 116.67 o 30081 116.67 c 2940 117.69 o 30086 117.70 c 2935 117.92 o 30088 117.92 c 2933 118.13 o 30089 118.13 c 2932 118.85 o 30090 118.85 c 2931 118.93 o 30092 118.93 c 2929 118.97 o 30096 118.97 c 2925 119.05 o 30097 119.05 c 2924 119.77 o 30098 119.77 c 2923 119.84 o 30099 119.84 c 2922 119.91 o 30102 119.91 c 2919 119.99 o 30103 119.99 c 2918 120.07 o 30104 120.07 c 2917 120.51 o 30105 120.51 c 2916 120.66 o 30107 120.66 c 2914 120.80 o 30109 120.80 c 2912 120.87 o 30110 120.87 c 2911 121.02 o 30111 121.02 c 2910 121.09 o 30113 121.09 c 2908 121.39 o 30115 121.39 c 2906 121.47 o 30116 121.47 c 2905 121.59 o 30117 121.59 c 2904 121.81 o 30119 121.81 c 2902 121.96 o 30122 121.96 c 2899 122.03 o 30124 122.03 c 2897 122.22 o 30126 122.22 c 2895 122.36 o 30127 122.36 c 2894 122.44 o 30130 122.44 c 2891 122.88 o 30132 122.88 c 2889 122.96 o 30135 122.96 c 2886 123.17 o 30138 123.17 c 2883 124.96 o 30139 124.96 c 2882 125.03 o 30141 125.03 c 2880 125.18 o 30143 125.18 c 2878 125.31 o 30144 125.31 c 2877 125.39 o 30146 125.39 c 2875 125.46 o 30147 125.46 c 2874 125.90 o 30148 125.90 c 2873 125.98 o 30150 125.98 c 2871 126.05 o 30151 126.05 c 2870 126.21 o 30152 126.21 c 2869 126.28 o 30153 126.28 c 2868 126.43 o 30154 126.43 c 2867 126.66 o 30155 126.66 c 2866 127.20 o 30156 127.20 c 2865 127.28 o 30157 127.28 c 2864 127.51 o 30158 127.51 c 2863 127.81 o 30160 127.81 c 2861 127.89 o 30162 127.89 c 2859 127.97 o 30164 127.97 c 2857 128.05 o 30166 128.05 c 2855 128.21 o 30167 128.21 c 2854 128.28 o 30168 128.28 c 2853 128.51 o 30170 128.51 c 2851 128.58 o 30171 128.58 c 2850 128.66 o 30176 128.66 c 2845 128.74 o 30177 128.74 c 2844 128.82 o 30178 128.82 c 2843 129.28 o 30180 129.28 c 2841 129.43 o 30182 129.43 c 2839 129.51 o 30184 129.51 c 2837 129.58 o 30186 129.58 c 2835 129.66 o 30187 129.66 c 2834 129.95 o 30188 129.95 c 2833 130.03 o 30190 130.03 c 2831 130.11 o 30191 130.11 c 2830 130.27 o 30192 130.27 c 2829 130.50 o 30195 130.50 c 2826 130.70 o 30197 130.70 c 2824 130.77 o 30198 130.77 c 2823 130.92 o 30199 130.92 c 2822 131.45 o 30202 131.45 c 2819 131.53 o 30206 131.53 c 2815 131.67 o 30207 131.67 c 2814 132.43 o 30208 132.43 c 2813 132.75 o 30211 132.75 c 2810 132.90 o 30212 132.90 c 2809 132.98 o 30213 132.98 c 2808 133.06 o 30215 133.06 c 2806 133.14 o 30217 133.14 c 2804 133.29 o 30220 133.29 c 2801 133.37 o 30224 133.37 c 2797 133.91 o 30226 133.91 c 2795 134.06 o 30228 134.06 c 2793 134.29 o 30229 134.29 c 2792 134.44 o 30234 134.44 c 2787 134.66 o 30236 134.66 c 2785 134.74 o 30237 134.74 c 2784 134.82 o 30238 134.82 c 2783 134.98 o 30239 134.98 c 2782 135.05 o 30240 135.06 c 2781 135.13 o 30242 135.13 c 2779 135.69 o 30243 135.69 c 2778 135.84 o 30245 135.84 c 2776 136.09 o 30246 136.09 c 2775 137.07 o 30248 137.07 c 2773 137.24 o 30249 137.24 c 2772 137.32 o 30251 137.32 c 2770 137.41 o 30252 137.41 c 2769 137.49 o 30255 137.49 c 2766 138.03 o 30256 138.03 c 2765 144.72 o 30258 144.72 c 2763 144.81 o 30259 144.81 c 2762 146.86 o 30262 146.86 c 2759 146.94 o 30263 146.94 c 2758 147.02 o 30265 147.02 c 2756 147.19 o 30267 147.19 c 2754 147.26 o 30269 147.27 c 2752 147.43 o 30270 147.43 c 2751 147.51 o 30273 147.51 c 2748 147.59 o 30276 147.59 c 2745 147.91 o 30277 147.91 c 2744 148.07 o 30278 148.07 c 2743 153.77 o 30280 153.77 c 2741 153.85 o 30282 153.85 c 2739 153.94 o 30283 153.94 c 2738 154.02 o 30284 154.02 c 2737 154.11 o 30286 154.11 c 2735 154.45 o 30287 154.45 c 2734 158.27 o 30288 158.27 c 2733 158.45 o 30289 158.45 c 2732 158.54 o 30290 158.54 c 2731 159.34 o 30292 159.34 c 2729 159.44 o 30293 159.44 c 2728 159.53 o 30294 159.53 c 2727 159.63 o 30295 159.63 c 2726 159.82 o 30296 159.82 c 2725 159.91 o 30297 159.91 c 2724 160.01 o 30298 160.01 c 2723 160.10 o 30299 160.10 c 2722 160.20 o 30300 160.20 c 2721 160.29 o 30301 160.29 c 2720 160.38 o 30302 160.38 c 2719 160.48 o 30303 160.48 c 2718 160.85 o 30306 160.85 c 2715 161.04 o 30308 161.04 c 2713 165.81 o 30309 165.81 c 2712 165.92 o 30310 165.92 c 2711 166.22 o 30312 166.22 c 2709 167.54 o 30313 167.54 c 2708 167.65 o 30316 167.65 c 2705 167.75 o 30317 167.75 c 2704 169.82 o 30318 169.82 c 2703 170.14 o 30322 170.14 c 2699 170.24 o 30324 170.24 c 2697 173.81 o 30325 173.81 c 2696 173.92 o 30326 173.92 c 2695 174.02 o 30328 174.02 c 2693 174.23 o 30329 174.23 c 2692 174.34 o 30330 174.34 c 2691 174.66 o 30332 174.66 c 2689 174.77 o 30333 174.77 c 2688 176.16 o 30335 176.16 c 2686 177.42 o 30337 177.42 c 2684 177.54 o 30338 177.54 c 2683 177.86 o 30339 177.86 c 2682 177.97 o 30340 177.97 c 2681 178.08 o 30341 178.08 c 2680 178.29 o 30343 178.29 c 2678 178.40 o 30344 178.40 c 2677 178.80 o 30345 178.80 c 2676 178.91 o 30346 178.91 c 2675 179.02 o 30349 179.02 c 2672 179.34 o 30350 179.34 c 2671 179.71 o 30352 179.71 c 2669 179.80 o 30353 179.80 c 2668 179.90 o 30354 179.90 c 2667 180.01 o 30356 180.01 c 2665 180.11 o 30357 180.11 c 2664 181.76 o 30358 181.76 c 2663 182.55 o 30359 182.55 c 2662 183.78 o 30362 183.78 c 2659 184.56 o 30363 184.56 c 2658 184.77 o 30364 184.77 c 2657 184.88 o 30366 184.88 c 2655 184.99 o 30368 184.99 c 2653 185.09 o 30369 185.09 c 2652 187.16 o 30371 187.16 c 2650 187.27 o 30372 187.27 c 2649 187.39 o 30374 187.39 c 2647 187.50 o 30377 187.50 c 2644 187.78 o 30379 187.78 c 2642 188.01 o 30380 188.01 c 2641 188.13 o 30381 188.13 c 2640 188.35 o 30383 188.35 c 2638 188.58 o 30387 188.58 c 2634 190.41 o 30388 190.41 c 2633 190.52 o 30390 190.52 c 2631 190.75 o 30392 190.75 c 2629 190.86 o 30393 190.86 c 2628 190.98 o 30394 190.98 c 2627 191.09 o 30395 191.09 c 2626 196.87 o 30397 196.87 c 2624 197.44 o 30398 197.44 c 2623 198.82 o 30400 198.82 c 2621 201.28 o 30402 201.28 c 2619 208.40 o 30403 208.40 c 2618 208.77 o 30404 208.77 c 2617 209.35 o 30405 209.35 c 2616 209.48 o 30406 209.48 c 2615 209.85 o 30407 209.85 c 2614 210.22 o 30408 210.22 c 2613 210.34 o 30409 210.34 c 2612 210.60 o 30412 210.60 c 2609 210.68 o 30416 210.68 c 2605 210.81 o 30418 210.81 c 2603 210.93 o 30422 210.93 c 2599 211.06 o 30424 211.06 c 2597 214.15 o 30426 214.15 c 2595 214.28 o 30427 214.28 c 2594 214.53 o 30431 214.53 c 2590 216.63 o 30432 216.63 c 2589 217.75 o 30433 217.75 c 2588 217.87 o 30435 217.87 c 2586 218.26 o 30437 218.26 c 2584 218.52 o 30438 218.52 c 2583 218.92 o 30439 218.92 c 2582 219.55 o 30440 219.55 c 2581 219.95 o 30441 219.95 c 2580 220.09 o 30442 220.09 c 2579 220.36 o 30444 220.36 c 2577 220.84 o 30445 220.84 c 2576 220.98 o 30448 220.98 c 2573 222.97 o 30449 222.97 c 2572 223.11 o 30450 223.11 c 2571 223.54 o 30451 223.54 c 2570 223.80 o 30452 223.80 c 2569 225.01 o 30454 225.01 c 2567 225.14 o 30455 225.14 c 2566 227.83 o 30456 227.83 c 2565 228.64 o 30457 228.64 c 2564 228.78 o 30458 228.78 c 2563 228.92 o 30460 228.92 c 2561 230.28 o 30461 230.28 c 2560 230.41 o 30463 230.41 c 2558 230.96 o 30465 230.96 c 2556 231.10 o 30467 231.10 c 2554 231.25 o 30469 231.25 c 2552 231.35 o 30472 231.35 c 2549 232.54 o 30473 232.54 c 2548 232.75 o 30475 232.75 c 2546 233.14 o 30476 233.14 c 2545 233.28 o 30480 233.28 c 2541 233.51 o 30483 233.51 c 2538 233.65 o 30484 233.65 c 2537 233.92 o 30486 233.92 c 2535 234.20 o 30487 234.20 c 2534 234.34 o 30489 234.34 c 2532 235.15 o 30490 235.15 c 2531 235.29 o 30492 235.29 c 2529 235.43 o 30493 235.43 c 2528 235.67 o 30494 235.67 c 2527 236.80 o 30497 236.80 c 2524 236.94 o 30499 236.94 c 2522 242.06 o 30500 242.06 c 2521 242.11 o 30504 242.11 c 2517 242.39 o 30506 242.39 c 2515 243.80 o 30507 243.80 c 2514 243.93 o 30508 243.93 c 2513 244.45 o 30510 244.45 c 2511 244.74 o 30511 244.74 c 2510 245.16 o 30512 245.16 c 2509 245.44 o 30515 245.44 c 2506 245.58 o 30519 245.58 c 2502 249.91 o 30520 249.91 c 2501 250.05 o 30521 250.05 c 2500 250.20 o 30522 250.20 c 2499 250.35 o 30523 250.35 c 2498 250.50 o 30524 250.50 c 2497 251.06 o 30525 251.06 c 2496 251.21 o 30528 251.21 c 2493 251.34 o 30529 251.34 c 2492 251.50 o 30530 251.50 c 2491 251.63 o 30531 251.63 c 2490 251.77 o 30532 251.77 c 2489 252.71 o 30533 252.71 c 2488 253.20 o 30535 253.20 c 2486 253.94 o 30537 253.94 c 2484 254.19 o 30540 254.19 c 2481 254.34 o 30541 254.34 c 2480 254.46 o 30544 254.46 c 2477 254.75 o 30546 254.75 c 2475 255.72 o 30547 255.72 c 2474 255.88 o 30548 255.88 c 2473 256.03 o 30549 256.03 c 2472 256.63 o 30550 256.63 c 2471 256.93 o 30552 256.93 c 2469 257.39 o 30553 257.39 c 2468 257.53 o 30554 257.53 c 2467 257.73 o 30555 257.73 c 2466 258.75 o 30556 258.75 c 2465 258.90 o 30557 258.90 c 2464 259.04 o 30560 259.04 c 2461 259.33 o 30561 259.33 c 2460 259.49 o 30563 259.49 c 2458 259.61 o 30564 259.61 c 2457 259.77 o 30565 259.77 c 2456 259.91 o 30566 259.91 c 2455 261.56 o 30567 261.56 c 2454 261.72 o 30569 261.72 c 2452 261.87 o 30571 261.87 c 2450 262.18 o 30573 262.18 c 2448 262.94 o 30574 262.94 c 2447 263.09 o 30576 263.09 c 2445 265.86 o 30577 265.86 c 2444 266.01 o 30578 266.01 c 2443 267.85 o 30579 267.85 c 2442 268.01 o 30581 268.01 c 2440 268.79 o 30582 268.79 c 2439 269.51 o 30583 269.51 c 2438 269.67 o 30584 269.67 c 2437 271.12 o 30587 271.12 c 2434 271.60 o 30588 271.60 c 2433 272.24 o 30590 272.24 c 2431 279.35 o 30591 279.35 c 2430 279.76 o 30592 279.76 c 2429 279.93 o 30593 279.93 c 2428 280.09 o 30594 280.09 c 2427 287.67 o 30595 287.67 c 2426 287.84 o 30597 287.84 c 2424 288.67 o 30599 288.67 c 2422 289.51 o 30600 289.51 c 2421 290.35 o 30602 290.35 c 2419 290.69 o 30604 290.69 c 2417 290.85 o 30605 290.85 c 2416 291.03 o 30607 291.03 c 2414 292.81 o 30608 292.81 c 2413 292.98 o 30609 292.98 c 2412 293.65 o 30613 293.65 c 2408 293.94 o 30614 293.94 c 2407 296.76 o 30616 296.76 c 2405 297.76 o 30617 297.76 c 2404 301.76 o 30619 301.78 c 2402 301.92 o 30620 301.92 c 2401 302.10 o 30621 302.10 c 2400 302.89 o 30622 302.89 c 2399 303.05 o 30623 303.05 c 2398 304.73 o 30624 304.73 c 2397 304.90 o 30625 304.90 c 2396 305.07 o 30626 305.07 c 2395 305.24 o 30627 305.24 c 2394 305.75 o 30628 305.75 c 2393 306.24 o 30630 306.24 c 2391 306.41 o 30631 306.41 c 2390 306.59 o 30633 306.59 c 2388 306.70 o 30635 306.70 c 2386 306.97 o 30639 306.97 c 2382 307.15 o 30642 307.15 c 2379 310.15 o 30644 310.15 c 2377 310.95 o 30645 310.95 c 2376 312.32 o 30648 312.32 c 2373 312.98 o 30649 312.98 c 2372 313.12 o 30651 313.12 c 2370 313.95 o 30652 313.95 c 2369 314.29 o 30653 314.29 c 2368 314.63 o 30655 314.63 c 2366 314.80 o 30656 314.80 c 2365 316.87 o 30657 316.87 c 2364 317.05 o 30658 317.05 c 2363 317.41 o 30660 317.41 c 2361 318.16 o 30663 318.16 c 2358 318.34 o 30664 318.34 c 2357 319.04 o 30665 319.04 c 2356 323.36 o 30666 323.37 c 2355 325.75 o 30667 325.75 c 2354 325.94 o 30670 325.94 c 2351 326.31 o 30672 326.32 c 2349 327.55 o 30673 327.55 c 2348 337.92 o 30675 337.92 c 2346 340.16 o 30678 340.16 c 2343 340.53 o 30679 340.53 c 2342 340.72 o 30680 340.72 c 2341 341.29 o 30681 341.29 c 2340 341.48 o 30682 341.48 c 2339 341.87 o 30683 341.87 c 2338 343.59 o 30684 343.59 c 2337 343.98 o 30687 343.98 c 2334 344.90 o 30689 344.90 c 2332 345.09 o 30690 345.09 c 2331 345.28 o 30692 345.28 c 2329 345.67 o 30694 345.67 c 2327 347.56 o 30695 347.56 c 2326 347.76 o 30696 347.76 c 2325 347.96 o 30700 347.96 c 2321 348.53 o 30701 348.53 c 2320 349.31 o 30702 349.31 c 2319 349.51 o 30703 349.51 c 2318 351.18 o 30707 351.18 c 2314 351.28 o 30709 351.28 c 2312 356.66 o 30711 356.66 c 2310 356.86 o 30713 356.86 c 2308 357.05 o 30714 357.05 c 2307 359.06 o 30715 359.06 c 2306 359.26 o 30717 359.26 c 2304 361.85 o 30719 361.85 c 2302 362.05 o 30720 362.05 c 2301 362.25 o 30721 362.25 c 2300 364.62 o 30723 364.62 c 2298 364.99 o 30724 364.99 c 2297 370.40 o 30725 370.40 c 2296 371.05 o 30726 371.05 c 2295 372.05 o 30727 372.05 c 2294 372.24 o 30728 372.24 c 2293 377.97 o 30729 377.97 c 2292 378.17 o 30730 378.17 c 2291 378.32 o 30733 378.32 c 2288 378.51 o 30734 378.51 c 2287 378.71 o 30735 378.71 c 2286 378.91 o 30736 378.91 c 2285 379.38 o 30738 379.38 c 2283 381.14 o 30740 381.14 c 2281 382.42 o 30741 382.42 c 2280 383.95 o 30742 383.95 c 2279 384.14 o 30745 384.14 c 2276 384.33 o 30750 384.34 c 2271 384.53 o 30751 384.54 c 2270 384.88 o 30755 384.88 c 2266 385.08 o 30758 385.08 c 2263 386.65 o 30759 386.65 c 2262 390.28 o 30761 390.28 c 2260 390.47 o 30762 390.47 c 2259 390.68 o 30763 390.68 c 2258 390.88 o 30765 390.88 c 2256 391.07 o 30766 391.07 c 2255 391.41 o 30768 391.41 c 2253 392.00 o 30770 392.00 c 2251 392.37 o 30772 392.37 c 2249 392.57 o 30774 392.57 c 2247 402.53 o 30777 402.53 c 2244 403.26 o 30778 403.26 c 2243 408.30 o 30779 408.30 c 2242 408.71 o 30780 408.71 c 2241 409.13 o 30781 409.13 c 2240 417.98 o 30783 417.98 c 2238 418.74 o 30784 418.74 c 2237 419.16 o 30785 419.16 c 2236 424.98 o 30787 424.98 c 2234 425.59 o 30788 425.59 c 2233 426.80 o 30789 426.80 c 2232 427.01 o 30790 427.01 c 2231 427.22 o 30792 427.22 c 2229 427.60 o 30794 427.60 c 2227 439.22 o 30795 439.22 c 2226 460.23 o 30796 460.23 c 2225 461.10 o 30798 461.10 c 2223 461.31 o 30799 461.31 c 2222 461.52 o 30801 461.52 c 2220 462.49 o 30803 462.49 c 2218 462.71 o 30806 462.71 c 2215 463.79 o 30807 463.79 c 2214 464.00 o 30809 464.00 c 2212 464.22 o 30810 464.22 c 2211 464.66 o 30811 464.66 c 2210 465.26 o 30812 465.26 c 2209 465.39 o 30814 465.39 c 2207 465.61 o 30815 465.61 c 2206 465.82 o 30816 465.82 c 2205 466.20 o 30817 466.20 c 2204 467.65 o 30819 467.65 c 2202 467.87 o 30820 467.87 c 2201 468.08 o 30822 468.08 c 2199 468.30 o 30824 468.30 c 2197 468.47 o 30827 468.47 c 2194 468.68 o 30829 468.68 c 2192 468.91 o 30830 468.91 c 2191 469.29 o 30831 469.29 c 2190 469.84 o 30833 469.84 c 2188 470.49 o 30834 470.49 c 2187 471.34 o 30835 471.34 c 2186 480.55 o 30836 480.55 c 2185 480.98 o 30837 480.98 c 2184 481.10 o 30840 481.10 c 2181 481.28 o 30842 481.28 c 2179 502.65 o 30843 502.65 c 2178 504.88 o 30844 504.88 c 2177 514.16 o 30845 514.16 c 2176 515.09 o 30846 515.09 c 2175 515.29 o 30849 515.29 c 2172 515.86 o 30850 515.86 c 2171 516.05 o 30853 516.05 c 2168 518.98 o 30855 518.98 c 2166 519.57 o 30856 519.57 c 2165 519.77 o 30857 519.77 c 2164 520.58 o 30858 520.58 c 2163 520.78 o 30859 520.78 c 2162 524.09 o 30860 524.09 c 2161 524.29 o 30862 524.29 c 2159 524.69 o 30863 524.69 c 2158 525.88 o 30864 525.88 c 2157 526.06 o 30865 526.06 c 2156 527.46 o 30868 527.46 c 2153 528.07 o 30869 528.07 c 2152 528.27 o 30870 528.27 c 2151 529.08 o 30871 529.08 c 2150 529.45 o 30872 529.45 c 2149 549.16 o 30873 549.16 c 2148 549.80 o 30875 549.80 c 2146 550.24 o 30878 550.24 c 2143 550.46 o 30879 550.46 c 2142 550.68 o 30880 550.68 c 2141 560.52 o 30881 560.52 c 2140 561.35 o 30882 561.35 c 2139 562.20 o 30883 562.20 c 2138 562.42 o 30885 562.42 c 2136 562.57 o 30887 562.57 c 2134 562.79 o 30888 562.79 c 2133 571.30 o 30890 571.30 c 2131 571.51 o 30891 571.51 c 2130 572.34 o 30893 572.34 c 2128 572.75 o 30894 572.75 c 2127 572.96 o 30895 572.96 c 2126 573.18 o 30896 573.18 c 2125 573.80 o 30899 573.80 c 2122 574.35 o 30900 574.35 c 2121 577.13 o 30902 577.13 c 2119 577.77 o 30903 577.77 c 2118 579.67 o 30905 579.67 c 2116 579.90 o 30906 579.90 c 2115 581.76 o 30907 581.76 c 2114 581.98 o 30908 581.98 c 2113 582.21 o 30910 582.21 c 2111 582.62 o 30912 582.62 c 2109 583.69 o 30916 583.69 c 2105 589.40 o 30918 589.40 c 2103 589.62 o 30919 589.62 c 2102 591.05 o 30920 591.05 c 2101 591.89 o 30921 591.89 c 2100 594.12 o 30922 594.12 c 2099 595.60 o 30923 595.60 c 2098 596.03 o 30924 596.03 c 2097 596.25 o 30925 596.25 c 2096 596.91 o 30927 596.91 c 2094 598.87 o 30928 598.87 c 2093 603.47 o 30930 603.47 c 2091 604.87 o 30931 604.87 c 2090 612.30 o 30932 612.30 c 2089 612.93 o 30933 612.93 c 2088 613.13 o 30935 613.13 c 2086 613.34 o 30936 613.34 c 2085 613.54 o 30937 613.54 c 2084 613.97 o 30938 613.97 c 2083 634.13 o 30940 634.13 c 2081 635.42 o 30941 635.42 c 2080 635.63 o 30943 635.63 c 2078 641.99 o 30945 641.99 c 2076 642.22 o 30946 642.22 c 2075 644.51 o 30947 644.51 c 2074 644.73 o 30949 644.73 c 2072 644.95 o 30951 644.95 c 2070 645.18 o 30954 645.18 c 2067 645.97 o 30957 645.97 c 2064 646.18 o 30958 646.18 c 2063 647.29 o 30960 647.29 c 2061 647.50 o 30963 647.50 c 2058 647.95 o 30964 647.95 c 2057 648.16 o 30965 648.16 c 2056 649.04 o 30966 649.04 c 2055 649.26 o 30967 649.26 c 2054 649.48 o 30968 649.48 c 2053 651.45 o 30969 651.45 c 2052 651.89 o 30970 651.89 c 2051 652.55 o 30971 652.55 c 2050 652.76 o 30973 652.76 c 2048 652.92 o 30975 652.92 c 2046 655.59 o 30976 655.59 c 2045 656.24 o 30977 656.24 c 2044 658.43 o 30978 658.43 c 2043 658.61 o 30980 658.61 c 2041 660.98 o 30981 660.98 c 2040 661.61 o 30982 661.61 c 2039 661.82 o 30983 661.82 c 2038 665.02 o 30984 665.02 c 2037 665.23 o 30985 665.23 c 2036 665.64 o 30987 665.64 c 2034 666.50 o 30988 666.50 c 2033 666.67 o 30989 666.67 c 2032 667.82 o 30990 667.82 c 2031 668.03 o 30994 668.03 c 2027 670.72 o 30995 670.72 c 2026 670.93 o 30996 670.93 c 2025 673.99 o 30997 673.99 c 2024 674.19 o 30999 674.19 c 2022 674.40 o 31001 674.40 c 2020 674.57 o 31003 674.57 c 2018 675.31 o 31004 675.31 c 2017 675.51 o 31006 675.51 c 2015 675.72 o 31007 675.72 c 2014 675.93 o 31008 675.93 c 2013 677.41 o 31010 677.41 c 2011 677.56 o 31011 677.56 c 2010 678.50 o 31012 678.50 c 2009 678.70 o 31013 678.70 c 2008 679.68 o 31015 679.68 c 2006 680.70 o 31016 680.70 c 2005 680.90 o 31017 680.90 c 2004 681.22 o 31018 681.22 c 2003 681.42 o 31019 681.42 c 2002 681.63 o 31020 681.63 c 2001 682.24 o 31021 682.24 c 2000 682.44 o 31022 682.44 c 1999 682.57 o 31026 682.57 c 1995 682.96 o 31027 682.96 c 1994 683.51 o 31028 683.51 c 1993 683.71 o 31030 683.71 c 1991 685.62 o 31031 685.62 c 1990 685.83 o 31032 685.83 c 1989 686.03 o 31033 686.03 c 1988 686.25 o 31035 686.25 c 1986 686.87 o 31037 686.87 c 1984 687.28 o 31041 687.28 c 1980 687.50 o 31042 687.50 c 1979 687.83 o 31043 687.83 c 1978 688.04 o 31044 688.04 c 1977 688.24 o 31046 688.24 c 1975 688.45 o 31048 688.45 c 1973 688.97 o 31049 688.97 c 1972 689.12 o 31050 689.12 c 1971 690.12 o 31052 690.13 c 1969 691.44 o 31053 691.44 c 1968 693.92 o 31054 693.92 c 1967 694.71 o 31055 694.71 c 1966 695.11 o 31056 695.11 c 1965 695.85 o 31057 695.85 c 1964 696.46 o 31058 696.46 c 1963 698.62 o 31059 698.62 c 1962 699.63 o 31060 699.63 c 1961 700.05 o 31062 700.05 c 1959 700.18 o 31063 700.18 c 1958 700.38 o 31066 700.38 c 1955 701.53 o 31068 701.53 c 1953 701.73 o 31070 701.73 c 1951 703.31 o 31073 703.31 c 1948 706.56 o 31074 706.56 c 1947 710.64 o 31075 710.64 c 1946 710.80 o 31077 710.80 c 1944 711.97 o 31078 711.97 c 1943 712.18 o 31079 712.18 c 1942 712.95 o 31082 712.95 c 1939 713.16 o 31083 713.16 c 1938 714.30 o 31085 714.30 c 1936 714.72 o 31086 714.72 c 1935 714.93 o 31087 714.93 c 1934 715.13 o 31088 715.13 c 1933 716.72 o 31090 716.72 c 1931 716.91 o 31091 716.91 c 1930 717.33 o 31092 717.33 c 1929 718.37 o 31093 718.37 c 1928 719.56 o 31095 719.56 c 1926 719.77 o 31096 719.77 c 1925 720.41 o 31097 720.41 c 1924 720.83 o 31099 720.83 c 1922 721.25 o 31100 721.25 c 1921 721.77 o 31101 721.77 c 1920 721.90 o 31102 721.90 c 1919 722.11 o 31103 722.11 c 1918 722.33 o 31105 722.33 c 1916 722.75 o 31108 722.75 c 1913 723.13 o 31110 723.13 c 1911 723.75 o 31112 723.75 c 1909 723.96 o 31113 723.96 c 1908 724.80 o 31114 724.80 c 1907 728.94 o 31116 728.94 c 1905 729.15 o 31117 729.15 c 1904 729.37 o 31118 729.37 c 1903 729.85 o 31119 729.85 c 1902 730.05 o 31120 730.05 c 1901 730.44 o 31121 730.44 c 1900 730.65 o 31122 730.65 c 1899 745.04 o 31125 745.04 c 1896 745.56 o 31126 745.56 c 1895 745.69 o 31128 745.69 c 1893 745.90 o 31129 745.90 c 1892 746.10 o 31130 746.10 c 1891 746.51 o 31131 746.51 c 1890 746.71 o 31132 746.71 c 1889 746.92 o 31133 746.92 c 1888 747.53 o 31134 747.53 c 1887 748.13 o 31135 748.13 c 1886 748.33 o 31137 748.33 c 1884 748.43 o 31140 748.43 c 1881 748.55 o 31141 748.55 c 1880 748.87 o 31142 748.87 c 1879 753.03 o 31143 753.03 c 1878 753.23 o 31144 753.23 c 1877 753.64 o 31145 753.64 c 1876 754.24 o 31146 754.24 c 1875 754.37 o 31147 754.37 c 1874 754.93 o 31148 754.93 c 1873 780.88 o 31149 780.88 c 1872 781.30 o 31150 781.30 c 1871 781.51 o 31152 781.51 c 1869 781.73 o 31154 781.73 c 1867 781.92 o 31156 781.92 c 1865 783.62 o 31157 783.62 c 1864 784.48 o 31158 784.48 c 1863 788.14 o 31159 788.14 c 1862 788.36 o 31161 788.36 c 1860 788.51 o 31162 788.51 c 1859 788.69 o 31163 788.69 c 1858 788.91 o 31164 788.91 c 1857 789.26 o 31167 789.26 c 1854 789.63 o 31170 789.63 c 1851 789.84 o 31173 789.84 c 1848 789.93 o 31174 789.93 c 1847 790.15 o 31176 790.15 c 1845 790.55 o 31177 790.55 c 1844 790.91 o 31178 790.91 c 1843 791.93 o 31180 791.93 c 1841 792.14 o 31181 792.14 c 1840 792.25 o 31185 792.25 c 1836 792.39 o 31189 792.39 c 1832 792.60 o 31190 792.60 c 1831 792.64 o 31192 792.64 c 1829 792.86 o 31193 792.86 c 1828 793.07 o 31194 793.07 c 1827 793.28 o 31195 793.28 c 1826 794.80 o 31196 794.80 c 1825 794.98 o 31199 794.98 c 1822 797.04 o 31201 797.04 c 1820 797.25 o 31202 797.25 c 1819 797.66 o 31204 797.66 c 1817 797.86 o 31205 797.86 c 1816 803.68 o 31206 803.68 c 1815 803.90 o 31207 803.90 c 1814 804.88 o 31209 804.88 c 1812 805.31 o 31210 805.31 c 1811 807.84 o 31212 807.84 c 1809 809.92 o 31214 809.92 c 1807 810.34 o 31215 810.34 c 1806 810.55 o 31216 810.55 c 1805 810.76 o 31218 810.76 c 1803 813.25 o 31219 813.25 c 1802 813.46 o 31221 813.46 c 1800 813.82 o 31222 813.82 c 1799 815.76 o 31227 815.76 c 1794 817.03 o 31228 817.03 c 1793 821.94 o 31231 821.94 c 1790 822.37 o 31234 822.37 c 1787 822.59 o 31236 822.59 c 1785 822.80 o 31238 822.80 c 1783 823.45 o 31239 823.45 c 1782 823.75 o 31243 823.76 c 1778 823.96 o 31244 823.96 c 1777 824.17 o 31245 824.17 c 1776 833.87 o 31246 833.87 c 1775 834.51 o 31249 834.51 c 1772 841.27 o 31250 841.27 c 1771 841.49 o 31251 841.49 c 1770 841.92 o 31252 841.92 c 1769 847.78 o 31254 847.78 c 1767 848.21 o 31255 848.21 c 1766 878.66 878.66 search 878.66 run=0 nbConstraintChecks=4643805225 nbAssignments=7016 878.66 => wckTime=844.689 cpuTime=836.75 mem=64M406 878.66 878.66 global 878.66 nbConstraintChecks=4643805225 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 878.66 solvingWckTime=844.671 solvingCpuTime=836.73 expiredTime=no totalExploration=no nbFoundSolutions=0 878.66 globalCpuTime=868.98 878.66 => wckTime=878.346 cpuTime=868.94 mem=64M406 878.67 878.67 solver IterativeSystematicSolver being built... 879.06 => wckTime=878.737 cpuTime=869.18 mem=90M737 879.53 879.53 preprocessing 879.53 nbConstraintChecks=50293 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 879.53 detectedInconsistency=no 879.53 => wckTime=0.463 cpuTime=0.45 mem=90M737 2420.34 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/node4/watcher-275259-1169218912 -o ROOT/results/node4/solver-275259-1169218912 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275259-1169218912/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.92 1.98 1.92 2/99 24224 /proc/meminfo: memFree=1264960/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=18540 CPUtime=0 /proc/24223/stat : 24223 (runsolver) R 24221 24223 23437 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270286794 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/24223/statm: 4635 279 244 17 0 2626 0 [startup+0.102226 s] /proc/loadavg: 1.92 1.98 1.92 2/99 24224 /proc/meminfo: memFree=1264960/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=914988 CPUtime=0.08 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 2974 0 1 0 7 1 0 0 20 0 8 0 270286794 936947712 2720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228747 2720 1421 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.510265 s] /proc/loadavg: 1.92 1.98 1.92 2/99 24224 /proc/meminfo: memFree=1264960/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915332 CPUtime=0.48 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 6857 0 1 0 44 4 0 0 18 0 8 0 270286794 937299968 6596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228833 6596 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.33234 s] /proc/loadavg: 1.92 1.98 1.92 3/106 24231 /proc/meminfo: memFree=1191176/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915612 CPUtime=1.29 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 22695 0 1 0 118 11 0 0 23 0 8 0 270286794 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228903 22432 2161 14 0 215373 0 [pid=24223/tid=24225] ppid=24221 vsize=915612 CPUtime=0.09 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 6141 0 0 0 7 2 0 0 16 0 8 0 270286798 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915612 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915612 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915612 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915612 CPUtime=0.16 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 404 0 0 0 15 1 0 0 15 0 8 0 270286802 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915612 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915612 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915612 [startup+2.9715 s] /proc/loadavg: 1.92 1.98 1.92 3/106 24231 /proc/meminfo: memFree=1177992/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915744 CPUtime=2.91 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 24081 0 1 0 279 12 0 0 25 0 8 0 270286794 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228936 23815 2181 14 0 215406 0 [pid=24223/tid=24225] ppid=24221 vsize=915744 CPUtime=0.17 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 7448 0 0 0 15 2 0 0 16 0 8 0 270286798 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915744 CPUtime=0.19 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 418 0 0 0 18 1 0 0 15 0 8 0 270286802 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 915744 [startup+6.1738 s] /proc/loadavg: 1.93 1.98 1.92 3/106 24235 /proc/meminfo: memFree=1170376/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915744 CPUtime=6.08 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 24107 0 1 0 593 15 0 0 25 0 8 0 270286794 937721856 23838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073452412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228936 23838 2182 14 0 215406 0 [pid=24223/tid=24225] ppid=24221 vsize=915744 CPUtime=0.17 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 7448 0 0 0 15 2 0 0 17 0 8 0 270286798 937721856 23838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937721856 23838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937721856 23838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937721856 23838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915744 CPUtime=0.22 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 439 0 0 0 21 1 0 0 15 0 8 0 270286802 937721856 23838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937721856 23838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937721856 23838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.08 Current children cumulated vsize (KiB) 915744 [startup+12.6484 s] /proc/loadavg: 1.93 1.98 1.92 3/106 24239 /proc/meminfo: memFree=1132808/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915744 CPUtime=12.5 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 25676 0 1 0 1218 32 0 0 25 0 8 0 270286794 937721856 25404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228936 25404 2182 14 0 215406 0 [pid=24223/tid=24225] ppid=24221 vsize=915744 CPUtime=0.24 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 9006 0 0 0 21 3 0 0 16 0 8 0 270286798 937721856 25404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937721856 25404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937721856 25404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937721856 25404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915744 CPUtime=0.23 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 447 0 0 0 22 1 0 0 16 0 8 0 270286802 937721856 25404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937721856 25404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937721856 25404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 915744 [startup+25.5247 s] /proc/loadavg: 1.95 1.98 1.92 3/100 24263 /proc/meminfo: memFree=1125432/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915744 CPUtime=25.22 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 27834 0 1 0 2424 98 0 0 25 0 8 0 270286794 937721856 27561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228936 27561 2182 14 0 215406 0 [pid=24223/tid=24225] ppid=24221 vsize=915744 CPUtime=0.36 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 11160 0 0 0 32 4 0 0 16 0 8 0 270286798 937721856 27561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937721856 27561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937721856 27561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937721856 27561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915744 CPUtime=0.24 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 450 0 0 0 23 1 0 0 16 0 8 0 270286802 937721856 27561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937721856 27561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937721856 27561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (KiB) 915744 [startup+51.1541 s] /proc/loadavg: 1.96 1.98 1.92 3/100 24263 /proc/meminfo: memFree=1102072/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915744 CPUtime=50.55 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 34085 0 1 0 4892 163 0 0 25 0 8 0 270286794 937721856 33757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228936 33757 2501 14 0 215406 0 [pid=24223/tid=24225] ppid=24221 vsize=915744 CPUtime=0.88 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 17030 0 0 0 82 6 0 0 16 0 8 0 270286798 937721856 33757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937721856 33757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937721856 33757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937721856 33757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915744 CPUtime=0.29 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270286802 937721856 33757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937721856 33757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937721856 33757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.55 Current children cumulated vsize (KiB) 915744 [startup+102.409 s] /proc/loadavg: 2.02 2.00 1.93 3/100 24263 /proc/meminfo: memFree=1102008/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915744 CPUtime=101.27 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 34086 0 1 0 9948 179 0 0 25 0 8 0 270286794 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228936 33758 2501 14 0 215406 0 [pid=24223/tid=24225] ppid=24221 vsize=915744 CPUtime=0.88 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 17030 0 0 0 82 6 0 0 16 0 8 0 270286798 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915744 CPUtime=0.29 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 480 0 0 0 28 1 0 0 15 0 8 0 270286802 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915744 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.27 Current children cumulated vsize (KiB) 915744 [startup+162.417 s] /proc/loadavg: 2.01 2.00 1.93 3/100 24263 /proc/meminfo: memFree=1102008/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915744 CPUtime=160.71 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 34086 0 1 0 15882 189 0 0 25 0 8 0 270286794 937721856 33758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2004.23 Current children cumulated vsize (KiB) 915980 [startup+2082.95 s] /proc/loadavg: 2.18 2.08 1.99 4/100 24265 /proc/meminfo: memFree=973176/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915980 CPUtime=2063.93 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 38518 0 1 0 206148 245 0 0 25 0 8 0 270286794 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228995 38178 2546 14 0 215465 0 [pid=24223/tid=24225] ppid=24221 vsize=915980 CPUtime=0.95 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 21232 0 0 0 87 8 0 0 16 0 8 0 270286798 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915980 CPUtime=0.43 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 618 0 0 0 41 2 0 0 16 0 8 0 270286802 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2063.93 Current children cumulated vsize (KiB) 915980 [startup+2142.96 s] /proc/loadavg: 2.06 2.06 1.99 3/100 24265 /proc/meminfo: memFree=973112/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915980 CPUtime=2123.65 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 38518 0 1 0 212120 245 0 0 25 0 8 0 270286794 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074271467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228995 38178 2546 14 0 215465 0 [pid=24223/tid=24225] ppid=24221 vsize=915980 CPUtime=0.95 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 21232 0 0 0 87 8 0 0 16 0 8 0 270286798 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915980 CPUtime=0.43 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 618 0 0 0 41 2 0 0 16 0 8 0 270286802 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937963520 38178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2123.65 Current children cumulated vsize (KiB) 915980 [startup+2202.96 s] /proc/loadavg: 2.02 2.05 1.99 3/100 24265 /proc/meminfo: memFree=973112/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915980 CPUtime=2183.38 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 38521 0 1 0 218092 246 0 0 25 0 8 0 270286794 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228995 38179 2546 14 0 215465 0 [pid=24223/tid=24225] ppid=24221 vsize=915980 CPUtime=0.95 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 21232 0 0 0 87 8 0 0 16 0 8 0 270286798 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915980 CPUtime=0.43 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 620 0 0 0 41 2 0 0 16 0 8 0 270286802 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2183.38 Current children cumulated vsize (KiB) 915980 [startup+2262.97 s] /proc/loadavg: 2.01 2.04 1.99 3/100 24265 /proc/meminfo: memFree=973048/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915980 CPUtime=2243.11 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 38522 0 1 0 224064 247 0 0 25 0 8 0 270286794 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228995 38179 2546 14 0 215465 0 [pid=24223/tid=24225] ppid=24221 vsize=915980 CPUtime=0.95 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 21232 0 0 0 87 8 0 0 16 0 8 0 270286798 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915980 CPUtime=0.43 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 620 0 0 0 41 2 0 0 16 0 8 0 270286802 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937963520 38179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2243.11 Current children cumulated vsize (KiB) 915980 [startup+2323.04 s] /proc/loadavg: 2.00 2.03 1.99 3/100 24265 /proc/meminfo: memFree=973048/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915980 CPUtime=2302.89 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 38528 0 1 0 230042 247 0 0 25 0 8 0 270286794 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074296551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24223/statm: 228995 38182 2546 14 0 215465 0 [pid=24223/tid=24225] ppid=24221 vsize=915980 CPUtime=0.95 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 21232 0 0 0 87 8 0 0 16 0 8 0 270286798 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915980 CPUtime=0.44 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 624 0 0 0 42 2 0 0 16 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2302.89 Current children cumulated vsize (KiB) 915980 [startup+2383.1 s] /proc/loadavg: 1.95 2.00 1.99 3/100 24325 /proc/meminfo: memFree=1212536/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915980 CPUtime=2362.79 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 38528 0 1 0 236026 253 0 0 25 0 8 0 270286794 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24223/statm: 228995 38182 2546 14 0 215465 0 [pid=24223/tid=24225] ppid=24221 vsize=915980 CPUtime=0.95 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 21232 0 0 0 87 8 0 0 16 0 8 0 270286798 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915980 CPUtime=0.44 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 624 0 0 0 42 2 0 0 16 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) R 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2362.79 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2420.34 s] /proc/loadavg: 1.97 2.00 1.99 3/100 24325 /proc/meminfo: memFree=1209400/2055920 swapFree=4182144/4192956 [pid=24223] ppid=24221 vsize=915980 CPUtime=2400.02 /proc/24223/stat : 24223 (java) R 24221 24223 23437 0 -1 0 38528 0 1 0 239749 253 0 0 25 0 8 0 270286794 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24223/statm: 228995 38182 2546 14 0 215465 0 [pid=24223/tid=24225] ppid=24221 vsize=915980 CPUtime=0.95 /proc/24223/task/24225/stat : 24225 (java) S 24221 24223 23437 0 -1 64 21232 0 0 0 87 8 0 0 16 0 8 0 270286798 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24226] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286798 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24227] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286799 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24228] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24229] ppid=24221 vsize=915980 CPUtime=0.44 /proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23437 0 -1 64 624 0 0 0 42 2 0 0 16 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24230] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24223/tid=24231] ppid=24221 vsize=915980 CPUtime=0 /proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23437 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270286802 937963520 38182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2420.39 CPU time (s): 2400.07 CPU user time (s): 2397.51 CPU system time (s): 2.55561 CPU usage (%): 99.1604 Max. virtual memory (cumulated for all children) (KiB): 916012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.51 system time used= 2.55561 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38552 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= 50827 involuntary context switches= 110299 runsolver used 3.2755 s user time and 7.66583 s system time The end
Begin job on node4 on Fri Jan 19 15:01:52 UTC 2007 IDJOB= 275259 IDBENCH= 3744 IDSOLVER= 69 FILE ID= node4/275259-1169218912 PBS_JOBID= 3588930 Free space on /tmp= 66551 MiB SOLVER NAME= AbsconMax 109 PFC 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 pfc.xml 1 XSax /tmp/evaluation/275259-1169218912/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-275259-1169218912 -o ROOT/results/node4/solver-275259-1169218912 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275259-1169218912/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 83479ca6a4f71440e69182b52263adbf RANDOM SEED= 384678567 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.223 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.223 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: 1265440 kB Buffers: 63000 kB Cached: 493744 kB SwapCached: 2148 kB Active: 263804 kB Inactive: 443444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1265440 kB SwapTotal: 4192956 kB SwapFree: 4182144 kB Dirty: 6296 kB Writeback: 0 kB Mapped: 170052 kB Slab: 67244 kB Committed_AS: 8126704 kB PageTables: 2896 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= 66557 MiB End job on node4 on Fri Jan 19 15:42:13 UTC 2007