Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.14 | 2418.99 |
| Name | fapp/fapp11-15/fapp13/ fapp13-2000-1.xml |
| MD5SUM | f05f4f4f08175b4a33e0715dbde0d67a |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 24560 |
| Best CPU time to get the best result obtained on this benchmark | 2400.13 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 2000 |
| Number of constraints | 25652 |
| Maximum constraint arity | 2 |
| Maximum domain size | 190 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 25652 |
| Global constraints used (with number of constraints) |
0.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=epfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275294-1169219700/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.65 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190 0.65 => wckTime=0.332 cpuTime=0.22 mem=20M547 0.65 0.65 predicates being loaded... 0.65 0.65 constraints being loaded... 55.85 nbConstraints=25652 nbConvertedConstraints=25652 nbConvertConstraintsChecks=157919020 55.85 nbExtensionStructures=10115 nbSharedExtensionStructures=15537 nbConflictsStructures=10115 55.85 nbSharedConflictsStructures=15537 nbSharedBinaryRepresentations=2558039 maxDegree=33 maxArity=2 55.85 => wckTime=55.533 cpuTime=54.16 mem=66M468 56.15 56.15 solver LocalSearchSolver being built... 56.19 => wckTime=55.877 cpuTime=54.22 mem=64M76 56.27 56.27 s SATISFIABLE 56.27 o 20175 56.27 c 5477 56.29 o 20182 56.29 c 5470 56.30 o 20191 56.30 c 5461 56.31 o 20197 56.31 c 5455 56.32 o 20206 56.32 c 5446 56.33 o 20214 56.33 c 5438 56.34 o 20221 56.34 c 5431 56.35 o 20227 56.35 c 5425 56.36 o 20233 56.36 c 5419 56.37 o 20239 56.37 c 5413 56.38 o 20245 56.38 c 5407 56.39 o 20250 56.39 c 5402 56.40 o 20253 56.40 c 5399 56.41 o 20256 56.41 c 5396 56.42 o 20259 56.42 c 5393 56.43 o 20262 56.43 c 5390 56.44 o 20264 56.44 c 5388 56.45 o 20266 56.45 c 5386 56.46 o 20267 56.46 c 5385 56.47 o 20268 56.47 c 5384 56.48 o 20269 56.48 c 5383 56.49 o 20277 56.49 c 5375 56.50 o 20284 56.50 c 5368 56.51 o 20290 56.51 c 5362 56.52 o 20296 56.52 c 5356 56.53 o 20300 56.53 c 5352 56.54 o 20304 56.54 c 5348 56.55 o 20308 56.55 c 5344 56.56 o 20312 56.56 c 5340 56.57 o 20316 56.57 c 5336 56.58 o 20322 56.58 c 5330 56.59 o 20325 56.59 c 5327 56.60 o 20328 56.60 c 5324 56.61 o 20330 56.61 c 5322 56.62 o 20332 56.62 c 5320 56.63 o 20334 56.63 c 5318 56.64 o 20336 56.64 c 5316 56.65 o 20338 56.65 c 5314 56.65 o 20339 56.65 c 5313 56.66 o 20340 56.66 c 5312 56.68 o 20342 56.68 c 5310 56.68 o 20349 56.68 c 5303 56.69 o 20354 56.69 c 5298 56.69 o 20359 56.69 c 5293 56.70 o 20361 56.70 c 5291 56.71 o 20370 56.71 c 5282 56.72 o 20379 56.72 c 5273 56.74 o 20388 56.74 c 5264 56.75 o 20396 56.75 c 5256 56.76 o 20404 56.76 c 5248 56.77 o 20411 56.77 c 5241 56.79 o 20418 56.79 c 5234 56.80 o 20424 56.80 c 5228 56.81 o 20430 56.81 c 5222 56.83 o 20435 56.83 c 5217 56.84 o 20440 56.84 c 5212 56.85 o 20444 56.85 c 5208 56.86 o 20448 56.86 c 5204 56.87 o 20452 56.87 c 5200 56.88 o 20456 56.88 c 5196 56.90 o 20460 56.90 c 5192 56.91 o 20463 56.91 c 5189 56.92 o 20466 56.92 c 5186 56.93 o 20469 56.93 c 5183 56.94 o 20472 56.94 c 5180 56.95 o 20475 56.95 c 5177 56.96 o 20478 56.96 c 5174 56.96 o 20481 56.96 c 5171 56.97 o 20484 56.97 c 5168 56.98 o 20486 56.98 c 5166 56.99 o 20491 56.99 c 5161 57.00 o 20493 57.00 c 5159 57.00 o 20494 57.00 c 5158 57.01 o 20495 57.01 c 5157 57.02 o 20502 57.02 c 5150 57.03 o 20510 57.03 c 5142 57.04 o 20518 57.04 c 5134 57.05 o 20520 57.05 c 5132 57.06 o 20530 57.06 c 5122 57.07 o 20535 57.07 c 5117 57.08 o 20540 57.08 c 5112 57.09 o 20545 57.09 c 5107 57.11 o 20548 57.11 c 5104 57.12 o 20551 57.12 c 5101 57.13 o 20557 57.13 c 5095 57.14 o 20558 57.14 c 5094 57.15 o 20564 57.15 c 5088 57.16 o 20573 57.16 c 5079 57.17 o 20581 57.17 c 5071 57.19 o 20589 57.19 c 5063 57.20 o 20597 57.20 c 5055 57.21 o 20601 57.21 c 5051 57.23 o 20608 57.23 c 5044 57.24 o 20615 57.24 c 5037 57.25 o 20621 57.25 c 5031 57.27 o 20627 57.27 c 5025 57.29 o 20633 57.29 c 5019 57.30 o 20639 57.30 c 5013 57.31 o 20645 57.31 c 5007 57.32 o 20650 57.33 c 5002 57.34 o 20655 57.34 c 4997 57.35 o 20660 57.35 c 4992 57.36 o 20665 57.36 c 4987 57.37 o 20670 57.37 c 4982 57.39 o 20675 57.39 c 4977 57.40 o 20680 57.40 c 4972 57.41 o 20684 57.41 c 4968 57.42 o 20688 57.42 c 4964 57.43 o 20692 57.43 c 4960 57.44 o 20696 57.44 c 4956 57.45 o 20700 57.45 c 4952 57.46 o 20704 57.46 c 4948 57.47 o 20708 57.47 c 4944 57.48 o 20715 57.48 c 4937 57.49 o 20718 57.49 c 4934 57.50 o 20721 57.50 c 4931 57.51 o 20724 57.51 c 4928 57.52 o 20727 57.52 c 4925 57.53 o 20730 57.53 c 4922 57.54 o 20732 57.54 c 4920 57.55 o 20735 57.55 c 4917 57.55 o 20737 57.55 c 4915 57.56 o 20743 57.56 c 4909 57.57 o 20745 57.57 c 4907 57.58 o 20746 57.58 c 4906 57.58 o 20747 57.58 c 4905 57.60 o 20749 57.60 c 4903 57.61 o 20756 57.61 c 4896 57.62 o 20761 57.62 c 4891 57.63 o 20767 57.63 c 4885 57.64 o 20770 57.64 c 4882 57.66 o 20772 57.66 c 4880 57.67 o 20773 57.67 c 4879 57.67 o 20775 57.67 c 4877 57.69 o 20777 57.69 c 4875 57.69 o 20778 57.69 c 4874 57.71 o 20780 57.71 c 4872 57.72 o 20786 57.72 c 4866 57.73 o 20790 57.73 c 4862 57.74 o 20793 57.74 c 4859 57.74 o 20796 57.74 c 4856 57.75 o 20802 57.75 c 4850 57.76 o 20803 57.76 c 4849 57.77 o 20809 57.77 c 4843 57.77 o 20811 57.78 c 4841 57.79 o 20817 57.79 c 4835 57.80 o 20821 57.80 c 4831 57.81 o 20824 57.81 c 4828 57.81 o 20828 57.82 c 4824 57.82 o 20830 57.82 c 4822 57.83 o 20836 57.83 c 4816 57.84 o 20839 57.84 c 4813 57.85 o 20840 57.85 c 4812 57.87 o 20847 57.87 c 4805 57.88 o 20853 57.88 c 4799 57.90 o 20859 57.90 c 4793 57.91 o 20865 57.91 c 4787 57.92 o 20870 57.92 c 4782 57.94 o 20875 57.94 c 4777 57.95 o 20880 57.95 c 4772 57.97 o 20885 57.97 c 4767 57.98 o 20890 57.98 c 4762 57.99 o 20895 57.99 c 4757 58.01 o 20896 58.01 c 4756 58.02 o 20900 58.02 c 4752 58.03 o 20904 58.03 c 4748 58.05 o 20908 58.05 c 4744 58.06 o 20912 58.06 c 4740 58.07 o 20916 58.07 c 4736 58.08 o 20918 58.08 c 4734 58.09 o 20922 58.09 c 4730 58.10 o 20926 58.10 c 4726 58.11 o 20929 58.11 c 4723 58.12 o 20932 58.12 c 4720 58.13 o 20935 58.14 c 4717 58.15 o 20940 58.15 c 4712 58.16 o 20944 58.16 c 4708 58.17 o 20947 58.17 c 4705 58.18 o 20950 58.18 c 4702 58.19 o 20952 58.19 c 4700 58.20 o 20954 58.20 c 4698 58.21 o 20955 58.21 c 4697 58.22 o 20959 58.22 c 4693 58.23 o 20960 58.23 c 4692 58.23 o 20961 58.23 c 4691 58.24 o 20962 58.24 c 4690 58.25 o 20963 58.25 c 4689 58.31 o 20967 58.31 c 4685 58.34 o 20971 58.34 c 4681 58.34 o 20976 58.34 c 4676 58.37 o 20980 58.37 c 4672 58.38 o 20985 58.38 c 4667 58.39 o 20992 58.39 c 4660 58.40 o 20995 58.40 c 4657 58.41 o 20999 58.41 c 4653 58.42 o 21004 58.42 c 4648 58.42 o 21008 58.42 c 4644 58.43 o 21010 58.43 c 4642 58.44 o 21013 58.44 c 4639 58.45 o 21018 58.45 c 4634 58.46 o 21026 58.46 c 4626 58.47 o 21028 58.47 c 4624 58.48 o 21032 58.48 c 4620 58.49 o 21034 58.49 c 4618 58.50 o 21036 58.50 c 4616 58.52 o 21043 58.52 c 4609 58.52 o 21047 58.52 c 4605 58.54 o 21053 58.54 c 4599 58.55 o 21057 58.55 c 4595 58.56 o 21059 58.56 c 4593 58.58 o 21061 58.58 c 4591 58.59 o 21065 58.59 c 4587 58.60 o 21072 58.60 c 4580 58.61 o 21075 58.61 c 4577 58.63 o 21080 58.63 c 4572 58.64 o 21083 58.64 c 4569 58.66 o 21086 58.66 c 4566 58.66 o 21088 58.66 c 4564 58.68 o 21092 58.68 c 4560 58.69 o 21094 58.69 c 4558 58.70 o 21095 58.70 c 4557 58.72 o 21101 58.72 c 4551 58.73 o 21104 58.73 c 4548 58.74 o 21108 58.74 c 4544 58.75 o 21110 58.75 c 4542 58.76 o 21111 58.76 c 4541 58.77 o 21114 58.77 c 4538 58.78 o 21116 58.78 c 4536 58.79 o 21119 58.79 c 4533 58.81 o 21121 58.81 c 4531 58.82 o 21127 58.82 c 4525 58.85 o 21133 58.85 c 4519 58.88 o 21137 58.88 c 4515 58.91 o 21141 58.91 c 4511 58.93 o 21145 58.93 c 4507 58.95 o 21148 58.95 c 4504 58.97 o 21154 58.97 c 4498 58.99 o 21157 58.99 c 4495 59.01 o 21163 59.01 c 4489 59.04 o 21166 59.04 c 4486 59.06 o 21169 59.06 c 4483 59.08 o 21172 59.08 c 4480 59.09 o 21175 59.09 c 4477 59.11 o 21178 59.11 c 4474 59.15 o 21180 59.15 c 4472 59.17 o 21182 59.17 c 4470 59.19 o 21184 59.19 c 4468 59.20 o 21186 59.20 c 4466 59.22 o 21188 59.22 c 4464 59.24 o 21190 59.24 c 4462 59.25 o 21195 59.25 c 4457 59.27 o 21196 59.27 c 4456 59.28 o 21197 59.28 c 4455 59.30 o 21199 59.30 c 4453 59.32 o 21201 59.32 c 4451 59.33 o 21203 59.33 c 4449 59.35 o 21205 59.35 c 4447 59.37 o 21207 59.37 c 4445 59.38 o 21208 59.38 c 4444 59.39 o 21209 59.39 c 4443 59.41 o 21210 59.41 c 4442 59.42 o 21211 59.42 c 4441 59.43 o 21212 59.43 c 4440 59.45 o 21213 59.45 c 4439 59.46 o 21214 59.46 c 4438 59.55 o 21215 59.55 c 4437 59.57 o 21221 59.57 c 4431 59.58 o 21224 59.58 c 4428 59.59 o 21225 59.59 c 4427 59.61 o 21229 59.61 c 4423 59.62 o 21232 59.62 c 4420 59.63 o 21234 59.63 c 4418 59.65 o 21240 59.65 c 4412 59.66 o 21242 59.66 c 4410 59.68 o 21247 59.68 c 4405 59.71 o 21250 59.71 c 4402 59.72 o 21253 59.72 c 4399 59.74 o 21254 59.74 c 4398 59.75 o 21257 59.75 c 4395 59.76 o 21258 59.76 c 4394 59.77 o 21260 59.77 c 4392 59.78 o 21262 59.78 c 4390 59.79 o 21265 59.79 c 4387 59.80 o 21266 59.80 c 4386 59.81 o 21273 59.81 c 4379 59.82 o 21275 59.82 c 4377 59.84 o 21279 59.84 c 4373 59.86 o 21283 59.86 c 4369 59.87 o 21285 59.87 c 4367 59.88 o 21288 59.88 c 4364 59.89 o 21291 59.89 c 4361 59.91 o 21293 59.91 c 4359 59.92 o 21297 59.92 c 4355 59.93 o 21298 59.93 c 4354 59.94 o 21303 59.94 c 4349 59.95 o 21306 59.95 c 4346 59.96 o 21311 59.96 c 4341 59.98 o 21313 59.98 c 4339 59.99 o 21316 59.99 c 4336 59.99 o 21320 59.99 c 4332 60.01 o 21322 60.01 c 4330 60.01 o 21324 60.01 c 4328 60.02 o 21329 60.02 c 4323 60.04 o 21330 60.04 c 4322 60.04 o 21336 60.04 c 4316 60.05 o 21339 60.05 c 4313 60.08 o 21341 60.08 c 4311 60.09 o 21346 60.09 c 4306 60.12 o 21347 60.12 c 4305 60.13 o 21352 60.13 c 4300 60.14 o 21355 60.14 c 4297 60.16 o 21360 60.16 c 4292 60.16 o 21364 60.16 c 4288 60.17 o 21371 60.18 c 4281 60.18 o 21372 60.18 c 4280 60.20 o 21373 60.20 c 4279 60.21 o 21377 60.21 c 4275 60.22 o 21380 60.22 c 4272 60.23 o 21383 60.23 c 4269 60.24 o 21387 60.24 c 4265 60.25 o 21390 60.25 c 4262 60.26 o 21395 60.26 c 4257 60.28 o 21399 60.28 c 4253 60.29 o 21401 60.29 c 4251 60.30 o 21403 60.30 c 4249 60.31 o 21408 60.31 c 4244 60.32 o 21413 60.32 c 4239 60.33 o 21416 60.33 c 4236 60.34 o 21418 60.34 c 4234 60.36 o 21425 60.36 c 4227 60.37 o 21426 60.37 c 4226 60.39 o 21428 60.39 c 4224 60.40 o 21432 60.40 c 4220 60.41 o 21434 60.41 c 4218 60.42 o 21437 60.42 c 4215 60.45 o 21441 60.45 c 4211 60.46 o 21442 60.46 c 4210 60.47 o 21443 60.47 c 4209 60.48 o 21448 60.48 c 4204 60.50 o 21452 60.50 c 4200 60.51 o 21458 60.51 c 4194 60.52 o 21459 60.52 c 4193 60.53 o 21463 60.53 c 4189 60.54 o 21468 60.54 c 4184 60.55 o 21471 60.55 c 4181 60.57 o 21472 60.57 c 4180 60.58 o 21475 60.58 c 4177 60.59 o 21477 60.59 c 4175 60.61 o 21481 60.61 c 4171 60.63 o 21485 60.63 c 4167 60.64 o 21488 60.64 c 4164 60.66 o 21491 60.66 c 4161 60.68 o 21494 60.68 c 4158 60.70 o 21495 60.70 c 4157 60.72 o 21498 60.72 c 4154 60.73 o 21501 60.73 c 4151 60.75 o 21503 60.75 c 4149 60.76 o 21505 60.76 c 4147 60.78 o 21507 60.78 c 4145 60.79 o 21509 60.79 c 4143 60.81 o 21511 60.81 c 4141 60.82 o 21513 60.83 c 4139 60.84 o 21515 60.84 c 4137 60.85 o 21517 60.85 c 4135 60.86 o 21519 60.86 c 4133 60.88 o 21521 60.88 c 4131 60.89 o 21523 60.89 c 4129 60.90 o 21525 60.90 c 4127 60.91 o 21527 60.91 c 4125 60.93 o 21528 60.93 c 4124 60.94 o 21530 60.94 c 4122 60.95 o 21531 60.95 c 4121 60.98 o 21532 60.98 c 4120 60.99 o 21535 60.99 c 4117 61.00 o 21537 61.00 c 4115 61.02 o 21540 61.02 c 4112 61.03 o 21546 61.03 c 4106 61.04 o 21547 61.04 c 4105 61.05 o 21549 61.05 c 4103 61.06 o 21551 61.06 c 4101 61.07 o 21554 61.07 c 4098 61.09 o 21555 61.09 c 4097 61.12 o 21559 61.12 c 4093 61.13 o 21564 61.14 c 4088 61.15 o 21566 61.15 c 4086 61.16 o 21568 61.16 c 4084 61.19 o 21570 61.19 c 4082 61.21 o 21573 61.21 c 4079 61.22 o 21577 61.22 c 4075 61.26 o 21582 61.26 c 4070 61.27 o 21583 61.27 c 4069 61.29 o 21585 61.29 c 4067 61.30 o 21587 61.30 c 4065 61.32 o 21590 61.32 c 4062 61.33 o 21594 61.33 c 4058 61.34 o 21595 61.34 c 4057 61.37 o 21597 61.37 c 4055 61.39 o 21598 61.39 c 4054 61.40 o 21602 61.40 c 4050 61.42 o 21605 61.42 c 4047 61.43 o 21608 61.43 c 4044 61.44 o 21611 61.44 c 4041 61.47 o 21614 61.47 c 4038 61.48 o 21616 61.48 c 4036 61.49 o 21620 61.49 c 4032 61.50 o 21623 61.50 c 4029 61.52 o 21625 61.52 c 4027 61.53 o 21627 61.53 c 4025 61.54 o 21631 61.54 c 4021 61.55 o 21634 61.55 c 4018 61.57 o 21638 61.57 c 4014 61.59 o 21639 61.59 c 4013 61.60 o 21641 61.60 c 4011 61.62 o 21645 61.62 c 4007 61.63 o 21650 61.63 c 4002 61.64 o 21654 61.64 c 3998 61.69 o 21656 61.69 c 3996 61.70 o 21660 61.70 c 3992 61.72 o 21665 61.72 c 3987 61.74 o 21669 61.74 c 3983 61.75 o 21673 61.75 c 3979 61.79 o 21675 61.79 c 3977 61.82 o 21676 61.82 c 3976 61.84 o 21679 61.84 c 3973 61.87 o 21680 61.87 c 3972 61.89 o 21683 61.89 c 3969 61.91 o 21684 61.91 c 3968 61.92 o 21687 61.92 c 3965 61.94 o 21689 61.94 c 3963 61.95 o 21691 61.95 c 3961 61.97 o 21693 61.97 c 3959 61.99 o 21694 61.99 c 3958 62.00 o 21697 62.00 c 3955 62.02 o 21700 62.02 c 3952 62.04 o 21703 62.04 c 3949 62.14 o 21704 62.14 c 3948 62.16 o 21706 62.16 c 3946 62.18 o 21709 62.18 c 3943 62.19 o 21710 62.19 c 3942 62.23 o 21713 62.23 c 3939 62.26 o 21717 62.26 c 3935 62.27 o 21718 62.27 c 3934 62.29 o 21720 62.29 c 3932 62.30 o 21721 62.30 c 3931 62.32 o 21722 62.32 c 3930 62.33 o 21723 62.33 c 3929 62.34 o 21725 62.34 c 3927 62.39 o 21727 62.39 c 3925 62.40 o 21730 62.40 c 3922 62.42 o 21731 62.42 c 3921 62.46 o 21732 62.46 c 3920 62.49 o 21735 62.49 c 3917 62.51 o 21738 62.51 c 3914 62.53 o 21742 62.53 c 3910 62.55 o 21743 62.55 c 3909 62.58 o 21747 62.58 c 3905 62.60 o 21748 62.60 c 3904 62.61 o 21749 62.61 c 3903 62.63 o 21754 62.63 c 3898 62.65 o 21757 62.65 c 3895 62.66 o 21758 62.66 c 3894 62.68 o 21759 62.68 c 3893 62.73 o 21761 62.73 c 3891 62.75 o 21766 62.75 c 3886 62.77 o 21768 62.77 c 3884 62.80 o 21770 62.80 c 3882 62.82 o 21774 62.82 c 3878 62.85 o 21778 62.85 c 3874 62.87 o 21780 62.87 c 3872 62.89 o 21782 62.89 c 3870 62.91 o 21786 62.91 c 3866 62.93 o 21787 62.93 c 3865 62.96 o 21788 62.96 c 3864 62.98 o 21791 62.98 c 3861 63.00 o 21794 63.00 c 3858 63.02 o 21795 63.02 c 3857 63.05 o 21796 63.05 c 3856 63.07 o 21801 63.07 c 3851 63.10 o 21805 63.10 c 3847 63.13 o 21809 63.13 c 3843 63.15 o 21810 63.15 c 3842 63.18 o 21814 63.18 c 3838 63.20 o 21816 63.20 c 3836 63.23 o 21819 63.23 c 3833 63.26 o 21821 63.26 c 3831 63.34 o 21823 63.34 c 3829 63.39 o 21824 63.39 c 3828 63.41 o 21830 63.41 c 3822 63.44 o 21832 63.44 c 3820 63.46 o 21834 63.46 c 3818 63.48 o 21838 63.48 c 3814 63.50 o 21841 63.50 c 3811 63.53 o 21843 63.53 c 3809 63.55 o 21845 63.55 c 3807 63.59 o 21847 63.59 c 3805 63.61 o 21848 63.61 c 3804 63.63 o 21850 63.63 c 3802 63.65 o 21852 63.65 c 3800 63.67 o 21853 63.67 c 3799 63.69 o 21854 63.69 c 3798 63.71 o 21855 63.71 c 3797 63.73 o 21856 63.73 c 3796 63.75 o 21857 63.75 c 3795 63.77 o 21859 63.77 c 3793 63.86 o 21865 63.86 c 3787 63.90 o 21866 63.90 c 3786 63.92 o 21868 63.92 c 3784 64.02 o 21871 64.02 c 3781 64.04 o 21873 64.04 c 3779 64.06 o 21878 64.06 c 3774 64.08 o 21879 64.08 c 3773 64.10 o 21884 64.10 c 3768 64.14 o 21886 64.14 c 3766 64.16 o 21889 64.16 c 3763 64.17 o 21891 64.17 c 3761 64.19 o 21892 64.19 c 3760 64.21 o 21897 64.21 c 3755 64.23 o 21898 64.23 c 3754 64.25 o 21899 64.25 c 3753 64.27 o 21901 64.27 c 3751 64.29 o 21904 64.29 c 3748 64.30 o 21905 64.30 c 3747 64.32 o 21910 64.32 c 3742 64.34 o 21912 64.34 c 3740 64.39 o 21915 64.39 c 3737 64.41 o 21916 64.41 c 3736 64.42 o 21920 64.42 c 3732 64.44 o 21921 64.44 c 3731 64.46 o 21924 64.46 c 3728 64.47 o 21925 64.47 c 3727 64.51 o 21926 64.51 c 3726 64.53 o 21928 64.53 c 3724 64.55 o 21932 64.55 c 3720 64.56 o 21933 64.57 c 3719 64.58 o 21935 64.58 c 3717 64.60 o 21937 64.60 c 3715 64.63 o 21940 64.63 c 3712 64.66 o 21943 64.66 c 3709 64.68 o 21946 64.68 c 3706 64.70 o 21949 64.70 c 3703 64.72 o 21953 64.72 c 3699 64.73 o 21957 64.73 c 3695 64.75 o 21958 64.75 c 3694 64.76 o 21960 64.76 c 3692 64.78 o 21961 64.78 c 3691 64.84 o 21962 64.84 c 3690 64.85 o 21965 64.85 c 3687 64.87 o 21966 64.87 c 3686 64.90 o 21967 64.90 c 3685 64.92 o 21972 64.92 c 3680 64.94 o 21975 64.94 c 3677 64.95 o 21979 64.95 c 3673 64.97 o 21982 64.97 c 3670 64.99 o 21983 64.99 c 3669 65.01 o 21988 65.01 c 3664 65.02 o 21990 65.02 c 3662 65.07 o 21992 65.07 c 3660 65.08 o 21993 65.08 c 3659 65.13 o 21994 65.13 c 3658 65.15 o 21996 65.15 c 3656 65.16 o 21997 65.16 c 3655 65.18 o 21999 65.18 c 3653 65.20 o 22001 65.20 c 3651 65.22 o 22003 65.22 c 3649 65.25 o 22005 65.25 c 3647 65.27 o 22007 65.27 c 3645 65.32 o 22008 65.32 c 3644 65.36 o 22009 65.36 c 3643 65.39 o 22010 65.39 c 3642 65.40 o 22014 65.40 c 3638 65.42 o 22016 65.42 c 3636 65.44 o 22019 65.44 c 3633 65.46 o 22021 65.46 c 3631 65.47 o 22024 65.47 c 3628 65.52 o 22026 65.52 c 3626 65.55 o 22027 65.55 c 3625 65.57 o 22030 65.57 c 3622 65.61 o 22031 65.61 c 3621 65.64 o 22035 65.64 c 3617 65.68 o 22038 65.68 c 3614 65.72 o 22043 65.72 c 3609 65.74 o 22046 65.74 c 3606 65.76 o 22049 65.76 c 3603 65.78 o 22051 65.78 c 3601 65.80 o 22054 65.80 c 3598 65.86 o 22059 65.86 c 3593 65.90 o 22062 65.90 c 3590 65.92 o 22068 65.92 c 3584 65.94 o 22072 65.94 c 3580 65.97 o 22073 65.97 c 3579 66.00 o 22074 66.00 c 3578 66.01 o 22075 66.01 c 3577 66.05 o 22081 66.05 c 3571 66.07 o 22083 66.07 c 3569 66.09 o 22089 66.09 c 3563 66.10 o 22092 66.10 c 3560 66.16 o 22094 66.16 c 3558 66.19 o 22097 66.19 c 3555 66.21 o 22099 66.21 c 3553 66.25 o 22104 66.25 c 3548 66.27 o 22106 66.27 c 3546 66.30 o 22107 66.30 c 3545 66.32 o 22109 66.32 c 3543 66.35 o 22110 66.35 c 3542 66.38 o 22111 66.38 c 3541 66.42 o 22112 66.42 c 3540 66.45 o 22113 66.45 c 3539 66.52 o 22117 66.52 c 3535 66.57 o 22122 66.57 c 3530 66.60 o 22126 66.60 c 3526 66.65 o 22127 66.65 c 3525 66.73 o 22128 66.73 c 3524 66.76 o 22129 66.76 c 3523 66.79 o 22132 66.79 c 3520 66.82 o 22135 66.82 c 3517 66.85 o 22137 66.85 c 3515 66.88 o 22138 66.88 c 3514 66.90 o 22141 66.90 c 3511 66.96 o 22143 66.96 c 3509 67.02 o 22145 67.02 c 3507 67.04 o 22146 67.04 c 3506 67.07 o 22148 67.07 c 3504 67.10 o 22149 67.10 c 3503 67.16 o 22151 67.16 c 3501 67.19 o 22156 67.19 c 3496 67.23 o 22159 67.23 c 3493 67.26 o 22161 67.26 c 3491 67.29 o 22163 67.29 c 3489 67.32 o 22167 67.32 c 3485 67.35 o 22171 67.35 c 3481 67.38 o 22175 67.38 c 3477 67.42 o 22178 67.42 c 3474 67.45 o 22180 67.45 c 3472 67.49 o 22182 67.49 c 3470 67.52 o 22186 67.52 c 3466 67.55 o 22189 67.55 c 3463 67.58 o 22191 67.58 c 3461 67.61 o 22194 67.61 c 3458 67.68 o 22195 67.68 c 3457 67.71 o 22197 67.71 c 3455 67.75 o 22199 67.75 c 3453 67.78 o 22201 67.78 c 3451 67.81 o 22203 67.81 c 3449 67.84 o 22204 67.84 c 3448 67.88 o 22205 67.88 c 3447 67.91 o 22206 67.91 c 3446 67.95 o 22207 67.95 c 3445 67.98 o 22209 67.98 c 3443 68.01 o 22210 68.01 c 3442 68.04 o 22212 68.04 c 3440 68.18 o 22213 68.18 c 3439 68.48 o 22216 68.48 c 3436 68.51 o 22221 68.51 c 3431 68.65 o 22222 68.65 c 3430 68.70 o 22225 68.70 c 3427 68.73 o 22232 68.73 c 3420 68.79 o 22233 68.79 c 3419 68.82 o 22235 68.82 c 3417 68.87 o 22238 68.88 c 3414 69.18 o 22241 69.18 c 3411 69.21 o 22243 69.21 c 3409 69.23 o 22245 69.23 c 3407 69.26 o 22248 69.26 c 3404 69.29 o 22250 69.29 c 3402 69.35 o 22253 69.35 c 3399 69.37 o 22254 69.37 c 3398 69.40 o 22255 69.40 c 3397 69.42 o 22256 69.42 c 3396 69.45 o 22257 69.45 c 3395 69.50 o 22260 69.50 c 3392 69.53 o 22264 69.53 c 3388 69.58 o 22265 69.58 c 3387 69.63 o 22266 69.63 c 3386 69.68 o 22269 69.68 c 3383 69.81 o 22271 69.81 c 3381 69.84 o 22273 69.84 c 3379 69.86 o 22274 69.86 c 3378 69.89 o 22276 69.89 c 3376 69.91 o 22278 69.91 c 3374 69.93 o 22282 69.93 c 3370 69.95 o 22286 69.95 c 3366 69.98 o 22289 69.98 c 3363 70.02 o 22290 70.02 c 3362 70.09 o 22292 70.09 c 3360 70.11 o 22295 70.11 c 3357 70.14 o 22296 70.14 c 3356 70.17 o 22301 70.17 c 3351 70.20 o 22304 70.20 c 3348 70.25 o 22306 70.25 c 3346 70.28 o 22309 70.28 c 3343 70.30 o 22310 70.30 c 3342 70.33 o 22313 70.33 c 3339 70.35 o 22315 70.35 c 3337 70.38 o 22319 70.38 c 3333 70.40 o 22320 70.40 c 3332 70.48 o 22321 70.48 c 3331 70.50 o 22323 70.50 c 3329 70.60 o 22325 70.60 c 3327 70.67 o 22328 70.67 c 3324 70.69 o 22329 70.69 c 3323 70.71 o 22337 70.71 c 3315 70.76 o 22338 70.76 c 3314 70.79 o 22341 70.79 c 3311 70.81 o 22342 70.81 c 3310 70.84 o 22344 70.84 c 3308 71.03 o 22349 71.03 c 3303 71.06 o 22350 71.06 c 3302 71.08 o 22351 71.08 c 3301 71.11 o 22354 71.11 c 3298 71.13 o 22355 71.13 c 3297 71.18 o 22360 71.18 c 3292 71.23 o 22361 71.23 c 3291 71.25 o 22362 71.25 c 3290 71.31 o 22363 71.31 c 3289 71.34 o 22368 71.34 c 3284 71.36 o 22369 71.36 c 3283 71.39 o 22371 71.39 c 3281 71.41 o 22373 71.41 c 3279 71.48 o 22375 71.48 c 3277 71.50 o 22378 71.50 c 3274 71.53 o 22380 71.53 c 3272 71.55 o 22383 71.55 c 3269 71.59 o 22385 71.59 c 3267 71.66 o 22386 71.66 c 3266 71.68 o 22387 71.68 c 3265 71.70 o 22389 71.70 c 3263 71.73 o 22391 71.73 c 3261 71.75 o 22393 71.75 c 3259 71.80 o 22398 71.80 c 3254 71.87 o 22401 71.87 c 3251 71.90 o 22402 71.90 c 3250 71.92 o 22403 71.92 c 3249 71.95 o 22404 71.95 c 3248 72.03 o 22405 72.03 c 3247 72.05 o 22410 72.05 c 3242 72.10 o 22412 72.10 c 3240 72.15 o 22413 72.15 c 3239 72.18 o 22417 72.18 c 3235 72.20 o 22420 72.20 c 3232 72.23 o 22422 72.23 c 3230 72.26 o 22426 72.26 c 3226 72.36 o 22431 72.36 c 3221 72.39 o 22434 72.39 c 3218 72.42 o 22437 72.42 c 3215 72.45 o 22439 72.45 c 3213 72.48 o 22443 72.48 c 3209 72.51 o 22447 72.51 c 3205 72.54 o 22448 72.54 c 3204 72.56 o 22450 72.56 c 3202 72.59 o 22453 72.59 c 3199 72.62 o 22456 72.62 c 3196 72.65 o 22458 72.65 c 3194 72.68 o 22462 72.68 c 3190 72.71 o 22466 72.71 c 3186 72.73 o 22467 72.73 c 3185 72.78 o 22468 72.78 c 3184 72.81 o 22473 72.81 c 3179 72.86 o 22475 72.86 c 3177 72.89 o 22477 72.89 c 3175 72.97 o 22478 72.97 c 3174 73.00 o 22481 73.00 c 3171 73.02 o 22483 73.02 c 3169 73.05 o 22485 73.05 c 3167 73.24 o 22487 73.24 c 3165 73.27 o 22488 73.27 c 3164 73.30 o 22491 73.30 c 3161 73.33 o 22492 73.33 c 3160 73.35 o 22495 73.35 c 3157 73.41 o 22497 73.41 c 3155 73.54 o 22498 73.54 c 3154 73.61 o 22499 73.61 c 3153 73.74 o 22501 73.74 c 3151 73.77 o 22502 73.77 c 3150 73.80 o 22504 73.80 c 3148 73.82 o 22505 73.82 c 3147 73.85 o 22506 73.85 c 3146 73.88 o 22508 73.88 c 3144 74.15 o 22509 74.15 c 3143 74.27 o 22510 74.27 c 3142 74.30 o 22512 74.30 c 3140 74.33 o 22515 74.33 c 3137 74.42 o 22516 74.42 c 3136 74.53 o 22517 74.53 c 3135 74.55 o 22518 74.56 c 3134 74.58 o 22520 74.58 c 3132 74.66 o 22521 74.66 c 3131 74.69 o 22523 74.69 c 3129 74.72 o 22527 74.72 c 3125 74.77 o 22528 74.77 c 3124 74.80 o 22530 74.80 c 3122 74.90 o 22533 74.90 c 3119 74.93 o 22534 74.93 c 3118 74.95 o 22536 74.95 c 3116 74.98 o 22537 74.98 c 3115 75.04 o 22538 75.04 c 3114 75.07 o 22539 75.07 c 3113 75.12 o 22542 75.12 c 3110 75.18 o 22546 75.18 c 3106 75.24 o 22549 75.24 c 3103 75.26 o 22552 75.26 c 3100 75.29 o 22553 75.29 c 3099 75.32 o 22557 75.32 c 3095 75.38 o 22560 75.38 c 3092 75.47 o 22561 75.47 c 3091 75.49 o 22562 75.49 c 3090 75.53 o 22563 75.53 c 3089 75.55 o 22564 75.55 c 3088 75.71 o 22566 75.71 c 3086 75.74 o 22568 75.74 c 3084 75.77 o 22569 75.77 c 3083 75.80 o 22571 75.80 c 3081 75.83 o 22573 75.83 c 3079 75.85 o 22576 75.85 c 3076 75.88 o 22581 75.88 c 3071 75.91 o 22584 75.91 c 3068 75.94 o 22585 75.94 c 3067 76.03 o 22586 76.03 c 3066 76.17 o 22588 76.17 c 3064 76.21 o 22590 76.21 c 3062 76.24 o 22592 76.24 c 3060 76.27 o 22593 76.27 c 3059 76.30 o 22595 76.30 c 3057 76.53 o 22598 76.53 c 3054 76.57 o 22599 76.57 c 3053 76.60 o 22601 76.60 c 3051 76.66 o 22603 76.66 c 3049 76.69 o 22605 76.69 c 3047 76.73 o 22606 76.73 c 3046 76.76 o 22609 76.76 c 3043 76.79 o 22611 76.79 c 3041 76.85 o 22612 76.85 c 3040 76.96 o 22613 76.96 c 3039 77.18 o 22614 77.18 c 3038 77.25 o 22617 77.25 c 3035 77.28 o 22618 77.28 c 3034 77.39 o 22620 77.39 c 3032 77.42 o 22623 77.42 c 3029 77.53 o 22625 77.53 c 3027 77.67 o 22626 77.67 c 3026 77.70 o 22628 77.70 c 3024 77.74 o 22629 77.74 c 3023 77.77 o 22630 77.77 c 3022 77.80 o 22633 77.80 c 3019 77.84 o 22636 77.84 c 3016 77.91 o 22637 77.91 c 3015 78.07 o 22639 78.07 c 3013 78.11 o 22641 78.11 c 3011 78.15 o 22644 78.15 c 3008 78.49 o 22645 78.49 c 3007 78.53 o 22646 78.53 c 3006 78.57 o 22648 78.57 c 3004 78.60 o 22650 78.60 c 3002 78.67 o 22657 78.67 c 2995 78.71 o 22658 78.71 c 2994 78.75 o 22659 78.75 c 2993 78.83 o 22665 78.83 c 2987 78.86 o 22667 78.86 c 2985 78.90 o 22668 78.90 c 2984 78.94 o 22669 78.94 c 2983 79.27 o 22672 79.27 c 2980 79.31 o 22673 79.31 c 2979 79.35 o 22675 79.35 c 2977 79.57 o 22677 79.57 c 2975 79.60 o 22679 79.60 c 2973 79.64 o 22681 79.64 c 2971 79.76 o 22682 79.76 c 2970 79.79 o 22684 79.79 c 2968 79.94 o 22685 79.94 c 2967 79.98 o 22687 79.98 c 2965 80.17 o 22689 80.17 c 2963 80.20 o 22690 80.20 c 2962 80.31 o 22695 80.31 c 2957 80.32 o 22696 80.32 c 2956 80.36 o 22698 80.36 c 2954 80.38 o 22702 80.38 c 2950 80.58 o 22703 80.58 c 2949 80.62 o 22706 80.62 c 2946 80.65 o 22709 80.65 c 2943 80.69 o 22710 80.69 c 2942 80.75 o 22713 80.75 c 2939 80.78 o 22718 80.78 c 2934 80.81 o 22720 80.81 c 2932 80.84 o 22724 80.84 c 2928 80.88 o 22728 80.88 c 2924 80.91 o 22729 80.91 c 2923 80.95 o 22733 80.95 c 2919 81.02 o 22736 81.02 c 2916 81.06 o 22740 81.06 c 2912 81.13 o 22742 81.13 c 2910 81.24 o 22743 81.24 c 2909 81.35 o 22745 81.35 c 2907 81.39 o 22748 81.39 c 2904 81.43 o 22749 81.43 c 2903 81.46 o 22751 81.46 c 2901 81.55 o 22753 81.55 c 2899 81.59 o 22755 81.59 c 2897 81.67 o 22760 81.67 c 2892 81.75 o 22762 81.75 c 2890 81.78 o 22766 81.78 c 2886 81.90 o 22768 81.91 c 2884 81.95 o 22769 81.95 c 2883 81.98 o 22771 81.98 c 2881 82.03 o 22776 82.03 c 2876 82.19 o 22778 82.19 c 2874 82.23 o 22779 82.23 c 2873 82.36 o 22782 82.36 c 2870 82.40 o 22786 82.40 c 2866 82.44 o 22791 82.44 c 2861 82.54 o 22794 82.54 c 2858 82.63 o 22797 82.63 c 2855 82.71 o 22798 82.71 c 2854 82.75 o 22801 82.75 c 2851 82.88 o 22802 82.88 c 2850 82.91 o 22803 82.91 c 2849 82.96 o 22806 82.96 c 2846 83.00 o 22808 83.00 c 2844 83.04 o 22809 83.04 c 2843 83.06 o 22812 83.06 c 2840 83.10 o 22814 83.10 c 2838 83.21 o 22817 83.21 c 2835 83.25 o 22819 83.25 c 2833 83.29 o 22820 83.29 c 2832 83.34 o 22822 83.34 c 2830 83.71 o 22824 83.71 c 2828 84.41 o 22825 84.41 c 2827 84.47 o 22826 84.47 c 2826 84.52 o 22827 84.52 c 2825 84.56 o 22829 84.56 c 2823 84.67 o 22830 84.67 c 2822 84.72 o 22832 84.72 c 2820 84.77 o 22834 84.77 c 2818 84.82 o 22836 84.82 c 2816 84.85 o 22841 84.85 c 2811 84.91 o 22842 84.91 c 2810 84.96 o 22843 84.96 c 2809 85.01 o 22844 85.01 c 2808 85.07 o 22845 85.07 c 2807 85.12 o 22848 85.12 c 2804 85.17 o 22851 85.17 c 2801 85.22 o 22854 85.22 c 2798 85.27 o 22857 85.27 c 2795 85.29 o 22861 85.29 c 2791 85.39 o 22863 85.39 c 2789 85.87 o 22864 85.87 c 2788 85.92 o 22868 85.92 c 2784 86.25 o 22870 86.25 c 2782 86.30 o 22872 86.30 c 2780 86.61 o 22874 86.61 c 2778 86.65 o 22876 86.65 c 2776 86.70 o 22878 86.70 c 2774 86.74 o 22880 86.74 c 2772 86.79 o 22881 86.79 c 2771 86.83 o 22883 86.83 c 2769 86.87 o 22884 86.87 c 2768 87.04 o 22886 87.04 c 2766 87.09 o 22889 87.09 c 2763 87.13 o 22890 87.13 c 2762 87.17 o 22891 87.18 c 2761 87.26 o 22894 87.26 c 2758 87.35 o 22897 87.35 c 2755 87.39 o 22900 87.39 c 2752 87.43 o 22901 87.43 c 2751 87.52 o 22903 87.52 c 2749 87.65 o 22905 87.65 c 2747 87.69 o 22906 87.69 c 2746 87.73 o 22909 87.73 c 2743 87.78 o 22910 87.78 c 2742 87.82 o 22913 87.82 c 2739 87.92 o 22915 87.92 c 2737 88.20 o 22916 88.20 c 2736 88.30 o 22917 88.30 c 2735 88.34 o 22918 88.34 c 2734 88.39 o 22921 88.39 c 2731 88.44 o 22924 88.44 c 2728 88.48 o 22926 88.48 c 2726 88.58 o 22928 88.58 c 2724 89.33 o 22932 89.33 c 2720 89.62 o 22936 89.62 c 2716 89.67 o 22938 89.67 c 2714 89.72 o 22942 89.72 c 2710 89.82 o 22943 89.82 c 2709 89.87 o 22945 89.87 c 2707 89.97 o 22947 89.97 c 2705 90.24 o 22951 90.24 c 2701 90.30 o 22952 90.30 c 2700 90.35 o 22954 90.35 c 2698 90.40 o 22955 90.40 c 2697 91.00 o 22957 91.00 c 2695 91.04 o 22959 91.04 c 2693 91.09 o 22960 91.09 c 2692 91.62 o 22963 91.62 c 2689 91.78 o 22966 91.78 c 2686 91.83 o 22968 91.83 c 2684 92.08 o 22970 92.08 c 2682 92.13 o 22972 92.13 c 2680 92.18 o 22975 92.18 c 2677 92.22 o 22978 92.22 c 2674 92.27 o 22980 92.27 c 2672 92.32 o 22981 92.32 c 2671 92.38 o 22983 92.38 c 2669 92.48 o 22987 92.48 c 2665 92.58 o 22988 92.58 c 2664 92.63 o 22990 92.63 c 2662 92.67 o 22992 92.67 c 2660 92.72 o 22993 92.72 c 2659 92.83 o 22995 92.83 c 2657 92.88 o 22996 92.88 c 2656 92.93 o 22999 92.93 c 2653 92.98 o 23000 92.98 c 2652 93.04 o 23002 93.04 c 2650 93.09 o 23003 93.09 c 2649 93.19 o 23004 93.19 c 2648 93.28 o 23007 93.29 c 2645 93.38 o 23008 93.38 c 2644 93.73 o 23010 93.73 c 2642 93.78 o 23011 93.78 c 2641 93.82 o 23015 93.82 c 2637 94.02 o 23017 94.02 c 2635 94.07 o 23018 94.07 c 2634 94.18 o 23020 94.18 c 2632 94.23 o 23024 94.23 c 2628 94.28 o 23025 94.28 c 2627 94.39 o 23029 94.39 c 2623 94.44 o 23030 94.44 c 2622 94.71 o 23032 94.71 c 2620 94.76 o 23033 94.76 c 2619 94.81 o 23039 94.81 c 2613 94.92 o 23041 94.92 c 2611 94.97 o 23042 94.97 c 2610 95.41 o 23043 95.41 c 2609 95.90 o 23045 95.90 c 2607 95.95 o 23046 95.95 c 2606 96.07 o 23050 96.07 c 2602 96.24 o 23053 96.24 c 2599 96.29 o 23056 96.29 c 2596 96.34 o 23057 96.34 c 2595 96.40 o 23058 96.40 c 2594 96.46 o 23060 96.46 c 2592 96.51 o 23063 96.51 c 2589 96.63 o 23066 96.63 c 2586 96.68 o 23067 96.68 c 2585 96.74 o 23068 96.74 c 2584 96.80 o 23070 96.80 c 2582 96.86 o 23071 96.86 c 2581 96.92 o 23072 96.92 c 2580 97.59 o 23075 97.59 c 2577 97.66 o 23078 97.66 c 2574 97.72 o 23079 97.72 c 2573 98.11 o 23085 98.11 c 2567 98.23 o 23086 98.23 c 2566 98.51 o 23087 98.51 c 2565 98.62 o 23088 98.62 c 2564 98.68 o 23090 98.68 c 2562 98.79 o 23091 98.79 c 2561 98.84 o 23096 98.84 c 2556 98.89 o 23100 98.89 c 2552 98.94 o 23106 98.94 c 2546 99.00 o 23107 99.00 c 2545 99.05 o 23111 99.05 c 2541 99.11 o 23112 99.11 c 2540 99.16 o 23115 99.16 c 2537 99.22 o 23118 99.22 c 2534 99.27 o 23120 99.27 c 2532 99.32 o 23121 99.32 c 2531 99.43 o 23123 99.43 c 2529 99.48 o 23124 99.48 c 2528 99.61 o 23126 99.61 c 2526 99.76 o 23128 99.76 c 2524 99.87 o 23131 99.87 c 2521 99.92 o 23133 99.92 c 2519 99.98 o 23136 99.98 c 2516 100.03 o 23137 100.03 c 2515 100.09 o 23138 100.09 c 2514 100.14 o 23142 100.14 c 2510 100.20 o 23144 100.20 c 2508 100.63 o 23146 100.63 c 2506 100.85 o 23147 100.85 c 2505 100.91 o 23149 100.91 c 2503 101.02 o 23152 101.02 c 2500 101.07 o 23154 101.07 c 2498 101.18 o 23155 101.18 c 2497 101.23 o 23158 101.23 c 2494 101.29 o 23164 101.29 c 2488 101.34 o 23166 101.34 c 2486 101.40 o 23167 101.40 c 2485 102.12 o 23169 102.12 c 2483 102.17 o 23170 102.17 c 2482 102.28 o 23172 102.28 c 2480 102.43 o 23175 102.43 c 2477 102.53 o 23176 102.53 c 2476 102.59 o 23177 102.59 c 2475 102.86 o 23178 102.86 c 2474 102.91 o 23180 102.91 c 2472 102.96 o 23185 102.96 c 2467 103.13 o 23187 103.13 c 2465 103.14 o 23189 103.14 c 2463 103.20 o 23192 103.20 c 2460 103.30 o 23193 103.30 c 2459 103.35 o 23194 103.35 c 2458 103.51 o 23195 103.51 c 2457 103.95 o 23198 103.95 c 2454 104.64 o 23199 104.64 c 2453 104.70 o 23201 104.70 c 2451 104.75 o 23202 104.75 c 2450 104.86 o 23205 104.86 c 2447 104.90 o 23207 104.90 c 2445 105.01 o 23208 105.01 c 2444 105.17 o 23209 105.17 c 2443 105.22 o 23212 105.22 c 2440 105.28 o 23214 105.28 c 2438 105.30 o 23216 105.30 c 2436 105.34 o 23219 105.34 c 2433 105.39 o 23221 105.39 c 2431 105.82 o 23224 105.82 c 2428 106.08 o 23227 106.08 c 2425 106.24 o 23230 106.24 c 2422 106.35 o 23231 106.35 c 2421 106.46 o 23233 106.46 c 2419 106.52 o 23234 106.52 c 2418 106.69 o 23238 106.69 c 2414 106.80 o 23241 106.80 c 2411 106.86 o 23242 106.86 c 2410 106.92 o 23244 106.92 c 2408 107.22 o 23245 107.22 c 2407 107.27 o 23247 107.27 c 2405 107.33 o 23250 107.33 c 2402 107.45 o 23252 107.45 c 2400 107.56 o 23253 107.56 c 2399 107.62 o 23257 107.62 c 2395 108.48 o 23260 108.48 c 2392 108.53 o 23261 108.53 c 2391 108.69 o 23264 108.69 c 2388 108.74 o 23265 108.74 c 2387 108.79 o 23266 108.79 c 2386 108.85 o 23267 108.85 c 2385 108.90 o 23270 108.90 c 2382 108.95 o 23271 108.95 c 2381 109.11 o 23273 109.11 c 2379 109.16 o 23274 109.16 c 2378 109.21 o 23275 109.21 c 2377 109.31 o 23277 109.31 c 2375 109.44 o 23282 109.44 c 2370 109.50 o 23283 109.50 c 2369 109.55 o 23284 109.55 c 2368 109.60 o 23286 109.60 c 2366 109.75 o 23287 109.75 c 2365 110.81 o 23289 110.81 c 2363 110.97 o 23290 110.97 c 2362 111.02 o 23292 111.02 c 2360 111.12 o 23295 111.12 c 2357 111.17 o 23296 111.17 c 2356 111.38 o 23297 111.38 c 2355 111.44 o 23301 111.44 c 2351 111.49 o 23305 111.49 c 2347 111.54 o 23308 111.54 c 2344 111.91 o 23309 111.91 c 2343 111.96 o 23311 111.96 c 2341 112.02 o 23312 112.02 c 2340 112.08 o 23315 112.08 c 2337 112.19 o 23317 112.19 c 2335 112.24 o 23318 112.24 c 2334 112.35 o 23319 112.35 c 2333 112.51 o 23321 112.51 c 2331 112.56 o 23322 112.56 c 2330 112.73 o 23323 112.73 c 2329 112.78 o 23324 112.78 c 2328 112.94 o 23326 112.94 c 2326 113.05 o 23328 113.05 c 2324 113.10 o 23333 113.10 c 2319 113.15 o 23334 113.15 c 2318 113.21 o 23336 113.21 c 2316 113.24 o 23338 113.24 c 2314 113.67 o 23339 113.67 c 2313 113.72 o 23340 113.72 c 2312 113.77 o 23342 113.77 c 2310 113.88 o 23344 113.88 c 2308 113.94 o 23345 113.94 c 2307 113.99 o 23346 113.99 c 2306 114.15 o 23348 114.15 c 2304 114.36 o 23350 114.36 c 2302 114.42 o 23351 114.42 c 2301 114.47 o 23352 114.47 c 2300 114.52 o 23354 114.52 c 2298 114.89 o 23355 114.89 c 2297 115.49 o 23356 115.49 c 2296 115.65 o 23358 115.65 c 2294 117.24 o 23360 117.24 c 2292 117.36 o 23362 117.36 c 2290 117.42 o 23366 117.42 c 2286 117.47 o 23367 117.47 c 2285 117.60 o 23368 117.60 c 2284 117.65 o 23370 117.65 c 2282 118.14 o 23371 118.14 c 2281 118.20 o 23373 118.20 c 2279 118.26 o 23375 118.26 c 2277 118.32 o 23378 118.32 c 2274 118.66 o 23380 118.66 c 2272 118.72 o 23383 118.72 c 2269 118.78 o 23386 118.78 c 2266 118.85 o 23389 118.85 c 2263 118.91 o 23390 118.91 c 2262 119.37 o 23391 119.37 c 2261 119.56 o 23393 119.56 c 2259 120.05 o 23395 120.05 c 2257 120.12 o 23396 120.12 c 2256 120.49 o 23398 120.49 c 2254 120.94 o 23400 120.94 c 2252 121.01 o 23403 121.01 c 2249 121.18 o 23407 121.18 c 2245 121.25 o 23412 121.25 c 2240 121.30 o 23414 121.30 c 2238 121.36 o 23420 121.36 c 2232 121.46 o 23422 121.46 c 2230 121.52 o 23424 121.52 c 2228 121.89 o 23426 121.89 c 2226 121.95 o 23427 121.95 c 2225 122.07 o 23429 122.07 c 2223 122.13 o 23430 122.13 c 2222 122.32 o 23435 122.32 c 2217 122.38 o 23438 122.38 c 2214 122.58 o 23439 122.58 c 2213 122.65 o 23442 122.65 c 2210 122.92 o 23443 122.92 c 2209 124.36 o 23444 124.36 c 2208 124.42 o 23445 124.42 c 2207 124.69 o 23448 124.69 c 2204 124.76 o 23450 124.76 c 2202 124.83 o 23453 124.83 c 2199 124.98 o 23457 124.98 c 2195 125.01 o 23459 125.01 c 2193 125.15 o 23462 125.15 c 2190 125.22 o 23464 125.22 c 2188 125.28 o 23465 125.28 c 2187 125.62 o 23466 125.62 c 2186 126.02 o 23468 126.02 c 2184 126.10 o 23470 126.10 c 2182 126.17 o 23473 126.17 c 2179 126.22 o 23474 126.22 c 2178 126.28 o 23475 126.28 c 2177 126.36 o 23476 126.36 c 2176 126.42 o 23477 126.42 c 2175 127.29 o 23479 127.29 c 2173 127.36 o 23481 127.36 c 2171 127.43 o 23486 127.43 c 2166 127.51 o 23488 127.51 c 2164 127.79 o 23490 127.79 c 2162 127.87 o 23496 127.87 c 2156 127.92 o 23499 127.92 c 2153 127.99 o 23501 127.99 c 2151 128.28 o 23502 128.28 c 2150 128.35 o 23505 128.35 c 2147 128.42 o 23508 128.42 c 2144 128.56 o 23509 128.56 c 2143 128.95 o 23510 128.95 c 2142 129.02 o 23512 129.02 c 2140 129.10 o 23513 129.10 c 2139 129.60 o 23514 129.60 c 2138 130.07 o 23515 130.07 c 2137 130.22 o 23517 130.22 c 2135 130.29 o 23521 130.29 c 2131 130.36 o 23522 130.36 c 2130 130.57 o 23523 130.57 c 2129 130.65 o 23525 130.65 c 2127 130.72 o 23527 130.72 c 2125 131.40 o 23528 131.40 c 2124 131.53 o 23530 131.53 c 2122 131.61 o 23531 131.61 c 2121 132.56 o 23532 132.56 c 2120 132.64 o 23534 132.64 c 2118 133.59 o 23535 133.59 c 2117 133.89 o 23536 133.89 c 2116 133.96 o 23537 133.96 c 2115 134.04 o 23538 134.04 c 2114 134.85 o 23539 134.85 c 2113 134.92 o 23540 134.92 c 2112 134.96 o 23543 134.96 c 2109 135.04 o 23544 135.04 c 2108 135.11 o 23547 135.11 c 2105 135.47 o 23549 135.47 c 2103 135.54 o 23551 135.54 c 2101 135.61 o 23553 135.61 c 2099 135.75 o 23554 135.75 c 2098 135.89 o 23555 135.89 c 2097 136.18 o 23556 136.18 c 2096 136.47 o 23557 136.47 c 2095 136.56 o 23559 136.56 c 2093 137.30 o 23562 137.30 c 2090 137.32 o 23564 137.32 c 2088 138.06 o 23565 138.06 c 2087 138.37 o 23570 138.37 c 2082 138.60 o 23571 138.60 c 2081 138.75 o 23572 138.75 c 2080 139.45 o 23574 139.45 c 2078 139.71 o 23575 139.71 c 2077 140.02 o 23576 140.02 c 2076 140.10 o 23577 140.10 c 2075 140.18 o 23578 140.18 c 2074 140.26 o 23579 140.26 c 2073 140.34 o 23580 140.34 c 2072 140.69 o 23581 140.69 c 2071 140.78 o 23583 140.78 c 2069 140.84 o 23584 140.84 c 2068 140.92 o 23585 140.92 c 2067 141.55 o 23589 141.55 c 2063 141.63 o 23591 141.63 c 2061 141.71 o 23593 141.71 c 2059 141.79 o 23595 141.79 c 2057 141.87 o 23596 141.87 c 2056 142.16 o 23597 142.16 c 2055 143.37 o 23598 143.37 c 2054 143.52 o 23602 143.52 c 2050 143.60 o 23605 143.60 c 2047 143.67 o 23606 143.67 c 2046 143.91 o 23609 143.91 c 2043 144.07 o 23611 144.07 c 2041 144.15 o 23612 144.15 c 2040 144.23 o 23614 144.23 c 2038 144.56 o 23615 144.56 c 2037 144.72 o 23616 144.72 c 2036 145.29 o 23618 145.29 c 2034 145.36 o 23619 145.36 c 2033 145.44 o 23622 145.44 c 2030 145.67 o 23624 145.67 c 2028 145.80 o 23625 145.80 c 2027 145.86 o 23627 145.87 c 2025 145.94 o 23629 145.94 c 2023 146.03 o 23631 146.03 c 2021 146.18 o 23633 146.18 c 2019 146.49 o 23635 146.49 c 2017 146.56 o 23639 146.56 c 2013 146.72 o 23640 146.72 c 2012 146.80 o 23641 146.80 c 2011 147.05 o 23644 147.05 c 2008 147.13 o 23645 147.13 c 2007 147.22 o 23648 147.22 c 2004 147.31 o 23649 147.31 c 2003 147.39 o 23651 147.39 c 2001 147.70 o 23652 147.70 c 2000 147.96 o 23653 147.96 c 1999 148.05 o 23654 148.05 c 1998 148.13 o 23658 148.13 c 1994 148.35 o 23660 148.35 c 1992 149.38 o 23661 149.38 c 1991 149.47 o 23663 149.47 c 1989 149.56 o 23664 149.56 c 1988 149.73 o 23665 149.73 c 1987 149.91 o 23666 149.91 c 1986 150.18 o 23669 150.18 c 1983 150.27 o 23670 150.27 c 1982 150.36 o 23672 150.36 c 1980 150.45 o 23674 150.45 c 1978 150.51 o 23676 150.51 c 1976 150.61 o 23677 150.61 c 1975 150.70 o 23679 150.70 c 1973 150.79 o 23681 150.79 c 1971 151.06 o 23683 151.06 c 1969 151.15 o 23685 151.15 c 1967 151.33 o 23687 151.33 c 1965 151.41 o 23688 151.41 c 1964 151.66 o 23689 151.66 c 1963 151.72 o 23691 151.72 c 1961 151.89 o 23692 151.89 c 1960 151.98 o 23693 151.98 c 1959 152.07 o 23694 152.07 c 1958 152.26 o 23695 152.26 c 1957 152.35 o 23697 152.35 c 1955 152.44 o 23698 152.44 c 1954 152.54 o 23699 152.54 c 1953 154.28 o 23700 154.28 c 1952 154.33 o 23704 154.33 c 1948 154.42 o 23706 154.42 c 1946 154.51 o 23707 154.51 c 1945 154.60 o 23709 154.60 c 1943 156.31 o 23711 156.31 c 1941 156.39 o 23713 156.39 c 1939 156.53 o 23714 156.53 c 1938 156.81 o 23717 156.81 c 1935 156.89 o 23718 156.89 c 1934 157.02 o 23720 157.02 c 1932 158.87 o 23723 158.87 c 1929 159.94 o 23725 159.94 c 1927 160.04 o 23726 160.04 c 1926 160.07 o 23727 160.07 c 1925 160.59 o 23730 160.59 c 1922 160.77 o 23733 160.77 c 1919 160.83 o 23736 160.83 c 1916 161.58 o 23737 161.58 c 1915 161.91 o 23739 161.91 c 1913 161.99 o 23742 161.99 c 1910 162.07 o 23743 162.07 c 1909 162.16 o 23745 162.16 c 1907 163.97 o 23746 163.97 c 1906 164.05 o 23747 164.05 c 1905 164.23 o 23748 164.23 c 1904 164.32 o 23749 164.32 c 1903 164.41 o 23750 164.41 c 1902 164.50 o 23752 164.50 c 1900 164.59 o 23754 164.59 c 1898 164.67 o 23755 164.67 c 1897 164.76 o 23758 164.76 c 1894 164.85 o 23759 164.85 c 1893 165.17 o 23761 165.17 c 1891 165.26 o 23762 165.26 c 1890 165.55 o 23763 165.55 c 1889 165.63 o 23765 165.63 c 1887 165.70 o 23767 165.70 c 1885 165.79 o 23771 165.79 c 1881 165.87 o 23772 165.87 c 1880 165.95 o 23773 165.95 c 1879 166.05 o 23776 166.05 c 1876 167.61 o 23778 167.61 c 1874 167.88 o 23779 167.88 c 1873 167.96 o 23782 167.96 c 1870 168.04 o 23785 168.04 c 1867 168.18 o 23786 168.18 c 1866 168.43 o 23789 168.43 c 1863 168.47 o 23791 168.47 c 1861 168.55 o 23792 168.55 c 1860 168.95 o 23794 168.95 c 1858 170.27 o 23796 170.27 c 1856 170.44 o 23800 170.44 c 1852 170.53 o 23801 170.53 c 1851 170.61 o 23802 170.61 c 1850 170.86 o 23803 170.86 c 1849 171.14 o 23805 171.14 c 1847 171.50 o 23807 171.50 c 1845 172.35 o 23810 172.35 c 1842 172.43 o 23813 172.43 c 1839 172.92 o 23814 172.92 c 1838 172.98 o 23815 172.98 c 1837 174.04 o 23816 174.04 c 1836 174.30 o 23818 174.30 c 1834 174.48 o 23819 174.48 c 1833 174.65 o 23820 174.65 c 1832 174.75 o 23821 174.75 c 1831 177.59 o 23823 177.59 c 1829 178.05 o 23824 178.05 c 1828 178.14 o 23827 178.14 c 1825 178.67 o 23829 178.67 c 1823 178.76 o 23832 178.76 c 1820 178.85 o 23835 178.85 c 1817 179.57 o 23837 179.57 c 1815 182.08 o 23838 182.08 c 1814 182.17 o 23843 182.17 c 1809 182.20 o 23847 182.20 c 1805 182.30 o 23849 182.30 c 1803 182.39 o 23850 182.39 c 1802 182.73 o 23851 182.73 c 1801 182.82 o 23852 182.82 c 1800 182.91 o 23853 182.91 c 1799 183.08 o 23854 183.08 c 1798 183.18 o 23855 183.18 c 1797 183.55 o 23856 183.55 c 1796 185.33 o 23857 185.33 c 1795 185.51 o 23858 185.51 c 1794 185.60 o 23861 185.60 c 1791 185.70 o 23862 185.70 c 1790 185.79 o 23864 185.79 c 1788 186.06 o 23865 186.06 c 1787 186.15 o 23866 186.15 c 1786 186.24 o 23868 186.24 c 1784 186.52 o 23869 186.52 c 1783 186.70 o 23871 186.70 c 1781 186.97 o 23873 186.97 c 1779 187.06 o 23874 187.06 c 1778 187.24 o 23875 187.24 c 1777 187.41 o 23877 187.41 c 1775 187.58 o 23878 187.58 c 1774 187.64 o 23880 187.64 c 1772 188.45 o 23881 188.45 c 1771 188.54 o 23883 188.54 c 1769 188.68 o 23884 188.68 c 1768 188.77 o 23889 188.77 c 1763 189.15 o 23892 189.15 c 1760 189.24 o 23895 189.24 c 1757 189.33 o 23898 189.33 c 1754 189.52 o 23902 189.52 c 1750 189.61 o 23903 189.61 c 1749 189.71 o 23904 189.71 c 1748 189.80 o 23906 189.80 c 1746 189.90 o 23907 189.90 c 1745 189.99 o 23910 189.99 c 1742 190.09 o 23912 190.09 c 1740 190.19 o 23914 190.19 c 1738 190.38 o 23915 190.38 c 1737 190.85 o 23916 190.85 c 1736 191.04 o 23918 191.04 c 1734 191.42 o 23919 191.42 c 1733 191.52 o 23920 191.52 c 1732 191.90 o 23921 191.90 c 1731 192.01 o 23923 192.01 c 1729 192.27 o 23924 192.27 c 1728 192.45 o 23925 192.45 c 1727 192.73 o 23926 192.73 c 1726 192.92 o 23929 192.92 c 1723 193.34 o 23932 193.34 c 1720 193.43 o 23933 193.43 c 1719 193.63 o 23934 193.63 c 1718 193.90 o 23935 193.90 c 1717 193.99 o 23936 193.99 c 1716 194.09 o 23937 194.09 c 1715 195.64 o 23939 195.64 c 1713 195.93 o 23940 195.93 c 1712 196.14 o 23942 196.14 c 1710 196.24 o 23945 196.24 c 1707 196.45 o 23947 196.45 c 1705 196.75 o 23948 196.75 c 1704 196.86 o 23949 196.86 c 1703 197.94 o 23951 197.94 c 1701 198.05 o 23953 198.05 c 1699 198.16 o 23955 198.16 c 1697 198.43 o 23956 198.43 c 1696 198.48 o 23961 198.48 c 1691 198.79 o 23962 198.79 c 1690 199.84 o 23963 199.84 c 1689 199.94 o 23965 199.94 c 1687 200.15 o 23966 200.15 c 1686 200.25 o 23967 200.25 c 1685 200.35 o 23970 200.35 c 1682 200.46 o 23973 200.46 c 1679 201.18 o 23974 201.18 c 1678 201.26 o 23976 201.26 c 1676 201.36 o 23977 201.36 c 1675 201.58 o 23978 201.58 c 1674 202.11 o 23979 202.11 c 1673 202.23 o 23980 202.23 c 1672 202.45 o 23981 202.45 c 1671 202.56 o 23982 202.56 c 1670 202.78 o 23983 202.78 c 1669 202.89 o 23984 202.89 c 1668 203.00 o 23988 203.00 c 1664 204.26 o 23989 204.26 c 1663 204.38 o 23990 204.38 c 1662 204.48 o 23992 204.48 c 1660 204.68 o 23994 204.68 c 1658 204.78 o 23995 204.78 c 1657 205.01 o 23997 205.01 c 1655 205.12 o 23998 205.12 c 1654 205.46 o 24000 205.46 c 1652 206.22 o 24001 206.22 c 1651 206.43 o 24002 206.43 c 1650 206.62 o 24004 206.62 c 1648 206.84 o 24005 206.84 c 1647 207.03 o 24006 207.03 c 1646 207.13 o 24007 207.13 c 1645 207.25 o 24008 207.25 c 1644 207.57 o 24011 207.57 c 1641 207.69 o 24013 207.69 c 1639 210.44 o 24016 210.44 c 1636 210.56 o 24018 210.56 c 1634 211.24 o 24020 211.24 c 1632 211.36 o 24021 211.36 c 1631 212.16 o 24022 212.16 c 1630 212.28 o 24023 212.28 c 1629 213.10 o 24025 213.10 c 1627 213.22 o 24027 213.22 c 1625 213.34 o 24028 213.34 c 1624 213.46 o 24029 213.46 c 1623 213.55 o 24030 213.55 c 1622 214.24 o 24031 214.24 c 1621 217.27 o 24032 217.27 c 1620 217.48 o 24035 217.48 c 1617 217.59 o 24036 217.59 c 1616 217.71 o 24037 217.71 c 1615 217.83 o 24038 217.83 c 1614 217.92 o 24040 217.92 c 1612 218.14 o 24044 218.14 c 1608 218.37 o 24045 218.37 c 1607 218.50 o 24046 218.50 c 1606 219.44 o 24047 219.44 c 1605 227.21 o 24048 227.21 c 1604 227.44 o 24050 227.44 c 1602 227.53 o 24051 227.53 c 1601 227.64 o 24055 227.64 c 1597 227.96 o 24057 227.96 c 1595 228.18 o 24058 228.18 c 1594 228.30 o 24061 228.30 c 1591 228.41 o 24062 228.41 c 1590 228.52 o 24063 228.52 c 1589 228.63 o 24064 228.63 c 1588 228.75 o 24065 228.75 c 1587 228.86 o 24067 228.86 c 1585 228.97 o 24069 228.97 c 1583 229.08 o 24071 229.08 c 1581 229.51 o 24073 229.51 c 1579 229.73 o 24074 229.73 c 1578 230.40 o 24075 230.40 c 1577 230.85 o 24076 230.85 c 1576 235.14 o 24078 235.14 c 1574 235.24 o 24079 235.24 c 1573 235.32 o 24081 235.32 c 1571 235.53 o 24082 235.53 c 1570 237.83 o 24084 237.83 c 1568 238.04 o 24085 238.04 c 1567 238.14 o 24088 238.14 c 1564 238.25 o 24089 238.25 c 1563 238.52 o 24091 238.52 c 1561 238.63 o 24092 238.63 c 1560 239.05 o 24093 239.05 c 1559 239.37 o 24094 239.37 c 1558 239.46 o 24097 239.46 c 1555 239.57 o 24098 239.57 c 1554 239.67 o 24099 239.67 c 1553 240.94 o 24100 240.94 c 1552 241.16 o 24101 241.16 c 1551 241.27 o 24102 241.27 c 1550 241.38 o 24104 241.38 c 1548 241.49 o 24106 241.49 c 1546 241.60 o 24107 241.60 c 1545 244.72 o 24108 244.72 c 1544 247.43 o 24110 247.43 c 1542 247.76 o 24112 247.76 c 1540 247.85 o 24114 247.85 c 1538 247.97 o 24117 247.97 c 1535 248.19 o 24120 248.19 c 1532 249.70 o 24121 249.70 c 1531 249.82 o 24123 249.82 c 1529 249.96 o 24125 249.96 c 1527 250.07 o 24127 250.07 c 1525 250.28 o 24128 250.28 c 1524 251.65 o 24130 251.65 c 1522 252.59 o 24133 252.59 c 1519 252.64 o 24135 252.64 c 1517 252.75 o 24140 252.75 c 1512 253.28 o 24141 253.28 c 1511 254.19 o 24142 254.19 c 1510 254.30 o 24144 254.30 c 1508 254.40 o 24146 254.40 c 1506 254.71 o 24147 254.71 c 1505 255.01 o 24148 255.01 c 1504 255.32 o 24150 255.32 c 1502 255.42 o 24151 255.42 c 1501 255.53 o 24153 255.53 c 1499 255.63 o 24155 255.63 c 1497 255.74 o 24157 255.74 c 1495 255.84 o 24158 255.84 c 1494 255.92 o 24159 255.92 c 1493 256.03 o 24164 256.03 c 1488 256.17 o 24167 256.17 c 1485 256.23 o 24170 256.23 c 1482 256.46 o 24173 256.46 c 1479 256.59 o 24174 256.59 c 1478 256.69 o 24175 256.69 c 1477 256.88 o 24176 256.88 c 1476 257.08 o 24178 257.08 c 1474 257.18 o 24181 257.18 c 1471 257.28 o 24182 257.28 c 1470 257.48 o 24183 257.48 c 1469 258.01 o 24184 258.01 c 1468 260.56 o 24187 260.56 c 1465 260.77 o 24189 260.77 c 1463 260.96 o 24190 260.97 c 1462 261.07 o 24191 261.07 c 1461 261.18 o 24193 261.18 c 1459 261.38 o 24194 261.38 c 1458 261.49 o 24195 261.49 c 1457 262.33 o 24197 262.33 c 1455 262.77 o 24198 262.77 c 1454 262.88 o 24200 262.88 c 1452 263.62 o 24201 263.62 c 1451 263.67 o 24202 263.67 c 1450 263.78 o 24205 263.78 c 1447 264.74 o 24206 264.74 c 1446 264.80 o 24208 264.80 c 1444 264.97 o 24209 264.97 c 1443 265.03 o 24210 265.03 c 1442 265.08 o 24212 265.08 c 1440 265.18 o 24214 265.18 c 1438 265.35 o 24216 265.35 c 1436 265.45 o 24220 265.45 c 1432 265.52 o 24221 265.52 c 1431 265.73 o 24222 265.73 c 1430 266.03 o 24224 266.03 c 1428 266.24 o 24225 266.24 c 1427 266.34 o 24230 266.34 c 1422 266.75 o 24232 266.75 c 1420 266.86 o 24233 266.86 c 1419 267.80 o 24234 267.80 c 1418 267.90 o 24236 267.90 c 1416 268.21 o 24241 268.21 c 1411 268.33 o 24243 268.33 c 1409 269.08 o 24244 269.08 c 1408 269.19 o 24246 269.19 c 1406 269.85 o 24247 269.85 c 1405 269.95 o 24249 269.95 c 1403 270.18 o 24250 270.18 c 1402 277.13 o 24251 277.13 c 1401 278.21 o 24252 278.21 c 1400 278.26 o 24254 278.26 c 1398 278.39 o 24255 278.39 c 1397 281.28 o 24259 281.28 c 1393 281.37 o 24261 281.37 c 1391 285.19 o 24262 285.19 c 1390 285.31 o 24263 285.31 c 1389 285.43 o 24264 285.43 c 1388 285.55 o 24265 285.55 c 1387 285.67 o 24266 285.67 c 1386 285.80 o 24267 285.80 c 1385 285.95 o 24268 285.95 c 1384 286.12 o 24270 286.12 c 1382 286.24 o 24273 286.24 c 1379 286.35 o 24274 286.35 c 1378 286.47 o 24276 286.47 c 1376 287.53 o 24278 287.53 c 1374 287.77 o 24279 287.77 c 1373 288.60 o 24280 288.60 c 1372 288.73 o 24282 288.73 c 1370 288.85 o 24284 288.85 c 1368 289.33 o 24285 289.33 c 1367 289.45 o 24287 289.45 c 1365 289.57 o 24288 289.57 c 1364 289.82 o 24289 289.82 c 1363 290.04 o 24290 290.04 c 1362 290.16 o 24291 290.16 c 1361 290.28 o 24293 290.28 c 1359 293.73 o 24294 293.73 c 1358 293.84 o 24295 293.84 c 1357 293.96 o 24296 293.96 c 1356 294.07 o 24298 294.07 c 1354 294.13 o 24299 294.13 c 1353 294.37 o 24300 294.37 c 1352 294.72 o 24301 294.72 c 1351 294.76 o 24304 294.76 c 1348 294.87 o 24306 294.87 c 1346 295.11 o 24307 295.11 c 1345 295.34 o 24308 295.35 c 1344 295.70 o 24309 295.70 c 1343 296.06 o 24310 296.06 c 1342 299.64 o 24312 299.64 c 1340 303.09 o 24316 303.09 c 1336 303.33 o 24317 303.33 c 1335 303.45 o 24318 303.45 c 1334 303.57 o 24322 303.57 c 1330 303.79 o 24323 303.79 c 1329 304.38 o 24324 304.38 c 1328 304.62 o 24325 304.62 c 1327 304.72 o 24326 304.72 c 1326 305.94 o 24327 305.94 c 1325 306.07 o 24328 306.07 c 1324 306.52 o 24330 306.52 c 1322 306.55 o 24331 306.55 c 1321 306.77 o 24333 306.77 c 1319 306.90 o 24334 306.90 c 1318 307.27 o 24335 307.27 c 1317 307.77 o 24336 307.77 c 1316 308.03 o 24337 308.03 c 1315 308.16 o 24338 308.16 c 1314 308.17 o 24339 308.17 c 1313 308.30 o 24342 308.30 c 1310 308.42 o 24343 308.42 c 1309 308.80 o 24344 308.80 c 1308 308.93 o 24347 308.93 c 1305 309.44 o 24348 309.44 c 1304 310.41 o 24350 310.41 c 1302 310.73 o 24351 310.73 c 1301 314.82 o 24355 314.82 c 1297 315.02 o 24356 315.02 c 1296 330.20 o 24357 330.20 c 1295 330.93 o 24360 330.93 c 1292 331.06 o 24363 331.07 c 1289 331.18 o 24365 331.18 c 1287 331.32 o 24366 331.32 c 1286 331.59 o 24369 331.59 c 1283 332.01 o 24371 332.01 c 1281 332.15 o 24372 332.15 c 1280 332.29 o 24374 332.29 c 1278 349.17 o 24376 349.17 c 1276 349.74 o 24377 349.74 c 1275 350.03 o 24378 350.03 c 1274 350.31 o 24379 350.31 c 1273 350.48 o 24380 350.48 c 1272 352.41 o 24381 352.41 c 1271 352.85 o 24383 352.85 c 1269 352.99 o 24384 352.99 c 1268 355.54 o 24385 355.54 c 1267 355.74 o 24386 355.74 c 1266 356.30 o 24387 356.30 c 1265 356.43 o 24388 356.43 c 1264 356.53 o 24390 356.53 c 1262 357.09 o 24393 357.09 c 1259 357.23 o 24394 357.23 c 1258 364.35 o 24396 364.35 c 1256 364.41 o 24397 364.41 c 1255 364.56 o 24398 364.56 c 1254 364.93 o 24399 364.93 c 1253 365.22 o 24400 365.22 c 1252 366.15 o 24401 366.15 c 1251 368.05 o 24402 368.05 c 1250 370.10 o 24403 370.10 c 1249 370.25 o 24404 370.25 c 1248 371.91 o 24406 371.91 c 1246 372.20 o 24407 372.20 c 1245 372.60 o 24410 372.60 c 1242 372.75 o 24412 372.75 c 1240 372.87 o 24413 372.87 c 1239 372.91 o 24416 372.91 c 1236 372.98 o 24421 372.98 c 1231 373.60 o 24423 373.60 c 1229 378.06 o 24426 378.06 c 1226 378.21 o 24427 378.21 c 1225 378.34 o 24428 378.34 c 1224 378.74 o 24431 378.74 c 1221 379.31 o 24432 379.31 c 1220 383.84 o 24433 383.84 c 1219 384.38 o 24434 384.38 c 1218 384.52 o 24435 384.52 c 1217 384.94 o 24436 384.94 c 1216 385.19 o 24438 385.19 c 1214 385.32 o 24439 385.32 c 1213 389.85 o 24442 389.85 c 1210 390.25 o 24444 390.25 c 1208 391.37 o 24445 391.37 c 1207 391.65 o 24446 391.65 c 1206 391.76 o 24447 391.76 c 1205 392.20 o 24448 392.20 c 1204 392.32 o 24449 392.32 c 1203 392.47 o 24450 392.47 c 1202 392.76 o 24451 392.76 c 1201 392.91 o 24453 392.91 c 1199 393.19 o 24454 393.19 c 1198 393.34 o 24455 393.34 c 1197 393.60 o 24458 393.60 c 1194 394.33 o 24459 394.33 c 1193 395.50 o 24460 395.50 c 1192 395.65 o 24462 395.65 c 1190 398.69 o 24463 398.69 c 1189 399.19 o 24465 399.19 c 1187 399.33 o 24466 399.33 c 1186 401.40 o 24467 401.40 c 1185 401.54 o 24469 401.54 c 1183 401.68 o 24471 401.68 c 1181 401.82 o 24472 401.82 c 1180 402.83 o 24474 402.83 c 1178 402.97 o 24475 402.97 c 1177 403.12 o 24477 403.12 c 1175 403.20 o 24478 403.20 c 1174 403.34 o 24479 403.34 c 1173 406.20 o 24480 406.20 c 1172 406.35 o 24482 406.35 c 1170 406.51 o 24484 406.51 c 1168 406.82 o 24485 406.82 c 1167 407.12 o 24486 407.12 c 1166 407.59 o 24487 407.59 c 1165 409.84 o 24488 409.84 c 1164 410.40 o 24490 410.40 c 1162 412.51 o 24491 412.51 c 1161 413.77 o 24492 413.77 c 1160 414.24 o 24493 414.24 c 1159 414.41 o 24494 414.41 c 1158 414.56 o 24495 414.56 c 1157 415.03 o 24496 415.03 c 1156 423.95 o 24497 423.95 c 1155 424.11 o 24499 424.11 c 1153 425.53 o 24500 425.53 c 1152 425.70 o 24501 425.70 c 1151 426.03 o 24502 426.03 c 1150 426.52 o 24504 426.52 c 1148 426.98 o 24505 426.98 c 1147 427.14 o 24506 427.14 c 1146 427.30 o 24507 427.30 c 1145 428.68 o 24508 428.68 c 1144 429.01 o 24509 429.01 c 1143 430.06 o 24510 430.06 c 1142 430.38 o 24511 430.38 c 1141 433.86 o 24513 433.86 c 1139 434.01 o 24514 434.01 c 1138 434.09 o 24515 434.09 c 1137 434.25 o 24516 434.25 c 1136 434.73 o 24517 434.73 c 1135 434.90 o 24519 434.90 c 1133 435.27 o 24521 435.27 c 1131 435.42 o 24523 435.42 c 1129 437.85 o 24524 437.85 c 1128 437.97 o 24525 437.97 c 1127 438.13 o 24527 438.13 c 1125 438.29 o 24528 438.29 c 1124 438.45 o 24529 438.45 c 1123 438.60 o 24532 438.60 c 1120 438.76 o 24533 438.76 c 1119 438.93 o 24534 438.93 c 1118 441.04 o 24535 441.04 c 1117 441.53 o 24536 441.53 c 1116 442.69 o 24537 442.69 c 1115 443.50 o 24539 443.50 c 1113 443.66 o 24543 443.66 c 1109 444.11 o 24544 444.11 c 1108 447.71 o 24545 447.71 c 1107 448.64 o 24546 448.64 c 1106 448.77 o 24547 448.77 c 1105 448.90 o 24548 448.90 c 1104 449.79 o 24549 449.79 c 1103 449.96 o 24551 449.96 c 1101 450.13 o 24552 450.13 c 1100 450.82 o 24553 450.82 c 1099 450.98 o 24554 450.98 c 1098 451.97 o 24555 451.97 c 1097 452.13 o 24556 452.13 c 1096 452.48 o 24557 452.48 c 1095 454.64 o 24558 454.64 c 1094 455.27 o 24560 455.27 c 1092 485.61 485.61 search 485.61 run=0 nbConstraintChecks=2322424812 nbAssignments=5261 485.61 => wckTime=429.42 cpuTime=425.29 mem=65M92 485.61 485.61 global 485.61 nbConstraintChecks=2322424812 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 485.61 solvingWckTime=429.406 solvingCpuTime=425.28 expiredTime=no totalExploration=no nbFoundSolutions=0 485.61 globalCpuTime=479.57 485.61 => wckTime=485.297 cpuTime=479.51 mem=65M92 485.61 485.61 solver IterativeSystematicSolver being built... 485.91 => wckTime=485.596 cpuTime=479.73 mem=103M757 1532.10 1532.11 preprocessing 1532.11 nbConstraintChecks=3534565283 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 1532.11 detectedInconsistency=no 1532.11 => wckTime=1046.181 cpuTime=1036.57 mem=103M757 2418.96 v -2556 2460 2600 -2612 2656 -2468 -2436 -2336 2656 2432 2288 -2320 2560 -2564 -2328 -2636 2320 -2320 -2344 -2280 -2352 -2356 2352 2464 2376 2592 -2336 2568 -2648 2452 -2320 -2644 -2480 2424 -2640 2456 2324 -2468 -2472 2280 2456 2280 2464 -2320 2424 2580 -2596 2416 -2644 2348 -2408 -2560 -2604 -2616 2616 -2624 -2476 2332 -2516 -2528 -2356 2408 -2324 2284 -2312 -2564 2320 2652 2656 2284 2536 -2652 -2544 2540 -2352 2508 -2320 2616 2460 2380 -2572 2404 2652 -2448 2656 -2324 -2616 -2616 2504 2376 2420 2428 -2516 -2280 -2428 2452 2488 2480 2336 -2572 2312 2612 -2500 2468 -2344 2640 2608 2360 -2336 -2600 2456 2516 -2372 2324 2588 2416 2564 -2280 2460 2520 2636 -2480 2652 -2596 -2456 -2604 -2516 2304 -2528 2324 -2444 2436 -2648 -2596 -2328 -2468 -2280 -2408 2636 -2448 2444 -2308 -2640 2464 2456 2652 2324 -2600 2640 2604 2372 2428 -2344 -2348 2656 -2496 -2336 2372 2300 -2292 -2280 2552 2472 2648 -2508 2436 2280 -2588 -2384 -2436 -2496 2328 -2324 2392 2644 -2324 2416 -2580 -2448 -2352 2544 -2332 -2308 2492 -2656 2340 2520 -2628 -2632 2504 -2280 2320 2444 2304 -2320 -2532 -2352 -2304 -2652 -2604 2380 2604 2528 -2656 -2468 2572 -2632 2384 -2404 2544 -2556 -2476 2348 2360 2580 -2396 2512 2640 2656 2364 2324 2632 -2284 -2364 2508 -2468 -2612 2484 2376 2544 2304 -2616 2320 -2640 2568 2320 -2628 2608 -2488 2312 -2656 2284 -2524 -2280 2404 2604 2408 -2392 2364 -2592 2616 -2520 2560 -2288 2564 2364 -2480 -2528 2368 2324 2600 2456 2388 -2416 2568 -2284 -2640 -2324 -2580 -2656 -2356 2516 -2516 2656 -2524 -2552 2328 2376 2284 2312 -2296 2332 2652 2348 2608 2332 2472 2300 -2556 -2320 2464 -2616 -2356 2436 -2476 2388 -2464 2572 2344 -2540 -2428 2284 2492 2596 2460 -2612 -2440 -2336 2284 -2292 2280 2436 2364 2588 -2384 -2480 -2612 -2320 2384 2328 -2596 -2348 -2576 -2656 2320 2468 -2652 2284 2280 2612 -2320 2528 2644 -2604 2572 2284 2420 -2380 2332 -2600 2492 -2428 -2644 2644 -2316 2612 2552 2364 2280 2528 2432 2556 2476 -2656 -2492 2536 2352 2416 -2348 2284 2520 -2300 -2656 2280 -2284 2644 -2544 2624 -2584 -2328 -2284 -2580 -2396 -2656 2588 2536 2428 -2324 2476 -2564 2652 -2360 2320 2352 2384 2656 2412 -2508 2472 -2612 2452 -2444 -2532 2472 2296 2532 2284 -2320 -2480 2564 -2448 2420 2508 2600 2432 -2480 -2388 2648 2432 -2304 2480 2580 2420 -2656 2576 -2648 -2408 -2644 -2656 -2584 -2324 2424 2440 2360 -2560 -2652 2508 -2460 2480 -2628 -2428 -2532 2344 2384 -2600 2652 -2632 2604 -2284 2288 -2600 -2536 2632 -2368 -2384 -2472 -2316 -2320 -2652 2500 -2336 2280 -2404 2396 -2340 -2596 2548 2396 -2352 2616 2484 -2608 -2652 2284 2280 -2432 -2448 2280 -2616 -2624 -2392 -2436 -2496 -2432 -2300 -2392 -2468 -2388 -2648 -2412 2592 -2448 2572 -2548 2476 2464 -2492 2424 2596 2320 -2452 2484 2588 2584 -2408 2332 2388 2500 -2528 -2372 -2340 -2324 2392 -2556 -2288 -2488 -2616 2616 2568 2404 2380 2452 -2540 2512 2504 2324 -2568 2600 2480 -2616 -2468 2292 2524 2588 2644 2368 -2348 -2320 -2436 2392 -2616 2320 2600 -2300 2588 -2284 -2600 -2512 -2656 -2316 -2312 2632 2616 -2596 -2320 -2572 2640 -2296 -2564 2608 -2656 -2380 2416 -2368 -2432 2488 -2408 -2284 2284 2652 2604 -2396 2636 -2428 -2320 -2608 -2596 -2448 2288 2416 -2612 2560 -2456 -2588 2656 2576 2448 -2388 -2580 -2616 -2428 2480 -2520 2284 -2304 -2588 -2556 2576 2556 -2616 2528 2280 -2440 -2468 -2304 2564 2384 2572 2556 2596 -2612 2300 -2512 2424 -2332 2372 -2404 -2592 -2432 2592 -2500 -2288 -2416 -2600 -2408 -2480 2588 -2408 2616 -2504 -2608 2552 -2500 -2376 2488 2576 2464 -2280 2532 2572 2320 -2344 2464 -2616 -2400 2628 -2372 -2616 2484 -2288 2308 2524 -2404 2656 2320 -2484 -2292 -2384 -2280 2428 -2452 2560 -2480 -2520 -2632 -2320 2652 2492 -2452 2324 -2500 2612 2532 -2436 -2428 -2292 -2456 2572 2412 -2408 -2432 -2600 -2532 2628 -2652 -2652 2464 -2364 2496 -2280 2652 -2292 -2336 -2324 -2328 2608 2488 2420 -2316 2488 2428 -2428 -2428 2292 -2652 -2364 2324 2344 -2468 -2600 2436 -2588 2616 -2320 2576 2548 2492 2612 2556 2600 -2612 -2608 2572 -2280 2452 2492 -2524 2356 -2604 -2352 2404 2384 2500 2620 -2424 -2296 -2616 -2280 2472 -2332 -2408 -2340 2360 -2552 -2512 2528 2540 -2332 -2396 -2396 2300 -2308 -2560 -2404 -2624 2408 2524 2468 -2520 -2492 -2456 2340 2516 2568 -2596 -2600 2320 -2492 2372 -2312 -2596 2464 2368 2388 -2520 -2656 2324 -2636 -2448 2592 2344 2320 2612 2284 2320 -2616 -2280 2520 -2336 2408 2600 -2284 -2584 2644 2552 2656 -2388 -2532 -2576 -2512 -2600 2344 -2596 2592 2448 2320 2436 2300 -2436 2420 2564 2508 -2532 -2616 -2652 -2600 2412 -2316 2476 2288 -2280 -2460 -2612 -2344 2352 -2416 2392 -2412 -2404 2440 -2312 2332 2296 2628 2512 2504 -2520 -2324 -2464 -2628 2440 -2324 2616 -2388 -2656 -2604 -2616 2464 2336 2384 -2520 2320 -2324 -2492 2432 2596 -2464 2280 2616 -2284 -2280 -2552 -2568 -2484 2284 -2324 2356 2556 -2468 -2468 -2384 2656 -2592 -2520 2480 -2288 -2576 -2280 -2528 2632 2428 -2284 -2320 2328 2320 -2616 -2512 -2464 -2368 -2616 -2424 2440 -2344 -2300 2604 -2508 2524 2588 2484 2544 2464 -2480 2648 2444 -2412 2556 2308 -2496 2356 2396 -2480 2656 2656 -2340 -2404 -2376 -2632 2640 -2340 2564 -2532 -2428 2520 -2648 2624 -2280 -2560 2612 -2512 -2656 2468 2284 2468 -2460 -2560 -2456 -2312 -2524 -2592 -2328 -2476 2460 2528 -2604 2640 -2320 -2656 2356 2480 -2508 2408 -2324 -2584 -2312 -2512 2608 -2412 2560 2376 2280 2636 -2588 2308 2536 -2480 2344 -2440 -2372 2416 2280 -2616 2608 -2320 2604 -2340 -2376 -2424 2604 2436 2472 2480 2640 2288 -2488 -2324 2324 2568 -2648 2464 2388 2368 -2536 -2328 2464 2600 2588 2508 2472 2344 -2340 -2612 -2468 2616 -2656 2424 2656 2560 2612 -2656 -2448 -2412 -2472 2628 -2524 -2404 -2608 -2536 -2480 2288 -2424 2420 2376 2504 -2616 2552 2328 2480 -2308 2356 2576 -2444 -2656 -2608 -2656 -2400 -2484 2576 2532 2520 2428 2616 -2328 -2464 2572 -2320 -2504 2612 2536 2616 2588 -2316 -2516 -2384 2468 -2516 2604 -2312 2524 2624 -2520 2520 -2364 -2324 -2616 -2352 2424 2284 -2596 2656 2480 -2648 -2284 2444 -2356 -2516 2636 2288 -2476 -2656 -2336 -2536 2424 -2588 -2280 2280 -2484 -2616 -2416 2288 2600 2292 -2368 -2584 -2340 -2392 2656 -2328 -2500 -2308 2520 2568 2592 -2628 -2436 2352 2392 2296 -2368 -2472 -2396 -2412 -2336 2584 -2612 2432 2284 2612 -2388 -2652 2512 2516 2632 2620 -2596 -2336 -2324 2596 -2576 2652 -2296 -2512 -2364 -2284 -2316 -2536 -2324 -2544 -2448 -2280 -2504 -2344 -2356 -2552 2636 2284 2288 -2284 2492 2432 2488 2580 2304 -2280 2340 -2320 -2292 2352 -2492 2648 -2464 -2524 -2524 -2480 -2460 -2560 2396 2568 -2468 2616 -2616 2552 2332 -2492 2600 2456 -2320 2516 -2608 2648 2572 2308 2520 -2492 2540 2396 -2408 2612 2280 -2520 2600 -2640 2448 2604 -2364 2476 2284 2572 -2392 2280 -2460 2456 -2628 -2448 -2572 2604 2440 2420 2636 -2308 -2544 -2360 -2516 -2280 -2612 2352 -2344 -2632 2592 2460 2412 -2304 2632 2468 2480 2468 2548 -2320 2416 -2532 2536 -2568 2404 2612 -2424 -2332 -2608 -2332 -2604 -2356 -2396 2360 -2464 -2496 -2560 2572 2632 2356 2656 -2616 -2388 2572 2324 2656 -2656 -2524 2320 -2328 -2320 2584 2364 -2404 -2292 2480 2284 2376 -2636 -2508 2348 2620 2596 2560 -2424 2584 -2332 2344 -2308 -2400 2596 -2612 2284 2568 2388 -2488 -2552 -2472 2644 -2436 2612 2480 2560 2408 2600 2572 -2608 -2560 -2568 2524 -2576 -2548 -2320 2608 2456 2320 -2648 2488 -2544 2588 -2300 2304 2424 -2280 2616 -2512 -2564 -2408 -2324 -2360 -2532 -2368 2400 2512 -2392 -2588 2564 -2568 2464 2324 -2616 2324 -2612 2580 2432 2656 2500 2284 -2368 2544 2496 2564 2608 -2372 -2336 -2600 -2528 -2320 2552 2372 -2652 2468 2656 2416 2400 2600 -2396 -2532 2284 2440 -2632 2628 2312 2360 2436 2468 2648 2360 2336 2492 2644 -2468 -2644 -2320 -2280 2484 2532 2312 2576 -2524 -2344 -2572 -2592 2392 -2616 -2544 2352 2316 2628 -2324 -2448 2508 -2600 2288 -2612 2460 2384 2384 -2612 -2468 -2280 2284 2300 2568 -2292 -2656 2320 -2548 2616 -2560 2612 2612 2280 2528 2632 -2280 2628 -2320 2376 -2504 -2480 2336 -2652 -2616 -2356 -2324 2288 2456 2484 2348 -2656 -2616 2496 2512 2612 -2484 -2612 2508 -2320 -2620 -2596 -2412 2556 -2616 2652 -2544 -2592 -2504 -2296 2340 -2280 -2592 -2652 2600 -2584 -2280 -2440 -2636 2388 -2368 -2324 -2332 -2316 2532 2612 2620 -2636 -2488 2612 2472 2512 -2616 2380 -2440 -2588 2368 2540 2428 -2508 2652 2368 2376 -2300 2580 -2604 -2524 2320 2468 2604 -2596 2292 -2280 -2388 2332 -2648 -2628 -2508 -2452 -2448 2444 -2320 -2444 2444 -2388 2320 2324 -2616 2452 -2568 2652 2380 2616 2536 2356 2348 2620 -2328 -2552 2392 2532 2372 -2348 2556 2572 2532 2380 -2468 2284 -2600 2320 2632 -2396 -2344 -2524 2540 -2280 -2320 2452 -2364 2512 2348 -2280 -2352 -2616 2428 -2500 -2292 -2280 -2352 -2316 -2320 -2280 -2344 2636 -2628 -2556 2600 2540 2360 -2552 2616 2404 2656 2536 -2376 -2392 -2632 2352 2488 2628 -2452 2444 -2436 2560 2316 2328 2612 2516 -2452 -2280 2628 2516 2612 2284 -2440 -2480 -2336 2520 2428 -2572 -2552 2584 2296 -2628 2600 2640 2328 2552 -2656 -2392 -2280 -2344 -2656 2588 -2356 -2280 2300 -2616 2380 2488 2600 -2288 -2608 2548 -2396 2420 -2452 2636 -2516 -2360 -2460 2324 -2548 2400 2420 -2520 2592 -2464 2612 2656 -2504 2608 -2492 -2324 2512 2576 2388 -2300 -2520 2652 2572 2440 -2656 -2348 2536 2284 2352 2280 -2452 2340 2440 2444 -2428 -2536 -2424 2604 2612 -2316 -2616 -2436 -2468 2492 2408 2640 2596 -2556 -2500 -2572 2572 2636 -2656 2588 2432 -2384 2616 -2588 -2648 -2632 2652 2540 -2648 2480 -2416 2420 2652 2392 -2416 -2512 2292 -2592 2500 -2364 2324 -2596 2612 -2636 2324 2572 -2476 -2392 2512 -2612 -2656 -2504 2436 -2284 2496 2592 2532 2616 -2584 -2616 2588 2416 2412 -2328 2528 2576 2296 2656 -2436 -2284 2548 -2464 -2392 2588 -2608 -2544 2308 2284 -2460 -2476 2392 -2612 2296 2284 2628 2432 -2484 2324 2560 -2480 2656 2528 -2416 2544 2392 -2320 -2588 -2596 -2320 -2652 -2580 2528 -2452 2500 -2428 2484 2352 2456 2324 -2324 2532 2356 2548 -2352 -2496 2280 2480 2432 -2328 2564 -2604 2440 -2452 2564 2412 -2316 -2616 -2564 -2504 2604 -2560 -2544 -2640 -2540 2420 2320 -2284 -2616 -2576 -2288 2404 -2564 -2540 2596 2440 2640 2304 -2444 -2484 2556 -2596 2600 -2328 -2572 2512 2392 -2604 -2612 -2612 2548 -2296 -2616 -2604 2608 2316 2640 2648 2340 -2284 2648 -2428 2632 -2656 -2424 2376 -2612 -2480 2564 2544 2608 2652 -2616 -2616 -2324 -2436 2616 2412 -2616 -2648 2320 -2636 -2320 2460 -2564 -2608 -2360 2656 2328 2280 2584 2612 2412 -2656 2332 -2320 2580 2588 2504 -2348 -2464 -2312 2352 -2584 2492 2524 2460 2496 -2320 -2320 2436 2360 -2588 2648 2464 -2284 -2444 -2528 2452 -2284 2452 -2280 2484 -2360 -2352 2448 -2520 -2612 -2420 -2344 -2332 -2524 2616 -2296 2336 -2616 -2628 -2312 -2396 2296 -2496 -2656 2656 -2280 -2288 -2412 2556 2416 2440 2328 -2636 -2604 2452 2432 2448 2284 2600 -2556 -2292 2556 2616 2656 2296 -2612 2652 2652 -2368 2564 -2388 2428 2648 -2388 2312 2320 2396 2492 -2476 2476 2492 -2344 -2284 2428 2280 -2284 2520 2636 2500 -2504 -2424 2464 2480 -2640 -2284 2324 -2624 -2388 -2380 2392 2536 -2556 -2380 2532 -2656 -2416 -2416 2284 2288 -2540 2628 2352 2552 -2644 -2552 2324 2476 2324 -2568 2508 2544 -2500 -2376 2340 -2280 2644 -2368 -2656 2644 2656 2500 2316 2360 2456 -2428 2656 2508 -2604 -2280 2348 -2412 2328 -2412 2372 2656 -2420 -2600 -2328 2628 -2608 -2280 -2488 -2352 2560
1092 unsatisfied constraints, 24560 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-275294-1169219700 -o ROOT/results/node20/solver-275294-1169219700 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275294-1169219700/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.99 1.99 1.94 4/93 15557 /proc/meminfo: memFree=1204880/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=47892 CPUtime=0 /proc/15556/stat : 15556 (java) D 15554 15556 14842 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 270364517 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0 /proc/15556/statm: 11973 968 766 14 0 1707 0 [startup+0.103704 s] /proc/loadavg: 1.99 1.99 1.94 4/93 15557 /proc/meminfo: memFree=1204880/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=914988 CPUtime=0.08 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 2984 0 1 0 7 1 0 0 19 0 8 0 270364517 936947712 2730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153548495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228747 2730 1426 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.511752 s] /proc/loadavg: 1.99 1.99 1.94 4/93 15557 /proc/meminfo: memFree=1204880/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915332 CPUtime=0.49 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 6860 0 1 0 45 4 0 0 18 0 8 0 270364517 937299968 6599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228833 6599 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.33486 s] /proc/loadavg: 1.99 1.99 1.94 3/100 15564 /proc/meminfo: memFree=1136664/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915612 CPUtime=1.29 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 21303 0 1 0 119 10 0 0 24 0 8 0 270364517 937586688 21040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228903 21040 2164 14 0 215373 0 [pid=15556/tid=15558] ppid=15554 vsize=915612 CPUtime=0.07 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 4745 0 0 0 6 1 0 0 16 0 8 0 270364521 937586688 21040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915612 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937586688 21040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915612 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937586688 21040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915612 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937586688 21040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915612 CPUtime=0.16 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 403 0 0 0 16 0 0 0 16 0 8 0 270364525 937586688 21040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915612 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937586688 21040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915612 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937586688 21040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915612 [startup+2.98805 s] /proc/loadavg: 1.99 1.99 1.94 3/100 15564 /proc/meminfo: memFree=1125016/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915744 CPUtime=2.94 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 22271 0 1 0 282 12 0 0 25 0 8 0 270364517 937721856 22005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155889198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228936 22005 2184 14 0 215406 0 [pid=15556/tid=15558] ppid=15554 vsize=915744 CPUtime=0.13 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 5622 0 0 0 12 1 0 0 17 0 8 0 270364521 937721856 22005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 22005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 22005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937721856 22005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915744 CPUtime=0.19 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 429 0 0 0 19 0 0 0 16 0 8 0 270364525 937721856 22005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937721856 22005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937721856 22005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 915744 [startup+6.27044 s] /proc/loadavg: 1.99 1.99 1.94 4/100 15564 /proc/meminfo: memFree=1124888/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915744 CPUtime=6.19 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 22282 0 1 0 604 15 0 0 25 0 8 0 270364517 937721856 22014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228936 22014 2185 14 0 215406 0 [pid=15556/tid=15558] ppid=15554 vsize=915744 CPUtime=0.13 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 5622 0 0 0 12 1 0 0 17 0 8 0 270364521 937721856 22014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 22014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 22014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937721856 22014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915744 CPUtime=0.21 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 437 0 0 0 21 0 0 0 15 0 8 0 270364525 937721856 22014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937721856 22014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937721856 22014 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.7622 s] /proc/loadavg: 1.99 1.99 1.94 3/100 15564 /proc/meminfo: memFree=1125016/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915744 CPUtime=12.63 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 23830 0 1 0 1237 26 0 0 25 0 8 0 270364517 937721856 23558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228936 23558 2185 14 0 215406 0 [pid=15556/tid=15558] ppid=15554 vsize=915744 CPUtime=0.21 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 7158 0 0 0 19 2 0 0 17 0 8 0 270364521 937721856 23558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 23558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 23558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937721856 23558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915744 CPUtime=0.22 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 445 0 0 0 22 0 0 0 16 0 8 0 270364525 937721856 23558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937721856 23558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937721856 23558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 915744 [startup+25.6038 s] /proc/loadavg: 1.99 1.99 1.94 3/100 15564 /proc/meminfo: memFree=1108376/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915744 CPUtime=25.35 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 26497 0 1 0 2485 50 0 0 25 0 8 0 270364517 937721856 26224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228936 26224 2185 14 0 215406 0 [pid=15556/tid=15558] ppid=15554 vsize=915744 CPUtime=0.33 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 9823 0 0 0 30 3 0 0 16 0 8 0 270364521 937721856 26224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 26224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 26224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937721856 26224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915744 CPUtime=0.22 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 446 0 0 0 22 0 0 0 15 0 8 0 270364525 937721856 26224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937721856 26224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937721856 26224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 915744 [startup+51.2219 s] /proc/loadavg: 1.99 1.99 1.94 3/100 15564 /proc/meminfo: memFree=1092376/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915744 CPUtime=50.73 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 30487 0 1 0 4964 109 0 0 25 0 8 0 270364517 937721856 30212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228936 30212 2185 14 0 215406 0 [pid=15556/tid=15558] ppid=15554 vsize=915744 CPUtime=0.53 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 13810 0 0 0 48 5 0 0 16 0 8 0 270364521 937721856 30212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 30212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 30212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937721856 30212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915744 CPUtime=0.23 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 447 0 0 0 23 0 0 0 16 0 8 0 270364525 937721856 30212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937721856 30212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937721856 30212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 915744 [startup+102.476 s] /proc/loadavg: 1.99 1.99 1.94 3/100 15564 /proc/meminfo: memFree=1077720/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915744 CPUtime=101.43 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34508 0 1 0 9999 144 0 0 25 0 8 0 270364517 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074011738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15556/statm: 228936 34190 2504 14 0 215406 0 [pid=15556/tid=15558] ppid=15554 vsize=915744 CPUtime=0.9 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 17451 0 0 0 84 6 0 0 16 0 8 0 270364521 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915744 CPUtime=0.3 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 476 0 0 0 29 1 0 0 15 0 8 0 270364525 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915744 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.43 Current children cumulated vsize (KiB) 915744 [startup+162.578 s] /proc/loadavg: 1.99 1.99 1.94 3/100 15564 /proc/meminfo: memFree=1077720/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915744 CPUtime=160.96 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34508 0 1 0 15940 156 0 0 25 0 8 0 270364517 937721856 34190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074011738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2004.95 Current children cumulated vsize (KiB) 915884 [startup+2083.4 s] /proc/loadavg: 2.00 2.01 1.97 3/94 15647 /proc/meminfo: memFree=1184904/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915884 CPUtime=2064.9 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34753 0 1 0 206288 202 0 0 25 0 8 0 270364517 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074322352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15556/statm: 228971 34419 2551 14 0 215441 0 [pid=15556/tid=15558] ppid=15554 vsize=915884 CPUtime=0.9 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 17451 0 0 0 84 6 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915884 CPUtime=0.43 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 610 0 0 0 42 1 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2064.9 Current children cumulated vsize (KiB) 915884 [startup+2143.48 s] /proc/loadavg: 2.00 2.00 1.97 3/94 15647 /proc/meminfo: memFree=1184904/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915884 CPUtime=2124.9 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34753 0 1 0 212288 202 0 0 25 0 8 0 270364517 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15556/statm: 228971 34419 2551 14 0 215441 0 [pid=15556/tid=15558] ppid=15554 vsize=915884 CPUtime=0.9 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 17451 0 0 0 84 6 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915884 CPUtime=0.43 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 610 0 0 0 42 1 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2124.9 Current children cumulated vsize (KiB) 915884 [startup+2203.55 s] /proc/loadavg: 2.04 2.02 1.97 3/94 15647 /proc/meminfo: memFree=1184904/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915884 CPUtime=2184.91 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34753 0 1 0 218289 202 0 0 25 0 8 0 270364517 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15556/statm: 228971 34419 2551 14 0 215441 0 [pid=15556/tid=15558] ppid=15554 vsize=915884 CPUtime=0.9 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 17451 0 0 0 84 6 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915884 CPUtime=0.43 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 610 0 0 0 42 1 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2184.91 Current children cumulated vsize (KiB) 915884 [startup+2263.63 s] /proc/loadavg: 2.01 2.01 1.97 3/94 15647 /proc/meminfo: memFree=1184904/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915884 CPUtime=2244.94 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34753 0 1 0 224292 202 0 0 25 0 8 0 270364517 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288852 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15556/statm: 228971 34419 2551 14 0 215441 0 [pid=15556/tid=15558] ppid=15554 vsize=915884 CPUtime=0.9 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 17451 0 0 0 84 6 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915884 CPUtime=0.43 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 610 0 0 0 42 1 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2244.94 Current children cumulated vsize (KiB) 915884 [startup+2323.7 s] /proc/loadavg: 2.00 2.00 1.97 3/94 15647 /proc/meminfo: memFree=1184968/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915884 CPUtime=2304.93 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34753 0 1 0 230291 202 0 0 25 0 8 0 270364517 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15556/statm: 228971 34419 2551 14 0 215441 0 [pid=15556/tid=15558] ppid=15554 vsize=915884 CPUtime=0.9 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 17451 0 0 0 84 6 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915884 CPUtime=0.43 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 610 0 0 0 42 1 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2304.93 Current children cumulated vsize (KiB) 915884 [startup+2383.78 s] /proc/loadavg: 2.00 2.00 1.97 3/94 15647 /proc/meminfo: memFree=1184904/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915884 CPUtime=2364.95 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34753 0 1 0 236293 202 0 0 25 0 8 0 270364517 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288910 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15556/statm: 228971 34419 2551 14 0 215441 0 [pid=15556/tid=15558] ppid=15554 vsize=915884 CPUtime=0.9 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 17451 0 0 0 84 6 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915884 CPUtime=0.43 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 610 0 0 0 42 1 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937865216 34419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2364.95 Current children cumulated vsize (KiB) 915884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2418.95 s] /proc/loadavg: 2.00 2.00 1.97 3/94 15647 /proc/meminfo: memFree=1184968/2055920 swapFree=4170260/4192956 [pid=15556] ppid=15554 vsize=915884 CPUtime=2400.1 /proc/15556/stat : 15556 (java) R 15554 15556 14842 0 -1 0 34754 0 1 0 239808 202 0 0 25 0 8 0 270364517 937865216 34420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288868 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15556/statm: 228971 34420 2551 14 0 215441 0 [pid=15556/tid=15558] ppid=15554 vsize=915884 CPUtime=0.9 /proc/15556/task/15558/stat : 15558 (java) S 15554 15556 14842 0 -1 64 17451 0 0 0 84 6 0 0 16 0 8 0 270364521 937865216 34420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15559] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15559/stat : 15559 (java) S 15554 15556 14842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15560] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15560/stat : 15560 (java) S 15554 15556 14842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270364521 937865216 34420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15561] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15561/stat : 15561 (java) S 15554 15556 14842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270364525 937865216 34420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15562] ppid=15554 vsize=915884 CPUtime=0.43 /proc/15556/task/15562/stat : 15562 (java) S 15554 15556 14842 0 -1 64 611 0 0 0 42 1 0 0 16 0 8 0 270364525 937865216 34420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15556/tid=15563] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15563/stat : 15563 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270364525 937865216 34420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15556/tid=15564] ppid=15554 vsize=915884 CPUtime=0 /proc/15556/task/15564/stat : 15564 (java) S 15554 15556 14842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270364525 937865216 34420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.1 Current children cumulated vsize (KiB) 915884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2418.99 CPU time (s): 2400.14 CPU user time (s): 2398.09 CPU system time (s): 2.04769 CPU usage (%): 99.2207 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.09 system time used= 2.04769 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34778 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= 50825 involuntary context switches= 106276 runsolver used 3.2905 s user time and 7.58985 s system time The end
Begin job on node20 on Fri Jan 19 15:15:00 UTC 2007 IDJOB= 275294 IDBENCH= 3773 IDSOLVER= 68 FILE ID= node20/275294-1169219700 PBS_JOBID= 3589159 Free space on /tmp= 66556 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-1.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275294-1169219700/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-275294-1169219700 -o ROOT/results/node20/solver-275294-1169219700 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275294-1169219700/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= f05f4f4f08175b4a33e0715dbde0d67a RANDOM SEED= 406279779 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.216 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.216 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: 1205360 kB Buffers: 41836 kB Cached: 594748 kB SwapCached: 3160 kB Active: 234700 kB Inactive: 542352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1205360 kB SwapTotal: 4192956 kB SwapFree: 4170260 kB Dirty: 5328 kB Writeback: 0 kB Mapped: 165740 kB Slab: 57988 kB Committed_AS: 5661112 kB PageTables: 2644 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node20 on Fri Jan 19 15:55:19 UTC 2007