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.16 | 2421.67 |
| Name | fapp/fapp11-15/fapp15/ fapp15-3000-4.xml |
| MD5SUM | 9e78c37f84975ac2cde8c3ed71f26ee9 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 31270 |
| Best CPU time to get the best result obtained on this benchmark | 2400.14 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 3000 |
| Number of constraints | 33021 |
| Maximum constraint arity | 2 |
| Maximum domain size | 182 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 33021 |
| Global constraints used (with number of constraints) |
0.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=pfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275262-1169218957/unknown.xml 0.39 0.39 domains being loaded... 0.43 0.43 variables being loaded... 0.70 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.70 => wckTime=0.38 cpuTime=0.28 mem=27M382 0.70 0.70 predicates being loaded... 0.70 0.70 constraints being loaded... 33.29 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=86876969 nbExtensionStructures=5265 33.29 nbSharedExtensionStructures=27756 nbConflictsStructures=5265 nbSharedConflictsStructures=27756 33.29 nbSharedBinaryRepresentations=1387101 maxDegree=29 maxArity=2 33.29 => wckTime=32.977 cpuTime=31.83 mem=63M242 33.58 33.58 solver LocalSearchSolver being built... 33.62 => wckTime=33.306 cpuTime=31.89 mem=63M199 33.71 33.71 s SATISFIABLE 33.71 o 26074 33.71 c 6947 33.72 o 26082 33.72 c 6939 33.74 o 26092 33.74 c 6929 33.75 o 26099 33.75 c 6922 33.76 o 26105 33.76 c 6916 33.77 o 26111 33.77 c 6910 33.78 o 26116 33.78 c 6905 33.79 o 26121 33.79 c 6900 33.80 o 26131 33.80 c 6890 33.81 o 26139 33.81 c 6882 33.82 o 26143 33.82 c 6878 33.83 o 26147 33.83 c 6874 33.84 o 26151 33.84 c 6870 33.86 o 26155 33.86 c 6866 33.87 o 26158 33.87 c 6863 33.88 o 26161 33.88 c 6860 33.89 o 26164 33.89 c 6857 33.90 o 26167 33.90 c 6854 33.91 o 26169 33.91 c 6852 33.92 o 26171 33.92 c 6850 33.92 o 26173 33.92 c 6848 33.94 o 26183 33.94 c 6838 33.96 o 26191 33.96 c 6830 33.98 o 26199 33.98 c 6822 33.99 o 26207 33.99 c 6814 34.01 o 26214 34.01 c 6807 34.02 o 26221 34.02 c 6800 34.03 o 26227 34.03 c 6794 34.04 o 26233 34.04 c 6788 34.06 o 26239 34.06 c 6782 34.07 o 26245 34.07 c 6776 34.08 o 26250 34.08 c 6771 34.09 o 26255 34.09 c 6766 34.10 o 26259 34.10 c 6762 34.11 o 26263 34.11 c 6758 34.12 o 26266 34.12 c 6755 34.13 o 26269 34.13 c 6752 34.15 o 26272 34.15 c 6749 34.16 o 26275 34.16 c 6746 34.17 o 26278 34.17 c 6743 34.18 o 26280 34.18 c 6741 34.19 o 26282 34.19 c 6739 34.20 o 26284 34.20 c 6737 34.21 o 26285 34.21 c 6736 34.23 o 26293 34.23 c 6728 34.25 o 26302 34.25 c 6719 34.26 o 26309 34.26 c 6712 34.28 o 26316 34.28 c 6705 34.30 o 26322 34.30 c 6699 34.32 o 26328 34.32 c 6693 34.34 o 26334 34.34 c 6687 34.36 o 26340 34.36 c 6681 34.38 o 26346 34.38 c 6675 34.39 o 26352 34.39 c 6669 34.41 o 26358 34.41 c 6663 34.43 o 26363 34.43 c 6658 34.44 o 26368 34.45 c 6653 34.46 o 26373 34.46 c 6648 34.48 o 26378 34.48 c 6643 34.49 o 26383 34.49 c 6638 34.50 o 26388 34.50 c 6633 34.52 o 26393 34.52 c 6628 34.53 o 26398 34.53 c 6623 34.55 o 26401 34.55 c 6620 34.56 o 26405 34.56 c 6616 34.58 o 26409 34.58 c 6612 34.59 o 26413 34.59 c 6608 34.60 o 26417 34.60 c 6604 34.62 o 26421 34.62 c 6600 34.63 o 26424 34.63 c 6597 34.64 o 26427 34.64 c 6594 34.66 o 26430 34.66 c 6591 34.67 o 26433 34.67 c 6588 34.68 o 26436 34.68 c 6585 34.69 o 26439 34.69 c 6582 34.70 o 26442 34.70 c 6579 34.71 o 26444 34.71 c 6577 34.72 o 26446 34.72 c 6575 34.73 o 26448 34.73 c 6573 34.74 o 26450 34.74 c 6571 34.75 o 26451 34.75 c 6570 34.76 o 26455 34.76 c 6566 34.77 o 26460 34.77 c 6561 34.78 o 26465 34.78 c 6556 34.79 o 26468 34.79 c 6553 34.81 o 26474 34.81 c 6547 34.82 o 26478 34.82 c 6543 34.83 o 26479 34.83 c 6542 34.83 o 26484 34.83 c 6537 34.85 o 26486 34.85 c 6535 34.86 o 26491 34.86 c 6530 34.87 o 26498 34.87 c 6523 34.88 o 26500 34.88 c 6521 34.90 o 26502 34.90 c 6519 34.92 o 26509 34.92 c 6512 34.94 o 26516 34.94 c 6505 34.96 o 26517 34.96 c 6504 34.98 o 26524 34.98 c 6497 35.01 o 26531 35.01 c 6490 35.04 o 26537 35.04 c 6484 35.06 o 26543 35.06 c 6478 35.09 o 26549 35.09 c 6472 35.12 o 26555 35.12 c 6466 35.15 o 26561 35.15 c 6460 35.17 o 26566 35.17 c 6455 35.20 o 26571 35.20 c 6450 35.23 o 26576 35.23 c 6445 35.25 o 26580 35.25 c 6441 35.28 o 26585 35.28 c 6436 35.30 o 26590 35.30 c 6431 35.33 o 26595 35.33 c 6426 35.35 o 26600 35.35 c 6421 35.38 o 26605 35.38 c 6416 35.41 o 26610 35.41 c 6411 35.43 o 26615 35.43 c 6406 35.46 o 26620 35.46 c 6401 35.48 o 26625 35.48 c 6396 35.51 o 26630 35.51 c 6391 35.53 o 26634 35.53 c 6387 35.56 o 26638 35.56 c 6383 35.58 o 26640 35.58 c 6381 35.61 o 26644 35.61 c 6377 35.63 o 26648 35.63 c 6373 35.65 o 26652 35.65 c 6369 35.67 o 26656 35.67 c 6365 35.69 o 26660 35.69 c 6361 35.71 o 26664 35.71 c 6357 35.73 o 26668 35.73 c 6353 35.76 o 26672 35.76 c 6349 35.78 o 26676 35.78 c 6345 35.80 o 26680 35.80 c 6341 35.82 o 26684 35.82 c 6337 35.84 o 26688 35.84 c 6333 35.86 o 26692 35.86 c 6329 35.87 o 26696 35.87 c 6325 35.89 o 26700 35.89 c 6321 35.91 o 26704 35.91 c 6317 35.93 o 26707 35.93 c 6314 35.94 o 26710 35.94 c 6311 35.96 o 26713 35.96 c 6308 35.98 o 26716 35.98 c 6305 35.99 o 26719 35.99 c 6302 36.01 o 26722 36.01 c 6299 36.03 o 26725 36.03 c 6296 36.04 o 26728 36.04 c 6293 36.06 o 26731 36.06 c 6290 36.07 o 26734 36.07 c 6287 36.09 o 26737 36.09 c 6284 36.10 o 26740 36.10 c 6281 36.12 o 26743 36.12 c 6278 36.13 o 26746 36.13 c 6275 36.14 o 26749 36.14 c 6272 36.16 o 26752 36.16 c 6269 36.17 o 26754 36.17 c 6267 36.18 o 26756 36.18 c 6265 36.20 o 26758 36.20 c 6263 36.22 o 26760 36.22 c 6261 36.23 o 26762 36.23 c 6259 36.25 o 26764 36.25 c 6257 36.26 o 26766 36.26 c 6255 36.27 o 26768 36.27 c 6253 36.29 o 26772 36.29 c 6249 36.30 o 26774 36.30 c 6247 36.31 o 26775 36.31 c 6246 36.32 o 26776 36.32 c 6245 36.33 o 26777 36.33 c 6244 36.38 o 26781 36.38 c 6240 36.40 o 26785 36.40 c 6236 36.41 o 26791 36.41 c 6230 36.42 o 26797 36.42 c 6224 36.43 o 26800 36.43 c 6221 36.44 o 26804 36.44 c 6217 36.45 o 26808 36.45 c 6213 36.46 o 26809 36.46 c 6212 36.47 o 26811 36.48 c 6210 36.49 o 26817 36.49 c 6204 36.50 o 26822 36.50 c 6199 36.51 o 26825 36.52 c 6196 36.53 o 26826 36.53 c 6195 36.54 o 26834 36.54 c 6187 36.55 o 26837 36.55 c 6184 36.56 o 26839 36.56 c 6182 36.57 o 26841 36.57 c 6180 36.58 o 26842 36.58 c 6179 36.59 o 26846 36.59 c 6175 36.60 o 26851 36.60 c 6170 36.61 o 26855 36.61 c 6166 36.64 o 26857 36.64 c 6164 36.65 o 26858 36.65 c 6163 36.66 o 26863 36.66 c 6158 36.67 o 26866 36.67 c 6155 36.68 o 26869 36.68 c 6152 36.70 o 26871 36.70 c 6150 36.71 o 26876 36.71 c 6145 36.73 o 26881 36.73 c 6140 36.74 o 26888 36.74 c 6133 36.75 o 26893 36.75 c 6128 36.77 o 26901 36.77 c 6120 36.78 o 26907 36.78 c 6114 36.79 o 26909 36.79 c 6112 36.80 o 26914 36.80 c 6107 36.83 o 26917 36.83 c 6104 36.84 o 26920 36.84 c 6101 36.86 o 26924 36.86 c 6097 36.88 o 26931 36.88 c 6090 36.91 o 26937 36.91 c 6084 36.93 o 26943 36.93 c 6078 36.96 o 26950 36.96 c 6071 36.98 o 26956 36.98 c 6065 37.01 o 26960 37.01 c 6061 37.04 o 26966 37.04 c 6055 37.06 o 26973 37.06 c 6048 37.08 o 26979 37.08 c 6042 37.10 o 26986 37.10 c 6035 37.13 o 26991 37.13 c 6030 37.16 o 26996 37.16 c 6025 37.18 o 27001 37.19 c 6020 37.21 o 27006 37.21 c 6015 37.24 o 27011 37.24 c 6010 37.27 o 27016 37.27 c 6005 37.30 o 27021 37.30 c 6000 37.32 o 27026 37.32 c 5995 37.36 o 27031 37.36 c 5990 37.38 o 27036 37.38 c 5985 37.41 o 27041 37.41 c 5980 37.43 o 27046 37.43 c 5975 37.45 o 27051 37.45 c 5970 37.48 o 27056 37.48 c 5965 37.50 o 27061 37.50 c 5960 37.53 o 27066 37.53 c 5955 37.55 o 27071 37.55 c 5950 37.58 o 27076 37.58 c 5945 37.60 o 27081 37.60 c 5940 37.63 o 27085 37.63 c 5936 37.66 o 27089 37.66 c 5932 37.68 o 27093 37.68 c 5928 37.71 o 27097 37.71 c 5924 37.73 o 27101 37.73 c 5920 37.76 o 27105 37.76 c 5916 37.79 o 27109 37.79 c 5912 37.81 o 27113 37.81 c 5908 37.83 o 27117 37.83 c 5904 37.85 o 27121 37.85 c 5900 37.88 o 27125 37.88 c 5896 37.90 o 27126 37.90 c 5895 37.92 o 27130 37.92 c 5891 37.94 o 27134 37.94 c 5887 37.96 o 27138 37.96 c 5883 37.98 o 27141 37.98 c 5880 38.00 o 27144 38.00 c 5877 38.02 o 27147 38.02 c 5874 38.04 o 27150 38.04 c 5871 38.06 o 27153 38.06 c 5868 38.08 o 27156 38.08 c 5865 38.10 o 27159 38.10 c 5862 38.11 o 27162 38.11 c 5859 38.13 o 27165 38.13 c 5856 38.15 o 27168 38.15 c 5853 38.16 o 27170 38.16 c 5851 38.18 o 27172 38.18 c 5849 38.19 o 27174 38.19 c 5847 38.21 o 27176 38.21 c 5845 38.23 o 27178 38.23 c 5843 38.24 o 27180 38.24 c 5841 38.26 o 27182 38.26 c 5839 38.27 o 27184 38.27 c 5837 38.29 o 27186 38.29 c 5835 38.30 o 27188 38.30 c 5833 38.31 o 27190 38.31 c 5831 38.33 o 27192 38.33 c 5829 38.34 o 27193 38.34 c 5828 38.36 o 27194 38.36 c 5827 38.37 o 27195 38.37 c 5826 38.38 o 27196 38.38 c 5825 38.39 o 27197 38.39 c 5824 38.41 o 27198 38.41 c 5823 38.42 o 27199 38.42 c 5822 38.43 o 27200 38.43 c 5821 38.44 o 27205 38.44 c 5816 38.45 o 27206 38.45 c 5815 38.46 o 27207 38.46 c 5814 38.54 o 27210 38.54 c 5811 38.55 o 27215 38.55 c 5806 38.55 o 27219 38.55 c 5802 38.56 o 27227 38.56 c 5794 38.57 o 27234 38.57 c 5787 38.58 o 27238 38.58 c 5783 38.59 o 27241 38.59 c 5780 38.60 o 27243 38.60 c 5778 38.61 o 27250 38.61 c 5771 38.62 o 27255 38.62 c 5766 38.63 o 27256 38.63 c 5765 38.64 o 27259 38.64 c 5762 38.65 o 27264 38.65 c 5757 38.66 o 27266 38.66 c 5755 38.67 o 27268 38.67 c 5753 38.68 o 27269 38.68 c 5752 38.69 o 27273 38.69 c 5748 38.70 o 27276 38.70 c 5745 38.71 o 27278 38.71 c 5743 38.72 o 27281 38.72 c 5740 38.73 o 27287 38.73 c 5734 38.75 o 27291 38.75 c 5730 38.76 o 27298 38.76 c 5723 38.77 o 27303 38.77 c 5718 38.78 o 27306 38.78 c 5715 38.80 o 27309 38.80 c 5712 38.81 o 27311 38.81 c 5710 38.82 o 27312 38.82 c 5709 38.83 o 27316 38.83 c 5705 38.84 o 27317 38.84 c 5704 38.86 o 27319 38.86 c 5702 38.87 o 27324 38.87 c 5697 38.88 o 27328 38.88 c 5693 38.90 o 27332 38.90 c 5689 38.91 o 27336 38.91 c 5685 38.92 o 27342 38.92 c 5679 38.93 o 27343 38.93 c 5678 38.95 o 27345 38.95 c 5676 38.96 o 27351 38.96 c 5670 38.97 o 27353 38.97 c 5668 38.98 o 27355 38.98 c 5666 38.99 o 27360 38.99 c 5661 39.01 o 27361 39.01 c 5660 39.02 o 27365 39.02 c 5656 39.03 o 27368 39.03 c 5653 39.04 o 27371 39.04 c 5650 39.06 o 27373 39.06 c 5648 39.08 o 27376 39.08 c 5645 39.09 o 27377 39.09 c 5644 39.12 o 27378 39.12 c 5643 39.13 o 27383 39.13 c 5638 39.14 o 27386 39.14 c 5635 39.15 o 27391 39.15 c 5630 39.16 o 27393 39.16 c 5628 39.17 o 27396 39.17 c 5625 39.19 o 27397 39.19 c 5624 39.22 o 27398 39.22 c 5623 39.23 o 27402 39.23 c 5619 39.24 o 27404 39.24 c 5617 39.25 o 27408 39.25 c 5613 39.26 o 27410 39.26 c 5611 39.28 o 27412 39.28 c 5609 39.31 o 27418 39.31 c 5603 39.34 o 27424 39.34 c 5597 39.37 o 27429 39.37 c 5592 39.40 o 27434 39.40 c 5587 39.43 o 27439 39.43 c 5582 39.46 o 27444 39.46 c 5577 39.49 o 27449 39.49 c 5572 39.52 o 27454 39.52 c 5567 39.55 o 27459 39.55 c 5562 39.58 o 27464 39.58 c 5557 39.61 o 27469 39.61 c 5552 39.67 o 27472 39.67 c 5549 39.70 o 27476 39.70 c 5545 39.74 o 27480 39.74 c 5541 39.77 o 27484 39.77 c 5537 39.80 o 27488 39.80 c 5533 39.83 o 27492 39.83 c 5529 39.86 o 27496 39.86 c 5525 39.91 o 27500 39.92 c 5521 39.95 o 27504 39.95 c 5517 39.98 o 27508 39.98 c 5513 40.01 o 27512 40.01 c 5509 40.06 o 27516 40.06 c 5505 40.09 o 27520 40.09 c 5501 40.12 o 27524 40.12 c 5497 40.15 o 27527 40.15 c 5494 40.18 o 27530 40.18 c 5491 40.20 o 27533 40.20 c 5488 40.23 o 27536 40.23 c 5485 40.26 o 27539 40.26 c 5482 40.28 o 27542 40.28 c 5479 40.31 o 27545 40.31 c 5476 40.33 o 27548 40.33 c 5473 40.36 o 27551 40.36 c 5470 40.38 o 27554 40.39 c 5467 40.41 o 27557 40.41 c 5464 40.43 o 27560 40.43 c 5461 40.46 o 27563 40.46 c 5458 40.48 o 27565 40.48 c 5456 40.50 o 27567 40.50 c 5454 40.53 o 27569 40.53 c 5452 40.55 o 27571 40.55 c 5450 40.57 o 27572 40.57 c 5449 40.59 o 27574 40.59 c 5447 40.61 o 27576 40.61 c 5445 40.64 o 27578 40.64 c 5443 40.66 o 27580 40.66 c 5441 40.68 o 27582 40.68 c 5439 40.70 o 27584 40.70 c 5437 40.71 o 27586 40.72 c 5435 40.74 o 27590 40.74 c 5431 40.76 o 27592 40.76 c 5429 40.78 o 27594 40.78 c 5427 40.80 o 27596 40.80 c 5425 40.82 o 27598 40.82 c 5423 40.84 o 27600 40.84 c 5421 40.86 o 27602 40.86 c 5419 40.88 o 27604 40.88 c 5417 40.89 o 27605 40.89 c 5416 40.91 o 27606 40.91 c 5415 40.93 o 27607 40.93 c 5414 40.95 o 27608 40.95 c 5413 40.97 o 27609 40.97 c 5412 40.99 o 27612 40.99 c 5409 41.00 o 27613 41.00 c 5408 41.02 o 27614 41.02 c 5407 41.18 o 27619 41.18 c 5402 41.19 o 27622 41.19 c 5399 41.20 o 27624 41.20 c 5397 41.22 o 27629 41.22 c 5392 41.23 o 27631 41.23 c 5390 41.24 o 27633 41.24 c 5388 41.26 o 27634 41.26 c 5387 41.27 o 27637 41.27 c 5384 41.29 o 27643 41.29 c 5378 41.30 o 27644 41.30 c 5377 41.32 o 27648 41.32 c 5373 41.35 o 27651 41.36 c 5370 41.37 o 27656 41.37 c 5365 41.38 o 27658 41.38 c 5363 41.39 o 27663 41.39 c 5358 41.40 o 27667 41.40 c 5354 41.42 o 27670 41.42 c 5351 41.43 o 27674 41.43 c 5347 41.44 o 27676 41.44 c 5345 41.46 o 27679 41.46 c 5342 41.47 o 27683 41.47 c 5338 41.49 o 27686 41.49 c 5335 41.50 o 27687 41.50 c 5334 41.52 o 27688 41.52 c 5333 41.54 o 27692 41.54 c 5329 41.58 o 27693 41.58 c 5328 41.60 o 27694 41.60 c 5327 41.61 o 27699 41.61 c 5322 41.63 o 27701 41.63 c 5320 41.64 o 27702 41.64 c 5319 41.66 o 27704 41.66 c 5317 41.67 o 27706 41.67 c 5315 41.68 o 27709 41.68 c 5312 41.70 o 27711 41.70 c 5310 41.71 o 27714 41.71 c 5307 41.73 o 27719 41.73 c 5302 41.74 o 27722 41.74 c 5299 41.75 o 27723 41.75 c 5298 41.77 o 27725 41.77 c 5296 41.82 o 27729 41.82 c 5292 41.84 o 27731 41.84 c 5290 41.85 o 27735 41.85 c 5286 41.87 o 27737 41.87 c 5284 41.88 o 27738 41.88 c 5283 41.90 o 27741 41.90 c 5280 41.92 o 27745 41.92 c 5276 41.95 o 27751 41.95 c 5270 41.96 o 27755 41.96 c 5266 41.98 o 27757 41.98 c 5264 42.00 o 27759 42.00 c 5262 42.02 o 27761 42.02 c 5260 42.03 o 27764 42.03 c 5257 42.05 o 27768 42.05 c 5253 42.06 o 27770 42.06 c 5251 42.08 o 27772 42.08 c 5249 42.09 o 27775 42.09 c 5246 42.11 o 27778 42.11 c 5243 42.12 o 27781 42.12 c 5240 42.14 o 27783 42.14 c 5238 42.16 o 27788 42.16 c 5233 42.21 o 27789 42.21 c 5232 42.23 o 27793 42.23 c 5228 42.24 o 27794 42.24 c 5227 42.25 o 27798 42.25 c 5223 42.27 o 27804 42.27 c 5217 42.28 o 27806 42.28 c 5215 42.31 o 27809 42.31 c 5212 42.33 o 27810 42.33 c 5211 42.35 o 27812 42.35 c 5209 42.36 o 27814 42.36 c 5207 42.37 o 27816 42.37 c 5205 42.39 o 27817 42.39 c 5204 42.40 o 27820 42.40 c 5201 42.41 o 27824 42.41 c 5197 42.42 o 27827 42.42 c 5194 42.44 o 27830 42.44 c 5191 42.46 o 27832 42.46 c 5189 42.49 o 27833 42.49 c 5188 42.52 o 27835 42.52 c 5186 42.53 o 27839 42.53 c 5182 42.55 o 27841 42.55 c 5180 42.56 o 27844 42.56 c 5177 42.59 o 27847 42.59 c 5174 42.61 o 27852 42.61 c 5169 42.63 o 27857 42.63 c 5164 42.66 o 27858 42.66 c 5163 42.67 o 27860 42.67 c 5161 42.69 o 27863 42.69 c 5158 42.71 o 27865 42.71 c 5156 42.72 o 27868 42.72 c 5153 42.74 o 27869 42.74 c 5152 42.75 o 27870 42.75 c 5151 42.77 o 27876 42.77 c 5145 42.78 o 27880 42.78 c 5141 42.80 o 27884 42.80 c 5137 42.83 o 27886 42.83 c 5135 42.84 o 27888 42.84 c 5133 42.86 o 27890 42.86 c 5131 42.88 o 27891 42.88 c 5130 42.90 o 27894 42.90 c 5127 42.93 o 27895 42.93 c 5126 42.95 o 27898 42.95 c 5123 42.96 o 27901 42.96 c 5120 42.98 o 27904 42.98 c 5117 42.99 o 27908 42.99 c 5113 43.00 o 27912 43.00 c 5109 43.02 o 27915 43.02 c 5106 43.03 o 27920 43.03 c 5101 43.05 o 27923 43.05 c 5098 43.06 o 27927 43.06 c 5094 43.10 o 27931 43.10 c 5090 43.13 o 27936 43.13 c 5085 43.15 o 27941 43.15 c 5080 43.18 o 27946 43.18 c 5075 43.20 o 27951 43.20 c 5070 43.23 o 27955 43.23 c 5066 43.26 o 27959 43.26 c 5062 43.29 o 27962 43.29 c 5059 43.32 o 27966 43.32 c 5055 43.35 o 27970 43.35 c 5051 43.38 o 27974 43.38 c 5047 43.41 o 27978 43.41 c 5043 43.45 o 27982 43.45 c 5039 43.47 o 27986 43.47 c 5035 43.51 o 27990 43.51 c 5031 43.54 o 27994 43.54 c 5027 43.56 o 27998 43.56 c 5023 43.59 o 27999 43.59 c 5022 43.62 o 28003 43.62 c 5018 43.64 o 28007 43.64 c 5014 43.67 o 28011 43.67 c 5010 43.70 o 28012 43.70 c 5009 43.73 o 28015 43.73 c 5006 43.76 o 28018 43.76 c 5003 43.79 o 28021 43.79 c 5000 43.82 o 28025 43.82 c 4996 43.85 o 28028 43.85 c 4993 43.87 o 28031 43.87 c 4990 43.90 o 28034 43.90 c 4987 43.93 o 28037 43.93 c 4984 43.96 o 28040 43.96 c 4981 43.98 o 28044 43.98 c 4977 44.01 o 28047 44.01 c 4974 44.06 o 28049 44.06 c 4972 44.09 o 28052 44.09 c 4969 44.12 o 28055 44.12 c 4966 44.15 o 28058 44.15 c 4963 44.18 o 28061 44.18 c 4960 44.20 o 28063 44.21 c 4958 44.23 o 28065 44.23 c 4956 44.26 o 28067 44.26 c 4954 44.29 o 28069 44.29 c 4952 44.34 o 28071 44.34 c 4950 44.36 o 28073 44.36 c 4948 44.39 o 28075 44.39 c 4946 44.42 o 28077 44.42 c 4944 44.44 o 28079 44.44 c 4942 44.47 o 28081 44.47 c 4940 44.50 o 28083 44.50 c 4938 44.52 o 28085 44.52 c 4936 44.54 o 28087 44.54 c 4934 44.58 o 28089 44.58 c 4932 44.60 o 28091 44.60 c 4930 44.63 o 28093 44.63 c 4928 44.65 o 28095 44.65 c 4926 44.68 o 28096 44.68 c 4925 44.70 o 28098 44.70 c 4923 44.72 o 28099 44.72 c 4922 44.75 o 28100 44.75 c 4921 44.77 o 28101 44.77 c 4920 44.80 o 28102 44.80 c 4919 44.82 o 28103 44.82 c 4918 44.84 o 28104 44.84 c 4917 44.86 o 28105 44.86 c 4916 44.88 o 28106 44.88 c 4915 44.89 o 28107 44.89 c 4914 44.91 o 28108 44.91 c 4913 44.93 o 28109 44.93 c 4912 44.95 o 28110 44.95 c 4911 44.97 o 28111 44.97 c 4910 45.21 o 28113 45.21 c 4908 45.22 o 28118 45.22 c 4903 45.24 o 28120 45.24 c 4901 45.26 o 28126 45.26 c 4895 45.28 o 28130 45.28 c 4891 45.30 o 28132 45.30 c 4889 45.33 o 28135 45.33 c 4886 45.35 o 28138 45.35 c 4883 45.37 o 28141 45.37 c 4880 45.39 o 28142 45.39 c 4879 45.40 o 28144 45.40 c 4877 45.44 o 28147 45.44 c 4874 45.46 o 28152 45.46 c 4869 45.48 o 28153 45.48 c 4868 45.50 o 28156 45.50 c 4865 45.51 o 28157 45.51 c 4864 45.53 o 28159 45.53 c 4862 45.56 o 28161 45.56 c 4860 45.58 o 28164 45.58 c 4857 45.59 o 28166 45.59 c 4855 45.61 o 28170 45.61 c 4851 45.64 o 28174 45.64 c 4847 45.66 o 28175 45.66 c 4846 45.71 o 28177 45.71 c 4844 45.73 o 28181 45.73 c 4840 45.75 o 28183 45.75 c 4838 45.77 o 28184 45.77 c 4837 45.78 o 28188 45.78 c 4833 45.80 o 28192 45.80 c 4829 45.82 o 28194 45.82 c 4827 45.84 o 28196 45.84 c 4825 45.85 o 28198 45.85 c 4823 45.87 o 28200 45.87 c 4821 45.89 o 28204 45.89 c 4817 45.91 o 28207 45.91 c 4814 45.93 o 28210 45.93 c 4811 45.94 o 28212 45.94 c 4809 45.96 o 28214 45.96 c 4807 45.98 o 28217 45.98 c 4804 46.00 o 28221 46.00 c 4800 46.01 o 28223 46.01 c 4798 46.05 o 28226 46.05 c 4795 46.09 o 28227 46.09 c 4794 46.11 o 28230 46.11 c 4791 46.13 o 28232 46.13 c 4789 46.15 o 28233 46.15 c 4788 46.18 o 28234 46.18 c 4787 46.20 o 28237 46.20 c 4784 46.23 o 28240 46.23 c 4781 46.25 o 28244 46.25 c 4777 46.29 o 28247 46.29 c 4774 46.32 o 28251 46.32 c 4770 46.34 o 28255 46.34 c 4766 46.37 o 28260 46.37 c 4761 46.39 o 28262 46.39 c 4759 46.42 o 28264 46.42 c 4757 46.45 o 28266 46.45 c 4755 46.47 o 28271 46.47 c 4750 46.49 o 28274 46.49 c 4747 46.51 o 28276 46.51 c 4745 46.53 o 28281 46.53 c 4740 46.55 o 28282 46.55 c 4739 46.57 o 28283 46.57 c 4738 46.58 o 28285 46.58 c 4736 46.62 o 28289 46.62 c 4732 46.64 o 28290 46.64 c 4731 46.66 o 28294 46.66 c 4727 46.68 o 28299 46.68 c 4722 46.70 o 28300 46.70 c 4721 46.73 o 28303 46.73 c 4718 46.81 o 28306 46.81 c 4715 46.84 o 28309 46.84 c 4712 46.90 o 28313 46.90 c 4708 46.92 o 28315 46.92 c 4706 46.94 o 28320 46.94 c 4701 46.96 o 28322 46.96 c 4699 46.98 o 28327 46.98 c 4694 47.01 o 28331 47.01 c 4690 47.03 o 28335 47.03 c 4686 47.05 o 28338 47.05 c 4683 47.07 o 28340 47.07 c 4681 47.09 o 28344 47.09 c 4677 47.12 o 28346 47.12 c 4675 47.14 o 28350 47.14 c 4671 47.16 o 28351 47.16 c 4670 47.18 o 28353 47.18 c 4668 47.20 o 28356 47.20 c 4665 47.22 o 28357 47.22 c 4664 47.25 o 28360 47.25 c 4661 47.27 o 28361 47.27 c 4660 47.31 o 28362 47.31 c 4659 47.35 o 28363 47.35 c 4658 47.41 o 28367 47.41 c 4654 47.43 o 28370 47.43 c 4651 47.46 o 28373 47.46 c 4648 47.48 o 28374 47.48 c 4647 47.50 o 28376 47.50 c 4645 47.52 o 28379 47.52 c 4642 47.54 o 28383 47.54 c 4638 47.59 o 28385 47.59 c 4636 47.61 o 28389 47.61 c 4632 47.63 o 28394 47.63 c 4627 47.68 o 28395 47.68 c 4626 47.71 o 28396 47.71 c 4625 47.73 o 28399 47.73 c 4622 47.75 o 28400 47.75 c 4621 47.78 o 28402 47.78 c 4619 47.80 o 28407 47.80 c 4614 47.89 o 28409 47.89 c 4612 47.92 o 28411 47.92 c 4610 47.94 o 28412 47.94 c 4609 47.97 o 28414 47.97 c 4607 48.00 o 28420 48.00 c 4601 48.02 o 28422 48.02 c 4599 48.06 o 28424 48.06 c 4597 48.09 o 28425 48.09 c 4596 48.13 o 28428 48.13 c 4593 48.15 o 28431 48.15 c 4590 48.18 o 28434 48.18 c 4587 48.20 o 28435 48.20 c 4586 48.25 o 28439 48.25 c 4582 48.34 o 28440 48.34 c 4581 48.36 o 28443 48.36 c 4578 48.39 o 28445 48.39 c 4576 48.43 o 28447 48.43 c 4574 48.45 o 28450 48.45 c 4571 48.47 o 28452 48.47 c 4569 48.50 o 28458 48.50 c 4563 48.56 o 28460 48.56 c 4561 48.58 o 28464 48.58 c 4557 48.60 o 28466 48.60 c 4555 48.63 o 28468 48.63 c 4553 48.65 o 28471 48.65 c 4550 48.67 o 28474 48.67 c 4547 48.70 o 28475 48.70 c 4546 48.72 o 28480 48.72 c 4541 48.74 o 28482 48.74 c 4539 48.77 o 28484 48.77 c 4537 48.79 o 28485 48.79 c 4536 48.81 o 28489 48.81 c 4532 48.85 o 28492 48.85 c 4529 48.88 o 28493 48.88 c 4528 48.90 o 28498 48.90 c 4523 48.92 o 28499 48.92 c 4522 48.98 o 28500 48.98 c 4521 49.01 o 28503 49.01 c 4518 49.03 o 28508 49.03 c 4513 49.05 o 28509 49.05 c 4512 49.09 o 28510 49.09 c 4511 49.12 o 28515 49.12 c 4506 49.14 o 28518 49.14 c 4503 49.16 o 28522 49.16 c 4499 49.18 o 28524 49.18 c 4497 49.21 o 28528 49.21 c 4493 49.25 o 28529 49.25 c 4492 49.27 o 28531 49.27 c 4490 49.29 o 28532 49.29 c 4489 49.31 o 28534 49.31 c 4487 49.34 o 28535 49.34 c 4486 49.36 o 28541 49.36 c 4480 49.38 o 28542 49.38 c 4479 49.43 o 28546 49.43 c 4475 49.45 o 28547 49.45 c 4474 49.47 o 28549 49.47 c 4472 49.50 o 28552 49.50 c 4469 49.53 o 28555 49.53 c 4466 49.55 o 28556 49.55 c 4465 49.57 o 28558 49.57 c 4463 49.61 o 28559 49.61 c 4462 49.67 o 28564 49.67 c 4457 49.75 o 28567 49.75 c 4454 49.80 o 28571 49.80 c 4450 49.84 o 28574 49.84 c 4447 49.88 o 28576 49.88 c 4445 49.92 o 28579 49.92 c 4442 49.96 o 28580 49.96 c 4441 49.99 o 28582 49.99 c 4439 50.02 o 28585 50.02 c 4436 50.06 o 28588 50.06 c 4433 50.10 o 28591 50.10 c 4430 50.13 o 28594 50.13 c 4427 50.17 o 28597 50.17 c 4424 50.21 o 28599 50.21 c 4422 50.24 o 28600 50.24 c 4421 50.28 o 28603 50.28 c 4418 50.31 o 28606 50.31 c 4415 50.35 o 28608 50.35 c 4413 50.41 o 28611 50.41 c 4410 50.45 o 28614 50.45 c 4407 50.48 o 28616 50.48 c 4405 50.52 o 28618 50.52 c 4403 50.56 o 28620 50.56 c 4401 50.59 o 28621 50.59 c 4400 50.62 o 28623 50.62 c 4398 50.66 o 28625 50.66 c 4396 50.69 o 28627 50.69 c 4394 50.73 o 28629 50.73 c 4392 50.76 o 28631 50.76 c 4390 50.80 o 28633 50.80 c 4388 50.86 o 28634 50.86 c 4387 50.90 o 28636 50.90 c 4385 50.93 o 28638 50.93 c 4383 50.97 o 28640 50.97 c 4381 51.00 o 28642 51.00 c 4379 51.04 o 28644 51.04 c 4377 51.07 o 28645 51.07 c 4376 51.11 o 28646 51.11 c 4375 51.14 o 28647 51.14 c 4374 51.18 o 28648 51.18 c 4373 51.21 o 28649 51.21 c 4372 51.24 o 28650 51.24 c 4371 51.28 o 28651 51.28 c 4370 51.31 o 28652 51.31 c 4369 51.34 o 28653 51.34 c 4368 51.37 o 28654 51.37 c 4367 51.40 o 28655 51.40 c 4366 51.43 o 28656 51.43 c 4365 51.46 o 28657 51.46 c 4364 51.49 o 28658 51.49 c 4363 51.52 o 28659 51.52 c 4362 51.55 o 28660 51.55 c 4361 51.66 o 28663 51.66 c 4358 51.76 o 28665 51.76 c 4356 52.19 o 28668 52.19 c 4353 52.22 o 28672 52.22 c 4349 52.24 o 28673 52.24 c 4348 52.29 o 28675 52.29 c 4346 52.33 o 28677 52.33 c 4344 52.35 o 28678 52.35 c 4343 52.39 o 28680 52.39 c 4341 52.41 o 28683 52.41 c 4338 52.46 o 28685 52.46 c 4336 52.48 o 28689 52.48 c 4332 52.50 o 28693 52.50 c 4328 52.52 o 28694 52.52 c 4327 52.55 o 28695 52.55 c 4326 52.59 o 28696 52.59 c 4325 52.61 o 28699 52.61 c 4322 52.64 o 28702 52.64 c 4319 52.68 o 28705 52.68 c 4316 52.73 o 28706 52.73 c 4315 52.75 o 28710 52.75 c 4311 52.84 o 28711 52.84 c 4310 52.86 o 28712 52.86 c 4309 52.88 o 28716 52.88 c 4305 52.91 o 28718 52.91 c 4303 52.93 o 28720 52.93 c 4301 52.96 o 28721 52.96 c 4300 52.98 o 28723 52.98 c 4298 53.01 o 28726 53.01 c 4295 53.03 o 28727 53.03 c 4294 53.06 o 28728 53.06 c 4293 53.08 o 28730 53.08 c 4291 53.11 o 28732 53.11 c 4289 53.13 o 28733 53.13 c 4288 53.16 o 28735 53.16 c 4286 53.19 o 28736 53.19 c 4285 53.22 o 28737 53.22 c 4284 53.24 o 28738 53.24 c 4283 53.27 o 28740 53.27 c 4281 53.33 o 28742 53.33 c 4279 53.36 o 28743 53.36 c 4278 53.38 o 28745 53.38 c 4276 53.42 o 28746 53.42 c 4275 53.44 o 28748 53.44 c 4273 53.47 o 28749 53.47 c 4272 53.53 o 28751 53.53 c 4270 53.56 o 28754 53.56 c 4267 53.59 o 28758 53.59 c 4263 53.65 o 28759 53.65 c 4262 53.67 o 28763 53.67 c 4258 53.70 o 28768 53.70 c 4253 53.79 o 28770 53.79 c 4251 53.84 o 28773 53.84 c 4248 53.87 o 28774 53.87 c 4247 53.90 o 28775 53.90 c 4246 53.99 o 28776 53.99 c 4245 54.09 o 28779 54.09 c 4242 54.11 o 28785 54.11 c 4236 54.24 o 28787 54.24 c 4234 54.27 o 28790 54.27 c 4231 54.32 o 28793 54.32 c 4228 54.38 o 28795 54.38 c 4226 54.41 o 28796 54.41 c 4225 54.44 o 28800 54.44 c 4221 54.49 o 28803 54.49 c 4218 54.52 o 28807 54.52 c 4214 54.57 o 28808 54.58 c 4213 54.60 o 28810 54.60 c 4211 54.63 o 28811 54.63 c 4210 54.66 o 28814 54.66 c 4207 54.73 o 28815 54.73 c 4206 54.77 o 28816 54.77 c 4205 54.84 o 28818 54.84 c 4203 54.87 o 28820 54.87 c 4201 54.89 o 28822 54.89 c 4199 54.92 o 28824 54.92 c 4197 54.97 o 28825 54.97 c 4196 55.00 o 28826 55.00 c 4195 55.05 o 28827 55.05 c 4194 55.08 o 28828 55.08 c 4193 55.17 o 28832 55.17 c 4189 55.19 o 28833 55.19 c 4188 55.22 o 28835 55.22 c 4186 55.29 o 28838 55.29 c 4183 55.32 o 28843 55.32 c 4178 55.40 o 28845 55.40 c 4176 55.45 o 28846 55.45 c 4175 55.49 o 28847 55.49 c 4174 55.51 o 28848 55.51 c 4173 55.53 o 28849 55.53 c 4172 55.56 o 28850 55.56 c 4171 55.59 o 28852 55.59 c 4169 55.62 o 28854 55.62 c 4167 55.64 o 28855 55.64 c 4166 55.67 o 28857 55.67 c 4164 55.70 o 28858 55.70 c 4163 55.72 o 28861 55.72 c 4160 55.75 o 28862 55.75 c 4159 55.78 o 28865 55.78 c 4156 55.80 o 28866 55.80 c 4155 56.02 o 28869 56.02 c 4152 56.05 o 28871 56.05 c 4150 56.08 o 28873 56.08 c 4148 56.14 o 28878 56.14 c 4143 56.19 o 28880 56.19 c 4141 56.22 o 28883 56.22 c 4138 56.28 o 28886 56.28 c 4135 56.31 o 28888 56.31 c 4133 56.33 o 28889 56.33 c 4132 56.39 o 28891 56.39 c 4130 56.42 o 28892 56.42 c 4129 56.48 o 28893 56.48 c 4128 56.51 o 28894 56.51 c 4127 56.54 o 28897 56.54 c 4124 56.59 o 28899 56.59 c 4122 56.63 o 28901 56.63 c 4120 56.69 o 28902 56.69 c 4119 56.72 o 28905 56.72 c 4116 56.75 o 28907 56.75 c 4114 56.79 o 28908 56.79 c 4113 56.85 o 28910 56.85 c 4111 56.88 o 28912 56.88 c 4109 56.94 o 28917 56.94 c 4104 56.96 o 28920 56.96 c 4101 57.00 o 28923 57.00 c 4098 57.03 o 28926 57.03 c 4095 57.09 o 28927 57.09 c 4094 57.15 o 28928 57.15 c 4093 57.19 o 28931 57.19 c 4090 57.25 o 28933 57.25 c 4088 57.28 o 28937 57.28 c 4084 57.31 o 28939 57.31 c 4082 57.34 o 28942 57.34 c 4079 57.37 o 28945 57.37 c 4076 57.41 o 28946 57.41 c 4075 57.44 o 28948 57.44 c 4073 57.47 o 28949 57.47 c 4072 57.50 o 28951 57.50 c 4070 57.53 o 28954 57.53 c 4067 57.57 o 28959 57.57 c 4062 57.60 o 28962 57.60 c 4059 57.66 o 28965 57.66 c 4056 57.69 o 28967 57.69 c 4054 57.84 o 28970 57.84 c 4051 57.91 o 28971 57.91 c 4050 57.94 o 28973 57.94 c 4048 57.97 o 28976 57.97 c 4045 58.03 o 28979 58.03 c 4042 58.06 o 28981 58.06 c 4040 58.12 o 28982 58.12 c 4039 58.15 o 28983 58.15 c 4038 58.19 o 28987 58.19 c 4034 58.22 o 28988 58.22 c 4033 58.25 o 28990 58.25 c 4031 58.29 o 28996 58.29 c 4025 58.32 o 28997 58.32 c 4024 58.44 o 28999 58.44 c 4022 58.50 o 29000 58.50 c 4021 58.53 o 29001 58.53 c 4020 58.56 o 29002 58.56 c 4019 58.60 o 29005 58.60 c 4016 58.63 o 29007 58.63 c 4014 58.66 o 29008 58.66 c 4013 58.69 o 29010 58.69 c 4011 58.73 o 29012 58.73 c 4009 58.87 o 29014 58.87 c 4007 58.91 o 29016 58.91 c 4005 58.94 o 29018 58.94 c 4003 58.97 o 29023 58.97 c 3998 59.02 o 29024 59.02 c 3997 59.13 o 29027 59.13 c 3994 59.16 o 29033 59.16 c 3988 59.22 o 29036 59.22 c 3985 59.25 o 29039 59.25 c 3982 59.28 o 29041 59.28 c 3980 59.32 o 29043 59.32 c 3978 59.43 o 29044 59.43 c 3977 59.46 o 29046 59.46 c 3975 59.49 o 29049 59.49 c 3972 59.52 o 29050 59.52 c 3971 59.58 o 29051 59.58 c 3970 59.63 o 29052 59.63 c 3969 59.66 o 29055 59.66 c 3966 59.75 o 29058 59.75 c 3963 59.78 o 29061 59.78 c 3960 59.86 o 29064 59.86 c 3957 59.95 o 29066 59.95 c 3955 59.98 o 29067 59.98 c 3954 60.01 o 29068 60.01 c 3953 60.04 o 29071 60.04 c 3950 60.07 o 29073 60.07 c 3948 60.10 o 29077 60.10 c 3944 60.13 o 29079 60.13 c 3942 60.16 o 29080 60.16 c 3941 60.21 o 29082 60.21 c 3939 60.24 o 29083 60.24 c 3938 60.27 o 29086 60.27 c 3935 60.30 o 29087 60.30 c 3934 60.38 o 29089 60.38 c 3932 60.41 o 29092 60.41 c 3929 60.44 o 29094 60.44 c 3927 60.47 o 29095 60.47 c 3926 60.53 o 29097 60.53 c 3924 60.59 o 29098 60.59 c 3923 60.62 o 29099 60.62 c 3922 60.66 o 29100 60.66 c 3921 60.69 o 29102 60.69 c 3919 60.72 o 29104 60.72 c 3917 60.76 o 29106 60.76 c 3915 60.80 o 29109 60.80 c 3912 60.84 o 29112 60.84 c 3909 60.88 o 29115 60.88 c 3906 60.92 o 29118 60.92 c 3903 60.96 o 29120 60.96 c 3901 60.99 o 29123 60.99 c 3898 61.07 o 29126 61.07 c 3895 61.11 o 29128 61.11 c 3893 61.15 o 29130 61.15 c 3891 61.19 o 29132 61.19 c 3889 61.23 o 29134 61.23 c 3887 61.28 o 29136 61.28 c 3885 61.32 o 29138 61.32 c 3883 61.36 o 29141 61.36 c 3880 61.40 o 29143 61.40 c 3878 61.44 o 29145 61.44 c 3876 61.48 o 29147 61.48 c 3874 61.52 o 29149 61.52 c 3872 61.56 o 29151 61.56 c 3870 61.60 o 29153 61.60 c 3868 61.64 o 29155 61.64 c 3866 61.68 o 29157 61.68 c 3864 61.72 o 29158 61.72 c 3863 61.76 o 29159 61.76 c 3862 61.80 o 29160 61.80 c 3861 61.84 o 29161 61.84 c 3860 61.88 o 29162 61.88 c 3859 61.92 o 29163 61.92 c 3858 61.96 o 29164 61.96 c 3857 61.99 o 29165 61.99 c 3856 62.03 o 29166 62.03 c 3855 62.07 o 29167 62.07 c 3854 62.11 o 29168 62.11 c 3853 62.15 o 29169 62.15 c 3852 62.18 o 29170 62.18 c 3851 62.22 o 29171 62.22 c 3850 62.30 o 29172 62.30 c 3849 62.34 o 29173 62.34 c 3848 62.37 o 29174 62.37 c 3847 62.62 o 29177 62.62 c 3844 62.79 o 29179 62.79 c 3842 62.85 o 29181 62.85 c 3840 63.38 o 29182 63.38 c 3839 63.52 o 29183 63.52 c 3838 63.55 o 29185 63.55 c 3836 63.62 o 29187 63.62 c 3834 63.66 o 29190 63.66 c 3831 63.69 o 29191 63.69 c 3830 63.73 o 29193 63.73 c 3828 63.76 o 29195 63.76 c 3826 63.80 o 29196 63.80 c 3825 63.84 o 29198 63.84 c 3823 63.88 o 29201 63.88 c 3820 63.98 o 29202 63.98 c 3819 64.01 o 29204 64.01 c 3817 64.05 o 29207 64.05 c 3814 64.08 o 29210 64.08 c 3811 64.12 o 29211 64.12 c 3810 64.15 o 29212 64.15 c 3809 64.16 o 29213 64.16 c 3808 64.20 o 29214 64.20 c 3807 64.30 o 29216 64.30 c 3805 64.37 o 29217 64.37 c 3804 64.62 o 29223 64.62 c 3798 64.65 o 29225 64.65 c 3796 64.69 o 29228 64.69 c 3793 64.76 o 29229 64.76 c 3792 64.80 o 29233 64.80 c 3788 64.84 o 29234 64.84 c 3787 64.91 o 29235 64.91 c 3786 65.02 o 29237 65.02 c 3784 65.12 o 29239 65.12 c 3782 65.19 o 29241 65.19 c 3780 65.32 o 29244 65.32 c 3777 65.36 o 29247 65.36 c 3774 65.39 o 29249 65.39 c 3772 65.43 o 29251 65.43 c 3770 65.50 o 29252 65.50 c 3769 65.54 o 29254 65.54 c 3767 65.58 o 29255 65.58 c 3766 65.62 o 29259 65.62 c 3762 65.65 o 29260 65.65 c 3761 65.77 o 29261 65.77 c 3760 65.81 o 29263 65.81 c 3758 65.85 o 29264 65.85 c 3757 65.89 o 29265 65.89 c 3756 65.93 o 29266 65.93 c 3755 65.97 o 29267 65.97 c 3754 66.08 o 29269 66.08 c 3752 66.16 o 29271 66.16 c 3750 66.20 o 29274 66.20 c 3747 66.24 o 29278 66.24 c 3743 66.27 o 29281 66.27 c 3740 66.31 o 29283 66.31 c 3738 66.35 o 29287 66.35 c 3734 66.39 o 29288 66.39 c 3733 66.42 o 29289 66.42 c 3732 66.47 o 29293 66.47 c 3728 66.50 o 29295 66.50 c 3726 66.66 o 29297 66.66 c 3724 66.70 o 29299 66.70 c 3722 66.73 o 29300 66.73 c 3721 66.77 o 29305 66.77 c 3716 66.82 o 29306 66.82 c 3715 66.86 o 29308 66.86 c 3713 66.89 o 29310 66.89 c 3711 66.93 o 29312 66.93 c 3709 66.97 o 29313 66.97 c 3708 67.09 o 29314 67.09 c 3707 67.13 o 29316 67.13 c 3705 67.16 o 29319 67.16 c 3702 67.20 o 29320 67.20 c 3701 67.34 o 29324 67.34 c 3697 67.42 o 29326 67.42 c 3695 67.45 o 29328 67.45 c 3693 67.49 o 29329 67.49 c 3692 67.53 o 29333 67.53 c 3688 67.61 o 29334 67.61 c 3687 67.68 o 29335 67.68 c 3686 67.92 o 29337 67.92 c 3684 68.07 o 29338 68.07 c 3683 68.11 o 29339 68.11 c 3682 68.22 o 29340 68.22 c 3681 68.29 o 29341 68.29 c 3680 68.32 o 29345 68.32 c 3676 68.37 o 29346 68.37 c 3675 68.44 o 29348 68.44 c 3673 68.47 o 29349 68.47 c 3672 68.54 o 29351 68.54 c 3670 68.58 o 29355 68.58 c 3666 68.62 o 29356 68.62 c 3665 68.69 o 29358 68.69 c 3663 68.76 o 29359 68.76 c 3662 68.80 o 29360 68.80 c 3661 69.00 o 29363 69.00 c 3658 69.04 o 29365 69.04 c 3656 69.08 o 29367 69.08 c 3654 69.16 o 29369 69.16 c 3652 69.20 o 29371 69.20 c 3650 69.23 o 29372 69.23 c 3649 69.27 o 29373 69.27 c 3648 69.31 o 29376 69.31 c 3645 69.49 o 29379 69.49 c 3642 69.59 o 29380 69.59 c 3641 69.63 o 29383 69.63 c 3638 69.66 o 29384 69.66 c 3637 69.73 o 29385 69.73 c 3636 69.80 o 29387 69.80 c 3634 69.83 o 29388 69.83 c 3633 69.87 o 29392 69.87 c 3629 69.90 o 29393 69.90 c 3628 69.97 o 29395 69.97 c 3626 70.01 o 29398 70.01 c 3623 70.04 o 29399 70.04 c 3622 70.19 o 29402 70.19 c 3619 70.23 o 29403 70.23 c 3618 70.26 o 29406 70.26 c 3615 70.30 o 29408 70.30 c 3613 70.34 o 29409 70.34 c 3612 70.41 o 29414 70.41 c 3607 70.45 o 29415 70.45 c 3606 70.48 o 29418 70.48 c 3603 70.52 o 29420 70.52 c 3601 70.64 o 29421 70.64 c 3600 70.78 o 29422 70.78 c 3599 70.82 o 29423 70.82 c 3598 70.86 o 29424 70.86 c 3597 70.93 o 29427 70.93 c 3594 71.01 o 29430 71.01 c 3591 71.08 o 29433 71.08 c 3588 71.11 o 29434 71.11 c 3587 71.15 o 29437 71.15 c 3584 71.19 o 29439 71.19 c 3582 71.23 o 29443 71.23 c 3578 71.26 o 29445 71.26 c 3576 71.30 o 29446 71.30 c 3575 71.34 o 29450 71.34 c 3571 71.38 o 29451 71.38 c 3570 71.42 o 29452 71.42 c 3569 71.64 o 29454 71.64 c 3567 71.68 o 29456 71.68 c 3565 71.71 o 29457 71.71 c 3564 71.76 o 29462 71.76 c 3559 71.80 o 29464 71.80 c 3557 71.83 o 29467 71.83 c 3554 71.87 o 29468 71.87 c 3553 71.91 o 29472 71.91 c 3549 71.95 o 29474 71.95 c 3547 71.98 o 29475 71.98 c 3546 72.02 o 29477 72.02 c 3544 72.10 o 29478 72.10 c 3543 72.14 o 29479 72.14 c 3542 72.33 o 29480 72.33 c 3541 72.37 o 29481 72.37 c 3540 72.41 o 29483 72.41 c 3538 72.49 o 29484 72.49 c 3537 72.56 o 29485 72.56 c 3536 72.60 o 29486 72.60 c 3535 72.64 o 29487 72.64 c 3534 72.68 o 29490 72.68 c 3531 72.72 o 29492 72.72 c 3529 72.79 o 29493 72.79 c 3528 72.83 o 29496 72.83 c 3525 72.87 o 29497 72.87 c 3524 72.92 o 29499 72.92 c 3522 72.96 o 29500 72.96 c 3521 73.00 o 29501 73.00 c 3520 73.04 o 29503 73.04 c 3518 73.08 o 29505 73.08 c 3516 73.12 o 29506 73.12 c 3515 73.23 o 29508 73.23 c 3513 73.27 o 29512 73.27 c 3509 73.31 o 29515 73.31 c 3506 73.43 o 29516 73.43 c 3505 73.70 o 29517 73.70 c 3504 73.73 o 29519 73.73 c 3502 73.86 o 29520 73.86 c 3501 73.90 o 29521 73.90 c 3500 73.94 o 29522 73.94 c 3499 74.02 o 29523 74.02 c 3498 74.10 o 29524 74.10 c 3497 74.21 o 29525 74.21 c 3496 74.25 o 29526 74.25 c 3495 74.29 o 29527 74.29 c 3494 74.33 o 29529 74.33 c 3492 74.37 o 29530 74.37 c 3491 74.41 o 29532 74.41 c 3489 74.45 o 29534 74.45 c 3487 74.53 o 29537 74.53 c 3484 74.58 o 29539 74.58 c 3482 74.61 o 29540 74.61 c 3481 74.77 o 29541 74.77 c 3480 74.98 o 29543 74.98 c 3478 75.11 o 29546 75.11 c 3475 75.20 o 29547 75.20 c 3474 75.28 o 29548 75.28 c 3473 75.32 o 29549 75.32 c 3472 75.41 o 29551 75.41 c 3470 75.45 o 29554 75.45 c 3467 75.49 o 29555 75.49 c 3466 75.53 o 29556 75.53 c 3465 75.70 o 29558 75.70 c 3463 75.74 o 29560 75.74 c 3461 75.79 o 29562 75.79 c 3459 75.83 o 29565 75.83 c 3456 75.88 o 29567 75.88 c 3454 75.92 o 29569 75.92 c 3452 75.96 o 29570 75.96 c 3451 76.01 o 29575 76.01 c 3446 76.17 o 29577 76.17 c 3444 76.21 o 29579 76.21 c 3442 76.30 o 29581 76.30 c 3440 76.45 o 29582 76.45 c 3439 76.49 o 29586 76.49 c 3435 76.64 o 29587 76.64 c 3434 76.68 o 29589 76.68 c 3432 76.72 o 29590 76.72 c 3431 77.04 o 29591 77.04 c 3430 77.08 o 29592 77.08 c 3429 77.16 o 29593 77.16 c 3428 77.32 o 29594 77.32 c 3427 77.37 o 29596 77.37 c 3425 77.40 o 29598 77.40 c 3423 77.45 o 29599 77.45 c 3422 77.49 o 29600 77.49 c 3421 77.53 o 29606 77.53 c 3415 77.58 o 29609 77.58 c 3412 77.66 o 29612 77.66 c 3409 77.70 o 29615 77.70 c 3406 77.75 o 29617 77.75 c 3404 78.24 o 29618 78.24 c 3403 78.29 o 29619 78.29 c 3402 78.34 o 29621 78.34 c 3400 78.38 o 29622 78.38 c 3399 78.47 o 29623 78.47 c 3398 78.52 o 29624 78.52 c 3397 78.77 o 29625 78.77 c 3396 78.82 o 29627 78.82 c 3394 78.87 o 29629 78.87 c 3392 78.91 o 29630 78.91 c 3391 78.96 o 29635 78.96 c 3386 79.06 o 29638 79.06 c 3383 79.11 o 29639 79.11 c 3382 79.20 o 29640 79.20 c 3381 79.25 o 29641 79.25 c 3380 79.31 o 29643 79.31 c 3378 79.35 o 29645 79.35 c 3376 79.40 o 29649 79.40 c 3372 79.45 o 29650 79.45 c 3371 79.50 o 29653 79.50 c 3368 79.54 o 29654 79.54 c 3367 79.68 o 29656 79.68 c 3365 79.87 o 29657 79.87 c 3364 79.92 o 29660 79.92 c 3361 79.97 o 29662 79.97 c 3359 80.15 o 29665 80.15 c 3356 80.24 o 29669 80.24 c 3352 80.28 o 29671 80.28 c 3350 80.33 o 29674 80.33 c 3347 80.43 o 29675 80.43 c 3346 80.47 o 29677 80.47 c 3344 80.61 o 29679 80.61 c 3342 80.66 o 29681 80.66 c 3340 80.71 o 29684 80.71 c 3337 80.75 o 29685 80.75 c 3336 80.79 o 29690 80.79 c 3331 80.85 o 29692 80.85 c 3329 80.89 o 29694 80.89 c 3327 80.94 o 29695 80.94 c 3326 80.99 o 29696 80.99 c 3325 81.04 o 29698 81.04 c 3323 81.13 o 29699 81.13 c 3322 81.23 o 29701 81.23 c 3320 81.27 o 29703 81.27 c 3318 81.32 o 29706 81.32 c 3315 81.37 o 29709 81.37 c 3312 81.50 o 29710 81.50 c 3311 81.55 o 29712 81.55 c 3309 81.60 o 29713 81.60 c 3308 81.64 o 29714 81.64 c 3307 81.77 o 29716 81.77 c 3305 81.82 o 29719 81.82 c 3302 81.91 o 29720 81.91 c 3301 81.96 o 29722 81.96 c 3299 82.00 o 29725 82.00 c 3296 82.31 o 29726 82.31 c 3295 82.40 o 29727 82.40 c 3294 82.44 o 29728 82.44 c 3293 82.72 o 29729 82.72 c 3292 82.77 o 29731 82.77 c 3290 82.81 o 29732 82.81 c 3289 83.05 o 29735 83.05 c 3286 83.10 o 29737 83.10 c 3284 83.15 o 29738 83.15 c 3283 83.20 o 29741 83.20 c 3280 83.29 o 29742 83.29 c 3279 83.35 o 29743 83.35 c 3278 83.40 o 29745 83.40 c 3276 83.45 o 29747 83.45 c 3274 83.55 o 29749 83.55 c 3272 83.77 o 29751 83.77 c 3270 83.82 o 29755 83.82 c 3266 83.87 o 29756 83.87 c 3265 84.05 o 29758 84.05 c 3263 84.10 o 29759 84.10 c 3262 84.15 o 29760 84.15 c 3261 84.25 o 29762 84.25 c 3259 84.39 o 29764 84.39 c 3257 84.45 o 29765 84.45 c 3256 84.50 o 29767 84.50 c 3254 84.56 o 29769 84.56 c 3252 84.61 o 29771 84.61 c 3250 84.66 o 29774 84.66 c 3247 84.71 o 29775 84.71 c 3246 84.76 o 29777 84.76 c 3244 84.82 o 29779 84.82 c 3242 84.87 o 29781 84.87 c 3240 84.92 o 29783 84.92 c 3238 84.98 o 29784 84.98 c 3237 85.17 o 29787 85.17 c 3234 85.22 o 29788 85.22 c 3233 85.26 o 29789 85.26 c 3232 85.36 o 29792 85.36 c 3229 85.41 o 29795 85.41 c 3226 85.51 o 29796 85.51 c 3225 85.62 o 29798 85.62 c 3223 85.67 o 29800 85.67 c 3221 85.76 o 29803 85.76 c 3218 85.82 o 29805 85.82 c 3216 85.87 o 29807 85.87 c 3214 85.92 o 29808 85.92 c 3213 85.98 o 29809 85.98 c 3212 86.03 o 29810 86.03 c 3211 86.09 o 29811 86.09 c 3210 86.15 o 29812 86.15 c 3209 86.20 o 29813 86.20 c 3208 86.26 o 29816 86.26 c 3205 86.31 o 29820 86.31 c 3201 86.36 o 29821 86.36 c 3200 86.42 o 29822 86.42 c 3199 86.47 o 29823 86.47 c 3198 86.53 o 29824 86.53 c 3197 86.58 o 29826 86.58 c 3195 86.63 o 29828 86.63 c 3193 86.69 o 29829 86.69 c 3192 86.74 o 29830 86.74 c 3191 86.79 o 29831 86.79 c 3190 86.95 o 29834 86.95 c 3187 87.05 o 29836 87.05 c 3185 87.27 o 29839 87.27 c 3182 87.32 o 29841 87.32 c 3180 88.79 o 29844 88.79 c 3177 88.84 o 29846 88.84 c 3175 88.89 o 29849 88.89 c 3172 88.97 o 29850 88.97 c 3171 89.12 o 29852 89.12 c 3169 89.18 o 29854 89.18 c 3167 89.45 o 29855 89.45 c 3166 89.51 o 29856 89.51 c 3165 89.56 o 29859 89.56 c 3162 89.62 o 29862 89.62 c 3159 89.78 o 29863 89.78 c 3158 89.83 o 29865 89.83 c 3156 89.94 o 29866 89.94 c 3155 90.16 o 29869 90.16 c 3152 90.27 o 29870 90.27 c 3151 90.32 o 29872 90.32 c 3149 90.43 o 29873 90.43 c 3148 90.53 o 29874 90.53 c 3147 90.58 o 29875 90.58 c 3146 90.64 o 29877 90.64 c 3144 90.69 o 29878 90.69 c 3143 90.74 o 29881 90.74 c 3140 90.80 o 29884 90.80 c 3137 90.85 o 29886 90.85 c 3135 91.07 o 29888 91.07 c 3133 91.12 o 29889 91.12 c 3132 91.17 o 29891 91.17 c 3130 91.32 o 29892 91.32 c 3129 91.63 o 29893 91.63 c 3128 91.68 o 29897 91.68 c 3124 91.73 o 29899 91.73 c 3122 91.79 o 29900 91.79 c 3121 92.51 o 29901 92.51 c 3120 92.57 o 29902 92.57 c 3119 92.62 o 29903 92.62 c 3118 92.67 o 29904 92.67 c 3117 92.83 o 29905 92.83 c 3116 92.90 o 29908 92.90 c 3113 92.95 o 29909 92.95 c 3112 93.53 o 29910 93.53 c 3111 93.89 o 29911 93.89 c 3110 93.95 o 29912 93.95 c 3109 94.06 o 29913 94.06 c 3108 94.16 o 29915 94.16 c 3106 94.22 o 29916 94.22 c 3105 94.43 o 29919 94.43 c 3102 94.49 o 29920 94.49 c 3101 94.54 o 29921 94.54 c 3100 94.59 o 29923 94.59 c 3098 94.74 o 29925 94.74 c 3096 94.95 o 29926 94.95 c 3095 95.05 o 29929 95.05 c 3092 95.10 o 29930 95.10 c 3091 95.16 o 29932 95.16 c 3089 95.31 o 29933 95.31 c 3088 95.35 o 29934 95.35 c 3087 95.40 o 29936 95.40 c 3085 95.45 o 29938 95.45 c 3083 95.51 o 29939 95.51 c 3082 95.56 o 29942 95.56 c 3079 95.72 o 29944 95.72 c 3077 95.77 o 29945 95.77 c 3076 95.92 o 29948 95.92 c 3073 96.29 o 29949 96.29 c 3072 96.39 o 29950 96.39 c 3071 96.44 o 29954 96.44 c 3067 96.53 o 29955 96.53 c 3066 96.58 o 29956 96.58 c 3065 96.62 o 29957 96.62 c 3064 96.72 o 29958 96.72 c 3063 96.80 o 29961 96.80 c 3060 96.90 o 29963 96.90 c 3058 97.07 o 29964 97.07 c 3057 97.11 o 29967 97.11 c 3054 97.34 o 29972 97.34 c 3049 97.76 o 29973 97.76 c 3048 97.82 o 29974 97.82 c 3047 97.87 o 29976 97.87 c 3045 97.97 o 29978 97.97 c 3043 98.02 o 29979 98.02 c 3042 98.62 o 29982 98.62 c 3039 98.67 o 29983 98.67 c 3038 98.72 o 29984 98.72 c 3037 98.77 o 29987 98.78 c 3034 99.52 o 29989 99.52 c 3032 99.58 o 29990 99.58 c 3031 99.64 o 29991 99.64 c 3030 99.70 o 29993 99.70 c 3028 99.84 o 29994 99.84 c 3027 99.95 o 29995 99.95 c 3026 100.01 o 29996 100.01 c 3025 100.12 o 29999 100.12 c 3022 100.18 o 30000 100.18 c 3021 100.24 o 30003 100.24 c 3018 100.30 o 30005 100.30 c 3016 100.36 o 30007 100.36 c 3014 100.42 o 30008 100.42 c 3013 100.48 o 30012 100.48 c 3009 100.71 o 30013 100.71 c 3008 100.77 o 30014 100.77 c 3007 101.29 o 30016 101.29 c 3005 101.60 o 30020 101.60 c 3001 101.77 o 30021 101.77 c 3000 101.83 o 30022 101.83 c 2999 101.95 o 30024 101.95 c 2997 102.01 o 30027 102.01 c 2994 102.08 o 30032 102.08 c 2989 102.13 o 30035 102.13 c 2986 102.25 o 30037 102.25 c 2984 102.31 o 30038 102.31 c 2983 102.37 o 30041 102.37 c 2980 102.49 o 30042 102.49 c 2979 102.56 o 30043 102.56 c 2978 102.62 o 30044 102.62 c 2977 102.68 o 30046 102.68 c 2975 102.74 o 30047 102.74 c 2974 102.80 o 30048 102.80 c 2973 102.87 o 30049 102.87 c 2972 102.93 o 30050 102.93 c 2971 102.99 o 30051 102.99 c 2970 103.06 o 30052 103.06 c 2969 103.13 o 30053 103.13 c 2968 103.25 o 30054 103.25 c 2967 103.38 o 30055 103.38 c 2966 103.44 o 30056 103.44 c 2965 103.58 o 30057 103.58 c 2964 103.77 o 30058 103.77 c 2963 103.96 o 30060 103.96 c 2961 104.02 o 30061 104.02 c 2960 104.08 o 30062 104.08 c 2959 104.14 o 30063 104.15 c 2958 104.21 o 30066 104.21 c 2955 104.27 o 30069 104.27 c 2952 104.34 o 30071 104.34 c 2950 104.40 o 30073 104.40 c 2948 104.77 o 30075 104.77 c 2946 104.83 o 30077 104.83 c 2944 105.01 o 30080 105.01 c 2941 105.39 o 30081 105.39 c 2940 105.45 o 30083 105.45 c 2938 105.51 o 30084 105.51 c 2937 105.64 o 30086 105.64 c 2935 105.70 o 30088 105.70 c 2933 105.77 o 30091 105.77 c 2930 105.83 o 30094 105.83 c 2927 105.96 o 30095 105.96 c 2926 106.52 o 30097 106.52 c 2924 106.76 o 30100 106.76 c 2921 106.83 o 30101 106.83 c 2920 106.88 o 30103 106.88 c 2918 107.06 o 30105 107.06 c 2916 107.37 o 30108 107.37 c 2913 107.44 o 30111 107.44 c 2910 107.45 o 30112 107.45 c 2909 107.51 o 30114 107.51 c 2907 107.82 o 30118 107.82 c 2903 108.14 o 30119 108.14 c 2902 108.20 o 30121 108.20 c 2900 108.32 o 30123 108.32 c 2898 108.56 o 30124 108.56 c 2897 108.62 o 30126 108.62 c 2895 108.76 o 30128 108.76 c 2893 108.88 o 30129 108.88 c 2892 108.95 o 30131 108.95 c 2890 109.01 o 30132 109.01 c 2889 109.07 o 30134 109.08 c 2887 109.21 o 30135 109.21 c 2886 109.27 o 30136 109.27 c 2885 109.34 o 30139 109.34 c 2882 113.04 o 30141 113.04 c 2880 113.25 o 30144 113.25 c 2877 113.32 o 30145 113.32 c 2876 113.39 o 30146 113.39 c 2875 113.46 o 30147 113.46 c 2874 113.80 o 30148 113.80 c 2873 113.93 o 30149 113.93 c 2872 114.21 o 30150 114.21 c 2871 114.85 o 30151 114.85 c 2870 115.69 o 30152 115.69 c 2869 115.98 o 30154 115.98 c 2867 116.04 o 30155 116.04 c 2866 117.04 o 30157 117.04 c 2864 117.40 o 30158 117.40 c 2863 117.54 o 30159 117.54 c 2862 117.76 o 30160 117.76 c 2861 117.83 o 30162 117.83 c 2859 118.05 o 30165 118.05 c 2856 118.12 o 30167 118.12 c 2854 118.19 o 30168 118.19 c 2853 118.41 o 30171 118.41 c 2850 118.48 o 30172 118.48 c 2849 119.27 o 30174 119.27 c 2847 119.71 o 30175 119.71 c 2846 119.79 o 30178 119.79 c 2843 120.00 o 30180 120.00 c 2841 120.22 o 30181 120.22 c 2840 120.30 o 30183 120.30 c 2838 120.74 o 30185 120.74 c 2836 120.81 o 30187 120.81 c 2834 120.89 o 30188 120.89 c 2833 120.96 o 30189 120.96 c 2832 121.03 o 30190 121.03 c 2831 121.11 o 30191 121.11 c 2830 121.47 o 30192 121.47 c 2829 121.95 o 30194 121.95 c 2827 122.02 o 30195 122.02 c 2826 122.10 o 30196 122.10 c 2825 122.32 o 30197 122.32 c 2824 122.40 o 30198 122.40 c 2823 122.82 o 30199 122.82 c 2822 122.97 o 30200 122.97 c 2821 123.02 o 30202 123.02 c 2819 123.10 o 30205 123.10 c 2816 123.25 o 30206 123.25 c 2815 123.39 o 30207 123.39 c 2814 123.91 o 30208 123.91 c 2813 123.98 o 30209 123.98 c 2812 124.05 o 30211 124.05 c 2810 124.56 o 30215 124.56 c 2806 126.80 o 30217 126.80 c 2804 126.95 o 30218 126.95 c 2803 127.18 o 30219 127.18 c 2802 127.48 o 30220 127.48 c 2801 127.56 o 30221 127.56 c 2800 128.41 o 30222 128.41 c 2799 128.49 o 30223 128.49 c 2798 128.72 o 30224 128.72 c 2797 129.09 o 30225 129.09 c 2796 135.43 o 30227 135.43 c 2794 135.59 o 30229 135.59 c 2792 136.08 o 30232 136.08 c 2789 136.24 o 30233 136.24 c 2788 136.40 o 30235 136.40 c 2786 136.80 o 30236 136.80 c 2785 136.83 o 30237 136.83 c 2784 138.74 o 30238 138.74 c 2783 138.80 o 30239 138.80 c 2782 138.89 o 30242 138.89 c 2779 138.97 o 30245 138.97 c 2776 139.13 o 30246 139.13 c 2775 139.21 o 30247 139.21 c 2774 139.29 o 30249 139.29 c 2772 139.38 o 30250 139.38 c 2771 139.46 o 30251 139.46 c 2770 139.54 o 30252 139.54 c 2769 139.62 o 30254 139.62 c 2767 139.70 o 30256 139.70 c 2765 139.79 o 30258 139.79 c 2763 139.87 o 30260 139.87 c 2761 140.11 o 30262 140.11 c 2759 140.19 o 30263 140.19 c 2758 140.35 o 30264 140.35 c 2757 140.43 o 30266 140.43 c 2755 140.52 o 30267 140.52 c 2754 140.60 o 30268 140.60 c 2753 140.77 o 30272 140.77 c 2749 140.94 o 30274 140.94 c 2747 141.02 o 30275 141.02 c 2746 141.61 o 30276 141.61 c 2745 141.78 o 30277 141.78 c 2744 141.86 o 30279 141.86 c 2742 141.95 o 30281 141.95 c 2740 142.03 o 30285 142.03 c 2736 142.12 o 30286 142.12 c 2735 142.20 o 30288 142.20 c 2733 142.42 o 30292 142.42 c 2729 142.66 o 30293 142.66 c 2728 142.91 o 30295 142.91 c 2726 142.99 o 30296 142.99 c 2725 143.04 o 30299 143.04 c 2722 143.12 o 30302 143.12 c 2719 146.73 o 30304 146.73 c 2717 146.89 o 30308 146.89 c 2713 146.97 o 30309 146.97 c 2712 147.20 o 30311 147.20 c 2710 147.29 o 30312 147.29 c 2709 147.73 o 30313 147.73 c 2708 148.04 o 30316 148.04 c 2705 148.44 o 30320 148.44 c 2701 148.51 o 30321 148.51 c 2700 149.45 o 30322 149.45 c 2699 149.48 o 30324 149.48 c 2697 149.57 o 30325 149.57 c 2696 149.65 o 30327 149.65 c 2694 149.73 o 30329 149.73 c 2692 149.82 o 30330 149.82 c 2691 149.90 o 30332 149.90 c 2689 149.98 o 30333 149.98 c 2688 150.22 o 30334 150.22 c 2687 150.45 o 30335 150.45 c 2686 150.53 o 30337 150.53 c 2684 150.79 o 30338 150.79 c 2683 151.01 o 30341 151.01 c 2680 151.10 o 30343 151.10 c 2678 151.27 o 30344 151.27 c 2677 151.35 o 30347 151.35 c 2674 152.10 o 30349 152.10 c 2672 152.56 o 30350 152.56 c 2671 152.65 o 30351 152.65 c 2670 152.74 o 30352 152.74 c 2669 152.83 o 30353 152.83 c 2668 152.91 o 30354 152.91 c 2667 153.09 o 30357 153.09 c 2664 153.17 o 30358 153.17 c 2663 153.26 o 30359 153.26 c 2662 153.36 o 30360 153.36 c 2661 153.45 o 30361 153.45 c 2660 153.53 o 30362 153.53 c 2659 153.62 o 30364 153.62 c 2657 153.71 o 30365 153.71 c 2656 153.79 o 30366 153.79 c 2655 153.88 o 30367 153.88 c 2654 153.96 o 30368 153.96 c 2653 154.05 o 30369 154.05 c 2652 154.14 o 30370 154.14 c 2651 155.61 o 30371 155.61 c 2650 155.69 o 30373 155.69 c 2648 155.78 o 30374 155.78 c 2647 155.87 o 30375 155.87 c 2646 164.62 o 30377 164.62 c 2644 164.82 o 30379 164.82 c 2642 164.91 o 30381 164.91 c 2640 165.69 o 30382 165.69 c 2639 165.79 o 30383 165.79 c 2638 165.89 o 30384 165.89 c 2637 166.00 o 30386 166.00 c 2635 166.28 o 30387 166.28 c 2634 166.39 o 30390 166.39 c 2631 166.49 o 30391 166.49 c 2630 167.26 o 30392 167.26 c 2629 167.36 o 30394 167.36 c 2627 167.55 o 30397 167.55 c 2624 167.75 o 30399 167.75 c 2622 169.09 o 30400 169.09 c 2621 169.19 o 30403 169.19 c 2618 169.29 o 30405 169.29 c 2616 169.39 o 30407 169.39 c 2614 171.04 o 30409 171.04 c 2612 171.14 o 30410 171.14 c 2611 171.24 o 30411 171.24 c 2610 171.34 o 30415 171.34 c 2606 171.43 o 30416 171.43 c 2605 171.53 o 30417 171.53 c 2604 171.63 o 30418 171.63 c 2603 171.73 o 30422 171.73 c 2599 171.92 o 30423 171.92 c 2598 172.02 o 30424 172.02 c 2597 172.32 o 30426 172.32 c 2595 172.52 o 30427 172.52 c 2594 172.72 o 30429 172.72 c 2592 172.82 o 30430 172.82 c 2591 172.93 o 30431 172.93 c 2590 173.03 o 30432 173.03 c 2589 174.57 o 30434 174.57 c 2587 177.41 o 30435 177.41 c 2586 178.58 o 30436 178.58 c 2585 178.73 o 30438 178.73 c 2583 179.05 o 30439 179.05 c 2582 179.27 o 30441 179.27 c 2580 179.49 o 30442 179.49 c 2579 179.70 o 30447 179.70 c 2574 179.82 o 30448 179.82 c 2573 179.93 o 30449 179.93 c 2572 181.03 o 30450 181.03 c 2571 181.26 o 30451 181.26 c 2570 181.34 o 30454 181.34 c 2567 181.45 o 30455 181.45 c 2566 182.01 o 30456 182.01 c 2565 183.10 o 30458 183.10 c 2563 183.22 o 30460 183.22 c 2561 183.33 o 30461 183.33 c 2560 183.45 o 30464 183.45 c 2557 183.75 o 30467 183.75 c 2554 183.86 o 30470 183.86 c 2551 183.97 o 30472 183.97 c 2549 184.09 o 30473 184.09 c 2548 184.20 o 30475 184.20 c 2546 184.31 o 30477 184.31 c 2544 185.29 o 30478 185.29 c 2543 185.52 o 30480 185.52 c 2541 185.88 o 30481 185.88 c 2540 187.17 o 30482 187.17 c 2539 187.41 o 30483 187.41 c 2538 187.66 o 30484 187.66 c 2537 187.78 o 30486 187.78 c 2535 187.89 o 30488 187.89 c 2533 189.85 o 30490 189.85 c 2531 189.97 o 30492 189.97 c 2529 190.21 o 30494 190.21 c 2527 190.44 o 30495 190.44 c 2526 190.56 o 30498 190.56 c 2523 190.67 o 30499 190.67 c 2522 190.86 o 30500 190.86 c 2521 192.91 o 30501 192.91 c 2520 193.04 o 30502 193.04 c 2519 193.64 o 30503 193.64 c 2518 193.77 o 30505 193.77 c 2516 193.89 o 30506 193.89 c 2515 194.00 o 30507 194.00 c 2514 194.12 o 30509 194.12 c 2512 194.36 o 30511 194.36 c 2510 194.48 o 30513 194.48 c 2508 194.72 o 30514 194.72 c 2507 194.96 o 30518 194.96 c 2503 195.08 o 30524 195.08 c 2497 195.92 o 30525 195.92 c 2496 196.04 o 30526 196.04 c 2495 196.17 o 30529 196.17 c 2492 196.29 o 30530 196.29 c 2491 196.41 o 30531 196.41 c 2490 196.49 o 30532 196.49 c 2489 199.95 o 30535 199.95 c 2486 200.43 o 30536 200.43 c 2485 200.88 o 30537 200.89 c 2484 202.11 o 30539 202.11 c 2482 202.22 o 30540 202.22 c 2481 202.35 o 30542 202.35 c 2479 202.99 o 30545 202.99 c 2476 203.23 o 30546 203.23 c 2475 203.48 o 30549 203.48 c 2472 203.86 o 30550 203.86 c 2471 204.12 o 30551 204.12 c 2470 204.24 o 30552 204.24 c 2469 204.89 o 30555 204.89 c 2466 205.76 o 30557 205.76 c 2464 205.89 o 30560 205.89 c 2461 206.02 o 30561 206.02 c 2460 206.16 o 30562 206.16 c 2459 206.29 o 30564 206.29 c 2457 206.42 o 30565 206.42 c 2456 206.55 o 30567 206.55 c 2454 206.81 o 30568 206.81 c 2453 207.20 o 30569 207.20 c 2452 207.73 o 30571 207.73 c 2450 207.86 o 30574 207.86 c 2447 208.24 o 30575 208.24 c 2446 208.50 o 30576 208.50 c 2445 208.63 o 30577 208.63 c 2444 208.76 o 30578 208.76 c 2443 208.89 o 30581 208.89 c 2440 209.15 o 30583 209.15 c 2438 210.32 o 30584 210.32 c 2437 210.45 o 30586 210.45 c 2435 210.72 o 30587 210.72 c 2434 210.97 o 30589 210.97 c 2432 211.35 o 30591 211.35 c 2430 211.48 o 30594 211.48 c 2427 211.61 o 30595 211.61 c 2426 211.74 o 30597 211.74 c 2424 212.13 o 30598 212.13 c 2423 212.52 o 30601 212.52 c 2420 214.97 o 30602 214.97 c 2419 215.10 o 30603 215.10 c 2418 217.42 o 30605 217.42 c 2416 217.68 o 30607 217.68 c 2414 217.93 o 30608 217.93 c 2413 218.06 o 30610 218.06 c 2411 218.85 o 30612 218.85 c 2409 218.98 o 30619 218.98 c 2402 219.10 o 30620 219.10 c 2401 219.23 o 30621 219.23 c 2400 219.30 o 30622 219.30 c 2399 219.95 o 30624 219.96 c 2397 220.09 o 30625 220.09 c 2396 220.36 o 30626 220.36 c 2395 220.50 o 30627 220.50 c 2394 220.63 o 30628 220.63 c 2393 220.76 o 30629 220.76 c 2392 221.29 o 30630 221.29 c 2391 221.43 o 30631 221.43 c 2390 221.81 o 30632 221.81 c 2389 222.07 o 30633 222.07 c 2388 222.20 o 30635 222.20 c 2386 222.33 o 30636 222.33 c 2385 222.47 o 30637 222.47 c 2384 222.60 o 30639 222.60 c 2382 222.73 o 30640 222.73 c 2381 222.87 o 30641 222.87 c 2380 223.14 o 30642 223.14 c 2379 223.27 o 30643 223.27 c 2378 223.54 o 30644 223.54 c 2377 224.96 o 30646 224.96 c 2375 225.10 o 30647 225.10 c 2374 225.23 o 30648 225.23 c 2373 227.10 o 30649 227.10 c 2372 227.89 o 30650 227.89 c 2371 229.67 o 30653 229.67 c 2368 231.42 o 30657 231.42 c 2364 231.92 o 30660 231.92 c 2361 232.04 o 30661 232.04 c 2360 232.56 o 30662 232.56 c 2359 232.70 o 30663 232.70 c 2358 232.83 o 30664 232.83 c 2357 232.96 o 30665 232.96 c 2356 233.36 o 30666 233.36 c 2355 233.62 o 30667 233.62 c 2354 233.76 o 30668 233.76 c 2353 233.89 o 30669 233.89 c 2352 234.16 o 30670 234.16 c 2351 234.53 o 30671 234.53 c 2350 235.70 o 30673 235.70 c 2348 235.84 o 30674 235.84 c 2347 235.97 o 30678 235.97 c 2343 236.10 o 30679 236.10 c 2342 236.76 o 30680 236.76 c 2341 241.85 o 30681 241.85 c 2340 242.25 o 30683 242.25 c 2338 242.39 o 30684 242.39 c 2337 242.53 o 30685 242.53 c 2336 243.08 o 30686 243.08 c 2335 243.35 o 30689 243.35 c 2332 244.06 o 30690 244.06 c 2331 246.00 o 30691 246.00 c 2330 250.58 o 30694 250.58 c 2327 253.24 o 30696 253.24 c 2325 253.66 o 30697 253.66 c 2324 265.87 o 30698 265.87 c 2323 270.07 o 30700 270.07 c 2321 284.85 o 30701 284.86 c 2320 285.79 o 30705 285.79 c 2316 285.95 o 30706 285.95 c 2315 286.42 o 30707 286.42 c 2314 287.19 o 30708 287.19 c 2313 287.80 o 30710 287.80 c 2311 288.41 o 30711 288.41 c 2310 288.72 o 30712 288.72 c 2309 289.60 o 30713 289.60 c 2308 289.91 o 30714 289.91 c 2307 290.32 o 30715 290.32 c 2306 290.64 o 30716 290.64 c 2305 291.82 o 30719 291.82 c 2302 298.85 o 30720 298.85 c 2301 299.33 o 30722 299.33 c 2299 299.41 o 30725 299.41 c 2296 299.67 o 30728 299.67 c 2293 299.83 o 30729 299.83 c 2292 299.99 o 30730 299.99 c 2291 300.79 o 30731 300.79 c 2290 301.10 o 30732 301.10 c 2289 301.27 o 30733 301.27 c 2288 301.42 o 30734 301.42 c 2287 302.84 o 30735 302.84 c 2286 303.00 o 30738 303.00 c 2283 303.32 o 30740 303.32 c 2281 305.27 o 30741 305.27 c 2280 305.42 o 30742 305.42 c 2279 306.20 o 30745 306.20 c 2276 306.51 o 30746 306.51 c 2275 306.67 o 30748 306.67 c 2273 307.14 o 30749 307.14 c 2272 307.30 o 30751 307.30 c 2270 313.33 o 30752 313.34 c 2269 313.49 o 30754 313.49 c 2267 313.99 o 30757 313.99 c 2264 314.48 o 30759 314.48 c 2262 316.64 o 30760 316.64 c 2261 316.81 o 30762 316.81 c 2259 317.14 o 30763 317.14 c 2258 321.71 o 30764 321.71 c 2257 321.97 o 30765 321.97 c 2256 329.28 o 30766 329.28 c 2255 329.45 o 30767 329.45 c 2254 330.45 o 30768 330.45 c 2253 330.62 o 30771 330.62 c 2250 330.79 o 30772 330.79 c 2249 330.96 o 30773 330.96 c 2248 331.46 o 30774 331.46 c 2247 331.63 o 30777 331.63 c 2244 331.76 o 30778 331.76 c 2243 332.39 o 30782 332.39 c 2239 333.76 o 30786 333.76 c 2235 333.92 o 30787 333.92 c 2234 334.24 o 30788 334.24 c 2233 336.65 o 30790 336.65 c 2231 336.81 o 30791 336.81 c 2230 337.39 o 30793 337.39 c 2228 338.04 o 30794 338.04 c 2227 338.20 o 30795 338.20 c 2226 338.53 o 30796 338.53 c 2225 339.36 o 30797 339.36 c 2224 339.69 o 30798 339.69 c 2223 339.87 o 30799 339.87 c 2222 340.03 o 30801 340.03 c 2220 340.20 o 30804 340.20 c 2217 340.59 o 30805 340.59 c 2216 340.93 o 30808 340.93 c 2213 342.03 o 30810 342.03 c 2211 342.82 o 30811 342.82 c 2210 343.14 o 30812 343.14 c 2209 343.31 o 30814 343.31 c 2207 343.47 o 30815 343.47 c 2206 343.64 o 30816 343.64 c 2205 344.06 o 30817 344.06 c 2204 344.39 o 30819 344.39 c 2202 345.38 o 30821 345.38 c 2200 346.37 o 30822 346.37 c 2199 346.54 o 30824 346.54 c 2197 346.88 o 30825 346.88 c 2196 347.05 o 30826 347.05 c 2195 347.22 o 30828 347.22 c 2193 351.52 o 30829 351.52 c 2192 352.01 o 30831 352.02 c 2190 352.35 o 30832 352.35 c 2189 353.03 o 30834 353.03 c 2187 353.20 o 30836 353.20 c 2185 353.38 o 30837 353.38 c 2184 353.45 o 30838 353.45 c 2183 353.79 o 30839 353.79 c 2182 354.62 o 30840 354.62 c 2181 357.90 o 30842 357.90 c 2179 358.07 o 30843 358.07 c 2178 360.33 o 30845 360.33 c 2176 360.49 o 30846 360.49 c 2175 360.67 o 30847 360.67 c 2174 362.79 o 30848 362.79 c 2173 362.98 o 30850 362.98 c 2171 363.16 o 30851 363.16 c 2170 363.53 o 30852 363.53 c 2169 363.72 o 30855 363.72 c 2166 365.50 o 30857 365.50 c 2164 366.79 o 30858 366.79 c 2163 367.73 o 30859 367.73 c 2162 374.35 o 30861 374.35 c 2160 380.54 o 30862 380.54 c 2159 384.48 o 30863 384.48 c 2158 384.85 o 30866 384.85 c 2155 385.43 o 30867 385.43 c 2154 386.98 o 30869 386.98 c 2152 387.16 o 30870 387.16 c 2151 387.55 o 30872 387.55 c 2149 387.66 o 30873 387.66 c 2148 387.86 o 30875 387.86 c 2146 388.05 o 30876 388.05 c 2145 388.26 o 30877 388.26 c 2144 389.27 o 30879 389.27 c 2142 389.39 o 30881 389.39 c 2140 389.58 o 30882 389.58 c 2139 392.97 o 30884 392.97 c 2137 393.36 o 30885 393.36 c 2136 393.64 o 30886 393.64 c 2135 399.48 o 30888 399.48 c 2133 399.57 o 30890 399.57 c 2131 399.76 o 30891 399.76 c 2130 400.70 o 30892 400.70 c 2129 404.54 o 30893 404.54 c 2128 404.73 o 30894 404.73 c 2127 406.16 o 30897 406.16 c 2124 406.34 o 30899 406.34 c 2122 406.53 o 30901 406.53 c 2120 406.73 o 30902 406.73 c 2119 406.93 o 30903 406.93 c 2118 407.13 o 30904 407.13 c 2117 407.51 o 30906 407.51 c 2115 407.70 o 30907 407.70 c 2114 408.09 o 30910 408.09 c 2111 412.35 o 30911 412.35 c 2110 412.54 o 30913 412.54 c 2108 412.73 o 30914 412.73 c 2107 412.84 o 30915 412.84 c 2106 414.18 o 30918 414.18 c 2103 414.37 o 30919 414.37 c 2102 414.56 o 30922 414.56 c 2099 414.94 o 30924 414.94 c 2097 415.62 o 30926 415.62 c 2095 417.08 o 30927 417.08 c 2094 417.65 o 30928 417.65 c 2093 417.85 o 30929 417.85 c 2092 418.60 o 30932 418.60 c 2089 419.18 o 30933 419.18 c 2088 419.38 o 30934 419.38 c 2087 419.76 o 30938 419.76 c 2083 419.86 o 30939 419.86 c 2082 420.05 o 30941 420.05 c 2080 421.37 o 30944 421.37 c 2077 425.11 o 30945 425.11 c 2076 426.19 o 30946 426.19 c 2075 426.39 o 30948 426.39 c 2073 428.47 o 30950 428.47 c 2071 428.79 o 30951 428.79 c 2070 430.03 o 30952 430.03 c 2069 431.52 o 30953 431.52 c 2068 432.29 o 30954 432.29 c 2067 432.48 o 30955 432.48 c 2066 432.68 o 30956 432.68 c 2065 433.83 o 30957 433.83 c 2064 434.02 o 30958 434.02 c 2063 434.69 o 30959 434.69 c 2062 434.88 o 30961 434.88 c 2060 435.09 o 30962 435.09 c 2059 435.28 o 30964 435.28 c 2057 436.17 o 30965 436.17 c 2056 437.43 o 30966 437.43 c 2055 437.82 o 30967 437.82 c 2054 438.02 o 30970 438.02 c 2051 438.21 o 30971 438.21 c 2050 438.41 o 30972 438.41 c 2049 438.79 o 30973 438.79 c 2048 440.07 o 30974 440.07 c 2047 440.92 o 30975 440.92 c 2046 444.44 o 30976 444.44 c 2045 447.87 o 30977 447.87 c 2044 450.17 o 30979 450.17 c 2042 450.37 o 30980 450.37 c 2041 451.33 o 30981 451.33 c 2040 451.52 o 30982 451.52 c 2039 451.71 o 30983 451.71 c 2038 463.25 o 30985 463.25 c 2036 463.41 o 30987 463.41 c 2034 463.92 o 30990 463.92 c 2031 464.12 o 30992 464.12 c 2029 464.44 o 30994 464.44 c 2027 465.43 o 30996 465.43 c 2025 467.38 o 30997 467.38 c 2024 467.58 o 31000 467.58 c 2021 469.91 o 31001 469.91 c 2020 470.12 o 31002 470.12 c 2019 470.31 o 31003 470.31 c 2018 481.90 o 31004 481.90 c 2017 484.81 o 31005 484.81 c 2016 498.07 o 31009 498.07 c 2012 498.27 o 31012 498.27 c 2009 498.41 o 31013 498.41 c 2008 498.61 o 31014 498.61 c 2007 499.16 o 31015 499.16 c 2006 511.66 o 31018 511.66 c 2003 511.87 o 31020 511.87 c 2001 512.08 o 31021 512.08 c 2000 512.29 o 31024 512.29 c 1997 512.71 o 31025 512.71 c 1996 512.92 o 31026 512.92 c 1995 513.34 o 31027 513.34 c 1994 513.97 o 31028 513.97 c 1993 514.19 o 31029 514.19 c 1992 514.60 o 31032 514.60 c 1989 514.80 o 31033 514.80 c 1988 518.59 o 31034 518.59 c 1987 519.17 o 31035 519.17 c 1986 519.39 o 31036 519.39 c 1985 519.60 o 31037 519.60 c 1984 519.81 o 31038 519.81 c 1983 520.88 o 31039 520.88 c 1982 523.58 o 31040 523.58 c 1981 524.63 o 31041 524.63 c 1980 527.44 o 31045 527.44 c 1976 527.64 o 31048 527.64 c 1973 528.07 o 31050 528.07 c 1971 528.50 o 31052 528.50 c 1969 528.90 o 31054 528.90 c 1967 535.46 o 31055 535.46 c 1966 535.67 o 31056 535.67 c 1965 535.88 o 31058 535.88 c 1963 537.35 o 31059 537.35 c 1962 542.89 o 31060 542.89 c 1961 548.08 o 31061 548.09 c 1960 548.51 o 31062 548.51 c 1959 549.15 o 31063 549.15 c 1958 566.27 o 31066 566.27 c 1955 567.97 o 31069 567.97 c 1952 568.40 o 31070 568.40 c 1951 568.62 o 31071 568.63 c 1950 568.84 o 31072 568.84 c 1949 569.06 o 31073 569.06 c 1948 569.50 o 31074 569.50 c 1947 576.20 o 31075 576.20 c 1946 576.41 o 31077 576.41 c 1944 577.25 o 31078 577.25 c 1943 577.67 o 31080 577.67 c 1941 577.88 o 31081 577.88 c 1940 584.88 o 31082 584.88 c 1939 585.10 o 31084 585.10 c 1937 590.81 o 31085 590.81 c 1936 591.02 o 31087 591.02 c 1934 591.66 o 31091 591.66 c 1930 592.10 o 31094 592.10 c 1927 604.90 o 31095 604.90 c 1926 605.32 o 31096 605.32 c 1925 605.54 o 31098 605.54 c 1923 606.13 o 31099 606.13 c 1922 606.34 o 31100 606.34 c 1921 606.53 o 31101 606.53 c 1920 606.95 o 31103 606.95 c 1918 607.97 o 31105 607.97 c 1916 608.38 o 31106 608.38 c 1915 608.56 o 31107 608.56 c 1914 608.76 o 31109 608.76 c 1912 608.97 o 31110 608.97 c 1911 609.38 o 31111 609.38 c 1910 613.13 o 31113 613.13 c 1908 613.34 o 31114 613.34 c 1907 614.06 o 31115 614.06 c 1906 614.47 o 31116 614.47 c 1905 614.67 o 31117 614.67 c 1904 617.32 o 31118 617.32 c 1903 620.20 o 31119 620.20 c 1902 620.40 o 31120 620.41 c 1901 620.60 o 31121 620.60 c 1900 620.81 o 31122 620.81 c 1899 621.01 o 31123 621.01 c 1898 621.75 o 31124 621.75 c 1897 621.96 o 31125 621.96 c 1896 622.16 o 31127 622.16 c 1894 623.92 o 31128 623.92 c 1893 625.12 o 31130 625.12 c 1891 626.57 o 31132 626.57 c 1889 627.39 o 31134 627.39 c 1887 627.89 o 31135 627.89 c 1886 628.10 o 31136 628.10 c 1885 629.33 o 31137 629.33 c 1884 629.74 o 31138 629.74 c 1883 630.77 o 31140 630.77 c 1881 630.98 o 31143 630.98 c 1878 631.18 o 31144 631.18 c 1877 637.44 o 31145 637.44 c 1876 639.92 o 31146 639.92 c 1875 653.15 o 31148 653.15 c 1873 654.95 o 31149 654.95 c 1872 655.86 o 31150 655.86 c 1871 664.39 o 31151 664.39 c 1870 664.56 o 31152 664.56 c 1869 665.02 o 31153 665.02 c 1868 665.23 o 31154 665.23 c 1867 665.46 o 31155 665.46 c 1866 666.71 o 31158 666.71 c 1863 669.21 o 31160 669.21 c 1861 669.60 o 31162 669.60 c 1859 669.83 o 31163 669.83 c 1858 670.48 o 31164 670.48 c 1857 670.70 o 31165 670.70 c 1856 671.37 o 31166 671.38 c 1855 671.84 o 31168 671.84 c 1853 681.19 o 31169 681.19 c 1852 681.67 o 31170 681.67 c 1851 691.77 o 31171 691.77 c 1850 692.40 o 31173 692.40 c 1848 692.64 o 31175 692.64 c 1846 694.62 o 31176 694.62 c 1845 694.74 o 31181 694.74 c 1840 694.97 o 31182 694.97 c 1839 695.19 o 31184 695.19 c 1837 695.41 o 31185 695.41 c 1836 697.65 o 31186 697.65 c 1835 697.87 o 31187 697.87 c 1834 698.23 o 31188 698.23 c 1833 698.46 o 31190 698.46 c 1831 700.15 o 31193 700.15 c 1828 701.50 o 31194 701.50 c 1827 701.73 o 31195 701.73 c 1826 701.95 o 31196 701.95 c 1825 717.75 o 31197 717.75 c 1824 722.38 o 31198 722.38 c 1823 735.30 o 31201 735.30 c 1820 737.71 o 31202 737.71 c 1819 738.05 o 31205 738.05 c 1816 741.85 o 31207 741.85 c 1814 744.57 o 31208 744.57 c 1813 744.70 o 31209 744.70 c 1812 744.94 o 31210 744.94 c 1811 745.67 o 31212 745.67 c 1809 745.91 o 31214 745.91 c 1807 746.15 o 31215 746.15 c 1806 748.00 o 31216 748.00 c 1805 748.25 o 31217 748.25 c 1804 748.49 o 31218 748.49 c 1803 748.70 o 31219 748.70 c 1802 752.09 o 31223 752.09 c 1798 752.33 o 31224 752.33 c 1797 752.56 o 31225 752.56 c 1796 752.80 o 31226 752.80 c 1795 753.04 o 31227 753.04 c 1794 753.20 o 31230 753.20 c 1791 753.43 o 31231 753.43 c 1790 754.87 o 31232 754.87 c 1789 755.12 o 31233 755.12 c 1788 758.23 o 31236 758.23 c 1785 758.45 o 31237 758.45 c 1784 758.70 o 31238 758.70 c 1783 759.03 o 31239 759.03 c 1782 759.74 o 31240 759.74 c 1781 760.45 o 31241 760.45 c 1780 760.69 o 31242 760.69 c 1779 762.19 o 31243 762.19 c 1778 762.42 o 31244 762.42 c 1777 762.90 o 31246 762.90 c 1775 763.02 o 31247 763.02 c 1774 763.25 o 31250 763.25 c 1771 763.46 o 31252 763.46 c 1769 763.93 o 31253 763.93 c 1768 765.79 o 31254 765.79 c 1767 771.23 o 31255 771.23 c 1766 771.46 o 31257 771.46 c 1764 771.65 o 31263 771.65 c 1758 771.89 o 31264 771.89 c 1757 772.36 o 31265 772.36 c 1756 773.08 o 31266 773.08 c 1755 773.79 o 31267 773.79 c 1754 774.27 o 31268 774.27 c 1753 796.85 o 31269 796.85 c 1752 797.10 o 31270 797.10 c 1751 827.45 827.45 search 827.45 run=0 nbConstraintChecks=4357062191 nbAssignments=6753 827.45 => wckTime=793.833 cpuTime=786.25 mem=64M215 827.46 827.46 global 827.46 nbConstraintChecks=4357062191 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 827.46 solvingWckTime=793.815 solvingCpuTime=786.23 expiredTime=no totalExploration=no nbFoundSolutions=0 827.46 globalCpuTime=818.18 827.46 => wckTime=827.14 cpuTime=818.14 mem=64M215 827.46 827.46 solver IterativeSystematicSolver being built... 827.85 => wckTime=827.534 cpuTime=818.4 mem=90M519 828.33 828.33 preprocessing 828.33 nbConstraintChecks=47039 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 828.33 detectedInconsistency=no 828.33 => wckTime=0.469 cpuTime=0.45 mem=90M519 2421.60 v 2604 2488 -2304 2640 -2592 2488 2468 2452 2284 -2404 2532 2640 2492 2452 -2380 -2444 2528 2448 2628 2340 2620 -2320 -2600 2284 -2424 2332 -2540 -2636 -2564 -2636 -2344 2376 2360 -2524 -2372 -2340 2556 -2536 -2280 -2344 2492 -2396 2332 -2476 -2332 -2344 -2624 2640 -2528 2472 2324 -2288 -2416 -2368 2320 -2572 2556 -2600 2640 2380 2336 -2532 -2524 2516 -2468 -2612 -2284 -2448 2528 -2588 -2352 -2640 2288 -2284 2540 -2584 -2292 2636 -2584 -2376 -2592 2356 2632 -2572 2640 -2560 -2504 -2320 -2384 -2280 2328 -2336 -2284 -2384 2496 -2596 -2344 2352 -2360 2600 2384 2596 -2592 2540 -2320 2352 2548 2512 -2508 -2432 -2488 -2448 2292 2636 2612 -2412 -2400 2404 -2616 2364 2380 -2580 2616 2596 -2440 -2640 2568 2512 2564 -2332 2640 2488 -2600 2640 -2640 -2600 -2592 2400 -2464 -2364 2584 -2392 -2504 2336 2344 -2640 -2600 2288 -2488 -2416 -2636 2616 2344 2320 2344 2636 -2480 -2492 2556 -2416 2280 -2412 2408 -2576 2640 -2512 2464 -2624 -2608 -2472 2604 -2304 2632 2436 2280 2568 -2384 2640 2280 2544 -2596 -2524 2628 -2328 2392 2476 -2536 -2324 -2280 2396 -2288 -2500 -2596 -2572 -2288 2280 -2600 2504 -2432 -2588 -2500 -2336 2428 2636 -2344 2576 -2548 2336 2556 -2320 -2388 2640 2356 -2384 -2468 -2284 -2292 2624 2568 2540 2584 2500 -2640 -2432 2568 -2480 2504 2404 -2280 2292 -2284 2316 -2288 2576 -2280 -2328 2604 -2512 2600 -2624 2324 -2596 2316 2280 2344 2452 2280 2284 2512 2320 2560 -2640 2284 2420 2312 2492 2440 2360 2440 2344 -2500 -2460 2592 -2612 -2324 2288 -2508 -2616 -2464 2448 2516 2376 -2528 -2452 2280 2488 -2280 -2284 -2284 2312 2320 -2368 -2292 -2592 -2632 2456 -2336 -2380 -2424 2320 2500 2320 -2280 -2468 2292 2364 -2600 -2584 2336 2636 2572 -2460 2632 2328 2624 2388 2320 2460 -2432 -2612 -2436 2600 -2372 -2332 -2592 -2348 -2476 -2632 2636 2456 -2316 -2628 2616 2564 2300 -2588 -2328 -2444 -2360 -2324 -2388 2476 -2492 -2320 -2440 2596 2444 -2308 2640 -2436 -2572 2420 -2576 2280 2388 2496 2496 2568 2376 2464 2640 2356 2516 2552 -2640 2316 -2508 2356 -2436 -2424 -2360 -2288 -2492 2288 2288 2404 -2592 2368 -2540 -2312 -2324 2596 2532 2576 2584 2344 -2308 2416 2412 -2420 2628 -2472 2608 -2284 2544 2640 -2332 -2408 -2508 -2328 -2636 -2528 2632 -2412 2596 -2640 -2496 2560 -2636 2572 2508 2640 2344 -2324 2440 2436 -2340 -2356 2396 2464 2388 -2596 -2328 -2380 2536 2320 2316 -2532 2572 -2512 2280 2472 -2284 -2488 -2528 2632 2584 2288 2376 -2404 -2628 2596 -2292 -2496 -2476 -2588 -2520 -2292 2332 -2512 2636 -2512 -2608 2320 2332 2600 2592 2460 2484 -2596 -2588 2632 -2444 2456 -2596 -2552 -2432 2600 2532 -2280 -2324 -2564 -2320 2576 2296 2568 2636 2320 -2536 -2620 2284 2356 2388 2500 -2328 -2348 2568 -2288 2464 -2532 -2476 2428 -2476 -2340 -2388 -2596 2556 2540 2316 -2348 -2456 -2356 -2324 2280 2584 2600 2388 2412 -2288 -2584 2336 2392 -2344 2328 -2632 -2328 -2636 -2288 2300 2596 2424 -2336 -2512 2344 2572 2396 -2516 -2536 -2564 2484 2432 -2608 2296 -2416 2320 2640 -2524 2616 2632 2288 2484 -2588 -2336 -2420 2516 2632 -2484 2464 -2312 -2572 -2488 2312 2620 -2320 2468 -2612 -2636 2636 -2596 -2280 2288 -2588 2384 2304 -2468 2320 2600 -2352 -2396 2328 -2372 -2316 -2444 2596 2336 2328 2616 -2376 2600 2628 -2412 -2516 -2356 2524 -2332 2600 2472 2404 2404 -2352 2564 -2348 -2484 -2288 2520 -2528 2420 -2284 2572 -2300 2500 2436 2288 -2428 2596 2528 2640 2484 2292 2584 2628 2460 2300 -2568 2600 2428 2304 2456 2360 -2380 2428 -2368 -2416 2284 -2416 -2416 2396 2436 2608 2360 2444 2524 -2452 2444 -2320 2600 -2624 -2428 -2380 -2420 -2544 -2324 2376 -2404 -2552 -2584 -2592 2596 2412 -2596 -2624 -2356 2336 2612 -2280 -2484 2324 2280 -2384 -2600 -2400 2376 -2304 2428 2508 2500 2572 2504 -2388 2568 2292 -2640 2504 -2632 2384 2324 -2340 -2572 -2360 2496 -2280 2596 -2336 2568 -2296 -2332 2596 2372 -2516 -2572 -2380 2596 -2544 2628 -2604 2320 2336 2420 -2488 -2456 2280 2616 -2532 2568 2288 -2336 -2280 -2416 2288 2324 -2364 -2424 2588 -2608 2452 -2448 -2556 2472 -2324 2328 -2356 -2588 -2628 -2452 2320 2296 2336 2288 2536 2324 2536 2636 -2476 2528 -2520 2332 -2308 -2624 -2328 2612 2552 2424 2332 -2588 2548 2548 -2280 -2300 2324 2524 2284 2620 2428 2432 -2384 2640 -2640 -2316 -2284 -2468 2444 2640 -2432 2484 2444 2440 -2640 -2568 2636 -2376 -2284 -2632 -2600 -2532 2484 -2564 -2496 2300 -2348 -2280 -2504 2492 -2636 -2520 -2388 2328 -2352 -2324 -2592 -2320 -2280 -2356 2560 2484 -2400 2280 -2328 2400 -2288 -2304 2560 -2344 2456 -2280 2548 -2316 2640 2444 -2428 -2344 -2328 2444 -2572 2324 2284 2616 2568 -2288 -2560 2460 2628 -2556 2284 -2416 2340 -2324 -2584 2572 -2420 2616 -2300 2280 2476 2604 2328 2492 -2364 2492 2328 2324 2332 2476 -2424 2308 2344 -2292 -2460 2444 -2356 2464 2520 -2616 -2404 -2636 2460 -2388 -2504 -2492 -2284 2432 2500 2516 -2600 2380 -2280 -2284 -2432 -2460 2300 -2604 -2500 -2516 2296 -2340 2332 2292 2292 2320 -2336 2600 2560 -2532 2320 2584 -2612 2608 2472 2420 2540 2640 -2600 2320 -2548 -2536 -2552 -2600 -2580 2372 -2476 -2640 2492 2632 2376 2316 2368 -2548 -2528 -2596 2296 2332 2600 2640 -2324 -2640 2436 -2476 -2540 2552 2512 2312 2436 -2484 -2300 2360 -2496 -2440 -2576 -2560 -2304 2284 2588 -2472 -2300 -2504 2328 -2452 -2540 2600 -2592 -2480 -2424 -2500 2428 2464 2572 2564 -2532 -2284 -2284 2620 -2288 2320 -2520 2540 -2628 2620 2412 2412 2452 2280 2476 -2620 -2288 2560 2296 -2624 2636 2580 -2384 -2332 2444 2280 -2328 -2600 2460 2560 2628 -2404 -2640 -2600 2640 2320 2576 2496 -2520 -2584 -2508 2280 -2636 2324 -2564 2588 2600 2308 2300 2592 -2324 -2316 2500 -2372 2280 -2352 -2436 -2292 2552 2600 2340 2388 -2520 -2640 2324 -2316 -2436 2460 -2300 2568 2588 -2388 2620 2356 -2444 -2540 2588 -2488 2296 -2396 2556 -2360 -2640 2556 2320 -2576 -2600 -2640 2536 2312 -2320 2468 -2592 -2640 -2632 -2564 -2624 -2600 2284 2592 -2396 2536 -2472 -2452 -2544 2488 -2316 -2288 -2492 -2348 -2636 2312 -2436 -2428 -2508 2356 2292 -2280 2476 -2312 -2560 2292 2420 -2576 2492 -2284 2640 2608 2344 -2320 2384 -2600 2312 -2452 2288 -2640 -2388 -2376 2348 2320 2580 -2284 2472 2444 2304 -2512 2356 2484 2344 2368 2304 2408 2460 2424 2496 2372 -2312 -2636 2424 2640 -2524 2356 -2640 -2640 -2600 2600 -2476 -2384 2556 2584 2624 -2288 2476 2296 -2280 -2640 -2396 -2496 -2432 2320 -2636 -2432 -2280 2520 2572 -2444 -2324 2512 2640 2444 2444 2424 2408 -2320 2396 2292 2568 2292 2372 2456 2588 -2612 -2576 -2332 2628 -2568 2312 2472 -2600 2640 -2484 -2468 -2336 -2436 2572 -2532 2624 2600 -2604 -2328 2512 -2596 2284 2292 2488 -2280 -2280 2600 -2516 2432 -2472 -2408 2512 2620 -2368 2448 -2600 2496 2452 2348 -2344 2464 2316 2360 2560 -2560 2288 -2524 2384 2408 -2636 2568 -2280 -2340 -2596 -2296 2500 2636 2600 2600 -2340 2288 -2640 2304 -2328 2280 2400 2352 -2316 -2476 2296 -2516 -2508 -2472 2428 -2636 2500 2412 2448 2440 2280 2340 -2632 2568 2344 2612 2632 2300 -2332 2468 2636 -2560 -2304 -2572 2576 -2280 -2444 2524 -2568 -2476 2624 -2640 2312 2544 2548 2296 -2640 -2484 2596 2516 -2344 2360 2404 2488 -2488 2624 -2556 -2336 -2492 2620 2392 2632 -2464 -2640 2400 2612 2440 -2304 -2596 -2284 -2332 2400 -2348 -2472 -2460 2528 -2520 2320 -2592 2320 -2524 2576 -2296 -2396 -2604 2332 2596 2600 -2380 -2324 2592 2492 -2336 -2436 -2320 -2452 2592 2336 2616 -2412 2440 -2472 2384 2640 2636 -2492 2636 -2284 -2344 2500 -2560 -2616 2640 2628 2480 -2584 2608 2336 -2620 2520 2284 2620 2480 -2636 2356 -2640 -2320 -2348 -2408 2400 2452 2396 2572 -2328 2552 -2584 2328 -2580 -2508 -2308 2576 -2400 -2284 -2596 2632 2636 -2636 2604 2348 2456 -2584 -2320 -2360 -2444 -2356 2484 -2596 -2624 -2600 -2588 2580 -2504 -2356 -2352 2424 -2520 -2612 2336 -2340 2280 -2340 2296 2452 -2632 -2284 -2288 2576 2424 2468 2320 -2600 -2640 -2564 2296 -2576 2512 2332 2292 -2372 -2480 -2596 2308 -2424 -2500 2320 -2400 -2512 2424 2444 2412 -2296 -2292 2384 2320 2620 -2600 -2392 -2324 2560 -2524 2280 -2364 -2572 2280 2280 2508 -2600 2468 2580 2296 2492 -2284 2500 -2524 -2376 2336 -2356 -2436 -2320 2412 2440 2288 2460 -2536 2396 2444 -2320 2452 -2524 2340 -2568 2576 -2424 2548 2324 2604 2372 2588 2632 2600 -2516 2324 2588 2636 2628 -2396 -2320 -2448 2584 -2640 -2348 -2420 2580 2388 -2416 2592 -2572 -2568 2292 2340 -2344 2580 -2376 -2280 -2628 2636 2436 2520 2628 2536 -2560 -2564 -2452 -2320 2280 -2296 -2424 -2472 2384 -2572 2592 2640 -2336 -2432 2380 2572 2448 -2456 2288 -2496 -2564 2428 2304 -2500 -2468 -2512 -2640 2608 2288 2412 -2288 2640 2324 -2616 -2516 2328 -2472 -2308 2384 -2572 2348 -2612 2640 2600 -2324 2424 -2336 2324 2356 -2628 2640 2356 2300 2484 -2628 -2336 2400 2344 2484 2328 2352 2348 2528 2340 -2548 -2472 2600 2288 2392 2316 -2556 -2600 2376 2624 2388 2324 2564 -2312 -2284 2324 2540 2596 -2640 -2492 -2628 -2324 2600 -2532 2340 -2280 -2288 -2448 2328 -2436 2280 -2408 2628 2424 2476 2336 2640 2608 2592 2360 -2336 2376 2464 -2600 -2364 2324 2364 -2328 -2332 2484 -2376 -2484 2320 -2496 -2280 2568 -2360 2568 2564 -2552 2332 2520 -2584 2600 2640 -2320 -2320 -2632 2588 2332 -2548 2584 2520 2436 2464 -2456 2628 2524 2280 -2360 2640 -2628 2388 -2528 -2332 -2456 -2628 -2352 2460 -2628 -2632 2476 -2332 -2640 2504 -2320 -2492 -2600 -2388 2440 2456 -2468 -2344 -2452 -2580 2572 -2492 -2472 -2392 2500 2572 -2396 -2348 -2584 2548 2288 2424 -2600 2588 -2280 -2524 -2408 2336 -2560 2616 2296 -2576 2304 2280 -2348 -2440 2300 2480 -2372 2460 2452 2620 2464 -2484 -2560 2376 2328 2364 2524 2448 2540 2524 2464 -2516 -2588 -2352 -2356 2600 2632 2628 2504 2444 2492 2408 2496 2288 -2316 2452 -2600 -2280 -2440 -2436 2552 -2328 2356 2456 -2456 2332 2632 2280 -2632 -2328 2480 -2388 2496 2636 2544 -2280 -2600 2592 -2604 2280 2452 2340 -2460 2304 2472 -2508 -2288 2308 2292 -2436 2524 -2436 2456 2404 2428 -2548 2332 -2280 -2484 2556 -2640 -2432 -2420 2504 -2640 2536 -2580 2404 2408 2384 -2636 2288 2484 2552 -2284 -2460 2328 -2436 -2348 2280 -2636 -2472 2632 -2388 -2284 -2304 2320 2344 -2516 -2336 2424 -2464 -2320 2412 -2636 2544 2600 -2280 2552 2440 2432 -2332 2404 -2292 -2320 2596 -2548 -2488 2280 -2284 -2508 -2280 -2588 -2564 -2640 2320 2388 -2604 -2428 2420 -2296 2520 -2468 2600 -2288 2640 -2600 -2324 -2632 2580 2296 -2292 -2448 -2372 2600 -2280 -2440 2320 -2320 2332 -2476 2608 -2568 2492 2624 2604 -2424 -2636 2640 2596 -2532 -2396 -2444 -2324 2528 -2368 -2416 2636 2364 2616 -2344 -2280 -2560 -2472 2448 2616 -2636 2596 2280 -2408 2636 -2284 2456 2504 -2508 -2396 -2348 2468 2600 -2372 -2584 -2436 2296 2488 2520 2316 2568 -2400 2504 -2336 -2460 2592 -2480 -2288 2596 -2600 2624 -2384 -2556 -2356 2600 -2472 -2580 2616 -2528 2612 -2380 -2452 -2636 2616 2628 2332 -2624 -2292 -2320 2580 -2364 2376 -2332 2348 2588 2292 -2348 2552 2628 2616 -2636 -2356 2516 2300 2596 2380 2316 -2296 2592 2480 2436 2384 2428 2392 2444 -2360 2492 -2424 2292 2576 2520 2292 2320 -2636 -2600 2464 2320 2328 2640 -2640 2600 -2600 -2596 2596 2612 2596 -2512 -2496 -2436 -2584 -2280 2284 2620 2292 -2556 2484 2372 -2572 2320 2364 2372 -2328 2624 -2428 2432 -2572 -2632 2556 -2384 -2420 -2380 2636 2592 -2544 2600 -2556 2572 -2636 2600 2420 2328 2496 2400 -2624 -2484 -2412 2280 2580 -2288 -2516 2512 -2340 2480 -2596 2280 -2364 -2632 2556 2332 2532 -2600 2552 2316 2596 -2592 -2528 -2564 -2380 -2284 -2288 -2284 2520 2608 2524 -2508 -2528 -2640 2428 2524 -2444 -2628 2420 2416 2608 2380 2396 -2296 2384 -2284 -2624 -2332 -2600 2600 2640 -2360 2484 -2588 2368 -2624 2336 2472 -2576 2388 -2460 -2408 2384 2320 2280 2464 -2420 2472 -2420 2484 -2392 -2396 -2552 2412 -2356 -2612 -2528 2564 2500 2456 -2516 2596 2396 2292 -2588 -2392 2392 -2320 -2496 2592 2588 -2308 2328 2620 -2604 -2552 -2640 -2484 2464 2472 -2600 2336 -2292 -2356 2324 -2280 -2640 2580 2528 -2324 -2344 2356 -2288 2640 -2640 2480 2292 -2280 2280 2564 -2572 -2628 2500 2308 2404 2436 -2292 -2376 2640 -2340 2604 2296 2592 -2544 2300 2280 -2448 2552 -2632 2284 2296 -2484 -2476 2616 2540 2484 2428 -2368 -2600 -2596 2528 -2420 2316 2448 2324 -2312 2356 2280 -2296 -2320 2576 -2432 2464 -2484 2328 -2584 2436 -2640 -2484 -2568 2580 2400 -2596 2280 -2412 -2588 -2332 2572 -2512 -2516 2280 2556 -2632 -2400 -2328 2292 2564 2420 2456 2444 2384 -2536 -2356 2320 -2544 2384 2636 -2320 -2472 -2328 2408 2632 2636 2420 2380 2344 2280 -2324 2328 -2624 2496 2608 2316 2324 2320 2416 2572 -2404 -2448 -2328 -2640 2392 -2600 2496 -2524 2380 2428 2320 -2576 2496 2320 -2424 2444 -2584 -2280 -2600 -2396 -2576 -2320 2340 2612 -2492 2628 2304 2628 2596 2284 -2396 2508 -2640 2596 2592 2324 2320 -2508 2420 -2280 2380 2404 2636 2300 2328 2524 -2280 -2528 -2300 -2384 2608 2508 2280 2392 -2320 2428 -2600 2320 2432 -2380 2324 2584 2320 2600 2300 -2456 -2596 2324 -2516 -2292 -2484 2548 2640 2400 -2492 -2628 -2348 -2576 2624 -2424 -2488 2292 -2476 -2444 2424 2612 2464 -2304 -2536 -2444 2596 -2320 -2416 -2288 2352 -2512 2280 2416 -2352 2388 -2568 2356 2460 -2472 -2480 2296 -2476 -2288 -2420 -2488 -2536 2428 -2440 -2532 -2296 2320 -2296 -2464 -2544 2640 2576 -2456 2328 -2452 2280 2580 2476 2428 -2456 -2300 -2600 -2484 2312 2532 2548 2532 -2524 -2596 2324 -2472 -2512 -2408 -2496 2368 -2336 -2280 2348 -2284 2600 -2360 -2596 2388 2320 -2364 2640 2292 2600 -2444 2420 2324 2336 -2540 -2528 -2596 2336 2444 2632 -2528 -2316 2320 -2328 -2588 2448 -2568 -2508 -2576 2328 -2324 2484 2568 -2552 2476 -2568 2476 2324 -2584 -2600 -2512 2604 2596 -2572 2588 2488 -2328 -2492 -2284 -2416 2348 2280 -2328 2540 -2328 2636 2380 -2640 2600 2580 2600 -2536 -2540 -2376 -2344 -2348 -2640 -2640 2444 -2528 2584 -2404 -2464 2564 2616 -2320 -2392 -2332 -2292 2452 -2592 2584 -2436 -2640 -2344 2336 2344 -2460 2332 -2320 -2288 2288 -2352 -2600 2360 -2636 -2452 2440 2332 2308 -2372 -2336 -2376 2396 -2388 -2280 2456 -2300 -2288 -2452 2364 -2492 -2388 2336 2640 -2632 -2596 -2564 2640 -2532 -2640 -2596 2600 2280 2532 2536 -2568 2324 -2300 -2416 -2360 -2484 2532 -2572 2636 2512 2348 -2628 2336 -2284 2592 -2340 2432 2452 2292 2396 -2284 2496 -2592 2324 2408 -2324 2480 2512 2464 -2640 2624 -2336 2568 -2628 2572 2620 2592 2288 -2296 -2568 -2600 2316 -2320 -2324 -2336 2352 2612 -2480 -2352 2420 2484 2384 2600 2284 2328 2636 -2412 2588 -2384 -2484 2352 -2336 2564 2484 -2536 2452 2632 2340 2384 -2640 2428 -2440 2336 2284 2576 2612 2284 -2300 -2308 -2596 2288 -2564 -2560 2624 2608 2524 -2320 -2576 -2328 -2400 -2568 2640 2512 -2284 -2592 -2324 2576 -2352 2536 -2480 2596 -2452 -2280 2416 2380 -2320 2360 -2608 -2560 -2288 -2544 2392 2452 -2600 -2588 2324 -2544 2640 2344 -2384 -2436 2636 -2564 -2640 2588 -2612 2432 -2372 -2308 2436 2436 2400 -2308 2360 2516 2284 2640 -2300 2308 2340 -2288 2508 -2400 2416 -2328 -2340 -2544 2536 2420 -2424 -2460 -2432 2420 -2476 2352 2528 2320 -2636 -2616 -2612 -2492 -2348 -2324 2528 -2420 -2384 -2320 2516 2328 -2560 -2636 2328 -2552 2640 -2588 -2580 2320 -2472 -2476 -2520 2280 -2600 -2548 -2520 2368 -2340 -2328 -2596 2320 -2532 2456 -2404 -2484 -2640 -2476 -2584 -2460 -2544 -2420 -2484 -2548 2512 -2472 2364 -2544 2508 -2560 -2432 2596 2328 2440 -2636 -2324 2548 2280 -2596 2576 -2316 -2540 -2388 2420 2640 2280 2320 2296 2296 2424 2520 2640 -2568 2612 -2320 2364 -2320 2588 2292 -2280 2280 -2504 -2632 2316 2548 -2460 -2324 -2460 -2600 -2612 -2636 2320 -2440 -2572 2492 2284 2284 -2508 2636 2492 -2444 -2344 2368 2316 2380 -2584 2524 -2540 -2348 -2296 2592 2612 -2432 2440 2452 2540 2452 2280 2304 -2500 2524 2288 -2336 2316 -2284 -2308 2596 -2460 2628 2500 -2388 -2508 2424 -2600 -2280 -2636 2384 2360 2280 -2280 2464 -2356 2640 -2472 -2596 2400 2568 2336 -2600 -2320 -2428 -2504 2624 2304 2568 2388 2628 2296 2592 2280 -2580 -2280 2352 -2564 -2608 2280 -2608 2472 2600 2508 2448 2636 -2616 2292 -2372 -2324 -2632 -2588 -2296 -2328 2376 2328 -2280 -2324 2568 -2500 2636 -2428 2624 -2580 2444 2632 -2384 2604 2528 -2592 -2572 -2444 -2600 2404 2640 2336 2444 2388 -2432 -2496 -2472 -2640 -2328 -2612 2604 -2288 2536 2536 -2592 2420 2616 -2600 2324 2344 2640 2504 -2640 -2624 2432 2284 2624 2620 2564 -2436 2600 2284 -2324 2288 2548 2592 2484 2548 2396 -2384 -2296 -2488 2540 -2448 -2284 2304 2388 -2476 2484 2488 -2636 2592 -2284 -2640 -2640 2388 -2328 -2280 -2424 2580 2400 2376 -2292 2368 2532 2512 2632 2624 -2416 -2596 2320 -2524 2440 2376 2472 2288 2640 2568 2396 -2576 -2544 -2488 -2412 2332 -2352 2528 2352 2388 2548 2300 -2452 -2480 -2296 -2320 2612 2324 -2312 -2304 2420 -2352 -2292 -2340 -2292 -2412 -2320 2436 -2332 -2336 2640 2636 -2320 -2320 2640 -2600 -2592 -2464 2596 2500 -2412 -2612 2280 -2428 -2400 -2320 2596 2280 -2336 2604 -2640 -2424 2356 -2320 -2304 2372 2604 2584 2296 2320 2444 -2432 2600 2596 2400 -2320 2392 -2360 2480 2536 -2324 -2564 2468 -2524 2616 -2492 2524 -2592 -2320 2440 -2280 -2424 -2568 -2400 2320 2432 2636 2580 -2636
1751 unsatisfied constraints, 31270 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-275262-1169218957 -o ROOT/results/node18/solver-275262-1169218957 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275262-1169218957/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 2.06 2.01 1.97 2/94 823 /proc/meminfo: memFree=1325344/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=18540 CPUtime=0 /proc/822/stat : 822 (runsolver) R 820 822 32347 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270290446 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/822/statm: 4635 279 244 17 0 2626 0 [startup+0.102257 s] /proc/loadavg: 2.06 2.01 1.97 2/94 823 /proc/meminfo: memFree=1325344/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=913228 CPUtime=0.08 /proc/822/stat : 822 (java) S 820 822 32347 0 -1 0 2919 0 1 0 6 2 0 0 19 0 8 0 270290446 935145472 2665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228307 2665 1396 14 0 215208 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 913228 [startup+0.510292 s] /proc/loadavg: 2.06 2.01 1.97 2/94 823 /proc/meminfo: memFree=1325344/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915332 CPUtime=0.48 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 6784 0 1 0 44 4 0 0 18 0 8 0 270290446 937299968 6523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228833 6523 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.33138 s] /proc/loadavg: 2.14 2.03 1.97 3/101 830 /proc/meminfo: memFree=1251560/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915612 CPUtime=1.3 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 22695 0 1 0 118 12 0 0 24 0 8 0 270290446 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228903 22432 2161 14 0 215373 0 [pid=822/tid=824] ppid=820 vsize=915612 CPUtime=0.09 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 6141 0 0 0 7 2 0 0 16 0 8 0 270290450 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=915612 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=915612 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=915612 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=915612 CPUtime=0.16 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 270290454 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=915612 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937586688 22432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=915612 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 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.3 Current children cumulated vsize (KiB) 915612 [startup+2.96953 s] /proc/loadavg: 2.14 2.03 1.97 3/101 830 /proc/meminfo: memFree=1238312/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915744 CPUtime=2.92 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 24081 0 1 0 278 14 0 0 25 0 8 0 270290446 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228936 23815 2181 14 0 215406 0 [pid=822/tid=824] ppid=820 vsize=915744 CPUtime=0.17 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 7448 0 0 0 15 2 0 0 16 0 8 0 270290450 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=915744 CPUtime=0.19 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 418 0 0 0 19 0 0 0 16 0 8 0 270290454 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937721856 23815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 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.92 Current children cumulated vsize (KiB) 915744 [startup+6.17484 s] /proc/loadavg: 2.13 2.02 1.97 3/101 830 /proc/meminfo: memFree=1238120/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915744 CPUtime=6.09 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 24108 0 1 0 593 16 0 0 25 0 8 0 270290446 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228936 23839 2182 14 0 215406 0 [pid=822/tid=824] ppid=820 vsize=915744 CPUtime=0.17 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 7448 0 0 0 15 2 0 0 17 0 8 0 270290450 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=915744 CPUtime=0.23 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 440 0 0 0 22 1 0 0 15 0 8 0 270290454 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937721856 23839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.09 Current children cumulated vsize (KiB) 915744 [startup+12.6425 s] /proc/loadavg: 2.12 2.02 1.97 3/101 830 /proc/meminfo: memFree=1231912/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915744 CPUtime=12.51 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 25680 0 1 0 1215 36 0 0 25 0 8 0 270290446 937721856 25408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228936 25408 2182 14 0 215406 0 [pid=822/tid=824] ppid=820 vsize=915744 CPUtime=0.24 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 9010 0 0 0 21 3 0 0 16 0 8 0 270290450 937721856 25408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 25408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 25408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937721856 25408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=915744 CPUtime=0.24 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 447 0 0 0 23 1 0 0 16 0 8 0 270290454 937721856 25408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937721856 25408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937721856 25408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 915744 [startup+25.5167 s] /proc/loadavg: 2.10 2.02 1.97 3/101 830 /proc/meminfo: memFree=1223456/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915744 CPUtime=25.26 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 27838 0 1 0 2424 102 0 0 25 0 8 0 270290446 937721856 27565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228936 27565 2182 14 0 215406 0 [pid=822/tid=824] ppid=820 vsize=915744 CPUtime=0.36 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 11164 0 0 0 32 4 0 0 16 0 8 0 270290450 937721856 27565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 27565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 27565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937721856 27565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=915744 CPUtime=0.25 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 450 0 0 0 24 1 0 0 16 0 8 0 270290454 937721856 27565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937721856 27565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937721856 27565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.26 Current children cumulated vsize (KiB) 915744 [startup+51.1602 s] /proc/loadavg: 2.06 2.02 1.97 3/101 830 /proc/meminfo: memFree=1200032/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915744 CPUtime=50.58 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 34038 0 1 0 4891 167 0 0 25 0 8 0 270290446 937721856 33710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228936 33710 2501 14 0 215406 0 [pid=822/tid=824] ppid=820 vsize=915744 CPUtime=0.87 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 16983 0 0 0 81 6 0 0 16 0 8 0 270290450 937721856 33710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 33710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 33710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937721856 33710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=915744 CPUtime=0.3 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270290454 937721856 33710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937721856 33710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937721856 33710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (KiB) 915744 [startup+102.453 s] /proc/loadavg: 2.09 2.03 1.98 3/101 830 /proc/meminfo: memFree=1200168/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915744 CPUtime=101.33 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 34039 0 1 0 9948 185 0 0 25 0 8 0 270290446 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 228936 33711 2501 14 0 215406 0 [pid=822/tid=824] ppid=820 vsize=915744 CPUtime=0.87 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 16983 0 0 0 81 6 0 0 16 0 8 0 270290450 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=915744 CPUtime=0.3 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 480 0 0 0 29 1 0 0 16 0 8 0 270290454 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=915744 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.33 Current children cumulated vsize (KiB) 915744 [startup+162.501 s] /proc/loadavg: 2.08 2.04 1.98 3/101 830 /proc/meminfo: memFree=1200168/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=915744 CPUtime=160.78 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 34039 0 1 0 15886 192 0 0 25 0 8 0 270290446 937721856 33711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2004.22 Current children cumulated vsize (KiB) 916012 [startup+2083.05 s] /proc/loadavg: 2.02 2.03 2.00 3/101 832 /proc/meminfo: memFree=1182504/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=916012 CPUtime=2063.68 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 38480 0 1 0 206124 244 0 0 25 0 8 0 270290446 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290437 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 229003 38138 2546 14 0 215473 0 [pid=822/tid=824] ppid=820 vsize=916012 CPUtime=0.93 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 21188 0 0 0 85 8 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=916012 CPUtime=0.43 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 622 0 0 0 41 2 0 0 16 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2063.68 Current children cumulated vsize (KiB) 916012 [startup+2143.08 s] /proc/loadavg: 2.06 2.03 2.00 3/101 832 /proc/meminfo: memFree=1182568/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=916012 CPUtime=2123.15 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 38481 0 1 0 212071 244 0 0 25 0 8 0 270290446 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074271447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 229003 38138 2546 14 0 215473 0 [pid=822/tid=824] ppid=820 vsize=916012 CPUtime=0.93 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 21188 0 0 0 85 8 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=916012 CPUtime=0.43 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 622 0 0 0 41 2 0 0 16 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2123.15 Current children cumulated vsize (KiB) 916012 [startup+2203.13 s] /proc/loadavg: 2.02 2.03 2.00 3/101 832 /proc/meminfo: memFree=1182568/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=916012 CPUtime=2182.63 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 38481 0 1 0 218018 245 0 0 25 0 8 0 270290446 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074317314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 229003 38138 2546 14 0 215473 0 [pid=822/tid=824] ppid=820 vsize=916012 CPUtime=0.93 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 21188 0 0 0 85 8 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=916012 CPUtime=0.43 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 622 0 0 0 41 2 0 0 16 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2182.63 Current children cumulated vsize (KiB) 916012 [startup+2263.18 s] /proc/loadavg: 2.07 2.04 2.00 3/101 832 /proc/meminfo: memFree=1182504/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=916012 CPUtime=2242.12 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 38481 0 1 0 223966 246 0 0 25 0 8 0 270290446 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074290454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/822/statm: 229003 38138 2546 14 0 215473 0 [pid=822/tid=824] ppid=820 vsize=916012 CPUtime=0.93 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 21188 0 0 0 85 8 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=825] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=916012 CPUtime=0.43 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 622 0 0 0 41 2 0 0 16 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=829] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937996288 38138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2242.12 Current children cumulated vsize (KiB) 916012 [startup+2323.2 s] /proc/loadavg: 1.97 2.01 2.00 3/101 906 /proc/meminfo: memFree=1181160/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=916012 CPUtime=2301.81 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 38487 0 1 0 229933 248 0 0 25 0 8 0 270290446 937996288 38141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295844 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/822/statm: 229003 38141 2546 14 0 215473 0 [pid=822/tid=824] ppid=820 vsize=916012 CPUtime=0.93 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 21188 0 0 0 85 8 0 0 16 0 8 0 270290450 937996288 38141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=822/tid=825] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937996288 38141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=916012 CPUtime=0.44 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 627 0 0 0 42 2 0 0 16 0 8 0 270290454 937996288 38141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=822/tid=829] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937996288 38141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937996288 38141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2301.81 Current children cumulated vsize (KiB) 916012 [startup+2383.3 s] /proc/loadavg: 2.06 2.02 2.00 3/101 906 /proc/meminfo: memFree=1181224/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=916012 CPUtime=2361.82 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 38489 0 1 0 235934 248 0 0 25 0 8 0 270290446 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/822/statm: 229003 38142 2546 14 0 215473 0 [pid=822/tid=824] ppid=820 vsize=916012 CPUtime=0.93 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 21188 0 0 0 85 8 0 0 16 0 8 0 270290450 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=822/tid=825] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=916012 CPUtime=0.44 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 629 0 0 0 42 2 0 0 16 0 8 0 270290454 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=822/tid=829] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2361.82 Current children cumulated vsize (KiB) 916012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2421.59 s] /proc/loadavg: 2.03 2.02 2.00 3/101 906 /proc/meminfo: memFree=1181288/2055920 swapFree=4192812/4192956 [pid=822] ppid=820 vsize=916012 CPUtime=2400.07 /proc/822/stat : 822 (java) R 820 822 32347 0 -1 0 38489 0 1 0 239759 248 0 0 25 0 8 0 270290446 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009394 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/822/statm: 229003 38142 2546 14 0 215473 0 [pid=822/tid=824] ppid=820 vsize=916012 CPUtime=0.93 /proc/822/task/824/stat : 824 (java) S 820 822 32347 0 -1 64 21188 0 0 0 85 8 0 0 16 0 8 0 270290450 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=822/tid=825] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/825/stat : 825 (java) S 820 822 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=826] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/826/stat : 826 (java) S 820 822 32347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270290450 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=827] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/827/stat : 827 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270290454 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=828] ppid=820 vsize=916012 CPUtime=0.44 /proc/822/task/828/stat : 828 (java) S 820 822 32347 0 -1 64 629 0 0 0 42 2 0 0 16 0 8 0 270290454 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=822/tid=829] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/829/stat : 829 (java) S 820 822 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270290454 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=822/tid=830] ppid=820 vsize=916012 CPUtime=0 /proc/822/task/830/stat : 830 (java) S 820 822 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270290454 937996288 38142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 916012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2421.67 CPU time (s): 2400.16 CPU user time (s): 2397.65 CPU system time (s): 2.51262 CPU usage (%): 99.1117 Max. virtual memory (cumulated for all children) (KiB): 916012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.65 system time used= 2.51262 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38512 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= 50839 involuntary context switches= 133401 runsolver used 2.74758 s user time and 8.36673 s system time The end
Begin job on node18 on Fri Jan 19 15:02:38 UTC 2007 IDJOB= 275262 IDBENCH= 3747 IDSOLVER= 69 FILE ID= node18/275262-1169218957 PBS_JOBID= 3588905 Free space on /tmp= 66558 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-4.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275262-1169218957/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-275262-1169218957 -o ROOT/results/node18/solver-275262-1169218957 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275262-1169218957/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 9e78c37f84975ac2cde8c3ed71f26ee9 RANDOM SEED= 277274478 TIME LIMIT= 2400 seconds MEMORY LIMIT= 900 MiB /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1325760 kB Buffers: 49604 kB Cached: 530436 kB SwapCached: 0 kB Active: 221420 kB Inactive: 429080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1325760 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 6328 kB Writeback: 0 kB Mapped: 97372 kB Slab: 64500 kB Committed_AS: 7913696 kB PageTables: 2168 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= 66558 MiB End job on node18 on Fri Jan 19 15:42:59 UTC 2007