Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.11 | 2406.41 |
| 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.32 0.32 Abscon 109 (November, 2006) 0.32 0.32 configuration 0.32 name=epfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275300-1169219866/unknown.xml 0.38 0.39 domains being loaded... 0.43 0.43 variables being loaded... 0.66 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190 0.66 => wckTime=0.333 cpuTime=0.23 mem=20M547 0.66 0.66 predicates being loaded... 0.66 0.66 constraints being loaded... 54.32 nbConstraints=25652 nbConvertedConstraints=25652 nbConvertConstraintsChecks=155259272 nbExtensionStructures=9834 54.32 nbSharedExtensionStructures=15818 nbConflictsStructures=9834 nbSharedConflictsStructures=15818 54.32 nbSharedBinaryRepresentations=2507460 maxDegree=33 maxArity=2 54.32 => wckTime=54.001 cpuTime=52.83 mem=62M489 54.62 54.62 solver LocalSearchSolver being built... 54.66 => wckTime=54.334 cpuTime=52.89 mem=64M493 54.74 54.74 s SATISFIABLE 54.74 o 20292 54.74 c 5360 54.75 o 20299 54.75 c 5353 54.77 o 20308 54.77 c 5344 54.78 o 20317 54.78 c 5335 54.79 o 20325 54.79 c 5327 54.80 o 20331 54.80 c 5321 54.81 o 20337 54.81 c 5315 54.81 o 20343 54.81 c 5309 54.82 o 20348 54.82 c 5304 54.83 o 20352 54.83 c 5300 54.84 o 20355 54.84 c 5297 54.84 o 20357 54.84 c 5295 54.85 o 20359 54.85 c 5293 54.86 o 20360 54.86 c 5292 54.88 o 20368 54.88 c 5284 54.89 o 20375 54.89 c 5277 54.90 o 20381 54.90 c 5271 54.91 o 20387 54.91 c 5265 54.93 o 20393 54.93 c 5259 54.94 o 20398 54.94 c 5254 54.95 o 20403 54.95 c 5249 54.96 o 20408 54.96 c 5244 54.97 o 20415 54.97 c 5237 54.98 o 20419 54.98 c 5233 54.99 o 20423 54.99 c 5229 55.00 o 20427 55.00 c 5225 55.01 o 20431 55.01 c 5221 55.02 o 20434 55.02 c 5218 55.03 o 20437 55.03 c 5215 55.04 o 20440 55.04 c 5212 55.05 o 20443 55.05 c 5209 55.06 o 20446 55.06 c 5206 55.06 o 20448 55.06 c 5204 55.07 o 20450 55.07 c 5202 55.08 o 20452 55.08 c 5200 55.09 o 20454 55.09 c 5198 55.10 o 20456 55.10 c 5196 55.11 o 20457 55.11 c 5195 55.12 o 20459 55.12 c 5193 55.13 o 20464 55.13 c 5188 55.14 o 20473 55.14 c 5179 55.15 o 20482 55.15 c 5170 55.16 o 20491 55.16 c 5161 55.17 o 20499 55.17 c 5153 55.18 o 20507 55.18 c 5145 55.19 o 20514 55.19 c 5138 55.20 o 20520 55.20 c 5132 55.22 o 20526 55.22 c 5126 55.23 o 20531 55.23 c 5121 55.24 o 20536 55.24 c 5116 55.25 o 20541 55.25 c 5111 55.26 o 20546 55.26 c 5106 55.27 o 20550 55.27 c 5102 55.29 o 20554 55.29 c 5098 55.30 o 20558 55.30 c 5094 55.31 o 20562 55.31 c 5090 55.32 o 20564 55.32 c 5088 55.32 o 20567 55.32 c 5085 55.33 o 20569 55.33 c 5083 55.35 o 20572 55.35 c 5080 55.36 o 20575 55.36 c 5077 55.36 o 20578 55.36 c 5074 55.37 o 20581 55.37 c 5071 55.38 o 20584 55.38 c 5068 55.39 o 20587 55.39 c 5065 55.40 o 20589 55.40 c 5063 55.40 o 20594 55.40 c 5058 55.41 o 20595 55.41 c 5057 55.43 o 20601 55.43 c 5051 55.43 o 20606 55.43 c 5046 55.44 o 20607 55.44 c 5045 55.45 o 20612 55.45 c 5040 55.46 o 20613 55.46 c 5039 55.46 o 20618 55.46 c 5034 55.47 o 20623 55.47 c 5029 55.48 o 20627 55.48 c 5025 55.50 o 20636 55.50 c 5016 55.51 o 20644 55.51 c 5008 55.52 o 20650 55.52 c 5002 55.53 o 20658 55.53 c 4994 55.55 o 20665 55.55 c 4987 55.56 o 20672 55.56 c 4980 55.58 o 20679 55.58 c 4973 55.59 o 20686 55.60 c 4966 55.61 o 20692 55.61 c 4960 55.62 o 20698 55.62 c 4954 55.64 o 20704 55.64 c 4948 55.65 o 20710 55.65 c 4942 55.66 o 20716 55.66 c 4936 55.67 o 20722 55.67 c 4930 55.69 o 20728 55.69 c 4924 55.70 o 20733 55.70 c 4919 55.72 o 20738 55.72 c 4914 55.73 o 20743 55.73 c 4909 55.74 o 20748 55.74 c 4904 55.76 o 20752 55.76 c 4900 55.77 o 20756 55.77 c 4896 55.78 o 20760 55.78 c 4892 55.79 o 20764 55.79 c 4888 55.80 o 20768 55.80 c 4884 55.81 o 20774 55.81 c 4878 55.82 o 20778 55.82 c 4874 55.83 o 20782 55.83 c 4870 55.84 o 20786 55.84 c 4866 55.85 o 20789 55.85 c 4863 55.86 o 20792 55.86 c 4860 55.87 o 20795 55.87 c 4857 55.88 o 20798 55.88 c 4854 55.89 o 20801 55.89 c 4851 55.90 o 20804 55.90 c 4848 55.91 o 20806 55.91 c 4846 55.91 o 20808 55.91 c 4844 55.92 o 20809 55.92 c 4843 55.93 o 20810 55.93 c 4842 55.94 o 20811 55.94 c 4841 55.95 o 20814 55.95 c 4838 55.95 o 20815 55.95 c 4837 55.97 o 20816 55.97 c 4836 55.98 o 20823 55.98 c 4829 55.99 o 20831 55.99 c 4821 56.00 o 20833 56.00 c 4819 56.01 o 20842 56.01 c 4810 56.02 o 20844 56.02 c 4808 56.03 o 20848 56.03 c 4804 56.03 o 20854 56.03 c 4798 56.04 o 20860 56.04 c 4792 56.05 o 20861 56.05 c 4791 56.06 o 20865 56.07 c 4787 56.07 o 20867 56.07 c 4785 56.08 o 20870 56.08 c 4782 56.09 o 20873 56.09 c 4779 56.10 o 20881 56.10 c 4771 56.11 o 20882 56.11 c 4770 56.12 o 20888 56.12 c 4764 56.13 o 20894 56.13 c 4758 56.13 o 20896 56.13 c 4756 56.15 o 20902 56.15 c 4750 56.15 o 20906 56.16 c 4746 56.17 o 20909 56.17 c 4743 56.18 o 20911 56.18 c 4741 56.18 o 20915 56.18 c 4737 56.19 o 20918 56.19 c 4734 56.21 o 20924 56.21 c 4728 56.22 o 20930 56.22 c 4722 56.24 o 20937 56.24 c 4715 56.26 o 20943 56.26 c 4709 56.27 o 20948 56.27 c 4704 56.29 o 20954 56.29 c 4698 56.30 o 20956 56.30 c 4696 56.32 o 20962 56.32 c 4690 56.34 o 20967 56.34 c 4685 56.35 o 20972 56.35 c 4680 56.37 o 20977 56.37 c 4675 56.38 o 20983 56.38 c 4669 56.40 o 20985 56.40 c 4667 56.41 o 20992 56.41 c 4660 56.43 o 20997 56.43 c 4655 56.44 o 21002 56.44 c 4650 56.45 o 21007 56.45 c 4645 56.47 o 21012 56.47 c 4640 56.48 o 21016 56.48 c 4636 56.49 o 21017 56.50 c 4635 56.51 o 21021 56.51 c 4631 56.52 o 21025 56.52 c 4627 56.54 o 21029 56.54 c 4623 56.55 o 21033 56.55 c 4619 56.56 o 21037 56.56 c 4615 56.57 o 21041 56.57 c 4611 56.58 o 21045 56.58 c 4607 56.59 o 21048 56.59 c 4604 56.61 o 21051 56.61 c 4601 56.62 o 21054 56.62 c 4598 56.63 o 21057 56.63 c 4595 56.64 o 21059 56.64 c 4593 56.65 o 21061 56.65 c 4591 56.66 o 21063 56.66 c 4589 56.67 o 21065 56.67 c 4587 56.68 o 21067 56.68 c 4585 56.69 o 21069 56.69 c 4583 56.71 o 21070 56.71 c 4582 56.72 o 21071 56.72 c 4581 56.74 o 21072 56.74 c 4580 56.74 o 21073 56.74 c 4579 56.79 o 21077 56.79 c 4575 56.79 o 21082 56.79 c 4570 56.80 o 21086 56.80 c 4566 56.81 o 21091 56.81 c 4561 56.82 o 21092 56.82 c 4560 56.83 o 21096 56.83 c 4556 56.84 o 21103 56.84 c 4549 56.86 o 21107 56.86 c 4545 56.87 o 21112 56.87 c 4540 56.88 o 21118 56.88 c 4534 56.89 o 21123 56.89 c 4529 56.90 o 21131 56.90 c 4521 56.91 o 21133 56.91 c 4519 56.92 o 21134 56.92 c 4518 56.92 o 21136 56.92 c 4516 56.93 o 21139 56.93 c 4513 56.94 o 21146 56.94 c 4506 56.95 o 21150 56.95 c 4502 56.96 o 21152 56.96 c 4500 56.97 o 21155 56.97 c 4497 56.98 o 21159 56.98 c 4493 56.99 o 21162 56.99 c 4490 57.00 o 21165 57.00 c 4487 57.01 o 21166 57.01 c 4486 57.02 o 21172 57.02 c 4480 57.02 o 21173 57.02 c 4479 57.03 o 21175 57.03 c 4477 57.04 o 21180 57.04 c 4472 57.05 o 21184 57.05 c 4468 57.06 o 21187 57.06 c 4465 57.07 o 21191 57.07 c 4461 57.08 o 21192 57.08 c 4460 57.09 o 21198 57.09 c 4454 57.10 o 21200 57.10 c 4452 57.12 o 21201 57.12 c 4451 57.13 o 21204 57.13 c 4448 57.14 o 21207 57.14 c 4445 57.15 o 21209 57.15 c 4443 57.16 o 21213 57.16 c 4439 57.18 o 21220 57.18 c 4432 57.20 o 21226 57.20 c 4426 57.21 o 21232 57.21 c 4420 57.23 o 21238 57.23 c 4414 57.24 o 21243 57.25 c 4409 57.27 o 21248 57.27 c 4404 57.28 o 21253 57.28 c 4399 57.30 o 21257 57.30 c 4395 57.32 o 21264 57.32 c 4388 57.34 o 21268 57.34 c 4384 57.36 o 21272 57.36 c 4380 57.38 o 21275 57.38 c 4377 57.40 o 21278 57.40 c 4374 57.41 o 21281 57.41 c 4371 57.43 o 21284 57.43 c 4368 57.45 o 21287 57.45 c 4365 57.47 o 21290 57.47 c 4362 57.50 o 21291 57.50 c 4361 57.52 o 21293 57.52 c 4359 57.53 o 21296 57.53 c 4356 57.55 o 21299 57.55 c 4353 57.56 o 21302 57.56 c 4350 57.58 o 21307 57.58 c 4345 57.60 o 21309 57.60 c 4343 57.61 o 21312 57.61 c 4340 57.63 o 21314 57.63 c 4338 57.64 o 21316 57.64 c 4336 57.66 o 21318 57.66 c 4334 57.68 o 21320 57.68 c 4332 57.69 o 21322 57.69 c 4330 57.70 o 21323 57.70 c 4329 57.71 o 21324 57.71 c 4328 57.73 o 21325 57.73 c 4327 57.74 o 21326 57.74 c 4326 57.77 o 21332 57.77 c 4320 57.80 o 21333 57.80 c 4319 57.85 o 21337 57.85 c 4315 57.86 o 21341 57.86 c 4311 57.87 o 21346 57.87 c 4306 57.89 o 21348 57.89 c 4304 57.90 o 21350 57.90 c 4302 57.91 o 21353 57.91 c 4299 57.93 o 21355 57.93 c 4297 57.94 o 21357 57.94 c 4295 57.97 o 21358 57.97 c 4294 57.98 o 21359 57.98 c 4293 57.99 o 21363 57.99 c 4289 58.00 o 21366 58.00 c 4286 58.01 o 21369 58.01 c 4283 58.02 o 21376 58.02 c 4276 58.03 o 21381 58.03 c 4271 58.04 o 21384 58.04 c 4268 58.05 o 21386 58.05 c 4266 58.06 o 21388 58.06 c 4264 58.07 o 21390 58.07 c 4262 58.08 o 21394 58.08 c 4258 58.09 o 21399 58.09 c 4253 58.09 o 21403 58.09 c 4249 58.10 o 21407 58.10 c 4245 58.11 o 21409 58.11 c 4243 58.14 o 21410 58.14 c 4242 58.15 o 21412 58.15 c 4240 58.16 o 21416 58.16 c 4236 58.20 o 21418 58.20 c 4234 58.22 o 21419 58.22 c 4233 58.23 o 21423 58.23 c 4229 58.23 o 21426 58.23 c 4226 58.25 o 21433 58.25 c 4219 58.26 o 21436 58.26 c 4216 58.27 o 21440 58.27 c 4212 58.28 o 21444 58.28 c 4208 58.29 o 21446 58.29 c 4206 58.31 o 21448 58.31 c 4204 58.32 o 21451 58.32 c 4201 58.33 o 21452 58.33 c 4200 58.35 o 21455 58.35 c 4197 58.36 o 21457 58.36 c 4195 58.37 o 21459 58.37 c 4193 58.38 o 21460 58.38 c 4192 58.39 o 21462 58.39 c 4190 58.40 o 21466 58.40 c 4186 58.41 o 21468 58.41 c 4184 58.42 o 21471 58.42 c 4181 58.43 o 21473 58.43 c 4179 58.45 o 21474 58.45 c 4178 58.46 o 21481 58.46 c 4171 58.48 o 21483 58.48 c 4169 58.49 o 21489 58.49 c 4163 58.50 o 21494 58.50 c 4158 58.52 o 21495 58.52 c 4157 58.53 o 21500 58.53 c 4152 58.56 o 21502 58.56 c 4150 58.57 o 21506 58.57 c 4146 58.59 o 21509 58.59 c 4143 58.60 o 21511 58.60 c 4141 58.61 o 21514 58.61 c 4138 58.63 o 21518 58.63 c 4134 58.64 o 21519 58.64 c 4133 58.66 o 21523 58.66 c 4129 58.68 o 21527 58.68 c 4125 58.70 o 21531 58.70 c 4121 58.72 o 21534 58.72 c 4118 58.73 o 21535 58.73 c 4117 58.76 o 21538 58.76 c 4114 58.78 o 21541 58.78 c 4111 58.80 o 21544 58.80 c 4108 58.81 o 21547 58.81 c 4105 58.83 o 21550 58.83 c 4102 58.84 o 21553 58.84 c 4099 58.86 o 21556 58.86 c 4096 58.87 o 21559 58.88 c 4093 58.89 o 21562 58.89 c 4090 58.91 o 21565 58.91 c 4087 58.92 o 21568 58.92 c 4084 58.94 o 21570 58.94 c 4082 58.96 o 21572 58.96 c 4080 58.97 o 21574 58.97 c 4078 58.99 o 21580 58.99 c 4072 59.01 o 21582 59.01 c 4070 59.01 o 21588 59.01 c 4064 59.03 o 21590 59.03 c 4062 59.05 o 21592 59.05 c 4060 59.06 o 21594 59.06 c 4058 59.07 o 21596 59.07 c 4056 59.09 o 21598 59.09 c 4054 59.10 o 21600 59.10 c 4052 59.11 o 21601 59.11 c 4051 59.12 o 21602 59.12 c 4050 59.14 o 21603 59.14 c 4049 59.19 o 21605 59.19 c 4047 59.22 o 21606 59.22 c 4046 59.24 o 21609 59.24 c 4043 59.25 o 21613 59.25 c 4039 59.26 o 21616 59.26 c 4036 59.27 o 21617 59.27 c 4035 59.30 o 21619 59.30 c 4033 59.31 o 21621 59.31 c 4031 59.32 o 21624 59.32 c 4028 59.35 o 21625 59.35 c 4027 59.36 o 21628 59.37 c 4024 59.38 o 21634 59.38 c 4018 59.39 o 21637 59.39 c 4015 59.43 o 21639 59.43 c 4013 59.45 o 21640 59.45 c 4012 59.46 o 21644 59.46 c 4008 59.48 o 21646 59.48 c 4006 59.52 o 21648 59.52 c 4004 59.55 o 21649 59.55 c 4003 59.56 o 21650 59.56 c 4002 59.58 o 21652 59.58 c 4000 59.59 o 21658 59.59 c 3994 59.61 o 21661 59.61 c 3991 59.64 o 21665 59.64 c 3987 59.65 o 21668 59.65 c 3984 59.67 o 21670 59.67 c 3982 59.68 o 21672 59.68 c 3980 59.70 o 21675 59.70 c 3977 59.71 o 21678 59.71 c 3974 59.72 o 21682 59.72 c 3970 59.74 o 21685 59.74 c 3967 59.75 o 21688 59.75 c 3964 59.76 o 21690 59.76 c 3962 59.77 o 21693 59.77 c 3959 59.79 o 21695 59.79 c 3957 59.80 o 21696 59.80 c 3956 59.81 o 21700 59.81 c 3952 59.83 o 21704 59.83 c 3948 59.84 o 21706 59.84 c 3946 59.85 o 21709 59.85 c 3943 59.90 o 21713 59.90 c 3939 59.93 o 21715 59.93 c 3937 59.95 o 21717 59.95 c 3935 59.96 o 21719 59.96 c 3933 59.97 o 21724 59.97 c 3928 59.98 o 21725 59.98 c 3927 60.00 o 21726 60.00 c 3926 60.01 o 21730 60.01 c 3922 60.02 o 21733 60.02 c 3919 60.05 o 21735 60.05 c 3917 60.06 o 21738 60.06 c 3914 60.10 o 21740 60.10 c 3912 60.11 o 21742 60.11 c 3910 60.13 o 21746 60.13 c 3906 60.14 o 21747 60.14 c 3905 60.15 o 21748 60.15 c 3904 60.16 o 21752 60.16 c 3900 60.18 o 21754 60.18 c 3898 60.19 o 21757 60.19 c 3895 60.22 o 21760 60.22 c 3892 60.25 o 21762 60.25 c 3890 60.27 o 21764 60.27 c 3888 60.29 o 21767 60.29 c 3885 60.30 o 21768 60.30 c 3884 60.31 o 21772 60.31 c 3880 60.32 o 21774 60.32 c 3878 60.33 o 21776 60.33 c 3876 60.35 o 21779 60.35 c 3873 60.36 o 21781 60.36 c 3871 60.37 o 21783 60.37 c 3869 60.38 o 21787 60.38 c 3865 60.40 o 21791 60.40 c 3861 60.41 o 21796 60.41 c 3856 60.44 o 21797 60.44 c 3855 60.45 o 21798 60.45 c 3854 60.46 o 21800 60.46 c 3852 60.47 o 21803 60.47 c 3849 60.49 o 21804 60.49 c 3848 60.50 o 21806 60.50 c 3846 60.51 o 21807 60.51 c 3845 60.53 o 21814 60.53 c 3838 60.54 o 21816 60.54 c 3836 60.55 o 21819 60.55 c 3833 60.57 o 21821 60.57 c 3831 60.58 o 21824 60.58 c 3828 60.60 o 21825 60.60 c 3827 60.62 o 21828 60.62 c 3824 60.63 o 21829 60.63 c 3823 60.64 o 21831 60.64 c 3821 60.65 o 21835 60.66 c 3817 60.67 o 21838 60.67 c 3814 60.68 o 21839 60.68 c 3813 60.72 o 21840 60.72 c 3812 60.74 o 21842 60.74 c 3810 60.78 o 21845 60.78 c 3807 60.80 o 21847 60.80 c 3805 60.81 o 21850 60.81 c 3802 60.83 o 21851 60.83 c 3801 60.84 o 21855 60.84 c 3797 60.85 o 21859 60.85 c 3793 60.87 o 21863 60.87 c 3789 60.89 o 21865 60.89 c 3787 60.90 o 21867 60.90 c 3785 60.92 o 21871 60.92 c 3781 60.94 o 21876 60.94 c 3776 60.96 o 21881 60.96 c 3771 60.98 o 21885 60.98 c 3767 61.00 o 21889 61.00 c 3763 61.02 o 21892 61.02 c 3760 61.05 o 21895 61.05 c 3757 61.07 o 21898 61.07 c 3754 61.09 o 21901 61.09 c 3751 61.12 o 21903 61.12 c 3749 61.14 o 21905 61.14 c 3747 61.16 o 21907 61.16 c 3745 61.18 o 21909 61.18 c 3743 61.20 o 21911 61.20 c 3741 61.23 o 21913 61.23 c 3739 61.25 o 21915 61.25 c 3737 61.27 o 21920 61.27 c 3732 61.29 o 21922 61.29 c 3730 61.31 o 21928 61.31 c 3724 61.33 o 21929 61.33 c 3723 61.35 o 21930 61.35 c 3722 61.37 o 21931 61.37 c 3721 61.39 o 21932 61.39 c 3720 61.41 o 21933 61.41 c 3719 61.43 o 21935 61.43 c 3717 61.45 o 21937 61.45 c 3715 61.47 o 21939 61.47 c 3713 61.49 o 21940 61.49 c 3712 61.51 o 21941 61.51 c 3711 61.52 o 21942 61.52 c 3710 61.54 o 21943 61.54 c 3709 61.58 o 21947 61.58 c 3705 61.63 o 21952 61.63 c 3700 61.67 o 21955 61.67 c 3697 61.69 o 21956 61.69 c 3696 61.81 o 21957 61.81 c 3695 61.82 o 21958 61.82 c 3694 61.84 o 21963 61.84 c 3689 61.87 o 21964 61.87 c 3688 61.89 o 21969 61.89 c 3683 61.90 o 21970 61.90 c 3682 61.92 o 21974 61.92 c 3678 61.94 o 21976 61.94 c 3676 61.96 o 21978 61.96 c 3674 61.99 o 21979 61.99 c 3673 62.01 o 21982 62.01 c 3670 62.08 o 21983 62.08 c 3669 62.10 o 21986 62.10 c 3666 62.12 o 21988 62.12 c 3664 62.14 o 21993 62.14 c 3659 62.15 o 21995 62.15 c 3657 62.17 o 21999 62.17 c 3653 62.19 o 22000 62.19 c 3652 62.20 o 22004 62.20 c 3648 62.22 o 22010 62.22 c 3642 62.24 o 22015 62.24 c 3637 62.25 o 22020 62.25 c 3632 62.27 o 22023 62.27 c 3629 62.29 o 22025 62.29 c 3627 62.31 o 22029 62.31 c 3623 62.33 o 22031 62.33 c 3621 62.35 o 22032 62.35 c 3620 62.37 o 22037 62.37 c 3615 62.39 o 22039 62.39 c 3613 62.41 o 22043 62.41 c 3609 62.44 o 22047 62.44 c 3605 62.49 o 22051 62.49 c 3601 62.51 o 22054 62.51 c 3598 62.53 o 22056 62.53 c 3596 62.55 o 22058 62.55 c 3594 62.57 o 22059 62.57 c 3593 62.58 o 22064 62.58 c 3588 62.61 o 22067 62.61 c 3585 62.62 o 22070 62.62 c 3582 62.64 o 22071 62.64 c 3581 62.66 o 22075 62.66 c 3577 62.68 o 22078 62.68 c 3574 62.69 o 22083 62.69 c 3569 62.71 o 22085 62.71 c 3567 62.73 o 22086 62.73 c 3566 62.87 o 22087 62.87 c 3565 62.88 o 22088 62.88 c 3564 62.89 o 22093 62.89 c 3559 62.91 o 22095 62.91 c 3557 62.93 o 22096 62.93 c 3556 62.96 o 22102 62.96 c 3550 62.97 o 22105 62.97 c 3547 63.04 o 22109 63.04 c 3543 63.05 o 22111 63.05 c 3541 63.08 o 22113 63.08 c 3539 63.09 o 22115 63.09 c 3537 63.13 o 22117 63.13 c 3535 63.14 o 22119 63.14 c 3533 63.15 o 22122 63.15 c 3530 63.21 o 22124 63.21 c 3528 63.23 o 22128 63.23 c 3524 63.25 o 22133 63.25 c 3519 63.29 o 22134 63.29 c 3518 63.31 o 22138 63.31 c 3514 63.33 o 22141 63.33 c 3511 63.35 o 22144 63.35 c 3508 63.37 o 22148 63.37 c 3504 63.39 o 22150 63.39 c 3502 63.43 o 22155 63.43 c 3497 63.45 o 22159 63.45 c 3493 63.47 o 22163 63.47 c 3489 63.49 o 22165 63.49 c 3487 63.51 o 22169 63.51 c 3483 63.54 o 22174 63.54 c 3478 63.58 o 22178 63.58 c 3474 63.61 o 22182 63.61 c 3470 63.63 o 22183 63.63 c 3469 63.66 o 22188 63.66 c 3464 63.68 o 22189 63.68 c 3463 63.73 o 22191 63.73 c 3461 63.75 o 22193 63.75 c 3459 63.80 o 22194 63.80 c 3458 63.83 o 22197 63.83 c 3455 63.85 o 22202 63.85 c 3450 63.88 o 22204 63.88 c 3448 63.90 o 22205 63.90 c 3447 63.95 o 22206 63.95 c 3446 63.99 o 22208 63.99 c 3444 64.02 o 22210 64.02 c 3442 64.04 o 22214 64.04 c 3438 64.06 o 22215 64.06 c 3437 64.13 o 22217 64.13 c 3435 64.18 o 22218 64.18 c 3434 64.20 o 22220 64.20 c 3432 64.23 o 22221 64.23 c 3431 64.25 o 22223 64.25 c 3429 64.29 o 22224 64.29 c 3428 64.34 o 22230 64.34 c 3422 64.37 o 22232 64.37 c 3420 64.39 o 22233 64.39 c 3419 64.44 o 22235 64.44 c 3417 64.46 o 22238 64.46 c 3414 64.53 o 22240 64.53 c 3412 64.56 o 22241 64.56 c 3411 64.58 o 22242 64.58 c 3410 64.60 o 22243 64.60 c 3409 64.63 o 22247 64.63 c 3405 64.66 o 22250 64.66 c 3402 64.69 o 22254 64.69 c 3398 64.72 o 22256 64.72 c 3396 64.79 o 22258 64.79 c 3394 64.82 o 22260 64.82 c 3392 64.84 o 22261 64.84 c 3391 64.87 o 22264 64.87 c 3388 64.90 o 22266 64.90 c 3386 64.92 o 22270 64.92 c 3382 64.99 o 22274 64.99 c 3378 65.04 o 22279 65.04 c 3373 65.08 o 22281 65.08 c 3371 65.10 o 22282 65.10 c 3370 65.12 o 22284 65.12 c 3368 65.15 o 22286 65.15 c 3366 65.17 o 22288 65.17 c 3364 65.20 o 22293 65.20 c 3359 65.23 o 22295 65.23 c 3357 65.26 o 22299 65.26 c 3353 65.29 o 22302 65.29 c 3350 65.32 o 22305 65.32 c 3347 65.35 o 22307 65.35 c 3345 65.38 o 22310 65.38 c 3342 65.41 o 22314 65.41 c 3338 65.44 o 22317 65.44 c 3335 65.47 o 22320 65.47 c 3332 65.50 o 22322 65.50 c 3330 65.53 o 22324 65.53 c 3328 65.56 o 22326 65.56 c 3326 65.59 o 22328 65.59 c 3324 65.62 o 22330 65.62 c 3322 65.65 o 22332 65.65 c 3320 65.68 o 22334 65.68 c 3318 65.71 o 22335 65.71 c 3317 65.74 o 22336 65.74 c 3316 65.77 o 22338 65.77 c 3314 65.80 o 22341 65.80 c 3311 65.83 o 22342 65.83 c 3310 66.05 o 22347 66.05 c 3305 66.08 o 22348 66.08 c 3304 66.11 o 22350 66.11 c 3302 66.13 o 22354 66.13 c 3298 66.21 o 22359 66.21 c 3293 66.23 o 22364 66.23 c 3288 66.28 o 22366 66.28 c 3286 66.31 o 22367 66.31 c 3285 66.33 o 22371 66.33 c 3281 66.54 o 22376 66.54 c 3276 66.56 o 22378 66.56 c 3274 66.63 o 22379 66.63 c 3273 66.66 o 22381 66.66 c 3271 66.68 o 22383 66.68 c 3269 66.73 o 22386 66.73 c 3266 66.91 o 22387 66.91 c 3265 66.94 o 22389 66.94 c 3263 66.99 o 22390 66.99 c 3262 67.01 o 22391 67.01 c 3261 67.03 o 22396 67.03 c 3256 67.05 o 22398 67.05 c 3254 67.10 o 22401 67.10 c 3251 67.15 o 22403 67.15 c 3249 67.26 o 22405 67.26 c 3247 67.28 o 22407 67.28 c 3245 67.34 o 22411 67.34 c 3241 67.36 o 22415 67.36 c 3237 67.38 o 22416 67.38 c 3236 67.44 o 22420 67.44 c 3232 67.47 o 22423 67.47 c 3229 67.49 o 22427 67.49 c 3225 67.53 o 22429 67.53 c 3223 67.55 o 22432 67.55 c 3220 67.58 o 22435 67.58 c 3217 67.60 o 22436 67.60 c 3216 67.65 o 22437 67.65 c 3215 67.74 o 22439 67.74 c 3213 67.81 o 22440 67.81 c 3212 67.84 o 22442 67.84 c 3210 67.92 o 22445 67.92 c 3207 68.02 o 22446 68.02 c 3206 68.18 o 22448 68.18 c 3204 68.21 o 22449 68.21 c 3203 68.24 o 22452 68.24 c 3200 68.27 o 22453 68.27 c 3199 68.32 o 22456 68.32 c 3196 68.38 o 22457 68.38 c 3195 68.40 o 22461 68.40 c 3191 68.43 o 22462 68.43 c 3190 68.65 o 22463 68.65 c 3189 68.68 o 22465 68.68 c 3187 68.71 o 22468 68.71 c 3184 68.74 o 22469 68.74 c 3183 68.82 o 22470 68.82 c 3182 68.84 o 22472 68.84 c 3180 68.87 o 22474 68.87 c 3178 68.90 o 22476 68.90 c 3176 68.93 o 22477 68.93 c 3175 68.95 o 22478 68.95 c 3174 68.98 o 22480 68.98 c 3172 69.01 o 22482 69.01 c 3170 69.04 o 22485 69.04 c 3167 69.07 o 22487 69.07 c 3165 69.09 o 22490 69.09 c 3162 69.12 o 22495 69.12 c 3157 69.16 o 22496 69.16 c 3156 69.19 o 22499 69.19 c 3153 69.25 o 22504 69.25 c 3148 69.27 o 22506 69.27 c 3146 69.30 o 22508 69.30 c 3144 69.33 o 22511 69.33 c 3141 69.35 o 22513 69.35 c 3139 69.41 o 22515 69.41 c 3137 69.51 o 22516 69.51 c 3136 69.54 o 22518 69.54 c 3134 69.57 o 22520 69.57 c 3132 69.59 o 22521 69.59 c 3131 69.62 o 22522 69.62 c 3130 69.64 o 22524 69.64 c 3128 69.67 o 22525 69.67 c 3127 69.72 o 22529 69.72 c 3123 69.79 o 22530 69.79 c 3122 69.82 o 22531 69.82 c 3121 69.84 o 22532 69.84 c 3120 69.89 o 22533 69.89 c 3119 69.92 o 22535 69.92 c 3117 69.99 o 22538 69.99 c 3114 70.04 o 22543 70.04 c 3109 70.14 o 22544 70.14 c 3108 70.17 o 22545 70.17 c 3107 70.20 o 22546 70.20 c 3106 70.30 o 22548 70.30 c 3104 70.33 o 22549 70.33 c 3103 70.36 o 22551 70.36 c 3101 70.44 o 22554 70.44 c 3098 70.46 o 22558 70.46 c 3094 70.49 o 22561 70.49 c 3091 70.52 o 22562 70.52 c 3090 70.54 o 22565 70.54 c 3087 70.57 o 22568 70.57 c 3084 70.66 o 22570 70.66 c 3082 70.69 o 22573 70.69 c 3079 70.79 o 22574 70.79 c 3078 70.82 o 22576 70.82 c 3076 70.85 o 22578 70.85 c 3074 70.91 o 22580 70.91 c 3072 70.94 o 22584 70.94 c 3068 71.03 o 22588 71.03 c 3064 71.12 o 22591 71.12 c 3061 71.15 o 22593 71.15 c 3059 71.18 o 22594 71.18 c 3058 71.24 o 22597 71.24 c 3055 71.27 o 22601 71.27 c 3051 71.30 o 22605 71.30 c 3047 71.33 o 22606 71.33 c 3046 71.36 o 22608 71.36 c 3044 71.39 o 22610 71.39 c 3042 71.42 o 22612 71.42 c 3040 71.46 o 22614 71.46 c 3038 71.49 o 22616 71.49 c 3036 71.52 o 22618 71.52 c 3034 71.53 o 22619 71.53 c 3033 71.56 o 22620 71.56 c 3032 71.59 o 22622 71.59 c 3030 71.62 o 22623 71.62 c 3029 71.65 o 22624 71.65 c 3028 71.68 o 22625 71.68 c 3027 71.74 o 22626 71.74 c 3026 71.80 o 22628 71.80 c 3024 71.83 o 22630 71.83 c 3022 71.86 o 22632 71.86 c 3020 71.89 o 22634 71.89 c 3018 71.89 o 22635 71.89 c 3017 71.97 o 22638 71.97 c 3014 72.00 o 22639 72.00 c 3013 72.06 o 22643 72.06 c 3009 72.09 o 22644 72.09 c 3008 72.12 o 22648 72.12 c 3004 72.15 o 22651 72.15 c 3001 72.24 o 22652 72.24 c 3000 72.27 o 22656 72.27 c 2996 72.30 o 22658 72.30 c 2994 72.33 o 22660 72.33 c 2992 72.35 o 22661 72.36 c 2991 72.38 o 22662 72.38 c 2990 72.49 o 22666 72.49 c 2986 72.52 o 22669 72.52 c 2983 72.61 o 22671 72.61 c 2981 72.64 o 22674 72.64 c 2978 72.67 o 22675 72.67 c 2977 72.73 o 22676 72.73 c 2976 72.78 o 22678 72.78 c 2974 72.82 o 22679 72.82 c 2973 72.84 o 22682 72.84 c 2970 72.87 o 22685 72.88 c 2967 72.91 o 22687 72.91 c 2965 72.94 o 22689 72.94 c 2963 72.97 o 22691 72.97 c 2961 73.00 o 22692 73.00 c 2960 73.03 o 22693 73.03 c 2959 73.06 o 22695 73.06 c 2957 73.09 o 22697 73.09 c 2955 73.15 o 22699 73.15 c 2953 73.17 o 22701 73.17 c 2951 73.21 o 22705 73.21 c 2947 73.24 o 22706 73.24 c 2946 73.26 o 22707 73.26 c 2945 73.45 o 22710 73.45 c 2942 73.51 o 22712 73.51 c 2940 73.53 o 22713 73.53 c 2939 73.56 o 22714 73.56 c 2938 73.59 o 22717 73.59 c 2935 73.61 o 22718 73.61 c 2934 73.70 o 22722 73.70 c 2930 73.73 o 22723 73.73 c 2929 73.75 o 22724 73.75 c 2928 73.78 o 22725 73.78 c 2927 73.81 o 22728 73.81 c 2924 73.83 o 22729 73.83 c 2923 73.85 o 22732 73.85 c 2920 73.97 o 22736 73.97 c 2916 74.00 o 22738 74.00 c 2914 74.02 o 22740 74.02 c 2912 74.05 o 22742 74.05 c 2910 74.08 o 22743 74.08 c 2909 74.13 o 22745 74.13 c 2907 74.16 o 22747 74.16 c 2905 74.19 o 22748 74.19 c 2904 74.33 o 22749 74.33 c 2903 74.36 o 22750 74.36 c 2902 74.41 o 22751 74.41 c 2901 74.44 o 22754 74.44 c 2898 74.49 o 22756 74.49 c 2896 74.51 o 22758 74.51 c 2894 74.54 o 22759 74.54 c 2893 74.59 o 22761 74.59 c 2891 74.62 o 22764 74.62 c 2888 74.65 o 22765 74.65 c 2887 74.71 o 22768 74.71 c 2884 74.79 o 22771 74.79 c 2881 74.82 o 22774 74.82 c 2878 74.85 o 22777 74.85 c 2875 74.96 o 22778 74.96 c 2874 74.99 o 22783 74.99 c 2869 75.02 o 22786 75.02 c 2866 75.10 o 22788 75.10 c 2864 75.12 o 22789 75.12 c 2863 75.15 o 22792 75.15 c 2860 75.23 o 22793 75.23 c 2859 75.48 o 22794 75.48 c 2858 75.51 o 22796 75.51 c 2856 75.54 o 22798 75.54 c 2854 75.56 o 22800 75.56 c 2852 75.59 o 22802 75.59 c 2850 75.64 o 22803 75.64 c 2849 75.67 o 22809 75.67 c 2843 75.73 o 22812 75.73 c 2840 75.78 o 22813 75.78 c 2839 75.83 o 22817 75.83 c 2835 75.86 o 22819 75.86 c 2833 75.88 o 22820 75.88 c 2832 75.94 o 22823 75.94 c 2829 75.97 o 22826 75.97 c 2826 76.28 o 22828 76.28 c 2824 76.31 o 22831 76.31 c 2821 76.34 o 22833 76.34 c 2819 76.42 o 22836 76.42 c 2816 76.56 o 22839 76.56 c 2813 76.59 o 22840 76.59 c 2812 76.61 o 22842 76.61 c 2810 76.64 o 22843 76.64 c 2809 76.67 o 22846 76.67 c 2806 76.77 o 22847 76.77 c 2805 76.81 o 22850 76.81 c 2802 76.85 o 22853 76.85 c 2799 76.88 o 22855 76.88 c 2797 76.93 o 22859 76.93 c 2793 76.96 o 22860 76.96 c 2792 77.10 o 22862 77.10 c 2790 77.14 o 22866 77.14 c 2786 77.17 o 22869 77.17 c 2783 77.23 o 22870 77.23 c 2782 77.26 o 22871 77.26 c 2781 77.32 o 22872 77.32 c 2780 77.35 o 22875 77.35 c 2777 77.40 o 22876 77.40 c 2776 77.43 o 22880 77.43 c 2772 77.46 o 22882 77.46 c 2770 77.49 o 22883 77.49 c 2769 77.52 o 22885 77.52 c 2767 77.55 o 22886 77.55 c 2766 77.58 o 22890 77.58 c 2762 77.92 o 22893 77.92 c 2759 77.96 o 22895 77.96 c 2757 78.08 o 22896 78.08 c 2756 78.12 o 22899 78.12 c 2753 78.15 o 22902 78.15 c 2750 78.18 o 22906 78.18 c 2746 78.22 o 22910 78.22 c 2742 78.26 o 22913 78.26 c 2739 78.29 o 22915 78.29 c 2737 78.38 o 22917 78.38 c 2735 78.42 o 22920 78.42 c 2732 78.58 o 22921 78.58 c 2731 78.62 o 22923 78.62 c 2729 78.68 o 22924 78.68 c 2728 78.72 o 22926 78.72 c 2726 78.88 o 22928 78.88 c 2724 79.05 o 22933 79.05 c 2719 79.07 o 22938 79.07 c 2714 79.17 o 22940 79.17 c 2712 79.20 o 22942 79.20 c 2710 79.27 o 22944 79.27 c 2708 79.30 o 22946 79.30 c 2706 79.34 o 22948 79.34 c 2704 79.38 o 22951 79.38 c 2701 79.42 o 22953 79.42 c 2699 79.45 o 22957 79.45 c 2695 79.56 o 22958 79.56 c 2694 79.64 o 22961 79.64 c 2691 79.81 o 22962 79.81 c 2690 79.89 o 22964 79.89 c 2688 79.93 o 22965 79.93 c 2687 80.00 o 22966 80.00 c 2686 80.07 o 22968 80.07 c 2684 80.11 o 22969 80.11 c 2683 80.15 o 22970 80.15 c 2682 80.19 o 22972 80.19 c 2680 80.23 o 22974 80.23 c 2678 80.26 o 22975 80.26 c 2677 80.30 o 22978 80.30 c 2674 80.34 o 22980 80.34 c 2672 80.42 o 22983 80.42 c 2669 80.44 o 22985 80.44 c 2667 80.48 o 22988 80.48 c 2664 80.59 o 22989 80.59 c 2663 80.97 o 22993 80.97 c 2659 81.01 o 22994 81.01 c 2658 81.05 o 22995 81.05 c 2657 81.09 o 22999 81.09 c 2653 81.13 o 23001 81.13 c 2651 81.16 o 23002 81.16 c 2650 81.20 o 23007 81.20 c 2645 81.24 o 23009 81.24 c 2643 81.31 o 23010 81.31 c 2642 81.35 o 23012 81.35 c 2640 81.38 o 23014 81.38 c 2638 81.53 o 23015 81.53 c 2637 81.81 o 23017 81.81 c 2635 81.85 o 23019 81.85 c 2633 81.96 o 23024 81.96 c 2628 82.00 o 23026 82.00 c 2626 82.04 o 23029 82.04 c 2623 82.08 o 23030 82.08 c 2622 82.15 o 23031 82.15 c 2621 82.23 o 23035 82.23 c 2617 82.26 o 23036 82.26 c 2616 82.30 o 23038 82.30 c 2614 82.34 o 23041 82.34 c 2611 82.46 o 23042 82.46 c 2610 82.53 o 23043 82.53 c 2609 82.64 o 23045 82.64 c 2607 82.86 o 23046 82.86 c 2606 82.87 o 23047 82.87 c 2605 83.02 o 23048 83.02 c 2604 83.06 o 23051 83.06 c 2601 83.09 o 23053 83.09 c 2599 83.23 o 23054 83.23 c 2598 83.27 o 23055 83.27 c 2597 83.31 o 23059 83.31 c 2593 83.54 o 23060 83.54 c 2592 83.58 o 23062 83.58 c 2590 83.70 o 23063 83.70 c 2589 83.73 o 23065 83.73 c 2587 83.93 o 23068 83.93 c 2584 83.97 o 23070 83.97 c 2582 84.20 o 23071 84.20 c 2581 84.24 o 23072 84.24 c 2580 84.28 o 23074 84.28 c 2578 84.32 o 23075 84.32 c 2577 84.36 o 23076 84.36 c 2576 84.48 o 23078 84.48 c 2574 84.72 o 23080 84.72 c 2572 84.84 o 23081 84.84 c 2571 84.88 o 23082 84.88 c 2570 84.91 o 23086 84.91 c 2566 84.95 o 23087 84.95 c 2565 84.99 o 23090 84.99 c 2562 85.08 o 23091 85.08 c 2561 85.12 o 23094 85.12 c 2558 85.16 o 23095 85.16 c 2557 85.20 o 23097 85.20 c 2555 85.44 o 23101 85.44 c 2551 85.56 o 23102 85.56 c 2550 85.60 o 23104 85.60 c 2548 85.64 o 23106 85.64 c 2546 85.68 o 23107 85.68 c 2545 85.72 o 23108 85.72 c 2544 85.76 o 23109 85.76 c 2543 85.80 o 23110 85.80 c 2542 85.84 o 23111 85.84 c 2541 86.24 o 23113 86.24 c 2539 86.33 o 23115 86.33 c 2537 86.42 o 23117 86.42 c 2535 86.54 o 23119 86.54 c 2533 86.58 o 23120 86.58 c 2532 86.63 o 23122 86.63 c 2530 86.67 o 23123 86.67 c 2529 86.71 o 23125 86.71 c 2527 86.84 o 23126 86.84 c 2526 86.96 o 23131 86.96 c 2521 87.04 o 23133 87.04 c 2519 87.08 o 23134 87.08 c 2518 87.16 o 23137 87.16 c 2515 87.20 o 23141 87.20 c 2511 88.91 o 23143 88.91 c 2509 88.95 o 23147 88.95 c 2505 89.08 o 23148 89.08 c 2504 89.17 o 23152 89.17 c 2500 89.21 o 23156 89.21 c 2496 89.52 o 23158 89.52 c 2494 89.56 o 23160 89.56 c 2492 89.65 o 23161 89.65 c 2491 89.74 o 23163 89.74 c 2489 89.83 o 23166 89.83 c 2486 89.97 o 23168 89.97 c 2484 90.01 o 23169 90.01 c 2483 90.05 o 23170 90.05 c 2482 90.14 o 23172 90.14 c 2480 90.19 o 23173 90.19 c 2479 90.23 o 23175 90.23 c 2477 90.32 o 23177 90.32 c 2475 90.66 o 23178 90.66 c 2474 90.79 o 23179 90.79 c 2473 91.01 o 23181 91.01 c 2471 91.05 o 23182 91.05 c 2470 91.10 o 23186 91.10 c 2466 91.15 o 23187 91.15 c 2465 91.19 o 23190 91.19 c 2462 91.24 o 23194 91.24 c 2458 91.28 o 23196 91.28 c 2456 91.33 o 23199 91.33 c 2453 91.38 o 23201 91.38 c 2451 91.41 o 23203 91.41 c 2449 91.75 o 23204 91.75 c 2448 91.80 o 23206 91.80 c 2446 91.94 o 23208 91.94 c 2444 92.04 o 23212 92.04 c 2440 92.09 o 23214 92.09 c 2438 92.14 o 23215 92.14 c 2437 92.28 o 23216 92.28 c 2436 92.33 o 23218 92.33 c 2434 92.38 o 23220 92.38 c 2432 92.42 o 23222 92.42 c 2430 93.07 o 23224 93.07 c 2428 93.11 o 23226 93.11 c 2426 93.22 o 23227 93.22 c 2425 93.56 o 23229 93.56 c 2423 93.61 o 23230 93.61 c 2422 93.67 o 23236 93.67 c 2416 93.77 o 23237 93.77 c 2415 93.82 o 23243 93.82 c 2409 93.92 o 23244 93.92 c 2408 94.69 o 23246 94.69 c 2406 95.05 o 23247 95.05 c 2405 95.10 o 23250 95.10 c 2402 95.31 o 23253 95.31 c 2399 95.36 o 23255 95.36 c 2397 95.61 o 23257 95.61 c 2395 95.67 o 23259 95.67 c 2393 95.86 o 23260 95.86 c 2392 95.91 o 23262 95.91 c 2390 96.01 o 23263 96.01 c 2389 96.06 o 23266 96.06 c 2386 96.51 o 23267 96.51 c 2385 96.56 o 23269 96.56 c 2383 96.61 o 23271 96.61 c 2381 96.66 o 23272 96.66 c 2380 96.81 o 23275 96.81 c 2377 96.86 o 23278 96.86 c 2374 96.96 o 23280 96.96 c 2372 97.01 o 23283 97.01 c 2369 97.40 o 23284 97.40 c 2368 97.81 o 23285 97.81 c 2367 98.47 o 23286 98.47 c 2366 98.52 o 23288 98.52 c 2364 98.56 o 23291 98.56 c 2361 98.61 o 23293 98.61 c 2359 98.66 o 23294 98.66 c 2358 99.16 o 23295 99.16 c 2357 99.21 o 23297 99.21 c 2355 99.32 o 23298 99.32 c 2354 99.37 o 23300 99.37 c 2352 99.42 o 23301 99.42 c 2351 99.58 o 23305 99.58 c 2347 99.64 o 23307 99.64 c 2345 99.69 o 23309 99.69 c 2343 99.74 o 23310 99.75 c 2342 99.80 o 23312 99.80 c 2340 99.90 o 23316 99.90 c 2336 99.96 o 23320 99.96 c 2332 100.06 o 23322 100.06 c 2330 100.21 o 23324 100.21 c 2328 100.33 o 23325 100.33 c 2327 100.43 o 23327 100.43 c 2325 100.62 o 23329 100.62 c 2323 100.67 o 23331 100.67 c 2321 100.72 o 23332 100.72 c 2320 101.24 o 23333 101.24 c 2319 101.29 o 23337 101.29 c 2315 101.35 o 23340 101.35 c 2312 101.50 o 23341 101.50 c 2311 103.69 o 23343 103.69 c 2309 103.75 o 23344 103.75 c 2308 103.80 o 23349 103.80 c 2303 103.84 o 23351 103.84 c 2301 103.90 o 23355 103.90 c 2297 104.57 o 23357 104.57 c 2295 104.62 o 23358 104.62 c 2294 105.17 o 23360 105.17 c 2292 105.26 o 23361 105.26 c 2291 105.31 o 23362 105.31 c 2290 105.36 o 23364 105.36 c 2288 105.48 o 23366 105.48 c 2286 105.53 o 23371 105.53 c 2281 105.64 o 23372 105.64 c 2280 105.69 o 23375 105.69 c 2277 106.60 o 23376 106.60 c 2276 106.65 o 23381 106.65 c 2271 106.70 o 23383 106.70 c 2269 108.21 o 23384 108.21 c 2268 108.58 o 23386 108.58 c 2266 108.64 o 23388 108.64 c 2264 108.70 o 23392 108.70 c 2260 109.01 o 23395 109.01 c 2257 109.04 o 23398 109.04 c 2254 109.16 o 23400 109.16 c 2252 109.23 o 23403 109.23 c 2249 109.28 o 23405 109.28 c 2247 109.34 o 23407 109.34 c 2245 109.40 o 23408 109.40 c 2244 110.16 o 23410 110.16 c 2242 110.23 o 23412 110.23 c 2240 110.29 o 23414 110.29 c 2238 110.35 o 23416 110.35 c 2236 110.41 o 23417 110.41 c 2235 110.77 o 23418 110.77 c 2234 111.19 o 23419 111.19 c 2233 111.32 o 23422 111.32 c 2230 111.39 o 23423 111.39 c 2229 111.45 o 23424 111.45 c 2228 111.52 o 23429 111.52 c 2223 111.71 o 23430 111.71 c 2222 111.78 o 23432 111.78 c 2220 112.88 o 23434 112.88 c 2218 113.15 o 23436 113.15 c 2216 113.22 o 23438 113.22 c 2214 113.29 o 23439 113.29 c 2213 113.36 o 23440 113.36 c 2212 114.86 o 23442 114.86 c 2210 114.93 o 23443 114.93 c 2209 115.00 o 23447 115.00 c 2205 115.07 o 23451 115.07 c 2201 115.14 o 23452 115.14 c 2200 115.19 o 23456 115.19 c 2196 115.32 o 23458 115.32 c 2194 115.38 o 23460 115.38 c 2192 115.45 o 23463 115.45 c 2189 115.52 o 23465 115.52 c 2187 115.73 o 23466 115.73 c 2186 115.80 o 23472 115.80 c 2180 115.87 o 23474 115.87 c 2178 116.77 o 23476 116.77 c 2176 117.38 o 23480 117.38 c 2172 117.73 o 23482 117.73 c 2170 117.81 o 23485 117.81 c 2167 117.86 o 23487 117.86 c 2165 117.94 o 23490 117.94 c 2162 118.01 o 23492 118.01 c 2160 118.16 o 23493 118.16 c 2159 118.23 o 23494 118.23 c 2158 118.46 o 23495 118.46 c 2157 118.71 o 23496 118.71 c 2156 119.05 o 23498 119.05 c 2154 119.32 o 23499 119.32 c 2153 119.39 o 23501 119.39 c 2151 119.46 o 23503 119.46 c 2149 119.53 o 23504 119.53 c 2148 119.60 o 23506 119.60 c 2146 119.87 o 23509 119.87 c 2143 120.13 o 23510 120.13 c 2142 120.24 o 23511 120.24 c 2141 120.30 o 23513 120.30 c 2139 120.56 o 23514 120.56 c 2138 120.62 o 23516 120.62 c 2136 120.68 o 23517 120.68 c 2135 120.74 o 23518 120.74 c 2134 120.86 o 23519 120.86 c 2133 120.93 o 23521 120.93 c 2131 121.11 o 23522 121.11 c 2130 121.17 o 23526 121.17 c 2126 121.37 o 23527 121.37 c 2125 122.01 o 23528 122.01 c 2124 122.07 o 23534 122.07 c 2118 122.14 o 23536 122.14 c 2116 122.27 o 23537 122.27 c 2115 122.39 o 23538 122.39 c 2114 122.46 o 23539 122.46 c 2113 122.53 o 23540 122.53 c 2112 122.66 o 23541 122.66 c 2111 122.73 o 23544 122.73 c 2108 122.80 o 23548 122.80 c 2104 122.88 o 23549 122.88 c 2103 123.08 o 23551 123.08 c 2101 123.42 o 23553 123.42 c 2099 123.48 o 23554 123.48 c 2098 124.04 o 23556 124.04 c 2096 124.18 o 23558 124.18 c 2094 124.46 o 23559 124.46 c 2093 124.60 o 23561 124.60 c 2091 124.68 o 23562 124.68 c 2090 124.83 o 23565 124.83 c 2087 124.88 o 23566 124.88 c 2086 124.95 o 23567 124.95 c 2085 125.09 o 23568 125.09 c 2084 125.16 o 23571 125.16 c 2081 125.29 o 23573 125.29 c 2079 125.36 o 23575 125.36 c 2077 125.81 o 23578 125.81 c 2074 126.30 o 23580 126.30 c 2072 126.79 o 23581 126.79 c 2071 126.86 o 23582 126.86 c 2070 126.94 o 23583 126.94 c 2069 127.45 o 23586 127.45 c 2066 127.53 o 23587 127.53 c 2065 127.61 o 23590 127.61 c 2062 127.68 o 23592 127.68 c 2060 127.84 o 23594 127.84 c 2058 127.91 o 23595 127.91 c 2057 127.99 o 23597 127.99 c 2055 128.07 o 23599 128.07 c 2053 129.74 o 23600 129.74 c 2052 129.81 o 23602 129.81 c 2050 129.96 o 23603 129.96 c 2049 130.03 o 23606 130.03 c 2046 130.09 o 23608 130.09 c 2044 130.16 o 23609 130.16 c 2043 130.72 o 23610 130.72 c 2042 130.85 o 23611 130.85 c 2041 130.92 o 23612 130.92 c 2040 130.99 o 23613 130.99 c 2039 131.06 o 23614 131.06 c 2038 131.27 o 23615 131.27 c 2037 131.34 o 23618 131.34 c 2034 131.47 o 23621 131.47 c 2031 132.46 o 23623 132.46 c 2029 132.53 o 23624 132.53 c 2028 132.74 o 23625 132.74 c 2027 132.81 o 23628 132.81 c 2024 133.03 o 23629 133.03 c 2023 133.93 o 23630 133.93 c 2022 134.20 o 23631 134.20 c 2021 134.48 o 23633 134.48 c 2019 134.55 o 23637 134.55 c 2015 134.83 o 23638 134.83 c 2014 134.91 o 23639 134.91 c 2013 134.98 o 23641 134.98 c 2011 135.05 o 23642 135.05 c 2010 135.50 o 23645 135.50 c 2007 135.62 o 23646 135.62 c 2006 135.69 o 23650 135.69 c 2002 135.77 o 23653 135.77 c 1999 135.85 o 23655 135.85 c 1997 135.93 o 23656 135.93 c 1996 136.52 o 23658 136.52 c 1994 136.67 o 23660 136.67 c 1992 136.97 o 23661 136.97 c 1991 137.05 o 23662 137.05 c 1990 137.12 o 23663 137.12 c 1989 137.65 o 23664 137.65 c 1988 137.72 o 23667 137.72 c 1985 138.10 o 23668 138.10 c 1984 138.14 o 23672 138.14 c 1980 138.78 o 23673 138.78 c 1979 138.93 o 23674 138.93 c 1978 139.00 o 23676 139.00 c 1976 139.37 o 23677 139.37 c 1975 140.14 o 23680 140.14 c 1972 141.03 o 23681 141.03 c 1971 141.62 o 23682 141.62 c 1970 141.80 o 23683 141.80 c 1969 141.89 o 23687 141.89 c 1965 142.07 o 23688 142.07 c 1964 142.16 o 23690 142.16 c 1962 142.25 o 23692 142.25 c 1960 142.43 o 23695 142.43 c 1957 142.66 o 23696 142.66 c 1956 142.80 o 23697 142.80 c 1955 142.90 o 23700 142.90 c 1952 143.64 o 23701 143.64 c 1951 143.90 o 23702 143.90 c 1950 144.05 o 23704 144.05 c 1948 144.21 o 23705 144.21 c 1947 144.30 o 23707 144.30 c 1945 144.46 o 23708 144.46 c 1944 144.54 o 23709 144.54 c 1943 150.87 o 23710 150.87 c 1942 150.97 o 23711 150.97 c 1941 151.15 o 23713 151.15 c 1939 151.72 o 23714 151.72 c 1938 151.81 o 23716 151.81 c 1936 152.00 o 23717 152.00 c 1935 152.09 o 23719 152.09 c 1933 152.19 o 23721 152.19 c 1931 152.45 o 23722 152.45 c 1930 152.55 o 23723 152.55 c 1929 152.73 o 23724 152.73 c 1928 152.91 o 23725 152.91 c 1927 153.10 o 23729 153.10 c 1923 153.19 o 23730 153.19 c 1922 153.26 o 23733 153.26 c 1919 153.35 o 23735 153.35 c 1917 153.45 o 23736 153.45 c 1916 153.53 o 23738 153.53 c 1914 153.62 o 23744 153.62 c 1908 153.71 o 23746 153.71 c 1906 153.80 o 23747 153.80 c 1905 153.89 o 23748 153.89 c 1904 154.05 o 23750 154.05 c 1902 154.14 o 23751 154.14 c 1901 154.41 o 23752 154.41 c 1900 154.50 o 23754 154.50 c 1898 154.59 o 23757 154.59 c 1895 154.68 o 23759 154.68 c 1893 154.75 o 23760 154.75 c 1892 154.84 o 23762 154.84 c 1890 154.93 o 23764 154.93 c 1888 155.00 o 23767 155.00 c 1885 155.18 o 23768 155.18 c 1884 155.37 o 23769 155.37 c 1883 155.43 o 23771 155.43 c 1881 155.52 o 23772 155.52 c 1880 155.83 o 23780 155.83 c 1872 156.05 o 23782 156.05 c 1870 156.14 o 23783 156.14 c 1869 156.23 o 23784 156.23 c 1868 156.32 o 23788 156.32 c 1864 156.50 o 23790 156.50 c 1862 156.59 o 23792 156.59 c 1860 156.68 o 23794 156.68 c 1858 156.93 o 23795 156.93 c 1857 156.98 o 23797 156.98 c 1855 157.06 o 23798 157.06 c 1854 157.10 o 23799 157.10 c 1853 157.27 o 23801 157.27 c 1851 157.41 o 23802 157.41 c 1850 157.50 o 23804 157.50 c 1848 157.59 o 23805 157.59 c 1847 158.45 o 23808 158.45 c 1844 158.70 o 23809 158.70 c 1843 158.78 o 23810 158.79 c 1842 158.95 o 23811 158.95 c 1841 159.04 o 23812 159.04 c 1840 159.38 o 23815 159.38 c 1837 159.47 o 23818 159.47 c 1834 159.55 o 23819 159.55 c 1833 159.61 o 23820 159.61 c 1832 159.75 o 23822 159.75 c 1830 159.84 o 23825 159.84 c 1827 159.86 o 23828 159.86 c 1824 160.44 o 23829 160.44 c 1823 160.53 o 23830 160.53 c 1822 160.61 o 23832 160.61 c 1820 160.78 o 23834 160.78 c 1818 160.87 o 23837 160.87 c 1815 160.96 o 23838 160.96 c 1814 161.13 o 23840 161.13 c 1812 161.38 o 23841 161.38 c 1811 161.46 o 23842 161.46 c 1810 161.53 o 23843 161.53 c 1809 161.62 o 23844 161.62 c 1808 161.70 o 23846 161.70 c 1806 161.79 o 23847 161.79 c 1805 162.87 o 23848 162.87 c 1804 162.96 o 23850 162.96 c 1802 163.18 o 23852 163.18 c 1800 163.27 o 23853 163.27 c 1799 163.35 o 23855 163.35 c 1797 163.42 o 23857 163.42 c 1795 163.50 o 23859 163.50 c 1793 163.53 o 23860 163.53 c 1792 163.78 o 23862 163.78 c 1790 164.28 o 23863 164.28 c 1789 164.51 o 23865 164.51 c 1787 164.77 o 23869 164.77 c 1783 164.87 o 23870 164.87 c 1782 164.93 o 23872 164.93 c 1780 165.02 o 23873 165.02 c 1779 165.10 o 23875 165.10 c 1777 165.19 o 23876 165.19 c 1776 165.27 o 23877 165.27 c 1775 165.36 o 23878 165.36 c 1774 165.41 o 23879 165.41 c 1773 165.50 o 23882 165.50 c 1770 165.76 o 23886 165.76 c 1766 165.84 o 23887 165.84 c 1765 165.93 o 23889 165.93 c 1763 167.89 o 23890 167.89 c 1762 167.98 o 23893 167.98 c 1759 168.08 o 23896 168.08 c 1756 168.61 o 23898 168.61 c 1754 168.67 o 23900 168.67 c 1752 168.95 o 23901 168.95 c 1751 169.22 o 23902 169.22 c 1750 169.31 o 23903 169.31 c 1749 169.40 o 23904 169.40 c 1748 169.50 o 23906 169.50 c 1746 169.59 o 23907 169.59 c 1745 170.02 o 23909 170.02 c 1743 170.07 o 23912 170.07 c 1740 170.16 o 23915 170.16 c 1737 170.24 o 23916 170.24 c 1736 170.33 o 23917 170.33 c 1735 170.43 o 23918 170.43 c 1734 170.52 o 23919 170.52 c 1733 170.61 o 23922 170.61 c 1730 171.10 o 23924 171.10 c 1728 171.29 o 23925 171.29 c 1727 171.47 o 23926 171.47 c 1726 172.75 o 23927 172.75 c 1725 173.86 o 23928 173.86 c 1724 173.91 o 23933 173.91 c 1719 175.76 o 23937 175.76 c 1715 175.85 o 23938 175.85 c 1714 175.94 o 23939 175.94 c 1713 176.03 o 23940 176.03 c 1712 176.11 o 23941 176.11 c 1711 176.20 o 23942 176.20 c 1710 176.29 o 23943 176.29 c 1709 176.51 o 23944 176.51 c 1708 176.58 o 23945 176.58 c 1707 177.09 o 23946 177.09 c 1706 177.26 o 23949 177.26 c 1703 177.35 o 23950 177.35 c 1702 178.28 o 23951 178.28 c 1701 178.37 o 23954 178.37 c 1698 178.77 o 23955 178.77 c 1697 179.12 o 23958 179.12 c 1694 179.29 o 23959 179.29 c 1693 179.38 o 23960 179.38 c 1692 179.45 o 23961 179.45 c 1691 179.78 o 23964 179.78 c 1688 179.95 o 23967 179.95 c 1685 180.30 o 23968 180.30 c 1684 180.38 o 23970 180.38 c 1682 180.88 o 23971 180.88 c 1681 180.97 o 23972 180.97 c 1680 181.15 o 23974 181.15 c 1678 182.22 o 23977 182.22 c 1675 182.38 o 23980 182.38 c 1672 182.46 o 23981 182.46 c 1671 182.87 o 23983 182.87 c 1669 182.95 o 23985 182.95 c 1667 183.01 o 23986 183.01 c 1666 183.08 o 23988 183.08 c 1664 183.17 o 23989 183.17 c 1663 183.24 o 23993 183.24 c 1659 183.39 o 23994 183.39 c 1658 183.41 o 23996 183.41 c 1656 184.27 o 23998 184.27 c 1654 185.14 o 23999 185.14 c 1653 185.54 o 24000 185.54 c 1652 185.79 o 24001 185.79 c 1651 185.96 o 24002 185.96 c 1650 186.03 o 24003 186.03 c 1649 186.35 o 24005 186.35 c 1647 186.57 o 24006 186.57 c 1646 188.19 o 24007 188.19 c 1645 188.33 o 24009 188.33 c 1643 188.57 o 24010 188.57 c 1642 188.65 o 24011 188.65 c 1641 188.81 o 24012 188.81 c 1640 188.88 o 24013 188.88 c 1639 188.96 o 24014 188.96 c 1638 189.04 o 24015 189.04 c 1637 189.13 o 24017 189.13 c 1635 189.16 o 24019 189.16 c 1633 193.10 o 24020 193.10 c 1632 193.18 o 24022 193.18 c 1630 193.35 o 24023 193.35 c 1629 193.69 o 24024 193.69 c 1628 193.86 o 24026 193.86 c 1626 194.35 o 24027 194.35 c 1625 196.18 o 24028 196.18 c 1624 196.62 o 24029 196.62 c 1623 197.21 o 24033 197.21 c 1619 197.39 o 24034 197.39 c 1618 198.25 o 24037 198.25 c 1615 198.35 o 24039 198.35 c 1613 198.97 o 24040 198.97 c 1612 199.41 o 24041 199.41 c 1611 200.86 o 24042 200.86 c 1610 200.95 o 24043 200.95 c 1609 201.23 o 24044 201.23 c 1608 201.32 o 24046 201.32 c 1606 201.42 o 24047 201.42 c 1605 201.51 o 24051 201.51 c 1601 201.75 o 24052 201.75 c 1600 202.02 o 24054 202.02 c 1598 202.73 o 24056 202.73 c 1596 203.55 o 24058 203.55 c 1594 203.74 o 24059 203.74 c 1593 204.58 o 24061 204.58 c 1591 204.67 o 24065 204.67 c 1587 204.72 o 24069 204.72 c 1583 206.06 o 24070 206.06 c 1582 206.26 o 24072 206.26 c 1580 206.35 o 24073 206.35 c 1579 206.45 o 24075 206.45 c 1577 208.01 o 24076 208.01 c 1576 208.10 o 24077 208.10 c 1575 208.20 o 24078 208.20 c 1574 208.29 o 24079 208.29 c 1573 208.95 o 24083 208.95 c 1569 209.03 o 24085 209.03 c 1567 209.13 o 24088 209.13 c 1564 210.05 o 24093 210.05 c 1559 210.23 o 24098 210.23 c 1554 210.33 o 24100 210.33 c 1552 210.97 o 24103 210.97 c 1549 211.02 o 24104 211.02 c 1548 211.30 o 24105 211.30 c 1547 211.49 o 24107 211.49 c 1545 211.58 o 24108 211.58 c 1544 212.04 o 24110 212.04 c 1542 212.13 o 24111 212.13 c 1541 212.77 o 24112 212.77 c 1540 213.42 o 24113 213.42 c 1539 213.51 o 24116 213.51 c 1536 213.60 o 24117 213.60 c 1535 213.69 o 24118 213.69 c 1534 213.78 o 24119 213.78 c 1533 214.16 o 24120 214.16 c 1532 214.34 o 24122 214.34 c 1530 214.45 o 24123 214.45 c 1529 214.54 o 24125 214.54 c 1527 214.68 o 24126 214.68 c 1526 214.78 o 24129 214.78 c 1523 214.96 o 24130 214.96 c 1522 215.40 o 24131 215.40 c 1521 215.95 o 24132 215.95 c 1520 216.28 o 24134 216.28 c 1518 216.38 o 24135 216.38 c 1517 216.57 o 24136 216.57 c 1516 216.67 o 24137 216.67 c 1515 216.77 o 24138 216.77 c 1514 216.87 o 24139 216.87 c 1513 217.16 o 24141 217.16 c 1511 217.26 o 24143 217.26 c 1509 217.36 o 24144 217.36 c 1508 217.46 o 24145 217.46 c 1507 217.56 o 24146 217.56 c 1506 217.77 o 24147 217.77 c 1505 217.97 o 24148 217.97 c 1504 218.57 o 24150 218.57 c 1502 218.78 o 24151 218.78 c 1501 219.07 o 24152 219.07 c 1500 219.65 o 24153 219.65 c 1499 219.75 o 24154 219.75 c 1498 220.24 o 24156 220.24 c 1496 220.34 o 24159 220.34 c 1493 220.40 o 24160 220.40 c 1492 220.90 o 24162 220.90 c 1490 221.11 o 24165 221.11 c 1487 221.20 o 24166 221.20 c 1486 221.28 o 24167 221.28 c 1485 221.39 o 24168 221.39 c 1484 221.66 o 24170 221.66 c 1482 221.77 o 24171 221.77 c 1481 221.98 o 24174 221.98 c 1478 222.56 o 24176 222.56 c 1476 222.77 o 24177 222.77 c 1475 222.87 o 24181 222.87 c 1471 223.42 o 24182 223.42 c 1470 225.11 o 24187 225.11 c 1465 225.19 o 24188 225.19 c 1464 225.30 o 24189 225.30 c 1463 225.41 o 24190 225.41 c 1462 226.38 o 24191 226.38 c 1461 226.59 o 24192 226.59 c 1460 227.06 o 24194 227.06 c 1458 227.17 o 24197 227.17 c 1455 227.60 o 24199 227.60 c 1453 227.81 o 24201 227.81 c 1451 227.84 o 24203 227.84 c 1449 228.11 o 24205 228.11 c 1447 228.54 o 24206 228.54 c 1446 228.87 o 24207 228.87 c 1445 229.09 o 24208 229.09 c 1444 229.20 o 24209 229.20 c 1443 229.42 o 24210 229.42 c 1442 229.53 o 24212 229.53 c 1440 230.31 o 24213 230.31 c 1439 230.69 o 24214 230.69 c 1438 230.76 o 24216 230.76 c 1436 230.86 o 24218 230.86 c 1434 230.97 o 24219 230.97 c 1433 232.77 o 24220 232.77 c 1432 233.05 o 24221 233.05 c 1431 233.27 o 24224 233.27 c 1428 233.98 o 24225 233.98 c 1427 234.08 o 24227 234.08 c 1425 234.50 o 24228 234.50 c 1424 234.92 o 24229 234.92 c 1423 236.25 o 24230 236.25 c 1422 236.92 o 24233 236.92 c 1419 237.03 o 24235 237.03 c 1417 237.14 o 24236 237.14 c 1416 237.38 o 24238 237.38 c 1414 238.56 o 24240 238.56 c 1412 238.67 o 24242 238.67 c 1410 238.79 o 24243 238.79 c 1409 238.90 o 24244 238.90 c 1408 239.00 o 24246 239.00 c 1406 239.41 o 24247 239.41 c 1405 239.97 o 24248 239.97 c 1404 241.55 o 24250 241.55 c 1402 241.66 o 24251 241.66 c 1401 242.48 o 24253 242.48 c 1399 242.60 o 24255 242.60 c 1397 242.63 o 24256 242.63 c 1396 242.74 o 24258 242.74 c 1394 243.22 o 24259 243.22 c 1393 243.55 o 24261 243.55 c 1391 243.77 o 24262 243.77 c 1390 243.85 o 24263 243.85 c 1389 243.96 o 24269 243.96 c 1383 244.05 o 24270 244.05 c 1382 244.16 o 24272 244.16 c 1380 244.81 o 24273 244.81 c 1379 245.97 o 24275 245.97 c 1377 246.30 o 24278 246.30 c 1374 246.64 o 24279 246.64 c 1373 246.75 o 24283 246.75 c 1369 246.86 o 24284 246.86 c 1368 246.97 o 24287 246.97 c 1365 247.31 o 24288 247.31 c 1364 247.42 o 24291 247.42 c 1361 248.20 o 24292 248.20 c 1360 248.31 o 24293 248.31 c 1359 248.65 o 24294 248.65 c 1358 248.76 o 24296 248.76 c 1356 248.85 o 24297 248.85 c 1355 249.40 o 24298 249.40 c 1354 249.72 o 24300 249.72 c 1352 249.84 o 24302 249.84 c 1350 251.31 o 24303 251.31 c 1349 251.41 o 24304 251.41 c 1348 251.64 o 24305 251.64 c 1347 252.19 o 24307 252.19 c 1345 252.30 o 24309 252.30 c 1343 252.36 o 24310 252.36 c 1342 252.44 o 24311 252.44 c 1341 252.92 o 24312 252.92 c 1340 253.63 o 24314 253.63 c 1338 254.43 o 24315 254.43 c 1337 254.54 o 24316 254.54 c 1336 254.61 o 24317 254.61 c 1335 254.70 o 24319 254.70 c 1333 254.75 o 24322 254.75 c 1330 255.04 o 24323 255.04 c 1329 255.15 o 24324 255.15 c 1328 255.64 o 24326 255.64 c 1326 255.96 o 24327 255.96 c 1325 256.18 o 24328 256.18 c 1324 256.29 o 24332 256.29 c 1320 256.51 o 24333 256.51 c 1319 256.59 o 24334 256.59 c 1318 256.71 o 24335 256.71 c 1317 257.89 o 24337 257.89 c 1315 258.86 o 24338 258.86 c 1314 258.97 o 24341 258.97 c 1311 259.20 o 24343 259.20 c 1309 259.31 o 24344 259.31 c 1308 262.32 o 24345 262.32 c 1307 262.43 o 24347 262.43 c 1305 262.76 o 24348 262.76 c 1304 263.00 o 24351 263.00 c 1301 263.11 o 24352 263.11 c 1300 263.22 o 24353 263.22 c 1299 263.67 o 24354 263.67 c 1298 265.11 o 24356 265.11 c 1296 267.58 o 24358 267.58 c 1294 268.57 o 24359 268.57 c 1293 268.69 o 24360 268.69 c 1292 268.81 o 24361 268.81 c 1291 268.93 o 24362 268.93 c 1290 269.05 o 24363 269.05 c 1289 269.98 o 24365 269.98 c 1287 271.21 o 24366 271.21 c 1286 272.61 o 24369 272.61 c 1283 274.29 o 24371 274.29 c 1281 274.41 o 24374 274.41 c 1278 275.48 o 24375 275.48 c 1277 275.54 o 24379 275.54 c 1273 276.01 o 24381 276.01 c 1271 276.12 o 24383 276.12 c 1269 276.53 o 24384 276.53 c 1268 276.56 o 24386 276.56 c 1266 276.68 o 24388 276.68 c 1264 279.51 o 24391 279.51 c 1261 280.12 o 24394 280.12 c 1258 280.24 o 24396 280.24 c 1256 280.36 o 24397 280.36 c 1255 280.49 o 24399 280.49 c 1253 280.61 o 24400 280.61 c 1252 282.85 o 24401 282.85 c 1251 282.96 o 24404 282.96 c 1248 283.09 o 24405 283.09 c 1247 290.75 o 24407 290.75 c 1245 290.88 o 24408 290.88 c 1244 291.01 o 24410 291.01 c 1242 291.40 o 24414 291.40 c 1238 293.26 o 24415 293.26 c 1237 293.38 o 24416 293.38 c 1236 293.76 o 24417 293.76 c 1235 294.26 o 24418 294.26 c 1234 298.19 o 24421 298.19 c 1231 298.70 o 24423 298.70 c 1229 299.30 o 24425 299.30 c 1227 300.48 o 24427 300.48 c 1225 300.62 o 24429 300.62 c 1223 301.00 o 24430 301.00 c 1222 303.53 o 24431 303.53 c 1221 303.93 o 24432 303.93 c 1220 304.32 o 24433 304.32 c 1219 304.45 o 24434 304.45 c 1218 305.18 o 24435 305.18 c 1217 305.31 o 24436 305.31 c 1216 310.74 o 24437 310.74 c 1215 310.99 o 24439 310.99 c 1213 311.45 o 24440 311.45 c 1212 311.58 o 24443 311.58 c 1209 312.65 o 24444 312.65 c 1208 312.78 o 24445 312.78 c 1207 312.90 o 24446 312.90 c 1206 313.03 o 24447 313.03 c 1205 313.15 o 24450 313.15 c 1202 313.91 o 24451 313.91 c 1201 314.04 o 24452 314.04 c 1200 314.16 o 24453 314.16 c 1199 314.29 o 24458 314.29 c 1194 314.68 o 24459 314.68 c 1193 315.06 o 24460 315.06 c 1192 315.32 o 24462 315.32 c 1190 315.66 o 24464 315.66 c 1188 315.75 o 24465 315.75 c 1187 315.88 o 24467 315.88 c 1185 316.40 o 24469 316.40 c 1183 316.66 o 24470 316.66 c 1182 316.79 o 24471 316.79 c 1181 317.05 o 24474 317.05 c 1178 317.18 o 24477 317.18 c 1175 317.45 o 24479 317.45 c 1173 317.60 o 24480 317.60 c 1172 317.78 o 24482 317.78 c 1170 318.30 o 24484 318.30 c 1168 318.44 o 24485 318.44 c 1167 318.57 o 24486 318.57 c 1166 320.84 o 24487 320.84 c 1165 324.00 o 24489 324.00 c 1163 324.38 o 24491 324.38 c 1161 324.62 o 24492 324.62 c 1160 324.88 o 24494 324.88 c 1158 325.12 o 24496 325.12 c 1156 325.36 o 24498 325.36 c 1154 332.72 o 24499 332.72 c 1153 333.24 o 24500 333.24 c 1152 333.64 o 24503 333.64 c 1149 333.91 o 24505 333.91 c 1147 334.45 o 24507 334.45 c 1145 337.42 o 24509 337.42 c 1143 338.95 o 24510 338.95 c 1142 339.51 o 24511 339.51 c 1141 339.80 o 24512 339.80 c 1140 340.20 o 24514 340.20 c 1138 340.31 o 24515 340.31 c 1137 340.75 o 24516 340.75 c 1136 340.89 o 24518 340.89 c 1134 341.04 o 24520 341.04 c 1132 341.19 o 24521 341.19 c 1131 341.76 o 24522 341.76 c 1130 342.89 o 24524 342.89 c 1128 343.75 o 24525 343.75 c 1127 344.58 o 24526 344.58 c 1126 344.73 o 24528 344.73 c 1124 345.13 o 24529 345.13 c 1123 345.34 o 24530 345.34 c 1122 345.44 o 24531 345.44 c 1121 346.33 o 24532 346.33 c 1120 355.97 o 24533 355.97 c 1119 356.12 o 24535 356.12 c 1117 356.56 o 24539 356.56 c 1113 360.52 o 24542 360.52 c 1110 373.87 o 24543 373.87 c 1109 374.03 o 24544 374.03 c 1108 374.71 o 24545 374.71 c 1107 375.65 o 24546 375.65 c 1106 379.83 o 24547 379.83 c 1105 380.12 o 24550 380.12 c 1102 382.30 o 24551 382.30 c 1101 382.44 o 24552 382.44 c 1100 382.57 o 24553 382.57 c 1099 382.70 o 24555 382.70 c 1097 382.99 o 24558 382.99 c 1094 383.11 o 24559 383.11 c 1093 413.25 413.25 search 413.25 run=0 nbConstraintChecks=1967719432 nbAssignments=4878 413.25 => wckTime=358.594 cpuTime=356.66 mem=64M493 413.25 413.25 global 413.25 nbConstraintChecks=1967719432 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 413.25 solvingWckTime=358.581 solvingCpuTime=356.65 expiredTime=no totalExploration=no nbFoundSolutions=0 413.25 globalCpuTime=409.6 413.25 => wckTime=412.929 cpuTime=409.55 mem=64M493 413.25 413.25 solver IterativeSystematicSolver being built... 413.54 => wckTime=413.218 cpuTime=409.75 mem=103M435 1427.04 1427.04 preprocessing 1427.04 nbConstraintChecks=3584430638 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 1427.04 detectedInconsistency=no 1427.04 => wckTime=1013.49 cpuTime=1009.72 mem=103M435 2406.33 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/node43/watcher-275300-1169219866 -o ROOT/results/node43/solver-275300-1169219866 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275300-1169219866/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.92 1.99 1.95 5/81 10475 /proc/meminfo: memFree=1118208/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=89776 CPUtime=0 /proc/10474/stat : 10474 (java) D 10472 10474 9714 0 -1 0 1273 0 1 0 0 0 0 0 17 0 1 0 270385755 91930624 1022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0 /proc/10474/statm: 22444 1022 811 14 0 10027 0 [pid=10474/tid=10476] ppid=10472 vsize=906644 CPUtime=0 /proc/10474/task/10476/stat : 10476 (java) R 10472 10474 9714 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 270385759 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0 [startup+0.102699 s] /proc/loadavg: 1.92 1.99 1.95 5/81 10475 /proc/meminfo: memFree=1118208/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=914988 CPUtime=0.08 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 2979 0 1 0 7 1 0 0 17 0 8 0 270385755 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153794964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228747 2725 1423 14 0 215242 0 [pid=10474/tid=10476] ppid=10472 vsize=914988 CPUtime=0 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270385759 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.514767 s] /proc/loadavg: 1.92 1.99 1.95 5/81 10475 /proc/meminfo: memFree=1118208/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915332 CPUtime=0.48 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 6845 0 1 0 44 4 0 0 18 0 8 0 270385755 937299968 6584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228833 6584 2143 14 0 215303 0 [pid=10474/tid=10476] ppid=10472 vsize=915332 CPUtime=0 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270385759 937299968 6584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.34291 s] /proc/loadavg: 1.92 1.99 1.95 3/88 10482 /proc/meminfo: memFree=1049992/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915612 CPUtime=1.3 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 21304 0 1 0 119 11 0 0 23 0 8 0 270385755 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228903 21041 2164 14 0 215373 0 [pid=10474/tid=10476] ppid=10472 vsize=915612 CPUtime=0.07 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 4746 0 0 0 6 1 0 0 16 0 8 0 270385759 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915612 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915612 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915612 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915612 CPUtime=0.16 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 403 0 0 0 16 0 0 0 16 0 8 0 270385763 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915612 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915612 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937586688 21041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 915612 [startup+2.98017 s] /proc/loadavg: 1.92 1.99 1.95 3/88 10482 /proc/meminfo: memFree=1038408/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915744 CPUtime=2.93 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 22274 0 1 0 281 12 0 0 25 0 8 0 270385755 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228936 22008 2185 14 0 215406 0 [pid=10474/tid=10476] ppid=10472 vsize=915744 CPUtime=0.13 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 5624 0 0 0 12 1 0 0 17 0 8 0 270385759 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915744 CPUtime=0.2 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 430 0 0 0 20 0 0 0 16 0 8 0 270385763 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937721856 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 915744 [startup+6.27772 s] /proc/loadavg: 1.93 1.99 1.95 3/88 10482 /proc/meminfo: memFree=1038344/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915744 CPUtime=6.19 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 22285 0 1 0 604 15 0 0 25 0 8 0 270385755 937721856 22017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228936 22017 2186 14 0 215406 0 [pid=10474/tid=10476] ppid=10472 vsize=915744 CPUtime=0.13 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 5624 0 0 0 12 1 0 0 16 0 8 0 270385759 937721856 22017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 22017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 22017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937721856 22017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915744 CPUtime=0.22 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 438 0 0 0 22 0 0 0 15 0 8 0 270385763 937721856 22017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937721856 22017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) R 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937721856 22017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 915744 [startup+12.7558 s] /proc/loadavg: 1.93 1.99 1.95 3/88 10482 /proc/meminfo: memFree=1038408/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915744 CPUtime=12.61 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 23519 0 1 0 1235 26 0 0 25 0 8 0 270385755 937721856 23248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228936 23248 2186 14 0 215406 0 [pid=10474/tid=10476] ppid=10472 vsize=915744 CPUtime=0.21 /proc/10474/task/10476/stat : 10476 (java) R 10472 10474 9714 0 -1 64 6847 0 0 0 19 2 0 0 17 0 8 0 270385759 937721856 23248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 23248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 23248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937721856 23248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915744 CPUtime=0.24 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 446 0 0 0 23 1 0 0 16 0 8 0 270385763 937721856 23248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937721856 23248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937721856 23248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 915744 [startup+25.6007 s] /proc/loadavg: 1.95 1.99 1.95 3/88 10482 /proc/meminfo: memFree=1021640/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915744 CPUtime=25.39 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 26514 0 1 0 2486 53 0 0 25 0 8 0 270385755 937721856 26242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228936 26242 2186 14 0 215406 0 [pid=10474/tid=10476] ppid=10472 vsize=915744 CPUtime=0.34 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 9840 0 0 0 30 4 0 0 16 0 8 0 270385759 937721856 26242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 26242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 26242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937721856 26242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915744 CPUtime=0.24 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 447 0 0 0 23 1 0 0 15 0 8 0 270385763 937721856 26242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937721856 26242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937721856 26242 18446744073709551615 134512640 134570532 4294956464 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.21 s] /proc/loadavg: 1.96 1.99 1.95 3/88 10482 /proc/meminfo: memFree=1005704/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915744 CPUtime=50.87 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 30516 0 1 0 4970 117 0 0 25 0 8 0 270385755 937721856 30242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228936 30242 2186 14 0 215406 0 [pid=10474/tid=10476] ppid=10472 vsize=915744 CPUtime=0.53 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 13839 0 0 0 48 5 0 0 16 0 8 0 270385759 937721856 30242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 30242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 30242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937721856 30242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915744 CPUtime=0.25 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 448 0 0 0 24 1 0 0 16 0 8 0 270385763 937721856 30242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937721856 30242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937721856 30242 18446744073709551615 134512640 134570532 4294956464 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.424 s] /proc/loadavg: 1.98 1.99 1.95 3/88 10482 /proc/meminfo: memFree=991624/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915744 CPUtime=101.74 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 34398 0 1 0 10024 150 0 0 25 0 8 0 270385755 937721856 34081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074012058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10474/statm: 228936 34081 2504 14 0 215406 0 [pid=10474/tid=10476] ppid=10472 vsize=915744 CPUtime=0.9 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 17340 0 0 0 84 6 0 0 16 0 8 0 270385759 937721856 34081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 34081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937721856 34081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937721856 34081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915744 CPUtime=0.3 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 478 0 0 0 29 1 0 0 15 0 8 0 270385763 937721856 34081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937721856 34081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915744 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937721856 34081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.74 Current children cumulated vsize (KiB) 915744 ################ # More data... # ################ Current children cumulated CPU time (s) 2017.48 Current children cumulated vsize (KiB) 915756 [startup+2083.67 s] /proc/loadavg: 1.00 1.04 1.34 2/72 10501 /proc/meminfo: memFree=1008096/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915756 CPUtime=2077.47 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 34645 0 1 0 207565 182 0 0 25 0 8 0 270385755 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074292900 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10474/statm: 228939 34277 2551 14 0 215409 0 [pid=10474/tid=10476] ppid=10472 vsize=915756 CPUtime=0.9 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 17340 0 0 0 84 6 0 0 16 0 8 0 270385759 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915756 CPUtime=0.45 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 617 0 0 0 43 2 0 0 16 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) R 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2077.47 Current children cumulated vsize (KiB) 915756 [startup+2143.67 s] /proc/loadavg: 1.00 1.03 1.32 2/72 10501 /proc/meminfo: memFree=1008032/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915756 CPUtime=2137.46 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 34645 0 1 0 213563 183 0 0 25 0 8 0 270385755 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074292980 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10474/statm: 228939 34277 2551 14 0 215409 0 [pid=10474/tid=10476] ppid=10472 vsize=915756 CPUtime=0.9 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 17340 0 0 0 84 6 0 0 16 0 8 0 270385759 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915756 CPUtime=0.45 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 617 0 0 0 43 2 0 0 16 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2137.46 Current children cumulated vsize (KiB) 915756 [startup+2203.68 s] /proc/loadavg: 1.04 1.03 1.30 2/72 10501 /proc/meminfo: memFree=1008096/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915756 CPUtime=2197.44 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 34645 0 1 0 219561 183 0 0 25 0 8 0 270385755 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10474/statm: 228939 34277 2551 14 0 215409 0 [pid=10474/tid=10476] ppid=10472 vsize=915756 CPUtime=0.9 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 17340 0 0 0 84 6 0 0 16 0 8 0 270385759 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915756 CPUtime=0.45 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 617 0 0 0 43 2 0 0 16 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2197.44 Current children cumulated vsize (KiB) 915756 [startup+2263.69 s] /proc/loadavg: 1.01 1.03 1.28 2/72 10501 /proc/meminfo: memFree=1008032/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915756 CPUtime=2257.44 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 34645 0 1 0 225561 183 0 0 25 0 8 0 270385755 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074326143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10474/statm: 228939 34277 2551 14 0 215409 0 [pid=10474/tid=10476] ppid=10472 vsize=915756 CPUtime=0.9 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 17340 0 0 0 84 6 0 0 16 0 8 0 270385759 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915756 CPUtime=0.45 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 617 0 0 0 43 2 0 0 16 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2257.44 Current children cumulated vsize (KiB) 915756 [startup+2323.7 s] /proc/loadavg: 1.06 1.03 1.26 2/72 10501 /proc/meminfo: memFree=1008096/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915756 CPUtime=2317.43 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 34645 0 1 0 231560 183 0 0 25 0 8 0 270385755 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074292864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10474/statm: 228939 34277 2551 14 0 215409 0 [pid=10474/tid=10476] ppid=10472 vsize=915756 CPUtime=0.9 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 17340 0 0 0 84 6 0 0 16 0 8 0 270385759 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915756 CPUtime=0.45 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 617 0 0 0 43 2 0 0 16 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2317.43 Current children cumulated vsize (KiB) 915756 [startup+2383.72 s] /proc/loadavg: 1.02 1.02 1.24 2/72 10501 /proc/meminfo: memFree=1008032/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915756 CPUtime=2377.42 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 34645 0 1 0 237559 183 0 0 25 0 8 0 270385755 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10474/statm: 228939 34277 2551 14 0 215409 0 [pid=10474/tid=10476] ppid=10472 vsize=915756 CPUtime=0.9 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 17340 0 0 0 84 6 0 0 16 0 8 0 270385759 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915756 CPUtime=0.45 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 617 0 0 0 43 2 0 0 16 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2377.42 Current children cumulated vsize (KiB) 915756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2406.32 s] /proc/loadavg: 1.01 1.02 1.24 2/72 10501 /proc/meminfo: memFree=1008032/2055920 swapFree=4190672/4192956 [pid=10474] ppid=10472 vsize=915756 CPUtime=2400.02 /proc/10474/stat : 10474 (java) R 10472 10474 9714 0 -1 0 34645 0 1 0 239819 183 0 0 25 0 8 0 270385755 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074292855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10474/statm: 228939 34277 2551 14 0 215409 0 [pid=10474/tid=10476] ppid=10472 vsize=915756 CPUtime=0.9 /proc/10474/task/10476/stat : 10476 (java) S 10472 10474 9714 0 -1 64 17340 0 0 0 84 6 0 0 16 0 8 0 270385759 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10477] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10477/stat : 10477 (java) S 10472 10474 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10478] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10478/stat : 10478 (java) S 10472 10474 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270385760 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10479] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10479/stat : 10479 (java) S 10472 10474 9714 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10480] ppid=10472 vsize=915756 CPUtime=0.45 /proc/10474/task/10480/stat : 10480 (java) S 10472 10474 9714 0 -1 64 617 0 0 0 43 2 0 0 16 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10481] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10481/stat : 10481 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10474/tid=10482] ppid=10472 vsize=915756 CPUtime=0 /proc/10474/task/10482/stat : 10482 (java) S 10472 10474 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270385763 937734144 34277 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 915756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2406.41 CPU time (s): 2400.11 CPU user time (s): 2398.25 CPU system time (s): 1.85672 CPU usage (%): 99.7383 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.25 system time used= 1.85672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34670 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= 50573 involuntary context switches= 65560 runsolver used 2.6146 s user time and 6.35203 s system time The end
Begin job on node43 on Fri Jan 19 15:17:46 UTC 2007 IDJOB= 275300 IDBENCH= 3780 IDSOLVER= 68 FILE ID= node43/275300-1169219866 PBS_JOBID= 3589178 Free space on /tmp= 66559 MiB SOLVER NAME= AbsconMax 109 EPFC 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 epfc.xml 1 XSax /tmp/evaluation/275300-1169219866/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-275300-1169219866 -o ROOT/results/node43/solver-275300-1169219866 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275300-1169219866/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 2ac0102e63bae2a630109ac404c489a9 RANDOM SEED= 195764228 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.278 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.278 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: 1118688 kB Buffers: 59440 kB Cached: 771520 kB SwapCached: 612 kB Active: 293536 kB Inactive: 568656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1118688 kB SwapTotal: 4192956 kB SwapFree: 4190672 kB Dirty: 5188 kB Writeback: 0 kB Mapped: 47104 kB Slab: 60432 kB Committed_AS: 5236332 kB PageTables: 1844 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= 66560 MiB End job on node43 on Fri Jan 19 15:57:53 UTC 2007