Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.12 | 2410.73 |
| Name | fapp/fapp36-40/fapp36/ fapp36-2000-2.xml |
| MD5SUM | 137398d09e92b8e2132a9bc337bc058c |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 17405 |
| Best CPU time to get the best result obtained on this benchmark | 2400.12 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 2000 |
| Number of constraints | 18600 |
| Maximum constraint arity | 2 |
| Maximum domain size | 454 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 18600 |
| Global constraints used (with number of constraints) |
0.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=pfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275652-1169224752/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.71 nbVariables=2000 nbDomainTypes=26 minDomainSize=46 maxDomainSize=454 0.71 => wckTime=0.39 cpuTime=0.29 mem=34M241 0.71 0.71 predicates being loaded... 0.71 0.71 constraints being loaded... 61.31 61.31 INFO : Stopping converting binary constraints (cpu=60.02, mem = 59M317) 62.88 nbConstraints=18600 nbConvertedConstraints=1848 nbConvertConstraintsChecks=187268546 nbExtensionStructures=1519 62.88 nbSharedExtensionStructures=329 nbConflictsStructures=1519 nbSharedConflictsStructures=329 62.88 nbSharedBinaryRepresentations=1016352 nbEvaluationManagers=8157 nbSharedEvaluationManagers=8595 maxDegree=25 62.88 maxArity=2 62.89 => wckTime=62.568 cpuTime=61.3 mem=70M369 63.13 63.13 solver LocalSearchSolver being built... 63.17 => wckTime=62.854 cpuTime=61.35 mem=62M165 63.33 63.33 s SATISFIABLE 63.33 o 13227 63.33 c 5373 63.44 o 13236 63.44 c 5364 63.52 o 13240 63.52 c 5360 63.59 o 13244 63.59 c 5356 63.64 o 13251 63.64 c 5349 63.67 o 13253 63.67 c 5347 63.72 o 13254 63.72 c 5346 63.78 o 13261 63.78 c 5339 63.84 o 13267 63.84 c 5333 63.88 o 13273 63.88 c 5327 63.92 o 13279 63.92 c 5321 63.96 o 13284 63.96 c 5316 64.01 o 13289 64.01 c 5311 64.04 o 13293 64.04 c 5307 64.08 o 13297 64.08 c 5303 64.14 o 13301 64.14 c 5299 64.19 o 13304 64.19 c 5296 64.22 o 13307 64.22 c 5293 64.26 o 13310 64.26 c 5290 64.29 o 13313 64.29 c 5287 64.32 o 13316 64.32 c 5284 64.36 o 13318 64.36 c 5282 64.39 o 13320 64.39 c 5280 64.41 o 13322 64.41 c 5278 64.44 o 13324 64.44 c 5276 64.46 o 13325 64.46 c 5275 64.48 o 13326 64.48 c 5274 64.50 o 13327 64.50 c 5273 64.54 o 13328 64.54 c 5272 64.56 o 13329 64.56 c 5271 64.59 o 13333 64.59 c 5267 64.65 o 13339 64.65 c 5261 64.69 o 13345 64.69 c 5255 64.75 o 13350 64.75 c 5250 64.79 o 13355 64.79 c 5245 64.85 o 13360 64.85 c 5240 64.90 o 13364 64.90 c 5236 64.94 o 13368 64.94 c 5232 64.99 o 13372 64.99 c 5228 65.04 o 13376 65.04 c 5224 65.09 o 13379 65.09 c 5221 65.14 o 13382 65.14 c 5218 65.18 o 13385 65.18 c 5215 65.22 o 13388 65.22 c 5212 65.27 o 13391 65.27 c 5209 65.32 o 13394 65.32 c 5206 65.36 o 13397 65.36 c 5203 65.40 o 13399 65.40 c 5201 65.44 o 13401 65.44 c 5199 65.50 o 13403 65.50 c 5197 65.54 o 13405 65.54 c 5195 65.58 o 13407 65.58 c 5193 65.62 o 13409 65.62 c 5191 65.65 o 13411 65.65 c 5189 65.69 o 13413 65.69 c 5187 65.72 o 13415 65.72 c 5185 65.74 o 13417 65.74 c 5183 65.77 o 13418 65.77 c 5182 65.79 o 13419 65.79 c 5181 65.82 o 13420 65.82 c 5180 65.85 o 13421 65.85 c 5179 65.91 o 13422 65.91 c 5178 65.93 o 13423 65.93 c 5177 65.96 o 13424 65.96 c 5176 65.97 o 13425 65.97 c 5175 66.04 o 13432 66.04 c 5168 66.09 o 13437 66.09 c 5163 66.16 o 13440 66.16 c 5160 66.21 o 13445 66.21 c 5155 66.28 o 13450 66.28 c 5150 66.34 o 13454 66.34 c 5146 66.40 o 13458 66.40 c 5142 66.46 o 13461 66.46 c 5139 66.52 o 13464 66.52 c 5136 66.57 o 13467 66.57 c 5133 66.64 o 13470 66.64 c 5130 66.69 o 13473 66.69 c 5127 66.74 o 13476 66.74 c 5124 66.80 o 13479 66.80 c 5121 66.86 o 13482 66.86 c 5118 66.91 o 13485 66.91 c 5115 66.95 o 13488 66.95 c 5112 66.99 o 13491 66.99 c 5109 67.03 o 13493 67.03 c 5107 67.08 o 13495 67.08 c 5105 67.11 o 13497 67.11 c 5103 67.15 o 13499 67.15 c 5101 67.20 o 13501 67.20 c 5099 67.23 o 13503 67.23 c 5097 67.27 o 13505 67.27 c 5095 67.31 o 13507 67.31 c 5093 67.34 o 13509 67.34 c 5091 67.37 o 13511 67.37 c 5089 67.40 o 13513 67.40 c 5087 67.43 o 13515 67.43 c 5085 67.45 o 13516 67.45 c 5084 67.48 o 13517 67.48 c 5083 67.52 o 13518 67.52 c 5082 67.55 o 13519 67.55 c 5081 67.58 o 13520 67.58 c 5080 67.60 o 13521 67.60 c 5079 67.64 o 13526 67.64 c 5074 67.66 o 13530 67.66 c 5070 67.69 o 13537 67.69 c 5063 67.71 o 13539 67.71 c 5061 67.73 o 13540 67.73 c 5060 67.76 o 13547 67.76 c 5053 67.78 o 13552 67.78 c 5048 67.81 o 13556 67.81 c 5044 67.84 o 13559 67.84 c 5041 67.87 o 13561 67.87 c 5039 67.91 o 13564 67.91 c 5036 67.96 o 13571 67.96 c 5029 68.00 o 13577 68.00 c 5023 68.04 o 13582 68.04 c 5018 68.07 o 13585 68.07 c 5015 68.11 o 13590 68.11 c 5010 68.14 o 13593 68.14 c 5007 68.19 o 13597 68.19 c 5003 68.24 o 13602 68.24 c 4998 68.29 o 13603 68.29 c 4997 68.31 o 13607 68.31 c 4993 68.37 o 13611 68.37 c 4989 68.41 o 13612 68.41 c 4988 68.45 o 13614 68.45 c 4986 68.49 o 13616 68.49 c 4984 68.53 o 13619 68.53 c 4981 68.55 o 13620 68.55 c 4980 68.62 o 13623 68.62 c 4977 68.69 o 13625 68.69 c 4975 68.72 o 13627 68.72 c 4973 68.75 o 13632 68.75 c 4968 68.84 o 13636 68.84 c 4964 68.91 o 13642 68.91 c 4958 68.99 o 13648 68.99 c 4952 69.07 o 13654 69.07 c 4946 69.15 o 13660 69.15 c 4940 69.23 o 13665 69.23 c 4935 69.31 o 13670 69.31 c 4930 69.38 o 13675 69.38 c 4925 69.47 o 13680 69.47 c 4920 69.53 o 13685 69.53 c 4915 69.61 o 13689 69.61 c 4911 69.68 o 13693 69.68 c 4907 69.76 o 13697 69.76 c 4903 69.84 o 13701 69.84 c 4899 69.91 o 13705 69.91 c 4895 69.98 o 13708 69.98 c 4892 70.06 o 13711 70.06 c 4889 70.12 o 13714 70.12 c 4886 70.19 o 13717 70.19 c 4883 70.25 o 13722 70.25 c 4878 70.31 o 13725 70.31 c 4875 70.37 o 13728 70.37 c 4872 70.43 o 13731 70.43 c 4869 70.48 o 13735 70.48 c 4865 70.54 o 13738 70.54 c 4862 70.59 o 13740 70.59 c 4860 70.63 o 13742 70.63 c 4858 70.68 o 13744 70.68 c 4856 70.73 o 13746 70.73 c 4854 70.78 o 13748 70.78 c 4852 70.86 o 13750 70.86 c 4850 70.89 o 13752 70.89 c 4848 70.94 o 13754 70.94 c 4846 70.97 o 13756 70.97 c 4844 71.02 o 13758 71.02 c 4842 71.05 o 13760 71.05 c 4840 71.10 o 13762 71.10 c 4838 71.13 o 13763 71.13 c 4837 71.16 o 13764 71.16 c 4836 71.20 o 13765 71.20 c 4835 71.24 o 13766 71.24 c 4834 71.28 o 13767 71.28 c 4833 71.32 o 13768 71.32 c 4832 71.35 o 13775 71.35 c 4825 71.38 o 13776 71.38 c 4824 71.41 o 13777 71.41 c 4823 71.43 o 13778 71.43 c 4822 71.51 o 13782 71.51 c 4818 71.54 o 13785 71.54 c 4815 71.56 o 13786 71.56 c 4814 71.60 o 13791 71.60 c 4809 71.67 o 13795 71.67 c 4805 71.70 o 13798 71.70 c 4802 71.72 o 13801 71.72 c 4799 71.76 o 13805 71.76 c 4795 71.80 o 13807 71.80 c 4793 71.82 o 13814 71.82 c 4786 71.84 o 13816 71.84 c 4784 71.88 o 13821 71.88 c 4779 71.91 o 13823 71.91 c 4777 71.95 o 13829 71.95 c 4771 71.98 o 13830 71.98 c 4770 72.02 o 13831 72.03 c 4769 72.07 o 13835 72.07 c 4765 72.11 o 13840 72.11 c 4760 72.19 o 13845 72.19 c 4755 72.23 o 13847 72.23 c 4753 72.28 o 13855 72.28 c 4745 72.32 o 13856 72.32 c 4744 72.36 o 13861 72.36 c 4739 72.40 o 13862 72.40 c 4738 72.45 o 13863 72.45 c 4737 72.50 o 13871 72.50 c 4729 72.54 o 13874 72.54 c 4726 72.57 o 13876 72.57 c 4724 72.61 o 13879 72.61 c 4721 72.64 o 13880 72.64 c 4720 72.66 o 13883 72.66 c 4717 72.77 o 13884 72.77 c 4716 72.80 o 13885 72.80 c 4715 72.83 o 13888 72.83 c 4712 72.86 o 13889 72.86 c 4711 72.89 o 13890 72.89 c 4710 72.93 o 13893 72.93 c 4707 72.96 o 13896 72.96 c 4704 73.00 o 13898 73.00 c 4702 73.03 o 13902 73.03 c 4698 73.07 o 13903 73.07 c 4697 73.19 o 13904 73.19 c 4696 73.26 o 13907 73.26 c 4693 73.33 o 13914 73.33 c 4686 73.39 o 13921 73.39 c 4679 73.47 o 13923 73.47 c 4677 73.56 o 13929 73.56 c 4671 73.64 o 13931 73.64 c 4669 73.73 o 13937 73.73 c 4663 73.79 o 13939 73.79 c 4661 73.88 o 13940 73.88 c 4660 73.96 o 13946 73.96 c 4654 74.05 o 13952 74.05 c 4648 74.12 o 13953 74.12 c 4647 74.16 o 13954 74.16 c 4646 74.33 o 13960 74.33 c 4640 74.43 o 13965 74.43 c 4635 74.52 o 13970 74.52 c 4630 74.61 o 13975 74.61 c 4625 74.70 o 13979 74.70 c 4621 74.80 o 13983 74.80 c 4617 74.89 o 13987 74.89 c 4613 74.98 o 13991 74.98 c 4609 75.07 o 13995 75.07 c 4605 75.16 o 13999 75.16 c 4601 75.25 o 14002 75.25 c 4598 75.34 o 14005 75.34 c 4595 75.43 o 14008 75.43 c 4592 75.52 o 14011 75.52 c 4589 75.62 o 14014 75.62 c 4586 75.71 o 14017 75.71 c 4583 75.80 o 14020 75.80 c 4580 75.90 o 14023 75.90 c 4577 75.98 o 14026 75.98 c 4574 76.06 o 14028 76.06 c 4572 76.14 o 14030 76.14 c 4570 76.21 o 14034 76.21 c 4566 76.29 o 14037 76.29 c 4563 76.37 o 14039 76.37 c 4561 76.43 o 14041 76.43 c 4559 76.50 o 14043 76.50 c 4557 76.58 o 14045 76.58 c 4555 76.66 o 14047 76.66 c 4553 76.73 o 14049 76.73 c 4551 76.80 o 14051 76.80 c 4549 76.86 o 14053 76.86 c 4547 76.92 o 14055 76.92 c 4545 76.98 o 14057 76.98 c 4543 77.05 o 14058 77.05 c 4542 77.10 o 14060 77.10 c 4540 77.15 o 14061 77.15 c 4539 77.21 o 14062 77.21 c 4538 77.26 o 14063 77.26 c 4537 77.31 o 14064 77.31 c 4536 77.35 o 14065 77.35 c 4535 77.39 o 14066 77.39 c 4534 77.44 o 14070 77.44 c 4530 77.81 o 14071 77.81 c 4529 77.86 o 14078 77.86 c 4522 77.92 o 14082 77.92 c 4518 77.97 o 14086 77.97 c 4514 78.02 o 14092 78.03 c 4508 78.09 o 14098 78.09 c 4502 78.13 o 14099 78.13 c 4501 78.27 o 14104 78.27 c 4496 78.33 o 14105 78.33 c 4495 78.48 o 14107 78.48 c 4493 78.57 o 14109 78.57 c 4491 78.67 o 14110 78.67 c 4490 78.72 o 14111 78.72 c 4489 78.77 o 14113 78.77 c 4487 78.84 o 14118 78.84 c 4482 78.89 o 14120 78.89 c 4480 78.94 o 14123 78.94 c 4477 78.99 o 14127 78.99 c 4473 79.03 o 14130 79.03 c 4470 79.09 o 14132 79.09 c 4468 79.14 o 14134 79.14 c 4466 79.18 o 14136 79.18 c 4464 79.24 o 14139 79.24 c 4461 79.34 o 14142 79.34 c 4458 79.38 o 14144 79.38 c 4456 79.48 o 14145 79.48 c 4455 79.53 o 14149 79.53 c 4451 79.58 o 14150 79.58 c 4450 79.64 o 14153 79.64 c 4447 79.68 o 14154 79.68 c 4446 79.74 o 14157 79.74 c 4443 79.78 o 14160 79.78 c 4440 79.84 o 14162 79.84 c 4438 79.89 o 14166 79.89 c 4434 79.94 o 14167 79.94 c 4433 79.99 o 14169 79.99 c 4431 80.04 o 14170 80.04 c 4430 80.09 o 14171 80.09 c 4429 80.13 o 14174 80.13 c 4426 80.19 o 14179 80.19 c 4421 80.24 o 14180 80.24 c 4420 80.43 o 14181 80.43 c 4419 80.48 o 14184 80.48 c 4416 80.61 o 14188 80.61 c 4412 80.66 o 14192 80.66 c 4408 80.71 o 14194 80.71 c 4406 80.76 o 14196 80.76 c 4404 80.81 o 14197 80.81 c 4403 80.87 o 14199 80.87 c 4401 80.92 o 14202 80.92 c 4398 80.98 o 14207 80.98 c 4393 81.03 o 14209 81.03 c 4391 81.08 o 14214 81.08 c 4386 81.14 o 14217 81.14 c 4383 81.24 o 14221 81.24 c 4379 81.29 o 14222 81.29 c 4378 81.36 o 14228 81.36 c 4372 81.40 o 14232 81.40 c 4368 81.45 o 14235 81.45 c 4365 81.51 o 14236 81.51 c 4364 81.57 o 14240 81.57 c 4360 81.61 o 14244 81.61 c 4356 81.70 o 14247 81.70 c 4353 81.75 o 14248 81.75 c 4352 81.79 o 14250 81.79 c 4350 81.91 o 14251 81.91 c 4349 81.98 o 14254 81.98 c 4346 82.04 o 14260 82.04 c 4340 82.09 o 14262 82.09 c 4338 82.14 o 14263 82.15 c 4337 82.23 o 14265 82.23 c 4335 82.31 o 14267 82.31 c 4333 82.38 o 14269 82.38 c 4331 82.45 o 14271 82.45 c 4329 82.53 o 14276 82.53 c 4324 82.61 o 14280 82.61 c 4320 82.71 o 14284 82.71 c 4316 82.79 o 14288 82.79 c 4312 82.88 o 14292 82.88 c 4308 82.95 o 14296 82.95 c 4304 83.03 o 14300 83.03 c 4300 83.11 o 14304 83.11 c 4296 83.20 o 14308 83.20 c 4292 83.28 o 14311 83.28 c 4289 83.37 o 14314 83.37 c 4286 83.44 o 14317 83.44 c 4283 83.51 o 14320 83.51 c 4280 83.60 o 14324 83.60 c 4276 83.67 o 14326 83.67 c 4274 83.84 o 14330 83.84 c 4270 83.91 o 14332 83.91 c 4268 83.98 o 14334 83.98 c 4266 84.05 o 14336 84.05 c 4264 84.11 o 14338 84.11 c 4262 84.17 o 14339 84.17 c 4261 84.23 o 14340 84.23 c 4260 84.30 o 14341 84.30 c 4259 84.36 o 14342 84.36 c 4258 84.43 o 14346 84.43 c 4254 84.49 o 14349 84.49 c 4251 84.56 o 14350 84.56 c 4250 84.61 o 14353 84.61 c 4247 84.68 o 14354 84.68 c 4246 84.73 o 14355 84.73 c 4245 84.79 o 14356 84.79 c 4244 84.86 o 14357 84.86 c 4243 84.91 o 14362 84.91 c 4238 84.97 o 14363 84.98 c 4237 85.04 o 14364 85.04 c 4236 85.26 o 14366 85.26 c 4234 85.31 o 14367 85.31 c 4233 85.37 o 14370 85.37 c 4230 85.57 o 14371 85.57 c 4229 85.63 o 14373 85.63 c 4227 85.78 o 14376 85.78 c 4224 85.83 o 14381 85.83 c 4219 85.88 o 14387 85.88 c 4213 86.00 o 14388 86.00 c 4212 86.07 o 14392 86.07 c 4208 86.13 o 14395 86.13 c 4205 86.19 o 14399 86.19 c 4201 86.24 o 14400 86.24 c 4200 86.29 o 14403 86.29 c 4197 86.40 o 14407 86.40 c 4193 86.44 o 14410 86.44 c 4190 86.49 o 14411 86.49 c 4189 86.54 o 14412 86.54 c 4188 86.59 o 14414 86.59 c 4186 86.70 o 14415 86.70 c 4185 86.77 o 14419 86.77 c 4181 86.82 o 14422 86.82 c 4178 86.87 o 14423 86.87 c 4177 86.91 o 14426 86.91 c 4174 86.96 o 14427 86.96 c 4173 87.07 o 14432 87.07 c 4168 87.14 o 14433 87.14 c 4167 87.20 o 14434 87.20 c 4166 87.25 o 14435 87.25 c 4165 87.32 o 14437 87.32 c 4163 87.45 o 14443 87.45 c 4157 87.51 o 14445 87.51 c 4155 87.58 o 14448 87.58 c 4152 87.64 o 14450 87.64 c 4150 87.70 o 14453 87.70 c 4147 87.77 o 14455 87.77 c 4145 87.83 o 14456 87.83 c 4144 87.89 o 14457 87.89 c 4143 87.95 o 14459 87.95 c 4141 88.08 o 14461 88.08 c 4139 88.16 o 14463 88.16 c 4137 88.44 o 14464 88.44 c 4136 88.52 o 14467 88.52 c 4133 88.58 o 14468 88.58 c 4132 88.65 o 14470 88.65 c 4130 88.73 o 14472 88.73 c 4128 88.82 o 14475 88.82 c 4125 89.69 o 14478 89.69 c 4122 89.78 o 14479 89.78 c 4121 89.87 o 14483 89.87 c 4117 89.95 o 14485 89.95 c 4115 90.06 o 14487 90.06 c 4113 90.14 o 14489 90.14 c 4111 90.23 o 14490 90.23 c 4110 90.33 o 14492 90.33 c 4108 90.42 o 14495 90.42 c 4105 90.50 o 14496 90.50 c 4104 90.70 o 14498 90.70 c 4102 90.79 o 14499 90.79 c 4101 90.89 o 14502 90.89 c 4098 90.99 o 14503 90.99 c 4097 91.10 o 14504 91.10 c 4096 91.18 o 14505 91.18 c 4095 91.27 o 14506 91.27 c 4094 91.35 o 14507 91.35 c 4093 91.54 o 14508 91.54 c 4092 91.81 o 14510 91.81 c 4090 91.92 o 14511 91.92 c 4089 92.02 o 14512 92.02 c 4088 92.11 o 14513 92.11 c 4087 92.30 o 14519 92.30 c 4081 92.39 o 14520 92.39 c 4080 92.47 o 14522 92.47 c 4078 92.56 o 14523 92.56 c 4077 92.66 o 14527 92.66 c 4073 92.92 o 14530 92.92 c 4070 93.01 o 14536 93.01 c 4064 93.12 o 14538 93.12 c 4062 93.23 o 14539 93.23 c 4061 93.35 o 14544 93.35 c 4056 93.49 o 14547 93.49 c 4053 93.64 o 14551 93.64 c 4049 93.78 o 14555 93.78 c 4045 93.92 o 14558 93.92 c 4042 94.06 o 14561 94.06 c 4039 94.31 o 14567 94.31 c 4033 94.44 o 14569 94.44 c 4031 94.56 o 14572 94.56 c 4028 94.70 o 14574 94.70 c 4026 94.84 o 14576 94.84 c 4024 94.98 o 14578 94.98 c 4022 95.11 o 14580 95.11 c 4020 95.25 o 14581 95.25 c 4019 95.38 o 14583 95.38 c 4017 95.51 o 14585 95.51 c 4015 95.64 o 14587 95.64 c 4013 95.75 o 14589 95.76 c 4011 95.89 o 14591 95.89 c 4009 96.12 o 14593 96.12 c 4007 96.24 o 14594 96.24 c 4006 96.36 o 14595 96.36 c 4005 96.48 o 14596 96.48 c 4004 96.59 o 14597 96.59 c 4003 96.69 o 14598 96.69 c 4002 96.80 o 14599 96.80 c 4001 96.91 o 14600 96.91 c 4000 97.01 o 14602 97.01 c 3998 97.12 o 14603 97.12 c 3997 97.23 o 14604 97.23 c 3996 97.34 o 14605 97.34 c 3995 97.47 o 14606 97.47 c 3994 97.56 o 14607 97.56 c 3993 97.66 o 14608 97.66 c 3992 97.77 o 14609 97.77 c 3991 97.86 o 14610 97.86 c 3990 98.21 o 14613 98.21 c 3987 98.31 o 14615 98.31 c 3985 98.57 o 14618 98.57 c 3982 98.80 o 14620 98.80 c 3980 98.88 o 14623 98.88 c 3977 99.04 o 14624 99.04 c 3976 99.11 o 14625 99.11 c 3975 99.19 o 14628 99.19 c 3972 99.28 o 14631 99.28 c 3969 99.36 o 14636 99.36 c 3964 99.47 o 14642 99.47 c 3958 99.65 o 14645 99.65 c 3955 99.77 o 14646 99.77 c 3954 99.85 o 14650 99.85 c 3950 99.94 o 14651 99.94 c 3949 100.12 o 14653 100.12 c 3947 100.22 o 14654 100.22 c 3946 100.31 o 14655 100.31 c 3945 100.41 o 14658 100.41 c 3942 100.61 o 14660 100.61 c 3940 101.01 o 14662 101.01 c 3938 101.10 o 14663 101.10 c 3937 101.20 o 14666 101.20 c 3934 101.29 o 14667 101.29 c 3933 101.41 o 14669 101.41 c 3931 101.50 o 14671 101.50 c 3929 101.87 o 14672 101.87 c 3928 101.96 o 14676 101.96 c 3924 102.25 o 14680 102.25 c 3920 102.36 o 14682 102.36 c 3918 102.46 o 14685 102.46 c 3915 102.55 o 14688 102.55 c 3912 102.64 o 14692 102.64 c 3908 102.75 o 14694 102.75 c 3906 102.83 o 14696 102.83 c 3904 102.94 o 14697 102.94 c 3903 103.04 o 14701 103.04 c 3899 103.14 o 14703 103.14 c 3897 103.22 o 14704 103.22 c 3896 103.72 o 14707 103.72 c 3893 103.82 o 14709 103.82 c 3891 103.90 o 14711 103.90 c 3889 104.01 o 14713 104.01 c 3887 104.11 o 14717 104.11 c 3883 104.22 o 14720 104.22 c 3880 104.34 o 14723 104.34 c 3877 104.56 o 14725 104.56 c 3875 104.67 o 14727 104.67 c 3873 104.78 o 14729 104.78 c 3871 105.04 o 14731 105.04 c 3869 105.28 o 14734 105.28 c 3866 105.41 o 14735 105.41 c 3865 105.54 o 14736 105.54 c 3864 105.67 o 14737 105.67 c 3863 105.80 o 14738 105.80 c 3862 105.94 o 14739 105.94 c 3861 106.07 o 14741 106.07 c 3859 106.18 o 14742 106.18 c 3858 106.59 o 14745 106.59 c 3855 106.73 o 14747 106.73 c 3853 106.98 o 14751 106.98 c 3849 107.11 o 14752 107.11 c 3848 107.24 o 14753 107.24 c 3847 107.37 o 14759 107.37 c 3841 107.51 o 14762 107.51 c 3838 107.63 o 14765 107.63 c 3835 107.76 o 14769 107.76 c 3831 107.91 o 14771 107.91 c 3829 108.03 o 14774 108.03 c 3826 108.28 o 14775 108.28 c 3825 108.42 o 14777 108.42 c 3823 108.55 o 14779 108.55 c 3821 108.94 o 14780 108.94 c 3820 109.06 o 14784 109.06 c 3816 109.19 o 14788 109.19 c 3812 109.85 o 14789 109.85 c 3811 109.96 o 14791 109.96 c 3809 110.09 o 14795 110.09 c 3805 110.22 o 14799 110.22 c 3801 110.34 o 14800 110.34 c 3800 110.56 o 14801 110.56 c 3799 110.68 o 14803 110.68 c 3797 110.79 o 14804 110.79 c 3796 110.90 o 14808 110.90 c 3792 111.12 o 14813 111.12 c 3787 111.24 o 14817 111.24 c 3783 111.37 o 14821 111.37 c 3779 111.48 o 14822 111.48 c 3778 111.95 o 14825 111.95 c 3775 112.07 o 14826 112.07 c 3774 112.33 o 14827 112.33 c 3773 112.45 o 14831 112.45 c 3769 112.59 o 14834 112.59 c 3766 112.71 o 14835 112.71 c 3765 112.84 o 14837 112.84 c 3763 113.45 o 14839 113.45 c 3761 113.69 o 14840 113.69 c 3760 113.81 o 14842 113.81 c 3758 114.05 o 14845 114.05 c 3755 114.17 o 14847 114.17 c 3753 114.30 o 14849 114.30 c 3751 114.41 o 14850 114.41 c 3750 114.74 o 14853 114.74 c 3747 114.86 o 14854 114.86 c 3746 114.98 o 14858 114.98 c 3742 115.20 o 14861 115.20 c 3739 115.32 o 14863 115.32 c 3737 115.44 o 14866 115.44 c 3734 115.69 o 14868 115.69 c 3732 115.92 o 14870 115.92 c 3730 116.04 o 14873 116.04 c 3727 116.28 o 14874 116.28 c 3726 116.40 o 14875 116.40 c 3725 116.79 o 14878 116.79 c 3722 116.92 o 14879 116.92 c 3721 117.30 o 14881 117.30 c 3719 117.42 o 14882 117.42 c 3718 117.58 o 14886 117.58 c 3714 117.70 o 14887 117.70 c 3713 117.83 o 14888 117.83 c 3712 118.11 o 14889 118.11 c 3711 118.25 o 14890 118.25 c 3710 118.41 o 14894 118.41 c 3706 118.69 o 14896 118.69 c 3704 118.85 o 14899 118.85 c 3701 119.01 o 14902 119.01 c 3698 119.17 o 14905 119.17 c 3695 119.33 o 14907 119.33 c 3693 119.46 o 14908 119.46 c 3692 119.61 o 14910 119.61 c 3690 119.75 o 14911 119.75 c 3689 119.88 o 14915 119.88 c 3685 120.04 o 14917 120.04 c 3683 120.20 o 14923 120.20 c 3677 120.35 o 14925 120.35 c 3675 120.51 o 14927 120.51 c 3673 120.66 o 14929 120.66 c 3671 120.81 o 14930 120.81 c 3670 120.95 o 14935 120.95 c 3665 121.11 o 14936 121.11 c 3664 121.26 o 14937 121.26 c 3663 121.71 o 14938 121.71 c 3662 121.85 o 14941 121.85 c 3659 121.98 o 14942 121.98 c 3658 122.12 o 14943 122.12 c 3657 122.26 o 14944 122.26 c 3656 122.40 o 14945 122.40 c 3655 122.53 o 14946 122.53 c 3654 123.19 o 14948 123.19 c 3652 123.85 o 14952 123.85 c 3648 124.10 o 14953 124.10 c 3647 124.23 o 14954 124.23 c 3646 124.36 o 14959 124.36 c 3641 125.29 o 14961 125.29 c 3639 125.41 o 14962 125.41 c 3638 125.67 o 14963 125.67 c 3637 125.82 o 14967 125.82 c 3633 125.95 o 14969 125.95 c 3631 126.07 o 14972 126.07 c 3628 126.21 o 14975 126.21 c 3625 126.33 o 14979 126.33 c 3621 126.46 o 14981 126.46 c 3619 126.58 o 14983 126.58 c 3617 127.05 o 14985 127.05 c 3615 127.27 o 14986 127.27 c 3614 127.40 o 14988 127.40 c 3612 127.51 o 14989 127.51 c 3611 127.63 o 14990 127.63 c 3610 127.76 o 14991 127.76 c 3609 127.89 o 14993 127.89 c 3607 128.01 o 14997 128.01 c 3603 128.13 o 14998 128.13 c 3602 128.24 o 15002 128.24 c 3598 128.36 o 15003 128.36 c 3597 128.50 o 15005 128.50 c 3595 128.64 o 15007 128.64 c 3593 128.76 o 15010 128.76 c 3590 129.04 o 15013 129.04 c 3587 129.17 o 15018 129.17 c 3582 129.29 o 15020 129.29 c 3580 129.41 o 15021 129.41 c 3579 130.16 o 15022 130.16 c 3578 130.29 o 15023 130.29 c 3577 130.42 o 15024 130.42 c 3576 130.57 o 15026 130.57 c 3574 130.71 o 15027 130.71 c 3573 130.79 o 15030 130.79 c 3570 130.94 o 15033 130.94 c 3567 131.07 o 15036 131.08 c 3564 131.20 o 15040 131.20 c 3560 131.34 o 15044 131.34 c 3556 131.47 o 15046 131.47 c 3554 131.72 o 15050 131.72 c 3550 132.00 o 15053 132.00 c 3547 132.16 o 15056 132.16 c 3544 132.61 o 15057 132.61 c 3543 132.76 o 15059 132.76 c 3541 132.92 o 15060 132.92 c 3540 133.23 o 15061 133.23 c 3539 133.38 o 15064 133.38 c 3536 133.52 o 15070 133.52 c 3530 133.67 o 15071 133.67 c 3529 133.81 o 15073 133.81 c 3527 133.95 o 15077 133.95 c 3523 134.10 o 15080 134.10 c 3520 134.25 o 15082 134.25 c 3518 134.68 o 15085 134.68 c 3515 134.82 o 15086 134.82 c 3514 134.96 o 15087 134.96 c 3513 135.37 o 15091 135.37 c 3509 135.52 o 15094 135.52 c 3506 135.66 o 15096 135.66 c 3504 135.97 o 15098 135.97 c 3502 136.10 o 15100 136.10 c 3500 136.25 o 15102 136.25 c 3498 136.39 o 15105 136.39 c 3495 136.52 o 15108 136.52 c 3492 136.98 o 15111 136.98 c 3489 137.11 o 15112 137.11 c 3488 137.25 o 15113 137.25 c 3487 137.53 o 15115 137.53 c 3485 137.67 o 15117 137.67 c 3483 137.84 o 15119 137.84 c 3481 138.07 o 15120 138.07 c 3480 138.22 o 15122 138.22 c 3478 138.36 o 15123 138.36 c 3477 138.92 o 15124 138.92 c 3476 139.09 o 15128 139.09 c 3472 139.24 o 15131 139.24 c 3469 139.38 o 15132 139.38 c 3468 139.53 o 15134 139.53 c 3466 139.96 o 15135 139.96 c 3465 140.25 o 15137 140.25 c 3463 140.40 o 15141 140.40 c 3459 140.56 o 15142 140.56 c 3458 140.71 o 15143 140.71 c 3457 140.86 o 15144 140.86 c 3456 141.03 o 15147 141.03 c 3453 141.18 o 15149 141.18 c 3451 141.33 o 15153 141.33 c 3447 141.48 o 15154 141.48 c 3446 141.64 o 15155 141.64 c 3445 141.78 o 15158 141.78 c 3442 141.92 o 15160 141.92 c 3440 142.19 o 15164 142.19 c 3436 142.49 o 15166 142.49 c 3434 142.80 o 15169 142.80 c 3431 143.08 o 15171 143.08 c 3429 143.38 o 15173 143.38 c 3427 143.53 o 15175 143.53 c 3425 143.66 o 15179 143.66 c 3421 143.83 o 15183 143.83 c 3417 143.99 o 15186 143.99 c 3414 144.28 o 15188 144.28 c 3412 144.44 o 15189 144.44 c 3411 144.59 o 15191 144.59 c 3409 144.75 o 15194 144.75 c 3406 145.36 o 15196 145.36 c 3404 145.52 o 15199 145.52 c 3401 145.68 o 15202 145.68 c 3398 145.83 o 15203 145.83 c 3397 146.00 o 15205 146.00 c 3395 146.16 o 15207 146.16 c 3393 146.31 o 15208 146.31 c 3392 146.48 o 15211 146.48 c 3389 146.64 o 15216 146.64 c 3384 146.80 o 15218 146.80 c 3382 146.95 o 15220 146.95 c 3380 147.29 o 15221 147.29 c 3379 147.44 o 15223 147.44 c 3377 147.60 o 15225 147.60 c 3375 147.76 o 15227 147.76 c 3373 148.08 o 15228 148.08 c 3372 148.25 o 15230 148.25 c 3370 148.40 o 15233 148.40 c 3367 148.55 o 15236 148.55 c 3364 148.70 o 15239 148.70 c 3361 148.86 o 15240 148.86 c 3360 149.80 o 15242 149.80 c 3358 149.96 o 15246 149.96 c 3354 150.12 o 15247 150.12 c 3353 150.29 o 15251 150.29 c 3349 150.46 o 15255 150.46 c 3345 151.31 o 15257 151.31 c 3343 151.48 o 15258 151.48 c 3342 152.29 o 15261 152.29 c 3339 152.63 o 15262 152.63 c 3338 152.80 o 15264 152.80 c 3336 153.14 o 15265 153.14 c 3335 153.30 o 15266 153.30 c 3334 153.47 o 15269 153.47 c 3331 153.64 o 15271 153.64 c 3329 153.83 o 15275 153.83 c 3325 154.20 o 15279 154.20 c 3321 154.39 o 15282 154.39 c 3318 154.89 o 15285 154.89 c 3315 155.06 o 15287 155.06 c 3313 155.23 o 15288 155.23 c 3312 155.56 o 15291 155.56 c 3309 155.70 o 15296 155.70 c 3304 155.87 o 15298 155.87 c 3302 156.03 o 15300 156.03 c 3300 156.37 o 15301 156.37 c 3299 156.54 o 15304 156.54 c 3296 156.72 o 15307 156.72 c 3293 156.89 o 15309 156.89 c 3291 157.06 o 15311 157.06 c 3289 157.21 o 15314 157.21 c 3286 157.38 o 15316 157.38 c 3284 157.55 o 15319 157.55 c 3281 157.71 o 15324 157.71 c 3276 157.89 o 15328 157.89 c 3272 158.06 o 15329 158.06 c 3271 158.42 o 15330 158.42 c 3270 158.77 o 15331 158.77 c 3269 158.96 o 15332 158.96 c 3268 159.13 o 15334 159.13 c 3266 159.29 o 15335 159.29 c 3265 159.82 o 15338 159.82 c 3262 160.18 o 15340 160.18 c 3260 160.37 o 15345 160.37 c 3255 160.54 o 15350 160.54 c 3250 160.73 o 15352 160.73 c 3248 160.92 o 15353 160.92 c 3247 161.11 o 15354 161.11 c 3246 161.29 o 15356 161.29 c 3244 161.45 o 15358 161.45 c 3242 161.64 o 15360 161.64 c 3240 161.84 o 15364 161.84 c 3236 162.03 o 15367 162.03 c 3233 162.22 o 15370 162.22 c 3230 162.41 o 15371 162.41 c 3229 162.60 o 15377 162.60 c 3223 162.78 o 15378 162.78 c 3222 162.96 o 15382 162.96 c 3218 163.15 o 15384 163.15 c 3216 163.33 o 15387 163.34 c 3213 163.53 o 15390 163.53 c 3210 163.71 o 15392 163.71 c 3208 163.90 o 15394 163.90 c 3206 164.09 o 15396 164.09 c 3204 164.28 o 15397 164.28 c 3203 164.46 o 15398 164.46 c 3202 164.65 o 15399 164.65 c 3201 165.78 o 15401 165.78 c 3199 166.17 o 15404 166.17 c 3196 166.36 o 15406 166.36 c 3194 166.55 o 15408 166.55 c 3192 166.74 o 15409 166.74 c 3191 167.53 o 15415 167.53 c 3185 167.72 o 15416 167.72 c 3184 168.29 o 15418 168.29 c 3182 168.48 o 15420 168.48 c 3180 168.67 o 15421 168.67 c 3179 168.86 o 15424 168.86 c 3176 169.23 o 15426 169.23 c 3174 169.43 o 15428 169.43 c 3172 169.64 o 15430 169.64 c 3170 170.01 o 15432 170.01 c 3168 170.21 o 15433 170.21 c 3167 170.41 o 15435 170.41 c 3165 170.80 o 15437 170.80 c 3163 171.01 o 15439 171.01 c 3161 171.38 o 15443 171.38 c 3157 171.77 o 15447 171.77 c 3153 171.96 o 15451 171.96 c 3149 172.36 o 15453 172.36 c 3147 172.56 o 15455 172.56 c 3145 172.94 o 15458 172.94 c 3142 173.15 o 15461 173.15 c 3139 173.75 o 15464 173.75 c 3136 173.94 o 15468 173.94 c 3132 174.13 o 15469 174.13 c 3131 174.90 o 15472 174.90 c 3128 175.09 o 15476 175.09 c 3124 175.26 o 15479 175.26 c 3121 175.63 o 15480 175.63 c 3120 175.81 o 15482 175.81 c 3118 176.00 o 15485 176.00 c 3115 176.19 o 15488 176.19 c 3112 176.92 o 15489 176.92 c 3111 177.10 o 15491 177.10 c 3109 177.28 o 15492 177.28 c 3108 177.64 o 15495 177.64 c 3105 177.82 o 15496 177.82 c 3104 178.01 o 15498 178.01 c 3102 178.20 o 15501 178.20 c 3099 178.39 o 15504 178.39 c 3096 179.15 o 15507 179.15 c 3093 179.34 o 15509 179.34 c 3091 179.54 o 15511 179.54 c 3089 179.72 o 15516 179.72 c 3084 180.13 o 15517 180.13 c 3083 180.93 o 15521 180.93 c 3079 181.37 o 15522 181.37 c 3078 181.56 o 15523 181.56 c 3077 181.75 o 15526 181.75 c 3074 181.96 o 15527 181.96 c 3073 182.17 o 15529 182.17 c 3071 182.38 o 15531 182.38 c 3069 182.59 o 15532 182.59 c 3068 182.79 o 15533 182.79 c 3067 182.98 o 15536 182.98 c 3064 183.39 o 15539 183.39 c 3061 183.79 o 15542 183.79 c 3058 184.00 o 15544 184.00 c 3056 185.84 o 15547 185.84 c 3053 186.44 o 15550 186.44 c 3050 186.63 o 15553 186.63 c 3047 186.84 o 15554 186.84 c 3046 187.25 o 15556 187.25 c 3044 187.44 o 15557 187.44 c 3043 187.64 o 15559 187.64 c 3041 187.84 o 15562 187.84 c 3038 188.05 o 15564 188.05 c 3036 188.47 o 15566 188.47 c 3034 188.67 o 15567 188.67 c 3033 189.13 o 15569 189.13 c 3031 189.34 o 15570 189.34 c 3030 189.54 o 15571 189.54 c 3029 189.76 o 15575 189.76 c 3025 190.00 o 15578 190.00 c 3022 190.20 o 15582 190.20 c 3018 190.62 o 15587 190.62 c 3013 191.06 o 15588 191.06 c 3012 191.28 o 15590 191.28 c 3010 191.49 o 15591 191.49 c 3009 191.69 o 15592 191.69 c 3008 193.52 o 15593 193.52 c 3007 193.74 o 15595 193.74 c 3005 193.94 o 15596 193.94 c 3004 194.15 o 15598 194.15 c 3002 194.53 o 15599 194.53 c 3001 195.58 o 15601 195.58 c 2999 195.78 o 15602 195.78 c 2998 195.99 o 15605 195.99 c 2995 196.19 o 15606 196.19 c 2994 196.40 o 15607 196.40 c 2993 196.61 o 15609 196.61 c 2991 196.81 o 15611 196.81 c 2989 197.05 o 15616 197.05 c 2984 197.17 o 15619 197.17 c 2981 197.38 o 15621 197.38 c 2979 197.80 o 15624 197.80 c 2976 198.21 o 15626 198.21 c 2974 198.83 o 15627 198.83 c 2973 199.16 o 15630 199.16 c 2970 199.39 o 15631 199.39 c 2969 199.96 o 15633 199.96 c 2967 200.38 o 15636 200.38 c 2964 200.60 o 15639 200.60 c 2961 201.21 o 15640 201.21 c 2960 201.42 o 15642 201.43 c 2958 201.64 o 15643 201.64 c 2957 201.84 o 15644 201.84 c 2956 202.04 o 15647 202.04 c 2953 202.25 o 15649 202.25 c 2951 202.46 o 15650 202.46 c 2950 202.68 o 15655 202.68 c 2945 202.86 o 15656 202.86 c 2944 203.07 o 15658 203.07 c 2942 203.27 o 15659 203.27 c 2941 203.65 o 15661 203.65 c 2939 203.86 o 15662 203.86 c 2938 204.05 o 15665 204.05 c 2935 204.43 o 15666 204.43 c 2934 204.63 o 15668 204.63 c 2932 204.82 o 15669 204.82 c 2931 205.03 o 15671 205.03 c 2929 205.43 o 15672 205.43 c 2928 205.81 o 15673 205.81 c 2927 206.24 o 15674 206.24 c 2926 206.64 o 15677 206.64 c 2923 206.84 o 15679 206.84 c 2921 206.93 o 15680 206.93 c 2920 207.13 o 15681 207.13 c 2919 207.33 o 15682 207.33 c 2918 207.53 o 15686 207.53 c 2914 207.73 o 15687 207.73 c 2913 208.36 o 15688 208.36 c 2912 208.55 o 15690 208.55 c 2910 208.98 o 15691 208.98 c 2909 209.19 o 15694 209.19 c 2906 209.38 o 15696 209.38 c 2904 209.57 o 15699 209.57 c 2901 209.97 o 15701 209.97 c 2899 210.37 o 15702 210.37 c 2898 210.57 o 15705 210.57 c 2895 212.92 o 15708 212.92 c 2892 213.32 o 15712 213.32 c 2888 213.95 o 15715 213.95 c 2885 214.14 o 15717 214.14 c 2883 214.35 o 15718 214.35 c 2882 214.76 o 15719 214.76 c 2881 215.18 o 15721 215.18 c 2879 215.39 o 15723 215.39 c 2877 215.59 o 15727 215.59 c 2873 216.46 o 15728 216.46 c 2872 216.67 o 15730 216.67 c 2870 217.31 o 15731 217.31 c 2869 217.76 o 15732 217.76 c 2868 217.97 o 15735 217.97 c 2865 218.64 o 15736 218.64 c 2864 219.09 o 15738 219.09 c 2862 219.32 o 15740 219.32 c 2860 220.02 o 15743 220.02 c 2857 220.24 o 15744 220.24 c 2856 220.47 o 15747 220.47 c 2853 220.70 o 15752 220.70 c 2848 221.16 o 15755 221.16 c 2845 221.39 o 15757 221.39 c 2843 221.63 o 15758 221.63 c 2842 221.87 o 15759 221.87 c 2841 222.09 o 15762 222.09 c 2838 222.31 o 15763 222.31 c 2837 222.53 o 15764 222.53 c 2836 222.76 o 15766 222.76 c 2834 222.98 o 15769 222.98 c 2831 223.12 o 15770 223.12 c 2830 223.34 o 15772 223.34 c 2828 223.56 o 15774 223.56 c 2826 223.78 o 15776 223.78 c 2824 224.63 o 15778 224.63 c 2822 225.05 o 15779 225.05 c 2821 225.26 o 15782 225.26 c 2818 225.47 o 15783 225.47 c 2817 226.09 o 15784 226.09 c 2816 226.77 o 15785 226.77 c 2815 227.22 o 15787 227.22 c 2813 227.92 o 15789 227.92 c 2811 228.14 o 15791 228.14 c 2809 228.86 o 15793 228.86 c 2807 229.09 o 15795 229.09 c 2805 229.58 o 15796 229.58 c 2804 229.81 o 15797 229.81 c 2803 230.55 o 15799 230.55 c 2801 231.49 o 15801 231.49 c 2799 231.99 o 15802 231.99 c 2798 232.24 o 15803 232.24 c 2797 232.48 o 15804 232.48 c 2796 232.73 o 15805 232.73 c 2795 232.98 o 15808 232.98 c 2792 233.14 o 15809 233.14 c 2791 233.39 o 15810 233.39 c 2790 233.87 o 15812 233.87 c 2788 234.11 o 15816 234.11 c 2784 234.21 o 15819 234.21 c 2781 236.21 o 15821 236.21 c 2779 236.46 o 15826 236.46 c 2774 236.73 o 15827 236.73 c 2773 236.98 o 15829 236.98 c 2771 237.50 o 15831 237.50 c 2769 238.00 o 15832 238.00 c 2768 238.25 o 15834 238.25 c 2766 238.53 o 15835 238.53 c 2765 238.79 o 15837 238.79 c 2763 239.05 o 15838 239.05 c 2762 239.31 o 15841 239.31 c 2759 239.56 o 15842 239.56 c 2758 240.32 o 15845 240.32 c 2755 240.58 o 15847 240.58 c 2753 241.60 o 15849 241.60 c 2751 241.85 o 15852 241.85 c 2748 242.63 o 15853 242.63 c 2747 243.64 o 15854 243.64 c 2746 244.13 o 15857 244.13 c 2743 244.38 o 15860 244.38 c 2740 244.63 o 15863 244.63 c 2737 245.12 o 15864 245.12 c 2736 245.39 o 15866 245.39 c 2734 245.64 o 15867 245.64 c 2733 245.90 o 15868 245.90 c 2732 246.16 o 15871 246.16 c 2729 246.66 o 15872 246.66 c 2728 247.13 o 15874 247.13 c 2726 247.40 o 15876 247.40 c 2724 247.90 o 15879 247.90 c 2721 248.15 o 15881 248.15 c 2719 250.18 o 15883 250.18 c 2717 250.94 o 15885 250.94 c 2715 251.19 o 15886 251.19 c 2714 251.46 o 15887 251.46 c 2713 251.72 o 15890 251.72 c 2710 251.99 o 15892 251.99 c 2708 253.38 o 15893 253.38 c 2707 253.68 o 15895 253.68 c 2705 253.96 o 15896 253.96 c 2704 254.50 o 15897 254.50 c 2703 254.78 o 15900 254.78 c 2700 255.32 o 15901 255.32 c 2699 255.87 o 15902 255.87 c 2698 256.16 o 15904 256.16 c 2696 256.43 o 15906 256.43 c 2694 256.70 o 15908 256.70 c 2692 257.78 o 15910 257.78 c 2690 258.05 o 15911 258.05 c 2689 258.33 o 15913 258.33 c 2687 259.40 o 15914 259.40 c 2686 259.66 o 15915 259.66 c 2685 259.94 o 15916 259.94 c 2684 260.21 o 15917 260.21 c 2683 260.59 o 15918 260.59 c 2682 261.13 o 15920 261.13 c 2680 262.21 o 15922 262.21 c 2678 262.74 o 15927 262.74 c 2673 262.96 o 15930 262.96 c 2670 264.05 o 15931 264.05 c 2669 264.61 o 15932 264.61 c 2668 264.88 o 15934 264.88 c 2666 265.15 o 15936 265.15 c 2664 265.42 o 15938 265.42 c 2662 265.68 o 15941 265.68 c 2659 265.93 o 15945 265.93 c 2655 267.28 o 15946 267.28 c 2654 267.55 o 15948 267.55 c 2652 268.37 o 15949 268.37 c 2651 268.63 o 15950 268.63 c 2650 268.90 o 15953 268.90 c 2647 269.47 o 15954 269.47 c 2646 270.58 o 15956 270.58 c 2644 271.35 o 15957 271.35 c 2643 272.42 o 15959 272.42 c 2641 272.68 o 15961 272.68 c 2639 273.52 o 15962 273.52 c 2638 274.06 o 15965 274.06 c 2635 274.85 o 15967 274.85 c 2633 275.38 o 15970 275.38 c 2630 275.64 o 15972 275.64 c 2628 275.91 o 15973 275.91 c 2627 276.18 o 15974 276.18 c 2626 276.47 o 15975 276.47 c 2625 276.73 o 15977 276.73 c 2623 277.00 o 15978 277.00 c 2622 277.82 o 15979 277.82 c 2621 278.10 o 15981 278.10 c 2619 278.38 o 15986 278.38 c 2614 278.92 o 15987 278.92 c 2613 279.19 o 15988 279.19 c 2612 279.45 o 15989 279.45 c 2611 279.99 o 15990 279.99 c 2610 280.24 o 15991 280.24 c 2609 280.51 o 15997 280.51 c 2603 280.77 o 15999 280.77 c 2601 281.04 o 16002 281.04 c 2598 281.30 o 16004 281.30 c 2596 281.56 o 16005 281.56 c 2595 281.82 o 16007 281.82 c 2593 282.09 o 16008 282.09 c 2592 282.91 o 16009 282.91 c 2591 283.17 o 16011 283.17 c 2589 284.00 o 16012 284.00 c 2588 284.27 o 16015 284.27 c 2585 286.58 o 16016 286.58 c 2584 288.82 o 16017 288.82 c 2583 289.11 o 16021 289.11 c 2579 290.22 o 16024 290.22 c 2576 291.26 o 16028 291.26 c 2572 292.31 o 16031 292.31 c 2569 292.59 o 16033 292.59 c 2567 292.86 o 16034 292.86 c 2566 294.26 o 16036 294.26 c 2564 294.41 o 16038 294.41 c 2562 294.68 o 16039 294.68 c 2561 294.97 o 16041 294.97 c 2559 295.26 o 16043 295.26 c 2557 295.54 o 16046 295.54 c 2554 295.82 o 16047 295.82 c 2553 296.11 o 16048 296.11 c 2552 296.40 o 16051 296.40 c 2549 296.56 o 16056 296.56 c 2544 296.86 o 16059 296.86 c 2541 297.15 o 16060 297.15 c 2540 299.80 o 16061 299.80 c 2539 300.09 o 16062 300.09 c 2538 300.40 o 16063 300.40 c 2537 301.01 o 16065 301.01 c 2535 303.14 o 16067 303.14 c 2533 303.45 o 16068 303.45 c 2532 303.78 o 16069 303.78 c 2531 304.39 o 16071 304.39 c 2529 304.68 o 16075 304.68 c 2525 304.94 o 16076 304.94 c 2524 305.56 o 16077 305.56 c 2523 306.16 o 16080 306.16 c 2520 306.46 o 16082 306.46 c 2518 306.76 o 16083 306.76 c 2517 307.95 o 16084 307.95 c 2516 308.25 o 16085 308.25 c 2515 308.84 o 16086 308.84 c 2514 309.14 o 16088 309.14 c 2512 311.23 o 16090 311.23 c 2510 311.53 o 16093 311.53 c 2507 312.44 o 16097 312.44 c 2503 312.74 o 16098 312.74 c 2502 313.03 o 16100 313.03 c 2500 313.61 o 16102 313.61 c 2498 313.92 o 16104 313.92 c 2496 315.08 o 16106 315.08 c 2494 315.45 o 16108 315.45 c 2492 315.75 o 16109 315.75 c 2491 316.03 o 16111 316.03 c 2489 316.31 o 16112 316.31 c 2488 316.60 o 16113 316.60 c 2487 317.48 o 16115 317.48 c 2485 317.77 o 16117 317.77 c 2483 317.90 o 16121 317.90 c 2479 318.19 o 16123 318.19 c 2477 318.80 o 16124 318.80 c 2476 321.59 o 16125 321.59 c 2475 321.87 o 16126 321.87 c 2474 322.40 o 16127 322.40 c 2473 322.68 o 16128 322.68 c 2472 322.90 o 16130 322.90 c 2470 323.18 o 16132 323.18 c 2468 323.45 o 16134 323.45 c 2466 323.73 o 16137 323.73 c 2463 323.99 o 16139 323.99 c 2461 324.26 o 16140 324.26 c 2460 324.54 o 16143 324.54 c 2457 324.82 o 16144 324.82 c 2456 325.96 o 16145 325.96 c 2455 326.53 o 16147 326.53 c 2453 326.73 o 16150 326.73 c 2450 326.96 o 16152 326.96 c 2448 327.53 o 16155 327.53 c 2445 327.81 o 16157 327.81 c 2443 328.37 o 16159 328.37 c 2441 328.94 o 16163 328.94 c 2437 329.22 o 16165 329.22 c 2435 329.50 o 16166 329.50 c 2434 329.80 o 16170 329.80 c 2430 330.65 o 16172 330.65 c 2428 330.94 o 16173 330.94 c 2427 331.51 o 16174 331.51 c 2426 331.79 o 16178 331.79 c 2422 332.09 o 16181 332.09 c 2419 332.65 o 16183 332.65 c 2417 332.92 o 16186 332.92 c 2414 334.91 o 16187 334.91 c 2413 335.48 o 16190 335.48 c 2410 335.77 o 16191 335.77 c 2409 336.05 o 16192 336.05 c 2408 336.33 o 16193 336.33 c 2407 336.91 o 16196 336.91 c 2404 337.19 o 16198 337.19 c 2402 337.79 o 16200 337.79 c 2400 338.90 o 16201 338.90 c 2399 339.17 o 16205 339.17 c 2395 339.44 o 16206 339.44 c 2394 339.71 o 16207 339.71 c 2393 339.99 o 16208 339.99 c 2392 340.55 o 16211 340.55 c 2389 340.82 o 16212 340.82 c 2388 341.08 o 16213 341.08 c 2387 341.35 o 16215 341.35 c 2385 341.61 o 16216 341.61 c 2384 344.33 o 16217 344.33 c 2383 344.89 o 16219 344.89 c 2381 345.69 o 16220 345.69 c 2380 345.96 o 16223 345.96 c 2377 346.24 o 16226 346.24 c 2374 347.56 o 16228 347.56 c 2372 348.07 o 16229 348.07 c 2371 348.60 o 16231 348.60 c 2369 350.40 o 16232 350.40 c 2368 350.68 o 16234 350.68 c 2366 354.29 o 16239 354.29 c 2361 355.05 o 16240 355.05 c 2360 355.59 o 16241 355.59 c 2359 356.13 o 16242 356.13 c 2358 356.41 o 16243 356.41 c 2357 357.83 o 16244 357.83 c 2356 358.11 o 16246 358.11 c 2354 358.39 o 16247 358.39 c 2353 358.68 o 16248 358.68 c 2352 358.97 o 16250 358.97 c 2350 359.26 o 16252 359.26 c 2348 359.55 o 16253 359.55 c 2347 360.41 o 16254 360.41 c 2346 360.71 o 16256 360.71 c 2344 361.57 o 16258 361.57 c 2342 361.85 o 16259 361.85 c 2341 362.14 o 16260 362.14 c 2340 362.43 o 16262 362.43 c 2338 362.71 o 16264 362.71 c 2336 363.27 o 16266 363.27 c 2334 363.57 o 16269 363.57 c 2331 363.87 o 16272 363.87 c 2328 364.16 o 16273 364.16 c 2327 367.45 o 16274 367.45 c 2326 367.75 o 16275 367.75 c 2325 368.35 o 16278 368.35 c 2322 368.97 o 16279 368.97 c 2321 369.59 o 16282 369.59 c 2318 369.90 o 16284 369.90 c 2316 370.51 o 16285 370.51 c 2315 371.11 o 16287 371.11 c 2313 372.09 o 16288 372.09 c 2312 372.41 o 16290 372.41 c 2310 372.70 o 16292 372.70 c 2308 373.03 o 16295 373.03 c 2305 373.35 o 16297 373.35 c 2303 374.39 o 16298 374.39 c 2302 374.75 o 16299 374.75 c 2301 380.24 o 16300 380.24 c 2300 380.58 o 16302 380.58 c 2298 380.93 o 16303 380.93 c 2297 381.23 o 16304 381.23 c 2296 382.60 o 16305 382.60 c 2295 382.95 o 16306 382.95 c 2294 383.28 o 16309 383.28 c 2291 383.62 o 16310 383.62 c 2290 383.96 o 16311 383.96 c 2289 384.27 o 16313 384.27 c 2287 385.16 o 16314 385.16 c 2286 385.49 o 16315 385.49 c 2285 386.15 o 16319 386.15 c 2281 386.48 o 16320 386.48 c 2280 387.12 o 16323 387.12 c 2277 387.46 o 16324 387.46 c 2276 387.68 o 16326 387.68 c 2274 390.26 o 16327 390.26 c 2273 390.57 o 16329 390.57 c 2271 391.21 o 16331 391.21 c 2269 392.19 o 16332 392.19 c 2268 392.82 o 16334 392.82 c 2266 393.16 o 16335 393.16 c 2265 393.49 o 16336 393.49 c 2264 394.79 o 16337 394.79 c 2263 394.98 o 16339 394.98 c 2261 396.59 o 16340 396.59 c 2260 396.94 o 16341 396.94 c 2259 398.26 o 16344 398.26 c 2256 400.68 o 16345 400.68 c 2255 401.41 o 16346 401.41 c 2254 402.50 o 16348 402.50 c 2252 402.72 o 16350 402.72 c 2250 403.49 o 16352 403.49 c 2248 403.85 o 16353 403.85 c 2247 405.74 o 16355 405.74 c 2245 406.13 o 16356 406.13 c 2244 406.90 o 16357 406.90 c 2243 407.28 o 16361 407.28 c 2239 409.11 o 16362 409.11 c 2238 409.87 o 16363 409.87 c 2237 410.10 o 16365 410.10 c 2235 410.69 o 16366 410.69 c 2234 411.05 o 16367 411.05 c 2233 411.41 o 16368 411.41 c 2232 412.00 o 16371 412.00 c 2229 413.37 o 16372 413.37 c 2228 414.96 o 16374 414.96 c 2226 416.38 o 16375 416.38 c 2225 417.47 o 16376 417.47 c 2224 418.20 o 16380 418.20 c 2220 418.55 o 16382 418.55 c 2218 418.92 o 16383 418.92 c 2217 428.46 o 16384 428.46 c 2216 429.63 o 16386 429.63 c 2214 430.03 o 16387 430.03 c 2213 430.40 o 16388 430.40 c 2212 431.54 o 16389 431.54 c 2211 432.31 o 16390 432.31 c 2210 435.33 o 16392 435.33 c 2208 435.73 o 16393 435.73 c 2207 436.51 o 16394 436.51 c 2206 437.08 o 16396 437.08 c 2204 437.46 o 16397 437.46 c 2203 438.21 o 16398 438.21 c 2202 438.56 o 16399 438.56 c 2201 438.96 o 16400 438.96 c 2200 439.32 o 16401 439.32 c 2199 440.09 o 16403 440.09 c 2197 440.49 o 16406 440.49 c 2194 440.87 o 16407 440.87 c 2193 445.72 o 16409 445.72 c 2191 446.15 o 16410 446.15 c 2190 447.81 o 16411 447.81 c 2189 448.22 o 16412 448.22 c 2188 449.50 o 16414 449.50 c 2186 452.97 o 16416 452.97 c 2184 463.70 o 16418 463.70 c 2182 465.93 o 16420 465.93 c 2180 466.38 o 16423 466.38 c 2177 467.15 o 16424 467.15 c 2176 474.93 o 16425 474.93 c 2175 475.37 o 16426 475.37 c 2174 476.22 o 16427 476.22 c 2173 477.08 o 16428 477.08 c 2172 477.52 o 16430 477.52 c 2170 480.50 o 16433 480.50 c 2167 480.93 o 16435 480.93 c 2165 481.79 o 16437 481.79 c 2163 482.22 o 16439 482.22 c 2161 483.52 o 16440 483.52 c 2160 484.83 o 16441 484.83 c 2159 485.28 o 16442 485.28 c 2158 485.73 o 16443 485.73 c 2157 487.47 o 16444 487.47 c 2156 487.90 o 16446 487.90 c 2154 488.14 o 16448 488.14 c 2152 488.91 o 16450 488.91 c 2150 490.63 o 16452 490.63 c 2148 491.07 o 16454 491.07 c 2146 491.95 o 16455 491.95 c 2145 493.67 o 16457 493.67 c 2143 494.97 o 16458 494.97 c 2142 495.41 o 16459 495.41 c 2141 495.85 o 16460 495.85 c 2140 496.27 o 16462 496.27 c 2138 496.71 o 16465 496.71 c 2135 498.89 o 16466 498.89 c 2134 499.33 o 16468 499.33 c 2132 500.21 o 16469 500.21 c 2131 501.10 o 16471 501.10 c 2129 501.54 o 16476 501.54 c 2124 502.78 o 16478 502.78 c 2122 503.56 o 16480 503.56 c 2120 504.91 o 16483 504.91 c 2117 505.53 o 16485 505.53 c 2115 505.80 o 16486 505.80 c 2114 506.71 o 16487 506.71 c 2113 507.15 o 16488 507.15 c 2112 507.59 o 16490 507.59 c 2110 508.92 o 16491 508.92 c 2109 510.27 o 16492 510.27 c 2108 510.62 o 16493 510.62 c 2107 511.06 o 16494 511.06 c 2106 511.51 o 16495 511.51 c 2105 512.42 o 16498 512.42 c 2102 513.78 o 16500 513.78 c 2100 514.24 o 16501 514.24 c 2099 514.68 o 16504 514.68 c 2096 518.42 o 16505 518.42 c 2095 520.19 o 16508 520.19 c 2092 521.08 o 16509 521.08 c 2091 522.88 o 16510 522.88 c 2090 523.33 o 16511 523.33 c 2089 523.78 o 16514 523.78 c 2086 524.23 o 16515 524.23 c 2085 524.65 o 16517 524.65 c 2083 526.42 o 16518 526.42 c 2082 526.84 o 16519 526.84 c 2081 529.36 o 16522 529.36 c 2078 531.12 o 16523 531.12 c 2077 531.57 o 16526 531.57 c 2074 532.00 o 16527 532.00 c 2073 532.65 o 16531 532.65 c 2069 533.11 o 16533 533.11 c 2067 533.55 o 16534 533.55 c 2066 534.00 o 16536 534.00 c 2064 534.44 o 16538 534.44 c 2062 535.33 o 16539 535.33 c 2061 536.21 o 16540 536.21 c 2060 536.63 o 16541 536.63 c 2059 537.53 o 16543 537.53 c 2057 537.96 o 16547 537.96 c 2053 542.44 o 16548 542.44 c 2052 542.88 o 16550 542.88 c 2050 543.79 o 16553 543.79 c 2047 544.22 o 16555 544.22 c 2045 544.67 o 16556 544.67 c 2044 545.55 o 16557 545.55 c 2043 547.05 o 16558 547.05 c 2042 547.94 o 16559 547.94 c 2041 548.39 o 16563 548.39 c 2037 548.84 o 16564 548.84 c 2036 549.73 o 16565 549.73 c 2035 550.16 o 16566 550.16 c 2034 550.40 o 16567 550.40 c 2033 550.83 o 16568 550.83 c 2032 552.43 o 16570 552.43 c 2030 559.33 o 16572 559.33 c 2028 560.67 o 16575 560.67 c 2025 562.02 o 16577 562.02 c 2023 562.49 o 16578 562.49 c 2022 562.95 o 16579 562.95 c 2021 563.41 o 16584 563.41 c 2016 563.72 o 16586 563.72 c 2014 565.07 o 16590 565.07 c 2010 565.52 o 16592 565.52 c 2008 566.42 o 16593 566.42 c 2007 567.81 o 16594 567.81 c 2006 568.26 o 16596 568.26 c 2004 569.64 o 16597 569.64 c 2003 570.11 o 16598 570.11 c 2002 575.41 o 16599 575.41 c 2001 575.84 o 16601 575.84 c 1999 578.05 o 16603 578.05 c 1997 578.49 o 16605 578.49 c 1995 580.22 o 16606 580.22 c 1994 583.33 o 16608 583.33 c 1992 583.58 o 16610 583.58 c 1990 584.04 o 16611 584.04 c 1989 584.48 o 16613 584.48 c 1987 591.24 o 16614 591.24 c 1986 591.61 o 16617 591.61 c 1983 592.02 o 16622 592.02 c 1978 592.41 o 16623 592.41 c 1977 593.25 o 16624 593.25 c 1976 593.50 o 16626 593.50 c 1974 593.92 o 16627 593.92 c 1973 596.01 o 16628 596.01 c 1972 596.45 o 16631 596.45 c 1969 597.22 o 16632 597.22 c 1968 597.62 o 16633 597.62 c 1967 598.09 o 16636 598.09 c 1964 598.49 o 16639 598.49 c 1961 598.90 o 16640 598.90 c 1960 599.76 o 16642 599.76 c 1958 600.13 o 16644 600.13 c 1956 600.55 o 16646 600.55 c 1954 600.98 o 16647 600.98 c 1953 602.59 o 16649 602.59 c 1951 603.00 o 16650 603.00 c 1950 604.69 o 16654 604.69 c 1946 605.02 o 16655 605.03 c 1945 605.41 o 16657 605.41 c 1943 605.83 o 16659 605.83 c 1941 606.24 o 16660 606.24 c 1940 609.23 o 16662 609.23 c 1938 610.99 o 16663 610.99 c 1937 611.45 o 16665 611.45 c 1935 612.70 o 16666 612.70 c 1934 613.57 o 16667 613.57 c 1933 614.00 o 16669 614.00 c 1931 614.43 o 16672 614.43 c 1928 615.77 o 16673 615.77 c 1927 616.23 o 16674 616.23 c 1926 617.13 o 16675 617.13 c 1925 617.38 o 16678 617.38 c 1922 621.04 o 16679 621.04 c 1921 621.27 o 16680 621.27 c 1920 621.69 o 16682 621.69 c 1918 622.01 o 16683 622.01 c 1917 622.78 o 16685 622.78 c 1915 624.47 o 16687 624.47 c 1913 624.89 o 16688 624.89 c 1912 625.33 o 16690 625.33 c 1910 625.77 o 16691 625.77 c 1909 626.22 o 16692 626.22 c 1908 627.11 o 16693 627.11 c 1907 627.54 o 16694 627.54 c 1906 628.45 o 16695 628.45 c 1905 628.89 o 16696 628.89 c 1904 629.68 o 16698 629.68 c 1902 630.12 o 16699 630.12 c 1901 630.52 o 16700 630.52 c 1900 631.39 o 16701 631.39 c 1899 631.82 o 16702 631.82 c 1898 632.26 o 16704 632.26 c 1896 632.49 o 16706 632.49 c 1894 632.93 o 16708 632.93 c 1892 634.05 o 16709 634.05 c 1891 634.45 o 16711 634.45 c 1889 635.69 o 16715 635.69 c 1885 636.54 o 16716 636.54 c 1884 636.98 o 16717 636.98 c 1883 637.78 o 16720 637.78 c 1880 638.59 o 16721 638.59 c 1879 640.34 o 16724 640.34 c 1876 640.73 o 16727 640.73 c 1873 641.15 o 16728 641.15 c 1872 641.23 o 16730 641.23 c 1870 641.68 o 16732 641.68 c 1868 642.09 o 16733 642.09 c 1867 642.51 o 16734 642.51 c 1866 642.94 o 16735 642.94 c 1865 643.28 o 16738 643.28 c 1862 643.69 o 16739 643.69 c 1861 644.12 o 16740 644.12 c 1860 644.56 o 16742 644.56 c 1858 645.00 o 16743 645.00 c 1857 646.31 o 16744 646.31 c 1856 646.52 o 16746 646.52 c 1854 646.92 o 16749 646.92 c 1851 649.53 o 16750 649.53 c 1850 649.97 o 16751 649.97 c 1849 650.41 o 16752 650.41 c 1848 655.65 o 16753 655.65 c 1847 656.95 o 16754 656.95 c 1846 657.38 o 16755 657.39 c 1845 657.80 o 16757 657.80 c 1843 658.26 o 16758 658.26 c 1842 658.69 o 16759 658.69 c 1841 659.07 o 16760 659.07 c 1840 659.51 o 16761 659.51 c 1839 659.95 o 16762 659.95 c 1838 660.38 o 16763 660.38 c 1837 661.98 o 16765 661.98 c 1835 665.18 o 16766 665.18 c 1834 666.08 o 16767 666.08 c 1833 667.01 o 16768 667.01 c 1832 667.47 o 16770 667.47 c 1830 667.93 o 16771 667.93 c 1829 668.41 o 16773 668.41 c 1827 669.67 o 16775 669.67 c 1825 670.13 o 16777 670.13 c 1823 672.92 o 16778 672.92 c 1822 674.75 o 16780 674.75 c 1820 675.21 o 16782 675.21 c 1818 676.37 o 16784 676.37 c 1816 676.63 o 16788 676.63 c 1812 677.10 o 16789 677.10 c 1811 677.55 o 16791 677.55 c 1809 681.56 o 16794 681.56 c 1806 682.04 o 16795 682.04 c 1805 682.51 o 16796 682.51 c 1804 683.42 o 16797 683.42 c 1803 688.91 o 16798 688.91 c 1802 689.85 o 16801 689.85 c 1799 692.10 o 16802 692.10 c 1798 694.30 o 16803 694.30 c 1797 695.67 o 16804 695.67 c 1796 696.08 o 16805 696.08 c 1795 696.55 o 16806 696.55 c 1794 698.83 o 16807 698.83 c 1793 699.30 o 16808 699.30 c 1792 700.23 o 16809 700.23 c 1791 710.43 o 16810 710.43 c 1790 723.42 o 16811 723.42 c 1789 723.87 o 16812 723.87 c 1788 724.36 o 16816 724.36 c 1784 724.82 o 16818 724.82 c 1782 725.28 o 16819 725.28 c 1781 725.74 o 16821 725.74 c 1779 726.21 o 16822 726.21 c 1778 726.67 o 16824 726.67 c 1776 727.14 o 16825 727.14 c 1775 730.41 o 16827 730.41 c 1773 731.35 o 16830 731.35 c 1770 733.75 o 16831 733.75 c 1769 734.24 o 16832 734.24 c 1768 734.73 o 16833 734.73 c 1767 735.21 o 16834 735.21 c 1766 735.70 o 16835 735.70 c 1765 737.16 o 16837 737.16 c 1763 738.12 o 16840 738.12 c 1760 742.25 o 16842 742.25 c 1758 747.03 o 16843 747.03 c 1757 747.98 o 16844 747.98 c 1756 751.54 o 16845 751.54 c 1755 752.05 o 16847 752.05 c 1753 752.42 o 16850 752.42 c 1750 753.41 o 16851 753.41 c 1749 753.89 o 16852 753.89 c 1748 754.39 o 16853 754.39 c 1747 755.39 o 16854 755.39 c 1746 773.22 o 16855 773.22 c 1745 773.74 o 16856 773.74 c 1744 774.26 o 16857 774.26 c 1743 774.74 o 16858 774.74 c 1742 777.36 o 16860 777.36 c 1740 778.42 o 16863 778.42 c 1737 778.95 o 16864 778.95 c 1736 780.32 o 16865 780.32 c 1735 782.43 o 16867 782.43 c 1733 784.92 o 16868 784.92 c 1732 785.47 o 16870 785.47 c 1730 786.56 o 16871 786.56 c 1729 787.01 o 16874 787.01 c 1726 787.55 o 16876 787.55 c 1724 788.33 o 16877 788.33 c 1723 789.93 o 16878 789.93 c 1722 795.91 o 16880 795.91 c 1720 796.42 o 16882 796.42 c 1718 797.45 o 16884 797.45 c 1716 798.49 o 16885 798.49 c 1715 799.02 o 16887 799.02 c 1713 802.14 o 16888 802.14 c 1712 806.06 o 16889 806.06 c 1711 806.60 o 16890 806.60 c 1710 807.13 o 16892 807.13 c 1708 807.66 o 16894 807.66 c 1706 808.18 o 16895 808.18 c 1705 809.62 o 16896 809.62 c 1704 810.14 o 16897 810.14 c 1703 810.66 o 16898 810.66 c 1702 811.19 o 16900 811.19 c 1700 811.71 o 16902 811.71 c 1698 813.80 o 16903 813.80 c 1697 815.82 o 16906 815.82 c 1694 816.36 o 16907 816.36 c 1693 816.89 o 16909 816.89 c 1691 819.87 o 16912 819.87 c 1688 821.90 o 16914 821.90 c 1686 822.41 o 16918 822.41 c 1682 823.95 o 16921 823.95 c 1679 824.25 o 16922 824.25 c 1678 825.28 o 16924 825.28 c 1676 826.34 o 16926 826.34 c 1674 827.89 o 16927 827.89 c 1673 828.40 o 16929 828.40 c 1671 829.95 o 16932 829.95 c 1668 830.47 o 16933 830.47 c 1667 830.99 o 16936 830.99 c 1664 831.40 o 16937 831.40 c 1663 831.88 o 16938 831.88 c 1662 832.39 o 16939 832.39 c 1661 835.44 o 16942 835.44 c 1658 835.95 o 16943 835.95 c 1657 836.96 o 16944 836.96 c 1656 837.98 o 16945 837.98 c 1655 838.49 o 16946 838.49 c 1654 841.78 o 16947 841.78 c 1653 844.27 o 16949 844.27 c 1651 845.92 o 16951 845.92 c 1649 846.43 o 16953 846.43 c 1647 847.09 o 16954 847.09 c 1646 847.61 o 16956 847.61 c 1644 848.03 o 16957 848.03 c 1643 848.46 o 16958 848.46 c 1642 850.50 o 16959 850.50 c 1641 852.52 o 16960 852.52 c 1640 853.02 o 16963 853.02 c 1637 857.80 o 16964 857.80 c 1636 858.83 o 16965 858.83 c 1635 860.79 o 16966 860.79 c 1634 861.28 o 16968 861.28 c 1632 863.17 o 16969 863.17 c 1631 864.55 o 16970 864.55 c 1630 866.03 o 16971 866.03 c 1629 866.52 o 16972 866.52 c 1628 868.97 o 16973 868.97 c 1627 869.44 o 16974 869.44 c 1626 869.93 o 16975 869.93 c 1625 880.17 o 16976 880.17 c 1624 881.19 o 16977 881.19 c 1623 885.65 o 16978 885.65 c 1622 886.08 o 16979 886.08 c 1621 886.58 o 16981 886.58 c 1619 888.08 o 16982 888.08 c 1618 900.77 o 16983 900.77 c 1617 900.88 o 16985 900.88 c 1615 902.32 o 16986 902.32 c 1614 902.83 o 16989 902.83 c 1611 903.11 o 16991 903.11 c 1609 903.61 o 16992 903.61 c 1608 905.12 o 16993 905.12 c 1607 905.47 o 16994 905.47 c 1606 908.39 o 16995 908.39 c 1605 908.87 o 16996 908.87 c 1604 910.20 o 16997 910.20 c 1603 910.70 o 16998 910.70 c 1602 911.21 o 16999 911.21 c 1601 915.06 o 17000 915.06 c 1600 915.57 o 17001 915.57 c 1599 916.60 o 17002 916.60 c 1598 917.11 o 17003 917.11 c 1597 921.09 o 17004 921.09 c 1596 934.78 o 17005 934.79 c 1595 935.02 o 17008 935.02 c 1592 935.72 o 17010 935.72 c 1590 935.83 o 17011 935.83 c 1589 936.36 o 17012 936.36 c 1588 953.53 o 17013 953.53 c 1587 956.30 o 17014 956.30 c 1586 957.92 o 17015 957.92 c 1585 958.83 o 17016 958.83 c 1584 976.34 o 17017 976.34 c 1583 976.78 o 17020 976.78 c 1580 977.62 o 17023 977.62 c 1577 978.10 o 17024 978.10 c 1576 978.65 o 17028 978.65 c 1572 981.92 o 17029 981.92 c 1571 982.47 o 17031 982.47 c 1569 982.65 o 17032 982.65 c 1568 983.21 o 17033 983.21 c 1567 985.49 o 17034 985.49 c 1566 986.03 o 17035 986.03 c 1565 987.68 o 17036 987.68 c 1564 990.83 o 17038 990.83 c 1562 992.53 o 17039 992.53 c 1561 1000.49 o 17040 1000.49 c 1560 1001.61 o 17042 1001.61 c 1558 1002.14 o 17044 1002.14 c 1556 1004.90 o 17045 1004.90 c 1555 1006.58 o 17046 1006.58 c 1554 1007.13 o 17050 1007.13 c 1550 1007.68 o 17051 1007.68 c 1549 1008.23 o 17052 1008.23 c 1548 1010.88 o 17053 1010.88 c 1547 1014.05 o 17054 1014.05 c 1546 1015.14 o 17055 1015.14 c 1545 1024.11 o 17056 1024.11 c 1544 1025.18 o 17058 1025.18 c 1542 1025.72 o 17059 1025.72 c 1541 1027.88 o 17060 1027.88 c 1540 1028.44 o 17062 1028.44 c 1538 1029.34 o 17063 1029.34 c 1537 1030.89 o 17066 1030.89 c 1534 1031.94 o 17067 1031.94 c 1533 1032.49 o 17068 1032.49 c 1532 1033.04 o 17070 1033.04 c 1530 1034.09 o 17071 1034.09 c 1529 1053.79 o 17072 1053.79 c 1528 1054.21 o 17073 1054.21 c 1527 1054.85 o 17074 1054.86 c 1526 1055.30 o 17075 1055.30 c 1525 1055.68 o 17076 1055.68 c 1524 1056.19 o 17079 1056.19 c 1521 1073.28 o 17081 1073.28 c 1519 1074.21 o 17083 1074.21 c 1517 1076.77 o 17084 1076.77 c 1516 1077.77 o 17086 1077.77 c 1514 1079.27 o 17088 1079.27 c 1512 1080.76 o 17089 1080.76 c 1511 1081.25 o 17090 1081.25 c 1510 1082.22 o 17091 1082.22 c 1509 1083.22 o 17092 1083.22 c 1508 1083.35 o 17095 1083.35 c 1505 1083.84 o 17096 1083.84 c 1504 1085.32 o 17098 1085.32 c 1502 1085.82 o 17099 1085.82 c 1501 1086.33 o 17101 1086.33 c 1499 1097.52 o 17105 1097.52 c 1495 1099.30 o 17106 1099.30 c 1494 1099.82 o 17110 1099.82 c 1490 1100.35 o 17111 1100.35 c 1489 1101.89 o 17112 1101.89 c 1488 1103.28 o 17113 1103.28 c 1487 1105.70 o 17114 1105.70 c 1486 1108.25 o 17115 1108.25 c 1485 1111.22 o 17116 1111.22 c 1484 1111.72 o 17118 1111.72 c 1482 1112.23 o 17120 1112.23 c 1480 1118.05 o 17121 1118.05 c 1479 1118.56 o 17123 1118.56 c 1477 1119.08 o 17124 1119.08 c 1476 1120.09 o 17126 1120.09 c 1474 1120.60 o 17127 1120.60 c 1473 1121.12 o 17128 1121.12 c 1472 1122.14 o 17129 1122.14 c 1471 1122.65 o 17131 1122.65 c 1469 1122.93 o 17132 1122.93 c 1468 1123.46 o 17134 1123.46 c 1466 1123.86 o 17136 1123.86 c 1464 1124.38 o 17139 1124.38 c 1461 1124.89 o 17141 1124.89 c 1459 1125.39 o 17142 1125.39 c 1458 1125.90 o 17143 1125.90 c 1457 1140.36 o 17144 1140.36 c 1456 1141.40 o 17146 1141.40 c 1454 1144.32 o 17148 1144.32 c 1452 1145.43 o 17149 1145.43 c 1451 1146.92 o 17150 1146.92 c 1450 1151.96 o 17153 1151.96 c 1447 1152.50 o 17154 1152.50 c 1446 1154.12 o 17155 1154.12 c 1445 1155.18 o 17157 1155.18 c 1443 1155.74 o 17159 1155.74 c 1441 1156.87 o 17162 1156.87 c 1438 1157.43 o 17163 1157.43 c 1437 1161.40 o 17166 1161.40 c 1434 1161.97 o 17167 1161.97 c 1433 1162.52 o 17169 1162.52 c 1431 1163.08 o 17171 1163.08 c 1429 1164.74 o 17172 1164.74 c 1428 1165.86 o 17173 1165.86 c 1427 1166.10 o 17175 1166.10 c 1425 1168.32 o 17177 1168.32 c 1423 1169.43 o 17178 1169.43 c 1422 1170.54 o 17179 1170.54 c 1421 1171.08 o 17180 1171.08 c 1420 1176.07 o 17182 1176.07 c 1418 1176.61 o 17186 1176.61 c 1414 1178.76 o 17187 1178.76 c 1413 1182.50 o 17188 1182.50 c 1412 1183.04 o 17189 1183.04 c 1411 1183.16 o 17190 1183.16 c 1410 1183.69 o 17192 1183.69 c 1408 1214.35 o 17193 1214.35 c 1407 1214.91 o 17194 1214.91 c 1406 1221.04 o 17195 1221.04 c 1405 1222.17 o 17197 1222.17 c 1403 1222.72 o 17198 1222.72 c 1402 1225.41 o 17199 1225.41 c 1401 1231.08 o 17200 1231.08 c 1400 1232.77 o 17201 1232.77 c 1399 1233.89 o 17202 1233.89 c 1398 1234.99 o 17203 1234.99 c 1397 1235.47 o 17206 1235.47 c 1394 1235.75 o 17207 1235.75 c 1393 1236.31 o 17210 1236.31 c 1390 1236.87 o 17211 1236.87 c 1389 1237.42 o 17212 1237.42 c 1388 1253.21 o 17213 1253.21 c 1387 1255.89 o 17215 1255.89 c 1385 1256.46 o 17216 1256.46 c 1384 1257.55 o 17217 1257.55 c 1383 1258.13 o 17218 1258.13 c 1382 1263.96 o 17219 1263.96 c 1381 1264.50 o 17221 1264.50 c 1379 1265.43 o 17224 1265.43 c 1376 1265.93 o 17225 1265.93 c 1375 1266.16 o 17226 1266.16 c 1374 1266.68 o 17228 1266.68 c 1372 1267.35 o 17229 1267.35 c 1371 1276.96 o 17230 1276.96 c 1370 1277.55 o 17231 1277.55 c 1369 1278.74 o 17232 1278.74 c 1368 1284.14 o 17234 1284.14 c 1366 1303.68 o 17235 1303.68 c 1365 1304.30 o 17236 1304.30 c 1364 1305.10 o 17237 1305.10 c 1363 1306.31 o 17238 1306.31 c 1362 1313.39 o 17239 1313.39 c 1361 1328.64 o 17240 1328.64 c 1360 1329.27 o 17241 1329.27 c 1359 1331.42 o 17246 1331.42 c 1354 1333.04 o 17247 1333.04 c 1353 1333.66 o 17249 1333.66 c 1351 1335.42 o 17251 1335.42 c 1349 1337.26 o 17252 1337.26 c 1348 1339.69 o 17253 1339.69 c 1347 1340.28 o 17255 1340.28 c 1345 1340.90 o 17257 1340.90 c 1343 1341.50 o 17258 1341.50 c 1342 1342.74 o 17260 1342.74 c 1340 1343.35 o 17262 1343.35 c 1338 1349.21 o 17263 1349.21 c 1337 1351.03 o 17265 1351.03 c 1335 1352.86 o 17266 1352.86 c 1334 1353.47 o 17268 1353.47 c 1332 1354.08 o 17269 1354.08 c 1331 1354.70 o 17270 1354.70 c 1330 1377.36 o 17273 1377.36 c 1327 1377.94 o 17274 1377.94 c 1326 1385.56 o 17275 1385.56 c 1325 1386.74 o 17277 1386.74 c 1323 1387.91 o 17281 1387.91 c 1319 1389.08 o 17282 1389.08 c 1318 1389.91 o 17283 1389.91 c 1317 1391.24 o 17284 1391.24 c 1316 1391.68 o 17285 1391.68 c 1315 1391.86 o 17287 1391.86 c 1313 1392.42 o 17288 1392.42 c 1312 1393.00 o 17289 1393.00 c 1311 1402.11 o 17290 1402.11 c 1310 1403.28 o 17292 1403.28 c 1308 1404.44 o 17293 1404.44 c 1307 1407.29 o 17294 1407.29 c 1306 1407.89 o 17295 1407.89 c 1305 1409.69 o 17296 1409.69 c 1304 1410.82 o 17297 1410.82 c 1303 1414.88 o 17298 1414.88 c 1302 1415.47 o 17299 1415.47 c 1301 1417.09 o 17300 1417.09 c 1300 1418.55 o 17301 1418.55 c 1299 1419.12 o 17304 1419.12 c 1296 1420.86 o 17306 1420.86 c 1294 1421.95 o 17307 1421.95 c 1293 1422.32 o 17309 1422.32 c 1291 1424.00 o 17315 1424.00 c 1285 1424.58 o 17316 1424.58 c 1284 1436.14 o 17317 1436.14 c 1283 1439.80 o 17318 1439.80 c 1282 1440.42 o 17320 1440.42 c 1280 1440.84 o 17321 1440.84 c 1279 1441.44 o 17324 1441.44 c 1276 1441.75 o 17326 1441.75 c 1274 1442.36 o 17327 1442.36 c 1273 1443.57 o 17329 1443.57 c 1271 1444.96 o 17331 1444.96 c 1269 1445.40 o 17333 1445.40 c 1267 1446.01 o 17334 1446.01 c 1266 1446.31 o 17336 1446.31 c 1264 1446.92 o 17338 1446.92 c 1262 1447.54 o 17339 1447.54 c 1261 1449.97 o 17341 1449.97 c 1259 1451.19 o 17343 1451.19 c 1257 1456.35 o 17344 1456.35 c 1256 1456.95 o 17345 1456.95 c 1255 1461.41 o 17346 1461.41 c 1254 1462.65 o 17347 1462.65 c 1253 1463.05 o 17348 1463.05 c 1252 1463.38 o 17350 1463.38 c 1250 1464.05 o 17351 1464.05 c 1249 1464.66 o 17352 1464.66 c 1248 1475.47 o 17353 1475.47 c 1247 1483.03 o 17354 1483.03 c 1246 1484.25 o 17356 1484.25 c 1244 1484.87 o 17358 1484.87 c 1242 1486.08 o 17361 1486.08 c 1239 1486.96 o 17362 1486.96 c 1238 1487.85 o 17363 1487.85 c 1237 1488.46 o 17364 1488.46 c 1236 1489.66 o 17365 1489.66 c 1235 1490.28 o 17366 1490.28 c 1234 1495.48 o 17367 1495.48 c 1233 1501.26 o 17369 1501.26 c 1231 1501.89 o 17370 1501.89 c 1230 1507.49 o 17372 1507.49 c 1228 1508.74 o 17373 1508.74 c 1227 1511.99 o 17376 1511.99 c 1224 1513.16 o 17377 1513.16 c 1223 1514.97 o 17378 1514.97 c 1222 1518.57 o 17379 1518.57 c 1221 1519.78 o 17380 1519.78 c 1220 1520.99 o 17381 1520.99 c 1219 1525.36 o 17382 1525.36 c 1218 1526.00 o 17383 1526.00 c 1217 1529.07 o 17384 1529.07 c 1216 1532.07 o 17385 1532.07 c 1215 1533.98 o 17386 1533.98 c 1214 1534.56 o 17388 1534.56 c 1212 1536.47 o 17390 1536.47 c 1210 1540.91 o 17391 1540.91 c 1209 1541.56 o 17392 1541.56 c 1208 1542.85 o 17393 1542.85 c 1207 1543.49 o 17394 1543.49 c 1206 1549.44 o 17398 1549.44 c 1202 1550.08 o 17400 1550.08 c 1200 1552.00 o 17401 1552.00 c 1199 1556.03 o 17402 1556.03 c 1198 1556.68 o 17404 1556.68 c 1196 1557.32 o 17405 1557.32 c 1195 1587.65 1587.65 search 1587.65 run=0 nbConstraintChecks=3362172462 nbAssignments=4403 1587.65 => wckTime=1524.476 cpuTime=1515.97 mem=63M171 1587.65 1587.65 global 1587.65 nbConstraintChecks=3362172462 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1587.65 solvingWckTime=1524.455 solvingCpuTime=1515.95 expiredTime=no totalExploration=no nbFoundSolutions=0 1587.65 globalCpuTime=1577.38 1587.65 => wckTime=1587.331 cpuTime=1577.32 mem=63M171 1587.65 1587.65 solver IterativeSystematicSolver being built... 1588.32 => wckTime=1588.007 cpuTime=1577.72 mem=153M606 1741.30 1741.30 preprocessing 1741.30 nbConstraintChecks=326023619 nbValidityChecks=883054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1741.30 nbRemovedValues=0 detectedInconsistency=no 1741.30 => wckTime=152.967 cpuTime=152.23 mem=153M606 2410.69 v -2250 2474 -2454 -2842 -2894 -2674 -2266 2506 2522 2686 2010 1990 -2586 -2766 -2826 -2702 2238 2218 2054 2858 2822 2482 -2822 2506 -2222 -2294 2014 1994 -2846 -2158 2074 2050 2754 -2358 -2826 -2806 -2694 -2814 -2778 -2106 -2854 2698 2018 -2878 -2882 -2770 2050 -2578 -2694 -2866 -2218 2666 2482 -2030 -2566 -2366 2842 -2710 2842 -2826 2854 1998 -2074 -2010 -2338 1990 -2210 -2542 2490 2654 -2114 -2834 -2782 -2006 2882 -2610 2634 -2142 -2366 2078 -2498 -2454 -2214 1998 -2478 -2862 2770 2154 -2846 -2274 2118 -2818 2170 2774 -1990 2582 -2154 2886 -2490 1990 -2702 -2030 2474 -2782 2586 -2734 -2038 2730 2370 -2802 1994 -2622 -2242 2414 2630 -2054 2462 2070 2854 -2038 2798 2894 2846 -2830 2606 2030 2038 1994 -2090 -2882 -1990 2474 -2650 2406 2238 -2694 -2258 -2306 2894 2266 2026 -2742 2278 -2470 -2878 -2826 2802 -2374 -2038 -2306 2458 -2838 2466 -2882 -2894 -2214 2226 2410 -2750 2690 2114 2610 2354 -2218 2034 2874 -2510 2458 -2710 -2042 -2806 -2670 2330 2654 -2846 2430 -2134 -2374 2830 2586 -2830 2474 -2770 2866 2506 -2146 2878 2546 -2382 2818 2186 -2398 -2358 2066 -2438 2030 2198 2874 -2098 -2046 2062 2034 -2434 -2526 2786 2034 2050 -2410 2866 -2442 -2774 -2042 -2118 2890 2858 2674 -2850 -2486 2378 -2622 -2870 -2454 2146 2614 -2050 -2090 2862 2398 -2770 -2474 2778 -2878 2662 -2034 2714 -2730 2446 2342 -2746 -2042 -2714 -2002 1990 -2222 2810 2818 -2746 2578 -2346 -2854 -2350 -2046 2498 -2678 -2194 1994 -2394 2534 2702 2106 2298 -2842 2830 -2334 2894 -2290 2870 2346 2170 2010 -2818 -2618 -2878 2790 -2866 2038 2822 2894 2574 2538 -2562 2674 2090 2478 -2034 -2886 -2874 -2074 2326 -2286 2490 2630 -2270 2618 -2154 2174 2606 -2762 -2194 -2838 2822 2670 2134 2890 -2834 2838 -2006 -2562 -2682 -2662 -2682 -2238 -2022 2490 1990 2326 2846 -2794 2846 1998 -2038 -2862 2850 -2654 2782 -2574 -2886 -2850 -2690 2046 -2210 -2522 -2550 -2398 -2550 -2462 2602 2074 2626 2106 -2454 -2850 2306 2290 -2038 -2370 2890 -2150 2742 -2058 -2010 -2626 2046 -2406 -2046 2602 2190 1990 2838 2186 -2850 -2074 -2894 2666 -2002 -2846 -2850 -2026 2206 2834 -2798 2050 2042 2438 -2426 2670 -2130 -2030 -2386 -2578 2422 2006 -2854 -2358 1998 1990 -2566 2822 -2702 2342 2674 -2038 -2830 2130 2846 2410 -2014 -2478 -2250 2718 -2870 -2754 2370 2270 2314 2854 2182 -1994 -2010 2046 2890 -2094 -2766 2614 -2714 -2034 2854 -2878 2874 2398 -2398 -2322 -2034 2406 2670 -2818 2018 2626 2814 2790 2250 2674 2186 1998 -2582 2890 2102 2802 2874 -2102 2522 2030 -2466 -2578 -2858 -2534 2178 2886 2546 2782 -2002 2002 -2250 2830 2298 2614 -2358 -2422 2698 2098 -2206 2066 -2702 -2262 -2874 -2042 -2878 2010 2110 2066 -2398 2182 -2102 -2838 1990 -2358 2222 2474 2434 -2562 2778 -1990 2618 -2378 2782 2526 -2118 2214 -2166 2070 2706 -2546 2034 2650 -1994 2758 2414 -2834 -2766 -2390 2318 -2798 2818 -2890 -2402 -2894 2574 -2058 2834 2770 -2122 -2026 2690 -1994 2850 2838 -2850 2730 2386 2658 -2762 2346 2042 2426 -2838 -2390 -2806 -2262 -2462 2882 -2602 2422 -2414 2802 2890 2058 -2710 2606 -2666 2042 -2038 -2894 -2206 2554 -2030 -1990 -2830 -2730 -2850 2790 2222 2802 -2122 1990 -2674 2362 -2414 2826 -2446 2034 2046 2030 2010 2014 2018 2226 -2450 1990 2826 2722 -2726 2378 -2630 2834 2766 1994 -2334 -2746 -2254 2526 -2710 2866 -1990 2870 -2302 -2882 -2846 -1998 -1994 -2390 -2882 -2494 -2386 2406 -2018 -2854 -2062 2886 -2282 -2106 -2494 -2658 -2786 2046 -2058 2878 -2046 2174 2038 2702 -2782 -2602 -2870 2010 -2734 -2014 2866 1990 -2890 2030 2606 2894 2686 -2030 2038 -2830 2850 -2350 2890 2046 2318 2074 2858 -2058 2006 -2462 2810 2814 2862 2142 2538 -2118 -2054 -2370 2198 2822 -2642 -2894 -2854 2790 2894 2190 -2178 -2402 2862 2890 -2482 2662 2638 2794 2494 -2726 2794 2314 2450 2222 -2614 2102 -2202 2486 -2506 -2742 -2426 2334 2846 -2678 -2210 2350 2886 2882 -2578 -2842 -2894 -2850 -1990 -2074 -2402 -2870 -2890 -2110 -2218 -2894 2014 -2614 2286 -2114 -2230 -2422 2742 2778 2050 2446 -2454 -2894 2738 2642 -2662 2006 2622 2670 2426 -2878 2006 -2342 -2690 2842 2058 -2882 2290 -2066 -2486 -2654 -2014 2334 2098 2294 2358 -2610 2810 2806 2066 2602 2354 2170 2374 -2610 2574 -2418 -2482 -2210 -2522 -1990 -2502 2630 2042 2466 -2678 2462 2846 2482 -2066 1998 2478 2582 2086 2042 2838 2646 1990 2886 -2894 2066 2682 2418 2434 2210 2442 -2882 -2438 -2038 -2770 2746 -2582 2098 2774 2038 -1994 2334 2670 2378 -1998 2030 2250 2374 2154 2186 2430 2494 2034 2806 -2682 2826 -2850 2006 2558 2850 -2678 2410 -2854 2878 -2050 2610 -2030 2710 2158 -2098 -2382 2650 2090 2174 2810 -2382 2146 -2078 2646 -2454 -2378 2038 -2546 -2742 -2058 -2206 1990 -1998 -2206 -2830 -2846 2010 2202 2742 -2566 -2002 2374 2486 -1998 -2750 -2794 -2498 1998 -2058 2878 -2102 2322 2642 2094 -2834 1998 -2398 2830 -2586 -2494 -2018 -2194 -2762 -1990 2298 -1998 2846 -2094 -2326 -2450 2222 -2098 2006 -2890 2138 -2534 -2854 -2846 -2890 2458 2374 2706 -2810 2622 -2090 2182 2174 -2854 2074 1998 2302 2418 2278 -2554 2694 -2850 -2594 -1994 -2698 -2846 -2026 -2026 -2234 -2886 2038 -2874 -2418 -2702 2406 2822 -2854 -2046 2418 -2742 2498 2778 -2694 -2822 2434 -2050 2694 2818 -2886 2818 2590 -2250 2710 2586 -2178 1998 -2846 -2842 2326 -2494 2586 -2034 2874 -2002 2410 -2214 -2002 -2882 -2886 -2226 2182 -2750 2506 2634 -2034 2054 -2338 2338 -2670 2034 -2046 -2894 2546 2730 2182 -2834 2854 2442 -2042 -2494 2034 -2382 2854 2822 2794 -2642 -2230 -2794 -2046 2370 -2850 -2330 2618 -2842 -2402 -2410 2082 2382 -2774 2598 2678 2854 2326 2362 -2018 2482 2594 -2334 -2606 -2714 2038 -2834 2806 2418 -2030 2006 -2286 2402 2018 2862 -1994 -2482 2590 2606 2702 2850 2518 2794 -2890 -2106 -2450 2526 2398 -2058 -2118 2026 -2386 2358 -2458 -1990 2378 -2682 2450 -2854 -2754 2850 2382 2602 2566 1990 2446 -1990 2850 2658 2030 -2346 2822 -2798 2298 -2454 2194 2882 2238 2650 2314 2810 1998 -2834 2574 2430 -2434 2642 2046 2050 2674 -2226 -2810 2338 -2506 2842 -2466 2394 2030 -2670 2002 2838 2602 2422 2862 -2834 -2150 -2518 2742 2534 2238 2338 -2162 -2086 2030 2742 -2806 -2694 2890 -2738 -2030 -2086 -2246 -2850 -2002 -2194 2070 -2750 2802 2102 2846 2534 -2346 -2250 2838 -2798 -2894 -2030 -2382 2770 2854 2854 2646 -2018 2794 2334 2350 -2142 -2842 -2734 2446 1990 2758 1990 2886 -2734 2302 -2882 -1998 2838 -2774 -2062 2318 2698 2026 2338 -2858 2766 2826 2862 -2570 2258 -2854 2006 -2846 -2834 2434 -2866 -2378 2850 2634 2754 2366 2030 -2802 1990 -2894 2558 -2110 -2718 -2222 -2030 2162 -2778 2226 -2166 2438 2514 -2130 2894 2066 -1998 2278 2050 2042 2622 -2774 2778 2010 2526 -2566 -2082 -2846 2478 -2174 2786 2006 2334 2658 2034 2854 -2058 2806 -2342 -2038 2586 -2774 -2022 2838 2394 2702 2854 2834 -2418 2394 -2834 -2078 2130 -2534 2374 -2838 -2058 2102 -2062 2530 -2822 2754 2094 2806 -2582 -2742 2534 2734 2406 2734 2870 2562 -2434 2518 2502 2658 2154 -2118 -2786 -2842 2826 2882 -2866 -2030 2366 -2350 2162 2234 2822 2362 2510 2442 -2138 2050 -2670 -2618 2506 2046 -2846 -2754 -2046 2526 -2846 -2846 2658 -2650 -1990 -2478 2018 2706 -2030 -2538 -2530 -2834 2722 2722 2470 -2038 -2826 2006 -2602 1990 2818 -2010 -2502 -1990 -2462 2290 2034 2402 -2394 -2854 2498 2046 2070 2846 -2358 2166 2890 2346 -2318 -2782 2890 -2778 -2210 2838 2414 2406 2050 -2318 -2718 -2026 2250 2174 2670 -2894 1990 2546 -2450 -2278 -2890 -2238 2890 -2298 -2794 -2854 2226 2386 2166 2194 2518 -2246 -2082 2854 -2502 2118 -2226 2054 2042 -2894 2846 2230 -2678 -2830 -2830 -2722 2886 2886 2874 -2122 -2038 -1994 -2154 -2034 2586 -2806 2894 2162 -2054 -2062 2386 2462 -2822 -2858 2070 2030 2730 2886 -2842 -2046 -2710 -2050 2642 -2570 -2030 -2014 -2838 2378 -2582 2826 2486 -2790 -2194 -2326 2110 2418 2630 2550 2014 -2098 2782 -2034 2070 2386 -2874 2002 -2502 2054 2818 -2166 -2750 2030 -2442 -2010 -2682 -2334 1990 -2538 -2850 -2770 -2118 2122 -2854 2594 -2686 2030 2042 2654 2282 -2794 -2386 -2818 -2098 2866 -2598 2630 -2698 -2514 2522 2890 -2570 -2318 2378 2018 -2886 2894 -2606 -2646 2834 -2010 -2882 -2414 2774 2774 -2442 -2462 -2630 2730 2054 2250 -2230 -2390 2754 2222 -2466 2014 -2566 2014 -2710 -2470 2854 2286 2286 -2018 -1994 -2186 -2006 -2590 -2822 2518 -2422 -2386 2234 -2306 -2814 -2282 -2562 2842 -1990 2854 -2790 -1998 1994 -2326 2446 1994 -2330 2726 2374 -2834 2034 2342 -2418 2006 -2546 2650 -2374 2538 2846 -2050 2446 -2850 2410 -2710 2062 2002 -2062 -2058 -2798 -2894 -2670 -2182 -2686 2262 -2714 -2874 2730 2002 2034 2842 2830 -2210 -2398 -2382 2718 -2590 -1994 2490 -2886 2782 2838 -1994 2822 2574 2542 -2322 -1990 -2286 -2870 2342 -2290 -2662 2014 -2894 -2878 -2218 2362 2038 2590 2406 2250 -2618 -2426 2542 -2882 2278 2710 -2894 -2758 -2134 -2518 2046 -2278 -2038 2722 -2610 2002 2334 2046 2814 2794 -2374 -2494 2714 -2718 -2002 2578 -2190 2846 2070 -2418 2342 2466 2894 2190 2890 -1994 2374 -2846 -2054 2502 2750 -2046 2638 2734 -2014 2746 2266 -2078 -2178 2654 2370 2002 -2718 -2822 -2030 2670 -2862 2566 2030 2690 -2890 -2478 -2366 2042 2850 -2058 -2246 -2010 -2362 -2738 -2498 1990 -2142 2030 -2458 -2354 2022 2006 2254 2610 2054 1990 2218 -2034 2870 2202 -2422 2886 2214 2046 -2878 -1990 -2850 2030 2802 2046 2622 1998 2602 2746 -2790 -2894 2502 2186 -2842 -2542 2290 -2226 -2886 1990 -2706 -2834 -2610 2622 -2562 2362 2006 -2006 2410 -2642 2846 2826 -2846 -2290 2226 -2030 2858 -2614 2042 -2046 -2642 2058 -2414 2290 2578 2058 -2054 -2166 2278 2618 2530 2774 2494 2002 2886 -2718 -2322 2530 1998 -2646 2722 2794 2142 2870 2362 2078 -2894 2670 2634 2874 -2426 2894 2250 -2070 2030 -2622 -2066 2618 2342 2530 2790 2478 -2710 2834 -2702 -2366 2546 2822 2058 2318 2030 2806 -2446 -2786 2778 -1990 2394 -2466 2102 2702 -2034 2010 2338 2162 -2146 -2846 2066 -2834 -2678 -2878 2038 2854 2038 1994 -2602 -2842 2874 2454 -2278 2226 2502 2022 -2878 2574 2870 -2782 2842 -2138 2390 2894 2138 -2694 -2658 -2890 -1990 -2158 -2486 2070 2186 2698 2210 2018 2390 -2382 2358 2370 2438 -2202 -2842 -2522 2606 -2862 2410 2878 -2730 2718 -2034 -2046 2890 2634 2030 2682 -2850 2082 2398 2378 2074 2854 2834 -2026 -2742 -2106 2030 2026 -2186 2394 -2506 2170 -2382 2006 -2062 -1994 -2426 -2878 2582 2806 2638 -2886 2290 2102 2850 -2326 2278 -2138 2770 -2878 -2366 2382 -2770 -2546 -2534 -2122 2702 -2826 2734 -2854 -2846 1998 -2650 2874 2382 -2794 1990 -1990 -2430 -2030 -2542 2442 -2786 2830 2774 -2402 -2298 -1990 2410 2630 -2846 2826 -2654 2374 2214 2818 2518 -2870 -1990 2550 -2766 -2794 2274 -2866 -2302 2890 2434 -2054 -2842 2546 2854 -2462 2086 -2030 -2706 2014 2450 -2822 -2214 -2542 2030 2202 -2158 2034 2334 2694 -1990 -2734 -2034 -2434 2378 -2822 -2310 2010 -2806 -2514 -2814 -2466 2114 2610 2694 -2686 -2622 -2338 2006 2890 2274 2582 -2858 2762 -2886 -2806 -2710 -2030 -2894 2034 2478 -2890 -2266 -2030 2770 2054 2206 -2722 -2146 -2778 -2562 -2874 -2758 2402 2890 -2738 2622 -2006 -2882 -2842 -2402 2450 2494 -2242 2858 -1990 2366 2798 -2442 -2038 2062 -2758 -2754 2474 2546 -2734 -2102 2570 2014 -2602 2010 -2662 -2142 -2102 -2362 2830 -2810 -2882 -2694 2070 -2266 2582 2870 -2514 -2470 2838 -2402 2878 -2874 -1994 2502 2066 2894 -2566 1990 2182 -2810 -2894 2758 -2286 2890 2834 2730 1998 2190 1998 2590 2086 2738 2374 -2326 -2042 2422
1195 unsatisfied constraints, 17405 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-275652-1169224752 -o ROOT/results/node72/solver-275652-1169224752 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275652-1169224752/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 2.04 2.02 2.00 4/93 32767 /proc/meminfo: memFree=1103784/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=12008 CPUtime=0 /proc/32766/stat : 32766 (java) D 32764 32766 31535 0 -1 0 784 0 1 0 0 0 0 0 17 0 1 0 270884028 12296192 533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2536228 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0 /proc/32766/statm: 3002 533 440 14 0 1602 0 [startup+0.104209 s] /proc/loadavg: 2.04 2.02 2.00 4/93 32767 /proc/meminfo: memFree=1103784/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=914988 CPUtime=0.09 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 2961 0 1 0 7 2 0 0 17 0 8 0 270884028 936947712 2707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2499540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228747 2707 1416 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.516245 s] /proc/loadavg: 2.04 2.02 2.00 4/93 32767 /proc/meminfo: memFree=1103784/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915332 CPUtime=0.5 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 7462 0 1 0 46 4 0 0 18 0 8 0 270884028 937299968 7201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073592773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228833 7201 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 915332 [startup+1.34232 s] /proc/loadavg: 2.04 2.02 2.00 3/100 306 /proc/meminfo: memFree=1024304/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915612 CPUtime=1.31 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 24143 0 1 0 121 10 0 0 23 0 8 0 270884028 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228903 23880 2161 14 0 215373 0 [pid=32766/tid=300] ppid=32764 vsize=915612 CPUtime=0.09 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 7589 0 0 0 7 2 0 0 16 0 8 0 270884032 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915612 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915612 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270884033 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915612 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915612 CPUtime=0.16 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 270884037 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915612 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915612 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 915612 [startup+2.97947 s] /proc/loadavg: 2.04 2.02 2.00 3/100 306 /proc/meminfo: memFree=1016304/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915744 CPUtime=2.93 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 24219 0 1 0 283 10 0 0 25 0 8 0 270884028 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228936 23954 2181 14 0 215406 0 [pid=32766/tid=300] ppid=32764 vsize=915744 CPUtime=0.11 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 7589 0 0 0 9 2 0 0 17 0 8 0 270884032 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915744 CPUtime=0.18 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 416 0 0 0 18 0 0 0 16 0 8 0 270884037 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 915744 [startup+6.25876 s] /proc/loadavg: 2.03 2.02 2.00 3/100 306 /proc/meminfo: memFree=1016176/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915744 CPUtime=6.19 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 24222 0 1 0 608 11 0 0 25 0 8 0 270884028 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228936 23956 2181 14 0 215406 0 [pid=32766/tid=300] ppid=32764 vsize=915744 CPUtime=0.11 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 7589 0 0 0 9 2 0 0 16 0 8 0 270884032 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915744 CPUtime=0.18 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 418 0 0 0 18 0 0 0 16 0 8 0 270884037 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937721856 23956 18446744073709551615 134512640 134570532 4294956480 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.7484 s] /proc/loadavg: 2.03 2.02 2.00 3/100 306 /proc/meminfo: memFree=1016120/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915744 CPUtime=12.61 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 24234 0 1 0 1250 11 0 0 25 0 8 0 270884028 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228936 23967 2182 14 0 215406 0 [pid=32766/tid=300] ppid=32764 vsize=915744 CPUtime=0.11 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 7589 0 0 0 9 2 0 0 16 0 8 0 270884032 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915744 CPUtime=0.2 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 428 0 0 0 20 0 0 0 16 0 8 0 270884037 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 915744 [startup+25.6095 s] /proc/loadavg: 2.02 2.01 2.00 3/100 306 /proc/meminfo: memFree=1007352/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915744 CPUtime=25.37 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 26488 0 1 0 2523 14 0 0 25 0 8 0 270884028 937721856 26219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228936 26219 2182 14 0 215406 0 [pid=32766/tid=300] ppid=32764 vsize=915744 CPUtime=0.18 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 9834 0 0 0 16 2 0 0 16 0 8 0 270884032 937721856 26219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 26219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 26219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937721856 26219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915744 CPUtime=0.21 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 434 0 0 0 21 0 0 0 16 0 8 0 270884037 937721856 26219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937721856 26219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937721856 26219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 915744 [startup+51.2189 s] /proc/loadavg: 2.09 2.03 2.00 3/100 306 /proc/meminfo: memFree=1001144/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915744 CPUtime=50.73 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 28063 0 1 0 5055 18 0 0 25 0 8 0 270884028 937721856 27792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228936 27792 2182 14 0 215406 0 [pid=32766/tid=300] ppid=32764 vsize=915744 CPUtime=0.26 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 11406 0 0 0 23 3 0 0 16 0 8 0 270884032 937721856 27792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 27792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 27792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937721856 27792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915744 CPUtime=0.21 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 435 0 0 0 21 0 0 0 17 0 8 0 270884037 937721856 27792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937721856 27792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937721856 27792 18446744073709551615 134512640 134570532 4294956480 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.449 s] /proc/loadavg: 2.10 2.04 2.01 4/100 306 /proc/meminfo: memFree=979704/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915744 CPUtime=101.44 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 33747 0 1 0 10112 32 0 0 25 0 8 0 270884028 937721856 33469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074011965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228936 33469 2501 14 0 215406 0 [pid=32766/tid=300] ppid=32764 vsize=915744 CPUtime=0.7 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 16699 0 0 0 65 5 0 0 16 0 8 0 270884032 937721856 33469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 33469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270884033 937721856 33469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937721856 33469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915744 CPUtime=0.29 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 474 0 0 0 29 0 0 0 16 0 8 0 270884037 937721856 33469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937721856 33469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915744 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937721856 33469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.44 Current children cumulated vsize (KiB) 915744 [startup+162.544 s] /proc/loadavg: 2.12 2.06 2.01 4/100 306 /proc/meminfo: memFree=979640/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915744 CPUtime=160.96 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 33749 0 1 0 16057 39 0 0 25 0 8 0 270884028 937721856 33471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2014.09 Current children cumulated vsize (KiB) 915980 [startup+2084.71 s] /proc/loadavg: 1.04 1.51 1.80 2/85 525 /proc/meminfo: memFree=1110840/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915980 CPUtime=2074.17 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 51175 0 1 0 207319 98 0 0 25 0 8 0 270884028 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074318453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228995 50882 2548 14 0 215465 0 [pid=32766/tid=300] ppid=32764 vsize=915980 CPUtime=0.89 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 33881 0 0 0 78 11 0 0 16 0 8 0 270884032 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915980 CPUtime=0.43 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 609 0 0 0 42 1 0 0 16 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2074.17 Current children cumulated vsize (KiB) 915980 [startup+2144.81 s] /proc/loadavg: 1.01 1.42 1.75 2/85 525 /proc/meminfo: memFree=1110904/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915980 CPUtime=2134.25 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 51176 0 1 0 213327 98 0 0 25 0 8 0 270884028 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228995 50882 2548 14 0 215465 0 [pid=32766/tid=300] ppid=32764 vsize=915980 CPUtime=0.89 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 33881 0 0 0 78 11 0 0 16 0 8 0 270884032 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915980 CPUtime=0.43 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 609 0 0 0 42 1 0 0 16 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2134.25 Current children cumulated vsize (KiB) 915980 [startup+2204.9 s] /proc/loadavg: 1.00 1.34 1.70 2/85 525 /proc/meminfo: memFree=1110840/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915980 CPUtime=2194.33 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 51176 0 1 0 219335 98 0 0 25 0 8 0 270884028 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228995 50882 2548 14 0 215465 0 [pid=32766/tid=300] ppid=32764 vsize=915980 CPUtime=0.89 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 33881 0 0 0 78 11 0 0 16 0 8 0 270884032 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915980 CPUtime=0.43 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 609 0 0 0 42 1 0 0 16 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2194.33 Current children cumulated vsize (KiB) 915980 [startup+2265 s] /proc/loadavg: 1.00 1.27 1.65 2/85 525 /proc/meminfo: memFree=1110904/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915980 CPUtime=2254.42 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 51176 0 1 0 225343 99 0 0 25 0 8 0 270884028 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074313493 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228995 50882 2548 14 0 215465 0 [pid=32766/tid=300] ppid=32764 vsize=915980 CPUtime=0.89 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 33881 0 0 0 78 11 0 0 16 0 8 0 270884032 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915980 CPUtime=0.43 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 609 0 0 0 42 1 0 0 16 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2254.42 Current children cumulated vsize (KiB) 915980 [startup+2325.1 s] /proc/loadavg: 1.00 1.22 1.61 2/85 525 /proc/meminfo: memFree=1110840/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915980 CPUtime=2314.5 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 51176 0 1 0 231351 99 0 0 25 0 8 0 270884028 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074345282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228995 50882 2548 14 0 215465 0 [pid=32766/tid=300] ppid=32764 vsize=915980 CPUtime=0.89 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 33881 0 0 0 78 11 0 0 16 0 8 0 270884032 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915980 CPUtime=0.43 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 609 0 0 0 42 1 0 0 16 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2314.5 Current children cumulated vsize (KiB) 915980 [startup+2385.2 s] /proc/loadavg: 1.00 1.18 1.57 2/85 527 /proc/meminfo: memFree=1110712/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915980 CPUtime=2374.58 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 51176 0 1 0 237359 99 0 0 25 0 8 0 270884028 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228995 50882 2548 14 0 215465 0 [pid=32766/tid=300] ppid=32764 vsize=915980 CPUtime=0.89 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 33881 0 0 0 78 11 0 0 16 0 8 0 270884032 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915980 CPUtime=0.43 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 609 0 0 0 42 1 0 0 16 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2374.58 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2410.67 s] /proc/loadavg: 1.00 1.16 1.55 2/85 527 /proc/meminfo: memFree=1110712/2055920 swapFree=4191880/4192956 [pid=32766] ppid=32764 vsize=915980 CPUtime=2400.06 /proc/32766/stat : 32766 (java) R 32764 32766 31535 0 -1 0 51176 0 1 0 239907 99 0 0 25 0 8 0 270884028 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32766/statm: 228995 50882 2548 14 0 215465 0 [pid=32766/tid=300] ppid=32764 vsize=915980 CPUtime=0.89 /proc/32766/task/300/stat : 300 (java) S 32764 32766 31535 0 -1 64 33881 0 0 0 78 11 0 0 16 0 8 0 270884032 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=301] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/301/stat : 301 (java) S 32764 32766 31535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=302] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/302/stat : 302 (java) S 32764 32766 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270884033 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=303] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/303/stat : 303 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=304] ppid=32764 vsize=915980 CPUtime=0.43 /proc/32766/task/304/stat : 304 (java) S 32764 32766 31535 0 -1 64 609 0 0 0 42 1 0 0 16 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=305] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/305/stat : 305 (java) S 32764 32766 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32766/tid=306] ppid=32764 vsize=915980 CPUtime=0 /proc/32766/task/306/stat : 306 (java) S 32764 32766 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270884037 937963520 50882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2410.73 CPU time (s): 2400.12 CPU user time (s): 2399.09 CPU system time (s): 1.02884 CPU usage (%): 99.5598 Max. virtual memory (cumulated for all children) (KiB): 915980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.09 system time used= 1.02884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51201 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= 50562 involuntary context switches= 94489 runsolver used 3.05754 s user time and 7.33888 s system time The end
Begin job on node72 on Fri Jan 19 16:39:12 UTC 2007 IDJOB= 275652 IDBENCH= 4190 IDSOLVER= 69 FILE ID= node72/275652-1169224752 PBS_JOBID= 3589108 Free space on /tmp= 66551 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-2.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275652-1169224752/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-275652-1169224752 -o ROOT/results/node72/solver-275652-1169224752 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275652-1169224752/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 137398d09e92b8e2132a9bc337bc058c RANDOM SEED= 669833258 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.223 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.223 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: 1104264 kB Buffers: 56808 kB Cached: 580764 kB SwapCached: 268 kB Active: 470872 kB Inactive: 399992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1104264 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 4276 kB Writeback: 0 kB Mapped: 260688 kB Slab: 65164 kB Committed_AS: 5320912 kB PageTables: 2684 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= 66561 MiB End job on node72 on Fri Jan 19 17:19:23 UTC 2007