Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.14 | 2422.01 |
| 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=epfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275261-1169218919/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.69 nbVariables=3000 nbDomainTypes=23 minDomainSize=42 maxDomainSize=182 0.69 => wckTime=0.376 cpuTime=0.27 mem=27M366 0.69 0.69 predicates being loaded... 0.69 0.69 constraints being loaded... 33.42 nbConstraints=33021 nbConvertedConstraints=33021 nbConvertConstraintsChecks=86876969 nbExtensionStructures=5265 33.42 nbSharedExtensionStructures=27756 nbConflictsStructures=5265 nbSharedConflictsStructures=27756 33.42 nbSharedBinaryRepresentations=1387101 maxDegree=29 maxArity=2 33.42 => wckTime=33.105 cpuTime=31.94 mem=63M281 33.71 33.71 solver LocalSearchSolver being built... 33.75 => wckTime=33.435 cpuTime=31.99 mem=63M192 33.84 33.84 s SATISFIABLE 33.84 o 26074 33.84 c 6947 33.85 o 26082 33.85 c 6939 33.86 o 26092 33.86 c 6929 33.88 o 26099 33.88 c 6922 33.89 o 26105 33.89 c 6916 33.89 o 26111 33.89 c 6910 33.91 o 26116 33.91 c 6905 33.92 o 26121 33.92 c 6900 33.93 o 26131 33.93 c 6890 33.94 o 26139 33.94 c 6882 33.95 o 26143 33.95 c 6878 33.96 o 26147 33.96 c 6874 33.97 o 26151 33.97 c 6870 33.99 o 26155 33.99 c 6866 34.00 o 26158 34.00 c 6863 34.01 o 26161 34.01 c 6860 34.02 o 26164 34.02 c 6857 34.03 o 26167 34.03 c 6854 34.04 o 26169 34.04 c 6852 34.05 o 26171 34.05 c 6850 34.05 o 26173 34.05 c 6848 34.08 o 26183 34.08 c 6838 34.09 o 26191 34.09 c 6830 34.10 o 26199 34.10 c 6822 34.12 o 26207 34.12 c 6814 34.13 o 26214 34.13 c 6807 34.14 o 26221 34.14 c 6800 34.16 o 26227 34.16 c 6794 34.17 o 26233 34.17 c 6788 34.18 o 26239 34.18 c 6782 34.19 o 26245 34.19 c 6776 34.20 o 26250 34.20 c 6771 34.22 o 26255 34.22 c 6766 34.23 o 26259 34.23 c 6762 34.24 o 26263 34.24 c 6758 34.25 o 26266 34.25 c 6755 34.26 o 26269 34.26 c 6752 34.27 o 26272 34.27 c 6749 34.29 o 26275 34.29 c 6746 34.30 o 26278 34.30 c 6743 34.31 o 26280 34.31 c 6741 34.32 o 26282 34.32 c 6739 34.33 o 26284 34.33 c 6737 34.34 o 26285 34.34 c 6736 34.36 o 26293 34.36 c 6728 34.38 o 26302 34.38 c 6719 34.40 o 26309 34.40 c 6712 34.41 o 26316 34.41 c 6705 34.43 o 26322 34.43 c 6699 34.45 o 26328 34.45 c 6693 34.47 o 26334 34.47 c 6687 34.49 o 26340 34.49 c 6681 34.50 o 26346 34.50 c 6675 34.52 o 26352 34.52 c 6669 34.54 o 26358 34.54 c 6663 34.56 o 26363 34.56 c 6658 34.57 o 26368 34.57 c 6653 34.59 o 26373 34.59 c 6648 34.60 o 26378 34.60 c 6643 34.62 o 26383 34.62 c 6638 34.63 o 26388 34.63 c 6633 34.65 o 26393 34.65 c 6628 34.66 o 26398 34.66 c 6623 34.67 o 26401 34.67 c 6620 34.69 o 26405 34.69 c 6616 34.70 o 26409 34.70 c 6612 34.72 o 26413 34.72 c 6608 34.73 o 26417 34.73 c 6604 34.74 o 26421 34.74 c 6600 34.76 o 26424 34.76 c 6597 34.77 o 26427 34.77 c 6594 34.79 o 26430 34.79 c 6591 34.80 o 26433 34.80 c 6588 34.81 o 26436 34.81 c 6585 34.82 o 26439 34.82 c 6582 34.83 o 26442 34.83 c 6579 34.84 o 26444 34.84 c 6577 34.85 o 26446 34.85 c 6575 34.86 o 26448 34.86 c 6573 34.87 o 26450 34.87 c 6571 34.88 o 26451 34.88 c 6570 34.89 o 26455 34.89 c 6566 34.90 o 26460 34.90 c 6561 34.91 o 26465 34.91 c 6556 34.92 o 26468 34.92 c 6553 34.94 o 26474 34.94 c 6547 34.95 o 26478 34.95 c 6543 34.95 o 26479 34.95 c 6542 34.96 o 26484 34.96 c 6537 34.98 o 26486 34.98 c 6535 34.99 o 26491 34.99 c 6530 35.00 o 26498 35.00 c 6523 35.01 o 26500 35.01 c 6521 35.03 o 26502 35.03 c 6519 35.05 o 26509 35.05 c 6512 35.07 o 26516 35.07 c 6505 35.10 o 26517 35.10 c 6504 35.12 o 26524 35.12 c 6497 35.15 o 26531 35.15 c 6490 35.17 o 26537 35.17 c 6484 35.20 o 26543 35.20 c 6478 35.22 o 26549 35.22 c 6472 35.25 o 26555 35.25 c 6466 35.28 o 26561 35.28 c 6460 35.30 o 26566 35.30 c 6455 35.33 o 26571 35.33 c 6450 35.36 o 26576 35.36 c 6445 35.38 o 26580 35.38 c 6441 35.41 o 26585 35.41 c 6436 35.44 o 26590 35.44 c 6431 35.47 o 26595 35.47 c 6426 35.49 o 26600 35.49 c 6421 35.52 o 26605 35.52 c 6416 35.54 o 26610 35.54 c 6411 35.57 o 26615 35.57 c 6406 35.59 o 26620 35.59 c 6401 35.62 o 26625 35.62 c 6396 35.65 o 26630 35.65 c 6391 35.67 o 26634 35.67 c 6387 35.69 o 26638 35.69 c 6383 35.72 o 26640 35.72 c 6381 35.74 o 26644 35.74 c 6377 35.76 o 26648 35.76 c 6373 35.79 o 26652 35.79 c 6369 35.81 o 26656 35.81 c 6365 35.83 o 26660 35.83 c 6361 35.85 o 26664 35.85 c 6357 35.87 o 26668 35.87 c 6353 35.89 o 26672 35.89 c 6349 35.91 o 26676 35.91 c 6345 35.93 o 26680 35.93 c 6341 35.95 o 26684 35.95 c 6337 35.97 o 26688 35.97 c 6333 35.99 o 26692 35.99 c 6329 36.01 o 26696 36.01 c 6325 36.03 o 26700 36.03 c 6321 36.05 o 26704 36.05 c 6317 36.06 o 26707 36.06 c 6314 36.08 o 26710 36.08 c 6311 36.10 o 26713 36.10 c 6308 36.12 o 26716 36.12 c 6305 36.13 o 26719 36.13 c 6302 36.15 o 26722 36.15 c 6299 36.16 o 26725 36.16 c 6296 36.18 o 26728 36.18 c 6293 36.20 o 26731 36.20 c 6290 36.21 o 26734 36.21 c 6287 36.23 o 26737 36.23 c 6284 36.25 o 26740 36.25 c 6281 36.26 o 26743 36.26 c 6278 36.28 o 26746 36.28 c 6275 36.29 o 26749 36.29 c 6272 36.30 o 26752 36.30 c 6269 36.32 o 26754 36.32 c 6267 36.33 o 26756 36.33 c 6265 36.34 o 26758 36.34 c 6263 36.36 o 26760 36.36 c 6261 36.37 o 26762 36.37 c 6259 36.39 o 26764 36.39 c 6257 36.40 o 26766 36.40 c 6255 36.41 o 26768 36.41 c 6253 36.43 o 26772 36.43 c 6249 36.44 o 26774 36.44 c 6247 36.45 o 26775 36.45 c 6246 36.46 o 26776 36.46 c 6245 36.47 o 26777 36.47 c 6244 36.52 o 26781 36.52 c 6240 36.54 o 26785 36.54 c 6236 36.55 o 26791 36.55 c 6230 36.56 o 26797 36.56 c 6224 36.58 o 26800 36.58 c 6221 36.59 o 26804 36.59 c 6217 36.60 o 26808 36.60 c 6213 36.61 o 26809 36.61 c 6212 36.62 o 26811 36.62 c 6210 36.63 o 26817 36.63 c 6204 36.65 o 26822 36.65 c 6199 36.66 o 26825 36.66 c 6196 36.67 o 26826 36.67 c 6195 36.68 o 26834 36.68 c 6187 36.70 o 26837 36.70 c 6184 36.71 o 26839 36.71 c 6182 36.72 o 26841 36.72 c 6180 36.73 o 26842 36.73 c 6179 36.74 o 26846 36.74 c 6175 36.75 o 26851 36.75 c 6170 36.76 o 26855 36.76 c 6166 36.78 o 26857 36.78 c 6164 36.79 o 26858 36.80 c 6163 36.81 o 26863 36.81 c 6158 36.82 o 26866 36.82 c 6155 36.83 o 26869 36.83 c 6152 36.84 o 26871 36.84 c 6150 36.85 o 26876 36.85 c 6145 36.87 o 26881 36.87 c 6140 36.88 o 26888 36.88 c 6133 36.90 o 26893 36.90 c 6128 36.91 o 26901 36.91 c 6120 36.92 o 26907 36.92 c 6114 36.93 o 26909 36.93 c 6112 36.95 o 26914 36.95 c 6107 36.97 o 26917 36.97 c 6104 36.99 o 26920 36.99 c 6101 37.00 o 26924 37.00 c 6097 37.03 o 26931 37.03 c 6090 37.05 o 26937 37.05 c 6084 37.08 o 26943 37.08 c 6078 37.10 o 26950 37.10 c 6071 37.13 o 26956 37.13 c 6065 37.16 o 26960 37.16 c 6061 37.18 o 26966 37.18 c 6055 37.21 o 26973 37.21 c 6048 37.23 o 26979 37.23 c 6042 37.24 o 26986 37.24 c 6035 37.27 o 26991 37.27 c 6030 37.30 o 26996 37.30 c 6025 37.33 o 27001 37.33 c 6020 37.36 o 27006 37.36 c 6015 37.40 o 27011 37.40 c 6010 37.42 o 27016 37.42 c 6005 37.45 o 27021 37.45 c 6000 37.48 o 27026 37.48 c 5995 37.50 o 27031 37.50 c 5990 37.53 o 27036 37.53 c 5985 37.56 o 27041 37.56 c 5980 37.58 o 27046 37.58 c 5975 37.60 o 27051 37.60 c 5970 37.63 o 27056 37.63 c 5965 37.65 o 27061 37.65 c 5960 37.68 o 27066 37.68 c 5955 37.71 o 27071 37.71 c 5950 37.74 o 27076 37.74 c 5945 37.76 o 27081 37.76 c 5940 37.78 o 27085 37.79 c 5936 37.81 o 27089 37.81 c 5932 37.84 o 27093 37.84 c 5928 37.86 o 27097 37.86 c 5924 37.89 o 27101 37.89 c 5920 37.91 o 27105 37.91 c 5916 37.94 o 27109 37.94 c 5912 37.96 o 27113 37.96 c 5908 37.99 o 27117 37.99 c 5904 38.01 o 27121 38.01 c 5900 38.03 o 27125 38.03 c 5896 38.05 o 27126 38.05 c 5895 38.07 o 27130 38.07 c 5891 38.10 o 27134 38.10 c 5887 38.12 o 27138 38.12 c 5883 38.14 o 27141 38.14 c 5880 38.16 o 27144 38.16 c 5877 38.18 o 27147 38.18 c 5874 38.20 o 27150 38.20 c 5871 38.22 o 27153 38.22 c 5868 38.23 o 27156 38.23 c 5865 38.25 o 27159 38.25 c 5862 38.27 o 27162 38.27 c 5859 38.28 o 27165 38.28 c 5856 38.30 o 27168 38.30 c 5853 38.32 o 27170 38.32 c 5851 38.33 o 27172 38.33 c 5849 38.35 o 27174 38.35 c 5847 38.37 o 27176 38.37 c 5845 38.38 o 27178 38.38 c 5843 38.40 o 27180 38.40 c 5841 38.41 o 27182 38.41 c 5839 38.43 o 27184 38.43 c 5837 38.44 o 27186 38.44 c 5835 38.46 o 27188 38.46 c 5833 38.47 o 27190 38.47 c 5831 38.48 o 27192 38.48 c 5829 38.49 o 27193 38.49 c 5828 38.52 o 27194 38.52 c 5827 38.53 o 27195 38.53 c 5826 38.54 o 27196 38.54 c 5825 38.55 o 27197 38.55 c 5824 38.57 o 27198 38.57 c 5823 38.58 o 27199 38.58 c 5822 38.59 o 27200 38.59 c 5821 38.60 o 27205 38.60 c 5816 38.61 o 27206 38.61 c 5815 38.62 o 27207 38.62 c 5814 38.69 o 27210 38.69 c 5811 38.70 o 27215 38.70 c 5806 38.71 o 27219 38.71 c 5802 38.72 o 27227 38.72 c 5794 38.73 o 27234 38.73 c 5787 38.74 o 27238 38.74 c 5783 38.75 o 27241 38.75 c 5780 38.76 o 27243 38.76 c 5778 38.77 o 27250 38.77 c 5771 38.78 o 27255 38.78 c 5766 38.79 o 27256 38.79 c 5765 38.80 o 27259 38.80 c 5762 38.81 o 27264 38.81 c 5757 38.82 o 27266 38.82 c 5755 38.83 o 27268 38.83 c 5753 38.84 o 27269 38.84 c 5752 38.85 o 27273 38.85 c 5748 38.86 o 27276 38.86 c 5745 38.87 o 27278 38.87 c 5743 38.88 o 27281 38.88 c 5740 38.89 o 27287 38.89 c 5734 38.91 o 27291 38.91 c 5730 38.92 o 27298 38.92 c 5723 38.93 o 27303 38.93 c 5718 38.95 o 27306 38.95 c 5715 38.96 o 27309 38.96 c 5712 38.97 o 27311 38.97 c 5710 38.98 o 27312 38.98 c 5709 38.99 o 27316 38.99 c 5705 39.00 o 27317 39.00 c 5704 39.02 o 27319 39.02 c 5702 39.03 o 27324 39.03 c 5697 39.04 o 27328 39.04 c 5693 39.05 o 27332 39.05 c 5689 39.07 o 27336 39.07 c 5685 39.08 o 27342 39.08 c 5679 39.09 o 27343 39.09 c 5678 39.10 o 27345 39.10 c 5676 39.11 o 27351 39.11 c 5670 39.12 o 27353 39.12 c 5668 39.14 o 27355 39.14 c 5666 39.15 o 27360 39.15 c 5661 39.16 o 27361 39.16 c 5660 39.18 o 27365 39.18 c 5656 39.19 o 27368 39.19 c 5653 39.20 o 27371 39.20 c 5650 39.21 o 27373 39.21 c 5648 39.24 o 27376 39.24 c 5645 39.25 o 27377 39.25 c 5644 39.27 o 27378 39.27 c 5643 39.28 o 27383 39.29 c 5638 39.30 o 27386 39.30 c 5635 39.31 o 27391 39.31 c 5630 39.32 o 27393 39.32 c 5628 39.33 o 27396 39.33 c 5625 39.35 o 27397 39.35 c 5624 39.37 o 27398 39.37 c 5623 39.39 o 27402 39.39 c 5619 39.40 o 27404 39.40 c 5617 39.41 o 27408 39.41 c 5613 39.42 o 27410 39.42 c 5611 39.43 o 27412 39.43 c 5609 39.47 o 27418 39.47 c 5603 39.50 o 27424 39.50 c 5597 39.53 o 27429 39.53 c 5592 39.56 o 27434 39.56 c 5587 39.59 o 27439 39.59 c 5582 39.61 o 27444 39.61 c 5577 39.65 o 27449 39.65 c 5572 39.68 o 27454 39.68 c 5567 39.71 o 27459 39.71 c 5562 39.74 o 27464 39.74 c 5557 39.77 o 27469 39.77 c 5552 39.83 o 27472 39.83 c 5549 39.86 o 27476 39.86 c 5545 39.89 o 27480 39.89 c 5541 39.92 o 27484 39.92 c 5537 39.96 o 27488 39.96 c 5533 39.99 o 27492 39.99 c 5529 40.02 o 27496 40.02 c 5525 40.07 o 27500 40.08 c 5521 40.11 o 27504 40.11 c 5517 40.14 o 27508 40.14 c 5513 40.17 o 27512 40.17 c 5509 40.22 o 27516 40.22 c 5505 40.25 o 27520 40.25 c 5501 40.28 o 27524 40.28 c 5497 40.30 o 27527 40.30 c 5494 40.33 o 27530 40.33 c 5491 40.36 o 27533 40.36 c 5488 40.39 o 27536 40.39 c 5485 40.41 o 27539 40.41 c 5482 40.44 o 27542 40.44 c 5479 40.46 o 27545 40.46 c 5476 40.49 o 27548 40.49 c 5473 40.52 o 27551 40.52 c 5470 40.54 o 27554 40.54 c 5467 40.57 o 27557 40.57 c 5464 40.59 o 27560 40.59 c 5461 40.61 o 27563 40.61 c 5458 40.64 o 27565 40.64 c 5456 40.66 o 27567 40.66 c 5454 40.68 o 27569 40.68 c 5452 40.71 o 27571 40.71 c 5450 40.73 o 27572 40.73 c 5449 40.75 o 27574 40.75 c 5447 40.78 o 27576 40.78 c 5445 40.80 o 27578 40.80 c 5443 40.82 o 27580 40.82 c 5441 40.84 o 27582 40.84 c 5439 40.86 o 27584 40.86 c 5437 40.88 o 27586 40.88 c 5435 40.90 o 27590 40.90 c 5431 40.92 o 27592 40.92 c 5429 40.94 o 27594 40.94 c 5427 40.96 o 27596 40.96 c 5425 40.98 o 27598 40.98 c 5423 41.00 o 27600 41.00 c 5421 41.02 o 27602 41.02 c 5419 41.03 o 27604 41.03 c 5417 41.05 o 27605 41.05 c 5416 41.07 o 27606 41.07 c 5415 41.09 o 27607 41.09 c 5414 41.11 o 27608 41.11 c 5413 41.13 o 27609 41.13 c 5412 41.15 o 27612 41.15 c 5409 41.16 o 27613 41.16 c 5408 41.18 o 27614 41.18 c 5407 41.33 o 27619 41.33 c 5402 41.34 o 27622 41.34 c 5399 41.36 o 27624 41.36 c 5397 41.37 o 27629 41.37 c 5392 41.39 o 27631 41.39 c 5390 41.40 o 27633 41.40 c 5388 41.41 o 27634 41.41 c 5387 41.43 o 27637 41.43 c 5384 41.44 o 27643 41.44 c 5378 41.46 o 27644 41.46 c 5377 41.47 o 27648 41.47 c 5373 41.51 o 27651 41.51 c 5370 41.52 o 27656 41.53 c 5365 41.54 o 27658 41.54 c 5363 41.55 o 27663 41.55 c 5358 41.56 o 27667 41.56 c 5354 41.57 o 27670 41.57 c 5351 41.59 o 27674 41.59 c 5347 41.60 o 27676 41.60 c 5345 41.61 o 27679 41.61 c 5342 41.63 o 27683 41.63 c 5338 41.64 o 27686 41.64 c 5335 41.66 o 27687 41.66 c 5334 41.67 o 27688 41.67 c 5333 41.70 o 27692 41.70 c 5329 41.74 o 27693 41.74 c 5328 41.75 o 27694 41.75 c 5327 41.77 o 27699 41.77 c 5322 41.79 o 27701 41.79 c 5320 41.80 o 27702 41.80 c 5319 41.82 o 27704 41.82 c 5317 41.83 o 27706 41.83 c 5315 41.84 o 27709 41.84 c 5312 41.86 o 27711 41.86 c 5310 41.87 o 27714 41.87 c 5307 41.89 o 27719 41.89 c 5302 41.90 o 27722 41.90 c 5299 41.92 o 27723 41.92 c 5298 41.93 o 27725 41.93 c 5296 41.99 o 27729 41.99 c 5292 42.00 o 27731 42.00 c 5290 42.02 o 27735 42.02 c 5286 42.03 o 27737 42.03 c 5284 42.04 o 27738 42.04 c 5283 42.06 o 27741 42.06 c 5280 42.08 o 27745 42.08 c 5276 42.11 o 27751 42.11 c 5270 42.12 o 27755 42.12 c 5266 42.14 o 27757 42.14 c 5264 42.16 o 27759 42.16 c 5262 42.18 o 27761 42.18 c 5260 42.19 o 27764 42.19 c 5257 42.21 o 27768 42.21 c 5253 42.23 o 27770 42.23 c 5251 42.24 o 27772 42.24 c 5249 42.26 o 27775 42.26 c 5246 42.27 o 27778 42.27 c 5243 42.29 o 27781 42.29 c 5240 42.31 o 27783 42.31 c 5238 42.32 o 27788 42.32 c 5233 42.38 o 27789 42.38 c 5232 42.39 o 27793 42.39 c 5228 42.41 o 27794 42.41 c 5227 42.42 o 27798 42.42 c 5223 42.44 o 27804 42.44 c 5217 42.45 o 27806 42.45 c 5215 42.47 o 27809 42.47 c 5212 42.49 o 27810 42.49 c 5211 42.51 o 27812 42.51 c 5209 42.52 o 27814 42.52 c 5207 42.53 o 27816 42.53 c 5205 42.55 o 27817 42.55 c 5204 42.56 o 27820 42.56 c 5201 42.57 o 27824 42.57 c 5197 42.58 o 27827 42.58 c 5194 42.60 o 27830 42.60 c 5191 42.62 o 27832 42.62 c 5189 42.65 o 27833 42.65 c 5188 42.68 o 27835 42.68 c 5186 42.69 o 27839 42.69 c 5182 42.71 o 27841 42.71 c 5180 42.72 o 27844 42.72 c 5177 42.75 o 27847 42.75 c 5174 42.77 o 27852 42.77 c 5169 42.79 o 27857 42.79 c 5164 42.82 o 27858 42.82 c 5163 42.83 o 27860 42.83 c 5161 42.85 o 27863 42.85 c 5158 42.87 o 27865 42.87 c 5156 42.88 o 27868 42.88 c 5153 42.90 o 27869 42.90 c 5152 42.91 o 27870 42.91 c 5151 42.93 o 27876 42.93 c 5145 42.95 o 27880 42.95 c 5141 42.96 o 27884 42.96 c 5137 42.99 o 27886 42.99 c 5135 43.01 o 27888 43.01 c 5133 43.03 o 27890 43.03 c 5131 43.04 o 27891 43.04 c 5130 43.07 o 27894 43.07 c 5127 43.10 o 27895 43.10 c 5126 43.11 o 27898 43.11 c 5123 43.13 o 27901 43.13 c 5120 43.14 o 27904 43.14 c 5117 43.16 o 27908 43.16 c 5113 43.17 o 27912 43.17 c 5109 43.18 o 27915 43.18 c 5106 43.19 o 27920 43.19 c 5101 43.21 o 27923 43.21 c 5098 43.22 o 27927 43.22 c 5094 43.26 o 27931 43.26 c 5090 43.29 o 27936 43.29 c 5085 43.31 o 27941 43.31 c 5080 43.34 o 27946 43.34 c 5075 43.37 o 27951 43.37 c 5070 43.40 o 27955 43.40 c 5066 43.43 o 27959 43.43 c 5062 43.46 o 27962 43.46 c 5059 43.49 o 27966 43.49 c 5055 43.52 o 27970 43.52 c 5051 43.55 o 27974 43.55 c 5047 43.58 o 27978 43.58 c 5043 43.61 o 27982 43.61 c 5039 43.63 o 27986 43.63 c 5035 43.67 o 27990 43.67 c 5031 43.70 o 27994 43.70 c 5027 43.72 o 27998 43.72 c 5023 43.75 o 27999 43.75 c 5022 43.78 o 28003 43.78 c 5018 43.80 o 28007 43.80 c 5014 43.84 o 28011 43.84 c 5010 43.86 o 28012 43.86 c 5009 43.89 o 28015 43.89 c 5006 43.92 o 28018 43.92 c 5003 43.95 o 28021 43.95 c 5000 43.98 o 28025 43.98 c 4996 44.01 o 28028 44.01 c 4993 44.03 o 28031 44.03 c 4990 44.06 o 28034 44.06 c 4987 44.09 o 28037 44.09 c 4984 44.12 o 28040 44.12 c 4981 44.14 o 28044 44.14 c 4977 44.17 o 28047 44.17 c 4974 44.23 o 28049 44.23 c 4972 44.25 o 28052 44.25 c 4969 44.28 o 28055 44.28 c 4966 44.31 o 28058 44.31 c 4963 44.34 o 28061 44.34 c 4960 44.37 o 28063 44.37 c 4958 44.40 o 28065 44.40 c 4956 44.42 o 28067 44.42 c 4954 44.45 o 28069 44.45 c 4952 44.50 o 28071 44.50 c 4950 44.53 o 28073 44.53 c 4948 44.55 o 28075 44.55 c 4946 44.58 o 28077 44.58 c 4944 44.61 o 28079 44.61 c 4942 44.63 o 28081 44.63 c 4940 44.66 o 28083 44.66 c 4938 44.68 o 28085 44.68 c 4936 44.71 o 28087 44.71 c 4934 44.73 o 28089 44.73 c 4932 44.76 o 28091 44.76 c 4930 44.79 o 28093 44.79 c 4928 44.81 o 28095 44.81 c 4926 44.83 o 28096 44.83 c 4925 44.86 o 28098 44.86 c 4923 44.88 o 28099 44.88 c 4922 44.90 o 28100 44.90 c 4921 44.93 o 28101 44.93 c 4920 44.95 o 28102 44.95 c 4919 44.97 o 28103 44.97 c 4918 44.99 o 28104 44.99 c 4917 45.01 o 28105 45.01 c 4916 45.03 o 28106 45.03 c 4915 45.05 o 28107 45.05 c 4914 45.07 o 28108 45.07 c 4913 45.08 o 28109 45.08 c 4912 45.10 o 28110 45.10 c 4911 45.12 o 28111 45.12 c 4910 45.36 o 28113 45.36 c 4908 45.38 o 28118 45.38 c 4903 45.40 o 28120 45.40 c 4901 45.42 o 28126 45.42 c 4895 45.43 o 28130 45.43 c 4891 45.45 o 28132 45.45 c 4889 45.48 o 28135 45.48 c 4886 45.50 o 28138 45.50 c 4883 45.52 o 28141 45.52 c 4880 45.54 o 28142 45.54 c 4879 45.56 o 28144 45.56 c 4877 45.59 o 28147 45.59 c 4874 45.62 o 28152 45.62 c 4869 45.63 o 28153 45.63 c 4868 45.65 o 28156 45.65 c 4865 45.67 o 28157 45.67 c 4864 45.68 o 28159 45.68 c 4862 45.71 o 28161 45.71 c 4860 45.73 o 28164 45.73 c 4857 45.75 o 28166 45.75 c 4855 45.77 o 28170 45.77 c 4851 45.80 o 28174 45.80 c 4847 45.81 o 28175 45.81 c 4846 45.86 o 28177 45.86 c 4844 45.88 o 28181 45.88 c 4840 45.90 o 28183 45.90 c 4838 45.92 o 28184 45.92 c 4837 45.93 o 28188 45.93 c 4833 45.95 o 28192 45.95 c 4829 45.97 o 28194 45.97 c 4827 45.98 o 28196 45.98 c 4825 46.00 o 28198 46.00 c 4823 46.02 o 28200 46.02 c 4821 46.04 o 28204 46.04 c 4817 46.06 o 28207 46.06 c 4814 46.07 o 28210 46.07 c 4811 46.09 o 28212 46.09 c 4809 46.11 o 28214 46.11 c 4807 46.13 o 28217 46.13 c 4804 46.14 o 28221 46.14 c 4800 46.16 o 28223 46.16 c 4798 46.20 o 28226 46.20 c 4795 46.23 o 28227 46.23 c 4794 46.26 o 28230 46.26 c 4791 46.27 o 28232 46.27 c 4789 46.29 o 28233 46.29 c 4788 46.33 o 28234 46.33 c 4787 46.35 o 28237 46.35 c 4784 46.38 o 28240 46.38 c 4781 46.40 o 28244 46.40 c 4777 46.44 o 28247 46.44 c 4774 46.47 o 28251 46.47 c 4770 46.49 o 28255 46.49 c 4766 46.52 o 28260 46.52 c 4761 46.54 o 28262 46.54 c 4759 46.56 o 28264 46.56 c 4757 46.59 o 28266 46.59 c 4755 46.61 o 28271 46.61 c 4750 46.63 o 28274 46.63 c 4747 46.65 o 28276 46.65 c 4745 46.67 o 28281 46.67 c 4740 46.69 o 28282 46.69 c 4739 46.71 o 28283 46.71 c 4738 46.73 o 28285 46.73 c 4736 46.77 o 28289 46.77 c 4732 46.79 o 28290 46.79 c 4731 46.81 o 28294 46.81 c 4727 46.83 o 28299 46.83 c 4722 46.85 o 28300 46.85 c 4721 46.87 o 28303 46.87 c 4718 46.96 o 28306 46.96 c 4715 46.98 o 28309 46.98 c 4712 47.04 o 28313 47.04 c 4708 47.06 o 28315 47.06 c 4706 47.08 o 28320 47.08 c 4701 47.10 o 28322 47.10 c 4699 47.13 o 28327 47.13 c 4694 47.15 o 28331 47.15 c 4690 47.17 o 28335 47.17 c 4686 47.19 o 28338 47.19 c 4683 47.21 o 28340 47.21 c 4681 47.23 o 28344 47.23 c 4677 47.26 o 28346 47.26 c 4675 47.28 o 28350 47.28 c 4671 47.30 o 28351 47.30 c 4670 47.32 o 28353 47.32 c 4668 47.34 o 28356 47.34 c 4665 47.37 o 28357 47.37 c 4664 47.39 o 28360 47.39 c 4661 47.41 o 28361 47.41 c 4660 47.45 o 28362 47.45 c 4659 47.49 o 28363 47.49 c 4658 47.55 o 28367 47.55 c 4654 47.58 o 28370 47.58 c 4651 47.60 o 28373 47.60 c 4648 47.62 o 28374 47.62 c 4647 47.64 o 28376 47.64 c 4645 47.66 o 28379 47.66 c 4642 47.69 o 28383 47.69 c 4638 47.73 o 28385 47.73 c 4636 47.75 o 28389 47.75 c 4632 47.77 o 28394 47.77 c 4627 47.82 o 28395 47.82 c 4626 47.85 o 28396 47.85 c 4625 47.87 o 28399 47.87 c 4622 47.90 o 28400 47.90 c 4621 47.92 o 28402 47.92 c 4619 47.95 o 28407 47.95 c 4614 48.04 o 28409 48.04 c 4612 48.06 o 28411 48.06 c 4610 48.09 o 28412 48.09 c 4609 48.11 o 28414 48.11 c 4607 48.14 o 28420 48.14 c 4601 48.16 o 28422 48.16 c 4599 48.20 o 28424 48.20 c 4597 48.23 o 28425 48.23 c 4596 48.27 o 28428 48.27 c 4593 48.29 o 28431 48.29 c 4590 48.32 o 28434 48.32 c 4587 48.34 o 28435 48.34 c 4586 48.39 o 28439 48.39 c 4582 48.48 o 28440 48.48 c 4581 48.50 o 28443 48.50 c 4578 48.52 o 28445 48.53 c 4576 48.57 o 28447 48.57 c 4574 48.59 o 28450 48.59 c 4571 48.61 o 28452 48.61 c 4569 48.64 o 28458 48.64 c 4563 48.70 o 28460 48.70 c 4561 48.73 o 28464 48.73 c 4557 48.75 o 28466 48.75 c 4555 48.77 o 28468 48.77 c 4553 48.80 o 28471 48.80 c 4550 48.82 o 28474 48.82 c 4547 48.84 o 28475 48.84 c 4546 48.87 o 28480 48.87 c 4541 48.89 o 28482 48.89 c 4539 48.91 o 28484 48.91 c 4537 48.93 o 28485 48.93 c 4536 48.95 o 28489 48.95 c 4532 48.99 o 28492 48.99 c 4529 49.02 o 28493 49.02 c 4528 49.05 o 28498 49.05 c 4523 49.07 o 28499 49.07 c 4522 49.13 o 28500 49.13 c 4521 49.16 o 28503 49.16 c 4518 49.18 o 28508 49.18 c 4513 49.20 o 28509 49.20 c 4512 49.24 o 28510 49.24 c 4511 49.26 o 28515 49.26 c 4506 49.29 o 28518 49.29 c 4503 49.31 o 28522 49.31 c 4499 49.33 o 28524 49.33 c 4497 49.35 o 28528 49.35 c 4493 49.39 o 28529 49.39 c 4492 49.42 o 28531 49.42 c 4490 49.44 o 28532 49.44 c 4489 49.46 o 28534 49.46 c 4487 49.48 o 28535 49.48 c 4486 49.51 o 28541 49.51 c 4480 49.53 o 28542 49.53 c 4479 49.58 o 28546 49.58 c 4475 49.60 o 28547 49.60 c 4474 49.62 o 28549 49.62 c 4472 49.65 o 28552 49.65 c 4469 49.67 o 28555 49.67 c 4466 49.70 o 28556 49.70 c 4465 49.72 o 28558 49.72 c 4463 49.76 o 28559 49.76 c 4462 49.82 o 28564 49.82 c 4457 49.90 o 28567 49.90 c 4454 49.96 o 28571 49.96 c 4450 49.98 o 28574 49.98 c 4447 50.03 o 28576 50.03 c 4445 50.07 o 28579 50.07 c 4442 50.10 o 28580 50.10 c 4441 50.14 o 28582 50.14 c 4439 50.18 o 28585 50.18 c 4436 50.21 o 28588 50.21 c 4433 50.25 o 28591 50.25 c 4430 50.29 o 28594 50.29 c 4427 50.33 o 28597 50.33 c 4424 50.36 o 28599 50.37 c 4422 50.39 o 28600 50.39 c 4421 50.43 o 28603 50.43 c 4418 50.46 o 28606 50.46 c 4415 50.50 o 28608 50.50 c 4413 50.56 o 28611 50.56 c 4410 50.60 o 28614 50.60 c 4407 50.63 o 28616 50.63 c 4405 50.67 o 28618 50.67 c 4403 50.71 o 28620 50.71 c 4401 50.74 o 28621 50.74 c 4400 50.77 o 28623 50.77 c 4398 50.81 o 28625 50.81 c 4396 50.84 o 28627 50.84 c 4394 50.88 o 28629 50.88 c 4392 50.91 o 28631 50.91 c 4390 50.95 o 28633 50.95 c 4388 51.02 o 28634 51.02 c 4387 51.05 o 28636 51.05 c 4385 51.09 o 28638 51.09 c 4383 51.12 o 28640 51.12 c 4381 51.16 o 28642 51.16 c 4379 51.19 o 28644 51.19 c 4377 51.22 o 28645 51.22 c 4376 51.26 o 28646 51.26 c 4375 51.30 o 28647 51.30 c 4374 51.33 o 28648 51.33 c 4373 51.36 o 28649 51.36 c 4372 51.40 o 28650 51.40 c 4371 51.43 o 28651 51.43 c 4370 51.46 o 28652 51.46 c 4369 51.49 o 28653 51.49 c 4368 51.52 o 28654 51.52 c 4367 51.55 o 28655 51.55 c 4366 51.58 o 28656 51.58 c 4365 51.61 o 28657 51.61 c 4364 51.64 o 28658 51.64 c 4363 51.67 o 28659 51.67 c 4362 51.70 o 28660 51.70 c 4361 51.81 o 28663 51.81 c 4358 51.91 o 28665 51.91 c 4356 52.35 o 28668 52.35 c 4353 52.37 o 28672 52.37 c 4349 52.40 o 28673 52.40 c 4348 52.45 o 28675 52.45 c 4346 52.49 o 28677 52.49 c 4344 52.51 o 28678 52.51 c 4343 52.55 o 28680 52.55 c 4341 52.57 o 28683 52.57 c 4338 52.62 o 28685 52.62 c 4336 52.64 o 28689 52.64 c 4332 52.66 o 28693 52.66 c 4328 52.68 o 28694 52.68 c 4327 52.70 o 28695 52.70 c 4326 52.74 o 28696 52.74 c 4325 52.77 o 28699 52.77 c 4322 52.79 o 28702 52.79 c 4319 52.84 o 28705 52.84 c 4316 52.88 o 28706 52.88 c 4315 52.91 o 28710 52.91 c 4311 53.00 o 28711 53.00 c 4310 53.02 o 28712 53.02 c 4309 53.04 o 28716 53.04 c 4305 53.06 o 28718 53.06 c 4303 53.09 o 28720 53.09 c 4301 53.12 o 28721 53.12 c 4300 53.14 o 28723 53.14 c 4298 53.16 o 28726 53.16 c 4295 53.19 o 28727 53.19 c 4294 53.22 o 28728 53.22 c 4293 53.24 o 28730 53.24 c 4291 53.27 o 28732 53.27 c 4289 53.29 o 28733 53.29 c 4288 53.32 o 28735 53.32 c 4286 53.35 o 28736 53.35 c 4285 53.37 o 28737 53.37 c 4284 53.40 o 28738 53.40 c 4283 53.43 o 28740 53.43 c 4281 53.48 o 28742 53.48 c 4279 53.51 o 28743 53.51 c 4278 53.55 o 28745 53.55 c 4276 53.58 o 28746 53.58 c 4275 53.61 o 28748 53.61 c 4273 53.64 o 28749 53.64 c 4272 53.69 o 28751 53.69 c 4270 53.72 o 28754 53.72 c 4267 53.75 o 28758 53.75 c 4263 53.80 o 28759 53.80 c 4262 53.83 o 28763 53.83 c 4258 53.86 o 28768 53.86 c 4253 53.95 o 28770 53.95 c 4251 54.00 o 28773 54.00 c 4248 54.03 o 28774 54.03 c 4247 54.06 o 28775 54.06 c 4246 54.14 o 28776 54.14 c 4245 54.25 o 28779 54.25 c 4242 54.27 o 28785 54.27 c 4236 54.41 o 28787 54.41 c 4234 54.44 o 28790 54.44 c 4231 54.49 o 28793 54.49 c 4228 54.54 o 28795 54.54 c 4226 54.57 o 28796 54.57 c 4225 54.60 o 28800 54.60 c 4221 54.66 o 28803 54.66 c 4218 54.69 o 28807 54.69 c 4214 54.74 o 28808 54.74 c 4213 54.77 o 28810 54.77 c 4211 54.80 o 28811 54.80 c 4210 54.83 o 28814 54.83 c 4207 54.90 o 28815 54.90 c 4206 54.93 o 28816 54.93 c 4205 55.01 o 28818 55.01 c 4203 55.03 o 28820 55.03 c 4201 55.06 o 28822 55.06 c 4199 55.09 o 28824 55.09 c 4197 55.14 o 28825 55.14 c 4196 55.17 o 28826 55.17 c 4195 55.22 o 28827 55.22 c 4194 55.24 o 28828 55.24 c 4193 55.34 o 28832 55.34 c 4189 55.36 o 28833 55.36 c 4188 55.39 o 28835 55.39 c 4186 55.46 o 28838 55.46 c 4183 55.49 o 28843 55.49 c 4178 55.57 o 28845 55.57 c 4176 55.63 o 28846 55.63 c 4175 55.66 o 28847 55.66 c 4174 55.68 o 28848 55.68 c 4173 55.71 o 28849 55.71 c 4172 55.74 o 28850 55.74 c 4171 55.76 o 28852 55.76 c 4169 55.79 o 28854 55.79 c 4167 55.82 o 28855 55.82 c 4166 55.85 o 28857 55.85 c 4164 55.88 o 28858 55.88 c 4163 55.90 o 28861 55.90 c 4160 55.93 o 28862 55.93 c 4159 55.95 o 28865 55.95 c 4156 55.98 o 28866 55.98 c 4155 56.20 o 28869 56.20 c 4152 56.23 o 28871 56.23 c 4150 56.26 o 28873 56.26 c 4148 56.31 o 28878 56.31 c 4143 56.37 o 28880 56.37 c 4141 56.40 o 28883 56.40 c 4138 56.46 o 28886 56.46 c 4135 56.49 o 28888 56.49 c 4133 56.52 o 28889 56.52 c 4132 56.57 o 28891 56.57 c 4130 56.60 o 28892 56.60 c 4129 56.66 o 28893 56.66 c 4128 56.69 o 28894 56.69 c 4127 56.72 o 28897 56.72 c 4124 56.78 o 28899 56.78 c 4122 56.81 o 28901 56.81 c 4120 56.88 o 28902 56.88 c 4119 56.91 o 28905 56.91 c 4116 56.95 o 28907 56.95 c 4114 56.98 o 28908 56.98 c 4113 57.04 o 28910 57.04 c 4111 57.07 o 28912 57.07 c 4109 57.14 o 28917 57.14 c 4104 57.16 o 28920 57.16 c 4101 57.19 o 28923 57.19 c 4098 57.22 o 28926 57.22 c 4095 57.28 o 28927 57.28 c 4094 57.34 o 28928 57.34 c 4093 57.38 o 28931 57.38 c 4090 57.44 o 28933 57.44 c 4088 57.47 o 28937 57.47 c 4084 57.50 o 28939 57.50 c 4082 57.54 o 28942 57.54 c 4079 57.57 o 28945 57.57 c 4076 57.60 o 28946 57.60 c 4075 57.63 o 28948 57.63 c 4073 57.66 o 28949 57.66 c 4072 57.70 o 28951 57.70 c 4070 57.73 o 28954 57.73 c 4067 57.77 o 28959 57.77 c 4062 57.80 o 28962 57.80 c 4059 57.86 o 28965 57.86 c 4056 57.89 o 28967 57.89 c 4054 58.04 o 28970 58.04 c 4051 58.11 o 28971 58.11 c 4050 58.14 o 28973 58.14 c 4048 58.18 o 28976 58.18 c 4045 58.24 o 28979 58.24 c 4042 58.27 o 28981 58.27 c 4040 58.33 o 28982 58.33 c 4039 58.36 o 28983 58.36 c 4038 58.39 o 28987 58.39 c 4034 58.43 o 28988 58.43 c 4033 58.46 o 28990 58.46 c 4031 58.49 o 28996 58.49 c 4025 58.52 o 28997 58.52 c 4024 58.64 o 28999 58.64 c 4022 58.71 o 29000 58.71 c 4021 58.74 o 29001 58.74 c 4020 58.77 o 29002 58.77 c 4019 58.80 o 29005 58.80 c 4016 58.83 o 29007 58.83 c 4014 58.87 o 29008 58.87 c 4013 58.90 o 29010 58.90 c 4011 58.94 o 29012 58.94 c 4009 59.09 o 29014 59.09 c 4007 59.12 o 29016 59.12 c 4005 59.14 o 29018 59.14 c 4003 59.17 o 29023 59.17 c 3998 59.23 o 29024 59.23 c 3997 59.34 o 29027 59.34 c 3994 59.37 o 29033 59.37 c 3988 59.43 o 29036 59.43 c 3985 59.46 o 29039 59.46 c 3982 59.49 o 29041 59.49 c 3980 59.53 o 29043 59.53 c 3978 59.64 o 29044 59.64 c 3977 59.67 o 29046 59.67 c 3975 59.70 o 29049 59.70 c 3972 59.73 o 29050 59.73 c 3971 59.79 o 29051 59.79 c 3970 59.84 o 29052 59.84 c 3969 59.87 o 29055 59.87 c 3966 59.96 o 29058 59.96 c 3963 59.99 o 29061 59.99 c 3960 60.08 o 29064 60.08 c 3957 60.17 o 29066 60.17 c 3955 60.19 o 29067 60.19 c 3954 60.22 o 29068 60.22 c 3953 60.25 o 29071 60.25 c 3950 60.28 o 29073 60.28 c 3948 60.31 o 29077 60.31 c 3944 60.34 o 29079 60.34 c 3942 60.37 o 29080 60.37 c 3941 60.43 o 29082 60.43 c 3939 60.46 o 29083 60.46 c 3938 60.49 o 29086 60.49 c 3935 60.51 o 29087 60.51 c 3934 60.60 o 29089 60.60 c 3932 60.63 o 29092 60.63 c 3929 60.65 o 29094 60.65 c 3927 60.68 o 29095 60.68 c 3926 60.74 o 29097 60.74 c 3924 60.80 o 29098 60.80 c 3923 60.83 o 29099 60.83 c 3922 60.87 o 29100 60.87 c 3921 60.90 o 29102 60.90 c 3919 60.94 o 29104 60.94 c 3917 60.97 o 29106 60.97 c 3915 61.01 o 29109 61.01 c 3912 61.05 o 29112 61.05 c 3909 61.09 o 29115 61.09 c 3906 61.14 o 29118 61.14 c 3903 61.18 o 29120 61.18 c 3901 61.21 o 29123 61.21 c 3898 61.29 o 29126 61.29 c 3895 61.33 o 29128 61.33 c 3893 61.37 o 29130 61.37 c 3891 61.41 o 29132 61.41 c 3889 61.45 o 29134 61.45 c 3887 61.50 o 29136 61.50 c 3885 61.54 o 29138 61.54 c 3883 61.58 o 29141 61.58 c 3880 61.62 o 29143 61.62 c 3878 61.66 o 29145 61.66 c 3876 61.70 o 29147 61.70 c 3874 61.74 o 29149 61.74 c 3872 61.78 o 29151 61.78 c 3870 61.82 o 29153 61.82 c 3868 61.86 o 29155 61.86 c 3866 61.90 o 29157 61.90 c 3864 61.94 o 29158 61.94 c 3863 61.98 o 29159 61.98 c 3862 62.02 o 29160 62.02 c 3861 62.06 o 29161 62.06 c 3860 62.10 o 29162 62.10 c 3859 62.14 o 29163 62.14 c 3858 62.18 o 29164 62.18 c 3857 62.21 o 29165 62.21 c 3856 62.25 o 29166 62.25 c 3855 62.30 o 29167 62.30 c 3854 62.34 o 29168 62.34 c 3853 62.37 o 29169 62.37 c 3852 62.41 o 29170 62.41 c 3851 62.45 o 29171 62.45 c 3850 62.52 o 29172 62.52 c 3849 62.56 o 29173 62.56 c 3848 62.60 o 29174 62.60 c 3847 62.85 o 29177 62.85 c 3844 63.01 o 29179 63.01 c 3842 63.08 o 29181 63.08 c 3840 63.61 o 29182 63.61 c 3839 63.75 o 29183 63.75 c 3838 63.79 o 29185 63.79 c 3836 63.86 o 29187 63.86 c 3834 63.89 o 29190 63.89 c 3831 63.93 o 29191 63.93 c 3830 63.96 o 29193 63.96 c 3828 64.00 o 29195 64.00 c 3826 64.03 o 29196 64.03 c 3825 64.07 o 29198 64.07 c 3823 64.10 o 29201 64.10 c 3820 64.21 o 29202 64.21 c 3819 64.24 o 29204 64.24 c 3817 64.28 o 29207 64.28 c 3814 64.31 o 29210 64.31 c 3811 64.34 o 29211 64.34 c 3810 64.38 o 29212 64.38 c 3809 64.39 o 29213 64.39 c 3808 64.42 o 29214 64.42 c 3807 64.53 o 29216 64.53 c 3805 64.61 o 29217 64.61 c 3804 64.84 o 29223 64.84 c 3798 64.88 o 29225 64.88 c 3796 64.92 o 29228 64.92 c 3793 64.99 o 29229 64.99 c 3792 65.03 o 29233 65.03 c 3788 65.07 o 29234 65.07 c 3787 65.14 o 29235 65.14 c 3786 65.24 o 29237 65.24 c 3784 65.34 o 29239 65.34 c 3782 65.41 o 29241 65.41 c 3780 65.55 o 29244 65.55 c 3777 65.58 o 29247 65.58 c 3774 65.62 o 29249 65.62 c 3772 65.66 o 29251 65.66 c 3770 65.73 o 29252 65.73 c 3769 65.77 o 29254 65.77 c 3767 65.81 o 29255 65.81 c 3766 65.84 o 29259 65.84 c 3762 65.88 o 29260 65.88 c 3761 66.00 o 29261 66.00 c 3760 66.04 o 29263 66.04 c 3758 66.07 o 29264 66.07 c 3757 66.11 o 29265 66.11 c 3756 66.15 o 29266 66.15 c 3755 66.19 o 29267 66.19 c 3754 66.31 o 29269 66.31 c 3752 66.38 o 29271 66.38 c 3750 66.42 o 29274 66.42 c 3747 66.46 o 29278 66.46 c 3743 66.49 o 29281 66.49 c 3740 66.53 o 29283 66.53 c 3738 66.57 o 29287 66.57 c 3734 66.61 o 29288 66.61 c 3733 66.64 o 29289 66.64 c 3732 66.69 o 29293 66.69 c 3728 66.72 o 29295 66.72 c 3726 66.88 o 29297 66.88 c 3724 66.92 o 29299 66.92 c 3722 66.96 o 29300 66.96 c 3721 67.00 o 29305 67.00 c 3716 67.04 o 29306 67.04 c 3715 67.07 o 29308 67.07 c 3713 67.11 o 29310 67.11 c 3711 67.15 o 29312 67.15 c 3709 67.19 o 29313 67.19 c 3708 67.32 o 29314 67.32 c 3707 67.35 o 29316 67.35 c 3705 67.39 o 29319 67.39 c 3702 67.42 o 29320 67.42 c 3701 67.56 o 29324 67.56 c 3697 67.64 o 29326 67.64 c 3695 67.67 o 29328 67.67 c 3693 67.71 o 29329 67.71 c 3692 67.75 o 29333 67.75 c 3688 67.82 o 29334 67.82 c 3687 67.90 o 29335 67.90 c 3686 68.15 o 29337 68.15 c 3684 68.30 o 29338 68.30 c 3683 68.33 o 29339 68.33 c 3682 68.44 o 29340 68.44 c 3681 68.52 o 29341 68.52 c 3680 68.55 o 29345 68.55 c 3676 68.59 o 29346 68.59 c 3675 68.66 o 29348 68.66 c 3673 68.69 o 29349 68.69 c 3672 68.77 o 29351 68.77 c 3670 68.80 o 29355 68.80 c 3666 68.84 o 29356 68.84 c 3665 68.91 o 29358 68.91 c 3663 68.98 o 29359 68.98 c 3662 69.02 o 29360 69.02 c 3661 69.24 o 29363 69.24 c 3658 69.27 o 29365 69.27 c 3656 69.31 o 29367 69.31 c 3654 69.39 o 29369 69.39 c 3652 69.43 o 29371 69.43 c 3650 69.47 o 29372 69.47 c 3649 69.50 o 29373 69.50 c 3648 69.54 o 29376 69.54 c 3645 69.72 o 29379 69.72 c 3642 69.82 o 29380 69.82 c 3641 69.86 o 29383 69.86 c 3638 69.89 o 29384 69.89 c 3637 69.96 o 29385 69.96 c 3636 70.03 o 29387 70.03 c 3634 70.06 o 29388 70.06 c 3633 70.10 o 29392 70.10 c 3629 70.13 o 29393 70.13 c 3628 70.21 o 29395 70.21 c 3626 70.25 o 29398 70.25 c 3623 70.28 o 29399 70.28 c 3622 70.43 o 29402 70.43 c 3619 70.46 o 29403 70.46 c 3618 70.50 o 29406 70.50 c 3615 70.54 o 29408 70.54 c 3613 70.58 o 29409 70.58 c 3612 70.65 o 29414 70.65 c 3607 70.69 o 29415 70.69 c 3606 70.73 o 29418 70.73 c 3603 70.76 o 29420 70.76 c 3601 70.87 o 29421 70.87 c 3600 71.02 o 29422 71.02 c 3599 71.06 o 29423 71.06 c 3598 71.10 o 29424 71.10 c 3597 71.18 o 29427 71.18 c 3594 71.25 o 29430 71.25 c 3591 71.32 o 29433 71.32 c 3588 71.36 o 29434 71.36 c 3587 71.40 o 29437 71.40 c 3584 71.44 o 29439 71.44 c 3582 71.48 o 29443 71.48 c 3578 71.51 o 29445 71.51 c 3576 71.55 o 29446 71.55 c 3575 71.59 o 29450 71.59 c 3571 71.63 o 29451 71.63 c 3570 71.67 o 29452 71.67 c 3569 71.89 o 29454 71.89 c 3567 71.93 o 29456 71.93 c 3565 71.97 o 29457 71.97 c 3564 72.01 o 29462 72.01 c 3559 72.04 o 29464 72.04 c 3557 72.08 o 29467 72.08 c 3554 72.12 o 29468 72.12 c 3553 72.16 o 29472 72.16 c 3549 72.19 o 29474 72.19 c 3547 72.23 o 29475 72.23 c 3546 72.27 o 29477 72.27 c 3544 72.34 o 29478 72.34 c 3543 72.39 o 29479 72.39 c 3542 72.58 o 29480 72.58 c 3541 72.62 o 29481 72.62 c 3540 72.66 o 29483 72.66 c 3538 72.73 o 29484 72.73 c 3537 72.81 o 29485 72.81 c 3536 72.85 o 29486 72.85 c 3535 72.89 o 29487 72.89 c 3534 72.93 o 29490 72.93 c 3531 72.97 o 29492 72.97 c 3529 73.05 o 29493 73.05 c 3528 73.09 o 29496 73.09 c 3525 73.13 o 29497 73.13 c 3524 73.17 o 29499 73.17 c 3522 73.21 o 29500 73.21 c 3521 73.25 o 29501 73.25 c 3520 73.29 o 29503 73.29 c 3518 73.33 o 29505 73.33 c 3516 73.37 o 29506 73.37 c 3515 73.48 o 29508 73.48 c 3513 73.52 o 29512 73.52 c 3509 73.56 o 29515 73.56 c 3506 73.68 o 29516 73.68 c 3505 73.95 o 29517 73.95 c 3504 73.99 o 29519 73.99 c 3502 74.12 o 29520 74.12 c 3501 74.16 o 29521 74.16 c 3500 74.20 o 29522 74.20 c 3499 74.27 o 29523 74.27 c 3498 74.35 o 29524 74.35 c 3497 74.47 o 29525 74.47 c 3496 74.51 o 29526 74.51 c 3495 74.55 o 29527 74.55 c 3494 74.59 o 29529 74.59 c 3492 74.63 o 29530 74.63 c 3491 74.67 o 29532 74.67 c 3489 74.70 o 29534 74.70 c 3487 74.80 o 29537 74.80 c 3484 74.84 o 29539 74.84 c 3482 74.88 o 29540 74.88 c 3481 75.03 o 29541 75.03 c 3480 75.25 o 29543 75.25 c 3478 75.38 o 29546 75.38 c 3475 75.47 o 29547 75.47 c 3474 75.55 o 29548 75.55 c 3473 75.59 o 29549 75.59 c 3472 75.67 o 29551 75.67 c 3470 75.71 o 29554 75.71 c 3467 75.76 o 29555 75.76 c 3466 75.80 o 29556 75.80 c 3465 75.97 o 29558 75.97 c 3463 76.02 o 29560 76.02 c 3461 76.06 o 29562 76.06 c 3459 76.10 o 29565 76.10 c 3456 76.15 o 29567 76.15 c 3454 76.20 o 29569 76.20 c 3452 76.24 o 29570 76.24 c 3451 76.28 o 29575 76.28 c 3446 76.45 o 29577 76.45 c 3444 76.49 o 29579 76.49 c 3442 76.57 o 29581 76.57 c 3440 76.73 o 29582 76.73 c 3439 76.77 o 29586 76.77 c 3435 76.92 o 29587 76.92 c 3434 76.96 o 29589 76.96 c 3432 77.00 o 29590 77.00 c 3431 77.32 o 29591 77.32 c 3430 77.37 o 29592 77.37 c 3429 77.45 o 29593 77.45 c 3428 77.61 o 29594 77.61 c 3427 77.65 o 29596 77.65 c 3425 77.69 o 29598 77.69 c 3423 77.73 o 29599 77.74 c 3422 77.78 o 29600 77.78 c 3421 77.82 o 29606 77.82 c 3415 77.86 o 29609 77.86 c 3412 77.95 o 29612 77.95 c 3409 77.99 o 29615 77.99 c 3406 78.03 o 29617 78.03 c 3404 78.54 o 29618 78.54 c 3403 78.58 o 29619 78.58 c 3402 78.63 o 29621 78.63 c 3400 78.68 o 29622 78.68 c 3399 78.77 o 29623 78.77 c 3398 78.82 o 29624 78.82 c 3397 79.06 o 29625 79.06 c 3396 79.11 o 29627 79.11 c 3394 79.15 o 29629 79.15 c 3392 79.20 o 29630 79.20 c 3391 79.26 o 29635 79.26 c 3386 79.36 o 29638 79.36 c 3383 79.40 o 29639 79.40 c 3382 79.50 o 29640 79.50 c 3381 79.55 o 29641 79.55 c 3380 79.60 o 29643 79.60 c 3378 79.65 o 29645 79.65 c 3376 79.69 o 29649 79.70 c 3372 79.74 o 29650 79.74 c 3371 79.79 o 29653 79.79 c 3368 79.84 o 29654 79.84 c 3367 79.97 o 29656 79.97 c 3365 80.16 o 29657 80.16 c 3364 80.21 o 29660 80.21 c 3361 80.26 o 29662 80.26 c 3359 80.44 o 29665 80.44 c 3356 80.53 o 29669 80.53 c 3352 80.58 o 29671 80.58 c 3350 80.63 o 29674 80.63 c 3347 80.72 o 29675 80.72 c 3346 80.77 o 29677 80.77 c 3344 80.91 o 29679 80.91 c 3342 80.95 o 29681 80.96 c 3340 81.00 o 29684 81.00 c 3337 81.05 o 29685 81.05 c 3336 81.09 o 29690 81.09 c 3331 81.14 o 29692 81.14 c 3329 81.19 o 29694 81.19 c 3327 81.23 o 29695 81.23 c 3326 81.28 o 29696 81.28 c 3325 81.33 o 29698 81.33 c 3323 81.43 o 29699 81.43 c 3322 81.52 o 29701 81.52 c 3320 81.57 o 29703 81.57 c 3318 81.62 o 29706 81.62 c 3315 81.67 o 29709 81.67 c 3312 81.80 o 29710 81.80 c 3311 81.85 o 29712 81.85 c 3309 81.90 o 29713 81.90 c 3308 81.94 o 29714 81.94 c 3307 82.07 o 29716 82.07 c 3305 82.12 o 29719 82.12 c 3302 82.21 o 29720 82.21 c 3301 82.25 o 29722 82.25 c 3299 82.30 o 29725 82.30 c 3296 82.60 o 29726 82.60 c 3295 82.70 o 29727 82.70 c 3294 82.75 o 29728 82.75 c 3293 83.03 o 29729 83.03 c 3292 83.07 o 29731 83.07 c 3290 83.12 o 29732 83.12 c 3289 83.35 o 29735 83.36 c 3286 83.40 o 29737 83.40 c 3284 83.45 o 29738 83.45 c 3283 83.50 o 29741 83.50 c 3280 83.60 o 29742 83.60 c 3279 83.65 o 29743 83.65 c 3278 83.70 o 29745 83.70 c 3276 83.75 o 29747 83.75 c 3274 83.86 o 29749 83.86 c 3272 84.08 o 29751 84.08 c 3270 84.13 o 29755 84.13 c 3266 84.18 o 29756 84.18 c 3265 84.36 o 29758 84.36 c 3263 84.41 o 29759 84.41 c 3262 84.46 o 29760 84.46 c 3261 84.55 o 29762 84.55 c 3259 84.70 o 29764 84.70 c 3257 84.75 o 29765 84.75 c 3256 84.80 o 29767 84.80 c 3254 84.86 o 29769 84.86 c 3252 84.92 o 29771 84.92 c 3250 84.97 o 29774 84.97 c 3247 85.01 o 29775 85.01 c 3246 85.07 o 29777 85.07 c 3244 85.12 o 29779 85.12 c 3242 85.17 o 29781 85.17 c 3240 85.23 o 29783 85.23 c 3238 85.28 o 29784 85.28 c 3237 85.47 o 29787 85.47 c 3234 85.52 o 29788 85.52 c 3233 85.56 o 29789 85.56 c 3232 85.66 o 29792 85.66 c 3229 85.71 o 29795 85.71 c 3226 85.80 o 29796 85.80 c 3225 85.91 o 29798 85.91 c 3223 85.96 o 29800 85.96 c 3221 86.06 o 29803 86.06 c 3218 86.11 o 29805 86.11 c 3216 86.16 o 29807 86.16 c 3214 86.22 o 29808 86.22 c 3213 86.27 o 29809 86.27 c 3212 86.33 o 29810 86.33 c 3211 86.39 o 29811 86.39 c 3210 86.44 o 29812 86.44 c 3209 86.50 o 29813 86.50 c 3208 86.55 o 29816 86.55 c 3205 86.60 o 29820 86.60 c 3201 86.66 o 29821 86.66 c 3200 86.71 o 29822 86.71 c 3199 86.76 o 29823 86.76 c 3198 86.82 o 29824 86.82 c 3197 86.87 o 29826 86.87 c 3195 86.92 o 29828 86.92 c 3193 86.98 o 29829 86.98 c 3192 87.03 o 29830 87.03 c 3191 87.08 o 29831 87.08 c 3190 87.24 o 29834 87.24 c 3187 87.34 o 29836 87.34 c 3185 87.56 o 29839 87.56 c 3182 87.61 o 29841 87.61 c 3180 89.07 o 29844 89.07 c 3177 89.12 o 29846 89.12 c 3175 89.17 o 29849 89.17 c 3172 89.25 o 29850 89.25 c 3171 89.40 o 29852 89.40 c 3169 89.47 o 29854 89.47 c 3167 89.74 o 29855 89.74 c 3166 89.80 o 29856 89.80 c 3165 89.85 o 29859 89.85 c 3162 89.91 o 29862 89.91 c 3159 90.07 o 29863 90.07 c 3158 90.12 o 29865 90.12 c 3156 90.23 o 29866 90.23 c 3155 90.44 o 29869 90.44 c 3152 90.55 o 29870 90.55 c 3151 90.61 o 29872 90.61 c 3149 90.71 o 29873 90.71 c 3148 90.82 o 29874 90.82 c 3147 90.87 o 29875 90.87 c 3146 90.93 o 29877 90.93 c 3144 90.98 o 29878 90.98 c 3143 91.03 o 29881 91.03 c 3140 91.08 o 29884 91.09 c 3137 91.14 o 29886 91.14 c 3135 91.35 o 29888 91.35 c 3133 91.40 o 29889 91.40 c 3132 91.45 o 29891 91.45 c 3130 91.61 o 29892 91.61 c 3129 91.92 o 29893 91.92 c 3128 91.97 o 29897 91.97 c 3124 92.03 o 29899 92.03 c 3122 92.08 o 29900 92.08 c 3121 92.80 o 29901 92.80 c 3120 92.86 o 29902 92.86 c 3119 92.92 o 29903 92.92 c 3118 92.97 o 29904 92.97 c 3117 93.13 o 29905 93.13 c 3116 93.19 o 29908 93.19 c 3113 93.24 o 29909 93.24 c 3112 93.82 o 29910 93.82 c 3111 94.18 o 29911 94.18 c 3110 94.24 o 29912 94.24 c 3109 94.35 o 29913 94.35 c 3108 94.46 o 29915 94.46 c 3106 94.51 o 29916 94.51 c 3105 94.72 o 29919 94.72 c 3102 94.78 o 29920 94.78 c 3101 94.83 o 29921 94.83 c 3100 94.88 o 29923 94.88 c 3098 95.04 o 29925 95.04 c 3096 95.25 o 29926 95.25 c 3095 95.35 o 29929 95.35 c 3092 95.40 o 29930 95.40 c 3091 95.46 o 29932 95.46 c 3089 95.61 o 29933 95.61 c 3088 95.66 o 29934 95.66 c 3087 95.71 o 29936 95.71 c 3085 95.76 o 29938 95.76 c 3083 95.81 o 29939 95.81 c 3082 95.86 o 29942 95.86 c 3079 96.02 o 29944 96.02 c 3077 96.07 o 29945 96.07 c 3076 96.22 o 29948 96.22 c 3073 96.60 o 29949 96.60 c 3072 96.70 o 29950 96.70 c 3071 96.75 o 29954 96.75 c 3067 96.84 o 29955 96.84 c 3066 96.89 o 29956 96.89 c 3065 96.93 o 29957 96.93 c 3064 97.03 o 29958 97.03 c 3063 97.11 o 29961 97.11 c 3060 97.20 o 29963 97.20 c 3058 97.38 o 29964 97.38 c 3057 97.43 o 29967 97.43 c 3054 97.66 o 29972 97.66 c 3049 98.08 o 29973 98.08 c 3048 98.13 o 29974 98.13 c 3047 98.18 o 29976 98.18 c 3045 98.28 o 29978 98.28 c 3043 98.33 o 29979 98.33 c 3042 98.94 o 29982 98.94 c 3039 98.99 o 29983 98.99 c 3038 99.04 o 29984 99.04 c 3037 99.09 o 29987 99.09 c 3034 99.84 o 29989 99.84 c 3032 99.89 o 29990 99.89 c 3031 99.95 o 29991 99.95 c 3030 100.01 o 29993 100.01 c 3028 100.15 o 29994 100.15 c 3027 100.26 o 29995 100.26 c 3026 100.32 o 29996 100.32 c 3025 100.43 o 29999 100.43 c 3022 100.49 o 30000 100.49 c 3021 100.55 o 30003 100.55 c 3018 100.61 o 30005 100.61 c 3016 100.67 o 30007 100.67 c 3014 100.73 o 30008 100.73 c 3013 100.79 o 30012 100.79 c 3009 101.03 o 30013 101.03 c 3008 101.10 o 30014 101.10 c 3007 101.61 o 30016 101.61 c 3005 101.92 o 30020 101.92 c 3001 102.10 o 30021 102.10 c 3000 102.15 o 30022 102.15 c 2999 102.27 o 30024 102.27 c 2997 102.34 o 30027 102.34 c 2994 102.40 o 30032 102.40 c 2989 102.45 o 30035 102.46 c 2986 102.57 o 30037 102.57 c 2984 102.63 o 30038 102.63 c 2983 102.69 o 30041 102.69 c 2980 102.81 o 30042 102.81 c 2979 102.87 o 30043 102.87 c 2978 102.93 o 30044 102.93 c 2977 103.00 o 30046 103.00 c 2975 103.06 o 30047 103.06 c 2974 103.13 o 30048 103.13 c 2973 103.19 o 30049 103.19 c 2972 103.25 o 30050 103.25 c 2971 103.32 o 30051 103.32 c 2970 103.39 o 30052 103.39 c 2969 103.45 o 30053 103.45 c 2968 103.57 o 30054 103.57 c 2967 103.70 o 30055 103.70 c 2966 103.77 o 30056 103.77 c 2965 103.90 o 30057 103.90 c 2964 104.09 o 30058 104.09 c 2963 104.28 o 30060 104.28 c 2961 104.34 o 30061 104.34 c 2960 104.41 o 30062 104.41 c 2959 104.47 o 30063 104.47 c 2958 104.53 o 30066 104.53 c 2955 104.60 o 30069 104.60 c 2952 104.66 o 30071 104.66 c 2950 104.72 o 30073 104.72 c 2948 105.08 o 30075 105.08 c 2946 105.14 o 30077 105.14 c 2944 105.33 o 30080 105.33 c 2941 105.70 o 30081 105.70 c 2940 105.76 o 30083 105.76 c 2938 105.83 o 30084 105.83 c 2937 105.95 o 30086 105.95 c 2935 106.01 o 30088 106.01 c 2933 106.08 o 30091 106.08 c 2930 106.14 o 30094 106.14 c 2927 106.27 o 30095 106.27 c 2926 106.83 o 30097 106.83 c 2924 107.07 o 30100 107.07 c 2921 107.13 o 30101 107.13 c 2920 107.18 o 30103 107.18 c 2918 107.36 o 30105 107.36 c 2916 107.67 o 30108 107.67 c 2913 107.74 o 30111 107.74 c 2910 107.75 o 30112 107.75 c 2909 107.82 o 30114 107.82 c 2907 108.12 o 30118 108.12 c 2903 108.43 o 30119 108.43 c 2902 108.49 o 30121 108.49 c 2900 108.61 o 30123 108.61 c 2898 108.86 o 30124 108.86 c 2897 108.93 o 30126 108.93 c 2895 109.06 o 30128 109.06 c 2893 109.18 o 30129 109.18 c 2892 109.25 o 30131 109.25 c 2890 109.31 o 30132 109.31 c 2889 109.38 o 30134 109.38 c 2887 109.51 o 30135 109.51 c 2886 109.57 o 30136 109.57 c 2885 109.64 o 30139 109.64 c 2882 113.36 o 30141 113.36 c 2880 113.57 o 30144 113.57 c 2877 113.65 o 30145 113.65 c 2876 113.72 o 30146 113.72 c 2875 113.78 o 30147 113.78 c 2874 114.12 o 30148 114.12 c 2873 114.25 o 30149 114.25 c 2872 114.54 o 30150 114.54 c 2871 115.18 o 30151 115.18 c 2870 116.04 o 30152 116.04 c 2869 116.32 o 30154 116.32 c 2867 116.38 o 30155 116.38 c 2866 117.41 o 30157 117.41 c 2864 117.77 o 30158 117.77 c 2863 117.91 o 30159 117.91 c 2862 118.13 o 30160 118.13 c 2861 118.20 o 30162 118.21 c 2859 118.42 o 30165 118.42 c 2856 118.50 o 30167 118.50 c 2854 118.57 o 30168 118.57 c 2853 118.78 o 30171 118.78 c 2850 118.85 o 30172 118.85 c 2849 119.65 o 30174 119.65 c 2847 120.10 o 30175 120.10 c 2846 120.17 o 30178 120.17 c 2843 120.39 o 30180 120.39 c 2841 120.61 o 30181 120.61 c 2840 120.68 o 30183 120.68 c 2838 121.12 o 30185 121.12 c 2836 121.20 o 30187 121.20 c 2834 121.27 o 30188 121.27 c 2833 121.35 o 30189 121.35 c 2832 121.42 o 30190 121.42 c 2831 121.50 o 30191 121.50 c 2830 121.86 o 30192 121.86 c 2829 122.33 o 30194 122.33 c 2827 122.41 o 30195 122.41 c 2826 122.48 o 30196 122.48 c 2825 122.71 o 30197 122.71 c 2824 122.78 o 30198 122.78 c 2823 123.20 o 30199 123.20 c 2822 123.35 o 30200 123.35 c 2821 123.41 o 30202 123.41 c 2819 123.49 o 30205 123.49 c 2816 123.64 o 30206 123.64 c 2815 123.79 o 30207 123.79 c 2814 124.30 o 30208 124.30 c 2813 124.37 o 30209 124.37 c 2812 124.44 o 30211 124.44 c 2810 124.95 o 30215 124.95 c 2806 127.17 o 30217 127.17 c 2804 127.32 o 30218 127.32 c 2803 127.55 o 30219 127.55 c 2802 127.84 o 30220 127.84 c 2801 127.93 o 30221 127.93 c 2800 128.77 o 30222 128.77 c 2799 128.84 o 30223 128.84 c 2798 129.08 o 30224 129.08 c 2797 129.45 o 30225 129.45 c 2796 135.82 o 30227 135.82 c 2794 135.99 o 30229 135.99 c 2792 136.48 o 30232 136.48 c 2789 136.64 o 30233 136.64 c 2788 136.80 o 30235 136.80 c 2786 137.21 o 30236 137.21 c 2785 137.25 o 30237 137.25 c 2784 139.17 o 30238 139.17 c 2783 139.23 o 30239 139.23 c 2782 139.32 o 30242 139.32 c 2779 139.40 o 30245 139.40 c 2776 139.56 o 30246 139.56 c 2775 139.65 o 30247 139.65 c 2774 139.73 o 30249 139.73 c 2772 139.81 o 30250 139.81 c 2771 139.90 o 30251 139.90 c 2770 139.98 o 30252 139.98 c 2769 140.06 o 30254 140.06 c 2767 140.14 o 30256 140.14 c 2765 140.22 o 30258 140.22 c 2763 140.30 o 30260 140.30 c 2761 140.54 o 30262 140.54 c 2759 140.62 o 30263 140.63 c 2758 140.79 o 30264 140.79 c 2757 140.87 o 30266 140.87 c 2755 140.96 o 30267 140.96 c 2754 141.04 o 30268 141.04 c 2753 141.21 o 30272 141.21 c 2749 141.37 o 30274 141.37 c 2747 141.46 o 30275 141.46 c 2746 142.05 o 30276 142.06 c 2745 142.22 o 30277 142.22 c 2744 142.30 o 30279 142.30 c 2742 142.39 o 30281 142.39 c 2740 142.47 o 30285 142.47 c 2736 142.55 o 30286 142.55 c 2735 142.63 o 30288 142.63 c 2733 142.86 o 30292 142.86 c 2729 143.11 o 30293 143.11 c 2728 143.35 o 30295 143.35 c 2726 143.43 o 30296 143.43 c 2725 143.48 o 30299 143.48 c 2722 143.56 o 30302 143.56 c 2719 147.16 o 30304 147.16 c 2717 147.32 o 30308 147.32 c 2713 147.40 o 30309 147.40 c 2712 147.64 o 30311 147.64 c 2710 147.71 o 30312 147.71 c 2709 148.15 o 30313 148.15 c 2708 148.46 o 30316 148.46 c 2705 148.86 o 30320 148.86 c 2701 148.93 o 30321 148.93 c 2700 149.88 o 30322 149.88 c 2699 149.91 o 30324 149.91 c 2697 150.00 o 30325 150.00 c 2696 150.08 o 30327 150.08 c 2694 150.16 o 30329 150.16 c 2692 150.24 o 30330 150.24 c 2691 150.32 o 30332 150.32 c 2689 150.40 o 30333 150.40 c 2688 150.65 o 30334 150.65 c 2687 150.88 o 30335 150.88 c 2686 150.97 o 30337 150.97 c 2684 151.22 o 30338 151.22 c 2683 151.44 o 30341 151.44 c 2680 151.53 o 30343 151.53 c 2678 151.70 o 30344 151.70 c 2677 151.79 o 30347 151.79 c 2674 152.54 o 30349 152.54 c 2672 153.00 o 30350 153.00 c 2671 153.09 o 30351 153.09 c 2670 153.18 o 30352 153.18 c 2669 153.27 o 30353 153.27 c 2668 153.36 o 30354 153.36 c 2667 153.53 o 30357 153.53 c 2664 153.61 o 30358 153.61 c 2663 153.70 o 30359 153.70 c 2662 153.79 o 30360 153.79 c 2661 153.88 o 30361 153.88 c 2660 153.98 o 30362 153.98 c 2659 154.06 o 30364 154.06 c 2657 154.15 o 30365 154.15 c 2656 154.23 o 30366 154.23 c 2655 154.33 o 30367 154.33 c 2654 154.41 o 30368 154.41 c 2653 154.50 o 30369 154.50 c 2652 154.59 o 30370 154.59 c 2651 156.06 o 30371 156.06 c 2650 156.15 o 30373 156.15 c 2648 156.24 o 30374 156.24 c 2647 156.33 o 30375 156.33 c 2646 165.11 o 30377 165.11 c 2644 165.31 o 30379 165.31 c 2642 165.40 o 30381 165.40 c 2640 166.17 o 30382 166.17 c 2639 166.27 o 30383 166.27 c 2638 166.37 o 30384 166.37 c 2637 166.47 o 30386 166.47 c 2635 166.76 o 30387 166.76 c 2634 166.87 o 30390 166.87 c 2631 166.97 o 30391 166.97 c 2630 167.72 o 30392 167.72 c 2629 167.83 o 30394 167.83 c 2627 168.02 o 30397 168.02 c 2624 168.21 o 30399 168.21 c 2622 169.55 o 30400 169.55 c 2621 169.65 o 30403 169.65 c 2618 169.75 o 30405 169.75 c 2616 169.85 o 30407 169.85 c 2614 171.50 o 30409 171.50 c 2612 171.60 o 30410 171.60 c 2611 171.69 o 30411 171.69 c 2610 171.79 o 30415 171.79 c 2606 171.89 o 30416 171.89 c 2605 171.98 o 30417 171.98 c 2604 172.09 o 30418 172.09 c 2603 172.19 o 30422 172.19 c 2599 172.37 o 30423 172.37 c 2598 172.48 o 30424 172.48 c 2597 172.77 o 30426 172.77 c 2595 172.97 o 30427 172.97 c 2594 173.17 o 30429 173.17 c 2592 173.28 o 30430 173.28 c 2591 173.38 o 30431 173.38 c 2590 173.48 o 30432 173.48 c 2589 175.03 o 30434 175.03 c 2587 177.90 o 30435 177.90 c 2586 179.07 o 30436 179.07 c 2585 179.23 o 30438 179.23 c 2583 179.55 o 30439 179.55 c 2582 179.76 o 30441 179.76 c 2580 179.98 o 30442 179.98 c 2579 180.20 o 30447 180.20 c 2574 180.32 o 30448 180.32 c 2573 180.43 o 30449 180.43 c 2572 181.53 o 30450 181.53 c 2571 181.75 o 30451 181.75 c 2570 181.84 o 30454 181.84 c 2567 181.95 o 30455 181.95 c 2566 182.51 o 30456 182.51 c 2565 183.60 o 30458 183.60 c 2563 183.72 o 30460 183.72 c 2561 183.84 o 30461 183.84 c 2560 183.95 o 30464 183.95 c 2557 184.25 o 30467 184.25 c 2554 184.36 o 30470 184.36 c 2551 184.47 o 30472 184.47 c 2549 184.59 o 30473 184.59 c 2548 184.70 o 30475 184.70 c 2546 184.81 o 30477 184.81 c 2544 185.79 o 30478 185.79 c 2543 186.02 o 30480 186.02 c 2541 186.37 o 30481 186.37 c 2540 187.65 o 30482 187.65 c 2539 187.89 o 30483 187.89 c 2538 188.14 o 30484 188.14 c 2537 188.26 o 30486 188.26 c 2535 188.38 o 30488 188.38 c 2533 190.33 o 30490 190.33 c 2531 190.45 o 30492 190.45 c 2529 190.69 o 30494 190.69 c 2527 190.92 o 30495 190.92 c 2526 191.04 o 30498 191.04 c 2523 191.15 o 30499 191.15 c 2522 191.34 o 30500 191.34 c 2521 193.40 o 30501 193.40 c 2520 193.52 o 30502 193.52 c 2519 194.13 o 30503 194.13 c 2518 194.26 o 30505 194.26 c 2516 194.38 o 30506 194.38 c 2515 194.50 o 30507 194.50 c 2514 194.61 o 30509 194.61 c 2512 194.85 o 30511 194.85 c 2510 194.97 o 30513 194.97 c 2508 195.22 o 30514 195.22 c 2507 195.46 o 30518 195.46 c 2503 195.58 o 30524 195.58 c 2497 196.43 o 30525 196.43 c 2496 196.55 o 30526 196.55 c 2495 196.68 o 30529 196.68 c 2492 196.80 o 30530 196.80 c 2491 196.92 o 30531 196.92 c 2490 197.00 o 30532 197.00 c 2489 200.48 o 30535 200.48 c 2486 200.97 o 30536 200.97 c 2485 201.42 o 30537 201.42 c 2484 202.65 o 30539 202.65 c 2482 202.76 o 30540 202.76 c 2481 202.89 o 30542 202.89 c 2479 203.53 o 30545 203.53 c 2476 203.77 o 30546 203.77 c 2475 204.03 o 30549 204.03 c 2472 204.40 o 30550 204.40 c 2471 204.66 o 30551 204.66 c 2470 204.78 o 30552 204.78 c 2469 205.43 o 30555 205.43 c 2466 206.29 o 30557 206.29 c 2464 206.42 o 30560 206.42 c 2461 206.55 o 30561 206.55 c 2460 206.68 o 30562 206.68 c 2459 206.81 o 30564 206.81 c 2457 206.94 o 30565 206.94 c 2456 207.07 o 30567 207.07 c 2454 207.34 o 30568 207.34 c 2453 207.73 o 30569 207.73 c 2452 208.24 o 30571 208.24 c 2450 208.38 o 30574 208.38 c 2447 208.76 o 30575 208.76 c 2446 209.02 o 30576 209.02 c 2445 209.15 o 30577 209.15 c 2444 209.28 o 30578 209.28 c 2443 209.41 o 30581 209.41 c 2440 209.67 o 30583 209.67 c 2438 210.85 o 30584 210.85 c 2437 210.98 o 30586 210.98 c 2435 211.24 o 30587 211.24 c 2434 211.49 o 30589 211.49 c 2432 211.88 o 30591 211.88 c 2430 212.01 o 30594 212.01 c 2427 212.14 o 30595 212.14 c 2426 212.27 o 30597 212.27 c 2424 212.66 o 30598 212.66 c 2423 213.06 o 30601 213.06 c 2420 215.52 o 30602 215.52 c 2419 215.65 o 30603 215.65 c 2418 218.00 o 30605 218.00 c 2416 218.27 o 30607 218.27 c 2414 218.51 o 30608 218.51 c 2413 218.65 o 30610 218.65 c 2411 219.43 o 30612 219.43 c 2409 219.57 o 30619 219.57 c 2402 219.69 o 30620 219.69 c 2401 219.82 o 30621 219.82 c 2400 219.89 o 30622 219.89 c 2399 220.55 o 30624 220.55 c 2397 220.68 o 30625 220.68 c 2396 220.96 o 30626 220.96 c 2395 221.10 o 30627 221.10 c 2394 221.23 o 30628 221.23 c 2393 221.37 o 30629 221.37 c 2392 221.89 o 30630 221.89 c 2391 222.03 o 30631 222.03 c 2390 222.41 o 30632 222.41 c 2389 222.67 o 30633 222.67 c 2388 222.80 o 30635 222.80 c 2386 222.93 o 30636 222.93 c 2385 223.07 o 30637 223.07 c 2384 223.20 o 30639 223.20 c 2382 223.33 o 30640 223.33 c 2381 223.48 o 30641 223.48 c 2380 223.74 o 30642 223.74 c 2379 223.87 o 30643 223.87 c 2378 224.14 o 30644 224.14 c 2377 225.56 o 30646 225.56 c 2375 225.70 o 30647 225.70 c 2374 225.83 o 30648 225.83 c 2373 227.69 o 30649 227.69 c 2372 228.47 o 30650 228.47 c 2371 230.26 o 30653 230.26 c 2368 232.01 o 30657 232.01 c 2364 232.51 o 30660 232.51 c 2361 232.64 o 30661 232.64 c 2360 233.16 o 30662 233.16 c 2359 233.29 o 30663 233.29 c 2358 233.42 o 30664 233.42 c 2357 233.56 o 30665 233.56 c 2356 233.96 o 30666 233.96 c 2355 234.22 o 30667 234.22 c 2354 234.35 o 30668 234.35 c 2353 234.49 o 30669 234.49 c 2352 234.76 o 30670 234.76 c 2351 235.13 o 30671 235.13 c 2350 236.32 o 30673 236.32 c 2348 236.45 o 30674 236.46 c 2347 236.58 o 30678 236.58 c 2343 236.72 o 30679 236.72 c 2342 237.39 o 30680 237.39 c 2341 242.50 o 30681 242.50 c 2340 242.91 o 30683 242.91 c 2338 243.05 o 30684 243.05 c 2337 243.18 o 30685 243.18 c 2336 243.73 o 30686 243.74 c 2335 244.01 o 30689 244.01 c 2332 244.71 o 30690 244.71 c 2331 246.64 o 30691 246.64 c 2330 251.21 o 30694 251.21 c 2327 253.89 o 30696 253.89 c 2325 254.31 o 30697 254.31 c 2324 266.56 o 30698 266.56 c 2323 270.74 o 30700 270.74 c 2321 285.57 o 30701 285.57 c 2320 286.49 o 30705 286.49 c 2316 286.65 o 30706 286.65 c 2315 287.12 o 30707 287.12 c 2314 287.88 o 30708 287.88 c 2313 288.48 o 30710 288.48 c 2311 289.10 o 30711 289.10 c 2310 289.41 o 30712 289.41 c 2309 290.29 o 30713 290.29 c 2308 290.60 o 30714 290.60 c 2307 291.01 o 30715 291.01 c 2306 291.32 o 30716 291.32 c 2305 292.51 o 30719 292.51 c 2302 299.59 o 30720 299.59 c 2301 300.07 o 30722 300.07 c 2299 300.15 o 30725 300.15 c 2296 300.41 o 30728 300.41 c 2293 300.57 o 30729 300.57 c 2292 300.73 o 30730 300.73 c 2291 301.52 o 30731 301.52 c 2290 301.84 o 30732 301.84 c 2289 302.00 o 30733 302.00 c 2288 302.15 o 30734 302.15 c 2287 303.58 o 30735 303.58 c 2286 303.74 o 30738 303.74 c 2283 304.06 o 30740 304.06 c 2281 305.99 o 30741 305.99 c 2280 306.15 o 30742 306.15 c 2279 306.92 o 30745 306.92 c 2276 307.23 o 30746 307.23 c 2275 307.38 o 30748 307.38 c 2273 307.85 o 30749 307.85 c 2272 308.01 o 30751 308.01 c 2270 314.05 o 30752 314.05 c 2269 314.21 o 30754 314.21 c 2267 314.70 o 30757 314.70 c 2264 315.20 o 30759 315.20 c 2262 317.38 o 30760 317.38 c 2261 317.55 o 30762 317.55 c 2259 317.88 o 30763 317.88 c 2258 322.46 o 30764 322.46 c 2257 322.72 o 30765 322.72 c 2256 330.01 o 30766 330.01 c 2255 330.18 o 30767 330.18 c 2254 331.18 o 30768 331.18 c 2253 331.35 o 30771 331.35 c 2250 331.51 o 30772 331.51 c 2249 331.68 o 30773 331.68 c 2248 332.19 o 30774 332.19 c 2247 332.36 o 30777 332.36 c 2244 332.49 o 30778 332.49 c 2243 333.12 o 30782 333.12 c 2239 334.49 o 30786 334.49 c 2235 334.65 o 30787 334.65 c 2234 334.98 o 30788 334.98 c 2233 337.41 o 30790 337.41 c 2231 337.57 o 30791 337.57 c 2230 338.16 o 30793 338.16 c 2228 338.81 o 30794 338.81 c 2227 338.98 o 30795 338.98 c 2226 339.31 o 30796 339.31 c 2225 340.14 o 30797 340.14 c 2224 340.47 o 30798 340.47 c 2223 340.64 o 30799 340.64 c 2222 340.82 o 30801 340.82 c 2220 340.99 o 30804 340.99 c 2217 341.38 o 30805 341.38 c 2216 341.71 o 30808 341.71 c 2213 342.81 o 30810 342.81 c 2211 343.61 o 30811 343.61 c 2210 343.93 o 30812 343.93 c 2209 344.09 o 30814 344.09 c 2207 344.26 o 30815 344.26 c 2206 344.43 o 30816 344.43 c 2205 344.84 o 30817 344.84 c 2204 345.17 o 30819 345.17 c 2202 346.16 o 30821 346.16 c 2200 347.14 o 30822 347.14 c 2199 347.31 o 30824 347.31 c 2197 347.65 o 30825 347.65 c 2196 347.82 o 30826 347.82 c 2195 347.99 o 30828 347.99 c 2193 352.30 o 30829 352.30 c 2192 352.80 o 30831 352.80 c 2190 353.13 o 30832 353.13 c 2189 353.82 o 30834 353.82 c 2187 353.99 o 30836 353.99 c 2185 354.16 o 30837 354.16 c 2184 354.23 o 30838 354.23 c 2183 354.57 o 30839 354.57 c 2182 355.41 o 30840 355.41 c 2181 358.72 o 30842 358.72 c 2179 358.90 o 30843 358.90 c 2178 361.16 o 30845 361.16 c 2176 361.33 o 30846 361.33 c 2175 361.51 o 30847 361.51 c 2174 363.64 o 30848 363.64 c 2173 363.83 o 30850 363.83 c 2171 364.01 o 30851 364.01 c 2170 364.38 o 30852 364.38 c 2169 364.56 o 30855 364.56 c 2166 366.34 o 30857 366.34 c 2164 367.62 o 30858 367.62 c 2163 368.55 o 30859 368.55 c 2162 375.18 o 30861 375.18 c 2160 381.42 o 30862 381.42 c 2159 385.35 o 30863 385.35 c 2158 385.73 o 30866 385.73 c 2155 386.30 o 30867 386.30 c 2154 387.84 o 30869 387.84 c 2152 388.02 o 30870 388.02 c 2151 388.41 o 30872 388.41 c 2149 388.52 o 30873 388.52 c 2148 388.71 o 30875 388.71 c 2146 388.91 o 30876 388.91 c 2145 389.11 o 30877 389.11 c 2144 390.13 o 30879 390.13 c 2142 390.24 o 30881 390.24 c 2140 390.43 o 30882 390.43 c 2139 393.83 o 30884 393.83 c 2137 394.22 o 30885 394.22 c 2136 394.50 o 30886 394.50 c 2135 400.39 o 30888 400.39 c 2133 400.47 o 30890 400.47 c 2131 400.66 o 30891 400.66 c 2130 401.61 o 30892 401.61 c 2129 405.43 o 30893 405.43 c 2128 405.63 o 30894 405.63 c 2127 407.04 o 30897 407.04 c 2124 407.22 o 30899 407.22 c 2122 407.42 o 30901 407.42 c 2120 407.61 o 30902 407.61 c 2119 407.80 o 30903 407.80 c 2118 408.00 o 30904 408.00 c 2117 408.39 o 30906 408.39 c 2115 408.58 o 30907 408.58 c 2114 408.96 o 30910 408.96 c 2111 413.22 o 30911 413.22 c 2110 413.42 o 30913 413.42 c 2108 413.61 o 30914 413.61 c 2107 413.72 o 30915 413.72 c 2106 415.06 o 30918 415.06 c 2103 415.26 o 30919 415.26 c 2102 415.44 o 30922 415.44 c 2099 415.83 o 30924 415.83 c 2097 416.52 o 30926 416.52 c 2095 418.00 o 30927 418.00 c 2094 418.58 o 30928 418.58 c 2093 418.77 o 30929 418.77 c 2092 419.53 o 30932 419.53 c 2089 420.11 o 30933 420.11 c 2088 420.30 o 30934 420.30 c 2087 420.69 o 30938 420.69 c 2083 420.79 o 30939 420.79 c 2082 420.98 o 30941 420.98 c 2080 422.30 o 30944 422.30 c 2077 426.04 o 30945 426.04 c 2076 427.10 o 30946 427.10 c 2075 427.30 o 30948 427.30 c 2073 429.37 o 30950 429.37 c 2071 429.68 o 30951 429.68 c 2070 430.93 o 30952 430.93 c 2069 432.42 o 30953 432.42 c 2068 433.20 o 30954 433.20 c 2067 433.38 o 30955 433.38 c 2066 433.58 o 30956 433.58 c 2065 434.73 o 30957 434.73 c 2064 434.94 o 30958 434.94 c 2063 435.61 o 30959 435.61 c 2062 435.81 o 30961 435.81 c 2060 436.01 o 30962 436.01 c 2059 436.22 o 30964 436.22 c 2057 437.10 o 30965 437.10 c 2056 438.38 o 30966 438.38 c 2055 438.78 o 30967 438.78 c 2054 438.98 o 30970 438.98 c 2051 439.17 o 30971 439.17 c 2050 439.37 o 30972 439.37 c 2049 439.76 o 30973 439.76 c 2048 441.03 o 30974 441.03 c 2047 441.88 o 30975 441.88 c 2046 445.40 o 30976 445.40 c 2045 448.81 o 30977 448.81 c 2044 451.10 o 30979 451.10 c 2042 451.30 o 30980 451.30 c 2041 452.26 o 30981 452.26 c 2040 452.45 o 30982 452.45 c 2039 452.64 o 30983 452.64 c 2038 464.20 o 30985 464.20 c 2036 464.37 o 30987 464.37 c 2034 464.88 o 30990 464.88 c 2031 465.07 o 30992 465.07 c 2029 465.40 o 30994 465.40 c 2027 466.37 o 30996 466.37 c 2025 468.31 o 30997 468.31 c 2024 468.50 o 31000 468.50 c 2021 470.83 o 31001 470.83 c 2020 471.03 o 31002 471.03 c 2019 471.22 o 31003 471.23 c 2018 482.85 o 31004 482.85 c 2017 485.75 o 31005 485.75 c 2016 499.01 o 31009 499.01 c 2012 499.22 o 31012 499.22 c 2009 499.35 o 31013 499.35 c 2008 499.55 o 31014 499.55 c 2007 500.11 o 31015 500.11 c 2006 512.56 o 31018 512.56 c 2003 512.77 o 31020 512.77 c 2001 512.99 o 31021 512.99 c 2000 513.19 o 31024 513.19 c 1997 513.61 o 31025 513.61 c 1996 513.83 o 31026 513.83 c 1995 514.24 o 31027 514.24 c 1994 514.88 o 31028 514.88 c 1993 515.09 o 31029 515.09 c 1992 515.52 o 31032 515.52 c 1989 515.71 o 31033 515.71 c 1988 519.53 o 31034 519.53 c 1987 520.12 o 31035 520.12 c 1986 520.33 o 31036 520.33 c 1985 520.55 o 31037 520.55 c 1984 520.76 o 31038 520.76 c 1983 521.82 o 31039 521.82 c 1982 524.52 o 31040 524.52 c 1981 525.56 o 31041 525.56 c 1980 528.34 o 31045 528.34 c 1976 528.55 o 31048 528.55 c 1973 528.97 o 31050 528.97 c 1971 529.40 o 31052 529.40 c 1969 529.79 o 31054 529.79 c 1967 536.37 o 31055 536.37 c 1966 536.58 o 31056 536.58 c 1965 536.79 o 31058 536.79 c 1963 538.27 o 31059 538.27 c 1962 543.82 o 31060 543.82 c 1961 548.96 o 31061 548.96 c 1960 549.39 o 31062 549.39 c 1959 550.03 o 31063 550.03 c 1958 567.15 o 31066 567.16 c 1955 568.85 o 31069 568.85 c 1952 569.27 o 31070 569.27 c 1951 569.49 o 31071 569.49 c 1950 569.71 o 31072 569.71 c 1949 569.93 o 31073 569.93 c 1948 570.37 o 31074 570.37 c 1947 577.09 o 31075 577.09 c 1946 577.31 o 31077 577.31 c 1944 578.16 o 31078 578.16 c 1943 578.57 o 31080 578.57 c 1941 578.79 o 31081 578.79 c 1940 585.79 o 31082 585.79 c 1939 586.00 o 31084 586.00 c 1937 591.69 o 31085 591.69 c 1936 591.90 o 31087 591.90 c 1934 592.55 o 31091 592.55 c 1930 592.98 o 31094 592.98 c 1927 605.81 o 31095 605.81 c 1926 606.24 o 31096 606.24 c 1925 606.45 o 31098 606.45 c 1923 607.03 o 31099 607.03 c 1922 607.25 o 31100 607.25 c 1921 607.43 o 31101 607.43 c 1920 607.84 o 31103 607.84 c 1918 608.85 o 31105 608.85 c 1916 609.26 o 31106 609.26 c 1915 609.44 o 31107 609.44 c 1914 609.65 o 31109 609.65 c 1912 609.85 o 31110 609.85 c 1911 610.26 o 31111 610.26 c 1910 614.01 o 31113 614.01 c 1908 614.22 o 31114 614.22 c 1907 614.95 o 31115 614.95 c 1906 615.36 o 31116 615.36 c 1905 615.57 o 31117 615.57 c 1904 618.24 o 31118 618.24 c 1903 621.14 o 31119 621.14 c 1902 621.34 o 31120 621.34 c 1901 621.53 o 31121 621.53 c 1900 621.74 o 31122 621.74 c 1899 621.95 o 31123 621.95 c 1898 622.68 o 31124 622.68 c 1897 622.89 o 31125 622.89 c 1896 623.10 o 31127 623.10 c 1894 624.85 o 31128 624.85 c 1893 626.05 o 31130 626.05 c 1891 627.48 o 31132 627.48 c 1889 628.29 o 31134 628.29 c 1887 628.80 o 31135 628.80 c 1886 629.00 o 31136 629.00 c 1885 630.22 o 31137 630.22 c 1884 630.63 o 31138 630.63 c 1883 631.67 o 31140 631.67 c 1881 631.88 o 31143 631.88 c 1878 632.08 o 31144 632.08 c 1877 638.37 o 31145 638.37 c 1876 640.85 o 31146 640.85 c 1875 654.03 o 31148 654.03 c 1873 655.85 o 31149 655.85 c 1872 656.76 o 31150 656.76 c 1871 665.29 o 31151 665.29 c 1870 665.46 o 31152 665.46 c 1869 665.92 o 31153 665.92 c 1868 666.13 o 31154 666.13 c 1867 666.36 o 31155 666.36 c 1866 667.60 o 31158 667.60 c 1863 670.08 o 31160 670.08 c 1861 670.47 o 31162 670.47 c 1859 670.71 o 31163 670.71 c 1858 671.34 o 31164 671.34 c 1857 671.58 o 31165 671.58 c 1856 672.25 o 31166 672.25 c 1855 672.71 o 31168 672.71 c 1853 682.11 o 31169 682.11 c 1852 682.58 o 31170 682.58 c 1851 692.64 o 31171 692.64 c 1850 693.28 o 31173 693.28 c 1848 693.51 o 31175 693.51 c 1846 695.50 o 31176 695.50 c 1845 695.62 o 31181 695.62 c 1840 695.85 o 31182 695.85 c 1839 696.07 o 31184 696.07 c 1837 696.30 o 31185 696.30 c 1836 698.55 o 31186 698.55 c 1835 698.78 o 31187 698.78 c 1834 699.15 o 31188 699.15 c 1833 699.37 o 31190 699.37 c 1831 701.06 o 31193 701.06 c 1828 702.41 o 31194 702.41 c 1827 702.64 o 31195 702.64 c 1826 702.86 o 31196 702.86 c 1825 718.65 o 31197 718.65 c 1824 723.28 o 31198 723.28 c 1823 736.18 o 31201 736.18 c 1820 738.62 o 31202 738.62 c 1819 738.95 o 31205 738.95 c 1816 742.75 o 31207 742.75 c 1814 745.48 o 31208 745.48 c 1813 745.60 o 31209 745.60 c 1812 745.84 o 31210 745.84 c 1811 746.56 o 31212 746.56 c 1809 746.80 o 31214 746.80 c 1807 747.04 o 31215 747.04 c 1806 748.87 o 31216 748.88 c 1805 749.12 o 31217 749.12 c 1804 749.36 o 31218 749.36 c 1803 749.56 o 31219 749.56 c 1802 752.96 o 31223 752.96 c 1798 753.20 o 31224 753.20 c 1797 753.43 o 31225 753.43 c 1796 753.67 o 31226 753.67 c 1795 753.91 o 31227 753.91 c 1794 754.06 o 31230 754.06 c 1791 754.30 o 31231 754.30 c 1790 755.75 o 31232 755.75 c 1789 756.00 o 31233 756.00 c 1788 759.14 o 31236 759.14 c 1785 759.36 o 31237 759.36 c 1784 759.61 o 31238 759.61 c 1783 759.94 o 31239 759.94 c 1782 760.65 o 31240 760.65 c 1781 761.36 o 31241 761.36 c 1780 761.60 o 31242 761.60 c 1779 763.09 o 31243 763.09 c 1778 763.33 o 31244 763.33 c 1777 763.81 o 31246 763.81 c 1775 763.93 o 31247 763.93 c 1774 764.16 o 31250 764.16 c 1771 764.37 o 31252 764.37 c 1769 764.84 o 31253 764.84 c 1768 766.68 o 31254 766.68 c 1767 772.10 o 31255 772.10 c 1766 772.34 o 31257 772.34 c 1764 772.54 o 31263 772.54 c 1758 772.77 o 31264 772.77 c 1757 773.24 o 31265 773.24 c 1756 773.96 o 31266 773.96 c 1755 774.67 o 31267 774.67 c 1754 775.16 o 31268 775.16 c 1753 797.81 o 31269 797.81 c 1752 798.07 o 31270 798.07 c 1751 828.46 828.46 search 828.46 run=0 nbConstraintChecks=4357062191 nbAssignments=6753 828.46 => wckTime=794.716 cpuTime=787.22 mem=64M215 828.46 828.46 global 828.46 nbConstraintChecks=4357062191 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 828.46 solvingWckTime=794.697 solvingCpuTime=787.21 expiredTime=no totalExploration=no nbFoundSolutions=0 828.46 globalCpuTime=819.26 828.46 => wckTime=828.152 cpuTime=819.21 mem=64M215 828.47 828.47 solver IterativeSystematicSolver being built... 828.86 => wckTime=828.547 cpuTime=819.46 mem=90M598 2421.95 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/node17/watcher-275261-1169218919 -o ROOT/results/node17/solver-275261-1169218919 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275261-1169218919/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.99 2.00 1.94 4/99 5065 /proc/meminfo: memFree=1284088/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=906644 CPUtime=0.02 /proc/5064/stat : 5064 (java) S 5060 5064 4164 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 270286661 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 226661 1817 1036 14 0 214244 0 [pid=5064/tid=5066] ppid=5060 vsize=906644 CPUtime=0 /proc/5064/task/5066/stat : 5066 (java) R 5060 5064 4164 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 270286665 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0 [startup+0.106456 s] /proc/loadavg: 1.99 2.00 1.94 4/99 5065 /proc/meminfo: memFree=1284088/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=914988 CPUtime=0.09 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 3018 0 1 0 8 1 0 0 18 0 8 0 270286661 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153618325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228747 2764 1435 14 0 215242 0 [pid=5064/tid=5066] ppid=5060 vsize=914988 CPUtime=0 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270286665 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.514496 s] /proc/loadavg: 1.99 2.00 1.94 4/99 5065 /proc/meminfo: memFree=1284088/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=915332 CPUtime=0.49 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 6926 0 1 0 45 4 0 0 19 0 8 0 270286661 937299968 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073586289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228833 6665 2143 14 0 215303 0 [pid=5064/tid=5066] ppid=5060 vsize=915332 CPUtime=0 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270286665 937299968 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.33759 s] /proc/loadavg: 1.99 2.00 1.94 3/106 5072 /proc/meminfo: memFree=1210368/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=915612 CPUtime=1.3 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 22700 0 1 0 119 11 0 0 24 0 8 0 270286661 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073623714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228903 22437 2164 14 0 215373 0 [pid=5064/tid=5066] ppid=5060 vsize=915612 CPUtime=0.09 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 6141 0 0 0 7 2 0 0 16 0 8 0 270286665 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=915612 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=915612 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=915612 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=915612 CPUtime=0.15 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 270286669 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=915612 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=915612 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937586688 22437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 915612 [startup+2.99075 s] /proc/loadavg: 1.99 2.00 1.94 3/106 5072 /proc/meminfo: memFree=1196928/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=915744 CPUtime=2.94 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 24086 0 1 0 282 12 0 0 25 0 8 0 270286661 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228936 23820 2184 14 0 215406 0 [pid=5064/tid=5066] ppid=5060 vsize=915744 CPUtime=0.17 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 7448 0 0 0 15 2 0 0 16 0 8 0 270286665 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=915744 CPUtime=0.19 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 417 0 0 0 18 1 0 0 15 0 8 0 270286669 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937721856 23820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 915744 [startup+6.2841 s] /proc/loadavg: 1.99 2.00 1.94 3/106 5074 /proc/meminfo: memFree=1196928/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=915744 CPUtime=6.21 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 24112 0 1 0 606 15 0 0 25 0 8 0 270286661 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228936 23843 2185 14 0 215406 0 [pid=5064/tid=5066] ppid=5060 vsize=915744 CPUtime=0.17 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 7448 0 0 0 15 2 0 0 17 0 8 0 270286665 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=915744 CPUtime=0.22 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 439 0 0 0 21 1 0 0 15 0 8 0 270286669 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937721856 23843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 915744 [startup+12.7778 s] /proc/loadavg: 1.99 2.00 1.94 3/106 5080 /proc/meminfo: memFree=1190784/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=915744 CPUtime=12.64 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 25681 0 1 0 1230 34 0 0 25 0 8 0 270286661 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228936 25409 2185 14 0 215406 0 [pid=5064/tid=5066] ppid=5060 vsize=915744 CPUtime=0.23 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 9007 0 0 0 21 2 0 0 16 0 8 0 270286665 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=915744 CPUtime=0.23 /proc/5064/task/5070/stat : 5070 (java) R 5060 5064 4164 0 -1 64 446 0 0 0 22 1 0 0 16 0 8 0 270286669 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153811527 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937721856 25409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 915744 [startup+25.6221 s] /proc/loadavg: 2.07 2.02 1.94 3/100 5100 /proc/meminfo: memFree=1144072/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=915744 CPUtime=25.34 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 27842 0 1 0 2438 96 0 0 25 0 8 0 270286661 937721856 27569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228936 27569 2185 14 0 215406 0 [pid=5064/tid=5066] ppid=5060 vsize=915744 CPUtime=0.36 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 11164 0 0 0 33 3 0 0 16 0 8 0 270286665 937721856 27569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 27569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 27569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937721856 27569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=915744 CPUtime=0.24 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 449 0 0 0 23 1 0 0 16 0 8 0 270286669 937721856 27569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937721856 27569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937721856 27569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 915744 [startup+51.2528 s] /proc/loadavg: 2.05 2.01 1.94 3/100 5100 /proc/meminfo: memFree=1120712/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=915744 CPUtime=50.65 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 34041 0 1 0 4907 158 0 0 25 0 8 0 270286661 937721856 33713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228936 33713 2504 14 0 215406 0 [pid=5064/tid=5066] ppid=5060 vsize=915744 CPUtime=0.87 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 16983 0 0 0 83 4 0 0 16 0 8 0 270286665 937721856 33713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 33713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 33713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937721856 33713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=915744 CPUtime=0.29 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 477 0 0 0 28 1 0 0 16 0 8 0 270286669 937721856 33713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937721856 33713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937721856 33713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 915744 [startup+102.501 s] /proc/loadavg: 2.02 2.01 1.94 3/100 5100 /proc/meminfo: memFree=1120648/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=915744 CPUtime=101.36 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 34043 0 1 0 9960 176 0 0 25 0 8 0 270286661 937721856 33715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 228936 33715 2504 14 0 215406 0 [pid=5064/tid=5066] ppid=5060 vsize=915744 CPUtime=0.87 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 16983 0 0 0 83 4 0 0 16 0 8 0 270286665 937721856 33715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 33715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937721856 33715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937721856 33715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=915744 CPUtime=0.29 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270286669 937721856 33715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937721856 33715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=915744 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937721856 33715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.36 Current children cumulated vsize (KiB) 915744 ################ # More data... # ################ Current children cumulated CPU time (s) 2004.24 Current children cumulated vsize (KiB) 916012 [startup+2082.95 s] /proc/loadavg: 2.00 2.00 1.99 3/100 5102 /proc/meminfo: memFree=986760/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=916012 CPUtime=2063.71 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 38488 0 1 0 206134 237 0 0 25 0 8 0 270286661 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 229003 38145 2549 14 0 215473 0 [pid=5064/tid=5066] ppid=5060 vsize=916012 CPUtime=0.93 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 21195 0 0 0 87 6 0 0 16 0 8 0 270286665 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=916012 CPUtime=0.43 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 619 0 0 0 41 2 0 0 17 0 8 0 270286669 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2063.71 Current children cumulated vsize (KiB) 916012 [startup+2142.95 s] /proc/loadavg: 2.04 2.01 2.00 3/100 5102 /proc/meminfo: memFree=986760/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=916012 CPUtime=2123.16 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 38488 0 1 0 212079 237 0 0 25 0 8 0 270286661 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074295291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 229003 38145 2549 14 0 215473 0 [pid=5064/tid=5066] ppid=5060 vsize=916012 CPUtime=0.93 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 21195 0 0 0 87 6 0 0 16 0 8 0 270286665 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=916012 CPUtime=0.43 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 619 0 0 0 41 2 0 0 17 0 8 0 270286669 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937996288 38145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2123.16 Current children cumulated vsize (KiB) 916012 [startup+2203.05 s] /proc/loadavg: 2.01 2.01 2.00 3/100 5102 /proc/meminfo: memFree=986760/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=916012 CPUtime=2182.71 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 38490 0 1 0 218033 238 0 0 25 0 8 0 270286661 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074299198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 229003 38147 2549 14 0 215473 0 [pid=5064/tid=5066] ppid=5060 vsize=916012 CPUtime=0.93 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 21195 0 0 0 87 6 0 0 16 0 8 0 270286665 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=916012 CPUtime=0.43 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 621 0 0 0 41 2 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2182.71 Current children cumulated vsize (KiB) 916012 [startup+2263.05 s] /proc/loadavg: 2.00 2.00 2.00 3/100 5102 /proc/meminfo: memFree=986696/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=916012 CPUtime=2242.17 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 38490 0 1 0 223979 238 0 0 25 0 8 0 270286661 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 229003 38147 2549 14 0 215473 0 [pid=5064/tid=5066] ppid=5060 vsize=916012 CPUtime=0.93 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 21195 0 0 0 87 6 0 0 16 0 8 0 270286665 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=916012 CPUtime=0.43 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 621 0 0 0 41 2 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2242.17 Current children cumulated vsize (KiB) 916012 [startup+2323.06 s] /proc/loadavg: 2.00 2.00 2.00 3/100 5102 /proc/meminfo: memFree=986696/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=916012 CPUtime=2301.63 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 38490 0 1 0 229924 239 0 0 25 0 8 0 270286661 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5064/statm: 229003 38147 2549 14 0 215473 0 [pid=5064/tid=5066] ppid=5060 vsize=916012 CPUtime=0.93 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 21195 0 0 0 87 6 0 0 16 0 8 0 270286665 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=916012 CPUtime=0.43 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 621 0 0 0 41 2 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2301.63 Current children cumulated vsize (KiB) 916012 [startup+2383.07 s] /proc/loadavg: 1.93 1.98 1.99 3/95 5182 /proc/meminfo: memFree=1252272/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=916012 CPUtime=2361.23 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 38490 0 1 0 235879 244 0 0 25 0 8 0 270286661 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5064/statm: 229003 38147 2549 14 0 215473 0 [pid=5064/tid=5066] ppid=5060 vsize=916012 CPUtime=0.93 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 21195 0 0 0 87 6 0 0 16 0 8 0 270286665 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=916012 CPUtime=0.43 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 621 0 0 0 41 2 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2361.23 Current children cumulated vsize (KiB) 916012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2421.94 s] /proc/loadavg: 2.01 2.00 2.00 3/94 5183 /proc/meminfo: memFree=1251768/2055920 swapFree=4192812/4192956 [pid=5064] ppid=5060 vsize=916012 CPUtime=2400.07 /proc/5064/stat : 5064 (java) R 5060 5064 4164 0 -1 0 38490 0 1 0 239763 244 0 0 25 0 8 0 270286661 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5064/statm: 229003 38147 2549 14 0 215473 0 [pid=5064/tid=5066] ppid=5060 vsize=916012 CPUtime=0.93 /proc/5064/task/5066/stat : 5066 (java) S 5060 5064 4164 0 -1 64 21195 0 0 0 87 6 0 0 16 0 8 0 270286665 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5067] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5067/stat : 5067 (java) S 5060 5064 4164 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5068] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5068/stat : 5068 (java) S 5060 5064 4164 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270286666 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5069] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5069/stat : 5069 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5070] ppid=5060 vsize=916012 CPUtime=0.43 /proc/5064/task/5070/stat : 5070 (java) S 5060 5064 4164 0 -1 64 621 0 0 0 41 2 0 0 15 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5071] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5071/stat : 5071 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270286669 937996288 38147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5064/tid=5072] ppid=5060 vsize=916012 CPUtime=0 /proc/5064/task/5072/stat : 5072 (java) S 5060 5064 4164 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270286669 937996288 38147 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): 2422.01 CPU time (s): 2400.14 CPU user time (s): 2397.67 CPU system time (s): 2.47062 CPU usage (%): 99.0968 Max. virtual memory (cumulated for all children) (KiB): 916012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.67 system time used= 2.47062 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38514 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= 50783 involuntary context switches= 124909 runsolver used 3.21051 s user time and 7.75382 s system time The end
Begin job on node17 on Fri Jan 19 15:01:59 UTC 2007 IDJOB= 275261 IDBENCH= 3747 IDSOLVER= 68 FILE ID= node17/275261-1169218919 PBS_JOBID= 3588906 Free space on /tmp= 66551 MiB SOLVER NAME= AbsconMax 109 EPFC 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 epfc.xml 1 XSax /tmp/evaluation/275261-1169218919/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-275261-1169218919 -o ROOT/results/node17/solver-275261-1169218919 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275261-1169218919/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 9e78c37f84975ac2cde8c3ed71f26ee9 RANDOM SEED= 14144405 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.236 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.236 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: 1284568 kB Buffers: 44204 kB Cached: 483544 kB SwapCached: 0 kB Active: 335252 kB Inactive: 360332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1284568 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 6324 kB Writeback: 0 kB Mapped: 196484 kB Slab: 59904 kB Committed_AS: 8467844 kB PageTables: 2744 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= 66556 MiB End job on node17 on Fri Jan 19 15:42:21 UTC 2007