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.09 | 2421.38 |
| Name | fapp/fapp11-15/fapp13/ fapp13-2000-0.xml |
| MD5SUM | a32198ea21ca0bec318dd728ce382b21 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 23963 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 2000 |
| Number of constraints | 25652 |
| Maximum constraint arity | 2 |
| Maximum domain size | 190 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 25652 |
| 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/275297-1169219829/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.64 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190 0.64 => wckTime=0.327 cpuTime=0.22 mem=20M547 0.64 0.64 predicates being loaded... 0.65 0.65 constraints being loaded... 57.38 nbConstraints=25652 nbConvertedConstraints=25652 nbConvertConstraintsChecks=164885234 57.38 nbExtensionStructures=10500 nbSharedExtensionStructures=15152 nbConflictsStructures=10500 57.38 nbSharedConflictsStructures=15152 nbSharedBinaryRepresentations=2661175 maxDegree=33 maxArity=2 57.38 => wckTime=57.067 cpuTime=55.95 mem=73M366 57.68 57.68 solver LocalSearchSolver being built... 57.73 => wckTime=57.415 cpuTime=56.01 mem=64M903 57.82 57.82 s SATISFIABLE 57.82 o 19297 57.82 c 6355 57.84 o 19305 57.84 c 6347 57.86 o 19311 57.86 c 6341 57.88 o 19317 57.88 c 6335 57.89 o 19323 57.89 c 6329 57.90 o 19328 57.90 c 6324 57.91 o 19332 57.91 c 6320 57.92 o 19340 57.92 c 6312 57.93 o 19346 57.93 c 6306 57.94 o 19352 57.94 c 6300 57.95 o 19358 57.95 c 6294 57.96 o 19363 57.96 c 6289 57.97 o 19367 57.97 c 6285 57.98 o 19371 57.98 c 6281 57.99 o 19374 57.99 c 6278 58.00 o 19377 58.00 c 6275 58.01 o 19380 58.01 c 6272 58.02 o 19382 58.02 c 6270 58.02 o 19384 58.02 c 6268 58.03 o 19386 58.03 c 6266 58.04 o 19388 58.04 c 6264 58.05 o 19389 58.05 c 6263 58.06 o 19390 58.06 c 6262 58.06 o 19400 58.06 c 6252 58.08 o 19409 58.08 c 6243 58.09 o 19418 58.09 c 6234 58.10 o 19426 58.10 c 6226 58.11 o 19432 58.11 c 6220 58.12 o 19438 58.12 c 6214 58.13 o 19444 58.13 c 6208 58.15 o 19449 58.15 c 6203 58.16 o 19454 58.16 c 6198 58.17 o 19459 58.17 c 6193 58.18 o 19463 58.18 c 6189 58.19 o 19467 58.19 c 6185 58.20 o 19471 58.20 c 6181 58.22 o 19475 58.22 c 6177 58.23 o 19482 58.23 c 6170 58.24 o 19483 58.24 c 6169 58.25 o 19486 58.25 c 6166 58.25 o 19489 58.25 c 6163 58.26 o 19492 58.26 c 6160 58.27 o 19495 58.27 c 6157 58.29 o 19497 58.29 c 6155 58.30 o 19498 58.30 c 6154 58.30 o 19499 58.30 c 6153 58.31 o 19500 58.31 c 6152 58.33 o 19502 58.33 c 6150 58.34 o 19507 58.34 c 6145 58.35 o 19513 58.35 c 6139 58.36 o 19516 58.36 c 6136 58.37 o 19526 58.37 c 6126 58.39 o 19534 58.39 c 6118 58.40 o 19543 58.40 c 6109 58.42 o 19551 58.42 c 6101 58.43 o 19558 58.43 c 6094 58.45 o 19565 58.45 c 6087 58.46 o 19571 58.47 c 6081 58.48 o 19576 58.48 c 6076 58.50 o 19580 58.50 c 6072 58.51 o 19584 58.51 c 6068 58.53 o 19588 58.53 c 6064 58.54 o 19598 58.54 c 6054 58.56 o 19602 58.56 c 6050 58.57 o 19606 58.57 c 6046 58.59 o 19610 58.59 c 6042 58.60 o 19613 58.60 c 6039 58.61 o 19616 58.61 c 6036 58.62 o 19619 58.62 c 6033 58.63 o 19622 58.63 c 6030 58.64 o 19625 58.65 c 6027 58.66 o 19628 58.66 c 6024 58.67 o 19631 58.67 c 6021 58.68 o 19633 58.68 c 6019 58.69 o 19636 58.69 c 6016 58.69 o 19638 58.69 c 6014 58.70 o 19639 58.70 c 6013 58.71 o 19640 58.71 c 6012 58.72 o 19641 58.72 c 6011 58.73 o 19642 58.73 c 6010 58.74 o 19643 58.74 c 6009 58.74 o 19649 58.74 c 6003 58.77 o 19656 58.77 c 5996 58.77 o 19660 58.77 c 5992 58.78 o 19663 58.78 c 5989 58.80 o 19667 58.80 c 5985 58.81 o 19670 58.81 c 5982 58.82 o 19674 58.82 c 5978 58.83 o 19679 58.83 c 5973 58.85 o 19681 58.85 c 5971 58.86 o 19685 58.86 c 5967 58.89 o 19693 58.89 c 5959 58.91 o 19701 58.91 c 5951 58.92 o 19703 58.92 c 5949 58.93 o 19710 58.93 c 5942 58.95 o 19716 58.95 c 5936 58.96 o 19722 58.96 c 5930 58.97 o 19728 58.97 c 5924 58.99 o 19734 58.99 c 5918 59.00 o 19739 59.00 c 5913 59.01 o 19744 59.01 c 5908 59.02 o 19748 59.02 c 5904 59.04 o 19752 59.04 c 5900 59.05 o 19756 59.05 c 5896 59.06 o 19759 59.06 c 5893 59.07 o 19762 59.07 c 5890 59.08 o 19765 59.08 c 5887 59.09 o 19768 59.09 c 5884 59.10 o 19771 59.10 c 5881 59.11 o 19774 59.11 c 5878 59.12 o 19776 59.12 c 5876 59.13 o 19778 59.13 c 5874 59.14 o 19779 59.14 c 5873 59.15 o 19781 59.15 c 5871 59.16 o 19782 59.16 c 5870 59.17 o 19784 59.17 c 5868 59.17 o 19785 59.18 c 5867 59.19 o 19786 59.19 c 5866 59.20 o 19789 59.20 c 5863 59.21 o 19798 59.21 c 5854 59.21 o 19800 59.21 c 5852 59.22 o 19803 59.22 c 5849 59.23 o 19804 59.23 c 5848 59.24 o 19810 59.24 c 5842 59.25 o 19817 59.25 c 5835 59.26 o 19823 59.26 c 5829 59.28 o 19829 59.28 c 5823 59.29 o 19833 59.29 c 5819 59.30 o 19840 59.30 c 5812 59.33 o 19842 59.33 c 5810 59.34 o 19847 59.34 c 5805 59.35 o 19849 59.35 c 5803 59.36 o 19859 59.36 c 5793 59.37 o 19860 59.37 c 5792 59.38 o 19865 59.38 c 5787 59.39 o 19870 59.39 c 5782 59.40 o 19872 59.40 c 5780 59.40 o 19879 59.40 c 5773 59.41 o 19882 59.41 c 5770 59.42 o 19884 59.42 c 5768 59.43 o 19885 59.43 c 5767 59.44 o 19887 59.44 c 5765 59.46 o 19890 59.46 c 5762 59.47 o 19894 59.47 c 5758 59.48 o 19899 59.48 c 5753 59.49 o 19905 59.49 c 5747 59.50 o 19909 59.50 c 5743 59.51 o 19916 59.51 c 5736 59.52 o 19924 59.52 c 5728 59.54 o 19928 59.54 c 5724 59.55 o 19936 59.55 c 5716 59.56 o 19944 59.56 c 5708 59.58 o 19951 59.58 c 5701 59.60 o 19957 59.60 c 5695 59.61 o 19962 59.61 c 5690 59.63 o 19968 59.63 c 5684 59.64 o 19973 59.64 c 5679 59.65 o 19978 59.65 c 5674 59.67 o 19983 59.67 c 5669 59.69 o 19987 59.69 c 5665 59.70 o 19991 59.70 c 5661 59.71 o 19995 59.71 c 5657 59.72 o 19999 59.72 c 5653 59.74 o 20002 59.74 c 5650 59.75 o 20005 59.75 c 5647 59.76 o 20008 59.76 c 5644 59.77 o 20011 59.77 c 5641 59.78 o 20014 59.78 c 5638 59.80 o 20017 59.80 c 5635 59.81 o 20020 59.81 c 5632 59.82 o 20023 59.82 c 5629 59.83 o 20025 59.83 c 5627 59.84 o 20027 59.84 c 5625 59.85 o 20029 59.85 c 5623 59.87 o 20030 59.87 c 5622 59.88 o 20036 59.88 c 5616 59.89 o 20037 59.89 c 5615 59.90 o 20038 59.90 c 5614 59.91 o 20039 59.91 c 5613 59.92 o 20041 59.92 c 5611 59.93 o 20042 59.93 c 5610 59.96 o 20043 59.96 c 5609 59.97 o 20047 59.97 c 5605 59.98 o 20053 59.98 c 5599 59.99 o 20058 59.99 c 5594 60.00 o 20063 60.00 c 5589 60.01 o 20067 60.01 c 5585 60.02 o 20068 60.02 c 5584 60.03 o 20069 60.03 c 5583 60.05 o 20072 60.05 c 5580 60.06 o 20074 60.06 c 5578 60.07 o 20077 60.07 c 5575 60.08 o 20079 60.08 c 5573 60.09 o 20080 60.09 c 5572 60.11 o 20081 60.11 c 5571 60.12 o 20083 60.12 c 5569 60.13 o 20091 60.13 c 5561 60.14 o 20094 60.14 c 5558 60.15 o 20097 60.15 c 5555 60.17 o 20104 60.17 c 5548 60.18 o 20108 60.18 c 5544 60.19 o 20112 60.19 c 5540 60.20 o 20114 60.20 c 5538 60.22 o 20115 60.22 c 5537 60.23 o 20117 60.23 c 5535 60.25 o 20120 60.25 c 5532 60.26 o 20124 60.26 c 5528 60.27 o 20128 60.27 c 5524 60.29 o 20133 60.29 c 5519 60.30 o 20134 60.30 c 5518 60.34 o 20135 60.34 c 5517 60.36 o 20141 60.36 c 5511 60.37 o 20144 60.37 c 5508 60.38 o 20145 60.38 c 5507 60.40 o 20149 60.40 c 5503 60.41 o 20156 60.41 c 5496 60.42 o 20158 60.42 c 5494 60.43 o 20159 60.43 c 5493 60.45 o 20162 60.45 c 5490 60.46 o 20164 60.46 c 5488 60.47 o 20166 60.47 c 5486 60.49 o 20172 60.49 c 5480 60.50 o 20174 60.50 c 5478 60.51 o 20175 60.51 c 5477 60.52 o 20180 60.52 c 5472 60.54 o 20182 60.54 c 5470 60.55 o 20184 60.55 c 5468 60.56 o 20189 60.56 c 5463 60.57 o 20192 60.57 c 5460 60.59 o 20195 60.59 c 5457 60.60 o 20198 60.60 c 5454 60.63 o 20203 60.63 c 5449 60.64 o 20208 60.64 c 5444 60.65 o 20210 60.65 c 5442 60.66 o 20217 60.66 c 5435 60.68 o 20222 60.68 c 5430 60.69 o 20224 60.69 c 5428 60.73 o 20226 60.73 c 5426 60.75 o 20228 60.75 c 5424 60.78 o 20235 60.78 c 5417 60.82 o 20239 60.82 c 5413 60.84 o 20240 60.84 c 5412 60.85 o 20245 60.86 c 5407 60.87 o 20252 60.87 c 5400 60.89 o 20253 60.89 c 5399 60.91 o 20259 60.91 c 5393 60.93 o 20263 60.93 c 5389 60.95 o 20267 60.95 c 5385 60.96 o 20271 60.96 c 5381 60.98 o 20276 60.98 c 5376 61.00 o 20279 61.00 c 5373 61.02 o 20285 61.02 c 5367 61.04 o 20288 61.04 c 5364 61.05 o 20291 61.05 c 5361 61.07 o 20294 61.07 c 5358 61.11 o 20297 61.11 c 5355 61.12 o 20300 61.12 c 5352 61.14 o 20302 61.14 c 5350 61.15 o 20306 61.15 c 5346 61.17 o 20308 61.17 c 5344 61.18 o 20310 61.18 c 5342 61.20 o 20312 61.20 c 5340 61.21 o 20314 61.21 c 5338 61.22 o 20316 61.22 c 5336 61.24 o 20319 61.24 c 5333 61.25 o 20325 61.25 c 5327 61.26 o 20329 61.26 c 5323 61.27 o 20331 61.27 c 5321 61.28 o 20332 61.28 c 5320 61.30 o 20333 61.30 c 5319 61.33 o 20337 61.33 c 5315 61.35 o 20339 61.35 c 5313 61.41 o 20344 61.41 c 5308 61.45 o 20348 61.45 c 5304 61.46 o 20351 61.46 c 5301 61.47 o 20357 61.47 c 5295 61.48 o 20360 61.48 c 5292 61.49 o 20361 61.49 c 5291 61.51 o 20362 61.51 c 5290 61.52 o 20364 61.52 c 5288 61.54 o 20372 61.54 c 5280 61.55 o 20373 61.55 c 5279 61.57 o 20375 61.57 c 5277 61.61 o 20377 61.61 c 5275 61.62 o 20380 61.62 c 5272 61.64 o 20384 61.64 c 5268 61.66 o 20387 61.66 c 5265 61.67 o 20391 61.67 c 5261 61.68 o 20396 61.68 c 5256 61.70 o 20397 61.70 c 5255 61.72 o 20402 61.72 c 5250 61.74 o 20403 61.74 c 5249 61.76 o 20406 61.76 c 5246 61.77 o 20407 61.77 c 5245 61.78 o 20411 61.78 c 5241 61.80 o 20413 61.80 c 5239 61.83 o 20416 61.83 c 5236 61.84 o 20419 61.84 c 5233 61.86 o 20420 61.86 c 5232 61.87 o 20426 61.87 c 5226 61.88 o 20429 61.88 c 5223 61.90 o 20432 61.90 c 5220 61.93 o 20436 61.93 c 5216 61.94 o 20444 61.94 c 5208 61.96 o 20448 61.96 c 5204 61.98 o 20450 61.98 c 5202 61.99 o 20453 61.99 c 5199 62.00 o 20456 62.00 c 5196 62.01 o 20462 62.01 c 5190 62.02 o 20466 62.03 c 5186 62.04 o 20467 62.04 c 5185 62.05 o 20469 62.05 c 5183 62.07 o 20471 62.07 c 5181 62.08 o 20473 62.08 c 5179 62.09 o 20478 62.09 c 5174 62.10 o 20479 62.10 c 5173 62.11 o 20484 62.11 c 5168 62.13 o 20489 62.13 c 5163 62.14 o 20491 62.14 c 5161 62.17 o 20495 62.17 c 5157 62.19 o 20496 62.19 c 5156 62.20 o 20498 62.20 c 5154 62.21 o 20499 62.21 c 5153 62.25 o 20501 62.25 c 5151 62.26 o 20503 62.26 c 5149 62.28 o 20504 62.28 c 5148 62.29 o 20505 62.29 c 5147 62.31 o 20514 62.31 c 5138 62.33 o 20519 62.33 c 5133 62.34 o 20520 62.34 c 5132 62.36 o 20523 62.36 c 5129 62.39 o 20527 62.39 c 5125 62.46 o 20532 62.46 c 5120 62.48 o 20537 62.48 c 5115 62.50 o 20541 62.50 c 5111 62.52 o 20543 62.52 c 5109 62.54 o 20547 62.54 c 5105 62.56 o 20551 62.56 c 5101 62.58 o 20555 62.58 c 5097 62.60 o 20558 62.60 c 5094 62.62 o 20560 62.62 c 5092 62.64 o 20562 62.64 c 5090 62.66 o 20565 62.66 c 5087 62.68 o 20568 62.68 c 5084 62.70 o 20571 62.70 c 5081 62.72 o 20573 62.72 c 5079 62.74 o 20575 62.74 c 5077 62.76 o 20577 62.76 c 5075 62.77 o 20579 62.77 c 5073 62.79 o 20581 62.79 c 5071 62.81 o 20582 62.81 c 5070 62.83 o 20583 62.83 c 5069 62.85 o 20584 62.85 c 5068 62.86 o 20585 62.86 c 5067 62.88 o 20586 62.88 c 5066 63.00 o 20589 63.00 c 5063 63.02 o 20595 63.02 c 5057 63.14 o 20597 63.14 c 5055 63.19 o 20601 63.19 c 5051 63.21 o 20602 63.21 c 5050 63.22 o 20606 63.22 c 5046 63.24 o 20609 63.25 c 5043 63.33 o 20612 63.33 c 5040 63.35 o 20615 63.35 c 5037 63.37 o 20620 63.37 c 5032 63.38 o 20624 63.38 c 5028 63.42 o 20625 63.42 c 5027 63.47 o 20628 63.47 c 5024 63.48 o 20629 63.48 c 5023 63.53 o 20633 63.53 c 5019 63.63 o 20637 63.63 c 5015 63.65 o 20638 63.65 c 5014 63.66 o 20640 63.66 c 5012 63.68 o 20642 63.68 c 5010 63.70 o 20646 63.70 c 5006 63.72 o 20647 63.72 c 5005 63.74 o 20649 63.74 c 5003 63.76 o 20651 63.76 c 5001 63.77 o 20654 63.77 c 4998 63.79 o 20658 63.79 c 4994 63.81 o 20659 63.81 c 4993 63.88 o 20663 63.88 c 4989 63.90 o 20666 63.90 c 4986 63.92 o 20669 63.92 c 4983 63.94 o 20671 63.94 c 4981 63.97 o 20675 63.97 c 4977 63.99 o 20679 63.99 c 4973 64.01 o 20680 64.01 c 4972 64.03 o 20683 64.03 c 4969 64.05 o 20687 64.05 c 4965 64.07 o 20689 64.07 c 4963 64.09 o 20692 64.09 c 4960 64.13 o 20695 64.13 c 4957 64.15 o 20697 64.15 c 4955 64.17 o 20704 64.17 c 4948 64.20 o 20709 64.20 c 4943 64.22 o 20716 64.22 c 4936 64.24 o 20719 64.24 c 4933 64.26 o 20725 64.26 c 4927 64.28 o 20727 64.28 c 4925 64.30 o 20731 64.30 c 4921 64.32 o 20733 64.32 c 4919 64.34 o 20737 64.34 c 4915 64.36 o 20744 64.36 c 4908 64.39 o 20747 64.39 c 4905 64.41 o 20748 64.41 c 4904 64.42 o 20750 64.42 c 4902 64.45 o 20752 64.45 c 4900 64.47 o 20753 64.47 c 4899 64.49 o 20755 64.49 c 4897 64.51 o 20757 64.51 c 4895 64.53 o 20761 64.53 c 4891 64.55 o 20762 64.55 c 4890 64.59 o 20764 64.59 c 4888 64.61 o 20766 64.61 c 4886 64.63 o 20768 64.63 c 4884 64.65 o 20773 64.65 c 4879 64.67 o 20776 64.67 c 4876 64.71 o 20780 64.71 c 4872 64.75 o 20783 64.75 c 4869 64.77 o 20786 64.77 c 4866 64.79 o 20790 64.79 c 4862 64.81 o 20792 64.81 c 4860 64.93 o 20795 64.93 c 4857 64.99 o 20797 64.99 c 4855 65.01 o 20798 65.01 c 4854 65.05 o 20801 65.05 c 4851 65.07 o 20802 65.07 c 4850 65.09 o 20804 65.09 c 4848 65.11 o 20805 65.11 c 4847 65.13 o 20807 65.13 c 4845 65.15 o 20810 65.15 c 4842 65.19 o 20811 65.19 c 4841 65.23 o 20812 65.23 c 4840 65.25 o 20813 65.25 c 4839 65.29 o 20816 65.29 c 4836 65.31 o 20820 65.31 c 4832 65.34 o 20823 65.34 c 4829 65.36 o 20826 65.36 c 4826 65.38 o 20828 65.38 c 4824 65.41 o 20830 65.41 c 4822 65.43 o 20832 65.43 c 4820 65.45 o 20834 65.45 c 4818 65.47 o 20836 65.47 c 4816 65.49 o 20838 65.49 c 4814 65.51 o 20840 65.51 c 4812 65.54 o 20842 65.54 c 4810 65.56 o 20844 65.56 c 4808 65.58 o 20845 65.58 c 4807 65.60 o 20846 65.60 c 4806 65.62 o 20850 65.62 c 4802 65.65 o 20853 65.65 c 4799 65.67 o 20854 65.67 c 4798 65.71 o 20859 65.71 c 4793 65.73 o 20863 65.73 c 4789 65.76 o 20865 65.76 c 4787 65.84 o 20866 65.84 c 4786 65.86 o 20871 65.86 c 4781 65.90 o 20874 65.90 c 4778 65.92 o 20876 65.92 c 4776 65.94 o 20878 65.94 c 4774 65.96 o 20879 65.96 c 4773 65.99 o 20882 65.99 c 4770 66.01 o 20887 66.01 c 4765 66.03 o 20888 66.03 c 4764 66.05 o 20889 66.05 c 4763 66.07 o 20890 66.07 c 4762 66.09 o 20891 66.09 c 4761 66.12 o 20893 66.12 c 4759 66.18 o 20894 66.18 c 4758 66.24 o 20900 66.24 c 4752 66.28 o 20902 66.28 c 4750 66.30 o 20903 66.30 c 4749 66.32 o 20906 66.32 c 4746 66.34 o 20911 66.34 c 4741 66.36 o 20912 66.36 c 4740 66.46 o 20916 66.46 c 4736 66.48 o 20920 66.48 c 4732 66.49 o 20922 66.49 c 4730 66.51 o 20924 66.51 c 4728 66.53 o 20926 66.53 c 4726 66.55 o 20932 66.55 c 4720 66.56 o 20933 66.56 c 4719 66.58 o 20936 66.58 c 4716 66.60 o 20938 66.60 c 4714 66.62 o 20939 66.62 c 4713 66.63 o 20940 66.63 c 4712 66.65 o 20945 66.65 c 4707 66.67 o 20948 66.67 c 4704 66.69 o 20952 66.69 c 4700 66.71 o 20957 66.71 c 4695 66.72 o 20959 66.72 c 4693 66.76 o 20961 66.76 c 4691 66.80 o 20966 66.80 c 4686 66.82 o 20970 66.82 c 4682 66.85 o 20971 66.85 c 4681 66.87 o 20973 66.87 c 4679 66.89 o 20978 66.89 c 4674 66.91 o 20980 66.91 c 4672 66.93 o 20982 66.93 c 4670 66.95 o 20983 66.95 c 4669 66.96 o 20985 66.96 c 4667 66.98 o 20986 66.98 c 4666 67.00 o 20990 67.00 c 4662 67.02 o 20991 67.02 c 4661 67.04 o 20995 67.04 c 4657 67.06 o 20999 67.06 c 4653 67.08 o 21003 67.08 c 4649 67.10 o 21007 67.10 c 4645 67.12 o 21009 67.12 c 4643 67.14 o 21012 67.14 c 4640 67.16 o 21014 67.16 c 4638 67.18 o 21020 67.18 c 4632 67.27 o 21023 67.27 c 4629 67.30 o 21026 67.30 c 4626 67.31 o 21029 67.31 c 4623 67.35 o 21030 67.35 c 4622 67.37 o 21033 67.37 c 4619 67.39 o 21035 67.39 c 4617 67.41 o 21039 67.41 c 4613 67.43 o 21042 67.43 c 4610 67.45 o 21043 67.45 c 4609 67.46 o 21044 67.46 c 4608 67.49 o 21046 67.49 c 4606 67.52 o 21048 67.52 c 4604 67.55 o 21052 67.55 c 4600 67.63 o 21054 67.63 c 4598 67.66 o 21057 67.66 c 4595 67.70 o 21062 67.70 c 4590 67.72 o 21063 67.72 c 4589 67.80 o 21068 67.80 c 4584 67.83 o 21070 67.83 c 4582 67.87 o 21074 67.87 c 4578 67.89 o 21077 67.89 c 4575 67.91 o 21079 67.91 c 4573 67.96 o 21083 67.96 c 4569 67.98 o 21085 67.98 c 4567 68.00 o 21086 68.00 c 4566 68.02 o 21088 68.02 c 4564 68.05 o 21091 68.05 c 4561 68.07 o 21093 68.07 c 4559 68.09 o 21094 68.09 c 4558 68.15 o 21098 68.15 c 4554 68.17 o 21101 68.17 c 4551 68.19 o 21105 68.19 c 4547 68.21 o 21109 68.21 c 4543 68.23 o 21110 68.23 c 4542 68.25 o 21111 68.25 c 4541 68.27 o 21112 68.27 c 4540 68.35 o 21114 68.35 c 4538 68.39 o 21115 68.39 c 4537 68.41 o 21119 68.41 c 4533 68.45 o 21125 68.45 c 4527 68.48 o 21126 68.48 c 4526 68.50 o 21127 68.50 c 4525 68.52 o 21129 68.52 c 4523 68.55 o 21133 68.55 c 4519 68.57 o 21136 68.57 c 4516 68.65 o 21144 68.65 c 4508 68.66 o 21147 68.66 c 4505 68.68 o 21148 68.68 c 4504 68.70 o 21151 68.70 c 4501 68.73 o 21153 68.73 c 4499 68.77 o 21154 68.77 c 4498 68.79 o 21156 68.79 c 4496 68.86 o 21157 68.86 c 4495 68.88 o 21161 68.88 c 4491 68.90 o 21164 68.90 c 4488 68.92 o 21167 68.92 c 4485 68.94 o 21168 68.94 c 4484 68.99 o 21174 68.99 c 4478 69.01 o 21178 69.01 c 4474 69.03 o 21180 69.03 c 4472 69.05 o 21182 69.05 c 4470 69.14 o 21183 69.14 c 4469 69.16 o 21184 69.16 c 4468 69.18 o 21185 69.18 c 4467 69.21 o 21186 69.21 c 4466 69.23 o 21187 69.23 c 4465 69.25 o 21189 69.25 c 4463 69.28 o 21190 69.28 c 4462 69.30 o 21194 69.30 c 4458 69.33 o 21196 69.33 c 4456 69.35 o 21200 69.35 c 4452 69.37 o 21202 69.37 c 4450 69.40 o 21203 69.40 c 4449 69.42 o 21204 69.42 c 4448 69.45 o 21205 69.45 c 4447 69.47 o 21206 69.47 c 4446 69.49 o 21207 69.49 c 4445 69.72 o 21212 69.72 c 4440 69.74 o 21213 69.74 c 4439 69.76 o 21217 69.76 c 4435 69.78 o 21219 69.78 c 4433 69.90 o 21220 69.90 c 4432 69.93 o 21223 69.93 c 4429 69.98 o 21228 69.98 c 4424 70.01 o 21230 70.01 c 4422 70.03 o 21236 70.03 c 4416 70.06 o 21241 70.06 c 4411 70.08 o 21246 70.08 c 4406 70.14 o 21249 70.14 c 4403 70.16 o 21250 70.16 c 4402 70.19 o 21252 70.19 c 4400 70.25 o 21255 70.25 c 4397 70.27 o 21261 70.27 c 4391 70.30 o 21263 70.30 c 4389 70.36 o 21266 70.36 c 4386 70.39 o 21269 70.39 c 4383 70.42 o 21271 70.42 c 4381 70.45 o 21273 70.45 c 4379 70.48 o 21276 70.48 c 4376 70.53 o 21278 70.53 c 4374 70.59 o 21282 70.59 c 4370 70.62 o 21283 70.62 c 4369 70.68 o 21291 70.68 c 4361 70.74 o 21292 70.74 c 4360 70.77 o 21293 70.77 c 4359 70.81 o 21294 70.81 c 4358 70.87 o 21295 70.87 c 4357 70.89 o 21301 70.89 c 4351 70.93 o 21303 70.93 c 4349 70.96 o 21307 70.96 c 4345 70.99 o 21312 70.99 c 4340 71.07 o 21315 71.08 c 4337 71.10 o 21318 71.10 c 4334 71.13 o 21320 71.13 c 4332 71.19 o 21323 71.19 c 4329 71.22 o 21328 71.22 c 4324 71.31 o 21331 71.31 c 4321 71.34 o 21332 71.34 c 4320 71.42 o 21333 71.42 c 4319 71.45 o 21334 71.45 c 4318 71.51 o 21338 71.51 c 4314 71.53 o 21339 71.54 c 4313 71.59 o 21340 71.59 c 4312 71.62 o 21342 71.62 c 4310 71.65 o 21345 71.65 c 4307 71.68 o 21348 71.68 c 4304 71.76 o 21350 71.76 c 4302 71.79 o 21355 71.79 c 4297 71.85 o 21362 71.85 c 4290 71.91 o 21367 71.91 c 4285 71.94 o 21370 71.94 c 4282 71.96 o 21372 71.96 c 4280 72.00 o 21378 72.00 c 4274 72.09 o 21381 72.09 c 4271 72.15 o 21384 72.15 c 4268 72.18 o 21388 72.18 c 4264 72.20 o 21389 72.20 c 4263 72.27 o 21391 72.27 c 4261 72.30 o 21394 72.30 c 4258 72.33 o 21396 72.33 c 4256 72.39 o 21398 72.39 c 4254 72.48 o 21399 72.48 c 4253 72.55 o 21402 72.55 c 4250 72.57 o 21404 72.57 c 4248 72.60 o 21405 72.60 c 4247 72.64 o 21409 72.64 c 4243 72.67 o 21414 72.67 c 4238 72.70 o 21416 72.70 c 4236 72.74 o 21417 72.74 c 4235 72.77 o 21421 72.77 c 4231 72.80 o 21428 72.80 c 4224 72.83 o 21429 72.83 c 4223 72.86 o 21435 72.86 c 4217 72.90 o 21437 72.90 c 4215 72.93 o 21438 72.93 c 4214 72.96 o 21441 72.96 c 4211 73.08 o 21445 73.08 c 4207 73.14 o 21446 73.14 c 4206 73.24 o 21448 73.24 c 4204 73.30 o 21451 73.30 c 4201 73.34 o 21453 73.34 c 4199 73.37 o 21454 73.37 c 4198 73.40 o 21456 73.41 c 4196 73.44 o 21458 73.44 c 4194 73.48 o 21459 73.48 c 4193 73.51 o 21462 73.51 c 4190 73.59 o 21466 73.59 c 4186 73.63 o 21469 73.63 c 4183 73.77 o 21471 73.77 c 4181 73.84 o 21475 73.84 c 4177 73.87 o 21476 73.87 c 4176 73.91 o 21480 73.91 c 4172 73.94 o 21482 73.94 c 4170 74.04 o 21483 74.04 c 4169 74.08 o 21484 74.08 c 4168 74.11 o 21487 74.11 c 4165 74.14 o 21489 74.15 c 4163 74.18 o 21496 74.18 c 4156 74.38 o 21497 74.38 c 4155 74.41 o 21498 74.42 c 4154 74.85 o 21500 74.85 c 4152 74.93 o 21501 74.93 c 4151 75.08 o 21502 75.08 c 4150 75.12 o 21503 75.12 c 4149 75.19 o 21507 75.19 c 4145 75.23 o 21509 75.23 c 4143 75.46 o 21512 75.46 c 4140 75.53 o 21514 75.53 c 4138 75.63 o 21517 75.63 c 4135 75.67 o 21522 75.67 c 4130 75.71 o 21527 75.71 c 4125 75.78 o 21529 75.78 c 4123 75.81 o 21533 75.81 c 4119 75.92 o 21538 75.92 c 4114 75.95 o 21539 75.95 c 4113 76.06 o 21544 76.06 c 4108 76.10 o 21545 76.10 c 4107 76.14 o 21548 76.14 c 4104 76.17 o 21550 76.17 c 4102 76.29 o 21551 76.29 c 4101 76.40 o 21552 76.40 c 4100 76.47 o 21554 76.48 c 4098 76.51 o 21558 76.51 c 4094 76.55 o 21561 76.55 c 4091 76.63 o 21563 76.63 c 4089 76.79 o 21564 76.79 c 4088 76.83 o 21566 76.83 c 4086 76.95 o 21569 76.95 c 4083 76.99 o 21572 76.99 c 4080 77.03 o 21574 77.03 c 4078 77.18 o 21578 77.18 c 4074 77.22 o 21579 77.22 c 4073 77.26 o 21580 77.26 c 4072 77.34 o 21582 77.34 c 4070 77.37 o 21587 77.37 c 4065 77.41 o 21589 77.41 c 4063 77.45 o 21594 77.45 c 4058 77.53 o 21596 77.53 c 4056 77.57 o 21598 77.57 c 4054 77.61 o 21599 77.61 c 4053 77.65 o 21600 77.65 c 4052 77.77 o 21601 77.77 c 4051 77.81 o 21605 77.81 c 4047 77.85 o 21607 77.85 c 4045 77.89 o 21610 77.89 c 4042 77.97 o 21612 77.97 c 4040 78.01 o 21614 78.01 c 4038 78.05 o 21618 78.05 c 4034 78.10 o 21619 78.10 c 4033 78.13 o 21620 78.13 c 4032 78.18 o 21622 78.18 c 4030 78.22 o 21626 78.22 c 4026 78.27 o 21630 78.27 c 4022 78.31 o 21634 78.31 c 4018 78.35 o 21638 78.35 c 4014 78.39 o 21642 78.39 c 4010 78.43 o 21643 78.43 c 4009 78.47 o 21644 78.47 c 4008 78.51 o 21645 78.51 c 4007 78.56 o 21648 78.56 c 4004 78.68 o 21654 78.68 c 3998 78.72 o 21655 78.72 c 3997 78.77 o 21657 78.77 c 3995 78.81 o 21659 78.81 c 3993 78.85 o 21662 78.85 c 3990 78.90 o 21667 78.90 c 3985 78.94 o 21671 78.94 c 3981 79.02 o 21673 79.02 c 3979 79.07 o 21674 79.07 c 3978 79.28 o 21679 79.28 c 3973 79.32 o 21680 79.32 c 3972 79.36 o 21683 79.36 c 3969 79.40 o 21686 79.40 c 3966 79.48 o 21692 79.48 c 3960 79.52 o 21695 79.52 c 3957 79.56 o 21697 79.56 c 3955 80.22 o 21699 80.22 c 3953 80.30 o 21700 80.30 c 3952 80.34 o 21703 80.34 c 3949 80.38 o 21706 80.38 c 3946 80.42 o 21709 80.42 c 3943 80.50 o 21711 80.50 c 3941 80.54 o 21713 80.54 c 3939 80.58 o 21714 80.58 c 3938 80.62 o 21720 80.62 c 3932 80.66 o 21721 80.66 c 3931 80.71 o 21722 80.71 c 3930 80.75 o 21723 80.75 c 3929 80.79 o 21724 80.79 c 3928 80.83 o 21726 80.83 c 3926 80.87 o 21728 80.87 c 3924 80.92 o 21730 80.92 c 3922 80.96 o 21733 80.96 c 3919 81.00 o 21734 81.00 c 3918 81.05 o 21737 81.05 c 3915 81.14 o 21740 81.14 c 3912 81.18 o 21741 81.18 c 3911 81.23 o 21743 81.23 c 3909 81.37 o 21744 81.37 c 3908 81.45 o 21746 81.45 c 3906 81.58 o 21747 81.58 c 3905 81.67 o 21749 81.67 c 3903 81.71 o 21753 81.71 c 3899 81.76 o 21755 81.76 c 3897 81.81 o 21758 81.81 c 3894 81.86 o 21762 81.86 c 3890 81.91 o 21763 81.91 c 3889 81.96 o 21765 81.96 c 3887 82.01 o 21766 82.01 c 3886 82.11 o 21767 82.11 c 3885 82.16 o 21768 82.16 c 3884 82.27 o 21771 82.27 c 3881 82.31 o 21772 82.31 c 3880 82.36 o 21773 82.36 c 3879 82.46 o 21775 82.46 c 3877 82.51 o 21777 82.51 c 3875 82.61 o 21778 82.61 c 3874 82.71 o 21779 82.71 c 3873 82.76 o 21783 82.76 c 3869 82.86 o 21786 82.86 c 3866 82.91 o 21787 82.91 c 3865 82.96 o 21790 82.96 c 3862 83.01 o 21794 83.01 c 3858 83.11 o 21795 83.11 c 3857 83.16 o 21798 83.16 c 3854 83.20 o 21801 83.20 c 3851 83.35 o 21804 83.35 c 3848 83.40 o 21806 83.40 c 3846 83.45 o 21808 83.45 c 3844 83.55 o 21809 83.55 c 3843 83.60 o 21813 83.60 c 3839 83.79 o 21816 83.79 c 3836 83.84 o 21818 83.84 c 3834 83.93 o 21820 83.93 c 3832 83.98 o 21822 83.98 c 3830 84.07 o 21823 84.07 c 3829 84.13 o 21824 84.13 c 3828 84.17 o 21826 84.17 c 3826 84.22 o 21828 84.22 c 3824 84.27 o 21830 84.27 c 3822 84.57 o 21831 84.57 c 3821 84.62 o 21833 84.62 c 3819 84.67 o 21837 84.67 c 3815 84.80 o 21840 84.80 c 3812 84.85 o 21841 84.85 c 3811 84.95 o 21844 84.95 c 3808 85.04 o 21845 85.04 c 3807 85.09 o 21848 85.09 c 3804 85.14 o 21849 85.14 c 3803 85.23 o 21850 85.23 c 3802 85.28 o 21853 85.28 c 3799 85.33 o 21855 85.33 c 3797 85.38 o 21856 85.39 c 3796 85.43 o 21858 85.43 c 3794 85.58 o 21860 85.58 c 3792 85.64 o 21862 85.64 c 3790 85.69 o 21863 85.69 c 3789 85.78 o 21865 85.78 c 3787 85.88 o 21867 85.88 c 3785 85.93 o 21869 85.93 c 3783 86.03 o 21872 86.03 c 3780 86.13 o 21874 86.13 c 3778 86.41 o 21875 86.41 c 3777 86.46 o 21878 86.46 c 3774 86.51 o 21880 86.51 c 3772 86.56 o 21882 86.56 c 3770 86.60 o 21885 86.60 c 3767 86.65 o 21888 86.65 c 3764 86.70 o 21890 86.70 c 3762 87.11 o 21893 87.11 c 3759 87.21 o 21895 87.21 c 3757 87.26 o 21897 87.26 c 3755 87.30 o 21900 87.30 c 3752 87.35 o 21907 87.35 c 3745 87.39 o 21908 87.39 c 3744 87.44 o 21910 87.44 c 3742 87.59 o 21912 87.59 c 3740 87.63 o 21917 87.63 c 3735 87.68 o 21919 87.68 c 3733 87.73 o 21920 87.73 c 3732 87.78 o 21923 87.78 c 3729 87.83 o 21925 87.83 c 3727 87.88 o 21927 87.88 c 3725 88.13 o 21928 88.13 c 3724 88.18 o 21929 88.18 c 3723 88.23 o 21932 88.23 c 3720 88.29 o 21934 88.29 c 3718 88.35 o 21936 88.35 c 3716 88.40 o 21938 88.40 c 3714 88.45 o 21941 88.45 c 3711 88.50 o 21943 88.50 c 3709 88.69 o 21946 88.69 c 3706 88.79 o 21948 88.79 c 3704 88.85 o 21949 88.85 c 3703 88.90 o 21951 88.90 c 3701 88.95 o 21952 88.95 c 3700 89.00 o 21955 89.00 c 3697 89.11 o 21956 89.11 c 3696 89.26 o 21957 89.26 c 3695 89.32 o 21962 89.32 c 3690 89.58 o 21966 89.58 c 3686 89.63 o 21971 89.63 c 3681 90.14 o 21972 90.14 c 3680 90.20 o 21974 90.20 c 3678 90.30 o 21975 90.30 c 3677 90.35 o 21976 90.35 c 3676 90.46 o 21979 90.46 c 3673 90.52 o 21980 90.52 c 3672 90.57 o 21981 90.57 c 3671 90.68 o 21982 90.68 c 3670 90.74 o 21985 90.74 c 3667 90.91 o 21989 90.91 c 3663 90.96 o 21993 90.96 c 3659 91.13 o 21994 91.13 c 3658 91.18 o 21997 91.18 c 3655 91.24 o 21999 91.24 c 3653 91.37 o 22001 91.37 c 3651 91.42 o 22002 91.42 c 3650 91.48 o 22004 91.48 c 3648 91.77 o 22005 91.77 c 3647 91.89 o 22007 91.89 c 3645 91.95 o 22009 91.95 c 3643 92.07 o 22010 92.07 c 3642 92.13 o 22011 92.13 c 3641 92.19 o 22013 92.19 c 3639 92.26 o 22018 92.26 c 3634 92.38 o 22020 92.38 c 3632 92.45 o 22023 92.45 c 3629 92.58 o 22025 92.58 c 3627 92.64 o 22028 92.64 c 3624 92.71 o 22031 92.71 c 3621 92.76 o 22037 92.76 c 3615 92.83 o 22038 92.83 c 3614 92.90 o 22040 92.90 c 3612 93.09 o 22041 93.09 c 3611 93.33 o 22043 93.33 c 3609 93.40 o 22047 93.40 c 3605 93.52 o 22048 93.52 c 3604 93.72 o 22049 93.72 c 3603 93.79 o 22050 93.79 c 3602 93.91 o 22052 93.91 c 3600 93.98 o 22053 93.98 c 3599 94.05 o 22054 94.05 c 3598 94.11 o 22057 94.11 c 3595 94.18 o 22059 94.18 c 3593 94.24 o 22060 94.24 c 3592 94.30 o 22061 94.30 c 3591 94.37 o 22062 94.37 c 3590 94.43 o 22064 94.43 c 3588 94.49 o 22066 94.49 c 3586 94.55 o 22068 94.55 c 3584 94.62 o 22070 94.62 c 3582 94.68 o 22073 94.68 c 3579 94.74 o 22074 94.74 c 3578 95.54 o 22077 95.54 c 3575 95.65 o 22079 95.65 c 3573 95.71 o 22083 95.71 c 3569 95.77 o 22084 95.77 c 3568 95.83 o 22085 95.83 c 3567 95.89 o 22087 95.89 c 3565 95.95 o 22089 95.95 c 3563 96.01 o 22092 96.01 c 3560 96.48 o 22094 96.48 c 3558 96.54 o 22097 96.54 c 3555 96.65 o 22098 96.65 c 3554 96.77 o 22099 96.77 c 3553 96.83 o 22102 96.83 c 3550 96.86 o 22106 96.86 c 3546 96.92 o 22108 96.92 c 3544 96.98 o 22109 96.98 c 3543 97.04 o 22110 97.04 c 3542 97.10 o 22112 97.10 c 3540 97.21 o 22113 97.21 c 3539 97.38 o 22116 97.38 c 3536 97.44 o 22122 97.44 c 3530 97.50 o 22127 97.50 c 3525 97.61 o 22130 97.61 c 3522 97.67 o 22131 97.67 c 3521 97.83 o 22133 97.83 c 3519 97.89 o 22138 97.89 c 3514 97.95 o 22140 97.95 c 3512 98.00 o 22142 98.00 c 3510 98.06 o 22143 98.06 c 3509 98.17 o 22145 98.17 c 3507 98.34 o 22147 98.34 c 3505 98.39 o 22149 98.39 c 3503 98.44 o 22152 98.44 c 3500 98.50 o 22153 98.50 c 3499 98.56 o 22154 98.56 c 3498 98.66 o 22156 98.66 c 3496 98.71 o 22159 98.71 c 3493 98.88 o 22160 98.88 c 3492 98.94 o 22165 98.94 c 3487 99.08 o 22166 99.08 c 3486 99.19 o 22169 99.19 c 3483 99.53 o 22170 99.53 c 3482 99.70 o 22172 99.70 c 3480 99.76 o 22173 99.76 c 3479 100.04 o 22175 100.04 c 3477 100.09 o 22177 100.09 c 3475 100.20 o 22178 100.20 c 3474 100.26 o 22181 100.26 c 3471 100.44 o 22182 100.44 c 3470 100.55 o 22187 100.55 c 3465 100.60 o 22188 100.60 c 3464 100.65 o 22191 100.65 c 3461 100.71 o 22195 100.71 c 3457 100.77 o 22196 100.77 c 3456 100.83 o 22198 100.83 c 3454 100.93 o 22201 100.93 c 3451 101.25 o 22202 101.25 c 3450 101.36 o 22205 101.36 c 3447 101.42 o 22206 101.42 c 3446 101.53 o 22208 101.53 c 3444 101.59 o 22210 101.59 c 3442 101.65 o 22213 101.65 c 3439 101.82 o 22216 101.82 c 3436 101.85 o 22219 101.85 c 3433 101.92 o 22220 101.92 c 3432 101.97 o 22224 101.97 c 3428 102.03 o 22226 102.03 c 3426 102.14 o 22230 102.14 c 3422 102.20 o 22232 102.20 c 3420 102.26 o 22235 102.26 c 3417 102.32 o 22237 102.32 c 3415 102.55 o 22240 102.55 c 3412 102.62 o 22242 102.62 c 3410 102.67 o 22245 102.67 c 3407 102.72 o 22249 102.72 c 3403 102.78 o 22250 102.78 c 3402 102.84 o 22253 102.84 c 3399 102.89 o 22257 102.89 c 3395 103.18 o 22258 103.18 c 3394 103.47 o 22259 103.47 c 3393 104.05 o 22260 104.05 c 3392 104.10 o 22264 104.10 c 3388 104.22 o 22266 104.22 c 3386 104.38 o 22267 104.38 c 3385 104.44 o 22269 104.44 c 3383 104.94 o 22272 104.94 c 3380 105.05 o 22274 105.06 c 3378 105.22 o 22275 105.22 c 3377 105.34 o 22280 105.34 c 3372 105.51 o 22282 105.51 c 3370 105.62 o 22286 105.62 c 3366 105.68 o 22288 105.68 c 3364 105.74 o 22289 105.74 c 3363 105.80 o 22293 105.80 c 3359 106.41 o 22297 106.41 c 3355 106.54 o 22299 106.54 c 3353 106.78 o 22300 106.78 c 3352 106.98 o 22302 106.98 c 3350 107.04 o 22306 107.04 c 3346 107.11 o 22308 107.11 c 3344 107.18 o 22309 107.18 c 3343 107.57 o 22310 107.57 c 3342 108.54 o 22312 108.54 c 3340 108.77 o 22313 108.77 c 3339 109.47 o 22315 109.47 c 3337 109.54 o 22316 109.54 c 3336 109.62 o 22318 109.62 c 3334 109.70 o 22320 109.70 c 3332 109.77 o 22324 109.77 c 3328 109.92 o 22326 109.92 c 3326 110.00 o 22328 110.00 c 3324 110.15 o 22333 110.15 c 3319 110.54 o 22335 110.54 c 3317 110.62 o 22340 110.62 c 3312 110.69 o 22341 110.69 c 3311 111.28 o 22343 111.28 c 3309 111.36 o 22345 111.36 c 3307 111.80 o 22346 111.80 c 3306 111.88 o 22347 111.88 c 3305 112.38 o 22349 112.38 c 3303 112.45 o 22352 112.45 c 3300 112.59 o 22354 112.59 c 3298 112.72 o 22356 112.73 c 3296 112.88 o 22357 112.88 c 3295 113.62 o 22358 113.62 c 3294 113.77 o 22360 113.77 c 3292 113.84 o 22361 113.84 c 3291 114.00 o 22362 114.00 c 3290 114.07 o 22364 114.07 c 3288 114.12 o 22368 114.12 c 3284 114.19 o 22370 114.19 c 3282 114.34 o 22371 114.34 c 3281 114.41 o 22372 114.41 c 3280 114.56 o 22373 114.56 c 3279 114.61 o 22376 114.61 c 3276 114.68 o 22379 114.68 c 3273 114.89 o 22380 114.89 c 3272 115.03 o 22381 115.03 c 3271 115.11 o 22382 115.11 c 3270 115.19 o 22384 115.19 c 3268 115.26 o 22388 115.26 c 3264 115.40 o 22389 115.40 c 3263 115.47 o 22391 115.47 c 3261 115.55 o 22392 115.55 c 3260 115.62 o 22395 115.62 c 3257 115.69 o 22397 115.69 c 3255 115.76 o 22398 115.76 c 3254 115.90 o 22400 115.90 c 3252 115.97 o 22402 115.97 c 3250 116.18 o 22404 116.18 c 3248 116.26 o 22405 116.26 c 3247 116.33 o 22406 116.33 c 3246 116.54 o 22410 116.54 c 3242 116.68 o 22412 116.68 c 3240 116.75 o 22414 116.75 c 3238 116.90 o 22416 116.90 c 3236 117.04 o 22417 117.04 c 3235 117.11 o 22419 117.11 c 3233 117.18 o 22420 117.18 c 3232 117.32 o 22422 117.32 c 3230 117.73 o 22424 117.73 c 3228 117.77 o 22428 117.77 c 3224 117.84 o 22430 117.84 c 3222 117.98 o 22431 117.98 c 3221 118.05 o 22433 118.05 c 3219 118.11 o 22435 118.11 c 3217 118.18 o 22436 118.18 c 3216 118.37 o 22437 118.37 c 3215 118.42 o 22442 118.42 c 3210 118.63 o 22443 118.63 c 3209 118.89 o 22446 118.89 c 3206 118.95 o 22448 118.95 c 3204 119.02 o 22452 119.02 c 3200 119.10 o 22454 119.10 c 3198 119.16 o 22456 119.16 c 3196 119.24 o 22458 119.24 c 3194 119.31 o 22460 119.31 c 3192 119.38 o 22461 119.38 c 3191 119.45 o 22462 119.45 c 3190 119.53 o 22463 119.53 c 3189 119.60 o 22464 119.60 c 3188 119.67 o 22466 119.67 c 3186 119.74 o 22469 119.74 c 3183 119.95 o 22473 119.95 c 3179 120.09 o 22474 120.09 c 3178 120.22 o 22479 120.22 c 3173 120.29 o 22484 120.29 c 3168 120.36 o 22485 120.36 c 3167 120.57 o 22486 120.57 c 3166 120.64 o 22487 120.64 c 3165 121.05 o 22488 121.05 c 3164 121.12 o 22489 121.12 c 3163 121.26 o 22490 121.26 c 3162 121.33 o 22491 121.33 c 3161 121.40 o 22494 121.40 c 3158 121.48 o 22497 121.48 c 3155 121.55 o 22500 121.55 c 3152 122.04 o 22503 122.04 c 3149 122.12 o 22506 122.12 c 3146 122.19 o 22507 122.19 c 3145 122.34 o 22509 122.34 c 3143 122.39 o 22513 122.39 c 3139 122.47 o 22515 122.47 c 3137 122.54 o 22518 122.54 c 3134 122.89 o 22519 122.89 c 3133 122.96 o 22521 122.96 c 3131 123.04 o 22522 123.04 c 3130 123.06 o 22525 123.06 c 3127 123.49 o 22526 123.49 c 3126 123.56 o 22527 123.56 c 3125 123.63 o 22528 123.63 c 3124 123.77 o 22529 123.77 c 3123 123.83 o 22534 123.83 c 3118 123.97 o 22535 123.97 c 3117 124.11 o 22539 124.11 c 3113 124.18 o 22541 124.18 c 3111 124.22 o 22546 124.22 c 3106 124.36 o 22547 124.36 c 3105 124.56 o 22548 124.56 c 3104 124.63 o 22550 124.63 c 3102 124.76 o 22552 124.76 c 3100 124.83 o 22556 124.83 c 3096 124.90 o 22559 124.90 c 3093 124.97 o 22560 124.97 c 3092 125.11 o 22562 125.11 c 3090 125.18 o 22563 125.18 c 3089 125.45 o 22564 125.45 c 3088 125.51 o 22566 125.51 c 3086 125.65 o 22567 125.65 c 3085 125.79 o 22568 125.79 c 3084 125.93 o 22570 125.93 c 3082 126.00 o 22571 126.00 c 3081 126.13 o 22573 126.13 c 3079 126.27 o 22576 126.27 c 3076 126.75 o 22577 126.75 c 3075 126.82 o 22580 126.82 c 3072 126.89 o 22582 126.89 c 3070 127.02 o 22583 127.02 c 3069 127.14 o 22587 127.14 c 3065 127.26 o 22588 127.26 c 3064 127.33 o 22591 127.33 c 3061 127.40 o 22592 127.40 c 3060 127.54 o 22593 127.54 c 3059 127.88 o 22594 127.88 c 3058 127.95 o 22595 127.95 c 3057 128.08 o 22597 128.08 c 3055 128.15 o 22599 128.15 c 3053 128.21 o 22600 128.21 c 3052 128.28 o 22601 128.28 c 3051 128.34 o 22604 128.34 c 3048 128.48 o 22607 128.48 c 3045 128.55 o 22609 128.55 c 3043 128.61 o 22611 128.61 c 3041 128.69 o 22613 128.69 c 3039 128.75 o 22615 128.75 c 3037 130.31 o 22617 130.31 c 3035 130.38 o 22619 130.38 c 3033 130.64 o 22620 130.64 c 3032 130.70 o 22621 130.70 c 3031 130.77 o 22623 130.77 c 3029 130.84 o 22626 130.84 c 3026 130.92 o 22628 130.92 c 3024 130.97 o 22630 130.97 c 3022 131.04 o 22631 131.04 c 3021 131.11 o 22633 131.11 c 3019 131.25 o 22636 131.25 c 3016 131.32 o 22637 131.32 c 3015 131.39 o 22638 131.39 c 3014 131.47 o 22641 131.47 c 3011 131.53 o 22643 131.53 c 3009 131.60 o 22645 131.60 c 3007 131.74 o 22646 131.74 c 3006 131.81 o 22648 131.81 c 3004 131.88 o 22649 131.88 c 3003 131.95 o 22650 131.95 c 3002 132.02 o 22652 132.02 c 3000 132.31 o 22653 132.31 c 2999 132.38 o 22655 132.38 c 2997 132.46 o 22656 132.46 c 2996 132.58 o 22659 132.58 c 2993 132.99 o 22660 132.99 c 2992 133.35 o 22661 133.35 c 2991 133.43 o 22662 133.43 c 2990 133.50 o 22663 133.50 c 2989 133.57 o 22664 133.57 c 2988 133.72 o 22666 133.72 c 2986 133.79 o 22668 133.79 c 2984 134.37 o 22670 134.37 c 2982 134.52 o 22671 134.52 c 2981 134.60 o 22672 134.60 c 2980 134.83 o 22675 134.83 c 2977 135.06 o 22677 135.06 c 2975 135.14 o 22678 135.14 c 2974 135.22 o 22681 135.22 c 2971 135.29 o 22683 135.29 c 2969 135.37 o 22684 135.37 c 2968 135.91 o 22686 135.91 c 2966 136.06 o 22688 136.06 c 2964 136.14 o 22690 136.14 c 2962 136.21 o 22692 136.21 c 2960 136.29 o 22693 136.29 c 2959 136.60 o 22695 136.60 c 2957 136.67 o 22696 136.67 c 2956 136.82 o 22698 136.82 c 2954 136.90 o 22700 136.90 c 2952 136.99 o 22701 136.99 c 2951 137.06 o 22703 137.06 c 2949 137.21 o 22704 137.21 c 2948 137.29 o 22706 137.29 c 2946 137.37 o 22709 137.37 c 2943 137.45 o 22711 137.45 c 2941 137.52 o 22713 137.52 c 2939 137.67 o 22714 137.67 c 2938 137.83 o 22717 137.83 c 2935 137.91 o 22718 137.91 c 2934 139.04 o 22720 139.04 c 2932 139.46 o 22721 139.46 c 2931 139.54 o 22723 139.54 c 2929 139.62 o 22726 139.62 c 2926 139.70 o 22729 139.70 c 2923 139.79 o 22733 139.79 c 2919 139.85 o 22736 139.85 c 2916 140.35 o 22737 140.35 c 2915 140.52 o 22738 140.52 c 2914 140.61 o 22740 140.61 c 2912 140.87 o 22741 140.87 c 2911 142.38 o 22742 142.38 c 2910 142.46 o 22745 142.46 c 2907 142.89 o 22746 142.89 c 2906 143.15 o 22748 143.15 c 2904 143.64 o 22753 143.64 c 2899 143.80 o 22754 143.80 c 2898 143.88 o 22756 143.88 c 2896 144.28 o 22758 144.28 c 2894 144.33 o 22759 144.33 c 2893 144.76 o 22760 144.76 c 2892 145.01 o 22762 145.01 c 2890 145.05 o 22766 145.05 c 2886 145.13 o 22767 145.13 c 2885 145.21 o 22771 145.21 c 2881 145.29 o 22773 145.29 c 2879 145.38 o 22776 145.38 c 2876 145.55 o 22778 145.55 c 2874 145.97 o 22780 145.97 c 2872 146.06 o 22781 146.06 c 2871 146.15 o 22782 146.15 c 2870 146.32 o 22784 146.32 c 2868 146.41 o 22785 146.41 c 2867 146.50 o 22789 146.50 c 2863 146.67 o 22791 146.67 c 2861 146.76 o 22794 146.76 c 2858 146.85 o 22795 146.85 c 2857 146.94 o 22797 146.94 c 2855 148.77 o 22798 148.77 c 2854 148.87 o 22800 148.87 c 2852 148.96 o 22803 148.96 c 2849 149.06 o 22805 149.06 c 2847 149.16 o 22808 149.16 c 2844 149.26 o 22813 149.26 c 2839 149.35 o 22816 149.35 c 2836 149.53 o 22819 149.53 c 2833 151.25 o 22820 151.25 c 2832 151.34 o 22822 151.34 c 2830 151.77 o 22826 151.77 c 2826 151.86 o 22829 151.86 c 2823 152.14 o 22830 152.14 c 2822 152.24 o 22832 152.24 c 2820 152.32 o 22834 152.32 c 2818 152.51 o 22837 152.51 c 2815 152.69 o 22839 152.69 c 2813 152.96 o 22841 152.96 c 2811 153.05 o 22845 153.05 c 2807 153.15 o 22847 153.15 c 2805 153.49 o 22848 153.49 c 2804 153.63 o 22849 153.63 c 2803 154.01 o 22852 154.01 c 2800 154.19 o 22853 154.19 c 2799 154.28 o 22854 154.28 c 2798 154.48 o 22856 154.48 c 2796 154.85 o 22857 154.85 c 2795 154.94 o 22859 154.94 c 2793 155.24 o 22861 155.24 c 2791 155.33 o 22862 155.33 c 2790 156.25 o 22863 156.25 c 2789 156.34 o 22864 156.34 c 2788 156.64 o 22865 156.64 c 2787 156.74 o 22866 156.74 c 2786 156.84 o 22867 156.84 c 2785 156.94 o 22868 156.94 c 2784 157.04 o 22870 157.04 c 2782 157.14 o 22872 157.14 c 2780 157.34 o 22874 157.34 c 2778 157.43 o 22877 157.43 c 2775 157.63 o 22878 157.63 c 2774 157.83 o 22881 157.83 c 2771 157.90 o 22883 157.90 c 2769 158.00 o 22886 158.00 c 2766 158.67 o 22887 158.67 c 2765 159.37 o 22889 159.37 c 2763 162.23 o 22890 162.23 c 2762 162.32 o 22891 162.32 c 2761 162.41 o 22892 162.41 c 2760 162.76 o 22894 162.76 c 2758 162.85 o 22896 162.85 c 2756 162.99 o 22897 162.99 c 2755 163.09 o 22899 163.09 c 2753 163.27 o 22900 163.27 c 2752 163.36 o 22903 163.36 c 2749 163.82 o 22904 163.82 c 2748 163.90 o 22905 163.90 c 2747 164.09 o 22907 164.09 c 2745 164.18 o 22908 164.18 c 2744 164.46 o 22909 164.46 c 2743 164.60 o 22911 164.60 c 2741 164.70 o 22914 164.70 c 2738 164.89 o 22915 164.89 c 2737 165.17 o 22916 165.17 c 2736 165.45 o 22917 165.45 c 2735 165.54 o 22918 165.54 c 2734 165.63 o 22919 165.63 c 2733 166.29 o 22920 166.29 c 2732 166.83 o 22921 166.83 c 2731 166.93 o 22922 166.93 c 2730 167.12 o 22924 167.12 c 2728 167.22 o 22925 167.22 c 2727 167.70 o 22926 167.70 c 2726 167.79 o 22929 167.79 c 2723 167.89 o 22931 167.89 c 2721 168.04 o 22934 168.04 c 2718 168.13 o 22935 168.13 c 2717 168.22 o 22940 168.22 c 2712 168.42 o 22941 168.42 c 2711 168.52 o 22942 168.52 c 2710 168.62 o 22943 168.62 c 2709 168.72 o 22944 168.72 c 2708 168.92 o 22945 168.92 c 2707 169.20 o 22946 169.20 c 2706 169.30 o 22948 169.30 c 2704 169.45 o 22950 169.45 c 2702 171.81 o 22953 171.81 c 2699 171.92 o 22954 171.92 c 2698 172.03 o 22956 172.03 c 2696 172.15 o 22957 172.15 c 2695 172.26 o 22958 172.26 c 2694 172.37 o 22960 172.37 c 2692 172.59 o 22961 172.59 c 2691 172.70 o 22963 172.70 c 2689 172.82 o 22965 172.82 c 2687 172.93 o 22966 172.93 c 2686 173.05 o 22969 173.05 c 2683 173.32 o 22970 173.32 c 2682 173.41 o 22972 173.41 c 2680 175.59 o 22976 175.59 c 2676 175.93 o 22978 175.93 c 2674 176.13 o 22982 176.13 c 2670 185.42 o 22984 185.42 c 2668 185.67 o 22988 185.67 c 2664 185.80 o 22992 185.80 c 2660 185.90 o 22993 185.90 c 2659 186.28 o 22995 186.28 c 2657 186.41 o 22996 186.41 c 2656 186.66 o 22997 186.66 c 2655 186.90 o 23001 186.90 c 2651 188.80 o 23002 188.80 c 2650 188.93 o 23003 188.93 c 2649 189.16 o 23005 189.16 c 2647 189.28 o 23008 189.28 c 2644 190.40 o 23009 190.40 c 2643 191.38 o 23010 191.38 c 2642 194.41 o 23011 194.41 c 2641 194.64 o 23012 194.64 c 2640 194.75 o 23013 194.75 c 2639 194.86 o 23016 194.86 c 2636 195.30 o 23018 195.30 c 2634 195.42 o 23021 195.42 c 2631 195.54 o 23022 195.54 c 2630 195.62 o 23025 195.62 c 2627 195.73 o 23027 195.73 c 2625 195.96 o 23028 195.96 c 2624 196.08 o 23029 196.08 c 2623 196.42 o 23033 196.42 c 2619 196.64 o 23035 196.64 c 2617 196.75 o 23038 196.75 c 2614 196.87 o 23040 196.87 c 2612 197.55 o 23041 197.55 c 2611 197.67 o 23042 197.67 c 2610 197.79 o 23044 197.79 c 2608 197.91 o 23046 197.91 c 2606 198.00 o 23048 198.00 c 2604 198.23 o 23049 198.23 c 2603 199.05 o 23051 199.05 c 2601 203.23 o 23053 203.23 c 2599 203.49 o 23055 203.49 c 2597 204.51 o 23056 204.51 c 2596 204.75 o 23057 204.75 c 2595 205.00 o 23058 205.00 c 2594 205.13 o 23059 205.13 c 2593 205.26 o 23061 205.26 c 2591 205.35 o 23062 205.35 c 2590 207.96 o 23065 207.96 c 2587 208.10 o 23067 208.10 c 2585 208.77 o 23070 208.77 c 2582 208.91 o 23073 208.91 c 2579 209.18 o 23075 209.18 c 2577 209.30 o 23077 209.30 c 2575 209.58 o 23078 209.58 c 2574 210.53 o 23079 210.53 c 2573 213.45 o 23082 213.45 c 2570 213.68 o 23083 213.68 c 2569 213.81 o 23086 213.81 c 2566 214.07 o 23090 214.07 c 2562 214.20 o 23092 214.20 c 2560 214.46 o 23093 214.46 c 2559 216.01 o 23097 216.01 c 2555 216.08 o 23098 216.08 c 2554 216.60 o 23100 216.60 c 2552 218.79 o 23103 218.79 c 2549 219.18 o 23104 219.18 c 2548 219.84 o 23105 219.84 c 2547 221.87 o 23106 221.87 c 2546 222.00 o 23107 222.00 c 2545 224.55 o 23109 224.55 c 2543 225.08 o 23113 225.08 c 2539 225.35 o 23114 225.35 c 2538 225.72 o 23115 225.72 c 2537 226.52 o 23116 226.52 c 2536 226.65 o 23120 226.65 c 2532 226.77 o 23123 226.77 c 2529 226.90 o 23125 226.90 c 2527 227.04 o 23127 227.04 c 2525 228.77 o 23129 228.77 c 2523 229.63 o 23131 229.63 c 2521 229.99 o 23133 229.99 c 2519 230.05 o 23138 230.05 c 2514 230.76 o 23140 230.76 c 2512 230.89 o 23141 230.89 c 2511 230.99 o 23143 230.99 c 2509 232.95 o 23144 232.95 c 2508 233.56 o 23148 233.56 c 2504 234.16 o 23150 234.16 c 2502 234.42 o 23151 234.42 c 2501 235.05 o 23152 235.05 c 2500 235.52 o 23154 235.52 c 2498 236.28 o 23155 236.28 c 2497 236.38 o 23159 236.38 c 2493 236.50 o 23164 236.50 c 2488 236.75 o 23165 236.75 c 2487 236.87 o 23168 236.87 c 2484 236.99 o 23170 236.99 c 2482 237.23 o 23172 237.23 c 2480 237.36 o 23173 237.36 c 2479 237.60 o 23174 237.60 c 2478 237.95 o 23175 237.95 c 2477 238.66 o 23176 238.66 c 2476 238.74 o 23177 238.74 c 2475 243.64 o 23178 243.64 c 2474 244.87 o 23180 244.87 c 2472 245.22 o 23181 245.22 c 2471 245.47 o 23183 245.47 c 2469 245.72 o 23186 245.72 c 2466 246.62 o 23187 246.62 c 2465 247.00 o 23191 247.00 c 2461 247.12 o 23192 247.12 c 2460 247.25 o 23194 247.25 c 2458 247.51 o 23196 247.51 c 2456 247.63 o 23198 247.63 c 2454 247.76 o 23203 247.76 c 2449 247.86 o 23204 247.86 c 2448 247.99 o 23207 247.99 c 2445 248.36 o 23211 248.36 c 2441 248.49 o 23212 248.49 c 2440 248.60 o 23217 248.60 c 2435 248.73 o 23220 248.73 c 2432 249.49 o 23221 249.49 c 2431 250.23 o 23223 250.23 c 2429 251.33 o 23224 251.33 c 2428 251.57 o 23225 251.57 c 2427 251.68 o 23226 251.68 c 2426 253.63 o 23229 253.63 c 2423 254.10 o 23230 254.10 c 2422 254.23 o 23231 254.23 c 2421 254.25 o 23234 254.25 c 2418 254.37 o 23236 254.37 c 2416 254.55 o 23241 254.55 c 2411 254.68 o 23245 254.68 c 2407 254.93 o 23246 254.93 c 2406 255.17 o 23247 255.17 c 2405 255.68 o 23249 255.68 c 2403 255.93 o 23251 255.93 c 2401 256.26 o 23254 256.26 c 2398 256.48 o 23255 256.48 c 2397 257.74 o 23256 257.74 c 2396 258.09 o 23257 258.09 c 2395 262.76 o 23258 262.76 c 2394 262.89 o 23259 262.89 c 2393 263.01 o 23261 263.01 c 2391 263.34 o 23262 263.34 c 2390 263.58 o 23263 263.58 c 2389 263.70 o 23265 263.70 c 2387 264.19 o 23268 264.19 c 2384 264.43 o 23269 264.43 c 2383 264.56 o 23271 264.56 c 2381 264.68 o 23275 264.68 c 2377 264.80 o 23276 264.80 c 2376 265.05 o 23277 265.05 c 2375 265.29 o 23278 265.29 c 2374 265.54 o 23280 265.54 c 2372 265.67 o 23284 265.67 c 2368 265.93 o 23286 265.93 c 2366 266.19 o 23287 266.19 c 2365 267.33 o 23290 267.33 c 2362 267.46 o 23291 267.46 c 2361 268.08 o 23293 268.08 c 2359 268.21 o 23294 268.21 c 2358 268.34 o 23295 268.34 c 2357 268.42 o 23296 268.42 c 2356 268.80 o 23302 268.80 c 2350 269.05 o 23304 269.05 c 2348 277.69 o 23306 277.69 c 2346 277.81 o 23307 277.81 c 2345 277.94 o 23308 277.94 c 2344 279.25 o 23311 279.25 c 2341 279.65 o 23312 279.65 c 2340 280.56 o 23313 280.57 c 2339 280.70 o 23314 280.70 c 2338 280.83 o 23318 280.83 c 2334 281.75 o 23320 281.75 c 2332 285.30 o 23321 285.30 c 2331 285.43 o 23322 285.43 c 2330 285.69 o 23323 285.69 c 2329 286.08 o 23325 286.08 c 2327 287.82 o 23326 287.82 c 2326 288.71 o 23327 288.71 c 2325 288.84 o 23328 288.84 c 2324 288.98 o 23330 288.98 c 2322 289.21 o 23333 289.21 c 2319 289.96 o 23335 289.96 c 2317 290.10 o 23336 290.10 c 2316 290.23 o 23337 290.23 c 2315 290.44 o 23339 290.44 c 2313 290.55 o 23341 290.55 c 2311 290.82 o 23342 290.82 c 2310 291.47 o 23344 291.47 c 2308 291.96 o 23345 291.96 c 2307 292.10 o 23346 292.10 c 2306 292.23 o 23347 292.23 c 2305 293.55 o 23349 293.55 c 2303 293.63 o 23350 293.63 c 2302 293.73 o 23353 293.73 c 2299 294.10 o 23354 294.10 c 2298 294.23 o 23356 294.23 c 2296 295.12 o 23357 295.12 c 2295 295.18 o 23360 295.18 c 2292 295.31 o 23361 295.31 c 2291 295.82 o 23362 295.82 c 2290 295.96 o 23363 295.96 c 2289 296.22 o 23364 296.22 c 2288 296.32 o 23366 296.32 c 2286 296.59 o 23367 296.59 c 2285 296.72 o 23370 296.72 c 2282 296.85 o 23371 296.85 c 2281 297.24 o 23372 297.24 c 2280 297.37 o 23373 297.37 c 2279 298.29 o 23374 298.29 c 2278 298.42 o 23375 298.42 c 2277 298.70 o 23378 298.70 c 2274 298.85 o 23379 298.85 c 2273 298.99 o 23381 298.99 c 2271 299.27 o 23385 299.27 c 2267 299.41 o 23386 299.41 c 2266 300.28 o 23389 300.28 c 2263 300.54 o 23390 300.54 c 2262 300.68 o 23391 300.68 c 2261 300.76 o 23392 300.76 c 2260 300.83 o 23393 300.83 c 2259 300.97 o 23394 300.97 c 2258 301.11 o 23395 301.11 c 2257 303.03 o 23396 303.03 c 2256 303.17 o 23397 303.17 c 2255 304.02 o 23398 304.02 c 2254 304.17 o 23400 304.17 c 2252 304.31 o 23403 304.31 c 2249 307.01 o 23404 307.01 c 2248 307.15 o 23408 307.15 c 2244 307.27 o 23409 307.27 c 2243 307.68 o 23411 307.68 c 2241 307.82 o 23413 307.82 c 2239 308.11 o 23415 308.11 c 2237 308.36 o 23419 308.36 c 2233 308.47 o 23421 308.47 c 2231 308.57 o 23423 308.57 c 2229 308.72 o 23425 308.72 c 2227 310.07 o 23426 310.07 c 2226 310.22 o 23427 310.22 c 2225 310.36 o 23429 310.36 c 2223 310.93 o 23430 310.93 c 2222 311.07 o 23431 311.07 c 2221 311.21 o 23432 311.21 c 2220 311.99 o 23433 311.99 c 2219 312.10 o 23435 312.10 c 2217 315.95 o 23436 315.95 c 2216 316.38 o 23439 316.38 c 2213 316.67 o 23441 316.67 c 2211 316.80 o 23442 316.80 c 2210 316.92 o 23445 316.92 c 2207 317.03 o 23447 317.03 c 2205 322.67 o 23449 322.67 c 2203 322.81 o 23450 322.81 c 2202 322.95 o 23452 322.95 c 2200 323.08 o 23454 323.08 c 2198 323.22 o 23456 323.22 c 2196 323.33 o 23458 323.33 c 2194 323.44 o 23459 323.44 c 2193 323.51 o 23464 323.51 c 2188 323.56 o 23467 323.56 c 2185 323.69 o 23469 323.69 c 2183 323.82 o 23471 323.82 c 2181 323.95 o 23472 323.95 c 2180 324.08 o 23473 324.08 c 2179 324.22 o 23476 324.22 c 2176 324.35 o 23477 324.35 c 2175 324.49 o 23479 324.49 c 2173 324.75 o 23480 324.75 c 2172 325.95 o 23481 325.95 c 2171 326.03 o 23482 326.03 c 2170 327.89 o 23484 327.89 c 2168 328.03 o 23485 328.03 c 2167 328.32 o 23486 328.32 c 2166 328.72 o 23488 328.72 c 2164 329.14 o 23490 329.14 c 2162 329.42 o 23493 329.42 c 2159 329.56 o 23496 329.56 c 2156 329.98 o 23498 329.98 c 2154 330.52 o 23499 330.52 c 2153 330.81 o 23500 330.81 c 2152 331.23 o 23501 331.23 c 2151 331.38 o 23503 331.38 c 2149 333.23 o 23504 333.23 c 2148 333.37 o 23505 333.37 c 2147 333.51 o 23509 333.51 c 2143 333.66 o 23510 333.66 c 2142 337.40 o 23512 337.40 c 2140 337.69 o 23513 337.69 c 2139 337.84 o 23514 337.84 c 2138 338.13 o 23516 338.13 c 2136 339.79 o 23518 339.79 c 2134 339.93 o 23521 339.93 c 2131 340.80 o 23522 340.80 c 2130 340.94 o 23525 340.94 c 2127 341.05 o 23529 341.05 c 2123 341.34 o 23532 341.34 c 2120 341.48 o 23535 341.48 c 2117 341.72 o 23536 341.72 c 2116 342.60 o 23537 342.60 c 2115 343.05 o 23539 343.05 c 2113 343.18 o 23544 343.18 c 2108 344.53 o 23546 344.53 c 2106 345.59 o 23548 345.59 c 2104 346.82 o 23549 346.82 c 2103 346.97 o 23551 346.97 c 2101 347.13 o 23552 347.13 c 2100 348.32 o 23553 348.32 c 2099 348.48 o 23555 348.48 c 2097 348.63 o 23556 348.63 c 2096 351.22 o 23559 351.22 c 2093 351.54 o 23561 351.54 c 2091 351.81 o 23565 351.81 c 2087 351.97 o 23568 351.97 c 2084 352.43 o 23569 352.43 c 2083 353.67 o 23570 353.67 c 2082 353.84 o 23573 353.84 c 2079 354.90 o 23575 354.90 c 2077 360.67 o 23577 360.67 c 2075 361.01 o 23580 361.01 c 2072 361.18 o 23581 361.18 c 2071 361.51 o 23582 361.51 c 2070 361.62 o 23583 361.62 c 2069 361.81 o 23585 361.81 c 2067 361.98 o 23588 361.98 c 2064 362.14 o 23590 362.14 c 2062 362.80 o 23592 362.80 c 2060 363.13 o 23594 363.13 c 2058 363.30 o 23597 363.30 c 2055 363.72 o 23599 363.72 c 2053 364.38 o 23602 364.38 c 2050 364.55 o 23603 364.55 c 2049 364.68 o 23606 364.68 c 2046 364.84 o 23607 364.84 c 2045 365.66 o 23609 365.66 c 2043 365.83 o 23610 365.83 c 2042 365.99 o 23611 365.99 c 2041 366.16 o 23613 366.16 c 2039 366.32 o 23615 366.32 c 2037 366.49 o 23617 366.49 c 2035 366.97 o 23618 366.97 c 2034 367.30 o 23619 367.30 c 2033 367.47 o 23620 367.47 c 2032 367.64 o 23621 367.64 c 2031 376.72 o 23622 376.72 c 2030 377.06 o 23624 377.06 c 2028 377.20 o 23626 377.20 c 2026 377.69 o 23627 377.69 c 2025 378.01 o 23630 378.01 c 2022 378.51 o 23631 378.51 c 2021 378.69 o 23632 378.69 c 2020 379.19 o 23633 379.19 c 2019 379.53 o 23634 379.53 c 2018 379.87 o 23635 379.87 c 2017 380.16 o 23638 380.16 c 2014 380.32 o 23642 380.32 c 2010 380.50 o 23645 380.50 c 2007 380.78 o 23646 380.78 c 2006 380.95 o 23648 380.95 c 2004 381.67 o 23649 381.67 c 2003 381.97 o 23653 381.97 c 1999 382.11 o 23657 382.11 c 1995 382.26 o 23658 382.26 c 1994 382.43 o 23662 382.43 c 1990 382.58 o 23667 382.58 c 1985 383.12 o 23671 383.12 c 1981 383.20 o 23673 383.20 c 1979 383.29 o 23676 383.29 c 1976 383.42 o 23677 383.42 c 1975 387.66 o 23678 387.66 c 1974 387.79 o 23681 387.79 c 1971 387.96 o 23683 387.96 c 1969 388.13 o 23684 388.13 c 1968 392.14 o 23687 392.14 c 1965 392.31 o 23688 392.31 c 1964 393.49 o 23690 393.49 c 1962 393.66 o 23691 393.66 c 1961 393.83 o 23692 393.83 c 1960 394.51 o 23695 394.51 c 1957 395.30 o 23699 395.30 c 1953 397.43 o 23702 397.43 c 1950 399.66 o 23703 399.66 c 1949 408.87 o 23704 408.87 c 1948 409.20 o 23705 409.20 c 1947 409.54 o 23706 409.54 c 1946 410.15 o 23707 410.15 c 1945 411.22 o 23708 411.22 c 1944 412.93 o 23709 412.93 c 1943 413.10 o 23712 413.10 c 1940 420.89 o 23714 420.89 c 1938 421.04 o 23715 421.04 c 1937 421.82 o 23716 421.82 c 1936 421.98 o 23717 421.98 c 1935 422.14 o 23719 422.14 c 1933 422.31 o 23720 422.31 c 1932 422.47 o 23722 422.47 c 1930 422.79 o 23724 422.79 c 1928 422.93 o 23726 422.93 c 1926 424.13 o 23727 424.13 c 1925 425.19 o 23728 425.19 c 1924 425.35 o 23731 425.35 c 1921 426.32 o 23732 426.32 c 1920 426.49 o 23733 426.49 c 1919 426.62 o 23734 426.62 c 1918 452.17 o 23736 452.17 c 1916 452.52 o 23737 452.52 c 1915 452.87 o 23738 452.87 c 1914 457.50 o 23741 457.50 c 1911 459.86 o 23743 459.86 c 1909 460.02 o 23745 460.02 c 1907 464.16 o 23749 464.16 c 1903 464.49 o 23750 464.49 c 1902 466.67 o 23752 466.67 c 1900 466.95 o 23754 466.95 c 1898 467.30 o 23758 467.30 c 1894 467.47 o 23761 467.47 c 1891 468.16 o 23762 468.16 c 1890 469.14 o 23763 469.14 c 1889 469.31 o 23764 469.31 c 1888 469.66 o 23765 469.66 c 1887 474.78 o 23766 474.78 c 1886 476.14 o 23770 476.14 c 1882 476.76 o 23771 476.76 c 1881 478.33 o 23774 478.33 c 1878 478.98 o 23776 478.98 c 1876 480.44 o 23779 480.44 c 1873 480.79 o 23781 480.79 c 1871 480.96 o 23783 480.96 c 1869 482.43 o 23784 482.43 c 1868 482.77 o 23785 482.77 c 1867 482.85 o 23786 482.85 c 1866 483.19 o 23787 483.19 c 1865 493.29 o 23788 493.29 c 1864 493.47 o 23789 493.47 c 1863 493.65 o 23790 493.65 c 1862 493.96 o 23792 493.96 c 1860 494.27 o 23794 494.27 c 1858 494.45 o 23795 494.45 c 1857 494.63 o 23796 494.63 c 1856 494.95 o 23797 494.95 c 1855 495.13 o 23801 495.13 c 1851 495.67 o 23802 495.67 c 1850 496.20 o 23803 496.20 c 1849 496.38 o 23804 496.38 c 1848 498.93 o 23805 498.93 c 1847 499.09 o 23807 499.09 c 1845 499.27 o 23808 499.27 c 1844 499.64 o 23809 499.64 c 1843 507.33 o 23810 507.33 c 1842 507.52 o 23811 507.52 c 1841 507.70 o 23813 507.70 c 1839 508.26 o 23814 508.26 c 1838 508.58 o 23818 508.58 c 1834 508.93 o 23819 508.93 c 1833 511.90 o 23820 511.90 c 1832 512.09 o 23821 512.09 c 1831 513.91 o 23822 513.91 c 1830 514.11 o 23827 514.11 c 1825 514.46 o 23829 514.46 c 1823 514.85 o 23830 514.85 c 1822 515.04 o 23833 515.04 c 1819 524.05 o 23834 524.05 c 1818 525.22 o 23835 525.22 c 1817 525.42 o 23837 525.42 c 1815 525.99 o 23839 525.99 c 1813 526.19 o 23840 526.19 c 1812 526.38 o 23841 526.38 c 1811 526.59 o 23842 526.59 c 1810 528.03 o 23844 528.03 c 1808 531.39 o 23845 531.39 c 1807 531.57 o 23846 531.57 c 1806 532.17 o 23847 532.17 c 1805 532.65 o 23849 532.65 c 1803 538.10 o 23850 538.10 c 1802 538.77 o 23852 538.77 c 1800 538.87 o 23853 538.87 c 1799 539.04 o 23854 539.04 c 1798 539.61 o 23855 539.61 c 1797 539.78 o 23856 539.78 c 1796 540.50 o 23857 540.50 c 1795 541.18 o 23860 541.18 c 1792 541.29 o 23861 541.29 c 1791 546.74 o 23862 546.74 c 1790 546.93 o 23863 546.93 c 1789 547.12 o 23869 547.12 c 1783 548.60 o 23870 548.60 c 1782 548.80 o 23872 548.80 c 1780 549.56 o 23873 549.56 c 1779 550.50 o 23874 550.50 c 1778 550.70 o 23876 550.70 c 1776 551.27 o 23877 551.27 c 1775 557.83 o 23878 557.83 c 1774 558.83 o 23879 558.83 c 1773 559.45 o 23880 559.45 c 1772 559.66 o 23881 559.66 c 1771 561.90 o 23882 561.90 c 1770 562.40 o 23885 562.40 c 1767 562.61 o 23889 562.61 c 1763 563.41 o 23890 563.41 c 1762 563.59 o 23892 563.59 c 1760 564.40 o 23893 564.40 c 1759 564.61 o 23894 564.61 c 1758 565.03 o 23898 565.03 c 1754 566.70 o 23900 566.70 c 1752 566.92 o 23902 566.92 c 1750 567.31 o 23903 567.31 c 1749 567.52 o 23905 567.52 c 1747 567.67 o 23907 567.67 c 1745 568.27 o 23908 568.27 c 1744 568.49 o 23909 568.49 c 1743 568.91 o 23910 568.91 c 1742 569.13 o 23911 569.13 c 1741 569.25 o 23912 569.25 c 1740 569.46 o 23913 569.46 c 1739 569.67 o 23914 569.67 c 1738 570.09 o 23915 570.09 c 1737 570.30 o 23916 570.30 c 1736 572.58 o 23919 572.58 c 1733 573.43 o 23921 573.43 c 1731 573.65 o 23922 573.65 c 1730 573.98 o 23923 573.98 c 1729 574.20 o 23924 574.20 c 1728 574.63 o 23925 574.63 c 1727 574.84 o 23927 574.84 c 1725 575.00 o 23931 575.00 c 1721 575.43 o 23932 575.43 c 1720 575.65 o 23933 575.65 c 1719 576.29 o 23936 576.29 c 1716 576.71 o 23938 576.71 c 1714 582.80 o 23939 582.80 c 1713 584.80 o 23942 584.80 c 1710 585.00 o 23943 585.00 c 1709 585.65 o 23946 585.65 c 1706 586.25 o 23947 586.25 c 1705 586.47 o 23948 586.47 c 1704 586.69 o 23950 586.69 c 1702 586.89 o 23951 586.89 c 1701 587.32 o 23952 587.32 c 1700 591.19 o 23953 591.19 c 1699 591.40 o 23955 591.40 c 1697 591.62 o 23956 591.62 c 1696 597.39 o 23957 597.39 c 1695 598.14 o 23959 598.14 c 1693 611.04 o 23961 611.04 c 1691 612.15 o 23963 612.15 c 1689 642.49 642.49 search 642.49 run=0 nbConstraintChecks=3238334854 nbAssignments=5465 642.49 => wckTime=584.764 cpuTime=579.28 mem=65M919 642.49 642.49 global 642.49 nbConstraintChecks=3238334854 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 642.49 solvingWckTime=584.75 solvingCpuTime=579.27 expiredTime=no totalExploration=no nbFoundSolutions=0 642.49 globalCpuTime=635.34 642.49 => wckTime=642.179 cpuTime=635.29 mem=65M919 642.49 642.49 solver IterativeSystematicSolver being built... 642.79 => wckTime=642.472 cpuTime=635.5 mem=104M620 1642.06 1642.06 preprocessing 1642.06 nbConstraintChecks=3858401282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 1642.06 detectedInconsistency=no 1642.06 => wckTime=999.262 cpuTime=990.11 mem=104M620 2421.34 v 2512 2504 2592 -2616 2412 -2460 2500 2356 -2652 2364 -2388 2312 -2572 -2656 2288 -2560 -2424 2284 -2284 -2320 -2340 2308 -2352 -2448 -2280 -2596 2372 2576 2608 2452 -2320 2652 2476 2488 -2616 2292 2316 2452 -2492 -2300 -2320 2280 2528 -2320 2460 2652 2552 2372 -2656 2332 -2432 2568 -2616 -2616 -2656 2580 -2476 2332 2544 -2656 2648 2420 2320 -2320 -2292 -2612 -2280 -2616 -2568 2328 -2648 2656 -2492 2628 -2352 -2468 2640 2584 -2540 2412 -2628 -2364 -2584 2428 2656 -2584 -2396 2616 2460 -2280 -2400 -2368 -2524 2352 2464 2528 2504 -2512 -2476 2572 -2332 2616 -2496 -2432 2320 2600 -2656 2368 -2320 -2468 -2464 -2636 -2372 -2324 -2588 2644 -2656 2648 -2460 -2480 2540 -2476 -2656 -2560 2432 -2604 -2652 2404 2608 -2320 -2460 -2284 -2656 2600 -2332 2516 -2320 -2408 -2652 2340 2404 2304 -2640 -2400 2428 2644 -2564 -2640 2640 -2548 -2480 -2392 2288 -2344 -2604 2656 2280 -2284 -2336 2292 2424 2280 2476 2652 2488 2340 -2432 2616 2372 2440 -2500 -2320 2320 -2380 2648 -2288 2404 -2648 2392 -2336 2496 -2284 2320 -2492 -2616 2364 2520 -2584 -2636 -2472 2324 2320 -2284 2300 2312 2620 -2292 -2320 2616 -2608 2352 2592 -2544 -2616 2572 -2508 -2528 2384 2320 2548 -2600 2448 -2300 -2320 -2580 -2384 2488 -2652 -2356 2344 2344 2652 -2324 -2360 2508 2508 -2604 -2500 -2316 2500 2328 2616 -2280 2648 -2640 2308 -2636 2616 -2648 2656 -2652 -2284 2516 -2324 2372 -2572 -2388 -2320 2388 -2616 2576 2492 2560 2284 -2596 -2324 -2472 2552 2320 -2288 2604 -2500 2440 2376 2568 -2344 -2640 2284 -2560 2656 2320 2564 2636 2568 2484 2648 2320 -2332 2280 2324 -2436 2284 2492 -2388 2616 2328 -2400 2500 -2564 -2416 -2468 -2592 -2396 -2492 2504 2420 2460 2648 -2284 2552 2380 2284 -2508 2616 2504 2608 -2588 -2360 2352 2292 2284 -2480 -2368 -2616 -2508 2484 -2616 -2328 -2384 -2320 -2596 2352 2600 2636 -2324 -2504 2596 2280 -2292 -2612 -2284 2500 -2656 -2284 -2568 -2288 2648 2320 2288 2552 -2476 -2400 2644 2644 2552 -2572 -2472 2364 -2368 2500 -2432 -2616 2564 -2656 2492 -2520 2284 2356 -2340 -2280 -2580 2300 -2612 -2320 2648 -2656 -2452 -2652 -2436 -2336 -2296 -2500 -2408 -2332 -2564 -2504 2412 2324 2436 -2564 2628 2364 2336 -2368 -2368 -2656 2488 2508 -2484 -2612 -2456 -2328 -2516 -2472 2348 2532 -2280 2384 2556 -2556 -2616 2284 2532 -2600 2408 2480 2408 2536 -2336 2304 2516 2376 -2368 -2652 2580 2312 2280 2648 -2656 2612 2472 2412 -2492 -2292 2652 2604 -2544 -2556 2576 -2544 2384 2604 -2340 2420 2568 2612 -2640 2612 2280 2328 -2528 -2540 2652 2364 2324 2612 -2348 2320 2480 2476 2284 -2320 2436 2400 -2296 2584 2516 -2372 2284 2588 2516 -2616 -2656 -2356 2280 2440 -2440 -2284 2508 -2656 -2292 -2440 2504 2444 -2288 2368 -2480 2384 -2616 -2408 2592 -2380 2608 2584 2492 -2464 -2652 2432 2556 -2316 2468 -2416 -2636 2508 2292 -2284 2348 2516 -2608 2372 -2328 -2296 2484 2572 2304 -2476 -2616 -2648 2616 -2376 -2428 2452 -2652 2652 -2536 2324 2656 -2648 -2488 -2652 2460 -2328 2528 -2620 2324 -2364 -2400 -2400 2476 2400 2608 -2284 -2596 2284 2588 2284 2580 -2468 -2608 -2540 2324 -2656 2656 2616 -2320 -2576 -2608 2280 -2592 2572 -2616 -2280 2392 2280 2372 -2576 2380 2396 -2336 -2656 2596 -2320 2636 -2440 2320 2616 -2608 -2516 -2280 -2400 -2588 -2564 -2404 -2616 -2616 2580 -2448 -2280 2512 2656 2460 2284 -2564 2344 -2304 -2576 2616 -2572 -2508 2652 2528 2288 2596 -2468 2384 -2580 -2280 2624 2556 -2596 -2556 2332 -2584 2344 2320 2364 2340 -2552 -2652 2608 2420 2292 -2576 -2596 2444 -2532 -2508 -2476 -2528 -2560 -2648 -2640 -2500 -2284 2504 2604 -2468 -2280 2532 -2612 -2292 -2320 2396 2652 -2364 2652 -2332 -2616 -2468 -2284 2336 2524 -2348 -2656 2320 -2476 2648 -2368 2280 2440 2444 -2480 2528 2532 2628 -2280 -2616 2328 -2504 2324 -2476 2548 -2560 2432 2416 2292 -2332 -2588 2428 -2364 -2400 -2528 2616 2528 2480 -2616 2452 -2380 2480 -2300 2656 -2292 -2320 -2328 -2440 -2612 -2576 2396 -2288 2500 -2392 -2452 -2416 2292 2652 2280 2324 -2388 -2492 -2536 2656 -2592 2656 2336 -2616 2600 -2492 -2612 2564 2436 -2648 -2468 2580 -2332 2288 -2476 2508 2408 -2616 -2648 2364 -2392 2556 -2604 -2420 -2292 -2648 -2320 -2516 2320 2420 -2324 2312 2572 2532 -2616 -2624 2284 2392 -2404 -2420 -2348 2580 -2420 -2656 2400 -2524 -2484 2516 2572 2456 2280 -2280 -2656 2604 -2600 -2320 2488 2412 2296 2552 -2452 2404 -2464 -2532 -2656 2364 2632 2616 -2592 -2288 -2284 -2656 2280 2280 -2592 2324 2616 -2320 2368 2540 2288 2640 2644 2324 2612 2388 2532 -2572 2568 -2636 2284 2596 2612 -2284 -2320 2396 2320 2444 -2532 2540 2500 2528 2516 -2652 2616 -2372 -2280 2536 -2296 2320 -2436 -2568 2328 -2332 -2372 -2404 2432 2428 -2488 2324 2292 2280 -2628 -2512 2504 -2472 -2288 2416 -2512 -2520 -2336 -2648 -2360 2612 -2612 -2616 -2476 2320 -2368 -2516 2368 2320 2520 -2532 2600 2580 -2312 -2612 2280 2360 2596 -2648 2584 -2612 -2284 -2292 -2636 -2452 2480 2412 2656 -2552 2520 2552 2292 2656 -2300 2536 2632 2320 -2340 2340 -2360 -2320 -2616 -2536 2472 -2280 2656 2372 -2512 -2320 2288 -2612 2500 -2524 -2476 2488 -2584 -2432 -2492 2656 2392 2380 2576 -2280 -2504 2356 2452 -2532 -2640 2652 2288 -2324 -2420 -2596 -2636 -2460 -2644 -2528 -2428 -2552 2612 2616 2296 -2284 -2656 2432 -2604 2432 2320 2516 -2436 2592 2396 2296 -2508 2616 2328 -2504 -2460 -2548 2500 -2476 -2280 -2532 -2656 2480 -2508 2416 2332 -2596 2288 -2592 -2580 -2484 -2596 2416 2280 2512 -2568 -2600 -2588 2520 2344 -2476 2648 2392 2324 2596 -2652 2352 2608 -2324 2352 -2424 2652 -2488 2472 2460 2608 -2332 -2460 -2320 2324 -2568 -2640 2500 -2388 2376 -2484 -2356 -2548 2600 2564 2444 2560 -2408 2444 2580 -2504 -2652 2656 2380 2652 -2508 -2620 2548 2416 2448 2508 -2536 -2452 -2404 -2608 2464 2476 2280 -2356 2516 -2280 -2468 2636 -2436 2308 -2548 2392 2396 2556 2444 2616 2608 2640 2288 2484 -2592 -2540 -2656 -2428 2612 -2404 -2496 2332 -2328 -2492 2284 2628 -2648 2560 -2320 2540 -2328 -2468 2516 -2604 2608 -2604 2560 -2544 2520 2336 2284 -2652 -2284 2408 2320 -2544 2656 -2480 -2576 2404 2380 -2320 -2544 -2632 -2332 -2468 2636 -2320 -2524 2440 2656 2320 -2292 -2500 -2556 2320 -2368 2656 -2324 -2316 -2400 -2280 2280 -2656 2400 -2500 2280 -2520 -2540 -2616 2656 2436 2352 2440 2320 2320 -2496 2396 2424 -2324 -2656 -2600 2444 2576 -2640 2388 -2508 -2600 2496 2656 -2652 -2608 -2340 2392 -2652 -2632 2616 -2320 -2612 2364 2436 -2340 -2536 2280 -2600 2460 -2320 -2480 2648 -2292 2624 -2640 2284 -2604 2292 2472 2556 -2504 -2584 2280 2280 -2292 -2328 -2284 -2324 2492 -2576 -2580 -2612 2460 2480 -2540 -2356 2356 2512 -2436 -2616 2616 -2652 2332 2452 -2608 -2472 -2332 -2576 -2616 -2428 -2572 -2320 -2444 2480 2540 -2396 -2376 -2608 2284 -2460 -2612 -2632 2400 -2560 2360 -2472 2280 2600 2344 2280 -2380 -2436 -2648 2544 -2576 2552 2420 2464 -2628 2392 2564 -2360 -2280 2344 2644 -2328 -2332 -2516 2572 -2436 2372 2608 -2612 2468 2504 -2472 -2656 -2280 -2444 -2288 2540 -2612 -2408 2644 2360 2324 2604 -2284 -2604 2300 -2300 -2360 -2480 2424 2608 2576 -2608 -2512 -2656 -2656 -2388 -2580 -2340 2468 2648 -2532 -2320 2320 -2280 -2584 2324 2444 -2280 -2520 -2364 -2332 -2644 -2428 -2388 -2540 2612 -2620 2456 -2620 -2332 2352 -2300 2380 -2596 2616 2352 2592 2400 2476 2632 2436 -2652 2452 -2540 2400 2592 -2332 2568 -2612 -2652 -2528 2568 -2388 2648 -2504 -2332 2472 2464 2324 -2656 -2408 2656 2636 2404 -2304 -2588 2280 2608 2320 2548 2380 2312 2332 2520 2340 2408 -2636 2404 2560 2588 -2612 -2544 2400 2656 -2300 2612 -2588 2468 2432 2496 2620 -2324 2544 2640 -2520 -2536 2392 2608 2608 2504 2312 -2552 2324 2640 2408 -2616 2280 2424 -2324 2356 -2616 -2280 2524 -2632 -2600 2312 2384 -2436 -2420 2656 -2340 2332 -2316 2652 -2376 2584 2320 2320 2484 2548 -2280 -2524 -2524 -2344 2568 2632 2456 -2656 2476 -2548 2356 2604 -2320 -2368 -2460 -2612 2288 -2652 -2460 -2324 -2324 -2652 2616 -2644 -2352 -2328 2596 -2280 2596 2608 -2556 -2608 -2568 2608 2624 2340 2576 2592 -2280 -2580 -2284 -2360 -2452 2436 -2332 2292 -2656 2356 -2284 -2280 -2404 -2492 -2280 2656 -2616 2608 2476 2540 -2492 2612 2508 2324 2580 2588 2412 2596 -2656 -2616 -2556 2628 -2492 -2280 -2400 -2320 2628 -2656 2308 2584 -2280 2528 -2508 -2408 2400 2280 2332 -2316 2532 2584 -2600 -2636 2464 -2652 -2448 -2524 2616 -2416 2328 -2616 2448 2576 -2448 -2516 2608 -2388 -2372 -2296 2620 -2284 2512 -2644 -2528 2588 -2592 2280 2280 -2372 2360 -2656 -2656 2532 2464 -2544 2520 2328 2396 -2388 2320 2280 -2404 -2612 2412 2540 -2656 2360 2596 2532 2280 -2652 2636 2376 2528 2372 2412 2388 2284 -2580 2564 -2532 2608 2492 -2284 -2632 -2328 -2656 -2452 -2288 2512 2576 2280 -2320 -2464 2312 2600 -2392 -2320 2280 2656 2476 -2488 2288 -2280 -2280 -2448 -2332 -2304 2344 -2640 2616 2556 2600 2608 -2324 2656 -2628 -2288 -2608 2596 2336 -2392 -2588 -2348 -2440 -2636 -2488 -2432 -2344 2616 -2616 2332 2560 -2508 2392 2384 -2632 2444 -2572 2652 -2340 2484 -2320 2504 -2420 -2620 2540 2600 -2280 2636 2656 2600 2280 -2612 -2656 2380 -2320 2360 2656 2588 -2368 2288 -2284 2528 -2320 2432 -2640 -2400 2636 2544 2484 2420 -2456 -2636 2560 -2356 2528 -2320 2460 2408 -2280 2472 -2488 -2656 2580 2648 -2588 2652 -2464 2328 -2532 2576 -2396 -2320 2492 2636 -2564 2516 2280 2460 2616 2284 2336 2376 -2452 -2460 -2500 2444 2500 2656 2468 -2632 2624 2280 -2644 2436 -2468 -2500 -2428 2592 -2612 -2520 2420 -2556 -2492 -2640 -2656 2596 2440 -2280 -2656 -2612 2652 2332 2612 2540 2616 -2616 -2416 -2344 2500 -2368 2376 -2284 2320 2616 2500 -2364 2300 2656 2648 2656 -2320 2584 -2380 -2492 -2592 -2604 -2656 2436 2368 -2324 -2512 -2556 2540 2552 -2604 -2620 -2584 2356 -2512 -2360 2536 2588 2656 -2648 -2280 2444 2616 -2464 2516 2516 2600 -2572 -2292 -2524 -2472 2452 2296 -2572 2284 -2280 2656 2480 -2484 -2320 2656 -2524 2612 2516 2476 2440 -2428 2408 2624 -2656 2348 2608 2580 2572 -2480 -2616 2656 2432 2360 2536 2312 2320 2512 -2424 2548 2328 2548 2288 2420 2444 -2324 -2348 2604 2360 2424 2564 2480 2328 -2492 2568 2508 -2584 -2600 -2592 2596 2612 2452 2280 -2304 2612 2588 2360 2404 2552 2596 -2600 2448 2556 2556 -2460 -2472 2556 2592 2568 2320 -2612 2516 -2332 -2608 -2612 -2640 2524 2292 2644 2616 -2608 -2648 2624 -2652 -2336 2308 -2612 -2428 -2280 2652 2504 -2412 -2520 -2488 2564 2548 -2656 -2324 2392 2320 -2396 2412 2616 2412 2544 -2648 -2292 -2568 -2300 -2420 -2520 2544 2444 -2492 2348 -2284 2656 -2596 2440 2576 2320 -2280 -2536 2608 -2436 -2296 -2452 2312 -2384 2632 -2496 -2476 2476 2496 -2340 -2332 2432 -2352 2596 -2612 2428 2280 2412 -2580 2460 2300 -2356 2340 -2512 -2360 2384 2460 -2520 -2568 2380 -2424 2476 2544 -2612 -2280 2332 -2564 2656 2308 2356 2284 -2524 -2604 -2616 -2292 2280 2500 2596 2656 -2448 -2292 2504 2480 2368 -2464 2408 -2284 -2352 2624 -2280 2584 -2652 -2640 2280 2332 -2656 -2572 -2336 2608 2380 -2360 -2616 -2348 -2312 -2280 -2616 -2472 2440 -2484 2464 -2444 2328 2412 -2280 -2348 -2544 2616 -2500 -2616 2408 -2432 2480 -2652 2280 -2324 2476 -2388 2404 -2364 -2640 2596 -2320 -2532 -2476 -2496 2332 -2292 2296 -2536 -2628 2320 -2564 2644 2612 2304 -2480 -2332 -2588 2508 -2476 -2500 -2548 2312 -2332 2648 2484 -2492 -2656 2616 -2532 2652 -2280 -2396 -2436 -2612 2556 -2612 2288 2348 2432 2408 2412 -2372 -2636 2464 -2596 2324 -2548 2656 2280 -2460 -2416 -2636
1689 unsatisfied constraints, 23963 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-275297-1169219829 -o ROOT/results/node48/solver-275297-1169219829 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275297-1169219829/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 2.08 2.04 2.00 5/80 24711 /proc/meminfo: memFree=1333912/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=18540 CPUtime=0 /proc/24710/stat : 24710 (runsolver) R 24708 24710 23880 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270381638 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/24710/statm: 4635 279 244 17 0 2626 0 [startup+0.103879 s] /proc/loadavg: 2.08 2.04 2.00 5/80 24711 /proc/meminfo: memFree=1333912/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=914988 CPUtime=0.08 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 2965 0 1 0 6 2 0 0 17 0 8 0 270381638 936947712 2711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153801482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228747 2711 1417 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.511916 s] /proc/loadavg: 2.08 2.04 2.00 5/80 24711 /proc/meminfo: memFree=1333912/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915332 CPUtime=0.48 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 6921 0 1 0 44 4 0 0 18 0 8 0 270381638 937299968 6660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228833 6660 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.33299 s] /proc/loadavg: 2.15 2.06 2.01 3/87 24718 /proc/meminfo: memFree=1265760/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915612 CPUtime=1.3 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 21304 0 1 0 119 11 0 0 23 0 8 0 270381638 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228903 21041 2164 14 0 215373 0 [pid=24710/tid=24712] ppid=24708 vsize=915612 CPUtime=0.07 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 4745 0 0 0 5 2 0 0 16 0 8 0 270381642 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915612 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915612 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915612 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915612 CPUtime=0.17 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 403 0 0 0 16 1 0 0 16 0 8 0 270381646 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915612 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915612 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937586688 21041 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.97414 s] /proc/loadavg: 2.15 2.06 2.01 3/87 24718 /proc/meminfo: memFree=1254240/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915744 CPUtime=2.94 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 22274 0 1 0 281 13 0 0 25 0 8 0 270381638 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228936 22008 2184 14 0 215406 0 [pid=24710/tid=24712] ppid=24708 vsize=915744 CPUtime=0.13 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 5622 0 0 0 11 2 0 0 17 0 8 0 270381642 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915744 CPUtime=0.21 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 270381646 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937721856 22008 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.18143 s] /proc/loadavg: 2.14 2.06 2.00 4/87 24718 /proc/meminfo: memFree=1253984/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915744 CPUtime=6.13 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 22283 0 1 0 598 15 0 0 25 0 8 0 270381638 937721856 22015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228936 22015 2185 14 0 215406 0 [pid=24710/tid=24712] ppid=24708 vsize=915744 CPUtime=0.13 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 5622 0 0 0 11 2 0 0 17 0 8 0 270381642 937721856 22015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 22015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 22015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937721856 22015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915744 CPUtime=0.22 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 437 0 0 0 21 1 0 0 15 0 8 0 270381646 937721856 22015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937721856 22015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937721856 22015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 915744 [startup+12.651 s] /proc/loadavg: 2.13 2.05 2.00 3/87 24718 /proc/meminfo: memFree=1254056/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915744 CPUtime=12.57 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 22294 0 1 0 1233 24 0 0 25 0 8 0 270381638 937721856 22024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228936 22024 2185 14 0 215406 0 [pid=24710/tid=24712] ppid=24708 vsize=915744 CPUtime=0.13 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 5622 0 0 0 11 2 0 0 16 0 8 0 270381642 937721856 22024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 22024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 22024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937721856 22024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915744 CPUtime=0.23 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 446 0 0 0 22 1 0 0 16 0 8 0 270381646 937721856 22024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937721856 22024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937721856 22024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 915744 [startup+25.5112 s] /proc/loadavg: 2.11 2.05 2.00 3/87 24718 /proc/meminfo: memFree=1237672/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915744 CPUtime=25.37 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 26459 0 1 0 2487 50 0 0 25 0 8 0 270381638 937721856 26187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228936 26187 2185 14 0 215406 0 [pid=24710/tid=24712] ppid=24708 vsize=915744 CPUtime=0.32 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 9784 0 0 0 29 3 0 0 16 0 8 0 270381642 937721856 26187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 26187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 26187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937721856 26187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915744 CPUtime=0.23 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 447 0 0 0 22 1 0 0 15 0 8 0 270381646 937721856 26187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937721856 26187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937721856 26187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 915744 [startup+51.1286 s] /proc/loadavg: 2.06 2.05 2.00 3/87 24718 /proc/meminfo: memFree=1221672/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915744 CPUtime=50.86 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 30439 0 1 0 4978 108 0 0 25 0 8 0 270381638 937721856 30165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228936 30165 2185 14 0 215406 0 [pid=24710/tid=24712] ppid=24708 vsize=915744 CPUtime=0.52 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 13761 0 0 0 47 5 0 0 16 0 8 0 270381642 937721856 30165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 30165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 30165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937721856 30165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915744 CPUtime=0.24 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 448 0 0 0 23 1 0 0 16 0 8 0 270381646 937721856 30165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937721856 30165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937721856 30165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.86 Current children cumulated vsize (KiB) 915744 [startup+102.378 s] /proc/loadavg: 2.05 2.04 2.00 3/87 24778 /proc/meminfo: memFree=1198512/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915744 CPUtime=101.64 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34711 0 1 0 10017 147 0 0 25 0 8 0 270381638 937721856 34394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074012147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228936 34394 2504 14 0 215406 0 [pid=24710/tid=24712] ppid=24708 vsize=915744 CPUtime=0.91 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 17653 0 0 0 84 7 0 0 16 0 8 0 270381642 937721856 34394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 34394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937721856 34394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937721856 34394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915744 CPUtime=0.29 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 477 0 0 0 28 1 0 0 16 0 8 0 270381646 937721856 34394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937721856 34394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915744 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937721856 34394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.64 Current children cumulated vsize (KiB) 915744 [startup+162.479 s] /proc/loadavg: 2.02 2.03 2.00 3/87 24778 /proc/meminfo: memFree=1198384/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915744 CPUtime=161.17 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34712 0 1 0 15962 155 0 0 25 0 8 0 270381638 937721856 34395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2005.47 Current children cumulated vsize (KiB) 915884 [startup+2083.9 s] /proc/loadavg: 2.00 2.00 2.00 3/87 24780 /proc/meminfo: memFree=1197296/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915884 CPUtime=2065.02 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34963 0 1 0 206315 187 0 0 25 0 8 0 270381638 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074286389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228971 34625 2551 14 0 215441 0 [pid=24710/tid=24712] ppid=24708 vsize=915884 CPUtime=0.91 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 17653 0 0 0 84 7 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915884 CPUtime=0.44 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 623 0 0 0 42 2 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2065.02 Current children cumulated vsize (KiB) 915884 [startup+2143.9 s] /proc/loadavg: 2.00 2.00 2.00 3/87 24780 /proc/meminfo: memFree=1197296/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915884 CPUtime=2124.48 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34963 0 1 0 212261 187 0 0 25 0 8 0 270381638 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074291812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228971 34625 2551 14 0 215441 0 [pid=24710/tid=24712] ppid=24708 vsize=915884 CPUtime=0.91 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 17653 0 0 0 84 7 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915884 CPUtime=0.44 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 623 0 0 0 42 2 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2124.48 Current children cumulated vsize (KiB) 915884 [startup+2203.96 s] /proc/loadavg: 2.00 2.00 2.00 3/87 24780 /proc/meminfo: memFree=1197296/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915884 CPUtime=2183.99 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34964 0 1 0 218212 187 0 0 25 0 8 0 270381638 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074325987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228971 34625 2551 14 0 215441 0 [pid=24710/tid=24712] ppid=24708 vsize=915884 CPUtime=0.91 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 17653 0 0 0 84 7 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915884 CPUtime=0.44 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 623 0 0 0 42 2 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2183.99 Current children cumulated vsize (KiB) 915884 [startup+2264.01 s] /proc/loadavg: 2.00 2.00 2.00 3/87 24780 /proc/meminfo: memFree=1197232/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915884 CPUtime=2243.51 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34964 0 1 0 224163 188 0 0 25 0 8 0 270381638 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074291808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228971 34625 2551 14 0 215441 0 [pid=24710/tid=24712] ppid=24708 vsize=915884 CPUtime=0.91 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 17653 0 0 0 84 7 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915884 CPUtime=0.44 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 623 0 0 0 42 2 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2243.51 Current children cumulated vsize (KiB) 915884 [startup+2324.07 s] /proc/loadavg: 2.00 2.00 2.00 3/87 24780 /proc/meminfo: memFree=1197232/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915884 CPUtime=2303.23 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34964 0 1 0 230135 188 0 0 25 0 8 0 270381638 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074291863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228971 34625 2551 14 0 215441 0 [pid=24710/tid=24712] ppid=24708 vsize=915884 CPUtime=0.91 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 17653 0 0 0 84 7 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915884 CPUtime=0.44 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 623 0 0 0 42 2 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2303.23 Current children cumulated vsize (KiB) 915884 [startup+2384.11 s] /proc/loadavg: 2.00 2.00 2.00 3/87 24780 /proc/meminfo: memFree=1197232/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915884 CPUtime=2363 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34964 0 1 0 236112 188 0 0 25 0 8 0 270381638 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074291808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228971 34625 2551 14 0 215441 0 [pid=24710/tid=24712] ppid=24708 vsize=915884 CPUtime=0.91 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 17653 0 0 0 84 7 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915884 CPUtime=0.44 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 623 0 0 0 42 2 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2363 Current children cumulated vsize (KiB) 915884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2421.34 s] /proc/loadavg: 2.00 2.00 2.00 3/87 24780 /proc/meminfo: memFree=1197232/2055920 swapFree=4192812/4192956 [pid=24710] ppid=24708 vsize=915884 CPUtime=2400.04 /proc/24710/stat : 24710 (java) R 24708 24710 23880 0 -1 0 34964 0 1 0 239816 188 0 0 25 0 8 0 270381638 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074292591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24710/statm: 228971 34625 2551 14 0 215441 0 [pid=24710/tid=24712] ppid=24708 vsize=915884 CPUtime=0.91 /proc/24710/task/24712/stat : 24712 (java) S 24708 24710 23880 0 -1 64 17653 0 0 0 84 7 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24713] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24713/stat : 24713 (java) S 24708 24710 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24714] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24714/stat : 24714 (java) S 24708 24710 23880 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270381642 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24715] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24715/stat : 24715 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24716] ppid=24708 vsize=915884 CPUtime=0.44 /proc/24710/task/24716/stat : 24716 (java) S 24708 24710 23880 0 -1 64 623 0 0 0 42 2 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24717] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24717/stat : 24717 (java) S 24708 24710 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24710/tid=24718] ppid=24708 vsize=915884 CPUtime=0 /proc/24710/task/24718/stat : 24718 (java) S 24708 24710 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270381646 937865216 34625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 915884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2421.38 CPU time (s): 2400.09 CPU user time (s): 2398.18 CPU system time (s): 1.90471 CPU usage (%): 99.1206 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.18 system time used= 1.90471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34988 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= 50874 involuntary context switches= 105388 runsolver used 2.85257 s user time and 8.02778 s system time The end
Begin job on node48 on Fri Jan 19 15:17:09 UTC 2007 IDJOB= 275297 IDBENCH= 3774 IDSOLVER= 68 FILE ID= node48/275297-1169219829 PBS_JOBID= 3589105 Free space on /tmp= 66557 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-0.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275297-1169219829/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-275297-1169219829 -o ROOT/results/node48/solver-275297-1169219829 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275297-1169219829/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= a32198ea21ca0bec318dd728ce382b21 RANDOM SEED= 872452412 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.218 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.218 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: 1334328 kB Buffers: 48196 kB Cached: 534156 kB SwapCached: 0 kB Active: 170924 kB Inactive: 474256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1334328 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 5192 kB Writeback: 0 kB Mapped: 83104 kB Slab: 61708 kB Committed_AS: 6277272 kB PageTables: 1880 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node48 on Fri Jan 19 15:57:31 UTC 2007