Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.16 | 2408.86 |
| 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=epfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275651-1169224742/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.70 nbVariables=2000 nbDomainTypes=26 minDomainSize=46 maxDomainSize=454 0.70 => wckTime=0.382 cpuTime=0.28 mem=34M228 0.70 0.70 predicates being loaded... 0.70 0.70 constraints being loaded... 61.05 61.05 INFO : Stopping converting binary constraints (cpu=60.03, mem = 60M496) 62.58 nbConstraints=18600 nbConvertedConstraints=1870 nbConvertConstraintsChecks=189268870 nbExtensionStructures=1538 62.58 nbSharedExtensionStructures=332 nbConflictsStructures=1538 nbSharedConflictsStructures=332 62.58 nbSharedBinaryRepresentations=1028935 nbEvaluationManagers=8146 nbSharedEvaluationManagers=8584 maxDegree=25 62.58 maxArity=2 62.58 => wckTime=62.267 cpuTime=61.28 mem=71M348 62.83 62.83 solver LocalSearchSolver being built... 62.87 => wckTime=62.551 cpuTime=61.33 mem=62M335 63.03 63.03 s SATISFIABLE 63.03 o 13227 63.03 c 5373 63.12 o 13236 63.12 c 5364 63.21 o 13240 63.21 c 5360 63.27 o 13244 63.27 c 5356 63.32 o 13251 63.32 c 5349 63.35 o 13253 63.35 c 5347 63.40 o 13254 63.40 c 5346 63.46 o 13261 63.46 c 5339 63.52 o 13267 63.52 c 5333 63.56 o 13273 63.56 c 5327 63.61 o 13279 63.61 c 5321 63.64 o 13284 63.64 c 5316 63.69 o 13289 63.69 c 5311 63.72 o 13293 63.72 c 5307 63.76 o 13297 63.76 c 5303 63.82 o 13301 63.82 c 5299 63.86 o 13304 63.86 c 5296 63.90 o 13307 63.90 c 5293 63.94 o 13310 63.94 c 5290 63.97 o 13313 63.97 c 5287 64.00 o 13316 64.00 c 5284 64.04 o 13318 64.04 c 5282 64.06 o 13320 64.06 c 5280 64.09 o 13322 64.09 c 5278 64.11 o 13324 64.11 c 5276 64.13 o 13325 64.13 c 5275 64.15 o 13326 64.15 c 5274 64.17 o 13327 64.17 c 5273 64.21 o 13328 64.21 c 5272 64.22 o 13329 64.22 c 5271 64.26 o 13333 64.26 c 5267 64.31 o 13339 64.31 c 5261 64.36 o 13345 64.36 c 5255 64.41 o 13350 64.41 c 5250 64.45 o 13355 64.45 c 5245 64.51 o 13360 64.51 c 5240 64.56 o 13364 64.56 c 5236 64.61 o 13368 64.61 c 5232 64.65 o 13372 64.65 c 5228 64.71 o 13376 64.71 c 5224 64.76 o 13379 64.76 c 5221 64.80 o 13382 64.80 c 5218 64.85 o 13385 64.85 c 5215 64.89 o 13388 64.89 c 5212 64.93 o 13391 64.93 c 5209 64.98 o 13394 64.98 c 5206 65.03 o 13397 65.03 c 5203 65.06 o 13399 65.06 c 5201 65.10 o 13401 65.10 c 5199 65.16 o 13403 65.16 c 5197 65.20 o 13405 65.20 c 5195 65.24 o 13407 65.24 c 5193 65.28 o 13409 65.28 c 5191 65.31 o 13411 65.31 c 5189 65.34 o 13413 65.34 c 5187 65.37 o 13415 65.37 c 5185 65.39 o 13417 65.39 c 5183 65.42 o 13418 65.42 c 5182 65.44 o 13419 65.44 c 5181 65.47 o 13420 65.47 c 5180 65.50 o 13421 65.50 c 5179 65.56 o 13422 65.56 c 5178 65.58 o 13423 65.58 c 5177 65.61 o 13424 65.61 c 5176 65.62 o 13425 65.62 c 5175 65.69 o 13432 65.69 c 5168 65.75 o 13437 65.75 c 5163 65.81 o 13440 65.81 c 5160 65.87 o 13445 65.87 c 5155 65.93 o 13450 65.93 c 5150 65.99 o 13454 65.99 c 5146 66.05 o 13458 66.05 c 5142 66.11 o 13461 66.11 c 5139 66.17 o 13464 66.17 c 5136 66.22 o 13467 66.22 c 5133 66.28 o 13470 66.28 c 5130 66.34 o 13473 66.34 c 5127 66.39 o 13476 66.39 c 5124 66.44 o 13479 66.44 c 5121 66.50 o 13482 66.50 c 5118 66.55 o 13485 66.55 c 5115 66.59 o 13488 66.59 c 5112 66.63 o 13491 66.63 c 5109 66.67 o 13493 66.67 c 5107 66.71 o 13495 66.71 c 5105 66.74 o 13497 66.74 c 5103 66.79 o 13499 66.79 c 5101 66.83 o 13501 66.83 c 5099 66.87 o 13503 66.87 c 5097 66.91 o 13505 66.91 c 5095 66.94 o 13507 66.94 c 5093 66.97 o 13509 66.97 c 5091 67.00 o 13511 67.00 c 5089 67.03 o 13513 67.03 c 5087 67.06 o 13515 67.06 c 5085 67.09 o 13516 67.09 c 5084 67.12 o 13517 67.12 c 5083 67.15 o 13518 67.15 c 5082 67.18 o 13519 67.18 c 5081 67.21 o 13520 67.21 c 5080 67.23 o 13521 67.23 c 5079 67.27 o 13526 67.27 c 5074 67.30 o 13530 67.30 c 5070 67.32 o 13537 67.32 c 5063 67.34 o 13539 67.34 c 5061 67.36 o 13540 67.36 c 5060 67.39 o 13547 67.39 c 5053 67.41 o 13552 67.41 c 5048 67.44 o 13556 67.44 c 5044 67.47 o 13559 67.47 c 5041 67.50 o 13561 67.50 c 5039 67.54 o 13564 67.54 c 5036 67.58 o 13571 67.58 c 5029 67.61 o 13577 67.61 c 5023 67.65 o 13582 67.65 c 5018 67.69 o 13585 67.69 c 5015 67.72 o 13590 67.72 c 5010 67.75 o 13593 67.75 c 5007 67.81 o 13597 67.81 c 5003 67.86 o 13602 67.86 c 4998 67.91 o 13603 67.91 c 4997 67.93 o 13607 67.93 c 4993 67.99 o 13611 67.99 c 4989 68.03 o 13612 68.03 c 4988 68.07 o 13614 68.07 c 4986 68.11 o 13616 68.11 c 4984 68.15 o 13619 68.15 c 4981 68.17 o 13620 68.17 c 4980 68.24 o 13623 68.24 c 4977 68.30 o 13625 68.30 c 4975 68.34 o 13627 68.34 c 4973 68.37 o 13632 68.37 c 4968 68.46 o 13636 68.46 c 4964 68.53 o 13642 68.53 c 4958 68.61 o 13648 68.61 c 4952 68.68 o 13654 68.69 c 4946 68.76 o 13660 68.76 c 4940 68.83 o 13665 68.83 c 4935 68.91 o 13670 68.91 c 4930 68.99 o 13675 68.99 c 4925 69.08 o 13680 69.08 c 4920 69.14 o 13685 69.14 c 4915 69.22 o 13689 69.22 c 4911 69.29 o 13693 69.29 c 4907 69.37 o 13697 69.37 c 4903 69.44 o 13701 69.44 c 4899 69.52 o 13705 69.52 c 4895 69.58 o 13708 69.58 c 4892 69.66 o 13711 69.66 c 4889 69.73 o 13714 69.73 c 4886 69.79 o 13717 69.79 c 4883 69.85 o 13722 69.85 c 4878 69.90 o 13725 69.90 c 4875 69.96 o 13728 69.96 c 4872 70.02 o 13731 70.02 c 4869 70.07 o 13735 70.07 c 4865 70.13 o 13738 70.13 c 4862 70.19 o 13740 70.19 c 4860 70.23 o 13742 70.23 c 4858 70.29 o 13744 70.29 c 4856 70.33 o 13746 70.33 c 4854 70.38 o 13748 70.38 c 4852 70.46 o 13750 70.46 c 4850 70.50 o 13752 70.50 c 4848 70.54 o 13754 70.54 c 4846 70.58 o 13756 70.58 c 4844 70.62 o 13758 70.62 c 4842 70.66 o 13760 70.66 c 4840 70.70 o 13762 70.70 c 4838 70.73 o 13763 70.73 c 4837 70.77 o 13764 70.77 c 4836 70.81 o 13765 70.81 c 4835 70.84 o 13766 70.84 c 4834 70.88 o 13767 70.88 c 4833 70.92 o 13768 70.92 c 4832 70.94 o 13775 70.94 c 4825 70.97 o 13776 70.97 c 4824 71.00 o 13777 71.00 c 4823 71.02 o 13778 71.02 c 4822 71.10 o 13782 71.10 c 4818 71.13 o 13785 71.13 c 4815 71.15 o 13786 71.15 c 4814 71.19 o 13791 71.19 c 4809 71.26 o 13795 71.26 c 4805 71.29 o 13798 71.29 c 4802 71.32 o 13801 71.32 c 4799 71.36 o 13805 71.36 c 4795 71.39 o 13807 71.39 c 4793 71.41 o 13814 71.41 c 4786 71.44 o 13816 71.44 c 4784 71.47 o 13821 71.47 c 4779 71.50 o 13823 71.50 c 4777 71.54 o 13829 71.54 c 4771 71.58 o 13830 71.58 c 4770 71.62 o 13831 71.62 c 4769 71.67 o 13835 71.67 c 4765 71.70 o 13840 71.70 c 4760 71.78 o 13845 71.78 c 4755 71.83 o 13847 71.83 c 4753 71.87 o 13855 71.87 c 4745 71.92 o 13856 71.92 c 4744 71.95 o 13861 71.95 c 4739 71.99 o 13862 71.99 c 4738 72.04 o 13863 72.04 c 4737 72.09 o 13871 72.09 c 4729 72.12 o 13874 72.12 c 4726 72.16 o 13876 72.16 c 4724 72.19 o 13879 72.19 c 4721 72.22 o 13880 72.22 c 4720 72.25 o 13883 72.25 c 4717 72.35 o 13884 72.35 c 4716 72.39 o 13885 72.39 c 4715 72.41 o 13888 72.41 c 4712 72.45 o 13889 72.45 c 4711 72.48 o 13890 72.48 c 4710 72.52 o 13893 72.52 c 4707 72.55 o 13896 72.55 c 4704 72.59 o 13898 72.59 c 4702 72.63 o 13902 72.63 c 4698 72.66 o 13903 72.66 c 4697 72.78 o 13904 72.78 c 4696 72.85 o 13907 72.85 c 4693 72.92 o 13914 72.92 c 4686 72.98 o 13921 72.98 c 4679 73.06 o 13923 73.06 c 4677 73.15 o 13929 73.15 c 4671 73.22 o 13931 73.22 c 4669 73.31 o 13937 73.31 c 4663 73.37 o 13939 73.37 c 4661 73.45 o 13940 73.45 c 4660 73.54 o 13946 73.54 c 4654 73.63 o 13952 73.63 c 4648 73.69 o 13953 73.69 c 4647 73.73 o 13954 73.73 c 4646 73.90 o 13960 73.90 c 4640 74.00 o 13965 74.00 c 4635 74.09 o 13970 74.09 c 4630 74.18 o 13975 74.18 c 4625 74.27 o 13979 74.27 c 4621 74.36 o 13983 74.36 c 4617 74.45 o 13987 74.45 c 4613 74.54 o 13991 74.54 c 4609 74.63 o 13995 74.63 c 4605 74.72 o 13999 74.72 c 4601 74.81 o 14002 74.81 c 4598 74.90 o 14005 74.90 c 4595 74.99 o 14008 74.99 c 4592 75.08 o 14011 75.08 c 4589 75.18 o 14014 75.18 c 4586 75.26 o 14017 75.26 c 4583 75.35 o 14020 75.35 c 4580 75.44 o 14023 75.44 c 4577 75.52 o 14026 75.52 c 4574 75.60 o 14028 75.60 c 4572 75.68 o 14030 75.68 c 4570 75.75 o 14034 75.75 c 4566 75.84 o 14037 75.84 c 4563 75.91 o 14039 75.91 c 4561 75.98 o 14041 75.98 c 4559 76.05 o 14043 76.05 c 4557 76.13 o 14045 76.13 c 4555 76.20 o 14047 76.20 c 4553 76.27 o 14049 76.27 c 4551 76.34 o 14051 76.34 c 4549 76.40 o 14053 76.40 c 4547 76.46 o 14055 76.46 c 4545 76.52 o 14057 76.52 c 4543 76.58 o 14058 76.58 c 4542 76.63 o 14060 76.63 c 4540 76.68 o 14061 76.68 c 4539 76.74 o 14062 76.74 c 4538 76.78 o 14063 76.78 c 4537 76.83 o 14064 76.83 c 4536 76.87 o 14065 76.87 c 4535 76.92 o 14066 76.92 c 4534 76.97 o 14070 76.97 c 4530 77.33 o 14071 77.33 c 4529 77.39 o 14078 77.39 c 4522 77.45 o 14082 77.45 c 4518 77.50 o 14086 77.50 c 4514 77.55 o 14092 77.55 c 4508 77.61 o 14098 77.61 c 4502 77.65 o 14099 77.65 c 4501 77.78 o 14104 77.78 c 4496 77.84 o 14105 77.84 c 4495 77.99 o 14107 77.99 c 4493 78.08 o 14109 78.08 c 4491 78.18 o 14110 78.18 c 4490 78.23 o 14111 78.23 c 4489 78.28 o 14113 78.28 c 4487 78.35 o 14118 78.35 c 4482 78.39 o 14120 78.39 c 4480 78.44 o 14123 78.44 c 4477 78.49 o 14127 78.49 c 4473 78.54 o 14130 78.54 c 4470 78.59 o 14132 78.59 c 4468 78.64 o 14134 78.64 c 4466 78.69 o 14136 78.69 c 4464 78.73 o 14139 78.73 c 4461 78.83 o 14142 78.83 c 4458 78.87 o 14144 78.87 c 4456 78.97 o 14145 78.97 c 4455 79.02 o 14149 79.02 c 4451 79.06 o 14150 79.06 c 4450 79.13 o 14153 79.13 c 4447 79.17 o 14154 79.17 c 4446 79.23 o 14157 79.23 c 4443 79.28 o 14160 79.28 c 4440 79.33 o 14162 79.33 c 4438 79.38 o 14166 79.38 c 4434 79.42 o 14167 79.42 c 4433 79.48 o 14169 79.48 c 4431 79.52 o 14170 79.52 c 4430 79.57 o 14171 79.57 c 4429 79.61 o 14174 79.61 c 4426 79.67 o 14179 79.67 c 4421 79.72 o 14180 79.72 c 4420 79.90 o 14181 79.90 c 4419 79.94 o 14184 79.94 c 4416 80.07 o 14188 80.07 c 4412 80.12 o 14192 80.12 c 4408 80.17 o 14194 80.17 c 4406 80.22 o 14196 80.22 c 4404 80.27 o 14197 80.27 c 4403 80.33 o 14199 80.33 c 4401 80.39 o 14202 80.39 c 4398 80.44 o 14207 80.44 c 4393 80.49 o 14209 80.49 c 4391 80.54 o 14214 80.54 c 4386 80.60 o 14217 80.60 c 4383 80.70 o 14221 80.70 c 4379 80.75 o 14222 80.75 c 4378 80.81 o 14228 80.81 c 4372 80.86 o 14232 80.86 c 4368 80.90 o 14235 80.90 c 4365 80.96 o 14236 80.96 c 4364 81.01 o 14240 81.01 c 4360 81.05 o 14244 81.05 c 4356 81.14 o 14247 81.14 c 4353 81.18 o 14248 81.18 c 4352 81.23 o 14250 81.23 c 4350 81.34 o 14251 81.34 c 4349 81.42 o 14254 81.42 c 4346 81.48 o 14260 81.48 c 4340 81.53 o 14262 81.53 c 4338 81.58 o 14263 81.58 c 4337 81.66 o 14265 81.66 c 4335 81.75 o 14267 81.75 c 4333 81.81 o 14269 81.81 c 4331 81.89 o 14271 81.89 c 4329 81.96 o 14276 81.96 c 4324 82.04 o 14280 82.04 c 4320 82.13 o 14284 82.13 c 4316 82.21 o 14288 82.21 c 4312 82.29 o 14292 82.29 c 4308 82.37 o 14296 82.37 c 4304 82.44 o 14300 82.44 c 4300 82.53 o 14304 82.53 c 4296 82.61 o 14308 82.61 c 4292 82.69 o 14311 82.69 c 4289 82.78 o 14314 82.78 c 4286 82.86 o 14317 82.86 c 4283 82.93 o 14320 82.93 c 4280 83.01 o 14324 83.01 c 4276 83.09 o 14326 83.09 c 4274 83.24 o 14330 83.24 c 4270 83.31 o 14332 83.31 c 4268 83.38 o 14334 83.38 c 4266 83.45 o 14336 83.45 c 4264 83.51 o 14338 83.51 c 4262 83.57 o 14339 83.57 c 4261 83.63 o 14340 83.63 c 4260 83.69 o 14341 83.69 c 4259 83.76 o 14342 83.76 c 4258 83.83 o 14346 83.83 c 4254 83.89 o 14349 83.89 c 4251 83.96 o 14350 83.96 c 4250 84.02 o 14353 84.02 c 4247 84.08 o 14354 84.08 c 4246 84.13 o 14355 84.13 c 4245 84.19 o 14356 84.19 c 4244 84.25 o 14357 84.25 c 4243 84.31 o 14362 84.31 c 4238 84.36 o 14363 84.36 c 4237 84.43 o 14364 84.43 c 4236 84.65 o 14366 84.65 c 4234 84.70 o 14367 84.70 c 4233 84.75 o 14370 84.75 c 4230 84.96 o 14371 84.96 c 4229 85.02 o 14373 85.02 c 4227 85.16 o 14376 85.16 c 4224 85.22 o 14381 85.22 c 4219 85.27 o 14387 85.27 c 4213 85.38 o 14388 85.38 c 4212 85.44 o 14392 85.44 c 4208 85.50 o 14395 85.50 c 4205 85.56 o 14399 85.56 c 4201 85.61 o 14400 85.61 c 4200 85.66 o 14403 85.66 c 4197 85.77 o 14407 85.77 c 4193 85.81 o 14410 85.81 c 4190 85.86 o 14411 85.86 c 4189 85.90 o 14412 85.90 c 4188 85.96 o 14414 85.96 c 4186 86.07 o 14415 86.07 c 4185 86.14 o 14419 86.14 c 4181 86.19 o 14422 86.19 c 4178 86.24 o 14423 86.24 c 4177 86.28 o 14426 86.28 c 4174 86.33 o 14427 86.33 c 4173 86.43 o 14432 86.43 c 4168 86.50 o 14433 86.50 c 4167 86.56 o 14434 86.56 c 4166 86.61 o 14435 86.61 c 4165 86.67 o 14437 86.67 c 4163 86.80 o 14443 86.80 c 4157 86.86 o 14445 86.86 c 4155 86.92 o 14448 86.92 c 4152 86.99 o 14450 86.99 c 4150 87.05 o 14453 87.05 c 4147 87.11 o 14455 87.11 c 4145 87.18 o 14456 87.18 c 4144 87.24 o 14457 87.24 c 4143 87.30 o 14459 87.30 c 4141 87.43 o 14461 87.43 c 4139 87.51 o 14463 87.51 c 4137 87.78 o 14464 87.78 c 4136 87.85 o 14467 87.85 c 4133 87.92 o 14468 87.92 c 4132 87.99 o 14470 87.99 c 4130 88.06 o 14472 88.06 c 4128 88.15 o 14475 88.15 c 4125 89.01 o 14478 89.01 c 4122 89.09 o 14479 89.09 c 4121 89.18 o 14483 89.18 c 4117 89.27 o 14485 89.27 c 4115 89.37 o 14487 89.37 c 4113 89.46 o 14489 89.46 c 4111 89.54 o 14490 89.54 c 4110 89.65 o 14492 89.65 c 4108 89.73 o 14495 89.73 c 4105 89.81 o 14496 89.81 c 4104 90.00 o 14498 90.00 c 4102 90.10 o 14499 90.10 c 4101 90.20 o 14502 90.20 c 4098 90.29 o 14503 90.29 c 4097 90.40 o 14504 90.40 c 4096 90.48 o 14505 90.48 c 4095 90.57 o 14506 90.57 c 4094 90.66 o 14507 90.66 c 4093 90.84 o 14508 90.84 c 4092 91.10 o 14510 91.10 c 4090 91.21 o 14511 91.22 c 4089 91.31 o 14512 91.31 c 4088 91.39 o 14513 91.39 c 4087 91.59 o 14519 91.59 c 4081 91.68 o 14520 91.68 c 4080 91.76 o 14522 91.76 c 4078 91.85 o 14523 91.85 c 4077 91.95 o 14527 91.95 c 4073 92.19 o 14530 92.19 c 4070 92.29 o 14536 92.29 c 4064 92.40 o 14538 92.40 c 4062 92.50 o 14539 92.50 c 4061 92.63 o 14544 92.63 c 4056 92.76 o 14547 92.76 c 4053 92.92 o 14551 92.92 c 4049 93.06 o 14555 93.06 c 4045 93.20 o 14558 93.20 c 4042 93.33 o 14561 93.33 c 4039 93.57 o 14567 93.57 c 4033 93.70 o 14569 93.70 c 4031 93.82 o 14572 93.82 c 4028 93.96 o 14574 93.96 c 4026 94.10 o 14576 94.10 c 4024 94.23 o 14578 94.23 c 4022 94.37 o 14580 94.37 c 4020 94.49 o 14581 94.49 c 4019 94.62 o 14583 94.62 c 4017 94.75 o 14585 94.75 c 4015 94.88 o 14587 94.88 c 4013 94.99 o 14589 94.99 c 4011 95.13 o 14591 95.13 c 4009 95.36 o 14593 95.36 c 4007 95.47 o 14594 95.47 c 4006 95.59 o 14595 95.59 c 4005 95.70 o 14596 95.70 c 4004 95.81 o 14597 95.81 c 4003 95.91 o 14598 95.91 c 4002 96.02 o 14599 96.02 c 4001 96.13 o 14600 96.13 c 4000 96.23 o 14602 96.23 c 3998 96.34 o 14603 96.34 c 3997 96.45 o 14604 96.45 c 3996 96.56 o 14605 96.56 c 3995 96.67 o 14606 96.67 c 3994 96.77 o 14607 96.77 c 3993 96.87 o 14608 96.87 c 3992 96.97 o 14609 96.97 c 3991 97.06 o 14610 97.06 c 3990 97.42 o 14613 97.42 c 3987 97.51 o 14615 97.51 c 3985 97.76 o 14618 97.76 c 3982 97.99 o 14620 97.99 c 3980 98.07 o 14623 98.07 c 3977 98.23 o 14624 98.23 c 3976 98.30 o 14625 98.30 c 3975 98.37 o 14628 98.37 c 3972 98.47 o 14631 98.47 c 3969 98.55 o 14636 98.55 c 3964 98.65 o 14642 98.65 c 3958 98.83 o 14645 98.83 c 3955 98.94 o 14646 98.94 c 3954 99.02 o 14650 99.02 c 3950 99.11 o 14651 99.11 c 3949 99.29 o 14653 99.29 c 3947 99.38 o 14654 99.38 c 3946 99.48 o 14655 99.48 c 3945 99.58 o 14658 99.58 c 3942 99.77 o 14660 99.77 c 3940 100.16 o 14662 100.16 c 3938 100.25 o 14663 100.25 c 3937 100.34 o 14666 100.34 c 3934 100.44 o 14667 100.44 c 3933 100.55 o 14669 100.55 c 3931 100.64 o 14671 100.64 c 3929 101.00 o 14672 101.00 c 3928 101.09 o 14676 101.09 c 3924 101.37 o 14680 101.37 c 3920 101.48 o 14682 101.48 c 3918 101.58 o 14685 101.58 c 3915 101.67 o 14688 101.67 c 3912 101.76 o 14692 101.76 c 3908 101.86 o 14694 101.86 c 3906 101.95 o 14696 101.95 c 3904 102.05 o 14697 102.05 c 3903 102.14 o 14701 102.14 c 3899 102.24 o 14703 102.24 c 3897 102.32 o 14704 102.32 c 3896 102.81 o 14707 102.81 c 3893 102.90 o 14709 102.90 c 3891 102.99 o 14711 102.99 c 3889 103.10 o 14713 103.10 c 3887 103.20 o 14717 103.20 c 3883 103.30 o 14720 103.30 c 3880 103.42 o 14723 103.42 c 3877 103.64 o 14725 103.64 c 3875 103.75 o 14727 103.75 c 3873 103.86 o 14729 103.86 c 3871 104.11 o 14731 104.11 c 3869 104.35 o 14734 104.35 c 3866 104.48 o 14735 104.48 c 3865 104.61 o 14736 104.61 c 3864 104.73 o 14737 104.73 c 3863 104.87 o 14738 104.87 c 3862 105.00 o 14739 105.00 c 3861 105.13 o 14741 105.13 c 3859 105.24 o 14742 105.24 c 3858 105.65 o 14745 105.65 c 3855 105.78 o 14747 105.78 c 3853 106.03 o 14751 106.03 c 3849 106.16 o 14752 106.16 c 3848 106.29 o 14753 106.29 c 3847 106.42 o 14759 106.42 c 3841 106.55 o 14762 106.55 c 3838 106.67 o 14765 106.67 c 3835 106.80 o 14769 106.80 c 3831 106.94 o 14771 106.94 c 3829 107.07 o 14774 107.07 c 3826 107.31 o 14775 107.31 c 3825 107.45 o 14777 107.45 c 3823 107.58 o 14779 107.58 c 3821 107.96 o 14780 107.96 c 3820 108.08 o 14784 108.08 c 3816 108.21 o 14788 108.21 c 3812 108.85 o 14789 108.85 c 3811 108.97 o 14791 108.97 c 3809 109.10 o 14795 109.10 c 3805 109.22 o 14799 109.22 c 3801 109.34 o 14800 109.34 c 3800 109.57 o 14801 109.57 c 3799 109.68 o 14803 109.69 c 3797 109.80 o 14804 109.80 c 3796 109.91 o 14808 109.91 c 3792 110.12 o 14813 110.12 c 3787 110.24 o 14817 110.24 c 3783 110.38 o 14821 110.38 c 3779 110.48 o 14822 110.48 c 3778 110.96 o 14825 110.96 c 3775 111.07 o 14826 111.07 c 3774 111.32 o 14827 111.32 c 3773 111.44 o 14831 111.44 c 3769 111.58 o 14834 111.58 c 3766 111.70 o 14835 111.70 c 3765 111.83 o 14837 111.83 c 3763 112.44 o 14839 112.44 c 3761 112.68 o 14840 112.68 c 3760 112.80 o 14842 112.80 c 3758 113.04 o 14845 113.04 c 3755 113.16 o 14847 113.16 c 3753 113.28 o 14849 113.28 c 3751 113.39 o 14850 113.39 c 3750 113.72 o 14853 113.72 c 3747 113.84 o 14854 113.84 c 3746 113.96 o 14858 113.96 c 3742 114.18 o 14861 114.18 c 3739 114.30 o 14863 114.30 c 3737 114.42 o 14866 114.42 c 3734 114.66 o 14868 114.66 c 3732 114.89 o 14870 114.89 c 3730 115.00 o 14873 115.00 c 3727 115.24 o 14874 115.24 c 3726 115.36 o 14875 115.36 c 3725 115.74 o 14878 115.74 c 3722 115.87 o 14879 115.87 c 3721 116.25 o 14881 116.25 c 3719 116.37 o 14882 116.37 c 3718 116.53 o 14886 116.53 c 3714 116.65 o 14887 116.65 c 3713 116.77 o 14888 116.77 c 3712 117.06 o 14889 117.06 c 3711 117.19 o 14890 117.19 c 3710 117.35 o 14894 117.35 c 3706 117.63 o 14896 117.63 c 3704 117.79 o 14899 117.79 c 3701 117.94 o 14902 117.94 c 3698 118.10 o 14905 118.10 c 3695 118.26 o 14907 118.26 c 3693 118.39 o 14908 118.39 c 3692 118.54 o 14910 118.54 c 3690 118.67 o 14911 118.67 c 3689 118.81 o 14915 118.81 c 3685 118.96 o 14917 118.96 c 3683 119.11 o 14923 119.11 c 3677 119.27 o 14925 119.27 c 3675 119.42 o 14927 119.42 c 3673 119.57 o 14929 119.57 c 3671 119.72 o 14930 119.72 c 3670 119.86 o 14935 119.86 c 3665 120.01 o 14936 120.01 c 3664 120.15 o 14937 120.15 c 3663 120.60 o 14938 120.60 c 3662 120.74 o 14941 120.74 c 3659 120.87 o 14942 120.87 c 3658 121.00 o 14943 121.00 c 3657 121.14 o 14944 121.14 c 3656 121.28 o 14945 121.28 c 3655 121.40 o 14946 121.40 c 3654 122.05 o 14948 122.05 c 3652 122.69 o 14952 122.69 c 3648 122.95 o 14953 122.95 c 3647 123.07 o 14954 123.07 c 3646 123.21 o 14959 123.21 c 3641 124.12 o 14961 124.12 c 3639 124.24 o 14962 124.24 c 3638 124.49 o 14963 124.49 c 3637 124.64 o 14967 124.64 c 3633 124.77 o 14969 124.77 c 3631 124.88 o 14972 124.89 c 3628 125.03 o 14975 125.03 c 3625 125.15 o 14979 125.15 c 3621 125.28 o 14981 125.28 c 3619 125.39 o 14983 125.39 c 3617 125.85 o 14985 125.85 c 3615 126.07 o 14986 126.07 c 3614 126.20 o 14988 126.20 c 3612 126.31 o 14989 126.31 c 3611 126.43 o 14990 126.43 c 3610 126.56 o 14991 126.56 c 3609 126.68 o 14993 126.68 c 3607 126.80 o 14997 126.80 c 3603 126.92 o 14998 126.92 c 3602 127.03 o 15002 127.03 c 3598 127.16 o 15003 127.16 c 3597 127.29 o 15005 127.29 c 3595 127.43 o 15007 127.43 c 3593 127.55 o 15010 127.55 c 3590 127.82 o 15013 127.82 c 3587 127.95 o 15018 127.95 c 3582 128.07 o 15020 128.07 c 3580 128.19 o 15021 128.19 c 3579 128.93 o 15022 128.93 c 3578 129.05 o 15023 129.05 c 3577 129.18 o 15024 129.18 c 3576 129.33 o 15026 129.33 c 3574 129.48 o 15027 129.48 c 3573 129.56 o 15030 129.56 c 3570 129.70 o 15033 129.70 c 3567 129.84 o 15036 129.84 c 3564 129.97 o 15040 129.97 c 3560 130.10 o 15044 130.10 c 3556 130.22 o 15046 130.23 c 3554 130.48 o 15050 130.48 c 3550 130.76 o 15053 130.76 c 3547 130.92 o 15056 130.92 c 3544 131.36 o 15057 131.36 c 3543 131.51 o 15059 131.51 c 3541 131.68 o 15060 131.68 c 3540 131.99 o 15061 131.99 c 3539 132.13 o 15064 132.13 c 3536 132.27 o 15070 132.27 c 3530 132.42 o 15071 132.42 c 3529 132.56 o 15073 132.56 c 3527 132.70 o 15077 132.70 c 3523 132.86 o 15080 132.86 c 3520 133.00 o 15082 133.00 c 3518 133.43 o 15085 133.43 c 3515 133.57 o 15086 133.57 c 3514 133.71 o 15087 133.71 c 3513 134.12 o 15091 134.12 c 3509 134.27 o 15094 134.27 c 3506 134.41 o 15096 134.41 c 3504 134.71 o 15098 134.71 c 3502 134.84 o 15100 134.84 c 3500 134.99 o 15102 134.99 c 3498 135.13 o 15105 135.13 c 3495 135.26 o 15108 135.26 c 3492 135.72 o 15111 135.72 c 3489 135.84 o 15112 135.84 c 3488 135.98 o 15113 135.98 c 3487 136.26 o 15115 136.26 c 3485 136.40 o 15117 136.40 c 3483 136.57 o 15119 136.57 c 3481 136.80 o 15120 136.80 c 3480 136.94 o 15122 136.94 c 3478 137.08 o 15123 137.08 c 3477 137.65 o 15124 137.65 c 3476 137.80 o 15128 137.80 c 3472 137.95 o 15131 137.95 c 3469 138.10 o 15132 138.10 c 3468 138.24 o 15134 138.25 c 3466 138.67 o 15135 138.67 c 3465 138.96 o 15137 138.96 c 3463 139.10 o 15141 139.10 c 3459 139.25 o 15142 139.25 c 3458 139.40 o 15143 139.40 c 3457 139.55 o 15144 139.55 c 3456 139.72 o 15147 139.72 c 3453 139.86 o 15149 139.86 c 3451 140.01 o 15153 140.01 c 3447 140.16 o 15154 140.16 c 3446 140.30 o 15155 140.30 c 3445 140.45 o 15158 140.45 c 3442 140.58 o 15160 140.58 c 3440 140.85 o 15164 140.85 c 3436 141.15 o 15166 141.15 c 3434 141.44 o 15169 141.44 c 3431 141.72 o 15171 141.72 c 3429 142.02 o 15173 142.02 c 3427 142.16 o 15175 142.16 c 3425 142.29 o 15179 142.29 c 3421 142.45 o 15183 142.45 c 3417 142.61 o 15186 142.61 c 3414 142.90 o 15188 142.90 c 3412 143.06 o 15189 143.06 c 3411 143.20 o 15191 143.20 c 3409 143.36 o 15194 143.36 c 3406 143.96 o 15196 143.96 c 3404 144.12 o 15199 144.12 c 3401 144.28 o 15202 144.28 c 3398 144.43 o 15203 144.43 c 3397 144.59 o 15205 144.59 c 3395 144.75 o 15207 144.75 c 3393 144.91 o 15208 144.91 c 3392 145.07 o 15211 145.07 c 3389 145.23 o 15216 145.23 c 3384 145.39 o 15218 145.39 c 3382 145.54 o 15220 145.54 c 3380 145.87 o 15221 145.87 c 3379 146.02 o 15223 146.02 c 3377 146.18 o 15225 146.18 c 3375 146.33 o 15227 146.33 c 3373 146.66 o 15228 146.66 c 3372 146.81 o 15230 146.81 c 3370 146.96 o 15233 146.96 c 3367 147.11 o 15236 147.11 c 3364 147.27 o 15239 147.27 c 3361 147.43 o 15240 147.43 c 3360 148.35 o 15242 148.35 c 3358 148.51 o 15246 148.51 c 3354 148.68 o 15247 148.68 c 3353 148.84 o 15251 148.84 c 3349 149.02 o 15255 149.02 c 3345 149.86 o 15257 149.86 c 3343 150.03 o 15258 150.03 c 3342 150.84 o 15261 150.84 c 3339 151.17 o 15262 151.17 c 3338 151.34 o 15264 151.34 c 3336 151.67 o 15265 151.67 c 3335 151.84 o 15266 151.84 c 3334 152.00 o 15269 152.00 c 3331 152.17 o 15271 152.17 c 3329 152.36 o 15275 152.36 c 3325 152.73 o 15279 152.73 c 3321 152.92 o 15282 152.92 c 3318 153.41 o 15285 153.41 c 3315 153.58 o 15287 153.58 c 3313 153.74 o 15288 153.74 c 3312 154.08 o 15291 154.08 c 3309 154.22 o 15296 154.22 c 3304 154.39 o 15298 154.39 c 3302 154.54 o 15300 154.54 c 3300 154.87 o 15301 154.87 c 3299 155.04 o 15304 155.04 c 3296 155.22 o 15307 155.22 c 3293 155.39 o 15309 155.39 c 3291 155.56 o 15311 155.56 c 3289 155.71 o 15314 155.71 c 3286 155.87 o 15316 155.87 c 3284 156.03 o 15319 156.03 c 3281 156.20 o 15324 156.20 c 3276 156.38 o 15328 156.38 c 3272 156.55 o 15329 156.55 c 3271 156.90 o 15330 156.90 c 3270 157.24 o 15331 157.24 c 3269 157.43 o 15332 157.43 c 3268 157.60 o 15334 157.60 c 3266 157.76 o 15335 157.76 c 3265 158.28 o 15338 158.28 c 3262 158.63 o 15340 158.63 c 3260 158.82 o 15345 158.82 c 3255 159.00 o 15350 159.00 c 3250 159.18 o 15352 159.18 c 3248 159.36 o 15353 159.36 c 3247 159.54 o 15354 159.54 c 3246 159.72 o 15356 159.72 c 3244 159.88 o 15358 159.88 c 3242 160.07 o 15360 160.07 c 3240 160.25 o 15364 160.25 c 3236 160.44 o 15367 160.44 c 3233 160.63 o 15370 160.63 c 3230 160.81 o 15371 160.81 c 3229 161.00 o 15377 161.00 c 3223 161.18 o 15378 161.18 c 3222 161.36 o 15382 161.36 c 3218 161.53 o 15384 161.53 c 3216 161.72 o 15387 161.72 c 3213 161.91 o 15390 161.91 c 3210 162.09 o 15392 162.09 c 3208 162.28 o 15394 162.28 c 3206 162.46 o 15396 162.46 c 3204 162.64 o 15397 162.64 c 3203 162.83 o 15398 162.83 c 3202 163.01 o 15399 163.01 c 3201 164.13 o 15401 164.13 c 3199 164.52 o 15404 164.52 c 3196 164.70 o 15406 164.70 c 3194 164.89 o 15408 164.89 c 3192 165.08 o 15409 165.08 c 3191 165.86 o 15415 165.86 c 3185 166.05 o 15416 166.05 c 3184 166.62 o 15418 166.62 c 3182 166.80 o 15420 166.80 c 3180 166.99 o 15421 166.99 c 3179 167.18 o 15424 167.18 c 3176 167.55 o 15426 167.55 c 3174 167.75 o 15428 167.75 c 3172 167.95 o 15430 167.95 c 3170 168.32 o 15432 168.32 c 3168 168.51 o 15433 168.51 c 3167 168.72 o 15435 168.72 c 3165 169.11 o 15437 169.11 c 3163 169.31 o 15439 169.31 c 3161 169.68 o 15443 169.68 c 3157 170.08 o 15447 170.08 c 3153 170.27 o 15451 170.27 c 3149 170.66 o 15453 170.66 c 3147 170.86 o 15455 170.86 c 3145 171.25 o 15458 171.25 c 3142 171.45 o 15461 171.45 c 3139 172.06 o 15464 172.06 c 3136 172.25 o 15468 172.25 c 3132 172.44 o 15469 172.44 c 3131 173.20 o 15472 173.20 c 3128 173.39 o 15476 173.39 c 3124 173.56 o 15479 173.56 c 3121 173.91 o 15480 173.91 c 3120 174.10 o 15482 174.10 c 3118 174.29 o 15485 174.29 c 3115 174.48 o 15488 174.48 c 3112 175.20 o 15489 175.20 c 3111 175.37 o 15491 175.37 c 3109 175.56 o 15492 175.56 c 3108 175.92 o 15495 175.92 c 3105 176.09 o 15496 176.09 c 3104 176.28 o 15498 176.28 c 3102 176.46 o 15501 176.46 c 3099 176.66 o 15504 176.66 c 3096 177.40 o 15507 177.40 c 3093 177.59 o 15509 177.59 c 3091 177.80 o 15511 177.80 c 3089 177.98 o 15516 177.98 c 3084 178.37 o 15517 178.37 c 3083 179.16 o 15521 179.16 c 3079 179.59 o 15522 179.59 c 3078 179.78 o 15523 179.78 c 3077 179.97 o 15526 179.97 c 3074 180.18 o 15527 180.18 c 3073 180.38 o 15529 180.38 c 3071 180.58 o 15531 180.58 c 3069 180.79 o 15532 180.79 c 3068 180.98 o 15533 180.98 c 3067 181.18 o 15536 181.18 c 3064 181.57 o 15539 181.57 c 3061 181.96 o 15542 181.96 c 3058 182.17 o 15544 182.17 c 3056 183.98 o 15547 183.98 c 3053 184.58 o 15550 184.58 c 3050 184.77 o 15553 184.77 c 3047 184.96 o 15554 184.96 c 3046 185.37 o 15556 185.37 c 3044 185.56 o 15557 185.56 c 3043 185.76 o 15559 185.76 c 3041 185.97 o 15562 185.97 c 3038 186.17 o 15564 186.17 c 3036 186.58 o 15566 186.58 c 3034 186.79 o 15567 186.79 c 3033 187.22 o 15569 187.22 c 3031 187.43 o 15570 187.43 c 3030 187.64 o 15571 187.64 c 3029 187.86 o 15575 187.86 c 3025 188.10 o 15578 188.10 c 3022 188.30 o 15582 188.30 c 3018 188.71 o 15587 188.71 c 3013 189.15 o 15588 189.15 c 3012 189.37 o 15590 189.37 c 3010 189.57 o 15591 189.57 c 3009 189.78 o 15592 189.78 c 3008 191.61 o 15593 191.61 c 3007 191.82 o 15595 191.82 c 3005 192.02 o 15596 192.02 c 3004 192.23 o 15598 192.23 c 3002 192.62 o 15599 192.62 c 3001 193.66 o 15601 193.66 c 2999 193.86 o 15602 193.86 c 2998 194.06 o 15605 194.06 c 2995 194.26 o 15606 194.26 c 2994 194.47 o 15607 194.47 c 2993 194.67 o 15609 194.67 c 2991 194.89 o 15611 194.89 c 2989 195.11 o 15616 195.11 c 2984 195.23 o 15619 195.23 c 2981 195.44 o 15621 195.44 c 2979 195.86 o 15624 195.86 c 2976 196.26 o 15626 196.26 c 2974 196.87 o 15627 196.87 c 2973 197.22 o 15630 197.22 c 2970 197.43 o 15631 197.43 c 2969 198.00 o 15633 198.00 c 2967 198.42 o 15636 198.42 c 2964 198.62 o 15639 198.62 c 2961 199.23 o 15640 199.23 c 2960 199.45 o 15642 199.45 c 2958 199.65 o 15643 199.65 c 2957 199.85 o 15644 199.85 c 2956 200.04 o 15647 200.04 c 2953 200.25 o 15649 200.25 c 2951 200.46 o 15650 200.46 c 2950 200.67 o 15655 200.67 c 2945 200.85 o 15656 200.85 c 2944 201.05 o 15658 201.05 c 2942 201.25 o 15659 201.25 c 2941 201.64 o 15661 201.64 c 2939 201.83 o 15662 201.83 c 2938 202.02 o 15665 202.02 c 2935 202.40 o 15666 202.40 c 2934 202.59 o 15668 202.59 c 2932 202.78 o 15669 202.78 c 2931 202.98 o 15671 202.98 c 2929 203.38 o 15672 203.38 c 2928 203.77 o 15673 203.77 c 2927 204.18 o 15674 204.18 c 2926 204.59 o 15677 204.59 c 2923 204.78 o 15679 204.78 c 2921 204.86 o 15680 204.86 c 2920 205.06 o 15681 205.06 c 2919 205.26 o 15682 205.26 c 2918 205.46 o 15686 205.46 c 2914 205.66 o 15687 205.66 c 2913 206.28 o 15688 206.28 c 2912 206.47 o 15690 206.47 c 2910 206.90 o 15691 206.90 c 2909 207.11 o 15694 207.11 c 2906 207.29 o 15696 207.29 c 2904 207.48 o 15699 207.48 c 2901 207.87 o 15701 207.87 c 2899 208.29 o 15702 208.29 c 2898 208.48 o 15705 208.48 c 2895 210.81 o 15708 210.81 c 2892 211.22 o 15712 211.22 c 2888 211.84 o 15715 211.84 c 2885 212.03 o 15717 212.03 c 2883 212.24 o 15718 212.24 c 2882 212.65 o 15719 212.65 c 2881 213.06 o 15721 213.06 c 2879 213.27 o 15723 213.27 c 2877 213.47 o 15727 213.47 c 2873 214.33 o 15728 214.33 c 2872 214.53 o 15730 214.53 c 2870 215.17 o 15731 215.17 c 2869 215.61 o 15732 215.61 c 2868 215.82 o 15735 215.82 c 2865 216.48 o 15736 216.48 c 2864 216.93 o 15738 216.93 c 2862 217.16 o 15740 217.16 c 2860 217.84 o 15743 217.84 c 2857 218.06 o 15744 218.06 c 2856 218.29 o 15747 218.29 c 2853 218.51 o 15752 218.51 c 2848 218.96 o 15755 218.96 c 2845 219.19 o 15757 219.19 c 2843 219.42 o 15758 219.42 c 2842 219.65 o 15759 219.65 c 2841 219.86 o 15762 219.86 c 2838 220.09 o 15763 220.09 c 2837 220.30 o 15764 220.30 c 2836 220.52 o 15766 220.52 c 2834 220.74 o 15769 220.74 c 2831 220.88 o 15770 220.88 c 2830 221.09 o 15772 221.09 c 2828 221.31 o 15774 221.31 c 2826 221.52 o 15776 221.52 c 2824 222.35 o 15778 222.35 c 2822 222.76 o 15779 222.76 c 2821 222.96 o 15782 222.96 c 2818 223.18 o 15783 223.18 c 2817 223.80 o 15784 223.80 c 2816 224.47 o 15785 224.47 c 2815 224.91 o 15787 224.91 c 2813 225.60 o 15789 225.60 c 2811 225.83 o 15791 225.83 c 2809 226.53 o 15793 226.53 c 2807 226.76 o 15795 226.76 c 2805 227.24 o 15796 227.24 c 2804 227.47 o 15797 227.47 c 2803 228.21 o 15799 228.21 c 2801 229.14 o 15801 229.14 c 2799 229.64 o 15802 229.64 c 2798 229.89 o 15803 229.89 c 2797 230.13 o 15804 230.13 c 2796 230.38 o 15805 230.38 c 2795 230.63 o 15808 230.63 c 2792 230.79 o 15809 230.79 c 2791 231.03 o 15810 231.03 c 2790 231.51 o 15812 231.51 c 2788 231.76 o 15816 231.76 c 2784 231.86 o 15819 231.86 c 2781 233.84 o 15821 233.84 c 2779 234.09 o 15826 234.09 c 2774 234.35 o 15827 234.35 c 2773 234.60 o 15829 234.60 c 2771 235.11 o 15831 235.11 c 2769 235.60 o 15832 235.60 c 2768 235.85 o 15834 235.85 c 2766 236.12 o 15835 236.12 c 2765 236.38 o 15837 236.38 c 2763 236.64 o 15838 236.64 c 2762 236.89 o 15841 236.89 c 2759 237.14 o 15842 237.14 c 2758 237.88 o 15845 237.88 c 2755 238.14 o 15847 238.14 c 2753 239.14 o 15849 239.14 c 2751 239.38 o 15852 239.38 c 2748 240.14 o 15853 240.14 c 2747 241.13 o 15854 241.13 c 2746 241.61 o 15857 241.61 c 2743 241.85 o 15860 241.85 c 2740 242.08 o 15863 242.08 c 2737 242.58 o 15864 242.58 c 2736 242.84 o 15866 242.84 c 2734 243.09 o 15867 243.09 c 2733 243.33 o 15868 243.33 c 2732 243.60 o 15871 243.60 c 2729 244.10 o 15872 244.10 c 2728 244.56 o 15874 244.56 c 2726 244.82 o 15876 244.82 c 2724 245.31 o 15879 245.31 c 2721 245.57 o 15881 245.57 c 2719 247.57 o 15883 247.57 c 2717 248.33 o 15885 248.33 c 2715 248.58 o 15886 248.58 c 2714 248.84 o 15887 248.84 c 2713 249.10 o 15890 249.10 c 2710 249.37 o 15892 249.37 c 2708 250.76 o 15893 250.76 c 2707 251.05 o 15895 251.05 c 2705 251.33 o 15896 251.33 c 2704 251.87 o 15897 251.87 c 2703 252.14 o 15900 252.14 c 2700 252.70 o 15901 252.70 c 2699 253.24 o 15902 253.24 c 2698 253.52 o 15904 253.52 c 2696 253.79 o 15906 253.79 c 2694 254.06 o 15908 254.06 c 2692 255.12 o 15910 255.12 c 2690 255.39 o 15911 255.39 c 2689 255.66 o 15913 255.66 c 2687 256.72 o 15914 256.72 c 2686 256.98 o 15915 256.98 c 2685 257.25 o 15916 257.25 c 2684 257.52 o 15917 257.52 c 2683 257.88 o 15918 257.88 c 2682 258.41 o 15920 258.41 c 2680 259.45 o 15922 259.45 c 2678 259.96 o 15927 259.96 c 2673 260.18 o 15930 260.18 c 2670 261.24 o 15931 261.24 c 2669 261.78 o 15932 261.78 c 2668 262.04 o 15934 262.04 c 2666 262.30 o 15936 262.30 c 2664 262.56 o 15938 262.56 c 2662 262.82 o 15941 262.82 c 2659 263.07 o 15945 263.07 c 2655 264.38 o 15946 264.38 c 2654 264.64 o 15948 264.64 c 2652 265.44 o 15949 265.44 c 2651 265.71 o 15950 265.71 c 2650 265.97 o 15953 265.97 c 2647 266.53 o 15954 266.53 c 2646 267.62 o 15956 267.62 c 2644 268.38 o 15957 268.38 c 2643 269.45 o 15959 269.45 c 2641 269.71 o 15961 269.71 c 2639 270.53 o 15962 270.53 c 2638 271.06 o 15965 271.06 c 2635 271.84 o 15967 271.84 c 2633 272.36 o 15970 272.36 c 2630 272.62 o 15972 272.62 c 2628 272.90 o 15973 272.90 c 2627 273.16 o 15974 273.16 c 2626 273.44 o 15975 273.44 c 2625 273.70 o 15977 273.70 c 2623 273.97 o 15978 273.97 c 2622 274.76 o 15979 274.76 c 2621 275.04 o 15981 275.04 c 2619 275.32 o 15986 275.32 c 2614 275.83 o 15987 275.83 c 2613 276.10 o 15988 276.10 c 2612 276.37 o 15989 276.37 c 2611 276.88 o 15990 276.88 c 2610 277.13 o 15991 277.13 c 2609 277.39 o 15997 277.39 c 2603 277.64 o 15999 277.64 c 2601 277.90 o 16002 277.90 c 2598 278.16 o 16004 278.16 c 2596 278.41 o 16005 278.41 c 2595 278.67 o 16007 278.67 c 2593 278.92 o 16008 278.92 c 2592 279.72 o 16009 279.72 c 2591 279.98 o 16011 279.98 c 2589 280.79 o 16012 280.79 c 2588 281.05 o 16015 281.05 c 2585 283.32 o 16016 283.32 c 2584 285.54 o 16017 285.54 c 2583 285.82 o 16021 285.82 c 2579 286.92 o 16024 286.92 c 2576 287.95 o 16028 287.95 c 2572 289.00 o 16031 289.00 c 2569 289.28 o 16033 289.28 c 2567 289.55 o 16034 289.55 c 2566 290.95 o 16036 290.95 c 2564 291.10 o 16038 291.10 c 2562 291.37 o 16039 291.37 c 2561 291.66 o 16041 291.66 c 2559 291.93 o 16043 291.93 c 2557 292.21 o 16046 292.21 c 2554 292.49 o 16047 292.49 c 2553 292.79 o 16048 292.79 c 2552 293.07 o 16051 293.07 c 2549 293.23 o 16056 293.23 c 2544 293.52 o 16059 293.52 c 2541 293.81 o 16060 293.81 c 2540 296.43 o 16061 296.43 c 2539 296.71 o 16062 296.71 c 2538 297.01 o 16063 297.01 c 2537 297.61 o 16065 297.61 c 2535 299.69 o 16067 299.69 c 2533 300.00 o 16068 300.00 c 2532 300.31 o 16069 300.31 c 2531 300.91 o 16071 300.91 c 2529 301.20 o 16075 301.20 c 2525 301.45 o 16076 301.45 c 2524 302.06 o 16077 302.06 c 2523 302.64 o 16080 302.64 c 2520 302.93 o 16082 302.93 c 2518 303.22 o 16083 303.22 c 2517 304.40 o 16084 304.40 c 2516 304.70 o 16085 304.70 c 2515 305.28 o 16086 305.28 c 2514 305.57 o 16088 305.57 c 2512 307.64 o 16090 307.64 c 2510 307.95 o 16093 307.95 c 2507 308.85 o 16097 308.85 c 2503 309.15 o 16098 309.15 c 2502 309.44 o 16100 309.44 c 2500 310.02 o 16102 310.02 c 2498 310.32 o 16104 310.32 c 2496 311.48 o 16106 311.48 c 2494 311.85 o 16108 311.85 c 2492 312.14 o 16109 312.14 c 2491 312.42 o 16111 312.42 c 2489 312.70 o 16112 312.70 c 2488 312.99 o 16113 312.99 c 2487 313.86 o 16115 313.86 c 2485 314.15 o 16117 314.15 c 2483 314.27 o 16121 314.27 c 2479 314.55 o 16123 314.55 c 2477 315.15 o 16124 315.15 c 2476 317.89 o 16125 317.89 c 2475 318.17 o 16126 318.17 c 2474 318.69 o 16127 318.69 c 2473 318.96 o 16128 318.96 c 2472 319.18 o 16130 319.18 c 2470 319.45 o 16132 319.45 c 2468 319.72 o 16134 319.72 c 2466 319.98 o 16137 319.98 c 2463 320.24 o 16139 320.24 c 2461 320.51 o 16140 320.51 c 2460 320.78 o 16143 320.78 c 2457 321.05 o 16144 321.05 c 2456 322.16 o 16145 322.16 c 2455 322.72 o 16147 322.72 c 2453 322.91 o 16150 322.91 c 2450 323.14 o 16152 323.14 c 2448 323.70 o 16155 323.70 c 2445 323.98 o 16157 323.98 c 2443 324.53 o 16159 324.53 c 2441 325.09 o 16163 325.09 c 2437 325.37 o 16165 325.37 c 2435 325.65 o 16166 325.65 c 2434 325.94 o 16170 325.94 c 2430 326.78 o 16172 326.78 c 2428 327.06 o 16173 327.06 c 2427 327.63 o 16174 327.63 c 2426 327.91 o 16178 327.91 c 2422 328.20 o 16181 328.20 c 2419 328.77 o 16183 328.77 c 2417 329.03 o 16186 329.04 c 2414 331.01 o 16187 331.01 c 2413 331.58 o 16190 331.58 c 2410 331.87 o 16191 331.87 c 2409 332.15 o 16192 332.15 c 2408 332.42 o 16193 332.42 c 2407 333.00 o 16196 333.00 c 2404 333.28 o 16198 333.28 c 2402 333.86 o 16200 333.86 c 2400 334.95 o 16201 334.95 c 2399 335.23 o 16205 335.23 c 2395 335.49 o 16206 335.49 c 2394 335.75 o 16207 335.75 c 2393 336.03 o 16208 336.03 c 2392 336.58 o 16211 336.58 c 2389 336.84 o 16212 336.84 c 2388 337.10 o 16213 337.10 c 2387 337.36 o 16215 337.36 c 2385 337.62 o 16216 337.62 c 2384 340.28 o 16217 340.28 c 2383 340.83 o 16219 340.83 c 2381 341.60 o 16220 341.60 c 2380 341.88 o 16223 341.88 c 2377 342.15 o 16226 342.15 c 2374 343.44 o 16228 343.44 c 2372 343.94 o 16229 343.94 c 2371 344.47 o 16231 344.47 c 2369 346.24 o 16232 346.24 c 2368 346.52 o 16234 346.52 c 2366 350.12 o 16239 350.12 c 2361 350.87 o 16240 350.87 c 2360 351.40 o 16241 351.40 c 2359 351.95 o 16242 351.95 c 2358 352.23 o 16243 352.23 c 2357 353.62 o 16244 353.62 c 2356 353.90 o 16246 353.90 c 2354 354.18 o 16247 354.18 c 2353 354.46 o 16248 354.46 c 2352 354.75 o 16250 354.75 c 2350 355.03 o 16252 355.03 c 2348 355.32 o 16253 355.32 c 2347 356.16 o 16254 356.16 c 2346 356.45 o 16256 356.45 c 2344 357.29 o 16258 357.29 c 2342 357.57 o 16259 357.57 c 2341 357.85 o 16260 357.85 c 2340 358.13 o 16262 358.13 c 2338 358.41 o 16264 358.41 c 2336 358.96 o 16266 358.96 c 2334 359.25 o 16269 359.25 c 2331 359.54 o 16272 359.54 c 2328 359.82 o 16273 359.82 c 2327 363.04 o 16274 363.04 c 2326 363.34 o 16275 363.34 c 2325 363.93 o 16278 363.93 c 2322 364.55 o 16279 364.55 c 2321 365.15 o 16282 365.15 c 2318 365.45 o 16284 365.45 c 2316 366.06 o 16285 366.06 c 2315 366.66 o 16287 366.66 c 2313 367.64 o 16288 367.64 c 2312 367.97 o 16290 367.97 c 2310 368.24 o 16292 368.24 c 2308 368.57 o 16295 368.57 c 2305 368.89 o 16297 368.89 c 2303 369.93 o 16298 369.93 c 2302 370.29 o 16299 370.29 c 2301 375.72 o 16300 375.72 c 2300 376.06 o 16302 376.06 c 2298 376.40 o 16303 376.40 c 2297 376.70 o 16304 376.70 c 2296 378.04 o 16305 378.04 c 2295 378.38 o 16306 378.38 c 2294 378.70 o 16309 378.70 c 2291 379.04 o 16310 379.04 c 2290 379.37 o 16311 379.37 c 2289 379.68 o 16313 379.68 c 2287 380.55 o 16314 380.55 c 2286 380.87 o 16315 380.87 c 2285 381.51 o 16319 381.51 c 2281 381.83 o 16320 381.83 c 2280 382.46 o 16323 382.46 c 2277 382.80 o 16324 382.80 c 2276 383.01 o 16326 383.01 c 2274 385.56 o 16327 385.56 c 2273 385.88 o 16329 385.88 c 2271 386.52 o 16331 386.52 c 2269 387.49 o 16332 387.49 c 2268 388.12 o 16334 388.12 c 2266 388.46 o 16335 388.46 c 2265 388.79 o 16336 388.79 c 2264 390.08 o 16337 390.08 c 2263 390.27 o 16339 390.27 c 2261 391.88 o 16340 391.88 c 2260 392.22 o 16341 392.22 c 2259 393.53 o 16344 393.53 c 2256 395.91 o 16345 395.91 c 2255 396.63 o 16346 396.63 c 2254 397.70 o 16348 397.70 c 2252 397.91 o 16350 397.91 c 2250 398.66 o 16352 398.66 c 2248 399.02 o 16353 399.02 c 2247 400.86 o 16355 400.86 c 2245 401.25 o 16356 401.25 c 2244 402.00 o 16357 402.00 c 2243 402.38 o 16361 402.38 c 2239 404.19 o 16362 404.19 c 2238 404.93 o 16363 404.93 c 2237 405.16 o 16365 405.16 c 2235 405.75 o 16366 405.75 c 2234 406.10 o 16367 406.10 c 2233 406.46 o 16368 406.46 c 2232 407.05 o 16371 407.05 c 2229 408.41 o 16372 408.41 c 2228 409.99 o 16374 409.99 c 2226 411.41 o 16375 411.41 c 2225 412.50 o 16376 412.50 c 2224 413.22 o 16380 413.22 c 2220 413.57 o 16382 413.57 c 2218 413.93 o 16383 413.93 c 2217 423.30 o 16384 423.30 c 2216 424.45 o 16386 424.45 c 2214 424.84 o 16387 424.84 c 2213 425.21 o 16388 425.21 c 2212 426.35 o 16389 426.35 c 2211 427.12 o 16390 427.12 c 2210 430.13 o 16392 430.13 c 2208 430.53 o 16393 430.53 c 2207 431.30 o 16394 431.30 c 2206 431.87 o 16396 431.87 c 2204 432.24 o 16397 432.24 c 2203 432.99 o 16398 432.99 c 2202 433.34 o 16399 433.34 c 2201 433.73 o 16400 433.73 c 2200 434.08 o 16401 434.08 c 2199 434.86 o 16403 434.86 c 2197 435.24 o 16406 435.24 c 2194 435.61 o 16407 435.61 c 2193 440.35 o 16409 440.35 c 2191 440.78 o 16410 440.78 c 2190 442.39 o 16411 442.39 c 2189 442.81 o 16412 442.81 c 2188 444.06 o 16414 444.06 c 2186 447.50 o 16416 447.50 c 2184 458.08 o 16418 458.08 c 2182 460.26 o 16420 460.26 c 2180 460.70 o 16423 460.70 c 2177 461.45 o 16424 461.45 c 2176 469.15 o 16425 469.15 c 2175 469.58 o 16426 469.58 c 2174 470.43 o 16427 470.43 c 2173 471.28 o 16428 471.28 c 2172 471.72 o 16430 471.72 c 2170 474.65 o 16433 474.65 c 2167 475.07 o 16435 475.07 c 2165 475.91 o 16437 475.91 c 2163 476.33 o 16439 476.33 c 2161 477.59 o 16440 477.59 c 2160 478.88 o 16441 478.88 c 2159 479.32 o 16442 479.32 c 2158 479.76 o 16443 479.76 c 2157 481.45 o 16444 481.45 c 2156 481.87 o 16446 481.87 c 2154 482.10 o 16448 482.10 c 2152 482.87 o 16450 482.87 c 2150 484.56 o 16452 484.56 c 2148 485.00 o 16454 485.00 c 2146 485.87 o 16455 485.87 c 2145 487.57 o 16457 487.57 c 2143 488.87 o 16458 488.87 c 2142 489.30 o 16459 489.30 c 2141 489.74 o 16460 489.74 c 2140 490.15 o 16462 490.15 c 2138 490.59 o 16465 490.59 c 2135 492.75 o 16466 492.75 c 2134 493.19 o 16468 493.19 c 2132 494.06 o 16469 494.06 c 2131 494.92 o 16471 494.92 c 2129 495.36 o 16476 495.36 c 2124 496.56 o 16478 496.56 c 2122 497.32 o 16480 497.32 c 2120 498.64 o 16483 498.64 c 2117 499.24 o 16485 499.24 c 2115 499.52 o 16486 499.52 c 2114 500.40 o 16487 500.40 c 2113 500.83 o 16488 500.83 c 2112 501.25 o 16490 501.25 c 2110 502.55 o 16491 502.55 c 2109 503.89 o 16492 503.89 c 2108 504.23 o 16493 504.23 c 2107 504.67 o 16494 504.67 c 2106 505.12 o 16495 505.12 c 2105 506.02 o 16498 506.02 c 2102 507.38 o 16500 507.38 c 2100 507.83 o 16501 507.83 c 2099 508.27 o 16504 508.27 c 2096 511.98 o 16505 511.98 c 2095 513.73 o 16508 513.73 c 2092 514.60 o 16509 514.60 c 2091 516.36 o 16510 516.36 c 2090 516.80 o 16511 516.80 c 2089 517.23 o 16514 517.23 c 2086 517.68 o 16515 517.68 c 2085 518.08 o 16517 518.08 c 2083 519.83 o 16518 519.83 c 2082 520.23 o 16519 520.23 c 2081 522.70 o 16522 522.70 c 2078 524.44 o 16523 524.44 c 2077 524.88 o 16526 524.88 c 2074 525.32 o 16527 525.32 c 2073 525.95 o 16531 525.95 c 2069 526.42 o 16533 526.42 c 2067 526.85 o 16534 526.85 c 2066 527.30 o 16536 527.30 c 2064 527.74 o 16538 527.74 c 2062 528.62 o 16539 528.62 c 2061 529.49 o 16540 529.49 c 2060 529.92 o 16541 529.92 c 2059 530.80 o 16543 530.80 c 2057 531.24 o 16547 531.24 c 2053 535.64 o 16548 535.64 c 2052 536.08 o 16550 536.08 c 2050 536.96 o 16553 536.96 c 2047 537.39 o 16555 537.39 c 2045 537.82 o 16556 537.82 c 2044 538.68 o 16557 538.68 c 2043 540.16 o 16558 540.16 c 2042 541.03 o 16559 541.03 c 2041 541.47 o 16563 541.47 c 2037 541.91 o 16564 541.91 c 2036 542.78 o 16565 542.78 c 2035 543.21 o 16566 543.21 c 2034 543.45 o 16567 543.45 c 2033 543.87 o 16568 543.87 c 2032 545.46 o 16570 545.46 c 2030 552.32 o 16572 552.32 c 2028 553.64 o 16575 553.64 c 2025 554.96 o 16577 554.96 c 2023 555.42 o 16578 555.42 c 2022 555.87 o 16579 555.87 c 2021 556.31 o 16584 556.31 c 2016 556.62 o 16586 556.62 c 2014 557.93 o 16590 557.93 c 2010 558.38 o 16592 558.38 c 2008 559.26 o 16593 559.26 c 2007 560.61 o 16594 560.61 c 2006 561.06 o 16596 561.06 c 2004 562.40 o 16597 562.40 c 2003 562.86 o 16598 562.86 c 2002 568.12 o 16599 568.12 c 2001 568.55 o 16601 568.55 c 1999 570.75 o 16603 570.75 c 1997 571.19 o 16605 571.19 c 1995 572.91 o 16606 572.91 c 1994 575.95 o 16608 575.95 c 1992 576.20 o 16610 576.20 c 1990 576.65 o 16611 576.65 c 1989 577.07 o 16613 577.07 c 1987 583.69 o 16614 583.69 c 1986 584.06 o 16617 584.06 c 1983 584.48 o 16622 584.48 c 1978 584.86 o 16623 584.86 c 1977 585.70 o 16624 585.70 c 1976 585.95 o 16626 585.95 c 1974 586.37 o 16627 586.37 c 1973 588.45 o 16628 588.45 c 1972 588.89 o 16631 588.89 c 1969 589.65 o 16632 589.65 c 1968 590.05 o 16633 590.05 c 1967 590.51 o 16636 590.51 c 1964 590.91 o 16639 590.91 c 1961 591.32 o 16640 591.32 c 1960 592.17 o 16642 592.17 c 1958 592.54 o 16644 592.54 c 1956 592.95 o 16646 592.95 c 1954 593.38 o 16647 593.38 c 1953 594.94 o 16649 594.94 c 1951 595.34 o 16650 595.34 c 1950 596.98 o 16654 596.99 c 1946 597.32 o 16655 597.32 c 1945 597.69 o 16657 597.69 c 1943 598.10 o 16659 598.10 c 1941 598.50 o 16660 598.50 c 1940 601.42 o 16662 601.42 c 1938 603.16 o 16663 603.16 c 1937 603.62 o 16665 603.62 c 1935 604.86 o 16666 604.86 c 1934 605.73 o 16667 605.73 c 1933 606.16 o 16669 606.16 c 1931 606.59 o 16672 606.59 c 1928 607.93 o 16673 607.93 c 1927 608.38 o 16674 608.38 c 1926 609.27 o 16675 609.27 c 1925 609.52 o 16678 609.52 c 1922 613.16 o 16679 613.16 c 1921 613.39 o 16680 613.39 c 1920 613.80 o 16682 613.80 c 1918 614.11 o 16683 614.11 c 1917 614.87 o 16685 614.87 c 1915 616.51 o 16687 616.51 c 1913 616.93 o 16688 616.93 c 1912 617.36 o 16690 617.36 c 1910 617.80 o 16691 617.80 c 1909 618.23 o 16692 618.23 c 1908 619.10 o 16693 619.10 c 1907 619.53 o 16694 619.53 c 1906 620.42 o 16695 620.42 c 1905 620.85 o 16696 620.85 c 1904 621.62 o 16698 621.62 c 1902 622.05 o 16699 622.05 c 1901 622.45 o 16700 622.45 c 1900 623.32 o 16701 623.32 c 1899 623.74 o 16702 623.74 c 1898 624.18 o 16704 624.18 c 1896 624.42 o 16706 624.42 c 1894 624.84 o 16708 624.84 c 1892 625.97 o 16709 625.97 c 1891 626.37 o 16711 626.37 c 1889 627.60 o 16715 627.60 c 1885 628.44 o 16716 628.44 c 1884 628.88 o 16717 628.88 c 1883 629.68 o 16720 629.68 c 1880 630.48 o 16721 630.48 c 1879 632.23 o 16724 632.23 c 1876 632.61 o 16727 632.61 c 1873 633.03 o 16728 633.03 c 1872 633.11 o 16730 633.11 c 1870 633.54 o 16732 633.54 c 1868 633.94 o 16733 633.94 c 1867 634.37 o 16734 634.37 c 1866 634.79 o 16735 634.79 c 1865 635.12 o 16738 635.12 c 1862 635.53 o 16739 635.53 c 1861 635.95 o 16740 635.95 c 1860 636.37 o 16742 636.37 c 1858 636.81 o 16743 636.81 c 1857 638.09 o 16744 638.09 c 1856 638.29 o 16746 638.29 c 1854 638.69 o 16749 638.69 c 1851 641.25 o 16750 641.25 c 1850 641.68 o 16751 641.68 c 1849 642.11 o 16752 642.11 c 1848 647.33 o 16753 647.33 c 1847 648.64 o 16754 648.64 c 1846 649.07 o 16755 649.07 c 1845 649.49 o 16757 649.49 c 1843 649.95 o 16758 649.95 c 1842 650.38 o 16759 650.38 c 1841 650.75 o 16760 650.75 c 1840 651.19 o 16761 651.19 c 1839 651.63 o 16762 651.63 c 1838 652.06 o 16763 652.06 c 1837 653.63 o 16765 653.63 c 1835 656.77 o 16766 656.77 c 1834 657.65 o 16767 657.65 c 1833 658.56 o 16768 658.56 c 1832 659.01 o 16770 659.01 c 1830 659.46 o 16771 659.46 c 1829 659.93 o 16773 659.93 c 1827 661.16 o 16775 661.16 c 1825 661.61 o 16777 661.61 c 1823 664.38 o 16778 664.38 c 1822 666.22 o 16780 666.22 c 1820 666.67 o 16782 666.67 c 1818 667.83 o 16784 667.83 c 1816 668.09 o 16788 668.09 c 1812 668.55 o 16789 668.56 c 1811 669.00 o 16791 669.00 c 1809 672.99 o 16794 672.99 c 1806 673.46 o 16795 673.46 c 1805 673.93 o 16796 673.93 c 1804 674.82 o 16797 674.82 c 1803 680.19 o 16798 680.19 c 1802 681.11 o 16801 681.11 c 1799 683.33 o 16802 683.33 c 1798 685.53 o 16803 685.53 c 1797 686.89 o 16804 686.89 c 1796 687.30 o 16805 687.30 c 1795 687.77 o 16806 687.77 c 1794 690.04 o 16807 690.04 c 1793 690.52 o 16808 690.52 c 1792 691.44 o 16809 691.44 c 1791 701.44 o 16810 701.44 c 1790 714.31 o 16811 714.31 c 1789 714.76 o 16812 714.76 c 1788 715.24 o 16816 715.24 c 1784 715.68 o 16818 715.68 c 1782 716.14 o 16819 716.14 c 1781 716.59 o 16821 716.59 c 1779 717.05 o 16822 717.05 c 1778 717.50 o 16824 717.50 c 1776 717.96 o 16825 717.96 c 1775 721.16 o 16827 721.16 c 1773 722.09 o 16830 722.09 c 1770 724.47 o 16831 724.47 c 1769 724.96 o 16832 724.96 c 1768 725.44 o 16833 725.44 c 1767 725.92 o 16834 725.92 c 1766 726.41 o 16835 726.41 c 1765 727.85 o 16837 727.85 c 1763 728.82 o 16840 728.82 c 1760 732.92 o 16842 732.92 c 1758 737.60 o 16843 737.60 c 1757 738.52 o 16844 738.52 c 1756 742.02 o 16845 742.02 c 1755 742.51 o 16847 742.51 c 1753 742.89 o 16850 742.89 c 1750 743.87 o 16851 743.87 c 1749 744.35 o 16852 744.35 c 1748 744.84 o 16853 744.84 c 1747 745.84 o 16854 745.84 c 1746 763.45 o 16855 763.45 c 1745 763.96 o 16856 763.96 c 1744 764.47 o 16857 764.47 c 1743 764.95 o 16858 764.95 c 1742 767.56 o 16860 767.56 c 1740 768.61 o 16863 768.61 c 1737 769.15 o 16864 769.15 c 1736 770.50 o 16865 770.50 c 1735 772.58 o 16867 772.58 c 1733 775.02 o 16868 775.02 c 1732 775.56 o 16870 775.56 c 1730 776.63 o 16871 776.63 c 1729 777.06 o 16874 777.06 c 1726 777.60 o 16876 777.60 c 1724 778.36 o 16877 778.36 c 1723 779.92 o 16878 779.92 c 1722 785.84 o 16880 785.84 c 1720 786.35 o 16882 786.35 c 1718 787.38 o 16884 787.38 c 1716 788.40 o 16885 788.40 c 1715 788.93 o 16887 788.93 c 1713 792.02 o 16888 792.02 c 1712 795.87 o 16889 795.87 c 1711 796.39 o 16890 796.39 c 1710 796.92 o 16892 796.92 c 1708 797.44 o 16894 797.44 c 1706 797.95 o 16895 797.95 c 1705 799.36 o 16896 799.36 c 1704 799.87 o 16897 799.87 c 1703 800.39 o 16898 800.39 c 1702 800.91 o 16900 800.91 c 1700 801.42 o 16902 801.42 c 1698 803.49 o 16903 803.49 c 1697 805.50 o 16906 805.50 c 1694 806.03 o 16907 806.03 c 1693 806.57 o 16909 806.57 c 1691 809.54 o 16912 809.54 c 1688 811.55 o 16914 811.55 c 1686 812.05 o 16918 812.05 c 1682 813.57 o 16921 813.57 c 1679 813.87 o 16922 813.87 c 1678 814.88 o 16924 814.88 c 1676 815.91 o 16926 815.91 c 1674 817.43 o 16927 817.43 c 1673 817.92 o 16929 817.93 c 1671 819.44 o 16932 819.44 c 1668 819.95 o 16933 819.95 c 1667 820.46 o 16936 820.46 c 1664 820.87 o 16937 820.87 c 1663 821.34 o 16938 821.34 c 1662 821.83 o 16939 821.83 c 1661 824.87 o 16942 824.87 c 1658 825.38 o 16943 825.38 c 1657 826.37 o 16944 826.37 c 1656 827.39 o 16945 827.39 c 1655 827.90 o 16946 827.90 c 1654 831.16 o 16947 831.16 c 1653 833.62 o 16949 833.62 c 1651 835.23 o 16951 835.23 c 1649 835.74 o 16953 835.74 c 1647 836.38 o 16954 836.38 c 1646 836.89 o 16956 836.89 c 1644 837.30 o 16957 837.30 c 1643 837.72 o 16958 837.72 c 1642 839.72 o 16959 839.72 c 1641 841.72 o 16960 841.72 c 1640 842.22 o 16963 842.22 c 1637 846.97 o 16964 846.97 c 1636 848.00 o 16965 848.00 c 1635 849.94 o 16966 849.94 c 1634 850.43 o 16968 850.43 c 1632 852.28 o 16969 852.28 c 1631 853.65 o 16970 853.65 c 1630 855.09 o 16971 855.09 c 1629 855.57 o 16972 855.57 c 1628 857.97 o 16973 857.97 c 1627 858.44 o 16974 858.44 c 1626 858.91 o 16975 858.91 c 1625 869.07 o 16976 869.07 c 1624 870.07 o 16977 870.07 c 1623 874.46 o 16978 874.46 c 1622 874.89 o 16979 874.89 c 1621 875.37 o 16981 875.37 c 1619 876.84 o 16982 876.84 c 1618 889.40 o 16983 889.40 c 1617 889.51 o 16985 889.51 c 1615 890.94 o 16986 890.94 c 1614 891.44 o 16989 891.44 c 1611 891.71 o 16991 891.71 c 1609 892.20 o 16992 892.20 c 1608 893.69 o 16993 893.69 c 1607 894.03 o 16994 894.03 c 1606 896.88 o 16995 896.88 c 1605 897.36 o 16996 897.36 c 1604 898.67 o 16997 898.67 c 1603 899.15 o 16998 899.15 c 1602 899.66 o 16999 899.66 c 1601 903.47 o 17000 903.47 c 1600 903.98 o 17001 903.98 c 1599 905.01 o 17002 905.01 c 1598 905.52 o 17003 905.52 c 1597 909.48 o 17004 909.48 c 1596 922.97 o 17005 922.97 c 1595 923.20 o 17008 923.20 c 1592 923.90 o 17010 923.90 c 1590 924.01 o 17011 924.01 c 1589 924.53 o 17012 924.53 c 1588 941.48 o 17013 941.49 c 1587 944.23 o 17014 944.23 c 1586 945.83 o 17015 945.83 c 1585 946.74 o 17016 946.74 c 1584 963.98 o 17017 963.98 c 1583 964.41 o 17020 964.41 c 1580 965.26 o 17023 965.26 c 1577 965.73 o 17024 965.73 c 1576 966.28 o 17028 966.28 c 1572 969.51 o 17029 969.51 c 1571 970.05 o 17031 970.05 c 1569 970.23 o 17032 970.23 c 1568 970.78 o 17033 970.78 c 1567 973.02 o 17034 973.02 c 1566 973.55 o 17035 973.55 c 1565 975.16 o 17036 975.16 c 1564 978.25 o 17038 978.25 c 1562 979.93 o 17039 979.93 c 1561 987.82 o 17040 987.82 c 1560 988.91 o 17042 988.91 c 1558 989.43 o 17044 989.43 c 1556 992.15 o 17045 992.15 c 1555 993.80 o 17046 993.80 c 1554 994.34 o 17050 994.34 c 1550 994.88 o 17051 994.88 c 1549 995.42 o 17052 995.42 c 1548 998.01 o 17053 998.01 c 1547 1001.14 o 17054 1001.14 c 1546 1002.20 o 17055 1002.20 c 1545 1011.06 o 17056 1011.06 c 1544 1012.12 o 17058 1012.12 c 1542 1012.64 o 17059 1012.64 c 1541 1014.75 o 17060 1014.75 c 1540 1015.29 o 17062 1015.29 c 1538 1016.17 o 17063 1016.17 c 1537 1017.69 o 17066 1017.69 c 1534 1018.73 o 17067 1018.73 c 1533 1019.28 o 17068 1019.28 c 1532 1019.81 o 17070 1019.81 c 1530 1020.84 o 17071 1020.84 c 1529 1040.23 o 17072 1040.23 c 1528 1040.66 o 17073 1040.66 c 1527 1041.29 o 17074 1041.29 c 1526 1041.72 o 17075 1041.72 c 1525 1042.10 o 17076 1042.10 c 1524 1042.60 o 17079 1042.60 c 1521 1059.44 o 17081 1059.44 c 1519 1060.36 o 17083 1060.36 c 1517 1062.88 o 17084 1062.88 c 1516 1063.87 o 17086 1063.87 c 1514 1065.37 o 17088 1065.37 c 1512 1066.85 o 17089 1066.85 c 1511 1067.33 o 17090 1067.33 c 1510 1068.29 o 17091 1068.29 c 1509 1069.27 o 17092 1069.27 c 1508 1069.40 o 17095 1069.40 c 1505 1069.89 o 17096 1069.89 c 1504 1071.34 o 17098 1071.34 c 1502 1071.83 o 17099 1071.83 c 1501 1072.34 o 17101 1072.34 c 1499 1083.35 o 17105 1083.35 c 1495 1085.12 o 17106 1085.12 c 1494 1085.63 o 17110 1085.63 c 1490 1086.16 o 17111 1086.16 c 1489 1087.68 o 17112 1087.68 c 1488 1089.05 o 17113 1089.05 c 1487 1091.44 o 17114 1091.44 c 1486 1093.94 o 17115 1093.94 c 1485 1096.85 o 17116 1096.85 c 1484 1097.34 o 17118 1097.35 c 1482 1097.84 o 17120 1097.84 c 1480 1103.58 o 17121 1103.58 c 1479 1104.09 o 17123 1104.09 c 1477 1104.61 o 17124 1104.61 c 1476 1105.60 o 17126 1105.60 c 1474 1106.11 o 17127 1106.11 c 1473 1106.63 o 17128 1106.63 c 1472 1107.63 o 17129 1107.63 c 1471 1108.13 o 17131 1108.14 c 1469 1108.42 o 17132 1108.42 c 1468 1108.94 o 17134 1108.94 c 1466 1109.33 o 17136 1109.33 c 1464 1109.84 o 17139 1109.84 c 1461 1110.34 o 17141 1110.34 c 1459 1110.84 o 17142 1110.84 c 1458 1111.34 o 17143 1111.34 c 1457 1125.59 o 17144 1125.59 c 1456 1126.61 o 17146 1126.61 c 1454 1129.48 o 17148 1129.48 c 1452 1130.58 o 17149 1130.58 c 1451 1132.04 o 17150 1132.04 c 1450 1136.99 o 17153 1136.99 c 1447 1137.52 o 17154 1137.52 c 1446 1139.12 o 17155 1139.12 c 1445 1140.16 o 17157 1140.16 c 1443 1140.71 o 17159 1140.71 c 1441 1141.82 o 17162 1141.82 c 1438 1142.38 o 17163 1142.38 c 1437 1146.31 o 17166 1146.31 c 1434 1146.87 o 17167 1146.87 c 1433 1147.41 o 17169 1147.41 c 1431 1147.96 o 17171 1147.96 c 1429 1149.60 o 17172 1149.60 c 1428 1150.70 o 17173 1150.70 c 1427 1150.94 o 17175 1150.94 c 1425 1153.13 o 17177 1153.13 c 1423 1154.21 o 17178 1154.21 c 1422 1155.30 o 17179 1155.30 c 1421 1155.83 o 17180 1155.83 c 1420 1160.75 o 17182 1160.75 c 1418 1161.28 o 17186 1161.28 c 1414 1163.40 o 17187 1163.40 c 1413 1167.10 o 17188 1167.10 c 1412 1167.64 o 17189 1167.64 c 1411 1167.76 o 17190 1167.76 c 1410 1168.29 o 17192 1168.29 c 1408 1198.48 o 17193 1198.48 c 1407 1199.03 o 17194 1199.03 c 1406 1205.08 o 17195 1205.08 c 1405 1206.19 o 17197 1206.19 c 1403 1206.74 o 17198 1206.74 c 1402 1209.39 o 17199 1209.39 c 1401 1214.99 o 17200 1214.99 c 1400 1216.64 o 17201 1216.64 c 1399 1217.75 o 17202 1217.75 c 1398 1218.84 o 17203 1218.84 c 1397 1219.30 o 17206 1219.30 c 1394 1219.58 o 17207 1219.58 c 1393 1220.13 o 17210 1220.13 c 1390 1220.68 o 17211 1220.68 c 1389 1221.22 o 17212 1221.22 c 1388 1236.81 o 17213 1236.81 c 1387 1239.45 o 17215 1239.45 c 1385 1240.01 o 17216 1240.01 c 1384 1241.08 o 17217 1241.08 c 1383 1241.65 o 17218 1241.65 c 1382 1247.41 o 17219 1247.41 c 1381 1247.94 o 17221 1247.94 c 1379 1248.86 o 17224 1248.86 c 1376 1249.35 o 17225 1249.35 c 1375 1249.57 o 17226 1249.57 c 1374 1250.09 o 17228 1250.09 c 1372 1250.75 o 17229 1250.75 c 1371 1260.21 o 17230 1260.22 c 1370 1260.79 o 17231 1260.79 c 1369 1261.96 o 17232 1261.96 c 1368 1267.29 o 17234 1267.29 c 1366 1286.55 o 17235 1286.55 c 1365 1287.16 o 17236 1287.16 c 1364 1287.94 o 17237 1287.94 c 1363 1289.14 o 17238 1289.14 c 1362 1296.04 o 17239 1296.04 c 1361 1311.06 o 17240 1311.06 c 1360 1311.67 o 17241 1311.67 c 1359 1313.78 o 17246 1313.78 c 1354 1315.37 o 17247 1315.37 c 1353 1315.97 o 17249 1315.97 c 1351 1317.71 o 17251 1317.71 c 1349 1319.54 o 17252 1319.54 c 1348 1321.93 o 17253 1321.93 c 1347 1322.55 o 17255 1322.55 c 1345 1323.15 o 17257 1323.15 c 1343 1323.74 o 17258 1323.74 c 1342 1324.95 o 17260 1324.95 c 1340 1325.55 o 17262 1325.55 c 1338 1331.31 o 17263 1331.31 c 1337 1333.12 o 17265 1333.12 c 1335 1334.93 o 17266 1334.93 c 1334 1335.52 o 17268 1335.52 c 1332 1336.12 o 17269 1336.12 c 1331 1336.73 o 17270 1336.73 c 1330 1359.07 o 17273 1359.07 c 1327 1359.64 o 17274 1359.64 c 1326 1367.12 o 17275 1367.12 c 1325 1368.28 o 17277 1368.28 c 1323 1369.43 o 17281 1369.43 c 1319 1370.58 o 17282 1370.58 c 1318 1371.40 o 17283 1371.40 c 1317 1372.72 o 17284 1372.72 c 1316 1373.15 o 17285 1373.15 c 1315 1373.33 o 17287 1373.33 c 1313 1373.89 o 17288 1373.89 c 1312 1374.46 o 17289 1374.46 c 1311 1383.42 o 17290 1383.42 c 1310 1384.57 o 17292 1384.57 c 1308 1385.72 o 17293 1385.72 c 1307 1388.54 o 17294 1388.54 c 1306 1389.12 o 17295 1389.12 c 1305 1390.90 o 17296 1390.90 c 1304 1392.04 o 17297 1392.04 c 1303 1396.06 o 17298 1396.06 c 1302 1396.63 o 17299 1396.63 c 1301 1398.22 o 17300 1398.22 c 1300 1399.67 o 17301 1399.67 c 1299 1400.22 o 17304 1400.22 c 1296 1401.93 o 17306 1401.93 c 1294 1403.00 o 17307 1403.00 c 1293 1403.36 o 17309 1403.36 c 1291 1405.02 o 17315 1405.02 c 1285 1405.59 o 17316 1405.59 c 1284 1417.00 o 17317 1417.01 c 1283 1420.62 o 17318 1420.62 c 1282 1421.23 o 17320 1421.23 c 1280 1421.64 o 17321 1421.64 c 1279 1422.23 o 17324 1422.23 c 1276 1422.53 o 17326 1422.53 c 1274 1423.13 o 17327 1423.13 c 1273 1424.33 o 17329 1424.33 c 1271 1425.69 o 17331 1425.69 c 1269 1426.13 o 17333 1426.13 c 1267 1426.73 o 17334 1426.73 c 1266 1427.02 o 17336 1427.02 c 1264 1427.64 o 17338 1427.64 c 1262 1428.24 o 17339 1428.24 c 1261 1430.65 o 17341 1430.65 c 1259 1431.86 o 17343 1431.86 c 1257 1436.96 o 17344 1436.96 c 1256 1437.55 o 17345 1437.55 c 1255 1441.93 o 17346 1441.93 c 1254 1443.15 o 17347 1443.15 c 1253 1443.54 o 17348 1443.54 c 1252 1443.87 o 17350 1443.87 c 1250 1444.53 o 17351 1444.53 c 1249 1445.13 o 17352 1445.14 c 1248 1455.82 o 17353 1455.82 c 1247 1463.25 o 17354 1463.25 c 1246 1464.46 o 17356 1464.46 c 1244 1465.07 o 17358 1465.07 c 1242 1466.27 o 17361 1466.27 c 1239 1467.13 o 17362 1467.13 c 1238 1468.01 o 17363 1468.01 c 1237 1468.61 o 17364 1468.61 c 1236 1469.80 o 17365 1469.80 c 1235 1470.40 o 17366 1470.40 c 1234 1475.57 o 17367 1475.57 c 1233 1481.26 o 17369 1481.26 c 1231 1481.87 o 17370 1481.87 c 1230 1487.38 o 17372 1487.38 c 1228 1488.61 o 17373 1488.61 c 1227 1491.83 o 17376 1491.83 c 1224 1493.00 o 17377 1493.00 c 1223 1494.79 o 17378 1494.79 c 1222 1498.33 o 17379 1498.33 c 1221 1499.52 o 17380 1499.52 c 1220 1500.71 o 17381 1500.71 c 1219 1505.00 o 17382 1505.00 c 1218 1505.64 o 17383 1505.64 c 1217 1508.67 o 17384 1508.67 c 1216 1511.65 o 17385 1511.65 c 1215 1513.54 o 17386 1513.54 c 1214 1514.12 o 17388 1514.12 c 1212 1516.00 o 17390 1516.00 c 1210 1520.36 o 17391 1520.36 c 1209 1521.00 o 17392 1521.00 c 1208 1522.25 o 17393 1522.25 c 1207 1522.88 o 17394 1522.88 c 1206 1528.75 o 17398 1528.75 c 1202 1529.39 o 17400 1529.39 c 1200 1531.30 o 17401 1531.30 c 1199 1535.28 o 17402 1535.28 c 1198 1535.93 o 17404 1535.93 c 1196 1536.56 o 17405 1536.56 c 1195 1567.06 1567.06 search 1567.06 run=0 nbConstraintChecks=3366602932 nbAssignments=4406 1567.06 => wckTime=1504.191 cpuTime=1496.72 mem=63M344 1567.06 1567.06 global 1567.06 nbConstraintChecks=3366602932 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1567.06 solvingWckTime=1504.17 solvingCpuTime=1496.7 expiredTime=no totalExploration=no nbFoundSolutions=0 1567.06 globalCpuTime=1558.11 1567.06 => wckTime=1566.743 cpuTime=1558.05 mem=63M344 1567.06 1567.06 solver IterativeSystematicSolver being built... 1567.71 => wckTime=1567.393 cpuTime=1558.42 mem=153M552 2408.79 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/node2/watcher-275651-1169224742 -o ROOT/results/node2/solver-275651-1169224742 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275651-1169224742/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.92 1.98 1.99 4/93 11681 /proc/meminfo: memFree=995064/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=18540 CPUtime=0 /proc/11680/stat : 11680 (runsolver) R 11678 11680 11612 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270869844 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/11680/statm: 4635 279 244 17 0 2626 0 [startup+0.102916 s] /proc/loadavg: 1.92 1.98 1.99 4/93 11681 /proc/meminfo: memFree=995064/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=914988 CPUtime=0.08 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 270869844 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228747 2698 1413 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.510989 s] /proc/loadavg: 1.92 1.98 1.99 4/93 11681 /proc/meminfo: memFree=995064/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915332 CPUtime=0.48 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 7477 0 1 0 44 4 0 0 18 0 8 0 270869844 937299968 7216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616838 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228833 7216 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.33415 s] /proc/loadavg: 1.93 1.98 1.99 3/100 11688 /proc/meminfo: memFree=915520/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915612 CPUtime=1.31 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 24148 0 1 0 119 12 0 0 23 0 8 0 270869844 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073661100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228903 23885 2164 14 0 215373 0 [pid=11680/tid=11682] ppid=11678 vsize=915612 CPUtime=0.08 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 7588 0 0 0 6 2 0 0 16 0 8 0 270869848 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11683] ppid=11678 vsize=915612 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11684] ppid=11678 vsize=915612 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11685] ppid=11678 vsize=915612 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=915612 CPUtime=0.15 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 270869852 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11687] ppid=11678 vsize=915612 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=915612 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937586688 23885 18446744073709551615 134512640 134570532 4294956464 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.98744 s] /proc/loadavg: 1.93 1.98 1.99 3/100 11688 /proc/meminfo: memFree=907520/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915744 CPUtime=2.96 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 24224 0 1 0 283 13 0 0 25 0 8 0 270869844 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228936 23959 2184 14 0 215406 0 [pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.1 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 7588 0 0 0 8 2 0 0 17 0 8 0 270869848 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.18 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 415 0 0 0 18 0 0 0 16 0 8 0 270869852 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 915744 [startup+6.27205 s] /proc/loadavg: 1.93 1.98 1.99 3/100 11688 /proc/meminfo: memFree=907392/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915744 CPUtime=6.23 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 24227 0 1 0 610 13 0 0 25 0 8 0 270869844 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228936 23961 2184 14 0 215406 0 [pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.1 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 7588 0 0 0 8 2 0 0 16 0 8 0 270869848 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.18 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 417 0 0 0 18 0 0 0 16 0 8 0 270869852 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 915744 [startup+12.7592 s] /proc/loadavg: 1.94 1.98 1.99 3/100 11688 /proc/meminfo: memFree=907392/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915744 CPUtime=12.68 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 24239 0 1 0 1254 14 0 0 25 0 8 0 270869844 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228936 23972 2185 14 0 215406 0 [pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.1 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 7588 0 0 0 8 2 0 0 16 0 8 0 270869848 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.19 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 427 0 0 0 19 0 0 0 16 0 8 0 270869852 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 915744 [startup+25.6126 s] /proc/loadavg: 1.95 1.98 1.99 3/100 11688 /proc/meminfo: memFree=898496/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915744 CPUtime=25.47 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 26488 0 1 0 2531 16 0 0 25 0 8 0 270869844 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228936 26219 2185 14 0 215406 0 [pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.17 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 9829 0 0 0 15 2 0 0 16 0 8 0 270869848 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.2 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 433 0 0 0 20 0 0 0 16 0 8 0 270869852 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 915744 [startup+51.2263 s] /proc/loadavg: 1.97 1.98 1.99 3/100 11688 /proc/meminfo: memFree=892288/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915744 CPUtime=50.96 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 28063 0 1 0 5076 20 0 0 25 0 8 0 270869844 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228936 27792 2185 14 0 215406 0 [pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.26 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 11401 0 0 0 23 3 0 0 16 0 8 0 270869848 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.21 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 434 0 0 0 21 0 0 0 16 0 8 0 270869852 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 915744 [startup+102.47 s] /proc/loadavg: 1.98 1.98 1.99 3/100 11688 /proc/meminfo: memFree=870656/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915744 CPUtime=101.91 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 33790 0 1 0 10158 33 0 0 25 0 8 0 270869844 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11680/statm: 228936 33511 2504 14 0 215406 0 [pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.69 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 16731 0 0 0 64 5 0 0 16 0 8 0 270869848 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.29 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270869852 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.91 Current children cumulated vsize (KiB) 915744 [startup+162.472 s] /proc/loadavg: 1.99 1.98 1.99 3/100 11688 /proc/meminfo: memFree=870656/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=915744 CPUtime=161.62 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 33791 0 1 0 16123 39 0 0 25 0 8 0 270869844 937721856 33512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2014.99 Current children cumulated vsize (KiB) 917012 [startup+2083.27 s] /proc/loadavg: 2.01 2.02 2.00 3/101 11960 /proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=917012 CPUtime=2074.93 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51211 0 1 0 207397 96 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074317478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11680/statm: 229253 50921 2551 14 0 215723 0 [pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2074.93 Current children cumulated vsize (KiB) 917012 [startup+2143.32 s] /proc/loadavg: 2.00 2.02 2.00 3/101 11960 /proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=917012 CPUtime=2134.93 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 213396 97 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11680/statm: 229253 50921 2551 14 0 215723 0 [pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) R 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2134.93 Current children cumulated vsize (KiB) 917012 [startup+2203.39 s] /proc/loadavg: 2.00 2.01 2.00 3/101 11960 /proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=917012 CPUtime=2194.93 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 219396 97 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293203 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11680/statm: 229253 50921 2551 14 0 215723 0 [pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) R 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2194.93 Current children cumulated vsize (KiB) 917012 [startup+2263.41 s] /proc/loadavg: 2.00 2.01 2.00 3/101 11960 /proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=917012 CPUtime=2254.87 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 225390 97 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11680/statm: 229253 50921 2551 14 0 215723 0 [pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2254.87 Current children cumulated vsize (KiB) 917012 [startup+2323.42 s] /proc/loadavg: 2.22 2.05 2.02 3/101 11960 /proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=917012 CPUtime=2314.82 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 231385 97 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11680/statm: 229253 50921 2551 14 0 215723 0 [pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2314.82 Current children cumulated vsize (KiB) 917012 [startup+2383.45 s] /proc/loadavg: 2.19 2.07 2.02 3/101 11960 /proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=917012 CPUtime=2374.79 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 237381 98 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074329019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11680/statm: 229253 50921 2551 14 0 215723 0 [pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2374.79 Current children cumulated vsize (KiB) 917012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2408.78 s] /proc/loadavg: 2.13 2.06 2.02 3/101 11960 /proc/meminfo: memFree=1051056/2055920 swapFree=4180552/4192956 [pid=11680] ppid=11678 vsize=917012 CPUtime=2400.09 /proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 239911 98 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825299 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11680/statm: 229253 50921 2551 14 0 215723 0 [pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88 /proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41 /proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0 /proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 917012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2408.86 CPU time (s): 2400.16 CPU user time (s): 2399.15 CPU system time (s): 1.01285 CPU usage (%): 99.6391 Max. virtual memory (cumulated for all children) (KiB): 917012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.15 system time used= 1.01285 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51237 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= 50464 involuntary context switches= 79218 runsolver used 2.90256 s user time and 8.01078 s system time The end
Begin job on node2 on Fri Jan 19 16:39:02 UTC 2007 IDJOB= 275651 IDBENCH= 4190 IDSOLVER= 68 FILE ID= node2/275651-1169224742 PBS_JOBID= 3588972 Free space on /tmp= 66556 MiB SOLVER NAME= AbsconMax 109 EPFC 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 epfc.xml 1 XSax /tmp/evaluation/275651-1169224742/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-275651-1169224742 -o ROOT/results/node2/solver-275651-1169224742 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275651-1169224742/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 137398d09e92b8e2132a9bc337bc058c RANDOM SEED= 271760241 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.259 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 : 5931.00 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.259 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: 995544 kB Buffers: 44264 kB Cached: 616556 kB SwapCached: 548 kB Active: 428536 kB Inactive: 558300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 995544 kB SwapTotal: 4192956 kB SwapFree: 4180552 kB Dirty: 4452 kB Writeback: 0 kB Mapped: 347396 kB Slab: 57664 kB Committed_AS: 7765408 kB PageTables: 2968 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node2 on Fri Jan 19 17:19:11 UTC 2007