Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.17 | 2405.69 |
| Name | fapp/fapp36-40/fapp36/ fapp36-2000-5.xml |
| MD5SUM | 5e3c65923e669c1502345f1887a5f156 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 17033 |
| Best CPU time to get the best result obtained on this benchmark | 2400.11 |
| 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.32 0.32 Abscon 109 (November, 2006) 0.32 0.32 configuration 0.32 name=pfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275637-1169224430/unknown.xml 0.38 0.38 domains being loaded... 0.43 0.43 variables being loaded... 0.71 nbVariables=2000 nbDomainTypes=26 minDomainSize=46 maxDomainSize=454 0.71 => wckTime=0.389 cpuTime=0.29 mem=34M241 0.71 0.71 predicates being loaded... 0.72 0.72 constraints being loaded... 61.35 61.35 INFO : Stopping converting binary constraints (cpu=60.06, mem = 61M398) 62.96 nbConstraints=18600 nbConvertedConstraints=1912 nbConvertConstraintsChecks=188935616 nbExtensionStructures=1552 62.96 nbSharedExtensionStructures=360 nbConflictsStructures=1552 nbSharedConflictsStructures=360 62.96 nbSharedBinaryRepresentations=1033556 nbEvaluationManagers=8164 nbSharedEvaluationManagers=8524 maxDegree=25 62.96 maxArity=2 62.96 => wckTime=62.64 cpuTime=61.39 mem=71M539 63.21 63.21 solver LocalSearchSolver being built... 63.25 => wckTime=62.926 cpuTime=61.43 mem=62M416 63.42 63.42 s SATISFIABLE 63.42 o 13248 63.42 c 5352 63.52 o 13257 63.52 c 5343 63.59 o 13264 63.59 c 5336 63.65 o 13268 63.66 c 5332 63.71 o 13270 63.71 c 5330 63.76 o 13272 63.76 c 5328 63.80 o 13274 63.80 c 5326 63.85 o 13281 63.85 c 5319 63.90 o 13287 63.90 c 5313 63.95 o 13293 63.95 c 5307 64.00 o 13299 64.00 c 5301 64.03 o 13304 64.04 c 5296 64.07 o 13309 64.07 c 5291 64.12 o 13313 64.12 c 5287 64.15 o 13317 64.15 c 5283 64.19 o 13321 64.19 c 5279 64.23 o 13325 64.23 c 5275 64.27 o 13329 64.27 c 5271 64.31 o 13332 64.31 c 5268 64.35 o 13335 64.35 c 5265 64.39 o 13338 64.39 c 5262 64.43 o 13341 64.43 c 5259 64.46 o 13343 64.46 c 5257 64.51 o 13345 64.51 c 5255 64.53 o 13347 64.53 c 5253 64.56 o 13348 64.56 c 5252 64.59 o 13349 64.59 c 5251 64.62 o 13350 64.62 c 5250 64.63 o 13351 64.63 c 5249 64.65 o 13352 64.65 c 5248 64.67 o 13356 64.67 c 5244 64.71 o 13362 64.71 c 5238 64.76 o 13368 64.76 c 5232 64.81 o 13373 64.81 c 5227 64.85 o 13378 64.85 c 5222 64.91 o 13383 64.91 c 5217 64.96 o 13387 64.96 c 5213 65.01 o 13391 65.01 c 5209 65.06 o 13395 65.06 c 5205 65.11 o 13399 65.11 c 5201 65.16 o 13403 65.16 c 5197 65.21 o 13406 65.21 c 5194 65.25 o 13409 65.25 c 5191 65.29 o 13412 65.29 c 5188 65.33 o 13415 65.33 c 5185 65.38 o 13418 65.38 c 5182 65.42 o 13421 65.42 c 5179 65.48 o 13423 65.48 c 5177 65.51 o 13425 65.51 c 5175 65.55 o 13427 65.55 c 5173 65.59 o 13429 65.59 c 5171 65.63 o 13431 65.63 c 5169 65.67 o 13433 65.67 c 5167 65.72 o 13435 65.72 c 5165 65.74 o 13437 65.74 c 5163 65.78 o 13439 65.78 c 5161 65.80 o 13441 65.80 c 5159 65.84 o 13442 65.84 c 5158 65.87 o 13443 65.87 c 5157 65.89 o 13444 65.89 c 5156 65.92 o 13445 65.92 c 5155 65.94 o 13446 65.94 c 5154 65.99 o 13447 65.99 c 5153 66.02 o 13448 66.02 c 5152 66.07 o 13455 66.07 c 5145 66.13 o 13460 66.13 c 5140 66.19 o 13465 66.19 c 5135 66.26 o 13470 66.26 c 5130 66.33 o 13475 66.33 c 5125 66.39 o 13479 66.39 c 5121 66.45 o 13483 66.45 c 5117 66.52 o 13487 66.52 c 5113 66.58 o 13490 66.58 c 5110 66.64 o 13493 66.64 c 5107 66.70 o 13496 66.70 c 5104 66.76 o 13499 66.76 c 5101 66.82 o 13502 66.82 c 5098 66.87 o 13505 66.87 c 5095 66.91 o 13508 66.91 c 5092 66.95 o 13511 66.95 c 5089 67.00 o 13514 67.00 c 5086 67.05 o 13517 67.05 c 5083 67.08 o 13520 67.08 c 5080 67.13 o 13522 67.13 c 5078 67.18 o 13524 67.18 c 5076 67.22 o 13526 67.22 c 5074 67.26 o 13528 67.26 c 5072 67.30 o 13530 67.30 c 5070 67.33 o 13532 67.33 c 5068 67.36 o 13534 67.36 c 5066 67.39 o 13536 67.39 c 5064 67.43 o 13538 67.43 c 5062 67.46 o 13540 67.46 c 5060 67.48 o 13542 67.48 c 5058 67.52 o 13544 67.52 c 5056 67.54 o 13546 67.54 c 5054 67.58 o 13547 67.58 c 5053 67.61 o 13548 67.61 c 5052 67.65 o 13549 67.65 c 5051 67.67 o 13550 67.67 c 5050 67.69 o 13551 67.69 c 5049 67.75 o 13552 67.75 c 5048 67.77 o 13556 67.77 c 5044 67.81 o 13562 67.81 c 5038 67.83 o 13569 67.84 c 5031 67.85 o 13573 67.85 c 5027 67.88 o 13578 67.88 c 5022 67.90 o 13581 67.90 c 5019 67.95 o 13585 67.95 c 5015 68.00 o 13588 68.00 c 5012 68.02 o 13590 68.02 c 5010 68.05 o 13593 68.05 c 5007 68.08 o 13600 68.08 c 5000 68.13 o 13606 68.13 c 4994 68.15 o 13611 68.15 c 4989 68.19 o 13614 68.19 c 4986 68.24 o 13617 68.24 c 4983 68.29 o 13621 68.29 c 4979 68.34 o 13622 68.34 c 4978 68.41 o 13627 68.41 c 4973 68.44 o 13628 68.44 c 4972 68.49 o 13632 68.49 c 4968 68.54 o 13636 68.54 c 4964 68.60 o 13638 68.60 c 4962 68.64 o 13641 68.64 c 4959 68.69 o 13644 68.69 c 4956 68.71 o 13645 68.71 c 4955 68.80 o 13647 68.80 c 4953 68.89 o 13649 68.89 c 4951 68.96 o 13655 68.96 c 4945 69.02 o 13663 69.02 c 4937 69.10 o 13665 69.10 c 4935 69.16 o 13672 69.16 c 4928 69.23 o 13678 69.23 c 4922 69.31 o 13684 69.31 c 4916 69.39 o 13690 69.39 c 4910 69.48 o 13695 69.48 c 4905 69.57 o 13700 69.57 c 4900 69.64 o 13705 69.64 c 4895 69.72 o 13710 69.72 c 4890 69.79 o 13715 69.79 c 4885 69.87 o 13720 69.87 c 4880 69.95 o 13725 69.95 c 4875 70.03 o 13729 70.03 c 4871 70.10 o 13733 70.10 c 4867 70.18 o 13737 70.18 c 4863 70.26 o 13741 70.26 c 4859 70.33 o 13745 70.33 c 4855 70.40 o 13748 70.40 c 4852 70.48 o 13751 70.48 c 4849 70.54 o 13754 70.54 c 4846 70.61 o 13757 70.61 c 4843 70.67 o 13762 70.67 c 4838 70.74 o 13765 70.74 c 4835 70.79 o 13768 70.79 c 4832 70.84 o 13771 70.84 c 4829 70.94 o 13775 70.94 c 4825 70.98 o 13777 70.98 c 4823 71.03 o 13779 71.03 c 4821 71.08 o 13781 71.08 c 4819 71.12 o 13783 71.12 c 4817 71.16 o 13785 71.16 c 4815 71.20 o 13787 71.20 c 4813 71.25 o 13789 71.25 c 4811 71.28 o 13791 71.28 c 4809 71.33 o 13793 71.33 c 4807 71.36 o 13795 71.36 c 4805 71.40 o 13797 71.40 c 4803 71.45 o 13799 71.45 c 4801 71.49 o 13800 71.49 c 4800 71.52 o 13801 71.52 c 4799 71.56 o 13802 71.56 c 4798 71.60 o 13803 71.60 c 4797 71.63 o 13804 71.63 c 4796 71.66 o 13811 71.66 c 4789 71.69 o 13812 71.69 c 4788 71.73 o 13813 71.73 c 4787 71.75 o 13814 71.75 c 4786 71.79 o 13815 71.79 c 4785 71.82 o 13816 71.82 c 4784 71.93 o 13818 71.93 c 4782 71.96 o 13823 71.96 c 4777 72.00 o 13828 72.00 c 4772 72.02 o 13831 72.02 c 4769 72.08 o 13832 72.08 c 4768 72.12 o 13836 72.12 c 4764 72.14 o 13840 72.14 c 4760 72.17 o 13847 72.17 c 4753 72.21 o 13849 72.21 c 4751 72.24 o 13854 72.24 c 4746 72.27 o 13856 72.27 c 4744 72.31 o 13858 72.31 c 4742 72.36 o 13864 72.36 c 4736 72.39 o 13872 72.39 c 4728 72.42 o 13873 72.42 c 4727 72.46 o 13874 72.46 c 4726 72.50 o 13875 72.50 c 4725 72.53 o 13880 72.53 c 4720 72.56 o 13883 72.56 c 4717 72.59 o 13887 72.60 c 4713 72.62 o 13892 72.62 c 4708 72.73 o 13897 72.73 c 4703 72.76 o 13899 72.76 c 4701 72.79 o 13907 72.79 c 4693 72.82 o 13908 72.82 c 4692 72.87 o 13909 72.87 c 4691 72.90 o 13910 72.90 c 4690 72.93 o 13913 72.93 c 4687 72.97 o 13916 72.97 c 4684 72.99 o 13917 72.99 c 4683 73.02 o 13920 73.02 c 4680 73.09 o 13921 73.09 c 4679 73.12 o 13924 73.12 c 4676 73.15 o 13925 73.15 c 4675 73.20 o 13926 73.20 c 4674 73.26 o 13929 73.26 c 4671 73.29 o 13930 73.29 c 4670 73.33 o 13932 73.33 c 4668 73.38 o 13933 73.38 c 4667 73.42 o 13939 73.42 c 4661 73.47 o 13942 73.47 c 4658 73.54 o 13949 73.54 c 4651 73.64 o 13956 73.64 c 4644 73.72 o 13962 73.72 c 4638 73.79 o 13964 73.79 c 4636 73.87 o 13970 73.87 c 4630 73.93 o 13972 73.93 c 4628 74.01 o 13978 74.01 c 4622 74.09 o 13984 74.09 c 4616 74.19 o 13990 74.19 c 4610 74.28 o 13995 74.28 c 4605 74.45 o 13999 74.45 c 4601 74.53 o 14001 74.53 c 4599 74.69 o 14005 74.69 c 4595 74.78 o 14010 74.78 c 4590 74.86 o 14015 74.86 c 4585 74.95 o 14019 74.95 c 4581 75.03 o 14023 75.03 c 4577 75.12 o 14027 75.12 c 4573 75.21 o 14031 75.21 c 4569 75.29 o 14035 75.29 c 4565 75.38 o 14038 75.38 c 4562 75.46 o 14041 75.46 c 4559 75.54 o 14044 75.54 c 4556 75.62 o 14047 75.62 c 4553 75.70 o 14050 75.70 c 4550 75.77 o 14053 75.77 c 4547 75.86 o 14056 75.86 c 4544 75.94 o 14058 75.94 c 4542 76.01 o 14061 76.01 c 4539 76.08 o 14067 76.08 c 4533 76.14 o 14069 76.14 c 4531 76.21 o 14072 76.21 c 4528 76.29 o 14074 76.29 c 4526 76.37 o 14076 76.37 c 4524 76.43 o 14078 76.43 c 4522 76.48 o 14082 76.48 c 4518 76.54 o 14084 76.54 c 4516 76.60 o 14086 76.60 c 4514 76.66 o 14088 76.66 c 4512 76.71 o 14090 76.71 c 4510 76.77 o 14092 76.77 c 4508 76.82 o 14094 76.82 c 4506 76.88 o 14097 76.88 c 4503 76.94 o 14099 76.94 c 4501 77.00 o 14101 77.00 c 4499 77.04 o 14102 77.04 c 4498 77.09 o 14103 77.09 c 4497 77.13 o 14104 77.13 c 4496 77.17 o 14105 77.17 c 4495 77.22 o 14106 77.22 c 4494 77.26 o 14107 77.26 c 4493 77.31 o 14108 77.31 c 4492 77.50 o 14109 77.50 c 4491 77.54 o 14111 77.54 c 4489 77.60 o 14113 77.60 c 4487 77.64 o 14118 77.64 c 4482 77.71 o 14125 77.71 c 4475 77.82 o 14129 77.82 c 4471 77.92 o 14130 77.92 c 4470 78.02 o 14136 78.02 c 4464 78.24 o 14138 78.24 c 4462 78.29 o 14143 78.29 c 4457 78.49 o 14145 78.49 c 4455 78.54 o 14147 78.54 c 4453 78.59 o 14149 78.59 c 4451 78.65 o 14151 78.65 c 4449 78.70 o 14154 78.70 c 4446 78.77 o 14159 78.77 c 4441 78.82 o 14161 78.82 c 4439 78.87 o 14164 78.87 c 4436 78.92 o 14168 78.92 c 4432 78.97 o 14170 78.97 c 4430 79.02 o 14172 79.02 c 4428 79.07 o 14178 79.07 c 4422 79.13 o 14181 79.13 c 4419 79.18 o 14183 79.18 c 4417 79.22 o 14185 79.22 c 4415 79.35 o 14191 79.35 c 4409 79.40 o 14193 79.40 c 4407 79.45 o 14196 79.45 c 4404 79.56 o 14197 79.56 c 4403 79.61 o 14199 79.61 c 4401 79.67 o 14202 79.67 c 4398 79.72 o 14204 79.72 c 4396 79.77 o 14206 79.77 c 4394 79.83 o 14209 79.83 c 4391 79.89 o 14213 79.89 c 4387 79.95 o 14216 79.95 c 4384 80.01 o 14217 80.01 c 4383 80.08 o 14218 80.08 c 4382 80.15 o 14221 80.15 c 4379 80.19 o 14222 80.19 c 4378 80.35 o 14224 80.35 c 4376 80.47 o 14227 80.47 c 4373 80.52 o 14230 80.52 c 4370 80.56 o 14234 80.56 c 4366 80.61 o 14235 80.61 c 4365 80.65 o 14237 80.65 c 4363 80.69 o 14241 80.69 c 4359 80.73 o 14242 80.73 c 4358 80.82 o 14243 80.82 c 4357 80.87 o 14245 80.87 c 4355 80.92 o 14248 80.92 c 4352 80.98 o 14253 80.98 c 4347 81.02 o 14255 81.02 c 4345 81.08 o 14256 81.08 c 4344 81.13 o 14261 81.13 c 4339 81.18 o 14262 81.18 c 4338 81.27 o 14266 81.27 c 4334 81.31 o 14269 81.31 c 4331 81.36 o 14273 81.37 c 4327 81.41 o 14278 81.41 c 4322 81.44 o 14280 81.44 c 4320 81.50 o 14282 81.50 c 4318 81.54 o 14283 81.54 c 4317 81.60 o 14287 81.60 c 4313 81.65 o 14289 81.65 c 4311 81.77 o 14293 81.77 c 4307 81.84 o 14296 81.84 c 4304 81.90 o 14297 81.90 c 4303 81.95 o 14298 81.95 c 4302 82.01 o 14304 82.01 c 4296 82.07 o 14306 82.07 c 4294 82.14 o 14308 82.14 c 4292 82.20 o 14311 82.20 c 4289 82.38 o 14313 82.38 c 4287 82.47 o 14317 82.47 c 4283 82.56 o 14321 82.56 c 4279 82.65 o 14325 82.65 c 4275 82.74 o 14329 82.74 c 4271 82.83 o 14331 82.83 c 4269 82.99 o 14333 82.99 c 4267 83.06 o 14337 83.06 c 4263 83.14 o 14340 83.14 c 4260 83.21 o 14343 83.21 c 4257 83.29 o 14346 83.29 c 4254 83.36 o 14349 83.36 c 4251 83.43 o 14351 83.43 c 4249 83.51 o 14353 83.51 c 4247 83.59 o 14355 83.59 c 4245 83.65 o 14357 83.65 c 4243 83.71 o 14359 83.71 c 4241 83.79 o 14360 83.79 c 4240 83.86 o 14361 83.86 c 4239 83.93 o 14362 83.93 c 4238 83.98 o 14363 83.98 c 4237 84.05 o 14364 84.05 c 4236 84.11 o 14365 84.11 c 4235 84.17 o 14368 84.17 c 4232 84.23 o 14372 84.23 c 4228 84.28 o 14376 84.28 c 4224 84.36 o 14377 84.36 c 4223 84.59 o 14378 84.59 c 4222 84.70 o 14379 84.70 c 4221 84.75 o 14381 84.75 c 4219 84.80 o 14384 84.80 c 4216 84.85 o 14387 84.85 c 4213 84.90 o 14388 84.90 c 4212 84.97 o 14394 84.97 c 4206 85.02 o 14395 85.02 c 4205 85.06 o 14396 85.06 c 4204 85.11 o 14397 85.11 c 4203 85.16 o 14398 85.16 c 4202 85.21 o 14399 85.21 c 4201 85.26 o 14400 85.26 c 4200 85.31 o 14402 85.31 c 4198 85.40 o 14406 85.40 c 4194 85.46 o 14408 85.46 c 4192 85.51 o 14413 85.51 c 4187 85.61 o 14415 85.61 c 4185 85.66 o 14418 85.66 c 4182 85.71 o 14419 85.71 c 4181 85.77 o 14422 85.77 c 4178 85.83 o 14423 85.83 c 4177 86.02 o 14424 86.02 c 4176 86.11 o 14428 86.11 c 4172 86.17 o 14429 86.17 c 4171 86.23 o 14430 86.23 c 4170 86.29 o 14434 86.29 c 4166 86.36 o 14437 86.36 c 4163 86.42 o 14438 86.42 c 4162 86.54 o 14440 86.54 c 4160 86.61 o 14446 86.61 c 4154 86.73 o 14447 86.73 c 4153 86.79 o 14450 86.79 c 4150 86.86 o 14452 86.86 c 4148 86.92 o 14454 86.92 c 4146 86.99 o 14460 86.99 c 4140 87.05 o 14461 87.05 c 4139 87.11 o 14462 87.11 c 4138 87.18 o 14464 87.18 c 4136 87.25 o 14467 87.25 c 4133 87.31 o 14471 87.31 c 4129 87.44 o 14473 87.44 c 4127 87.51 o 14476 87.51 c 4124 87.58 o 14478 87.58 c 4122 87.66 o 14480 87.66 c 4120 87.72 o 14483 87.72 c 4117 87.78 o 14485 87.79 c 4115 87.84 o 14487 87.84 c 4113 87.90 o 14489 87.90 c 4111 87.97 o 14490 87.97 c 4110 88.03 o 14495 88.03 c 4105 88.11 o 14496 88.11 c 4104 88.19 o 14498 88.19 c 4102 88.25 o 14499 88.25 c 4101 88.33 o 14502 88.33 c 4098 88.46 o 14503 88.46 c 4097 88.53 o 14506 88.53 c 4094 88.61 o 14507 88.61 c 4093 88.68 o 14508 88.68 c 4092 88.75 o 14511 88.75 c 4089 88.91 o 14512 88.91 c 4088 88.99 o 14514 88.99 c 4086 89.06 o 14515 89.06 c 4085 89.14 o 14517 89.14 c 4083 89.30 o 14519 89.30 c 4081 89.38 o 14521 89.38 c 4079 89.47 o 14523 89.47 c 4077 89.96 o 14528 89.96 c 4072 90.05 o 14533 90.05 c 4067 90.14 o 14537 90.14 c 4063 90.24 o 14538 90.24 c 4062 90.32 o 14540 90.32 c 4060 90.41 o 14541 90.41 c 4059 90.50 o 14542 90.50 c 4058 90.60 o 14545 90.60 c 4055 90.69 o 14546 90.69 c 4054 90.78 o 14550 90.78 c 4050 91.04 o 14551 91.04 c 4049 91.12 o 14552 91.12 c 4048 91.23 o 14554 91.23 c 4046 91.50 o 14559 91.50 c 4041 91.59 o 14560 91.59 c 4040 91.71 o 14561 91.71 c 4039 91.80 o 14563 91.80 c 4037 91.92 o 14569 91.92 c 4031 92.02 o 14571 92.02 c 4029 92.11 o 14572 92.11 c 4028 92.31 o 14573 92.31 c 4027 92.42 o 14577 92.42 c 4023 92.52 o 14579 92.52 c 4021 92.64 o 14580 92.64 c 4020 92.74 o 14581 92.74 c 4019 92.99 o 14586 92.99 c 4014 93.13 o 14590 93.13 c 4010 93.28 o 14594 93.28 c 4006 93.43 o 14600 93.43 c 4000 93.58 o 14604 93.58 c 3996 93.73 o 14607 93.73 c 3993 93.89 o 14610 93.89 c 3990 94.04 o 14613 94.04 c 3987 94.18 o 14615 94.18 c 3985 94.31 o 14617 94.32 c 3983 94.45 o 14619 94.45 c 3981 94.59 o 14623 94.59 c 3977 94.97 o 14625 94.97 c 3975 95.11 o 14627 95.11 c 3973 95.36 o 14630 95.36 c 3970 95.49 o 14632 95.49 c 3968 95.62 o 14634 95.62 c 3966 95.75 o 14636 95.75 c 3964 95.87 o 14637 95.87 c 3963 96.11 o 14638 96.11 c 3962 96.23 o 14639 96.23 c 3961 96.35 o 14640 96.35 c 3960 96.47 o 14641 96.47 c 3959 96.58 o 14642 96.58 c 3958 96.69 o 14644 96.69 c 3956 96.81 o 14645 96.81 c 3955 96.93 o 14646 96.93 c 3954 97.05 o 14647 97.05 c 3953 97.16 o 14648 97.16 c 3952 97.27 o 14649 97.27 c 3951 97.39 o 14650 97.39 c 3950 97.50 o 14651 97.50 c 3949 97.61 o 14654 97.61 c 3946 97.83 o 14658 97.83 c 3942 98.75 o 14661 98.75 c 3939 98.87 o 14662 98.87 c 3938 98.97 o 14665 98.97 c 3935 99.07 o 14666 99.07 c 3934 99.16 o 14669 99.16 c 3931 99.25 o 14670 99.25 c 3930 99.35 o 14674 99.35 c 3926 99.44 o 14675 99.44 c 3925 99.54 o 14678 99.54 c 3922 99.65 o 14680 99.65 c 3920 99.84 o 14683 99.84 c 3917 100.01 o 14688 100.01 c 3912 100.20 o 14691 100.20 c 3909 100.31 o 14695 100.31 c 3905 100.42 o 14697 100.42 c 3903 100.65 o 14698 100.65 c 3902 100.87 o 14701 100.87 c 3899 100.98 o 14702 100.98 c 3898 101.19 o 14704 101.19 c 3896 101.39 o 14706 101.39 c 3894 101.49 o 14707 101.49 c 3893 101.58 o 14708 101.58 c 3892 101.69 o 14710 101.69 c 3890 101.80 o 14712 101.80 c 3888 101.93 o 14717 101.93 c 3883 102.03 o 14719 102.03 c 3881 102.70 o 14722 102.70 c 3878 102.81 o 14725 102.81 c 3875 102.93 o 14728 102.93 c 3872 103.05 o 14730 103.05 c 3870 103.28 o 14734 103.28 c 3866 103.39 o 14737 103.39 c 3863 103.52 o 14739 103.52 c 3861 103.64 o 14740 103.64 c 3860 103.76 o 14744 103.76 c 3856 103.91 o 14746 103.91 c 3854 104.17 o 14747 104.17 c 3853 104.41 o 14748 104.41 c 3852 104.53 o 14750 104.53 c 3850 104.65 o 14751 104.65 c 3849 104.88 o 14752 104.88 c 3848 104.99 o 14753 104.99 c 3847 105.11 o 14757 105.11 c 3843 105.24 o 14759 105.24 c 3841 105.37 o 14762 105.37 c 3838 105.76 o 14764 105.76 c 3836 105.88 o 14766 105.88 c 3834 106.25 o 14767 106.25 c 3833 106.38 o 14768 106.38 c 3832 106.66 o 14769 106.66 c 3831 106.78 o 14770 106.78 c 3830 107.27 o 14771 107.27 c 3829 107.39 o 14772 107.39 c 3828 107.51 o 14773 107.51 c 3827 107.66 o 14778 107.66 c 3822 107.79 o 14780 107.79 c 3820 108.56 o 14783 108.56 c 3817 108.70 o 14785 108.70 c 3815 108.83 o 14786 108.83 c 3814 108.95 o 14787 108.95 c 3813 109.07 o 14788 109.07 c 3812 109.20 o 14792 109.20 c 3808 109.34 o 14795 109.34 c 3805 109.59 o 14801 109.59 c 3799 109.72 o 14803 109.72 c 3797 109.86 o 14806 109.86 c 3794 109.99 o 14808 109.99 c 3792 110.11 o 14812 110.11 c 3788 110.24 o 14813 110.24 c 3787 110.51 o 14815 110.51 c 3785 110.64 o 14819 110.64 c 3781 111.03 o 14821 111.03 c 3779 111.15 o 14822 111.15 c 3778 111.65 o 14824 111.65 c 3776 112.02 o 14825 112.02 c 3775 112.15 o 14827 112.15 c 3773 112.28 o 14828 112.28 c 3772 112.41 o 14829 112.41 c 3771 112.52 o 14833 112.52 c 3767 112.66 o 14837 112.66 c 3763 112.79 o 14839 112.79 c 3761 113.03 o 14842 113.03 c 3758 113.15 o 14843 113.15 c 3757 113.52 o 14845 113.52 c 3755 113.77 o 14848 113.77 c 3752 113.89 o 14852 113.89 c 3748 114.01 o 14855 114.01 c 3745 114.13 o 14858 114.13 c 3742 114.25 o 14860 114.25 c 3740 114.37 o 14861 114.37 c 3739 114.49 o 14862 114.49 c 3738 114.61 o 14864 114.61 c 3736 114.85 o 14867 114.85 c 3733 114.98 o 14872 114.98 c 3728 115.11 o 14877 115.11 c 3723 115.23 o 14879 115.23 c 3721 115.36 o 14882 115.36 c 3718 115.50 o 14886 115.50 c 3714 115.63 o 14889 115.63 c 3711 115.76 o 14890 115.76 c 3710 116.00 o 14892 116.00 c 3708 116.12 o 14895 116.12 c 3705 116.26 o 14896 116.26 c 3704 116.40 o 14898 116.40 c 3702 116.53 o 14899 116.53 c 3701 116.66 o 14902 116.66 c 3698 117.26 o 14904 117.26 c 3696 117.38 o 14909 117.38 c 3691 117.63 o 14910 117.63 c 3690 117.74 o 14914 117.74 c 3686 117.86 o 14917 117.86 c 3683 117.98 o 14922 117.98 c 3678 118.10 o 14923 118.10 c 3677 118.22 o 14924 118.22 c 3676 118.34 o 14925 118.34 c 3675 118.46 o 14926 118.46 c 3674 118.69 o 14927 118.69 c 3673 118.81 o 14930 118.81 c 3670 119.28 o 14933 119.28 c 3667 119.41 o 14936 119.41 c 3664 119.52 o 14939 119.52 c 3661 119.64 o 14943 119.64 c 3657 120.03 o 14944 120.03 c 3656 120.15 o 14946 120.15 c 3654 120.28 o 14947 120.28 c 3653 120.40 o 14948 120.40 c 3652 120.51 o 14952 120.51 c 3648 120.64 o 14958 120.64 c 3642 120.75 o 14960 120.75 c 3640 120.87 o 14961 120.87 c 3639 121.00 o 14964 121.00 c 3636 121.12 o 14965 121.12 c 3635 121.27 o 14969 121.27 c 3631 121.41 o 14972 121.41 c 3628 121.56 o 14975 121.56 c 3625 121.70 o 14978 121.70 c 3622 121.85 o 14981 121.85 c 3619 121.99 o 14983 121.99 c 3617 122.12 o 14984 122.12 c 3616 122.29 o 14986 122.29 c 3614 122.43 o 14988 122.43 c 3612 122.57 o 14990 122.57 c 3610 122.72 o 14992 122.72 c 3608 122.86 o 14994 122.86 c 3606 123.00 o 14996 123.00 c 3604 123.14 o 14997 123.14 c 3603 123.28 o 14998 123.28 c 3602 123.53 o 15001 123.53 c 3599 123.93 o 15002 123.93 c 3598 124.07 o 15003 124.07 c 3597 124.19 o 15004 124.19 c 3596 124.59 o 15005 124.59 c 3595 124.71 o 15010 124.71 c 3590 124.83 o 15011 124.83 c 3589 125.09 o 15015 125.09 c 3585 126.17 o 15016 126.17 c 3584 126.71 o 15018 126.71 c 3582 126.84 o 15019 126.84 c 3581 126.94 o 15023 126.94 c 3577 127.05 o 15024 127.05 c 3576 127.17 o 15026 127.17 c 3574 127.28 o 15029 127.28 c 3571 127.39 o 15034 127.39 c 3566 127.50 o 15036 127.50 c 3564 127.62 o 15038 127.62 c 3562 127.73 o 15041 127.73 c 3559 127.84 o 15042 127.84 c 3558 127.98 o 15044 127.98 c 3556 128.09 o 15048 128.09 c 3552 128.20 o 15051 128.20 c 3549 128.31 o 15054 128.31 c 3546 128.43 o 15056 128.43 c 3544 128.66 o 15058 128.66 c 3542 128.79 o 15060 128.79 c 3540 129.17 o 15061 129.17 c 3539 129.41 o 15063 129.41 c 3537 129.52 o 15064 129.52 c 3536 129.77 o 15069 129.77 c 3531 129.90 o 15072 129.90 c 3528 130.02 o 15073 130.02 c 3527 130.27 o 15074 130.28 c 3526 130.51 o 15075 130.51 c 3525 130.99 o 15076 130.99 c 3524 131.11 o 15083 131.11 c 3517 131.23 o 15089 131.23 c 3511 131.36 o 15091 131.36 c 3509 131.49 o 15094 131.49 c 3506 132.09 o 15097 132.09 c 3503 132.21 o 15101 132.21 c 3499 132.34 o 15103 132.34 c 3497 132.45 o 15105 132.45 c 3495 132.59 o 15109 132.59 c 3491 132.72 o 15112 132.72 c 3488 132.97 o 15117 132.97 c 3483 133.19 o 15119 133.19 c 3481 133.31 o 15120 133.31 c 3480 133.45 o 15125 133.45 c 3475 133.56 o 15127 133.56 c 3473 133.79 o 15129 133.79 c 3471 133.91 o 15131 133.91 c 3469 134.02 o 15132 134.02 c 3468 134.13 o 15134 134.13 c 3466 134.23 o 15135 134.23 c 3465 134.48 o 15139 134.48 c 3461 134.85 o 15140 134.85 c 3460 134.98 o 15143 134.98 c 3457 135.11 o 15147 135.11 c 3453 135.37 o 15148 135.37 c 3452 135.49 o 15151 135.49 c 3449 135.61 o 15153 135.61 c 3447 135.74 o 15156 135.74 c 3444 135.99 o 15158 135.99 c 3442 136.14 o 15162 136.14 c 3438 136.26 o 15166 136.26 c 3434 136.65 o 15169 136.65 c 3431 136.80 o 15173 136.80 c 3427 136.94 o 15175 136.94 c 3425 137.09 o 15176 137.09 c 3424 137.23 o 15179 137.23 c 3421 137.39 o 15180 137.39 c 3420 137.54 o 15181 137.54 c 3419 137.69 o 15184 137.69 c 3416 138.13 o 15187 138.13 c 3413 138.29 o 15191 138.29 c 3409 138.43 o 15193 138.43 c 3407 138.58 o 15194 138.58 c 3406 138.75 o 15195 138.75 c 3405 138.90 o 15197 138.90 c 3403 139.35 o 15198 139.35 c 3402 139.50 o 15200 139.50 c 3400 139.65 o 15203 139.65 c 3397 139.79 o 15207 139.79 c 3393 139.94 o 15209 139.94 c 3391 140.09 o 15215 140.09 c 3385 140.38 o 15216 140.38 c 3384 140.83 o 15221 140.83 c 3379 141.14 o 15222 141.14 c 3378 141.30 o 15224 141.30 c 3376 141.61 o 15227 141.61 c 3373 141.91 o 15228 141.91 c 3372 142.50 o 15230 142.50 c 3370 142.80 o 15231 142.80 c 3369 142.94 o 15234 142.94 c 3366 143.09 o 15236 143.09 c 3364 143.23 o 15237 143.23 c 3363 143.54 o 15241 143.54 c 3359 143.69 o 15242 143.69 c 3358 143.85 o 15245 143.85 c 3355 143.99 o 15248 143.99 c 3352 144.15 o 15250 144.15 c 3350 144.30 o 15252 144.30 c 3348 144.45 o 15253 144.45 c 3347 144.77 o 15255 144.77 c 3345 144.93 o 15258 144.93 c 3342 145.10 o 15260 145.10 c 3340 145.25 o 15262 145.25 c 3338 145.41 o 15265 145.41 c 3335 145.56 o 15268 145.56 c 3332 146.16 o 15269 146.16 c 3331 146.31 o 15271 146.31 c 3329 146.61 o 15274 146.61 c 3326 147.03 o 15275 147.03 c 3325 147.18 o 15277 147.18 c 3323 147.62 o 15279 147.62 c 3321 147.75 o 15281 147.75 c 3319 147.89 o 15283 147.89 c 3317 148.03 o 15284 148.03 c 3316 148.17 o 15287 148.17 c 3313 148.59 o 15289 148.59 c 3311 148.89 o 15291 148.89 c 3309 149.16 o 15292 149.16 c 3308 149.29 o 15294 149.29 c 3306 149.59 o 15296 149.59 c 3304 149.72 o 15297 149.72 c 3303 149.86 o 15299 149.86 c 3301 150.00 o 15300 150.00 c 3300 150.14 o 15303 150.14 c 3297 150.27 o 15304 150.27 c 3296 150.55 o 15308 150.55 c 3292 150.69 o 15310 150.69 c 3290 150.97 o 15311 150.97 c 3289 151.12 o 15312 151.12 c 3288 151.26 o 15317 151.26 c 3283 151.40 o 15318 151.40 c 3282 151.56 o 15321 151.56 c 3279 151.88 o 15323 151.88 c 3277 152.03 o 15325 152.03 c 3275 153.15 o 15327 153.15 c 3273 153.32 o 15329 153.32 c 3271 153.48 o 15331 153.48 c 3269 153.64 o 15335 153.64 c 3265 153.78 o 15336 153.78 c 3264 153.95 o 15340 153.95 c 3260 154.44 o 15344 154.44 c 3256 154.58 o 15346 154.58 c 3254 154.74 o 15348 154.74 c 3252 154.90 o 15350 154.90 c 3250 155.06 o 15351 155.06 c 3249 155.23 o 15352 155.23 c 3248 155.40 o 15357 155.40 c 3243 155.57 o 15358 155.57 c 3242 155.89 o 15359 155.89 c 3241 156.06 o 15363 156.06 c 3237 156.22 o 15364 156.22 c 3236 156.56 o 15368 156.56 c 3232 156.73 o 15371 156.73 c 3229 156.90 o 15373 156.90 c 3227 157.06 o 15375 157.06 c 3225 157.24 o 15378 157.24 c 3222 157.36 o 15384 157.36 c 3216 157.54 o 15387 157.54 c 3213 157.87 o 15389 157.87 c 3211 158.04 o 15390 158.04 c 3210 158.37 o 15393 158.37 c 3207 158.57 o 15395 158.57 c 3205 158.73 o 15396 158.73 c 3204 158.92 o 15397 158.92 c 3203 159.09 o 15398 159.09 c 3202 159.26 o 15401 159.26 c 3199 159.45 o 15402 159.45 c 3198 159.63 o 15403 159.63 c 3197 159.82 o 15406 159.82 c 3194 159.99 o 15407 159.99 c 3193 160.34 o 15410 160.34 c 3190 160.52 o 15412 160.52 c 3188 160.70 o 15415 160.70 c 3185 160.89 o 15418 160.89 c 3182 161.06 o 15421 161.06 c 3179 161.24 o 15423 161.24 c 3177 161.41 o 15425 161.41 c 3175 161.60 o 15427 161.60 c 3173 161.97 o 15428 161.97 c 3172 162.16 o 15430 162.16 c 3170 162.32 o 15432 162.32 c 3168 162.50 o 15433 162.50 c 3167 162.68 o 15435 162.68 c 3165 162.87 o 15436 162.87 c 3164 163.04 o 15437 163.04 c 3163 163.23 o 15438 163.23 c 3162 163.40 o 15439 163.40 c 3161 163.57 o 15443 163.57 c 3157 163.74 o 15444 163.74 c 3156 164.08 o 15445 164.08 c 3155 164.62 o 15447 164.62 c 3153 164.80 o 15450 164.80 c 3150 164.97 o 15452 164.97 c 3148 165.16 o 15453 165.16 c 3147 165.53 o 15454 165.53 c 3146 166.13 o 15456 166.13 c 3144 166.49 o 15459 166.49 c 3141 167.02 o 15460 167.02 c 3140 167.40 o 15462 167.40 c 3138 167.79 o 15464 167.79 c 3136 168.17 o 15467 168.17 c 3133 168.37 o 15469 168.37 c 3131 168.55 o 15472 168.55 c 3128 168.75 o 15474 168.75 c 3126 168.95 o 15476 168.95 c 3124 169.15 o 15477 169.15 c 3123 169.72 o 15481 169.72 c 3119 170.04 o 15484 170.04 c 3116 170.24 o 15486 170.24 c 3114 170.44 o 15490 170.44 c 3110 170.62 o 15491 170.62 c 3109 170.82 o 15492 170.82 c 3108 171.24 o 15493 171.24 c 3107 171.42 o 15494 171.42 c 3106 171.62 o 15496 171.62 c 3104 171.81 o 15500 171.81 c 3100 172.21 o 15504 172.21 c 3096 172.40 o 15506 172.40 c 3094 172.78 o 15507 172.78 c 3093 172.98 o 15510 172.98 c 3090 173.16 o 15513 173.16 c 3087 173.56 o 15514 173.56 c 3086 173.75 o 15517 173.75 c 3083 173.95 o 15519 173.95 c 3081 174.35 o 15520 174.35 c 3080 174.56 o 15523 174.56 c 3077 175.18 o 15525 175.18 c 3075 175.38 o 15526 175.38 c 3074 175.78 o 15529 175.78 c 3071 175.97 o 15531 175.97 c 3069 176.35 o 15532 176.35 c 3068 177.10 o 15533 177.10 c 3067 177.69 o 15535 177.69 c 3065 177.88 o 15536 177.88 c 3064 178.06 o 15539 178.06 c 3061 178.24 o 15542 178.24 c 3058 178.42 o 15544 178.42 c 3056 178.60 o 15545 178.60 c 3055 178.79 o 15546 178.79 c 3054 178.99 o 15550 178.99 c 3050 179.34 o 15553 179.34 c 3047 179.52 o 15557 179.52 c 3043 179.69 o 15559 179.69 c 3041 179.85 o 15564 179.85 c 3036 180.04 o 15567 180.04 c 3033 180.22 o 15568 180.22 c 3032 180.40 o 15570 180.40 c 3030 180.58 o 15572 180.58 c 3028 181.32 o 15575 181.32 c 3025 181.49 o 15578 181.49 c 3022 181.64 o 15581 181.64 c 3019 181.81 o 15582 181.81 c 3018 181.98 o 15584 181.98 c 3016 182.73 o 15585 182.73 c 3015 182.91 o 15586 182.91 c 3014 183.10 o 15588 183.10 c 3012 183.29 o 15592 183.29 c 3008 183.48 o 15593 183.48 c 3007 183.67 o 15594 183.67 c 3006 183.85 o 15596 183.85 c 3004 184.04 o 15600 184.04 c 3000 184.24 o 15601 184.24 c 2999 184.43 o 15602 184.43 c 2998 184.82 o 15604 184.83 c 2996 185.39 o 15606 185.39 c 2994 185.78 o 15609 185.78 c 2991 185.97 o 15610 185.97 c 2990 186.16 o 15615 186.16 c 2985 186.54 o 15616 186.54 c 2984 186.72 o 15617 186.72 c 2983 186.92 o 15618 186.92 c 2982 187.12 o 15621 187.12 c 2979 187.46 o 15622 187.46 c 2978 187.66 o 15624 187.66 c 2976 188.58 o 15625 188.58 c 2975 188.77 o 15626 188.77 c 2974 189.18 o 15627 189.18 c 2973 189.37 o 15629 189.37 c 2971 189.76 o 15631 189.76 c 2969 189.95 o 15632 189.95 c 2968 190.15 o 15633 190.15 c 2967 190.70 o 15637 190.70 c 2963 190.90 o 15638 190.90 c 2962 191.09 o 15639 191.09 c 2961 191.29 o 15642 191.29 c 2958 191.49 o 15644 191.49 c 2956 191.70 o 15645 191.70 c 2955 191.90 o 15649 191.90 c 2951 192.10 o 15651 192.10 c 2949 192.29 o 15652 192.29 c 2948 192.52 o 15654 192.52 c 2946 192.74 o 15656 192.74 c 2944 192.94 o 15658 192.94 c 2942 193.17 o 15660 193.17 c 2940 193.38 o 15661 193.38 c 2939 193.61 o 15662 193.61 c 2938 193.82 o 15666 193.82 c 2934 194.03 o 15667 194.03 c 2933 194.24 o 15669 194.24 c 2931 194.45 o 15672 194.45 c 2928 194.66 o 15674 194.66 c 2926 194.88 o 15675 194.88 c 2925 195.09 o 15676 195.09 c 2924 195.29 o 15677 195.29 c 2923 197.42 o 15679 197.42 c 2921 197.64 o 15680 197.64 c 2920 197.85 o 15685 197.85 c 2915 198.32 o 15687 198.32 c 2913 200.30 o 15688 200.30 c 2912 200.93 o 15689 200.93 c 2911 201.16 o 15692 201.16 c 2908 201.36 o 15694 201.36 c 2906 201.57 o 15696 201.57 c 2904 201.78 o 15697 201.78 c 2903 202.21 o 15698 202.21 c 2902 203.02 o 15699 203.02 c 2901 203.22 o 15700 203.22 c 2900 203.41 o 15702 203.41 c 2898 203.61 o 15704 203.61 c 2896 203.80 o 15706 203.80 c 2894 204.00 o 15707 204.00 c 2893 204.20 o 15709 204.20 c 2891 204.59 o 15712 204.59 c 2888 204.77 o 15713 204.77 c 2887 204.97 o 15714 204.97 c 2886 205.16 o 15715 205.16 c 2885 205.92 o 15716 205.92 c 2884 206.11 o 15717 206.11 c 2883 206.30 o 15718 206.30 c 2882 206.65 o 15720 206.65 c 2880 206.84 o 15725 206.84 c 2875 207.02 o 15729 207.02 c 2871 207.21 o 15731 207.21 c 2869 207.40 o 15733 207.40 c 2867 207.59 o 15734 207.59 c 2866 207.77 o 15736 207.77 c 2864 207.97 o 15739 207.97 c 2861 208.16 o 15740 208.16 c 2860 208.87 o 15742 208.87 c 2858 209.22 o 15743 209.22 c 2857 209.43 o 15745 209.43 c 2855 209.62 o 15747 209.62 c 2853 210.35 o 15749 210.35 c 2851 210.74 o 15750 210.74 c 2850 210.94 o 15752 210.94 c 2848 211.34 o 15754 211.34 c 2846 211.74 o 15757 211.74 c 2843 211.93 o 15761 211.93 c 2839 212.15 o 15763 212.15 c 2837 212.36 o 15765 212.36 c 2835 212.56 o 15768 212.56 c 2832 212.77 o 15769 212.77 c 2831 212.98 o 15771 212.98 c 2829 213.18 o 15774 213.18 c 2826 213.39 o 15778 213.39 c 2822 213.58 o 15783 213.58 c 2817 213.99 o 15784 213.99 c 2816 214.20 o 15786 214.20 c 2814 214.61 o 15787 214.61 c 2813 214.82 o 15788 214.82 c 2812 215.23 o 15789 215.23 c 2811 215.44 o 15793 215.44 c 2807 216.07 o 15794 216.07 c 2806 216.28 o 15796 216.28 c 2804 216.70 o 15797 216.70 c 2803 218.73 o 15798 218.73 c 2802 218.97 o 15802 218.97 c 2798 219.11 o 15803 219.11 c 2797 219.34 o 15805 219.34 c 2795 219.81 o 15807 219.81 c 2793 220.05 o 15808 220.05 c 2792 220.28 o 15809 220.28 c 2791 220.52 o 15810 220.52 c 2790 220.66 o 15814 220.66 c 2786 221.13 o 15817 221.13 c 2783 221.36 o 15818 221.36 c 2782 222.28 o 15820 222.28 c 2780 222.48 o 15821 222.48 c 2779 223.81 o 15822 223.81 c 2778 224.02 o 15825 224.02 c 2775 224.25 o 15827 224.25 c 2773 224.47 o 15828 224.47 c 2772 224.68 o 15831 224.68 c 2769 225.96 o 15832 225.96 c 2768 226.11 o 15833 226.11 c 2767 226.32 o 15834 226.32 c 2766 226.55 o 15839 226.55 c 2761 226.78 o 15841 226.78 c 2759 228.12 o 15844 228.12 c 2756 228.35 o 15848 228.35 c 2752 228.56 o 15850 228.56 c 2750 228.77 o 15851 228.77 c 2749 230.90 o 15853 230.90 c 2747 231.11 o 15854 231.11 c 2746 231.32 o 15856 231.32 c 2744 231.73 o 15857 231.73 c 2743 231.95 o 15859 231.95 c 2741 232.30 o 15860 232.30 c 2740 232.52 o 15862 232.52 c 2738 232.74 o 15863 232.74 c 2737 232.94 o 15864 232.94 c 2736 233.16 o 15866 233.16 c 2734 234.42 o 15869 234.42 c 2731 234.64 o 15870 234.64 c 2730 234.85 o 15871 234.85 c 2729 235.28 o 15872 235.28 c 2728 235.51 o 15873 235.51 c 2727 235.73 o 15874 235.73 c 2726 235.94 o 15876 235.94 c 2724 236.17 o 15880 236.17 c 2720 236.39 o 15881 236.39 c 2719 236.61 o 15882 236.61 c 2718 237.23 o 15884 237.23 c 2716 237.66 o 15885 237.66 c 2715 237.90 o 15888 237.90 c 2712 238.76 o 15889 238.76 c 2711 238.85 o 15893 238.85 c 2707 239.07 o 15894 239.07 c 2706 239.71 o 15896 239.71 c 2704 240.14 o 15898 240.14 c 2702 240.35 o 15899 240.35 c 2701 240.55 o 15900 240.55 c 2700 240.98 o 15901 240.98 c 2699 241.18 o 15902 241.18 c 2698 241.39 o 15903 241.39 c 2697 241.84 o 15904 241.84 c 2696 242.07 o 15905 242.07 c 2695 243.05 o 15906 243.05 c 2694 243.80 o 15907 243.80 c 2693 244.30 o 15909 244.30 c 2691 244.57 o 15910 244.57 c 2690 244.81 o 15913 244.81 c 2687 245.06 o 15915 245.06 c 2685 245.57 o 15917 245.57 c 2683 245.84 o 15919 245.84 c 2681 246.11 o 15921 246.11 c 2679 246.36 o 15922 246.36 c 2678 246.89 o 15923 246.89 c 2677 247.17 o 15924 247.17 c 2676 247.43 o 15927 247.43 c 2673 247.69 o 15928 247.69 c 2672 247.97 o 15929 247.97 c 2671 248.26 o 15930 248.26 c 2670 248.51 o 15931 248.51 c 2669 248.74 o 15934 248.74 c 2666 248.99 o 15935 248.99 c 2665 250.60 o 15936 250.60 c 2664 250.87 o 15939 250.87 c 2661 251.15 o 15940 251.15 c 2660 251.76 o 15941 251.76 c 2659 252.63 o 15942 252.63 c 2658 253.22 o 15943 253.22 c 2657 253.49 o 15945 253.49 c 2655 254.38 o 15946 254.38 c 2654 254.67 o 15947 254.67 c 2653 254.97 o 15950 254.97 c 2650 255.26 o 15951 255.26 c 2649 255.54 o 15953 255.54 c 2647 255.83 o 15956 255.83 c 2644 257.33 o 15958 257.33 c 2642 257.59 o 15960 257.59 c 2640 257.90 o 15962 257.90 c 2638 258.21 o 15965 258.21 c 2635 258.50 o 15966 258.50 c 2634 258.78 o 15969 258.78 c 2631 258.83 o 15973 258.83 c 2627 259.08 o 15976 259.08 c 2624 260.14 o 15978 260.14 c 2622 260.43 o 15979 260.43 c 2621 260.72 o 15981 260.72 c 2619 261.87 o 15983 261.87 c 2617 264.37 o 15984 264.37 c 2616 264.68 o 15986 264.68 c 2614 265.27 o 15987 265.27 c 2613 265.80 o 15988 265.80 c 2612 265.96 o 15991 265.96 c 2609 266.25 o 15993 266.25 c 2607 266.54 o 15994 266.54 c 2606 266.82 o 15995 266.82 c 2605 267.12 o 15997 267.12 c 2603 267.41 o 15998 267.41 c 2602 267.69 o 15999 267.69 c 2601 268.31 o 16000 268.31 c 2600 268.60 o 16004 268.60 c 2596 268.88 o 16007 268.88 c 2593 269.17 o 16009 269.17 c 2591 269.46 o 16012 269.46 c 2588 269.69 o 16015 269.69 c 2585 269.99 o 16016 269.99 c 2584 271.18 o 16017 271.18 c 2583 272.09 o 16018 272.09 c 2582 272.40 o 16019 272.40 c 2581 272.70 o 16021 272.70 c 2579 273.96 o 16023 273.96 c 2577 274.27 o 16026 274.27 c 2574 274.58 o 16028 274.58 c 2572 274.87 o 16029 274.87 c 2571 275.49 o 16030 275.49 c 2570 275.80 o 16032 275.80 c 2568 276.10 o 16035 276.10 c 2565 276.41 o 16037 276.41 c 2563 276.73 o 16038 276.73 c 2562 277.02 o 16039 277.02 c 2561 277.33 o 16040 277.33 c 2560 277.64 o 16041 277.64 c 2559 278.12 o 16042 278.12 c 2558 278.85 o 16043 278.85 c 2557 279.45 o 16045 279.45 c 2555 280.07 o 16047 280.07 c 2553 280.69 o 16048 280.69 c 2552 281.00 o 16051 281.00 c 2549 281.88 o 16053 281.88 c 2547 282.51 o 16054 282.51 c 2546 282.81 o 16057 282.81 c 2543 283.15 o 16058 283.15 c 2542 283.46 o 16060 283.46 c 2540 283.77 o 16062 283.77 c 2538 285.28 o 16065 285.28 c 2535 285.61 o 16066 285.61 c 2534 287.69 o 16067 287.69 c 2533 288.59 o 16070 288.59 c 2530 288.91 o 16072 288.91 c 2528 290.43 o 16075 290.43 c 2525 290.73 o 16076 290.73 c 2524 291.34 o 16077 291.34 c 2523 291.62 o 16078 291.62 c 2522 291.92 o 16079 291.92 c 2521 292.24 o 16082 292.24 c 2518 292.53 o 16088 292.53 c 2512 293.14 o 16089 293.14 c 2511 294.33 o 16092 294.33 c 2508 295.56 o 16094 295.56 c 2506 295.85 o 16098 295.85 c 2502 296.15 o 16099 296.15 c 2501 298.27 o 16101 298.27 c 2499 298.85 o 16102 298.85 c 2498 299.77 o 16103 299.77 c 2497 300.95 o 16105 300.95 c 2495 301.26 o 16106 301.26 c 2494 301.36 o 16108 301.36 c 2492 301.65 o 16109 301.65 c 2491 302.54 o 16111 302.54 c 2489 302.84 o 16114 302.84 c 2486 303.14 o 16115 303.14 c 2485 303.44 o 16116 303.44 c 2484 303.75 o 16118 303.75 c 2482 304.05 o 16119 304.05 c 2481 305.89 o 16120 305.89 c 2480 306.84 o 16123 306.84 c 2477 308.89 o 16124 308.89 c 2476 309.20 o 16127 309.20 c 2473 309.51 o 16128 309.51 c 2472 309.82 o 16129 309.82 c 2471 310.72 o 16130 310.72 c 2470 311.59 o 16131 311.59 c 2469 311.89 o 16132 311.89 c 2468 312.18 o 16135 312.18 c 2465 312.48 o 16136 312.48 c 2464 312.79 o 16137 312.79 c 2463 313.09 o 16138 313.09 c 2462 315.18 o 16140 315.18 c 2460 315.48 o 16141 315.48 c 2459 316.08 o 16143 316.08 c 2457 316.69 o 16144 316.69 c 2456 317.29 o 16145 317.29 c 2455 317.60 o 16147 317.60 c 2453 317.91 o 16149 317.91 c 2451 318.21 o 16150 318.21 c 2450 318.51 o 16151 318.51 c 2449 318.81 o 16154 318.81 c 2446 319.10 o 16156 319.10 c 2444 319.41 o 16158 319.41 c 2442 319.74 o 16159 319.74 c 2441 320.35 o 16160 320.35 c 2440 320.65 o 16161 320.65 c 2439 321.27 o 16162 321.27 c 2438 322.74 o 16164 322.74 c 2436 323.03 o 16165 323.03 c 2435 323.62 o 16166 323.62 c 2434 323.89 o 16168 323.89 c 2432 324.49 o 16171 324.49 c 2429 325.10 o 16174 325.10 c 2426 328.04 o 16177 328.04 c 2423 328.35 o 16181 328.35 c 2419 328.64 o 16182 328.64 c 2418 329.25 o 16183 329.25 c 2417 329.55 o 16184 329.55 c 2416 330.08 o 16187 330.08 c 2413 330.21 o 16191 330.21 c 2409 330.51 o 16195 330.51 c 2405 330.80 o 16199 330.80 c 2401 331.08 o 16201 331.08 c 2399 331.36 o 16202 331.36 c 2398 331.66 o 16203 331.66 c 2397 331.95 o 16204 331.95 c 2396 332.23 o 16207 332.23 c 2393 334.20 o 16208 334.20 c 2392 334.48 o 16210 334.48 c 2390 335.04 o 16212 335.04 c 2388 336.82 o 16213 336.82 c 2387 337.45 o 16215 337.45 c 2385 338.32 o 16216 338.32 c 2384 338.61 o 16219 338.61 c 2381 338.89 o 16221 338.89 c 2379 339.18 o 16222 339.18 c 2378 339.77 o 16224 339.77 c 2376 342.13 o 16225 342.13 c 2375 342.41 o 16226 342.41 c 2374 343.28 o 16229 343.28 c 2371 344.17 o 16230 344.17 c 2370 344.74 o 16233 344.74 c 2367 344.98 o 16237 344.98 c 2363 345.24 o 16240 345.24 c 2360 345.52 o 16241 345.52 c 2359 346.07 o 16242 346.07 c 2358 351.49 o 16243 351.49 c 2357 352.58 o 16246 352.58 c 2354 352.87 o 16249 352.87 c 2351 353.43 o 16252 353.43 c 2348 353.97 o 16253 353.97 c 2347 359.22 o 16255 359.22 c 2345 359.81 o 16257 359.81 c 2343 360.09 o 16259 360.09 c 2341 360.39 o 16260 360.39 c 2340 360.69 o 16261 360.69 c 2339 361.28 o 16262 361.28 c 2338 364.27 o 16264 364.27 c 2336 364.57 o 16267 364.57 c 2333 365.40 o 16269 365.40 c 2331 365.72 o 16270 365.72 c 2330 366.36 o 16271 366.36 c 2329 366.67 o 16272 366.67 c 2328 366.99 o 16275 366.99 c 2325 367.30 o 16277 367.30 c 2323 367.62 o 16278 367.62 c 2322 367.94 o 16280 367.94 c 2320 368.44 o 16281 368.44 c 2319 368.71 o 16282 368.71 c 2318 369.04 o 16283 369.04 c 2317 369.64 o 16284 369.64 c 2316 370.27 o 16285 370.27 c 2315 371.39 o 16287 371.39 c 2313 371.71 o 16289 371.71 c 2311 372.02 o 16291 372.02 c 2309 372.65 o 16293 372.65 c 2307 372.97 o 16295 372.97 c 2305 373.29 o 16298 373.29 c 2302 373.60 o 16302 373.61 c 2298 373.92 o 16304 373.92 c 2296 375.99 o 16306 376.00 c 2294 376.95 o 16307 376.95 c 2293 377.62 o 16309 377.62 c 2291 377.94 o 16310 377.94 c 2290 378.11 o 16311 378.11 c 2289 378.44 o 16314 378.44 c 2286 381.81 o 16316 381.81 c 2284 382.49 o 16318 382.49 c 2282 383.19 o 16319 383.19 c 2281 383.52 o 16321 383.52 c 2279 383.88 o 16323 383.88 c 2277 385.92 o 16326 385.92 c 2274 386.63 o 16328 386.63 c 2272 386.98 o 16329 386.98 c 2271 387.31 o 16331 387.31 c 2269 388.69 o 16334 388.69 c 2266 389.03 o 16337 389.03 c 2263 389.38 o 16338 389.38 c 2262 390.06 o 16339 390.06 c 2261 390.42 o 16341 390.42 c 2259 391.10 o 16342 391.10 c 2258 391.45 o 16343 391.45 c 2257 393.24 o 16344 393.24 c 2256 393.94 o 16345 393.94 c 2255 394.31 o 16348 394.31 c 2252 395.00 o 16349 395.00 c 2251 399.01 o 16350 399.01 c 2250 399.68 o 16352 399.68 c 2248 400.36 o 16353 400.36 c 2247 401.31 o 16358 401.31 c 2242 401.78 o 16362 401.78 c 2238 402.41 o 16365 402.41 c 2235 403.72 o 16367 403.72 c 2233 404.02 o 16369 404.02 c 2231 404.38 o 16370 404.38 c 2230 405.74 o 16371 405.74 c 2229 406.04 o 16373 406.04 c 2227 406.38 o 16374 406.38 c 2226 408.12 o 16377 408.12 c 2223 408.50 o 16378 408.50 c 2222 408.87 o 16380 408.87 c 2220 409.22 o 16381 409.22 c 2219 409.59 o 16383 409.59 c 2217 409.98 o 16385 409.98 c 2215 418.41 o 16386 418.42 c 2214 419.88 o 16388 419.88 c 2212 420.92 o 16390 420.92 c 2210 421.30 o 16391 421.30 c 2209 421.66 o 16393 421.66 c 2207 422.43 o 16394 422.43 c 2206 422.73 o 16395 422.73 c 2205 424.31 o 16397 424.31 c 2203 424.62 o 16398 424.62 c 2202 424.97 o 16402 424.97 c 2198 425.61 o 16403 425.61 c 2197 425.86 o 16406 425.86 c 2194 426.22 o 16408 426.22 c 2192 429.50 o 16409 429.50 c 2191 430.90 o 16411 430.90 c 2189 431.59 o 16412 431.59 c 2188 431.93 o 16414 431.94 c 2186 432.61 o 16415 432.61 c 2185 433.62 o 16418 433.62 c 2182 433.97 o 16420 433.97 c 2180 435.66 o 16422 435.66 c 2178 436.91 o 16423 436.91 c 2177 437.11 o 16425 437.11 c 2175 439.05 o 16426 439.05 c 2174 439.37 o 16428 439.37 c 2172 439.72 o 16429 439.72 c 2171 440.05 o 16430 440.05 c 2170 440.38 o 16432 440.38 c 2168 440.71 o 16433 440.71 c 2167 442.07 o 16434 442.07 c 2166 444.18 o 16437 444.18 c 2163 444.37 o 16439 444.37 c 2161 444.62 o 16441 444.62 c 2159 444.97 o 16442 444.97 c 2158 448.71 o 16444 448.71 c 2156 449.06 o 16445 449.06 c 2155 449.41 o 16447 449.41 c 2153 449.78 o 16450 449.78 c 2150 450.13 o 16452 450.13 c 2148 450.86 o 16453 450.86 c 2147 454.13 o 16455 454.13 c 2145 454.51 o 16457 454.51 c 2143 454.62 o 16459 454.62 c 2141 454.99 o 16460 454.99 c 2140 455.39 o 16463 455.39 c 2137 458.07 o 16464 458.07 c 2136 458.42 o 16469 458.42 c 2131 458.70 o 16471 458.70 c 2129 459.06 o 16474 459.06 c 2126 460.49 o 16476 460.49 c 2124 460.76 o 16477 460.76 c 2123 461.11 o 16478 461.11 c 2122 461.46 o 16479 461.46 c 2121 462.16 o 16483 462.16 c 2117 465.57 o 16484 465.57 c 2116 465.93 o 16486 465.93 c 2114 466.29 o 16490 466.29 c 2110 466.64 o 16491 466.64 c 2109 471.89 o 16493 471.89 c 2107 473.44 o 16495 473.44 c 2105 474.22 o 16496 474.22 c 2104 475.01 o 16498 475.01 c 2102 476.55 o 16499 476.55 c 2101 476.94 o 16501 476.94 c 2099 477.33 o 16506 477.33 c 2094 477.58 o 16508 477.58 c 2092 478.34 o 16509 478.34 c 2091 479.10 o 16510 479.10 c 2090 479.86 o 16511 479.86 c 2089 480.26 o 16512 480.26 c 2088 480.65 o 16513 480.65 c 2087 481.06 o 16514 481.06 c 2086 481.89 o 16515 481.89 c 2085 483.81 o 16516 483.81 c 2084 484.21 o 16518 484.21 c 2082 484.61 o 16521 484.61 c 2079 485.01 o 16523 485.01 c 2077 485.51 o 16524 485.51 c 2076 485.91 o 16526 485.91 c 2074 488.31 o 16529 488.31 c 2071 489.54 o 16530 489.54 c 2070 491.20 o 16532 491.20 c 2068 492.27 o 16534 492.27 c 2066 494.33 o 16536 494.33 c 2064 495.42 o 16538 495.42 c 2062 495.84 o 16539 495.84 c 2061 497.06 o 16540 497.06 c 2060 497.45 o 16541 497.45 c 2059 498.64 o 16542 498.64 c 2058 499.04 o 16544 499.04 c 2056 499.46 o 16545 499.46 c 2055 499.87 o 16546 499.87 c 2054 500.28 o 16547 500.28 c 2053 511.32 o 16548 511.32 c 2052 513.25 o 16549 513.25 c 2051 513.47 o 16550 513.47 c 2050 514.28 o 16551 514.28 c 2049 514.69 o 16552 514.69 c 2048 517.54 o 16554 517.54 c 2046 517.93 o 16555 517.93 c 2045 518.32 o 16556 518.32 c 2044 522.18 o 16557 522.18 c 2043 522.57 o 16558 522.57 c 2042 522.96 o 16560 522.96 c 2040 523.34 o 16561 523.34 c 2039 524.95 o 16562 524.95 c 2038 525.36 o 16565 525.36 c 2035 526.18 o 16566 526.18 c 2034 526.58 o 16568 526.58 c 2032 527.78 o 16570 527.78 c 2030 528.17 o 16571 528.17 c 2029 530.17 o 16572 530.17 c 2028 531.44 o 16574 531.44 c 2026 532.25 o 16577 532.25 c 2023 534.27 o 16579 534.27 c 2021 535.09 o 16583 535.09 c 2017 535.93 o 16585 535.93 c 2015 536.35 o 16590 536.35 c 2010 536.77 o 16591 536.77 c 2009 537.19 o 16594 537.19 c 2006 538.03 o 16596 538.03 c 2004 538.45 o 16597 538.45 c 2003 540.92 o 16599 540.92 c 2001 541.34 o 16601 541.34 c 1999 544.73 o 16602 544.73 c 1998 545.15 o 16603 545.15 c 1997 546.37 o 16606 546.37 c 1994 548.06 o 16607 548.06 c 1993 551.33 o 16608 551.33 c 1992 551.74 o 16609 551.74 c 1991 552.17 o 16610 552.17 c 1990 553.34 o 16611 553.34 c 1989 553.76 o 16612 553.76 c 1988 554.18 o 16615 554.18 c 1985 557.13 o 16616 557.13 c 1984 557.99 o 16618 557.99 c 1982 558.78 o 16619 558.78 c 1981 559.18 o 16621 559.18 c 1979 560.00 o 16622 560.00 c 1978 560.81 o 16623 560.81 c 1977 560.89 o 16628 560.89 c 1972 561.24 o 16629 561.24 c 1971 562.43 o 16631 562.43 c 1969 562.74 o 16634 562.74 c 1966 563.35 o 16635 563.35 c 1965 563.74 o 16636 563.74 c 1964 564.15 o 16637 564.15 c 1963 566.62 o 16638 566.62 c 1962 567.00 o 16639 567.00 c 1961 567.32 o 16640 567.32 c 1960 567.66 o 16641 567.66 c 1959 568.44 o 16642 568.44 c 1958 569.22 o 16643 569.22 c 1957 571.59 o 16644 571.59 c 1956 571.71 o 16647 571.71 c 1953 572.13 o 16649 572.13 c 1951 572.53 o 16652 572.53 c 1948 572.92 o 16655 572.92 c 1945 573.34 o 16656 573.34 c 1944 573.69 o 16661 573.69 c 1939 574.08 o 16662 574.08 c 1938 575.24 o 16663 575.24 c 1937 575.64 o 16664 575.64 c 1936 576.44 o 16667 576.44 c 1933 576.85 o 16668 576.85 c 1932 577.66 o 16669 577.66 c 1931 577.83 o 16671 577.83 c 1929 578.21 o 16672 578.21 c 1928 578.54 o 16675 578.54 c 1925 579.35 o 16677 579.35 c 1923 580.15 o 16678 580.15 c 1922 580.28 o 16682 580.28 c 1918 583.08 o 16683 583.08 c 1917 583.48 o 16684 583.48 c 1916 583.89 o 16687 583.89 c 1913 584.61 o 16689 584.61 c 1911 585.41 o 16690 585.41 c 1910 586.62 o 16691 586.62 c 1909 587.03 o 16692 587.03 c 1908 592.24 o 16693 592.24 c 1907 593.07 o 16694 593.07 c 1906 593.90 o 16696 593.91 c 1904 594.72 o 16697 594.72 c 1903 594.98 o 16698 594.98 c 1902 595.39 o 16699 595.39 c 1901 596.20 o 16700 596.20 c 1900 596.61 o 16701 596.61 c 1899 597.70 o 16702 597.70 c 1898 599.55 o 16703 599.55 c 1897 600.37 o 16704 600.37 c 1896 601.21 o 16705 601.21 c 1895 602.18 o 16707 602.18 c 1893 604.59 o 16708 604.59 c 1892 605.02 o 16709 605.02 c 1891 605.84 o 16711 605.84 c 1889 606.24 o 16713 606.24 c 1887 606.65 o 16714 606.65 c 1886 607.05 o 16716 607.05 c 1884 607.81 o 16718 607.81 c 1882 608.22 o 16722 608.22 c 1878 608.62 o 16724 608.62 c 1876 609.05 o 16727 609.05 c 1873 611.88 o 16730 611.88 c 1870 612.29 o 16731 612.29 c 1869 613.51 o 16733 613.51 c 1867 613.92 o 16734 613.92 c 1866 615.14 o 16735 615.14 c 1865 616.11 o 16736 616.11 c 1864 616.53 o 16741 616.53 c 1859 616.92 o 16743 616.92 c 1857 618.11 o 16744 618.11 c 1856 619.32 o 16745 619.32 c 1855 622.33 o 16746 622.33 c 1854 622.74 o 16748 622.74 c 1852 623.11 o 16749 623.11 c 1851 623.51 o 16750 623.51 c 1850 626.80 o 16751 626.80 c 1849 627.16 o 16752 627.16 c 1848 627.58 o 16754 627.58 c 1846 627.86 o 16755 627.86 c 1845 629.12 o 16756 629.12 c 1844 629.55 o 16757 629.55 c 1843 634.16 o 16758 634.16 c 1842 634.58 o 16760 634.58 c 1840 634.96 o 16761 634.96 c 1839 635.80 o 16763 635.80 c 1837 638.67 o 16765 638.67 c 1835 639.07 o 16766 639.07 c 1834 639.47 o 16767 639.47 c 1833 641.97 o 16769 641.97 c 1831 642.37 o 16770 642.37 c 1830 644.04 o 16772 644.04 c 1828 644.47 o 16773 644.47 c 1827 646.16 o 16774 646.16 c 1826 652.19 o 16775 652.19 c 1825 653.31 o 16776 653.31 c 1824 655.43 o 16777 655.43 c 1823 656.70 o 16779 656.70 c 1821 658.29 o 16780 658.29 c 1820 660.60 o 16782 660.60 c 1818 660.67 o 16783 660.67 c 1817 661.50 o 16784 661.50 c 1816 661.92 o 16785 661.92 c 1815 662.34 o 16786 662.34 c 1814 663.20 o 16788 663.20 c 1812 664.48 o 16789 664.48 c 1811 664.91 o 16790 664.91 c 1810 666.19 o 16791 666.19 c 1809 672.48 o 16793 672.48 c 1807 672.74 o 16795 672.74 c 1805 675.08 o 16796 675.08 c 1804 676.10 o 16798 676.10 c 1802 676.51 o 16799 676.51 c 1801 677.34 o 16801 677.34 c 1799 677.75 o 16803 677.75 c 1797 678.61 o 16804 678.61 c 1796 678.96 o 16806 678.96 c 1794 679.79 o 16811 679.79 c 1789 682.72 o 16812 682.72 c 1788 686.75 o 16814 686.75 c 1786 690.63 o 16815 690.63 c 1785 691.93 o 16816 691.93 c 1784 692.80 o 16817 692.80 c 1783 693.22 o 16819 693.22 c 1781 693.65 o 16820 693.65 c 1780 709.59 o 16822 709.59 c 1778 710.32 o 16823 710.32 c 1777 710.77 o 16824 710.77 c 1776 711.21 o 16826 711.21 c 1774 711.65 o 16827 711.65 c 1773 712.08 o 16830 712.08 c 1770 712.19 o 16832 712.19 c 1768 712.63 o 16834 712.63 c 1766 713.51 o 16835 713.51 c 1765 713.95 o 16836 713.95 c 1764 715.54 o 16839 715.54 c 1761 718.13 o 16840 718.13 c 1760 718.52 o 16842 718.52 c 1758 721.09 o 16844 721.09 c 1756 721.51 o 16846 721.51 c 1754 721.80 o 16847 721.80 c 1753 723.07 o 16848 723.07 c 1752 723.40 o 16849 723.40 c 1751 724.23 o 16851 724.23 c 1749 724.64 o 16852 724.64 c 1748 725.06 o 16854 725.06 c 1746 726.73 o 16855 726.73 c 1745 727.16 o 16857 727.16 c 1743 727.37 o 16860 727.37 c 1740 729.38 o 16861 729.38 c 1739 730.67 o 16863 730.67 c 1737 731.11 o 16864 731.11 c 1736 731.53 o 16865 731.53 c 1735 737.48 o 16867 737.48 c 1733 738.37 o 16868 738.37 c 1732 739.68 o 16869 739.68 c 1731 740.88 o 16870 740.88 c 1730 741.32 o 16871 741.32 c 1729 741.76 o 16873 741.76 c 1727 744.74 o 16874 744.74 c 1726 749.47 o 16875 749.47 c 1725 749.77 o 16878 749.77 c 1722 760.52 o 16880 760.52 c 1720 760.97 o 16881 760.97 c 1719 761.29 o 16885 761.29 c 1715 761.72 o 16886 761.72 c 1714 763.47 o 16887 763.47 c 1713 768.22 o 16889 768.22 c 1711 768.47 o 16893 768.47 c 1707 768.90 o 16894 768.90 c 1706 769.78 o 16895 769.78 c 1705 770.24 o 16897 770.24 c 1703 775.97 o 16899 775.97 c 1701 777.26 o 16901 777.26 c 1699 777.64 o 16903 777.64 c 1697 778.06 o 16905 778.06 c 1695 778.92 o 16907 778.92 c 1693 780.66 o 16908 780.66 c 1692 782.70 o 16909 782.70 c 1691 783.12 o 16910 783.12 c 1690 783.76 o 16912 783.76 c 1688 784.95 o 16913 784.95 c 1687 786.05 o 16914 786.05 c 1686 787.68 o 16915 787.68 c 1685 788.01 o 16918 788.01 c 1682 788.43 o 16919 788.43 c 1681 790.33 o 16922 790.33 c 1678 791.19 o 16924 791.19 c 1676 794.09 o 16925 794.09 c 1675 794.51 o 16926 794.51 c 1674 795.36 o 16927 795.36 c 1673 795.78 o 16928 795.78 c 1672 796.21 o 16930 796.21 c 1670 797.48 o 16931 797.48 c 1669 798.25 o 16932 798.25 c 1668 799.35 o 16933 799.35 c 1667 800.19 o 16934 800.19 c 1666 806.65 o 16936 806.65 c 1664 807.07 o 16937 807.07 c 1663 814.79 o 16939 814.79 c 1661 816.58 o 16940 816.58 c 1660 817.91 o 16942 817.91 c 1658 818.35 o 16943 818.35 c 1657 818.80 o 16945 818.80 c 1655 819.24 o 16946 819.24 c 1654 828.09 o 16947 828.09 c 1653 834.67 o 16948 834.67 c 1652 835.08 o 16949 835.08 c 1651 835.98 o 16950 835.98 c 1650 836.14 o 16951 836.14 c 1649 836.62 o 16952 836.62 c 1648 860.26 o 16953 860.26 c 1647 861.20 o 16955 861.20 c 1645 861.68 o 16956 861.68 c 1644 863.03 o 16957 863.03 c 1643 863.50 o 16958 863.50 c 1642 864.80 o 16959 864.80 c 1641 865.08 o 16960 865.08 c 1640 867.84 o 16961 867.84 c 1639 868.78 o 16962 868.78 c 1638 870.12 o 16963 870.12 c 1637 873.45 o 16965 873.45 c 1635 873.91 o 16966 873.91 c 1634 879.75 o 16968 879.75 c 1632 882.75 o 16969 882.75 c 1631 885.65 o 16970 885.65 c 1630 886.12 o 16972 886.12 c 1628 888.32 o 16973 888.32 c 1627 888.76 o 16974 888.76 c 1626 889.22 o 16976 889.22 c 1624 891.09 o 16977 891.09 c 1623 892.03 o 16978 892.03 c 1622 892.97 o 16979 892.97 c 1621 894.85 o 16981 894.85 c 1619 895.33 o 16982 895.33 c 1618 898.64 o 16985 898.64 c 1615 904.63 o 16986 904.63 c 1614 905.59 o 16987 905.59 c 1613 906.06 o 16988 906.06 c 1612 906.53 o 16990 906.53 c 1610 907.00 o 16991 907.00 c 1609 907.49 o 16993 907.49 c 1607 908.10 o 16994 908.10 c 1606 909.01 o 16995 909.01 c 1605 914.12 o 16997 914.12 c 1603 915.43 o 17000 915.43 c 1600 917.45 o 17001 917.45 c 1599 917.84 o 17002 917.84 c 1598 918.16 o 17005 918.16 c 1595 918.47 o 17007 918.47 c 1593 918.96 o 17008 918.96 c 1592 926.57 o 17009 926.57 c 1591 927.07 o 17010 927.07 c 1590 927.55 o 17011 927.55 c 1589 928.15 o 17012 928.15 c 1588 928.30 o 17013 928.30 c 1587 928.80 o 17014 928.80 c 1586 929.17 o 17015 929.17 c 1585 929.66 o 17018 929.66 c 1582 931.13 o 17019 931.13 c 1581 931.61 o 17020 931.61 c 1580 932.59 o 17021 932.59 c 1579 936.46 o 17023 936.46 c 1577 937.43 o 17024 937.43 c 1576 942.08 o 17025 942.08 c 1575 942.56 o 17027 942.56 c 1573 943.52 o 17030 943.52 c 1570 944.03 o 17031 944.03 c 1569 950.31 o 17032 950.31 c 1568 950.81 o 17033 950.81 c 1567 981.23 981.23 search 981.23 run=0 nbConstraintChecks=2136405263 nbAssignments=3406 981.23 => wckTime=917.988 cpuTime=914.56 mem=63M431 981.24 981.24 global 981.24 nbConstraintChecks=2136405263 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 981.24 solvingWckTime=917.965 solvingCpuTime=914.53 expiredTime=no totalExploration=no nbFoundSolutions=0 981.24 globalCpuTime=976.04 981.24 => wckTime=980.914 cpuTime=975.99 mem=63M431 981.24 981.24 solver IterativeSystematicSolver being built... 981.87 => wckTime=981.549 cpuTime=976.35 mem=153M838 1118.53 1118.53 preprocessing 1118.53 nbConstraintChecks=323100148 nbValidityChecks=880146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1118.53 nbRemovedValues=0 detectedInconsistency=no 1118.53 => wckTime=136.648 cpuTime=136.5 mem=153M838 2405.62 v -2250 2474 2878 2070 2834 -2806 -2434 -2294 2878 -2794 2074 2286 -2618 -2766 2854 -2702 2250 2274 2018 2858 2830 -2422 -2858 2050 -2314 -2354 2854 1990 2766 2382 -1994 -2050 2890 2278 -2282 -2786 -2710 2814 -2798 -2042 2850 2062 2018 2870 2854 -2878 -2582 2598 -2106 2890 2090 -2746 -2418 2030 2738 -2366 2854 -2682 2842 -2858 2850 2690 2802 1990 -2262 2002 2054 -2502 -2142 2498 2034 -2038 2754 -2086 -2882 -2614 -2642 -2142 -2066 -2142 1994 -1994 2182 -2146 -2610 -2834 2722 2366 2818 -2014 -2102 -2810 -2022 2774 2030 2582 2074 -2894 2410 1990 2726 -2058 2642 -2722 -2582 -2562 2054 -2838 -2482 2838 -2106 2614 2178 -2458 2550 -2030 2314 2262 -2854 -2870 -2834 -2890 -2846 2866 2634 2058 -2018 -2002 2886 -2854 2078 2502 -2214 2326 2266 2886 2342 -2310 2854 2254 -2630 2742 2278 2246 -2890 2826 2842 2514 -2386 -2294 2034 -2762 2542 -2850 2894 -2142 2234 -2466 -2750 2002 2762 2866 2354 -2658 -2030 2670 2430 -2442 2678 -2078 -2886 2718 -2346 2070 2250 -2430 2090 -2350 2814 -2578 -2834 -2466 2546 2834 2506 -2038 -2738 -2538 2682 -2758 2806 -2410 -2350 -2838 -2846 -2030 2198 2890 -2102 2038 2246 2042 -2834 -2338 2766 2146 -2882 2398 2866 -2442 -2754 -1990 2422 2850 2798 -2846 -2894 2810 -2238 -2526 -2802 -2534 2082 -2030 -2050 -2050 2890 -2826 -2222 2394 2770 -2854 2550 2118 -2754 2710 -2470 -2790 2738 -2046 2698 -2038 -2014 -2142 -2038 -2850 2730 2578 2330 2102 2378 2762 2782 2674 2358 2002 -2374 2078 2850 2106 2406 -2822 2026 -2346 2894 1994 2818 -2366 2314 -2022 -2838 -2666 -2870 2066 -2866 -1994 2794 2774 2814 2538 -2574 2682 -2846 2446 -1990 -2246 -1990 1994 -2366 -2282 2494 2582 2506 2630 -2154 -2430 2698 -2762 2206 2446 2822 2670 2034 2398 2658 1994 2178 -2654 -2546 -2702 -2554 2250 -2018 2538 -2846 -2234 2850 2874 2754 -2038 1990 -2878 -2850 2654 2826 -2574 2846 -2782 2690 2070 2290 -2562 -2550 -2366 2838 2414 -2602 2038 2538 -2026 -2054 -2326 -2602 2834 -2030 2458 -2830 -1990 2822 -2790 -2090 2678 -2054 2406 -2874 2702 2190 2034 -2778 2186 2894 -2042 2030 -2626 -2002 -2846 -2894 2050 -2126 -2098 2486 -2042 2034 -2390 -2446 -2834 1990 -2030 2802 2570 -2322 -2030 -2850 -1990 1990 1998 -2630 2874 2842 -2342 -2714 -2362 2850 -2010 2286 -2202 -2058 2558 -2034 -2794 -2878 2834 2438 -2146 2282 2826 2182 -2030 -2010 -2870 -2854 -1994 2750 2854 2830 -2034 2822 -2798 2858 -2042 -2550 -2222 -2034 2486 2718 -2862 -2014 -2594 -2838 2794 -2474 2838 2218 -2426 -2582 2882 2050 2802 2818 -2262 2694 2246 -2254 -2658 -2890 -2374 2190 -2874 2562 -2690 2626 1998 2894 2882 -2114 -2610 2386 2046 2698 2094 -2206 -2066 2738 -2106 -2030 -2042 -2878 -2174 2114 1990 -2374 -2214 -2034 2842 2010 -2370 -2226 -2158 2038 -2586 2338 1994 2618 2486 2774 2658 -2118 -2214 2246 2422 2694 2034 2034 -2570 -2038 2774 2454 2846 -2854 2486 -2318 -2826 -2894 2890 2066 2890 -2578 -2002 2858 2730 -2014 -2106 -2690 2002 2830 -2838 -2850 2262 2386 -2658 -2870 2350 -2038 -2494 2830 -2470 -2766 -2182 2070 2874 -2610 -1998 -2034 2730 -2070 2058 2714 2590 2634 2030 -1998 2814 -2210 -2858 -1994 2050 -2426 -2666 2426 -2778 2222 2830 -2890 -2146 -2726 -2046 -2354 -2618 -2050 -2058 -2034 2098 1990 1994 2082 2202 -2182 2034 2882 2886 2694 2458 2430 2038 -2686 2002 2314 2682 2254 -2770 -2710 2842 2034 2838 -2490 -2782 -2834 2002 2134 -2390 -2878 2230 -2310 2430 -2854 -2870 -2050 -2814 -2330 -2114 2490 -2766 2782 -2046 2110 -2882 2298 -1990 2650 2758 -2782 -2438 -2018 2010 -2150 -2014 2842 2034 2894 -1990 -2722 -2874 2686 2090 2030 2878 -2762 2358 2722 -2030 2294 2050 2850 2002 1998 2330 -2366 -2662 -2858 1994 -2742 -2118 2050 2002 -2210 -2774 -2658 2454 2842 2674 2890 2190 -2234 -2378 2862 1998 2070 2670 2594 -2790 2574 -2750 2850 2266 -2450 -2370 2582 -2782 -2362 -2486 -2538 2702 2002 -2370 -2846 -2706 2198 2430 -2102 -2566 2498 -2894 -2890 -2854 -2082 2106 -2086 -2878 -1990 -2382 1998 -2874 -2262 -2606 -2214 -2042 -2230 1994 -2886 2654 -2106 2446 -2270 -2850 2630 -2646 -2654 -2038 -2590 2606 -2422 1994 -2054 -2246 2706 2878 2002 -2686 -2126 -2670 -2486 -2698 1998 2358 -2014 -2294 2334 2734 -2386 -2818 -2022 -2626 -2242 2134 2330 2514 2566 -2398 2402 2130 2774 2118 2870 2678 -2042 2466 -2634 -2478 -2734 -2322 -2074 2058 -2506 -2546 -2022 -2042 -2034 -2630 -2030 2886 -2878 -2146 2682 2402 -2406 2174 2362 -2894 2466 -2050 2738 -2670 -2554 -2086 2710 2058 2030 2326 2642 2378 -2058 2158 2014 -2394 2154 -2862 -2206 -2538 2034 2806 -2830 -2882 -2830 2070 -2602 2854 -2754 -2490 -2894 -2878 -2002 2254 -2030 2774 2158 1994 2034 2746 2030 2174 -2838 -2750 2846 -1998 -2566 -2494 -2378 -1994 2546 2650 2034 -2190 -1994 -1990 -2458 -2814 -2846 -2058 1994 -2662 2762 2002 2386 -2670 -2018 -2750 2814 -2626 2034 -2058 -2842 2002 2370 2406 -2002 2886 2026 -2398 -2794 2498 2042 2862 -2206 2682 1998 2050 2014 -2062 -2094 -2106 2438 2854 2830 -2006 2518 2098 -2534 -2838 -2846 -2882 -2562 2374 2666 -2814 -2630 2074 -2182 -2102 -2890 2758 -2098 -2066 -2418 2290 -2482 2810 2878 -2818 2890 -2866 2854 1994 -2030 -2742 -2886 2426 -2106 2418 2838 -2482 -2798 -2842 -2002 -2338 2742 -2522 -2730 2458 -2810 -2702 2050 2738 2850 -2890 2650 -2510 2250 2710 2718 -2062 -2014 -2734 2798 2858 2450 -2782 2014 -2782 -2062 -2498 2214 -2006 -2882 2818 2474 2182 2670 -2398 2522 -2094 2046 -2346 -2074 2742 1990 2138 2810 2542 -2806 -2274 2698 -2834 2418 2018 -2494 2034 2818 2854 2822 -2806 2586 2054 2850 2046 2518 -2894 2478 2838 -2078 2354 2442 2058 2426 2582 2622 2678 -2882 2222 2198 2062 2482 -2594 -2334 -2526 -2886 2690 -2830 2806 -2418 -1994 -2070 -2326 -2702 -2018 2814 1994 -2734 2726 -2606 -2602 2870 2566 -2846 -2870 2030 2426 2678 2318 -2294 2118 2106 -2418 2266 2446 1990 2418 -2722 -2330 -2874 2022 2558 -2454 -2686 2458 1998 2354 -1990 2762 2626 2002 -2346 2682 2814 2222 2406 -2406 2894 2238 2426 -2054 2770 1998 -2850 2590 -2386 -2462 2642 1998 -2134 2654 2178 -2778 2366 -2506 2838 2454 2874 -2022 -2622 -2118 -2138 -2698 2026 2850 -2834 -2230 2102 -2786 -2746 2166 2410 2034 -1994 -1994 2686 2794 -2666 -2746 2694 -2094 2294 2058 -2870 -1998 2890 2030 2750 2794 -2206 -2842 2498 2350 2854 -2846 2886 -2882 -2030 -2006 -2818 2814 2854 -2618 -2018 -2794 2334 2118 -2150 2606 -2742 -2618 2002 2794 1990 2894 -2698 -2694 -2838 2066 -2014 -2046 -2754 -2210 2670 2050 2030 2854 2762 1990 -2870 -2562 -2258 -2850 -2038 2846 -2890 2874 -2818 2378 2682 2642 2806 -2446 -2050 2814 -1994 2014 -2582 -2794 -2706 -2150 -2010 -2162 -2886 2290 2230 -2590 2442 -2114 2890 2134 2010 2206 2050 -1994 2670 2046 2638 2010 2526 2058 -2054 2854 -2546 -2222 2786 2238 -2310 -2878 2842 2850 -2054 2886 -2654 2050 -2638 -2722 2010 -2850 2078 2826 -2854 2710 -2406 -2206 2742 -2078 -2886 -2530 2374 -2838 -2018 -2102 -2062 2534 -2890 2870 2174 -2726 -2386 -2778 2538 2886 2486 2714 -2090 2482 2118 2486 2490 2778 -2850 -2222 2786 -2834 2826 2894 -2814 2002 -2058 2886 2058 2234 2838 2398 2402 2546 -2038 2066 -2698 -2618 2494 -2062 -2850 2890 2110 -2526 -2606 -2846 -2826 -2826 -1990 2478 2098 2706 -2186 2870 -2498 -2834 2722 -2870 -2442 -2874 -2826 -2338 2366 -2206 -2814 -2042 -2354 -2054 -2454 -2254 1990 2098 2742 -2058 2850 -2198 2090 2886 -2338 2166 -2890 -2378 -2054 -2826 -2722 -2854 -2138 -2886 -2374 -2314 -2034 2286 -2894 1990 2294 -2174 -2858 2782 2770 -2822 2422 -2170 -2890 -2238 2790 -2386 -2874 2834 2290 2386 -2866 2194 -2650 2254 2030 2894 2454 2118 -2226 -2302 2054 2830 2858 -2238 -2262 2842 -2714 -2766 -2854 2774 -1998 2098 2042 1994 -2166 2002 -2522 -2566 2890 -2026 -2042 -2046 2306 2462 -2734 2830 2062 2066 -2682 2238 2050 2334 -2710 -2674 2662 2110 -2050 -2014 2894 2358 2710 2782 2698 2774 -2782 -2378 2846 -2886 2582 -2766 -2226 2018 -2862 -2794 1990 -2062 -2858 -2082 2110 2054 -2838 1994 -2738 2030 -2494 2842 2726 2038 -2034 -2530 1990 2818 -2454 -2046 -2886 2562 -2662 -2034 2034 2626 2218 2754 -2398 2818 -2058 2242 2302 2634 -2806 2434 2586 -2874 2694 2274 -2370 2018 -2806 -2062 -2590 -2834 -2754 2026 2562 -2366 2874 -2826 2218 -2266 -2646 2778 2054 -2794 2382 -2078 -2754 2174 -1994 2006 -2594 1990 -2710 2390 1994 -2050 2858 -2042 -2102 2182 -2094 -2770 2794 -2586 2450 -2406 -2246 -2338 -2542 -2274 2566 -2694 2030 -2038 -2834 2030 2834 2134 -2266 2030 2278 2702 2374 -2146 2798 -2386 2378 -2830 -2010 2650 2318 2666 -2778 2014 2526 -2834 -2478 2506 2270 -1994 -2058 -2058 -2878 -2842 -2114 2186 2858 2246 2694 2822 -2730 2034 2042 2818 2838 -2206 -2886 2090 2718 -2622 2158 -2622 -2818 2758 2194 -1990 -2786 2334 2762 -2418 -1990 -2234 -2854 2358 2306 2698 1990 1990 2842 2870 -2390 2038 -2670 -2010 -2330 2818 -2346 -2542 2778 2334 2710 -2894 2838 -2134 -2518 2014 -2314 -2018 2690 -2638 2002 2706 2050 -2846 2794 2218 -2014 -2794 2222 1990 2074 -2198 2854 2886 2470 -2722 2462 2866 -2190 2854 -2054 2366 -2870 -2030 2538 2890 -2030 2654 2670 -2090 -2734 2266 2262 -2130 2654 2110 1998 -2718 -2850 2042 -2546 2830 2298 1994 -2706 -2854 -2478 -2834 2042 -2838 -2058 -2010 -2002 2358 -2746 -2498 1990 2090 1990 -2458 -2354 2018 -1998 2110 2070 -2038 2458 -2218 -2018 2890 2202 2494 2886 -2214 -1998 2054 -1990 2842 2038 2838 2042 -2622 -1990 -2622 -2742 -2346 2882 -2522 2402 2802 -2514 2290 -2442 2778 2018 2710 2818 2610 2742 2602 -2378 2002 -2862 -2150 2626 2886 2874 2198 2894 -2046 -1990 -2858 -2630 2022 -1994 2742 -2822 -2378 2462 -2602 2058 -2034 -2246 2094 2642 2314 -2782 -2838 2030 2846 -2326 -2350 -2390 -2034 -2642 -2682 -2426 2822 -2842 -2742 2054 -2826 -2674 2554 2738 2102 2854 2422 -2070 -2814 -2722 2030 2638 -2346 -2582 2710 -2430 2658 2806 -2702 2286 2578 2818 2042 2298 1990 2790 2526 -2786 2754 -2042 -2394 -2494 -2006 -2846 -2062 2002 2278 2086 2146 2846 -2010 2834 -2854 2846 2038 2882 -2026 -1994 2894 -2830 -2402 -2410 -2278 2226 -2502 -2794 2850 2706 2826 -2834 2890 -2022 2390 -2894 -2054 2714 -2658 -2890 -2026 2158 2670 1990 2330 -2618 2210 2070 -2418 2346 2438 2370 2438 -2066 2894 -2522 -2018 2818 2382 -2782 -2730 2618 2030 1990 2822 2878 2034 -2822 2786 -2014 2306 -2070 -2002 2854 2030 -2306 2882 -2078 2034 2062 2194 2418 -2534 -2750 -2382 -2010 2222 2242 -2358 -2802 2342 -2806 2662 2830 -2286 -2270 2838 2322 2278 -2142 2750 -2878 -2194 -2066 2826 -2438 -2534 -2010 2590 -2826 2006 -2866 2602 2042 2654 -2846 2362 2714 -2030 -2042 -2430 1998 -2506 2282 2822 2670 -2806 2430 2302 -1994 -2410 2034 2894 2826 2622 -1998 2390 -2770 2518 -2802 -1994 2682 2734 -2850 2274 2866 -2286 -2878 2514 -2050 2878 -2578 -2622 2830 2038 2030 -2642 2030 2162 -2870 2150 2386 2042 2122 2158 -1998 -2334 2694 -2042 -2850 2030 -2166 2378 -2814 2846 -2066 -2894 -2426 -2854 2454 -2034 -2602 -2670 -2746 2302 -2446 2006 2894 2226 -2818 2610 2834 2342 -2806 -2154 2038 -2890 2042 -2554 2722 2270 1994 2878 2054 -2286 -2782 2222 -2822 2650 2878 -2882 2454 -2894 -2694 2858 2042 2862 -2854 2178 2450 -2038 -2162 2858 -2050 2366 -2802 -2462 -2734 2058 2866 -2774 2418 2534 2762 -2022 2598 2078 -2666 2842 2878 2310 2110 2390 2778 2830 -2034 2846 -2018 2378 -2566 -2466 -2542 2470 2830 -2398 2890 2698 -1990 -2462 -2066 -2018 -2566 2642 1990 2822 2866 2286 -2018 2078 -2818 -2682 1990 2014 1998 -2798 2070 2102 2498 -2326 2242 2494
1567 unsatisfied constraints, 17033 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-275637-1169224430 -o ROOT/results/node7/solver-275637-1169224430 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275637-1169224430/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 2.16 2.03 2.01 4/87 11989 /proc/meminfo: memFree=1028824/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=18540 CPUtime=0 /proc/11988/stat : 11988 (runsolver) R 11986 11988 11385 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270838475 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/11988/statm: 4635 279 244 17 0 2626 0 [startup+0.103468 s] /proc/loadavg: 2.16 2.03 2.01 4/87 11989 /proc/meminfo: memFree=1028824/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=913068 CPUtime=0.08 /proc/11988/stat : 11988 (java) S 11986 11988 11385 0 -1 0 2847 0 1 0 7 1 0 0 17 0 8 0 270838475 934981632 2593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228267 2593 1395 14 0 215168 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 913068 [startup+0.511512 s] /proc/loadavg: 2.16 2.03 2.01 4/87 11989 /proc/meminfo: memFree=1028824/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915332 CPUtime=0.48 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 7206 0 1 0 43 5 0 0 18 0 8 0 270838475 937299968 6945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228833 6945 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.3326 s] /proc/loadavg: 2.16 2.03 2.01 3/94 11996 /proc/meminfo: memFree=949344/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915612 CPUtime=1.29 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 24142 0 1 0 116 13 0 0 23 0 8 0 270838475 937586688 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228903 23879 2161 14 0 215373 0 [pid=11988/tid=11990] ppid=11986 vsize=915612 CPUtime=0.09 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 7589 0 0 0 6 3 0 0 16 0 8 0 270838479 937586688 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915612 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937586688 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915612 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270838479 937586688 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915612 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937586688 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915612 CPUtime=0.16 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 404 0 0 0 15 1 0 0 16 0 8 0 270838483 937586688 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915612 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937586688 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915612 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937586688 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915612 [startup+2.96976 s] /proc/loadavg: 2.16 2.03 2.01 3/94 11996 /proc/meminfo: memFree=941344/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915744 CPUtime=2.92 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 24217 0 1 0 278 14 0 0 25 0 8 0 270838475 937721856 23952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228936 23952 2181 14 0 215406 0 [pid=11988/tid=11990] ppid=11986 vsize=915744 CPUtime=0.11 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 7589 0 0 0 8 3 0 0 17 0 8 0 270838479 937721856 23952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 23952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 23952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937721856 23952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915744 CPUtime=0.19 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 415 0 0 0 18 1 0 0 16 0 8 0 270838483 937721856 23952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937721856 23952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937721856 23952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.92 Current children cumulated vsize (KiB) 915744 [startup+6.26811 s] /proc/loadavg: 2.15 2.03 2.01 3/94 11996 /proc/meminfo: memFree=941152/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915744 CPUtime=6.19 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 24220 0 1 0 605 14 0 0 25 0 8 0 270838475 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228936 23954 2181 14 0 215406 0 [pid=11988/tid=11990] ppid=11986 vsize=915744 CPUtime=0.11 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 7589 0 0 0 8 3 0 0 16 0 8 0 270838479 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915744 CPUtime=0.19 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 417 0 0 0 18 1 0 0 16 0 8 0 270838483 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 915744 [startup+12.7398 s] /proc/loadavg: 2.13 2.03 2.01 3/94 11996 /proc/meminfo: memFree=941216/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915744 CPUtime=12.6 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 24232 0 1 0 1245 15 0 0 25 0 8 0 270838475 937721856 23965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228936 23965 2182 14 0 215406 0 [pid=11988/tid=11990] ppid=11986 vsize=915744 CPUtime=0.11 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 7589 0 0 0 8 3 0 0 16 0 8 0 270838479 937721856 23965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 23965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 23965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937721856 23965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915744 CPUtime=0.21 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 427 0 0 0 20 1 0 0 16 0 8 0 270838483 937721856 23965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937721856 23965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937721856 23965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 915744 [startup+25.6131 s] /proc/loadavg: 2.10 2.03 2.01 3/94 11996 /proc/meminfo: memFree=932320/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915744 CPUtime=25.37 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 26498 0 1 0 2519 18 0 0 25 0 8 0 270838475 937721856 26229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831410 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228936 26229 2182 14 0 215406 0 [pid=11988/tid=11990] ppid=11986 vsize=915744 CPUtime=0.19 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 9846 0 0 0 15 4 0 0 16 0 8 0 270838479 937721856 26229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 26229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 26229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937721856 26229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915744 CPUtime=0.22 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 434 0 0 0 21 1 0 0 16 0 8 0 270838483 937721856 26229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937721856 26229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937721856 26229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 915744 [startup+51.2368 s] /proc/loadavg: 2.07 2.03 2.01 3/94 11996 /proc/meminfo: memFree=926048/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915744 CPUtime=50.76 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 28073 0 1 0 5052 24 0 0 25 0 8 0 270838475 937721856 27802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228936 27802 2183 14 0 215406 0 [pid=11988/tid=11990] ppid=11986 vsize=915744 CPUtime=0.26 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 11416 0 0 0 22 4 0 0 16 0 8 0 270838479 937721856 27802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 27802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 27802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937721856 27802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915744 CPUtime=0.23 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 437 0 0 0 22 1 0 0 16 0 8 0 270838483 937721856 27802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937721856 27802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937721856 27802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.76 Current children cumulated vsize (KiB) 915744 [startup+102.52 s] /proc/loadavg: 2.03 2.02 2.00 3/94 11996 /proc/meminfo: memFree=904352/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915744 CPUtime=101.52 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 33802 0 1 0 10114 38 0 0 25 0 8 0 270838475 937721856 33524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11988/statm: 228936 33524 2501 14 0 215406 0 [pid=11988/tid=11990] ppid=11986 vsize=915744 CPUtime=0.7 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 16756 0 0 0 64 6 0 0 16 0 8 0 270838479 937721856 33524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 33524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270838479 937721856 33524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937721856 33524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915744 CPUtime=0.3 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 474 0 0 0 29 1 0 0 16 0 8 0 270838483 937721856 33524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937721856 33524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915744 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937721856 33524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.52 Current children cumulated vsize (KiB) 915744 [startup+162.558 s] /proc/loadavg: 2.01 2.02 2.00 3/94 11996 /proc/meminfo: memFree=904416/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915744 CPUtime=160.98 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 33804 0 1 0 16052 46 0 0 25 0 8 0 270838475 937721856 33526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2019.48 Current children cumulated vsize (KiB) 915984 [startup+2084.67 s] /proc/loadavg: 2.00 2.00 2.00 3/93 12243 /proc/meminfo: memFree=1160936/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915984 CPUtime=2079.49 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 51244 0 1 0 207854 95 0 0 25 0 8 0 270838475 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318443 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 228996 50950 2548 14 0 215466 0 [pid=11988/tid=11990] ppid=11986 vsize=915984 CPUtime=0.88 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 33950 0 0 0 76 12 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915984 CPUtime=0.43 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 602 0 0 0 41 2 0 0 16 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2079.49 Current children cumulated vsize (KiB) 915984 [startup+2144.74 s] /proc/loadavg: 2.00 2.00 2.00 4/93 12243 /proc/meminfo: memFree=1161000/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915984 CPUtime=2139.49 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 51244 0 1 0 213854 95 0 0 25 0 8 0 270838475 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 228996 50950 2548 14 0 215466 0 [pid=11988/tid=11990] ppid=11986 vsize=915984 CPUtime=0.88 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 33950 0 0 0 76 12 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915984 CPUtime=0.43 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 602 0 0 0 41 2 0 0 16 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2139.49 Current children cumulated vsize (KiB) 915984 [startup+2204.81 s] /proc/loadavg: 2.00 2.00 2.00 3/93 12243 /proc/meminfo: memFree=1161064/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915984 CPUtime=2199.49 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 51244 0 1 0 219854 95 0 0 25 0 8 0 270838475 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074291861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 228996 50950 2548 14 0 215466 0 [pid=11988/tid=11990] ppid=11986 vsize=915984 CPUtime=0.88 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 33950 0 0 0 76 12 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915984 CPUtime=0.43 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 602 0 0 0 41 2 0 0 16 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2199.49 Current children cumulated vsize (KiB) 915984 [startup+2264.88 s] /proc/loadavg: 2.00 2.00 2.00 5/93 12243 /proc/meminfo: memFree=1161000/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915984 CPUtime=2259.52 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 51244 0 1 0 225856 96 0 0 25 0 8 0 270838475 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318469 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 228996 50950 2548 14 0 215466 0 [pid=11988/tid=11990] ppid=11986 vsize=915984 CPUtime=0.88 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 33950 0 0 0 76 12 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915984 CPUtime=0.43 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 602 0 0 0 41 2 0 0 16 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2259.52 Current children cumulated vsize (KiB) 915984 [startup+2324.94 s] /proc/loadavg: 2.04 2.01 2.00 3/93 12243 /proc/meminfo: memFree=1161000/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915984 CPUtime=2319.51 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 51244 0 1 0 231855 96 0 0 25 0 8 0 270838475 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074291881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 228996 50950 2548 14 0 215466 0 [pid=11988/tid=11990] ppid=11986 vsize=915984 CPUtime=0.88 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 33950 0 0 0 76 12 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915984 CPUtime=0.43 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 602 0 0 0 41 2 0 0 16 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2319.51 Current children cumulated vsize (KiB) 915984 [startup+2385.02 s] /proc/loadavg: 2.01 2.01 2.00 4/93 12243 /proc/meminfo: memFree=1161000/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915984 CPUtime=2379.54 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 51244 0 1 0 237858 96 0 0 25 0 8 0 270838475 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074345248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 228996 50950 2548 14 0 215466 0 [pid=11988/tid=11990] ppid=11986 vsize=915984 CPUtime=0.88 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 33950 0 0 0 76 12 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915984 CPUtime=0.43 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 602 0 0 0 41 2 0 0 16 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2379.54 Current children cumulated vsize (KiB) 915984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2405.61 s] /proc/loadavg: 2.01 2.00 2.00 3/93 12243 /proc/meminfo: memFree=1160936/2055920 swapFree=4192812/4192956 [pid=11988] ppid=11986 vsize=915984 CPUtime=2400.09 /proc/11988/stat : 11988 (java) R 11986 11988 11385 0 -1 0 51244 0 1 0 239913 96 0 0 25 0 8 0 270838475 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318469 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11988/statm: 228996 50950 2548 14 0 215466 0 [pid=11988/tid=11990] ppid=11986 vsize=915984 CPUtime=0.88 /proc/11988/task/11990/stat : 11990 (java) S 11986 11988 11385 0 -1 64 33950 0 0 0 76 12 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11991] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11991/stat : 11991 (java) S 11986 11988 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11992] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11992/stat : 11992 (java) S 11986 11988 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270838479 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11993] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11993/stat : 11993 (java) S 11986 11988 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11994] ppid=11986 vsize=915984 CPUtime=0.43 /proc/11988/task/11994/stat : 11994 (java) S 11986 11988 11385 0 -1 64 602 0 0 0 41 2 0 0 16 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11988/tid=11995] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11995/stat : 11995 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11988/tid=11996] ppid=11986 vsize=915984 CPUtime=0 /proc/11988/task/11996/stat : 11996 (java) S 11986 11988 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270838483 937967616 50950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 915984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2405.69 CPU time (s): 2400.17 CPU user time (s): 2399.18 CPU system time (s): 0.995848 CPU usage (%): 99.7706 Max. virtual memory (cumulated for all children) (KiB): 915984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.18 system time used= 0.995848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51268 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= 50474 involuntary context switches= 79563 runsolver used 2.6586 s user time and 8.17676 s system time The end
Begin job on node7 on Fri Jan 19 16:33:50 UTC 2007 IDJOB= 275637 IDBENCH= 4185 IDSOLVER= 69 FILE ID= node7/275637-1169224430 PBS_JOBID= 3588941 Free space on /tmp= 66558 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-5.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275637-1169224430/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-275637-1169224430 -o ROOT/results/node7/solver-275637-1169224430 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275637-1169224430/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 5e3c65923e669c1502345f1887a5f156 RANDOM SEED= 686382762 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.220 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.220 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: 1029304 kB Buffers: 51620 kB Cached: 501560 kB SwapCached: 0 kB Active: 517516 kB Inactive: 426988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1029304 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4268 kB Writeback: 0 kB Mapped: 411480 kB Slab: 66204 kB Committed_AS: 8141804 kB PageTables: 3024 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= 66558 MiB End job on node7 on Fri Jan 19 17:13:57 UTC 2007