Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.07 | 2411.33 |
| Name | fapp/fapp11-15/fapp13/ fapp13-2000-2.xml |
| MD5SUM | 2ac0102e63bae2a630109ac404c489a9 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 24559 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| 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=pfc.xml 0.43 0.43 instance 0.43 name=/tmp/evaluation/275301-1169219880/unknown.xml 0.46 0.46 domains being loaded... 0.50 0.50 variables being loaded... 0.73 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190 0.73 => wckTime=0.418 cpuTime=0.23 mem=20M556 0.73 0.73 predicates being loaded... 0.73 0.73 constraints being loaded... 52.27 nbConstraints=25652 nbConvertedConstraints=25652 nbConvertConstraintsChecks=155259272 nbExtensionStructures=9834 52.37 nbSharedExtensionStructures=15818 nbConflictsStructures=9834 nbSharedConflictsStructures=15818 52.37 nbSharedBinaryRepresentations=2507460 maxDegree=33 maxArity=2 52.37 => wckTime=51.958 cpuTime=50.78 mem=62M587 52.55 52.55 solver LocalSearchSolver being built... 52.59 => wckTime=52.277 cpuTime=50.82 mem=63M621 52.66 52.66 s SATISFIABLE 52.66 o 20292 52.66 c 5360 52.68 o 20299 52.68 c 5353 52.69 o 20308 52.69 c 5344 52.70 o 20317 52.70 c 5335 52.71 o 20325 52.71 c 5327 52.72 o 20331 52.72 c 5321 52.73 o 20337 52.73 c 5315 52.74 o 20343 52.74 c 5309 52.74 o 20348 52.74 c 5304 52.75 o 20352 52.75 c 5300 52.76 o 20355 52.76 c 5297 52.76 o 20357 52.76 c 5295 52.77 o 20359 52.77 c 5293 52.78 o 20360 52.78 c 5292 52.79 o 20368 52.79 c 5284 52.81 o 20375 52.81 c 5277 52.82 o 20381 52.82 c 5271 52.83 o 20387 52.83 c 5265 52.84 o 20393 52.84 c 5259 52.85 o 20398 52.85 c 5254 52.86 o 20403 52.86 c 5249 52.87 o 20408 52.87 c 5244 52.88 o 20415 52.88 c 5237 52.89 o 20419 52.89 c 5233 52.90 o 20423 52.90 c 5229 52.92 o 20427 52.92 c 5225 52.92 o 20431 52.92 c 5221 52.93 o 20434 52.93 c 5218 52.94 o 20437 52.94 c 5215 52.95 o 20440 52.95 c 5212 52.96 o 20443 52.96 c 5209 52.97 o 20446 52.97 c 5206 52.97 o 20448 52.97 c 5204 52.98 o 20450 52.98 c 5202 52.99 o 20452 52.99 c 5200 53.00 o 20454 53.00 c 5198 53.01 o 20456 53.01 c 5196 53.01 o 20457 53.01 c 5195 53.03 o 20459 53.03 c 5193 53.04 o 20464 53.04 c 5188 53.04 o 20473 53.04 c 5179 53.05 o 20482 53.05 c 5170 53.06 o 20491 53.06 c 5161 53.07 o 20499 53.07 c 5153 53.08 o 20507 53.08 c 5145 53.09 o 20514 53.09 c 5138 53.11 o 20520 53.11 c 5132 53.12 o 20526 53.12 c 5126 53.13 o 20531 53.13 c 5121 53.14 o 20536 53.14 c 5116 53.16 o 20541 53.16 c 5111 53.17 o 20546 53.17 c 5106 53.18 o 20550 53.18 c 5102 53.19 o 20554 53.19 c 5098 53.20 o 20558 53.20 c 5094 53.21 o 20562 53.21 c 5090 53.22 o 20564 53.22 c 5088 53.23 o 20567 53.23 c 5085 53.24 o 20569 53.24 c 5083 53.25 o 20572 53.25 c 5080 53.26 o 20575 53.26 c 5077 53.26 o 20578 53.26 c 5074 53.27 o 20581 53.27 c 5071 53.28 o 20584 53.28 c 5068 53.29 o 20587 53.29 c 5065 53.29 o 20589 53.29 c 5063 53.30 o 20594 53.30 c 5058 53.31 o 20595 53.31 c 5057 53.32 o 20601 53.32 c 5051 53.33 o 20606 53.33 c 5046 53.34 o 20607 53.34 c 5045 53.35 o 20612 53.35 c 5040 53.35 o 20613 53.35 c 5039 53.36 o 20618 53.36 c 5034 53.37 o 20623 53.37 c 5029 53.38 o 20627 53.38 c 5025 53.39 o 20636 53.39 c 5016 53.41 o 20644 53.41 c 5008 53.41 o 20650 53.41 c 5002 53.43 o 20658 53.43 c 4994 53.44 o 20665 53.44 c 4987 53.45 o 20672 53.45 c 4980 53.47 o 20679 53.47 c 4973 53.48 o 20686 53.48 c 4966 53.49 o 20692 53.49 c 4960 53.50 o 20698 53.50 c 4954 53.52 o 20704 53.52 c 4948 53.53 o 20710 53.53 c 4942 53.54 o 20716 53.54 c 4936 53.56 o 20722 53.56 c 4930 53.57 o 20728 53.57 c 4924 53.58 o 20733 53.58 c 4919 53.59 o 20738 53.59 c 4914 53.61 o 20743 53.61 c 4909 53.62 o 20748 53.62 c 4904 53.63 o 20752 53.63 c 4900 53.64 o 20756 53.64 c 4896 53.66 o 20760 53.66 c 4892 53.67 o 20764 53.67 c 4888 53.68 o 20768 53.68 c 4884 53.69 o 20774 53.69 c 4878 53.70 o 20778 53.70 c 4874 53.71 o 20782 53.71 c 4870 53.72 o 20786 53.72 c 4866 53.72 o 20789 53.73 c 4863 53.74 o 20792 53.74 c 4860 53.75 o 20795 53.75 c 4857 53.75 o 20798 53.75 c 4854 53.76 o 20801 53.76 c 4851 53.77 o 20804 53.77 c 4848 53.78 o 20806 53.78 c 4846 53.79 o 20808 53.79 c 4844 53.79 o 20809 53.79 c 4843 53.80 o 20810 53.80 c 4842 53.81 o 20811 53.81 c 4841 53.82 o 20814 53.82 c 4838 53.82 o 20815 53.82 c 4837 53.84 o 20816 53.84 c 4836 53.85 o 20823 53.85 c 4829 53.86 o 20831 53.86 c 4821 53.87 o 20833 53.87 c 4819 53.87 o 20842 53.87 c 4810 53.88 o 20844 53.88 c 4808 53.89 o 20848 53.89 c 4804 53.90 o 20854 53.90 c 4798 53.91 o 20860 53.91 c 4792 53.91 o 20861 53.91 c 4791 53.93 o 20865 53.93 c 4787 53.94 o 20867 53.94 c 4785 53.95 o 20870 53.95 c 4782 53.95 o 20873 53.95 c 4779 53.96 o 20881 53.96 c 4771 53.97 o 20882 53.97 c 4770 53.98 o 20888 53.98 c 4764 53.99 o 20894 53.99 c 4758 54.00 o 20896 54.00 c 4756 54.01 o 20902 54.01 c 4750 54.02 o 20906 54.02 c 4746 54.03 o 20909 54.03 c 4743 54.04 o 20911 54.04 c 4741 54.04 o 20915 54.04 c 4737 54.05 o 20918 54.05 c 4734 54.07 o 20924 54.07 c 4728 54.08 o 20930 54.08 c 4722 54.10 o 20937 54.10 c 4715 54.11 o 20943 54.11 c 4709 54.13 o 20948 54.13 c 4704 54.14 o 20954 54.14 c 4698 54.16 o 20956 54.16 c 4696 54.17 o 20962 54.17 c 4690 54.19 o 20967 54.19 c 4685 54.20 o 20972 54.20 c 4680 54.22 o 20977 54.22 c 4675 54.23 o 20983 54.23 c 4669 54.25 o 20985 54.25 c 4667 54.26 o 20992 54.26 c 4660 54.27 o 20997 54.27 c 4655 54.29 o 21002 54.29 c 4650 54.31 o 21007 54.31 c 4645 54.32 o 21012 54.32 c 4640 54.33 o 21016 54.33 c 4636 54.35 o 21017 54.35 c 4635 54.36 o 21021 54.36 c 4631 54.37 o 21025 54.37 c 4627 54.38 o 21029 54.38 c 4623 54.40 o 21033 54.40 c 4619 54.41 o 21037 54.41 c 4615 54.42 o 21041 54.42 c 4611 54.43 o 21045 54.43 c 4607 54.44 o 21048 54.44 c 4604 54.45 o 21051 54.45 c 4601 54.46 o 21054 54.46 c 4598 54.47 o 21057 54.47 c 4595 54.48 o 21059 54.48 c 4593 54.49 o 21061 54.50 c 4591 54.50 o 21063 54.50 c 4589 54.51 o 21065 54.51 c 4587 54.52 o 21067 54.52 c 4585 54.53 o 21069 54.53 c 4583 54.56 o 21070 54.56 c 4582 54.56 o 21071 54.56 c 4581 54.57 o 21072 54.57 c 4580 54.58 o 21073 54.58 c 4579 54.62 o 21077 54.62 c 4575 54.63 o 21082 54.63 c 4570 54.63 o 21086 54.63 c 4566 54.64 o 21091 54.64 c 4561 54.65 o 21092 54.65 c 4560 54.66 o 21096 54.66 c 4556 54.67 o 21103 54.67 c 4549 54.69 o 21107 54.69 c 4545 54.70 o 21112 54.70 c 4540 54.71 o 21118 54.71 c 4534 54.71 o 21123 54.71 c 4529 54.73 o 21131 54.73 c 4521 54.73 o 21133 54.73 c 4519 54.74 o 21134 54.74 c 4518 54.75 o 21136 54.75 c 4516 54.76 o 21139 54.76 c 4513 54.77 o 21146 54.77 c 4506 54.77 o 21150 54.77 c 4502 54.78 o 21152 54.78 c 4500 54.79 o 21155 54.79 c 4497 54.80 o 21159 54.80 c 4493 54.81 o 21162 54.81 c 4490 54.82 o 21165 54.82 c 4487 54.83 o 21166 54.83 c 4486 54.84 o 21172 54.84 c 4480 54.85 o 21173 54.85 c 4479 54.86 o 21175 54.86 c 4477 54.87 o 21180 54.87 c 4472 54.88 o 21184 54.88 c 4468 54.89 o 21187 54.89 c 4465 54.89 o 21191 54.89 c 4461 54.90 o 21192 54.90 c 4460 54.91 o 21198 54.91 c 4454 54.92 o 21200 54.92 c 4452 54.94 o 21201 54.94 c 4451 54.94 o 21204 54.94 c 4448 54.96 o 21207 54.96 c 4445 54.97 o 21209 54.97 c 4443 54.98 o 21213 54.98 c 4439 55.00 o 21220 55.00 c 4432 55.01 o 21226 55.01 c 4426 55.03 o 21232 55.03 c 4420 55.04 o 21238 55.04 c 4414 55.06 o 21243 55.06 c 4409 55.08 o 21248 55.08 c 4404 55.10 o 21253 55.10 c 4399 55.11 o 21257 55.11 c 4395 55.13 o 21264 55.13 c 4388 55.15 o 21268 55.15 c 4384 55.17 o 21272 55.17 c 4380 55.19 o 21275 55.19 c 4377 55.20 o 21278 55.20 c 4374 55.22 o 21281 55.22 c 4371 55.24 o 21284 55.24 c 4368 55.25 o 21287 55.25 c 4365 55.27 o 21290 55.27 c 4362 55.30 o 21291 55.30 c 4361 55.32 o 21293 55.32 c 4359 55.33 o 21296 55.33 c 4356 55.35 o 21299 55.35 c 4353 55.36 o 21302 55.36 c 4350 55.38 o 21307 55.38 c 4345 55.39 o 21309 55.39 c 4343 55.41 o 21312 55.41 c 4340 55.43 o 21314 55.43 c 4338 55.44 o 21316 55.44 c 4336 55.46 o 21318 55.46 c 4334 55.47 o 21320 55.47 c 4332 55.49 o 21322 55.49 c 4330 55.50 o 21323 55.50 c 4329 55.51 o 21324 55.51 c 4328 55.52 o 21325 55.52 c 4327 55.53 o 21326 55.53 c 4326 55.56 o 21332 55.56 c 4320 55.59 o 21333 55.59 c 4319 55.64 o 21337 55.64 c 4315 55.65 o 21341 55.65 c 4311 55.66 o 21346 55.66 c 4306 55.67 o 21348 55.67 c 4304 55.68 o 21350 55.68 c 4302 55.69 o 21353 55.69 c 4299 55.71 o 21355 55.71 c 4297 55.72 o 21357 55.72 c 4295 55.75 o 21358 55.75 c 4294 55.76 o 21359 55.76 c 4293 55.77 o 21363 55.77 c 4289 55.77 o 21366 55.77 c 4286 55.78 o 21369 55.78 c 4283 55.79 o 21376 55.79 c 4276 55.80 o 21381 55.80 c 4271 55.82 o 21384 55.82 c 4268 55.83 o 21386 55.83 c 4266 55.84 o 21388 55.84 c 4264 55.84 o 21390 55.84 c 4262 55.85 o 21394 55.85 c 4258 55.86 o 21399 55.86 c 4253 55.87 o 21403 55.87 c 4249 55.88 o 21407 55.88 c 4245 55.89 o 21409 55.89 c 4243 55.91 o 21410 55.91 c 4242 55.92 o 21412 55.92 c 4240 55.93 o 21416 55.93 c 4236 55.97 o 21418 55.97 c 4234 55.98 o 21419 55.98 c 4233 55.99 o 21423 55.99 c 4229 56.00 o 21426 56.00 c 4226 56.01 o 21433 56.01 c 4219 56.02 o 21436 56.02 c 4216 56.04 o 21440 56.04 c 4212 56.05 o 21444 56.05 c 4208 56.06 o 21446 56.06 c 4206 56.07 o 21448 56.07 c 4204 56.08 o 21451 56.08 c 4201 56.09 o 21452 56.09 c 4200 56.11 o 21455 56.11 c 4197 56.12 o 21457 56.12 c 4195 56.13 o 21459 56.13 c 4193 56.14 o 21460 56.14 c 4192 56.15 o 21462 56.15 c 4190 56.16 o 21466 56.16 c 4186 56.17 o 21468 56.17 c 4184 56.18 o 21471 56.18 c 4181 56.19 o 21473 56.19 c 4179 56.21 o 21474 56.21 c 4178 56.22 o 21481 56.22 c 4171 56.23 o 21483 56.23 c 4169 56.25 o 21489 56.25 c 4163 56.26 o 21494 56.26 c 4158 56.28 o 21495 56.28 c 4157 56.29 o 21500 56.29 c 4152 56.31 o 21502 56.31 c 4150 56.32 o 21506 56.32 c 4146 56.34 o 21509 56.34 c 4143 56.35 o 21511 56.35 c 4141 56.37 o 21514 56.37 c 4138 56.38 o 21518 56.38 c 4134 56.39 o 21519 56.39 c 4133 56.41 o 21523 56.41 c 4129 56.43 o 21527 56.43 c 4125 56.44 o 21531 56.44 c 4121 56.46 o 21534 56.46 c 4118 56.48 o 21535 56.48 c 4117 56.50 o 21538 56.50 c 4114 56.52 o 21541 56.52 c 4111 56.54 o 21544 56.54 c 4108 56.56 o 21547 56.56 c 4105 56.57 o 21550 56.57 c 4102 56.59 o 21553 56.59 c 4099 56.60 o 21556 56.60 c 4096 56.62 o 21559 56.62 c 4093 56.64 o 21562 56.64 c 4090 56.65 o 21565 56.65 c 4087 56.67 o 21568 56.67 c 4084 56.68 o 21570 56.68 c 4082 56.70 o 21572 56.70 c 4080 56.71 o 21574 56.71 c 4078 56.72 o 21580 56.72 c 4072 56.74 o 21582 56.74 c 4070 56.75 o 21588 56.75 c 4064 56.76 o 21590 56.76 c 4062 56.78 o 21592 56.78 c 4060 56.79 o 21594 56.79 c 4058 56.80 o 21596 56.80 c 4056 56.82 o 21598 56.82 c 4054 56.83 o 21600 56.83 c 4052 56.84 o 21601 56.84 c 4051 56.85 o 21602 56.85 c 4050 56.86 o 21603 56.86 c 4049 56.92 o 21605 56.92 c 4047 56.95 o 21606 56.95 c 4046 56.96 o 21609 56.96 c 4043 56.97 o 21613 56.97 c 4039 56.98 o 21616 56.98 c 4036 57.00 o 21617 57.00 c 4035 57.02 o 21619 57.02 c 4033 57.03 o 21621 57.03 c 4031 57.04 o 21624 57.04 c 4028 57.07 o 21625 57.07 c 4027 57.08 o 21628 57.08 c 4024 57.10 o 21634 57.10 c 4018 57.11 o 21637 57.11 c 4015 57.15 o 21639 57.15 c 4013 57.16 o 21640 57.16 c 4012 57.18 o 21644 57.18 c 4008 57.19 o 21646 57.19 c 4006 57.23 o 21648 57.23 c 4004 57.26 o 21649 57.26 c 4003 57.27 o 21650 57.27 c 4002 57.29 o 21652 57.29 c 4000 57.30 o 21658 57.30 c 3994 57.31 o 21661 57.31 c 3991 57.34 o 21665 57.34 c 3987 57.36 o 21668 57.36 c 3984 57.37 o 21670 57.37 c 3982 57.38 o 21672 57.38 c 3980 57.40 o 21675 57.40 c 3977 57.41 o 21678 57.41 c 3974 57.42 o 21682 57.42 c 3970 57.44 o 21685 57.44 c 3967 57.45 o 21688 57.45 c 3964 57.46 o 21690 57.46 c 3962 57.47 o 21693 57.47 c 3959 57.48 o 21695 57.48 c 3957 57.50 o 21696 57.50 c 3956 57.51 o 21700 57.51 c 3952 57.52 o 21704 57.52 c 3948 57.53 o 21706 57.53 c 3946 57.55 o 21709 57.55 c 3943 57.59 o 21713 57.59 c 3939 57.62 o 21715 57.62 c 3937 57.63 o 21717 57.63 c 3935 57.65 o 21719 57.65 c 3933 57.66 o 21724 57.66 c 3928 57.67 o 21725 57.67 c 3927 57.69 o 21726 57.69 c 3926 57.70 o 21730 57.70 c 3922 57.71 o 21733 57.71 c 3919 57.73 o 21735 57.73 c 3917 57.75 o 21738 57.75 c 3914 57.78 o 21740 57.78 c 3912 57.80 o 21742 57.80 c 3910 57.81 o 21746 57.81 c 3906 57.82 o 21747 57.82 c 3905 57.83 o 21748 57.83 c 3904 57.84 o 21752 57.84 c 3900 57.85 o 21754 57.85 c 3898 57.86 o 21757 57.86 c 3895 57.90 o 21760 57.90 c 3892 57.92 o 21762 57.92 c 3890 57.94 o 21764 57.94 c 3888 57.96 o 21767 57.96 c 3885 57.97 o 21768 57.97 c 3884 57.98 o 21772 57.98 c 3880 57.99 o 21774 57.99 c 3878 58.00 o 21776 58.00 c 3876 58.01 o 21779 58.01 c 3873 58.02 o 21781 58.02 c 3871 58.04 o 21783 58.04 c 3869 58.05 o 21787 58.05 c 3865 58.06 o 21791 58.06 c 3861 58.07 o 21796 58.07 c 3856 58.10 o 21797 58.10 c 3855 58.11 o 21798 58.11 c 3854 58.12 o 21800 58.12 c 3852 58.13 o 21803 58.13 c 3849 58.15 o 21804 58.15 c 3848 58.16 o 21806 58.16 c 3846 58.17 o 21807 58.17 c 3845 58.18 o 21814 58.18 c 3838 58.20 o 21816 58.20 c 3836 58.21 o 21819 58.21 c 3833 58.22 o 21821 58.22 c 3831 58.23 o 21824 58.23 c 3828 58.26 o 21825 58.26 c 3827 58.27 o 21828 58.27 c 3824 58.28 o 21829 58.28 c 3823 58.29 o 21831 58.29 c 3821 58.30 o 21835 58.30 c 3817 58.32 o 21838 58.32 c 3814 58.33 o 21839 58.33 c 3813 58.37 o 21840 58.37 c 3812 58.38 o 21842 58.38 c 3810 58.42 o 21845 58.42 c 3807 58.44 o 21847 58.44 c 3805 58.45 o 21850 58.45 c 3802 58.47 o 21851 58.47 c 3801 58.48 o 21855 58.48 c 3797 58.49 o 21859 58.49 c 3793 58.51 o 21863 58.51 c 3789 58.53 o 21865 58.53 c 3787 58.54 o 21867 58.54 c 3785 58.56 o 21871 58.56 c 3781 58.57 o 21876 58.57 c 3776 58.59 o 21881 58.59 c 3771 58.61 o 21885 58.61 c 3767 58.64 o 21889 58.64 c 3763 58.66 o 21892 58.66 c 3760 58.68 o 21895 58.68 c 3757 58.70 o 21898 58.70 c 3754 58.72 o 21901 58.72 c 3751 58.74 o 21903 58.74 c 3749 58.76 o 21905 58.76 c 3747 58.79 o 21907 58.79 c 3745 58.81 o 21909 58.81 c 3743 58.83 o 21911 58.83 c 3741 58.85 o 21913 58.85 c 3739 58.87 o 21915 58.87 c 3737 58.89 o 21920 58.89 c 3732 58.91 o 21922 58.91 c 3730 58.93 o 21928 58.93 c 3724 58.94 o 21929 58.94 c 3723 58.96 o 21930 58.96 c 3722 58.98 o 21931 58.98 c 3721 59.00 o 21932 59.00 c 3720 59.02 o 21933 59.02 c 3719 59.04 o 21935 59.04 c 3717 59.06 o 21937 59.06 c 3715 59.07 o 21939 59.07 c 3713 59.09 o 21940 59.09 c 3712 59.11 o 21941 59.11 c 3711 59.13 o 21942 59.13 c 3710 59.15 o 21943 59.15 c 3709 59.18 o 21947 59.18 c 3705 59.23 o 21952 59.23 c 3700 59.27 o 21955 59.27 c 3697 59.28 o 21956 59.28 c 3696 59.39 o 21957 59.39 c 3695 59.41 o 21958 59.41 c 3694 59.42 o 21963 59.42 c 3689 59.45 o 21964 59.45 c 3688 59.47 o 21969 59.47 c 3683 59.48 o 21970 59.48 c 3682 59.50 o 21974 59.50 c 3678 59.52 o 21976 59.52 c 3676 59.54 o 21978 59.54 c 3674 59.57 o 21979 59.57 c 3673 59.59 o 21982 59.59 c 3670 59.65 o 21983 59.65 c 3669 59.67 o 21986 59.67 c 3666 59.69 o 21988 59.69 c 3664 59.70 o 21993 59.70 c 3659 59.72 o 21995 59.72 c 3657 59.73 o 21999 59.73 c 3653 59.75 o 22000 59.75 c 3652 59.77 o 22004 59.77 c 3648 59.78 o 22010 59.78 c 3642 59.80 o 22015 59.80 c 3637 59.81 o 22020 59.81 c 3632 59.83 o 22023 59.83 c 3629 59.85 o 22025 59.85 c 3627 59.87 o 22029 59.87 c 3623 59.88 o 22031 59.88 c 3621 59.90 o 22032 59.90 c 3620 59.92 o 22037 59.92 c 3615 59.94 o 22039 59.94 c 3613 59.96 o 22043 59.96 c 3609 59.99 o 22047 59.99 c 3605 60.03 o 22051 60.03 c 3601 60.05 o 22054 60.05 c 3598 60.08 o 22056 60.08 c 3596 60.09 o 22058 60.09 c 3594 60.11 o 22059 60.11 c 3593 60.12 o 22064 60.12 c 3588 60.15 o 22067 60.15 c 3585 60.16 o 22070 60.16 c 3582 60.18 o 22071 60.18 c 3581 60.20 o 22075 60.20 c 3577 60.21 o 22078 60.21 c 3574 60.23 o 22083 60.23 c 3569 60.25 o 22085 60.25 c 3567 60.26 o 22086 60.26 c 3566 60.39 o 22087 60.39 c 3565 60.40 o 22088 60.40 c 3564 60.42 o 22093 60.42 c 3559 60.43 o 22095 60.43 c 3557 60.45 o 22096 60.45 c 3556 60.48 o 22102 60.48 c 3550 60.49 o 22105 60.49 c 3547 60.55 o 22109 60.55 c 3543 60.57 o 22111 60.57 c 3541 60.59 o 22113 60.59 c 3539 60.60 o 22115 60.60 c 3537 60.63 o 22117 60.63 c 3535 60.65 o 22119 60.65 c 3533 60.66 o 22122 60.66 c 3530 60.72 o 22124 60.72 c 3528 60.74 o 22128 60.74 c 3524 60.75 o 22133 60.75 c 3519 60.79 o 22134 60.79 c 3518 60.81 o 22138 60.81 c 3514 60.82 o 22141 60.82 c 3511 60.84 o 22144 60.84 c 3508 60.86 o 22148 60.86 c 3504 60.88 o 22150 60.88 c 3502 60.92 o 22155 60.92 c 3497 60.94 o 22159 60.94 c 3493 60.96 o 22163 60.96 c 3489 60.98 o 22165 60.98 c 3487 61.00 o 22169 61.00 c 3483 61.02 o 22174 61.02 c 3478 61.06 o 22178 61.06 c 3474 61.09 o 22182 61.09 c 3470 61.11 o 22183 61.11 c 3469 61.13 o 22188 61.13 c 3464 61.16 o 22189 61.16 c 3463 61.20 o 22191 61.20 c 3461 61.22 o 22193 61.22 c 3459 61.27 o 22194 61.27 c 3458 61.29 o 22197 61.29 c 3455 61.32 o 22202 61.32 c 3450 61.34 o 22204 61.34 c 3448 61.36 o 22205 61.36 c 3447 61.41 o 22206 61.41 c 3446 61.45 o 22208 61.45 c 3444 61.47 o 22210 61.47 c 3442 61.49 o 22214 61.49 c 3438 61.51 o 22215 61.51 c 3437 61.58 o 22217 61.58 c 3435 61.62 o 22218 61.62 c 3434 61.64 o 22220 61.64 c 3432 61.67 o 22221 61.67 c 3431 61.69 o 22223 61.69 c 3429 61.73 o 22224 61.73 c 3428 61.77 o 22230 61.77 c 3422 61.80 o 22232 61.80 c 3420 61.82 o 22233 61.82 c 3419 61.87 o 22235 61.87 c 3417 61.88 o 22238 61.88 c 3414 61.95 o 22240 61.95 c 3412 61.97 o 22241 61.97 c 3411 62.00 o 22242 62.00 c 3410 62.02 o 22243 62.02 c 3409 62.04 o 22247 62.04 c 3405 62.07 o 22250 62.07 c 3402 62.09 o 22254 62.09 c 3398 62.12 o 22256 62.12 c 3396 62.19 o 22258 62.19 c 3394 62.22 o 22260 62.22 c 3392 62.24 o 22261 62.24 c 3391 62.27 o 22264 62.27 c 3388 62.29 o 22266 62.29 c 3386 62.32 o 22270 62.32 c 3382 62.38 o 22274 62.38 c 3378 62.42 o 22279 62.42 c 3373 62.46 o 22281 62.46 c 3371 62.48 o 22282 62.48 c 3370 62.50 o 22284 62.50 c 3368 62.53 o 22286 62.53 c 3366 62.55 o 22288 62.55 c 3364 62.58 o 22293 62.58 c 3359 62.60 o 22295 62.60 c 3357 62.63 o 22299 62.63 c 3353 62.66 o 22302 62.66 c 3350 62.69 o 22305 62.69 c 3347 62.71 o 22307 62.71 c 3345 62.74 o 22310 62.74 c 3342 62.77 o 22314 62.77 c 3338 62.80 o 22317 62.80 c 3335 62.82 o 22320 62.82 c 3332 62.85 o 22322 62.85 c 3330 62.88 o 22324 62.88 c 3328 62.91 o 22326 62.91 c 3326 62.94 o 22328 62.94 c 3324 62.97 o 22330 62.97 c 3322 63.00 o 22332 63.00 c 3320 63.02 o 22334 63.02 c 3318 63.05 o 22335 63.05 c 3317 63.08 o 22336 63.08 c 3316 63.10 o 22338 63.10 c 3314 63.13 o 22341 63.13 c 3311 63.16 o 22342 63.16 c 3310 63.37 o 22347 63.37 c 3305 63.40 o 22348 63.40 c 3304 63.42 o 22350 63.42 c 3302 63.45 o 22354 63.45 c 3298 63.51 o 22359 63.51 c 3293 63.54 o 22364 63.54 c 3288 63.58 o 22366 63.58 c 3286 63.61 o 22367 63.61 c 3285 63.63 o 22371 63.63 c 3281 63.82 o 22376 63.82 c 3276 63.84 o 22378 63.84 c 3274 63.91 o 22379 63.91 c 3273 63.93 o 22381 63.93 c 3271 63.95 o 22383 63.95 c 3269 64.00 o 22386 64.00 c 3266 64.17 o 22387 64.17 c 3265 64.19 o 22389 64.19 c 3263 64.23 o 22390 64.23 c 3262 64.25 o 22391 64.25 c 3261 64.27 o 22396 64.27 c 3256 64.29 o 22398 64.29 c 3254 64.34 o 22401 64.34 c 3251 64.38 o 22403 64.38 c 3249 64.48 o 22405 64.48 c 3247 64.50 o 22407 64.50 c 3245 64.56 o 22411 64.56 c 3241 64.58 o 22415 64.58 c 3237 64.60 o 22416 64.60 c 3236 64.66 o 22420 64.66 c 3232 64.68 o 22423 64.68 c 3229 64.70 o 22427 64.70 c 3225 64.74 o 22429 64.74 c 3223 64.76 o 22432 64.76 c 3220 64.78 o 22435 64.78 c 3217 64.80 o 22436 64.80 c 3216 64.85 o 22437 64.85 c 3215 64.93 o 22439 64.93 c 3213 65.00 o 22440 65.00 c 3212 65.02 o 22442 65.02 c 3210 65.10 o 22445 65.10 c 3207 65.19 o 22446 65.19 c 3206 65.34 o 22448 65.34 c 3204 65.36 o 22449 65.36 c 3203 65.39 o 22452 65.39 c 3200 65.41 o 22453 65.41 c 3199 65.46 o 22456 65.46 c 3196 65.52 o 22457 65.52 c 3195 65.54 o 22461 65.54 c 3191 65.56 o 22462 65.56 c 3190 65.78 o 22463 65.78 c 3189 65.80 o 22465 65.80 c 3187 65.83 o 22468 65.83 c 3184 65.86 o 22469 65.86 c 3183 65.93 o 22470 65.93 c 3182 65.95 o 22472 65.95 c 3180 65.98 o 22474 65.98 c 3178 66.00 o 22476 66.00 c 3176 66.03 o 22477 66.03 c 3175 66.06 o 22478 66.06 c 3174 66.08 o 22480 66.08 c 3172 66.11 o 22482 66.11 c 3170 66.13 o 22485 66.13 c 3167 66.16 o 22487 66.16 c 3165 66.18 o 22490 66.18 c 3162 66.21 o 22495 66.21 c 3157 66.24 o 22496 66.24 c 3156 66.27 o 22499 66.27 c 3153 66.32 o 22504 66.32 c 3148 66.35 o 22506 66.35 c 3146 66.37 o 22508 66.37 c 3144 66.40 o 22511 66.40 c 3141 66.42 o 22513 66.42 c 3139 66.47 o 22515 66.47 c 3137 66.57 o 22516 66.57 c 3136 66.59 o 22518 66.59 c 3134 66.62 o 22520 66.62 c 3132 66.64 o 22521 66.64 c 3131 66.66 o 22522 66.66 c 3130 66.69 o 22524 66.69 c 3128 66.71 o 22525 66.71 c 3127 66.76 o 22529 66.76 c 3123 66.83 o 22530 66.83 c 3122 66.85 o 22531 66.85 c 3121 66.88 o 22532 66.88 c 3120 66.92 o 22533 66.92 c 3119 66.95 o 22535 66.95 c 3117 67.01 o 22538 67.01 c 3114 67.06 o 22543 67.06 c 3109 67.16 o 22544 67.16 c 3108 67.18 o 22545 67.18 c 3107 67.21 o 22546 67.21 c 3106 67.30 o 22548 67.30 c 3104 67.33 o 22549 67.33 c 3103 67.36 o 22551 67.36 c 3101 67.43 o 22554 67.43 c 3098 67.45 o 22558 67.45 c 3094 67.48 o 22561 67.48 c 3091 67.50 o 22562 67.50 c 3090 67.53 o 22565 67.53 c 3087 67.56 o 22568 67.56 c 3084 67.63 o 22570 67.64 c 3082 67.66 o 22573 67.66 c 3079 67.76 o 22574 67.76 c 3078 67.79 o 22576 67.79 c 3076 67.82 o 22578 67.82 c 3074 67.88 o 22580 67.88 c 3072 67.91 o 22584 67.91 c 3068 67.99 o 22588 67.99 c 3064 68.07 o 22591 68.07 c 3061 68.10 o 22593 68.10 c 3059 68.13 o 22594 68.13 c 3058 68.19 o 22597 68.19 c 3055 68.21 o 22601 68.21 c 3051 68.24 o 22605 68.24 c 3047 68.27 o 22606 68.27 c 3046 68.30 o 22608 68.30 c 3044 68.33 o 22610 68.33 c 3042 68.36 o 22612 68.36 c 3040 68.39 o 22614 68.39 c 3038 68.41 o 22616 68.41 c 3036 68.44 o 22618 68.44 c 3034 68.46 o 22619 68.46 c 3033 68.48 o 22620 68.48 c 3032 68.51 o 22622 68.51 c 3030 68.54 o 22623 68.54 c 3029 68.57 o 22624 68.57 c 3028 68.59 o 22625 68.59 c 3027 68.65 o 22626 68.65 c 3026 68.70 o 22628 68.70 c 3024 68.73 o 22630 68.73 c 3022 68.76 o 22632 68.76 c 3020 68.79 o 22634 68.79 c 3018 68.79 o 22635 68.79 c 3017 68.87 o 22638 68.87 c 3014 68.90 o 22639 68.90 c 3013 68.95 o 22643 68.95 c 3009 68.98 o 22644 68.98 c 3008 69.01 o 22648 69.01 c 3004 69.04 o 22651 69.04 c 3001 69.12 o 22652 69.12 c 3000 69.15 o 22656 69.15 c 2996 69.18 o 22658 69.18 c 2994 69.21 o 22660 69.21 c 2992 69.23 o 22661 69.23 c 2991 69.26 o 22662 69.26 c 2990 69.36 o 22666 69.36 c 2986 69.39 o 22669 69.39 c 2983 69.47 o 22671 69.47 c 2981 69.50 o 22674 69.50 c 2978 69.53 o 22675 69.53 c 2977 69.58 o 22676 69.58 c 2976 69.63 o 22678 69.63 c 2974 69.66 o 22679 69.66 c 2973 69.69 o 22682 69.69 c 2970 69.72 o 22685 69.72 c 2967 69.75 o 22687 69.75 c 2965 69.78 o 22689 69.78 c 2963 69.81 o 22691 69.81 c 2961 69.84 o 22692 69.84 c 2960 69.87 o 22693 69.87 c 2959 69.89 o 22695 69.89 c 2957 69.92 o 22697 69.92 c 2955 69.97 o 22699 69.97 c 2953 70.00 o 22701 70.00 c 2951 70.03 o 22705 70.03 c 2947 70.06 o 22706 70.06 c 2946 70.08 o 22707 70.08 c 2945 70.26 o 22710 70.26 c 2942 70.32 o 22712 70.32 c 2940 70.34 o 22713 70.34 c 2939 70.36 o 22714 70.37 c 2938 70.39 o 22717 70.39 c 2935 70.42 o 22718 70.42 c 2934 70.50 o 22722 70.50 c 2930 70.52 o 22723 70.52 c 2929 70.54 o 22724 70.54 c 2928 70.57 o 22725 70.57 c 2927 70.59 o 22728 70.59 c 2924 70.62 o 22729 70.62 c 2923 70.64 o 22732 70.64 c 2920 70.75 o 22736 70.75 c 2916 70.77 o 22738 70.77 c 2914 70.80 o 22740 70.80 c 2912 70.82 o 22742 70.82 c 2910 70.85 o 22743 70.85 c 2909 70.90 o 22745 70.90 c 2907 70.92 o 22747 70.92 c 2905 70.95 o 22748 70.95 c 2904 71.08 o 22749 71.08 c 2903 71.11 o 22750 71.11 c 2902 71.16 o 22751 71.16 c 2901 71.19 o 22754 71.19 c 2898 71.23 o 22756 71.23 c 2896 71.26 o 22758 71.26 c 2894 71.29 o 22759 71.29 c 2893 71.34 o 22761 71.34 c 2891 71.36 o 22764 71.36 c 2888 71.39 o 22765 71.39 c 2887 71.44 o 22768 71.44 c 2884 71.52 o 22771 71.52 c 2881 71.54 o 22774 71.54 c 2878 71.57 o 22777 71.57 c 2875 71.68 o 22778 71.68 c 2874 71.70 o 22783 71.70 c 2869 71.73 o 22786 71.73 c 2866 71.80 o 22788 71.80 c 2864 71.83 o 22789 71.83 c 2863 71.85 o 22792 71.85 c 2860 71.93 o 22793 71.93 c 2859 72.16 o 22794 72.16 c 2858 72.19 o 22796 72.19 c 2856 72.21 o 22798 72.21 c 2854 72.24 o 22800 72.24 c 2852 72.26 o 22802 72.26 c 2850 72.31 o 22803 72.31 c 2849 72.34 o 22809 72.34 c 2843 72.39 o 22812 72.39 c 2840 72.44 o 22813 72.44 c 2839 72.49 o 22817 72.49 c 2835 72.52 o 22819 72.52 c 2833 72.54 o 22820 72.54 c 2832 72.59 o 22823 72.59 c 2829 72.62 o 22826 72.62 c 2826 72.91 o 22828 72.91 c 2824 72.94 o 22831 72.94 c 2821 72.96 o 22833 72.96 c 2819 73.04 o 22836 73.04 c 2816 73.17 o 22839 73.17 c 2813 73.20 o 22840 73.20 c 2812 73.22 o 22842 73.22 c 2810 73.24 o 22843 73.25 c 2809 73.27 o 22846 73.27 c 2806 73.37 o 22847 73.37 c 2805 73.40 o 22850 73.40 c 2802 73.44 o 22853 73.44 c 2799 73.47 o 22855 73.47 c 2797 73.53 o 22859 73.53 c 2793 73.55 o 22860 73.55 c 2792 73.68 o 22862 73.68 c 2790 73.71 o 22866 73.71 c 2786 73.74 o 22869 73.74 c 2783 73.80 o 22870 73.80 c 2782 73.83 o 22871 73.83 c 2781 73.88 o 22872 73.88 c 2780 73.91 o 22875 73.91 c 2777 73.96 o 22876 73.96 c 2776 73.99 o 22880 73.99 c 2772 74.02 o 22882 74.02 c 2770 74.05 o 22883 74.05 c 2769 74.07 o 22885 74.07 c 2767 74.10 o 22886 74.10 c 2766 74.13 o 22890 74.13 c 2762 74.45 o 22893 74.45 c 2759 74.48 o 22895 74.48 c 2757 74.60 o 22896 74.60 c 2756 74.64 o 22899 74.64 c 2753 74.67 o 22902 74.67 c 2750 74.70 o 22906 74.70 c 2746 74.73 o 22910 74.73 c 2742 74.77 o 22913 74.77 c 2739 74.80 o 22915 74.80 c 2737 74.89 o 22917 74.89 c 2735 74.92 o 22920 74.92 c 2732 75.07 o 22921 75.07 c 2731 75.11 o 22923 75.11 c 2729 75.17 o 22924 75.17 c 2728 75.20 o 22926 75.20 c 2726 75.36 o 22928 75.36 c 2724 75.51 o 22933 75.51 c 2719 75.54 o 22938 75.54 c 2714 75.63 o 22940 75.63 c 2712 75.66 o 22942 75.66 c 2710 75.72 o 22944 75.72 c 2708 75.76 o 22946 75.76 c 2706 75.80 o 22948 75.80 c 2704 75.83 o 22951 75.83 c 2701 75.86 o 22953 75.86 c 2699 75.90 o 22957 75.90 c 2695 76.00 o 22958 76.00 c 2694 76.07 o 22961 76.07 c 2691 76.23 o 22962 76.23 c 2690 76.31 o 22964 76.31 c 2688 76.34 o 22965 76.34 c 2687 76.41 o 22966 76.41 c 2686 76.48 o 22968 76.48 c 2684 76.52 o 22969 76.52 c 2683 76.55 o 22970 76.55 c 2682 76.59 o 22972 76.59 c 2680 76.62 o 22974 76.62 c 2678 76.66 o 22975 76.66 c 2677 76.69 o 22978 76.69 c 2674 76.73 o 22980 76.73 c 2672 76.80 o 22983 76.80 c 2669 76.83 o 22985 76.83 c 2667 76.86 o 22988 76.86 c 2664 76.97 o 22989 76.97 c 2663 77.32 o 22993 77.32 c 2659 77.36 o 22994 77.36 c 2658 77.40 o 22995 77.40 c 2657 77.43 o 22999 77.43 c 2653 77.47 o 23001 77.47 c 2651 77.50 o 23002 77.50 c 2650 77.54 o 23007 77.54 c 2645 77.57 o 23009 77.57 c 2643 77.64 o 23010 77.64 c 2642 77.67 o 23012 77.67 c 2640 77.71 o 23014 77.71 c 2638 77.85 o 23015 77.85 c 2637 78.11 o 23017 78.11 c 2635 78.14 o 23019 78.14 c 2633 78.25 o 23024 78.25 c 2628 78.28 o 23026 78.28 c 2626 78.32 o 23029 78.32 c 2623 78.36 o 23030 78.36 c 2622 78.43 o 23031 78.43 c 2621 78.50 o 23035 78.50 c 2617 78.53 o 23036 78.53 c 2616 78.57 o 23038 78.57 c 2614 78.61 o 23041 78.61 c 2611 78.71 o 23042 78.71 c 2610 78.78 o 23043 78.78 c 2609 78.89 o 23045 78.89 c 2607 79.09 o 23046 79.09 c 2606 79.10 o 23047 79.10 c 2605 79.24 o 23048 79.24 c 2604 79.28 o 23051 79.28 c 2601 79.31 o 23053 79.31 c 2599 79.44 o 23054 79.44 c 2598 79.48 o 23055 79.48 c 2597 79.51 o 23059 79.51 c 2593 79.73 o 23060 79.73 c 2592 79.77 o 23062 79.77 c 2590 79.88 o 23063 79.88 c 2589 79.91 o 23065 79.91 c 2587 80.09 o 23068 80.09 c 2584 80.13 o 23070 80.13 c 2582 80.35 o 23071 80.35 c 2581 80.39 o 23072 80.39 c 2580 80.43 o 23074 80.43 c 2578 80.46 o 23075 80.46 c 2577 80.50 o 23076 80.50 c 2576 80.61 o 23078 80.61 c 2574 80.84 o 23080 80.84 c 2572 80.95 o 23081 80.95 c 2571 80.99 o 23082 80.99 c 2570 81.02 o 23086 81.02 c 2566 81.06 o 23087 81.06 c 2565 81.09 o 23090 81.09 c 2562 81.17 o 23091 81.17 c 2561 81.20 o 23094 81.20 c 2558 81.24 o 23095 81.24 c 2557 81.28 o 23097 81.28 c 2555 81.51 o 23101 81.51 c 2551 81.62 o 23102 81.62 c 2550 81.66 o 23104 81.66 c 2548 81.70 o 23106 81.70 c 2546 81.74 o 23107 81.74 c 2545 81.78 o 23108 81.78 c 2544 81.81 o 23109 81.81 c 2543 81.87 o 23110 81.87 c 2542 81.91 o 23111 81.91 c 2541 82.28 o 23113 82.28 c 2539 82.36 o 23115 82.36 c 2537 82.44 o 23117 82.44 c 2535 82.56 o 23119 82.56 c 2533 82.60 o 23120 82.60 c 2532 82.64 o 23122 82.64 c 2530 82.69 o 23123 82.69 c 2529 82.73 o 23125 82.73 c 2527 82.84 o 23126 82.84 c 2526 82.96 o 23131 82.96 c 2521 83.03 o 23133 83.03 c 2519 83.07 o 23134 83.07 c 2518 83.14 o 23137 83.14 c 2515 83.18 o 23141 83.18 c 2511 84.76 o 23143 84.76 c 2509 84.80 o 23147 84.80 c 2505 84.93 o 23148 84.93 c 2504 85.02 o 23152 85.02 c 2500 85.06 o 23156 85.06 c 2496 85.34 o 23158 85.34 c 2494 85.39 o 23160 85.39 c 2492 85.47 o 23161 85.47 c 2491 85.55 o 23163 85.55 c 2489 85.64 o 23166 85.64 c 2486 85.76 o 23168 85.76 c 2484 85.80 o 23169 85.80 c 2483 85.84 o 23170 85.84 c 2482 85.93 o 23172 85.93 c 2480 85.98 o 23173 85.98 c 2479 86.02 o 23175 86.02 c 2477 86.10 o 23177 86.10 c 2475 86.42 o 23178 86.42 c 2474 86.54 o 23179 86.54 c 2473 86.75 o 23181 86.75 c 2471 86.79 o 23182 86.79 c 2470 86.84 o 23186 86.84 c 2466 86.88 o 23187 86.88 c 2465 86.92 o 23190 86.92 c 2462 86.97 o 23194 86.97 c 2458 87.01 o 23196 87.01 c 2456 87.06 o 23199 87.06 c 2453 87.11 o 23201 87.11 c 2451 87.13 o 23203 87.13 c 2449 87.46 o 23204 87.46 c 2448 87.50 o 23206 87.50 c 2446 87.64 o 23208 87.64 c 2444 87.73 o 23212 87.73 c 2440 87.77 o 23214 87.77 c 2438 87.82 o 23215 87.82 c 2437 87.95 o 23216 87.95 c 2436 88.00 o 23218 88.00 c 2434 88.05 o 23220 88.05 c 2432 88.09 o 23222 88.09 c 2430 88.70 o 23224 88.70 c 2428 88.74 o 23226 88.74 c 2426 88.84 o 23227 88.84 c 2425 89.17 o 23229 89.17 c 2423 89.22 o 23230 89.22 c 2422 89.27 o 23236 89.27 c 2416 89.37 o 23237 89.37 c 2415 89.42 o 23243 89.42 c 2409 89.51 o 23244 89.51 c 2408 90.24 o 23246 90.24 c 2406 90.59 o 23247 90.59 c 2405 90.64 o 23250 90.64 c 2402 90.83 o 23253 90.83 c 2399 90.87 o 23255 90.87 c 2397 91.11 o 23257 91.11 c 2395 91.16 o 23259 91.16 c 2393 91.35 o 23260 91.35 c 2392 91.40 o 23262 91.40 c 2390 91.49 o 23263 91.49 c 2389 91.54 o 23266 91.54 c 2386 91.97 o 23267 91.97 c 2385 92.02 o 23269 92.02 c 2383 92.07 o 23271 92.07 c 2381 92.12 o 23272 92.12 c 2380 92.26 o 23275 92.26 c 2377 92.30 o 23278 92.30 c 2374 92.40 o 23280 92.40 c 2372 92.44 o 23283 92.44 c 2369 92.82 o 23284 92.82 c 2368 93.21 o 23285 93.21 c 2367 93.83 o 23286 93.83 c 2366 93.89 o 23288 93.89 c 2364 93.93 o 23291 93.93 c 2361 93.98 o 23293 93.98 c 2359 94.03 o 23294 94.03 c 2358 94.50 o 23295 94.50 c 2357 94.55 o 23297 94.55 c 2355 94.65 o 23298 94.65 c 2354 94.70 o 23300 94.70 c 2352 94.75 o 23301 94.75 c 2351 94.91 o 23305 94.91 c 2347 94.96 o 23307 94.96 c 2345 95.02 o 23309 95.02 c 2343 95.07 o 23310 95.07 c 2342 95.12 o 23312 95.12 c 2340 95.21 o 23316 95.21 c 2336 95.26 o 23320 95.26 c 2332 95.36 o 23322 95.36 c 2330 95.51 o 23324 95.51 c 2328 95.62 o 23325 95.62 c 2327 95.71 o 23327 95.71 c 2325 95.89 o 23329 95.89 c 2323 95.94 o 23331 95.94 c 2321 95.98 o 23332 95.98 c 2320 96.48 o 23333 96.48 c 2319 96.53 o 23337 96.53 c 2315 96.58 o 23340 96.58 c 2312 96.73 o 23341 96.73 c 2311 98.78 o 23343 98.78 c 2309 98.84 o 23344 98.84 c 2308 98.89 o 23349 98.89 c 2303 98.93 o 23351 98.93 c 2301 98.99 o 23355 98.99 c 2297 99.61 o 23357 99.61 c 2295 99.66 o 23358 99.66 c 2294 100.18 o 23360 100.18 c 2292 100.27 o 23361 100.27 c 2291 100.31 o 23362 100.31 c 2290 100.36 o 23364 100.36 c 2288 100.47 o 23366 100.47 c 2286 100.52 o 23371 100.52 c 2281 100.62 o 23372 100.62 c 2280 100.68 o 23375 100.68 c 2277 101.52 o 23376 101.52 c 2276 101.58 o 23381 101.58 c 2271 101.63 o 23383 101.63 c 2269 103.06 o 23384 103.06 c 2268 103.41 o 23386 103.41 c 2266 103.46 o 23388 103.46 c 2264 103.52 o 23392 103.52 c 2260 103.81 o 23395 103.81 c 2257 103.83 o 23398 103.83 c 2254 103.95 o 23400 103.95 c 2252 104.01 o 23403 104.01 c 2249 104.05 o 23405 104.05 c 2247 104.12 o 23407 104.12 c 2245 104.18 o 23408 104.18 c 2244 104.89 o 23410 104.89 c 2242 104.95 o 23412 104.95 c 2240 105.01 o 23414 105.01 c 2238 105.06 o 23416 105.06 c 2236 105.12 o 23417 105.12 c 2235 105.46 o 23418 105.46 c 2234 105.86 o 23419 105.86 c 2233 105.98 o 23422 105.98 c 2230 106.04 o 23423 106.04 c 2229 106.11 o 23424 106.11 c 2228 106.17 o 23429 106.17 c 2223 106.35 o 23430 106.35 c 2222 106.42 o 23432 106.42 c 2220 107.45 o 23434 107.45 c 2218 107.71 o 23436 107.71 c 2216 107.78 o 23438 107.78 c 2214 107.84 o 23439 107.84 c 2213 107.91 o 23440 107.91 c 2212 109.32 o 23442 109.32 c 2210 109.39 o 23443 109.39 c 2209 109.46 o 23447 109.46 c 2205 109.52 o 23451 109.52 c 2201 109.59 o 23452 109.59 c 2200 109.64 o 23456 109.64 c 2196 109.77 o 23458 109.77 c 2194 109.83 o 23460 109.83 c 2192 109.89 o 23463 109.89 c 2189 109.96 o 23465 109.96 c 2187 110.15 o 23466 110.15 c 2186 110.22 o 23472 110.22 c 2180 110.29 o 23474 110.29 c 2178 111.14 o 23476 111.14 c 2176 111.72 o 23480 111.72 c 2172 112.06 o 23482 112.06 c 2170 112.13 o 23485 112.13 c 2167 112.18 o 23487 112.18 c 2165 112.25 o 23490 112.25 c 2162 112.32 o 23492 112.32 c 2160 112.46 o 23493 112.46 c 2159 112.53 o 23494 112.53 c 2158 112.74 o 23495 112.74 c 2157 112.98 o 23496 112.98 c 2156 113.30 o 23498 113.30 c 2154 113.56 o 23499 113.56 c 2153 113.62 o 23501 113.62 c 2151 113.69 o 23503 113.69 c 2149 113.76 o 23504 113.76 c 2148 113.82 o 23506 113.82 c 2146 114.08 o 23509 114.08 c 2143 114.33 o 23510 114.33 c 2142 114.43 o 23511 114.43 c 2141 114.48 o 23513 114.48 c 2139 114.73 o 23514 114.73 c 2138 114.79 o 23516 114.79 c 2136 114.85 o 23517 114.85 c 2135 114.91 o 23518 114.91 c 2134 115.02 o 23519 115.02 c 2133 115.08 o 23521 115.08 c 2131 115.25 o 23522 115.25 c 2130 115.31 o 23526 115.31 c 2126 115.50 o 23527 115.50 c 2125 116.10 o 23528 116.10 c 2124 116.16 o 23534 116.16 c 2118 116.23 o 23536 116.23 c 2116 116.35 o 23537 116.35 c 2115 116.46 o 23538 116.46 c 2114 116.53 o 23539 116.53 c 2113 116.60 o 23540 116.60 c 2112 116.72 o 23541 116.72 c 2111 116.79 o 23544 116.79 c 2108 116.85 o 23548 116.85 c 2104 116.92 o 23549 116.92 c 2103 117.11 o 23551 117.11 c 2101 117.43 o 23553 117.43 c 2099 117.49 o 23554 117.49 c 2098 118.02 o 23556 118.02 c 2096 118.15 o 23558 118.15 c 2094 118.41 o 23559 118.41 c 2093 118.55 o 23561 118.55 c 2091 118.62 o 23562 118.62 c 2090 118.76 o 23565 118.76 c 2087 118.81 o 23566 118.81 c 2086 118.88 o 23567 118.88 c 2085 119.01 o 23568 119.01 c 2084 119.08 o 23571 119.08 c 2081 119.20 o 23573 119.20 c 2079 119.27 o 23575 119.27 c 2077 119.70 o 23578 119.70 c 2074 120.16 o 23580 120.16 c 2072 120.63 o 23581 120.63 c 2071 120.69 o 23582 120.69 c 2070 120.76 o 23583 120.76 c 2069 121.25 o 23586 121.25 c 2066 121.32 o 23587 121.32 c 2065 121.39 o 23590 121.39 c 2062 121.46 o 23592 121.46 c 2060 121.61 o 23594 121.61 c 2058 121.68 o 23595 121.68 c 2057 121.75 o 23597 121.75 c 2055 121.83 o 23599 121.83 c 2053 123.42 o 23600 123.42 c 2052 123.48 o 23602 123.48 c 2050 123.62 o 23603 123.62 c 2049 123.69 o 23606 123.69 c 2046 123.75 o 23608 123.75 c 2044 123.82 o 23609 123.82 c 2043 124.34 o 23610 124.34 c 2042 124.48 o 23611 124.48 c 2041 124.54 o 23612 124.54 c 2040 124.61 o 23613 124.61 c 2039 124.68 o 23614 124.68 c 2038 124.87 o 23615 124.87 c 2037 124.94 o 23618 124.94 c 2034 125.06 o 23621 125.06 c 2031 126.00 o 23623 126.00 c 2029 126.07 o 23624 126.07 c 2028 126.27 o 23625 126.27 c 2027 126.33 o 23628 126.33 c 2024 126.53 o 23629 126.53 c 2023 127.41 o 23630 127.41 c 2022 127.67 o 23631 127.67 c 2021 127.93 o 23633 127.93 c 2019 128.00 o 23637 128.00 c 2015 128.26 o 23638 128.27 c 2014 128.33 o 23639 128.33 c 2013 128.40 o 23641 128.40 c 2011 128.47 o 23642 128.47 c 2010 128.90 o 23645 128.90 c 2007 129.01 o 23646 129.01 c 2006 129.08 o 23650 129.08 c 2002 129.16 o 23653 129.16 c 1999 129.23 o 23655 129.23 c 1997 129.30 o 23656 129.30 c 1996 129.86 o 23658 129.86 c 1994 130.00 o 23660 130.00 c 1992 130.29 o 23661 130.29 c 1991 130.36 o 23662 130.36 c 1990 130.43 o 23663 130.43 c 1989 130.93 o 23664 130.93 c 1988 131.00 o 23667 131.00 c 1985 131.37 o 23668 131.37 c 1984 131.41 o 23672 131.41 c 1980 132.01 o 23673 132.01 c 1979 132.14 o 23674 132.14 c 1978 132.21 o 23676 132.21 c 1976 132.56 o 23677 132.56 c 1975 133.29 o 23680 133.29 c 1972 134.13 o 23681 134.13 c 1971 134.69 o 23682 134.69 c 1970 134.86 o 23683 134.86 c 1969 134.94 o 23687 134.94 c 1965 135.11 o 23688 135.11 c 1964 135.19 o 23690 135.19 c 1962 135.28 o 23692 135.28 c 1960 135.45 o 23695 135.45 c 1957 135.66 o 23696 135.66 c 1956 135.80 o 23697 135.80 c 1955 135.89 o 23700 135.89 c 1952 136.59 o 23701 136.59 c 1951 136.84 o 23702 136.84 c 1950 136.98 o 23704 136.98 c 1948 137.13 o 23705 137.13 c 1947 137.21 o 23707 137.21 c 1945 137.36 o 23708 137.36 c 1944 137.45 o 23709 137.45 c 1943 143.45 o 23710 143.45 c 1942 143.54 o 23711 143.54 c 1941 143.72 o 23713 143.72 c 1939 144.26 o 23714 144.26 c 1938 144.35 o 23716 144.35 c 1936 144.52 o 23717 144.52 c 1935 144.61 o 23719 144.61 c 1933 144.70 o 23721 144.70 c 1931 144.95 o 23722 144.95 c 1930 145.04 o 23723 145.04 c 1929 145.22 o 23724 145.22 c 1928 145.39 o 23725 145.39 c 1927 145.56 o 23729 145.57 c 1923 145.65 o 23730 145.65 c 1922 145.72 o 23733 145.72 c 1919 145.81 o 23735 145.81 c 1917 145.89 o 23736 145.89 c 1916 145.98 o 23738 145.98 c 1914 146.07 o 23744 146.07 c 1908 146.15 o 23746 146.15 c 1906 146.23 o 23747 146.23 c 1905 146.32 o 23748 146.32 c 1904 146.47 o 23750 146.47 c 1902 146.55 o 23751 146.55 c 1901 146.80 o 23752 146.80 c 1900 146.89 o 23754 146.89 c 1898 146.98 o 23757 146.98 c 1895 147.07 o 23759 147.07 c 1893 147.13 o 23760 147.13 c 1892 147.21 o 23762 147.21 c 1890 147.30 o 23764 147.30 c 1888 147.37 o 23767 147.37 c 1885 147.54 o 23768 147.54 c 1884 147.71 o 23769 147.71 c 1883 147.77 o 23771 147.77 c 1881 147.85 o 23772 147.85 c 1880 148.15 o 23780 148.15 c 1872 148.36 o 23782 148.36 c 1870 148.45 o 23783 148.45 c 1869 148.53 o 23784 148.53 c 1868 148.62 o 23788 148.62 c 1864 148.78 o 23790 148.78 c 1862 148.87 o 23792 148.87 c 1860 148.95 o 23794 148.95 c 1858 149.18 o 23795 149.18 c 1857 149.24 o 23797 149.24 c 1855 149.31 o 23798 149.31 c 1854 149.36 o 23799 149.36 c 1853 149.52 o 23801 149.52 c 1851 149.65 o 23802 149.65 c 1850 149.73 o 23804 149.73 c 1848 149.81 o 23805 149.81 c 1847 150.63 o 23808 150.63 c 1844 150.87 o 23809 150.87 c 1843 150.94 o 23810 150.94 c 1842 151.10 o 23811 151.10 c 1841 151.19 o 23812 151.19 c 1840 151.50 o 23815 151.50 c 1837 151.59 o 23818 151.60 c 1834 151.67 o 23819 151.67 c 1833 151.73 o 23820 151.73 c 1832 151.86 o 23822 151.86 c 1830 151.95 o 23825 151.95 c 1827 151.96 o 23828 151.96 c 1824 152.50 o 23829 152.50 c 1823 152.58 o 23830 152.58 c 1822 152.67 o 23832 152.67 c 1820 152.83 o 23834 152.83 c 1818 152.91 o 23837 152.91 c 1815 152.99 o 23838 152.99 c 1814 153.15 o 23840 153.15 c 1812 153.38 o 23841 153.38 c 1811 153.46 o 23842 153.46 c 1810 153.53 o 23843 153.53 c 1809 153.61 o 23844 153.61 c 1808 153.69 o 23846 153.69 c 1806 153.77 o 23847 153.77 c 1805 154.80 o 23848 154.80 c 1804 154.88 o 23850 154.88 c 1802 155.09 o 23852 155.09 c 1800 155.17 o 23853 155.17 c 1799 155.25 o 23855 155.25 c 1797 155.31 o 23857 155.31 c 1795 155.39 o 23859 155.39 c 1793 155.42 o 23860 155.42 c 1792 155.66 o 23862 155.66 c 1790 156.14 o 23863 156.14 c 1789 156.35 o 23865 156.35 c 1787 156.59 o 23869 156.59 c 1783 156.68 o 23870 156.68 c 1782 156.74 o 23872 156.74 c 1780 156.82 o 23873 156.82 c 1779 156.90 o 23875 156.90 c 1777 156.99 o 23876 156.99 c 1776 157.07 o 23877 157.07 c 1775 157.15 o 23878 157.15 c 1774 157.20 o 23879 157.20 c 1773 157.28 o 23882 157.28 c 1770 157.52 o 23886 157.52 c 1766 157.60 o 23887 157.60 c 1765 157.69 o 23889 157.69 c 1763 159.53 o 23890 159.53 c 1762 159.62 o 23893 159.62 c 1759 159.71 o 23896 159.71 c 1756 160.21 o 23898 160.21 c 1754 160.27 o 23900 160.27 c 1752 160.53 o 23901 160.53 c 1751 160.79 o 23902 160.79 c 1750 160.88 o 23903 160.88 c 1749 160.97 o 23904 160.97 c 1748 161.05 o 23906 161.05 c 1746 161.14 o 23907 161.14 c 1745 161.54 o 23909 161.54 c 1743 161.60 o 23912 161.60 c 1740 161.68 o 23915 161.68 c 1737 161.76 o 23916 161.76 c 1736 161.85 o 23917 161.85 c 1735 161.94 o 23918 161.94 c 1734 162.03 o 23919 162.03 c 1733 162.12 o 23922 162.12 c 1730 162.58 o 23924 162.58 c 1728 162.76 o 23925 162.76 c 1727 162.94 o 23926 162.94 c 1726 164.16 o 23927 164.16 c 1725 165.22 o 23928 165.22 c 1724 165.27 o 23933 165.27 c 1719 167.01 o 23937 167.01 c 1715 167.09 o 23938 167.10 c 1714 167.18 o 23939 167.18 c 1713 167.26 o 23940 167.26 c 1712 167.34 o 23941 167.34 c 1711 167.43 o 23942 167.43 c 1710 167.51 o 23943 167.51 c 1709 167.72 o 23944 167.72 c 1708 167.79 o 23945 167.79 c 1707 168.27 o 23946 168.27 c 1706 168.43 o 23949 168.43 c 1703 168.51 o 23950 168.51 c 1702 169.39 o 23951 169.39 c 1701 169.47 o 23954 169.47 c 1698 169.86 o 23955 169.86 c 1697 170.18 o 23958 170.18 c 1694 170.35 o 23959 170.35 c 1693 170.43 o 23960 170.43 c 1692 170.50 o 23961 170.50 c 1691 170.80 o 23964 170.80 c 1688 170.97 o 23967 170.97 c 1685 171.29 o 23968 171.29 c 1684 171.37 o 23970 171.37 c 1682 171.84 o 23971 171.84 c 1681 171.94 o 23972 171.94 c 1680 172.12 o 23974 172.12 c 1678 173.12 o 23977 173.12 c 1675 173.27 o 23980 173.27 c 1672 173.34 o 23981 173.34 c 1671 173.72 o 23983 173.72 c 1669 173.79 o 23985 173.79 c 1667 173.85 o 23986 173.85 c 1666 173.92 o 23988 173.92 c 1664 174.00 o 23989 174.00 c 1663 174.07 o 23993 174.07 c 1659 174.22 o 23994 174.22 c 1658 174.24 o 23996 174.24 c 1656 175.05 o 23998 175.05 c 1654 175.87 o 23999 175.87 c 1653 176.25 o 24000 176.25 c 1652 176.49 o 24001 176.49 c 1651 176.64 o 24002 176.64 c 1650 176.71 o 24003 176.71 c 1649 177.01 o 24005 177.01 c 1647 177.22 o 24006 177.22 c 1646 178.75 o 24007 178.75 c 1645 178.88 o 24009 178.88 c 1643 179.11 o 24010 179.11 c 1642 179.18 o 24011 179.18 c 1641 179.33 o 24012 179.33 c 1640 179.40 o 24013 179.40 c 1639 179.48 o 24014 179.48 c 1638 179.55 o 24015 179.55 c 1637 179.63 o 24017 179.63 c 1635 179.66 o 24019 179.66 c 1633 183.41 o 24020 183.41 c 1632 183.48 o 24022 183.49 c 1630 183.64 o 24023 183.64 c 1629 183.98 o 24024 183.98 c 1628 184.13 o 24026 184.13 c 1626 184.60 o 24027 184.60 c 1625 186.32 o 24028 186.32 c 1624 186.74 o 24029 186.74 c 1623 187.30 o 24033 187.30 c 1619 187.46 o 24034 187.46 c 1618 188.29 o 24037 188.29 c 1615 188.37 o 24039 188.37 c 1613 188.96 o 24040 188.96 c 1612 189.38 o 24041 189.38 c 1611 190.73 o 24042 190.73 c 1610 190.82 o 24043 190.82 c 1609 191.08 o 24044 191.08 c 1608 191.17 o 24046 191.17 c 1606 191.26 o 24047 191.26 c 1605 191.35 o 24051 191.35 c 1601 191.57 o 24052 191.57 c 1600 191.82 o 24054 191.82 c 1598 192.49 o 24056 192.49 c 1596 193.25 o 24058 193.25 c 1594 193.43 o 24059 193.43 c 1593 194.22 o 24061 194.22 c 1591 194.31 o 24065 194.31 c 1587 194.36 o 24069 194.36 c 1583 195.62 o 24070 195.62 c 1582 195.81 o 24072 195.81 c 1580 195.90 o 24073 195.90 c 1579 195.99 o 24075 195.99 c 1577 197.46 o 24076 197.46 c 1576 197.55 o 24077 197.55 c 1575 197.64 o 24078 197.64 c 1574 197.73 o 24079 197.73 c 1573 198.35 o 24083 198.35 c 1569 198.43 o 24085 198.43 c 1567 198.52 o 24088 198.52 c 1564 199.39 o 24093 199.39 c 1559 199.57 o 24098 199.57 c 1554 199.66 o 24100 199.66 c 1552 200.28 o 24103 200.28 c 1549 200.32 o 24104 200.32 c 1548 200.59 o 24105 200.59 c 1547 200.77 o 24107 200.77 c 1545 200.86 o 24108 200.86 c 1544 201.29 o 24110 201.29 c 1542 201.38 o 24111 201.38 c 1541 201.99 o 24112 201.99 c 1540 202.61 o 24113 202.61 c 1539 202.70 o 24116 202.70 c 1536 202.78 o 24117 202.78 c 1535 202.87 o 24118 202.87 c 1534 202.96 o 24119 202.96 c 1533 203.31 o 24120 203.31 c 1532 203.48 o 24122 203.48 c 1530 203.59 o 24123 203.59 c 1529 203.68 o 24125 203.68 c 1527 203.81 o 24126 203.81 c 1526 203.90 o 24129 203.90 c 1523 204.07 o 24130 204.07 c 1522 204.49 o 24131 204.49 c 1521 205.02 o 24132 205.02 c 1520 205.33 o 24134 205.33 c 1518 205.42 o 24135 205.42 c 1517 205.60 o 24136 205.60 c 1516 205.70 o 24137 205.70 c 1515 205.79 o 24138 205.79 c 1514 205.89 o 24139 205.89 c 1513 206.17 o 24141 206.17 c 1511 206.26 o 24143 206.26 c 1509 206.36 o 24144 206.36 c 1508 206.45 o 24145 206.45 c 1507 206.55 o 24146 206.55 c 1506 206.74 o 24147 206.74 c 1505 206.93 o 24148 206.93 c 1504 207.50 o 24150 207.50 c 1502 207.69 o 24151 207.69 c 1501 207.97 o 24152 207.97 c 1500 208.51 o 24153 208.51 c 1499 208.61 o 24154 208.61 c 1498 209.07 o 24156 209.07 c 1496 209.16 o 24159 209.16 c 1493 209.22 o 24160 209.22 c 1492 209.69 o 24162 209.69 c 1490 209.87 o 24165 209.87 c 1487 209.96 o 24166 209.96 c 1486 210.04 o 24167 210.04 c 1485 210.14 o 24168 210.14 c 1484 210.39 o 24170 210.39 c 1482 210.50 o 24171 210.50 c 1481 210.69 o 24174 210.69 c 1478 211.23 o 24176 211.23 c 1476 211.42 o 24177 211.42 c 1475 211.52 o 24181 211.52 c 1471 212.03 o 24182 212.03 c 1470 213.61 o 24187 213.61 c 1465 213.69 o 24188 213.69 c 1464 213.79 o 24189 213.79 c 1463 213.90 o 24190 213.90 c 1462 214.81 o 24191 214.81 c 1461 215.02 o 24192 215.02 c 1460 215.45 o 24194 215.45 c 1458 215.55 o 24197 215.55 c 1455 215.96 o 24199 215.96 c 1453 216.16 o 24201 216.16 c 1451 216.18 o 24203 216.18 c 1449 216.44 o 24205 216.44 c 1447 216.84 o 24206 216.84 c 1446 217.17 o 24207 217.17 c 1445 217.39 o 24208 217.39 c 1444 217.49 o 24209 217.49 c 1443 217.70 o 24210 217.70 c 1442 217.80 o 24212 217.80 c 1440 218.54 o 24213 218.54 c 1439 218.90 o 24214 218.90 c 1438 218.97 o 24216 218.97 c 1436 219.06 o 24218 219.06 c 1434 219.16 o 24219 219.16 c 1433 220.87 o 24220 220.87 c 1432 221.14 o 24221 221.14 c 1431 221.35 o 24224 221.35 c 1428 222.02 o 24225 222.02 c 1427 222.12 o 24227 222.12 c 1425 222.51 o 24228 222.51 c 1424 222.92 o 24229 222.92 c 1423 224.18 o 24230 224.18 c 1422 224.80 o 24233 224.80 c 1419 224.91 o 24235 224.91 c 1417 225.02 o 24236 225.02 c 1416 225.24 o 24238 225.24 c 1414 226.35 o 24240 226.35 c 1412 226.46 o 24242 226.46 c 1410 226.57 o 24243 226.57 c 1409 226.68 o 24244 226.68 c 1408 226.78 o 24246 226.78 c 1406 227.15 o 24247 227.15 c 1405 227.68 o 24248 227.68 c 1404 229.16 o 24250 229.16 c 1402 229.26 o 24251 229.26 c 1401 230.04 o 24253 230.04 c 1399 230.15 o 24255 230.15 c 1397 230.17 o 24256 230.17 c 1396 230.27 o 24258 230.27 c 1394 230.73 o 24259 230.73 c 1393 231.04 o 24261 231.04 c 1391 231.24 o 24262 231.24 c 1390 231.32 o 24263 231.32 c 1389 231.42 o 24269 231.42 c 1383 231.51 o 24270 231.51 c 1382 231.61 o 24272 231.61 c 1380 232.21 o 24273 232.21 c 1379 233.30 o 24275 233.30 c 1377 233.61 o 24278 233.61 c 1374 233.92 o 24279 233.92 c 1373 234.03 o 24283 234.03 c 1369 234.13 o 24284 234.13 c 1368 234.24 o 24287 234.24 c 1365 234.55 o 24288 234.55 c 1364 234.66 o 24291 234.66 c 1361 235.39 o 24292 235.39 c 1360 235.50 o 24293 235.50 c 1359 235.82 o 24294 235.82 c 1358 235.92 o 24296 235.92 c 1356 236.01 o 24297 236.01 c 1355 236.53 o 24298 236.53 c 1354 236.83 o 24300 236.83 c 1352 236.94 o 24302 236.94 c 1350 238.33 o 24303 238.33 c 1349 238.44 o 24304 238.44 c 1348 238.65 o 24305 238.65 c 1347 239.18 o 24307 239.18 c 1345 239.28 o 24309 239.28 c 1343 239.34 o 24310 239.34 c 1342 239.41 o 24311 239.41 c 1341 239.87 o 24312 239.87 c 1340 240.54 o 24314 240.54 c 1338 241.30 o 24315 241.30 c 1337 241.41 o 24316 241.41 c 1336 241.47 o 24317 241.47 c 1335 241.56 o 24319 241.56 c 1333 241.61 o 24322 241.61 c 1330 241.88 o 24323 241.88 c 1329 241.98 o 24324 241.98 c 1328 242.46 o 24326 242.46 c 1326 242.76 o 24327 242.76 c 1325 242.97 o 24328 242.97 c 1324 243.07 o 24332 243.07 c 1320 243.28 o 24333 243.28 c 1319 243.36 o 24334 243.36 c 1318 243.48 o 24335 243.48 c 1317 244.59 o 24337 244.59 c 1315 245.52 o 24338 245.52 c 1314 245.62 o 24341 245.62 c 1311 245.84 o 24343 245.84 c 1309 245.94 o 24344 245.94 c 1308 248.76 o 24345 248.76 c 1307 248.87 o 24347 248.87 c 1305 249.18 o 24348 249.18 c 1304 249.40 o 24351 249.40 c 1301 249.51 o 24352 249.51 c 1300 249.61 o 24353 249.61 c 1299 250.03 o 24354 250.03 c 1298 251.38 o 24356 251.38 c 1296 253.70 o 24358 253.70 c 1294 254.63 o 24359 254.63 c 1293 254.74 o 24360 254.74 c 1292 254.86 o 24361 254.86 c 1291 254.97 o 24362 254.97 c 1290 255.08 o 24363 255.08 c 1289 255.96 o 24365 255.96 c 1287 257.14 o 24366 257.14 c 1286 258.47 o 24369 258.47 c 1283 260.07 o 24371 260.07 c 1281 260.18 o 24374 260.18 c 1278 261.21 o 24375 261.21 c 1277 261.26 o 24379 261.26 c 1273 261.71 o 24381 261.71 c 1271 261.83 o 24383 261.83 c 1269 262.23 o 24384 262.23 c 1268 262.26 o 24386 262.26 c 1266 262.37 o 24388 262.37 c 1264 265.07 o 24391 265.07 c 1261 265.63 o 24394 265.63 c 1258 265.75 o 24396 265.75 c 1256 265.87 o 24397 265.87 c 1255 265.98 o 24399 265.98 c 1253 266.10 o 24400 266.10 c 1252 268.19 o 24401 268.19 c 1251 268.30 o 24404 268.30 c 1248 268.42 o 24405 268.42 c 1247 275.62 o 24407 275.62 c 1245 275.74 o 24408 275.74 c 1244 275.86 o 24410 275.86 c 1242 276.24 o 24414 276.24 c 1238 278.01 o 24415 278.01 c 1237 278.13 o 24416 278.13 c 1236 278.49 o 24417 278.49 c 1235 278.97 o 24418 278.97 c 1234 282.71 o 24421 282.71 c 1231 283.20 o 24423 283.20 c 1229 283.76 o 24425 283.76 c 1227 284.87 o 24427 284.87 c 1225 285.00 o 24429 285.00 c 1223 285.36 o 24430 285.36 c 1222 287.73 o 24431 287.73 c 1221 288.10 o 24432 288.10 c 1220 288.47 o 24433 288.47 c 1219 288.60 o 24434 288.60 c 1218 289.27 o 24435 289.27 c 1217 289.40 o 24436 289.40 c 1216 294.50 o 24437 294.50 c 1215 294.74 o 24439 294.74 c 1213 295.18 o 24440 295.18 c 1212 295.31 o 24443 295.31 c 1209 296.32 o 24444 296.32 c 1208 296.45 o 24445 296.45 c 1207 296.56 o 24446 296.56 c 1206 296.68 o 24447 296.68 c 1205 296.80 o 24450 296.80 c 1202 297.52 o 24451 297.52 c 1201 297.65 o 24452 297.65 c 1200 297.77 o 24453 297.77 c 1199 297.89 o 24458 297.89 c 1194 298.26 o 24459 298.26 c 1193 298.62 o 24460 298.62 c 1192 298.87 o 24462 298.87 c 1190 299.19 o 24464 299.19 c 1188 299.28 o 24465 299.28 c 1187 299.41 o 24467 299.41 c 1185 299.90 o 24469 299.90 c 1183 300.15 o 24470 300.15 c 1182 300.28 o 24471 300.28 c 1181 300.52 o 24474 300.52 c 1178 300.65 o 24477 300.65 c 1175 300.89 o 24479 300.89 c 1173 301.04 o 24480 301.04 c 1172 301.21 o 24482 301.21 c 1170 301.71 o 24484 301.71 c 1168 301.84 o 24485 301.84 c 1167 301.96 o 24486 301.96 c 1166 304.12 o 24487 304.12 c 1165 307.09 o 24489 307.09 c 1163 307.44 o 24491 307.44 c 1161 307.67 o 24492 307.67 c 1160 307.92 o 24494 307.92 c 1158 308.14 o 24496 308.14 c 1156 308.36 o 24498 308.36 c 1154 315.28 o 24499 315.28 c 1153 315.78 o 24500 315.78 c 1152 316.17 o 24503 316.17 c 1149 316.42 o 24505 316.42 c 1147 316.94 o 24507 316.94 c 1145 319.75 o 24509 319.75 c 1143 321.21 o 24510 321.21 c 1142 321.75 o 24511 321.75 c 1141 322.04 o 24512 322.04 c 1140 322.41 o 24514 322.41 c 1138 322.52 o 24515 322.52 c 1137 322.94 o 24516 322.94 c 1136 323.07 o 24518 323.07 c 1134 323.21 o 24520 323.21 c 1132 323.35 o 24521 323.35 c 1131 323.89 o 24522 323.89 c 1130 324.95 o 24524 324.95 c 1128 325.75 o 24525 325.75 c 1127 326.53 o 24526 326.53 c 1126 326.66 o 24528 326.66 c 1124 327.04 o 24529 327.04 c 1123 327.24 o 24530 327.24 c 1122 327.34 o 24531 327.34 c 1121 328.16 o 24532 328.16 c 1120 337.26 o 24533 337.26 c 1119 337.41 o 24535 337.41 c 1117 337.83 o 24539 337.83 c 1113 341.60 o 24542 341.60 c 1110 354.20 o 24543 354.20 c 1109 354.34 o 24544 354.34 c 1108 354.99 o 24545 354.99 c 1107 355.89 o 24546 355.89 c 1106 359.88 o 24547 359.88 c 1105 360.16 o 24550 360.16 c 1102 362.22 o 24551 362.22 c 1101 362.36 o 24552 362.36 c 1100 362.48 o 24553 362.48 c 1099 362.60 o 24555 362.60 c 1097 362.87 o 24558 362.87 c 1094 362.99 o 24559 362.99 c 1093 393.26 393.26 search 393.26 run=0 nbConstraintChecks=1978518028 nbAssignments=4892 393.26 => wckTime=340.672 cpuTime=338.92 mem=64M637 393.26 393.26 global 393.26 nbConstraintChecks=1978518028 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 393.26 solvingWckTime=340.66 solvingCpuTime=338.91 expiredTime=no totalExploration=no nbFoundSolutions=0 393.26 globalCpuTime=389.78 393.26 => wckTime=392.95 cpuTime=389.74 mem=64M637 393.26 393.26 solver IterativeSystematicSolver being built... 393.53 => wckTime=393.22 cpuTime=389.94 mem=103M436 393.86 393.86 preprocessing 393.86 nbConstraintChecks=1127 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 393.86 detectedInconsistency=no 393.86 => wckTime=0.326 cpuTime=0.31 mem=103M436 1145.40 1145.40 search 1145.40 run=0 nbConstraintChecks=2300985539 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=991 1145.40 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=1020 nbRestartNogoods=0 1145.40 => wckTime=751.871 cpuTime=748.4 mem=103M436 2153.72 2153.72 search 2153.72 run=1 nbConstraintChecks=4984900316 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2061 2153.72 nbFailedAssignments=69 nbBacktracks=25 nbVisitedNodes=2156 nbRestartNogoods=4 2153.72 => wckTime=1760.187 cpuTime=1752.07 mem=103M436 2411.28 v -2316 2612 2624 2616 2400 2468 2616 -2416 2624 2392 2384 2336 2560 2652 2280 2520 -2456 2320 2280 2376 -2344 2316 2460 -2408 -2280 2592 -2328 2580 -2648 -2452 2320 2656 -2476 2512 -2628 2392 -2284 -2404 -2480 -2280 2380 -2280 -2472 -2320 2460 -2332 -2356 -2416 -2640 2280 2332 -2568 -2592 -2652 -2656 -2608 2476 2332 2548 -2524 2648 2408 2324 -2404 -2316 2564 -2336 -2652 -2656 2284 -2588 2656 2540 -2612 -2296 -2464 2328 -2624 2460 2300 2628 2328 2624 2476 2616 -2356 -2476 -2652 2288 2308 -2312 2348 2508 -2280 2480 -2460 2488 2508 -2336 -2572 2280 -2588 -2448 2464 2340 -2600 -2600 -2380 -2352 2468 2456 -2636 2348 -2280 2588 2416 -2524 -2280 -2284 -2440 -2656 2484 -2628 2596 2456 -2592 2628 2416 -2608 -2292 -2468 -2328 2624 -2280 -2332 2504 -2280 -2408 2636 2336 2376 2332 2636 -2400 -2456 -2648 -2632 -2656 2544 -2604 2492 2448 -2476 -2428 2652 -2496 -2280 -2320 2300 -2356 2280 2308 -2432 -2648 -2508 -2304 2484 -2616 -2376 -2472 2500 2328 2324 2380 -2564 -2324 -2608 2612 -2428 2388 -2468 -2344 -2308 -2436 2644 2280 2484 2588 -2632 -2428 2380 2320 -2364 2300 -2312 -2532 2320 2344 -2616 -2520 -2324 -2616 -2500 -2656 -2460 2568 2476 2408 2436 -2548 2636 -2480 -2348 2364 2580 -2352 2484 2652 -2436 -2364 -2288 -2644 -2300 -2360 2508 2504 2608 -2484 -2376 2328 -2384 2608 2280 2652 -2560 -2324 -2632 2616 2648 -2616 2648 -2328 -2360 -2280 2396 -2524 -2436 2324 2388 2536 -2616 2464 -2560 -2280 -2644 2368 -2468 -2512 2368 -2292 2596 2508 2388 2440 -2576 -2328 -2644 2340 -2628 -2612 -2324 2520 2476 2576 -2484 -2616 -2336 -2308 2308 2384 -2296 -2440 2380 -2360 -2612 2408 2392 -2480 -2468 2280 2472 -2652 -2408 2432 -2556 -2456 -2496 2592 -2344 -2548 2408 2364 -2572 2592 -2436 2560 -2444 2348 2324 2280 -2284 -2436 -2392 2600 2508 2284 -2648 -2328 2384 -2320 -2548 2428 2608 -2648 -2344 -2496 -2452 2288 2356 -2612 2284 2520 -2632 2656 -2568 -2328 2424 2384 2308 -2540 2412 2320 -2552 2656 2364 -2612 -2528 2364 2284 -2528 -2432 -2556 2540 2652 2492 -2520 2344 2284 -2340 2284 -2524 -2340 -2636 -2324 -2632 2620 -2452 -2640 2464 2320 -2308 2488 2396 2284 -2536 2500 -2460 2324 -2476 2520 -2648 -2384 -2376 2344 2376 -2656 2500 2512 2552 2576 2564 -2480 2600 -2456 2344 2532 2292 2320 2308 2572 2280 2344 2508 2600 2472 -2480 -2388 2408 -2324 -2320 -2532 -2624 -2420 2652 -2576 -2652 -2288 -2656 2612 -2600 -2280 2448 2420 2284 2640 2608 2516 2568 -2480 2628 2428 -2564 2340 2384 2544 2468 2616 -2648 2364 2320 2468 2540 2652 -2400 -2320 2492 -2344 2284 2636 2480 -2324 -2348 -2436 2388 -2340 -2596 -2500 2380 2388 2612 2484 -2652 -2612 -2324 -2368 -2324 2456 2644 -2616 -2656 2284 -2428 2432 -2512 2324 2392 -2400 -2388 2640 -2440 -2592 -2448 2612 -2588 -2500 -2464 2616 -2488 -2592 -2316 2532 -2456 2568 2588 2400 2308 -2400 2588 2608 2348 2356 -2292 2512 -2560 2304 -2476 -2656 -2568 -2564 2288 -2380 2444 -2552 2532 -2484 -2284 2596 2604 2488 -2612 -2388 -2348 -2512 -2608 -2616 -2392 -2348 -2320 -2436 2384 2616 2340 -2600 -2280 -2652 2320 -2600 -2524 2656 -2440 -2348 2656 2596 2600 2376 2572 2504 -2340 -2580 2612 2576 -2304 -2440 -2348 -2380 -2520 2348 -2620 2332 2608 2612 2620 2508 -2452 2328 -2584 -2512 2476 -2368 -2332 -2608 -2556 -2472 -2588 2504 -2580 -2460 -2328 2508 2656 2496 -2320 -2520 2348 2304 -2624 -2616 2564 -2548 2616 -2536 2324 2348 -2384 -2384 -2480 -2284 2628 2556 2596 -2492 2292 -2504 2628 -2312 2380 2412 -2548 -2280 2656 -2448 -2292 2576 2632 -2408 -2460 2588 2516 2616 2544 -2608 2588 -2500 -2376 -2504 -2576 2548 2300 2476 -2612 2292 -2324 -2296 2620 -2432 -2640 -2332 -2616 2480 -2292 2324 -2524 2380 -2600 -2564 2400 -2524 -2464 2280 2360 2452 -2480 -2524 2504 -2592 2400 -2656 2656 -2532 -2308 -2512 -2624 2564 2440 -2428 -2324 2456 -2584 2412 2332 -2416 2600 -2532 2504 -2616 -2648 2488 2372 2480 2332 2652 2304 -2348 -2288 2348 -2608 -2656 2400 2356 2500 2416 2428 2420 -2292 -2280 -2396 -2300 -2280 -2468 -2608 -2408 -2584 2652 -2320 2596 2548 -2492 2640 2560 -2516 2652 2500 -2580 -2308 2368 -2424 -2520 -2408 -2612 -2344 2424 -2392 2500 2580 -2456 2284 2608 -2280 2576 2320 2420 2424 -2280 -2476 2328 2604 2608 2280 2400 2368 2408 -2324 2508 -2324 2612 -2416 2560 -2480 -2524 -2572 2472 -2352 -2508 -2644 -2608 2604 -2288 -2492 2372 -2348 2484 2460 -2292 2436 2516 2640 2332 -2640 -2616 2608 2344 -2280 2608 -2300 2308 -2588 2652 2520 2344 -2420 -2548 -2400 -2584 2644 2572 -2656 -2468 -2532 2652 -2512 2624 2368 2596 -2604 -2440 -2648 2340 -2312 -2364 2340 -2644 2508 2588 -2548 -2600 2600 2412 2304 -2476 2296 2312 -2440 -2584 -2336 2356 -2416 2392 -2328 -2348 2484 -2352 -2292 2284 -2612 -2432 2424 -2440 2328 2368 -2460 -2480 2348 2616 -2360 -2596 2652 2608 -2588 -2324 -2396 -2612 -2284 -2324 -2524 2552 -2652 -2512 -2284 2612 -2284 2368 2552 2648 2484 -2320 2332 2284 2644 2500 -2468 -2412 -2612 2540 2520 -2480 -2368 2572 -2344 2532 -2632 2288 -2500 -2292 2372 2324 2516 2460 -2448 2304 -2616 2372 -2508 -2296 2316 2612 2520 2564 -2540 -2484 2572 2468 -2476 2652 -2492 2420 2560 2280 2524 2356 -2396 2456 -2556 -2648 2344 -2324 -2476 -2628 -2592 2448 -2564 -2532 -2428 -2520 -2656 2620 -2416 2560 2656 -2568 -2652 -2408 -2380 2596 2436 -2652 2484 2312 -2604 -2616 -2384 -2588 2484 -2484 -2604 -2556 2320 2452 2652 2480 -2508 -2420 2396 2628 -2408 -2656 2608 -2412 2656 -2376 -2336 2524 -2544 2504 2536 -2480 -2368 -2440 -2480 2416 2324 -2600 2644 2320 2616 2280 -2400 -2468 2604 -2440 2472 -2592 -2312 2284 2480 -2332 2324 2572 -2656 -2500 2340 -2380 -2576 -2348 2592 -2596 2588 -2440 -2484 -2356 2396 -2652 -2440 2616 2652 2344 2616 -2508 -2620 2656 -2416 2392 2484 2628 -2448 -2404 -2612 -2464 2480 2296 -2288 2528 -2648 -2480 2552 2588 2376 2484 -2468 -2352 2564 -2444 -2656 -2608 2648 -2392 -2484 -2556 -2540 -2588 -2428 -2612 -2432 2504 2572 -2320 2492 -2628 2552 2616 2588 2284 2512 2436 -2468 -2516 -2616 2304 2524 2560 -2516 2520 2328 -2328 2596 -2312 -2504 2344 -2356 2648 2524 2648 2292 2284 -2344 -2628 -2544 -2284 2472 -2640 -2300 2544 2612 2652 -2280 -2324 2468 2568 2320 2448 2588 2304 2308 2548 -2332 2320 -2652 -2468 -2524 2356 2656 2624 2656 -2628 -2420 2352 2360 -2396 -2328 -2420 2476 2388 -2324 -2616 2648 -2472 -2648 2588 2468 2560 -2524 2516 2616 2656 2596 -2320 2372 -2580 -2628 2616 -2308 -2512 -2324 -2480 2312 2508 2340 -2544 2460 -2356 -2504 -2604 -2288 -2464 -2552 2284 -2416 -2356 -2464 -2616 2540 2568 -2300 2524 -2332 2324 2348 -2412 2492 2612 -2392 2656 2524 -2616 2460 2508 2360 -2500 2516 2616 -2612 2552 -2344 -2428 -2612 2500 2324 2516 2596 2540 2572 -2308 2524 2488 2540 -2396 2376 2608 2360 -2520 -2612 -2584 2360 -2548 -2292 2480 -2284 -2568 -2400 2360 2460 -2460 2588 -2448 -2576 2620 2436 -2572 -2640 2468 2528 -2380 2580 2344 2648 2352 -2336 -2572 2572 -2440 -2412 2564 2600 2468 2504 -2500 2656 -2316 -2432 2616 -2536 -2648 2432 -2656 -2440 2280 2600 -2320 2604 -2352 -2608 2280 -2572 2424 2568 -2532 2644 2512 -2476 2604 -2388 2492 2320 -2468 2652 -2484 -2320 -2308 -2656 -2532 2384 2416 -2280 -2464 2364 2368 -2568 2424 -2284 -2528 2600 -2560 2408 -2568 -2316 -2432 -2300 -2396 2604 -2616 -2332 2552 -2412 -2632 2616 -2496 -2544 -2404 2584 -2416 2560 -2408 -2608 2572 -2608 2604 -2564 -2304 2632 -2556 2316 2460 -2392 -2284 2656 -2420 2576 2644 2320 -2304 2632 2404 -2612 -2348 -2564 2296 -2324 -2332 -2528 2348 -2420 2512 -2352 -2632 -2564 -2604 -2464 -2332 2576 -2368 2608 -2572 -2432 -2460 -2460 2540 -2372 2544 -2584 2444 2608 2288 2592 2608 2500 -2320 2552 -2320 -2608 2608 2616 -2340 2344 -2600 -2380 -2572 2320 -2324 2568 -2592 -2336 2384 2436 -2540 2656 2360 2296 2364 -2652 -2460 -2656 2280 -2320 2484 -2528 2336 -2536 -2524 -2424 -2600 -2632 2296 2636 -2544 -2300 -2328 2628 2320 2460 2500 2656 2424 -2628 2492 2384 -2408 -2508 2600 -2324 -2284 -2304 -2560 -2352 -2604 -2320 2460 -2592 2560 2632 2584 2280 2516 -2500 2280 -2648 -2612 -2292 -2500 -2480 -2324 -2332 -2544 2368 2288 -2280 2456 2444 2360 2616 -2600 2548 -2456 2432 2488 2564 2460 -2324 -2500 2600 2408 2552 -2548 -2616 2588 -2592 -2500 -2324 -2364 2280 2592 -2624 -2384 -2584 2280 2528 -2540 2400 2384 -2320 2284 2316 -2532 -2588 2588 2636 -2460 -2608 -2524 2576 -2656 2388 -2432 -2544 -2448 2444 2428 2528 -2656 -2436 -2380 -2308 2460 -2612 -2536 2320 2468 -2604 2600 2292 -2320 2320 -2284 2636 2584 -2500 -2464 -2544 -2496 -2284 2396 2420 2404 2420 2404 2584 2372 2568 -2616 -2352 2608 2524 2324 2428 -2588 2368 -2472 -2364 -2468 2372 2396 2552 -2512 2536 -2464 -2468 2284 2612 2328 2576 2392 2344 -2524 -2656 2320 2364 2428 -2292 2628 2348 -2288 2440 2652 2464 2500 2448 2320 2340 -2448 2364 2308 2344 -2612 2612 -2556 -2584 2652 -2472 2612 -2472 -2440 -2608 2524 -2400 -2392 2632 -2284 -2400 2632 -2352 -2500 -2392 -2656 -2612 2328 -2520 2580 2420 -2496 2624 2488 -2612 -2612 2280 -2484 2284 -2524 2432 -2644 2552 2600 2384 -2608 2656 2328 -2320 2612 -2656 -2384 2296 2304 -2616 2600 2292 -2288 2384 2536 2292 -2468 2288 -2388 -2612 2540 2324 -2324 -2480 2636 2500 -2356 -2460 -2324 2480 -2400 2332 -2468 -2516 -2452 2604 -2604 -2580 2608 -2616 2360 -2436 2576 -2388 2332 2496 2628 -2524 2520 2336 2348 -2616 2340 2352 -2320 2424 -2440 -2552 -2448 2428 -2576 -2468 2596 2624 -2284 2612 -2436 2472 2484 -2476 2648 2596 2540 2500 2556 2500 2616 2580 2600 -2432 2336 -2616 2600 2652 -2324 -2648 2604 -2608 2548 -2492 -2424 -2624 -2368 2416 2532 2324 -2652 2472 2408 2540 -2656 2616 2632 -2328 -2584 -2344 2512 2512 -2472 -2656 -2500 2408 -2292 2540 -2588 2552 -2608 -2568 -2608 -2580 2332 -2408 -2344 2540 -2592 -2648 -2656 -2280 -2324 2536 -2428 2400 2500 -2600 -2560 -2304 2592 2444 -2280 -2284 -2612 -2284 2280 2560 -2524 2484 -2364 2640 -2560 -2656 2508 -2420 -2588 2392 -2384 2628 2652 2280 -2544 2580 -2568 2500 2484 2640 -2452 2424 2536 2284 2296 -2504 2464 2500 -2368 2496 2288 2480 2432 2332 2344 2540 -2456 -2656 -2580 2424 2332 -2412 2552 -2512 2580 2616 2636 2560 2372 2340 2312 2328 2608 2512 2280 2488 2576 -2460 -2616 -2440 -2640 -2616 2428 -2460 -2588 -2584 -2608 -2320 2588 2508 2420 -2604 2612 -2528 2576 -2336 -2612 -2600 2604 2328 -2624 2616 2348 -2288 -2648 -2428 2444 -2616 2608 2376 -2596 -2488 2524 2540 2556 -2588 2420 -2656 -2440 2436 2640 -2404 -2516 -2648 2324 -2540 2320 2340 2508 2584 -2608 2656 -2344 -2324 -2600 -2596 -2452 2572 2320 2284 2616 2628 -2304 2284 2464 -2312 -2360 2596 2604 2524 2548 2496 2304 2324 2440 2352 2592 -2612 2440 2280 -2436 -2584 -2456 -2280 -2404 2320 2452 -2360 -2384 -2444 -2520 -2504 2380 2344 2532 -2524 -2656 -2320 2340 -2576 -2612 -2376 -2368 2284 2536 2652 -2656 -2296 -2288 -2496 -2516 -2408 -2448 2364 -2396 2404 2480 2460 2380 2344 2332 2636 -2280 -2584 -2636 2648 -2312 2372 2656 2524 2328 2572 -2392 2444 2608 -2388 2500 -2360 2448 2492 2508 2528 -2572 2456 2288 -2444 -2320 -2316 2544 2612 2644 2492 -2368 2388 2484 -2648 -2284 2448 2504 -2388 2356 2452 -2648 2596 2292 -2540 2508 2512 -2352 -2284 2280 2532 2640 2376 2536 -2644 -2612 -2288 2512 2324 -2588 -2508 -2460 -2580 -2452 2284 2344 -2560 -2368 -2568 -2652 -2616 -2512 2324 -2280 2448 2428 2656 2556 2616 2280 2348 2380 -2408 2384 -2448 -2616 -2476 -2608 2360 2628 2568 -2324 -2488 -2336 2568
1093 unsatisfied constraints, 24559 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-275301-1169219880 -o ROOT/results/node51/solver-275301-1169219880 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275301-1169219880/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.03 2.00 4/80 4518 /proc/meminfo: memFree=1301552/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=9748 CPUtime=0 /proc/4517/stat : 4517 (java) D 4515 4517 3762 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 270386526 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2618148 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0 /proc/4517/statm: 2437 412 333 14 0 1140 0 [startup+0.103058 s] /proc/loadavg: 2.08 2.03 2.00 4/80 4518 /proc/meminfo: memFree=1301552/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=914988 CPUtime=0.09 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 2988 0 1 0 7 2 0 0 19 0 8 0 270386526 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4517/statm: 228747 2734 1426 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.511126 s] /proc/loadavg: 2.08 2.03 2.00 4/80 4518 /proc/meminfo: memFree=1301552/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915332 CPUtime=0.4 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 5974 0 1 0 36 4 0 0 18 0 8 0 270386526 937299968 5713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152163633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4517/statm: 228833 5713 2114 14 0 215303 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 915332 [startup+1.33227 s] /proc/loadavg: 2.08 2.03 2.00 3/87 4525 /proc/meminfo: memFree=1233400/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915612 CPUtime=1.22 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 21299 0 1 0 108 14 0 0 23 0 8 0 270386526 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073532534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4517/statm: 228903 21036 2161 14 0 215373 0 [pid=4517/tid=4519] ppid=4515 vsize=915612 CPUtime=0.08 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 4745 0 0 0 6 2 0 0 16 0 8 0 270386529 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915612 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915612 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915612 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915612 CPUtime=0.18 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 404 0 0 0 17 1 0 0 15 0 8 0 270386533 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915612 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915612 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 915612 [startup+2.97355 s] /proc/loadavg: 2.07 2.03 2.00 3/87 4525 /proc/meminfo: memFree=1221944/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915744 CPUtime=2.85 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 22268 0 1 0 270 15 0 0 25 0 8 0 270386526 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153648304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4517/statm: 228936 22002 2182 14 0 215406 0 [pid=4517/tid=4519] ppid=4515 vsize=915744 CPUtime=0.13 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 5622 0 0 0 11 2 0 0 17 0 8 0 270386529 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915744 CPUtime=0.22 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 430 0 0 0 21 1 0 0 16 0 8 0 270386533 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.85 Current children cumulated vsize (KiB) 915744 [startup+6.2701 s] /proc/loadavg: 2.07 2.03 2.00 4/87 4525 /proc/meminfo: memFree=1221624/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915744 CPUtime=6.13 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 22279 0 1 0 595 18 0 0 25 0 8 0 270386526 937721856 22011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4517/statm: 228936 22011 2182 14 0 215406 0 [pid=4517/tid=4519] ppid=4515 vsize=915744 CPUtime=0.13 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 5622 0 0 0 11 2 0 0 17 0 8 0 270386529 937721856 22011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 22011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 22011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937721856 22011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915744 CPUtime=0.23 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 438 0 0 0 22 1 0 0 15 0 8 0 270386533 937721856 22011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937721856 22011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937721856 22011 18446744073709551615 134512640 134570532 4294956480 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.7462 s] /proc/loadavg: 2.06 2.03 2.00 3/87 4525 /proc/meminfo: memFree=1221824/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915744 CPUtime=12.58 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 22316 0 1 0 1230 28 0 0 25 0 8 0 270386526 937721856 22045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4517/statm: 228936 22045 2182 14 0 215406 0 [pid=4517/tid=4519] ppid=4515 vsize=915744 CPUtime=0.16 /proc/4517/task/4519/stat : 4519 (java) R 4515 4517 3762 0 -1 64 5648 0 0 0 14 2 0 0 17 0 8 0 270386529 937721856 22045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023749 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 22045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 22045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937721856 22045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915744 CPUtime=0.24 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 446 0 0 0 23 1 0 0 15 0 8 0 270386533 937721856 22045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937721856 22045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937721856 22045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 915744 [startup+25.6032 s] /proc/loadavg: 2.05 2.03 2.00 3/87 4585 /proc/meminfo: memFree=1197680/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915744 CPUtime=25.39 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 26511 0 1 0 2484 55 0 0 25 0 8 0 270386526 937721856 26239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154017360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228936 26239 2182 14 0 215406 0 [pid=4517/tid=4519] ppid=4515 vsize=915744 CPUtime=0.33 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 9841 0 0 0 29 4 0 0 16 0 8 0 270386529 937721856 26239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 26239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 26239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937721856 26239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915744 CPUtime=0.24 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 447 0 0 0 23 1 0 0 16 0 8 0 270386533 937721856 26239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937721856 26239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937721856 26239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 915744 [startup+51.2085 s] /proc/loadavg: 2.03 2.03 2.00 3/87 4585 /proc/meminfo: memFree=1181816/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915744 CPUtime=50.87 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 30511 0 1 0 4970 117 0 0 25 0 8 0 270386526 937721856 30237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228936 30237 2182 14 0 215406 0 [pid=4517/tid=4519] ppid=4515 vsize=915744 CPUtime=0.53 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 13838 0 0 0 47 6 0 0 16 0 8 0 270386529 937721856 30237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 30237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 30237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937721856 30237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915744 CPUtime=0.25 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 448 0 0 0 24 1 0 0 16 0 8 0 270386533 937721856 30237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937721856 30237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937721856 30237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.87 Current children cumulated vsize (KiB) 915744 [startup+102.431 s] /proc/loadavg: 2.06 2.04 2.00 3/87 4585 /proc/meminfo: memFree=1167352/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915744 CPUtime=101.75 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34393 0 1 0 10032 143 0 0 25 0 8 0 270386526 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009460 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228936 34076 2501 14 0 215406 0 [pid=4517/tid=4519] ppid=4515 vsize=915744 CPUtime=0.89 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 17339 0 0 0 82 7 0 0 16 0 8 0 270386529 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915744 CPUtime=0.31 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 478 0 0 0 29 2 0 0 15 0 8 0 270386533 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915744 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.75 Current children cumulated vsize (KiB) 915744 [startup+162.496 s] /proc/loadavg: 2.02 2.03 2.00 3/87 4587 /proc/meminfo: memFree=1167032/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915744 CPUtime=161.53 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34393 0 1 0 16002 151 0 0 25 0 8 0 270386526 937721856 34076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074011699 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2014.5 Current children cumulated vsize (KiB) 915884 [startup+2084.03 s] /proc/loadavg: 2.00 2.00 2.00 3/87 4587 /proc/meminfo: memFree=1166200/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915884 CPUtime=2074.26 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34656 0 1 0 207248 178 0 0 25 0 8 0 270386526 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074346160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228971 34317 2549 14 0 215441 0 [pid=4517/tid=4519] ppid=4515 vsize=915884 CPUtime=0.89 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 17340 0 0 0 82 7 0 0 16 0 8 0 270386529 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915884 CPUtime=0.46 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 628 0 0 0 43 3 0 0 15 0 8 0 270386533 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2074.26 Current children cumulated vsize (KiB) 915884 [startup+2144.05 s] /proc/loadavg: 2.00 2.00 2.00 3/87 4587 /proc/meminfo: memFree=1166200/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915884 CPUtime=2134.02 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34656 0 1 0 213224 178 0 0 25 0 8 0 270386526 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228971 34317 2549 14 0 215441 0 [pid=4517/tid=4519] ppid=4515 vsize=915884 CPUtime=0.89 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 17340 0 0 0 82 7 0 0 16 0 8 0 270386529 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915884 CPUtime=0.46 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 628 0 0 0 43 3 0 0 15 0 8 0 270386533 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937865216 34317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2134.02 Current children cumulated vsize (KiB) 915884 [startup+2204.11 s] /proc/loadavg: 2.00 2.00 2.00 3/87 4587 /proc/meminfo: memFree=1166136/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915884 CPUtime=2193.79 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34658 0 1 0 219201 178 0 0 25 0 8 0 270386526 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074268106 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228971 34319 2549 14 0 215441 0 [pid=4517/tid=4519] ppid=4515 vsize=915884 CPUtime=0.89 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 17340 0 0 0 82 7 0 0 16 0 8 0 270386529 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915884 CPUtime=0.47 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 630 0 0 0 44 3 0 0 16 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2193.79 Current children cumulated vsize (KiB) 915884 [startup+2264.17 s] /proc/loadavg: 2.00 2.00 2.00 3/87 4587 /proc/meminfo: memFree=1166200/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915884 CPUtime=2253.59 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34658 0 1 0 225180 179 0 0 25 0 8 0 270386526 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074283817 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228971 34319 2549 14 0 215441 0 [pid=4517/tid=4519] ppid=4515 vsize=915884 CPUtime=0.89 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 17340 0 0 0 82 7 0 0 16 0 8 0 270386529 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915884 CPUtime=0.47 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 630 0 0 0 44 3 0 0 16 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2253.59 Current children cumulated vsize (KiB) 915884 [startup+2324.25 s] /proc/loadavg: 2.00 2.00 2.00 3/87 4587 /proc/meminfo: memFree=1166136/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915884 CPUtime=2313.39 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34658 0 1 0 231160 179 0 0 25 0 8 0 270386526 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074385718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228971 34319 2549 14 0 215441 0 [pid=4517/tid=4519] ppid=4515 vsize=915884 CPUtime=0.89 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 17340 0 0 0 82 7 0 0 16 0 8 0 270386529 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915884 CPUtime=0.47 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 630 0 0 0 44 3 0 0 16 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2313.39 Current children cumulated vsize (KiB) 915884 [startup+2384.32 s] /proc/loadavg: 2.05 2.01 2.00 3/87 4587 /proc/meminfo: memFree=1166200/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915884 CPUtime=2373.18 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34658 0 1 0 237139 179 0 0 25 0 8 0 270386526 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074268106 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228971 34319 2549 14 0 215441 0 [pid=4517/tid=4519] ppid=4515 vsize=915884 CPUtime=0.89 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 17340 0 0 0 82 7 0 0 16 0 8 0 270386529 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915884 CPUtime=0.47 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 630 0 0 0 44 3 0 0 16 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2373.18 Current children cumulated vsize (KiB) 915884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2411.27 s] /proc/loadavg: 2.03 2.01 2.00 3/87 4587 /proc/meminfo: memFree=1166136/2055920 swapFree=4191892/4192956 [pid=4517] ppid=4515 vsize=915884 CPUtime=2400.01 /proc/4517/stat : 4517 (java) R 4515 4517 3762 0 -1 0 34658 0 1 0 239822 179 0 0 25 0 8 0 270386526 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074287074 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4517/statm: 228971 34319 2549 14 0 215441 0 [pid=4517/tid=4519] ppid=4515 vsize=915884 CPUtime=0.89 /proc/4517/task/4519/stat : 4519 (java) S 4515 4517 3762 0 -1 64 17340 0 0 0 82 7 0 0 16 0 8 0 270386529 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4520] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4520/stat : 4520 (java) S 4515 4517 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4521] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4521/stat : 4521 (java) S 4515 4517 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270386530 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4522] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4522/stat : 4522 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4523] ppid=4515 vsize=915884 CPUtime=0.47 /proc/4517/task/4523/stat : 4523 (java) S 4515 4517 3762 0 -1 64 630 0 0 0 44 3 0 0 16 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4517/tid=4524] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4524/stat : 4524 (java) S 4515 4517 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4517/tid=4525] ppid=4515 vsize=915884 CPUtime=0 /proc/4517/task/4525/stat : 4525 (java) S 4515 4517 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270386533 937865216 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 915884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2411.33 CPU time (s): 2400.07 CPU user time (s): 2398.26 CPU system time (s): 1.81472 CPU usage (%): 99.5331 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.26 system time used= 1.81472 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34680 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= 50776 involuntary context switches= 43455 runsolver used 2.30365 s user time and 6.43202 s system time The end
Begin job on node51 on Fri Jan 19 15:18:00 UTC 2007 IDJOB= 275301 IDBENCH= 3780 IDSOLVER= 69 FILE ID= node51/275301-1169219880 PBS_JOBID= 3589107 Free space on /tmp= 66557 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-2.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275301-1169219880/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-275301-1169219880 -o ROOT/results/node51/solver-275301-1169219880 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275301-1169219880/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 2ac0102e63bae2a630109ac404c489a9 RANDOM SEED= 984974673 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.277 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.277 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: 1302032 kB Buffers: 55844 kB Cached: 559384 kB SwapCached: 512 kB Active: 314204 kB Inactive: 364200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1302032 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 5196 kB Writeback: 0 kB Mapped: 81940 kB Slab: 60852 kB Committed_AS: 5878848 kB PageTables: 1912 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 node51 on Fri Jan 19 15:58:11 UTC 2007