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.08 | 2421.6 |
| Name | fapp/fapp11-15/fapp12/ fapp12-1500-1.xml |
| MD5SUM | 377352dfd2684bf560df5698f67e0e65 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 24589 |
| Best CPU time to get the best result obtained on this benchmark | 2400.08 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 1500 |
| Number of constraints | 25409 |
| Maximum constraint arity | 2 |
| Maximum domain size | 310 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 25409 |
| Global constraints used (with number of constraints) |
0.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=pfc.xml 0.34 0.34 instance 0.34 name=/tmp/evaluation/275265-1169219022/unknown.xml 0.37 0.37 domains being loaded... 0.41 0.41 variables being loaded... 0.65 nbVariables=1500 nbDomainTypes=13 minDomainSize=42 maxDomainSize=310 0.65 => wckTime=0.338 cpuTime=0.23 mem=22M521 0.65 0.65 predicates being loaded... 0.65 0.65 constraints being loaded... 61.46 61.46 INFO : Stopping converting binary constraints (cpu=60.01, mem = 65M125) 62.00 nbConstraints=25409 nbConvertedConstraints=18157 nbConvertConstraintsChecks=184214308 nbExtensionStructures=3337 62.00 nbSharedExtensionStructures=14820 nbConflictsStructures=3337 nbSharedConflictsStructures=14820 62.00 nbSharedBinaryRepresentations=1559384 nbEvaluationManagers=1864 nbSharedEvaluationManagers=5388 maxDegree=43 62.00 maxArity=2 62.00 => wckTime=61.693 cpuTime=60.36 mem=57M83 62.26 62.26 solver LocalSearchSolver being built... 62.30 => wckTime=61.994 cpuTime=60.41 mem=58M300 62.40 62.40 s SATISFIABLE 62.40 o 20008 62.40 c 5401 62.46 o 20016 62.46 c 5393 62.50 o 20023 62.50 c 5386 62.52 o 20030 62.52 c 5379 62.55 o 20039 62.55 c 5370 62.59 o 20043 62.59 c 5366 62.60 o 20052 62.60 c 5357 62.62 o 20059 62.62 c 5350 62.64 o 20066 62.64 c 5343 62.66 o 20072 62.66 c 5337 62.68 o 20077 62.68 c 5332 62.70 o 20081 62.70 c 5328 62.72 o 20085 62.72 c 5324 62.73 o 20088 62.73 c 5321 62.75 o 20090 62.75 c 5319 62.78 o 20091 62.78 c 5318 62.80 o 20100 62.80 c 5309 62.83 o 20109 62.83 c 5300 62.85 o 20117 62.85 c 5292 62.88 o 20124 62.88 c 5285 62.90 o 20130 62.90 c 5279 62.92 o 20136 62.92 c 5273 62.94 o 20142 62.94 c 5267 62.96 o 20148 62.96 c 5261 62.98 o 20154 62.98 c 5255 63.00 o 20159 63.00 c 5250 63.02 o 20164 63.02 c 5245 63.04 o 20169 63.04 c 5240 63.06 o 20174 63.06 c 5235 63.08 o 20178 63.08 c 5231 63.10 o 20182 63.10 c 5227 63.13 o 20185 63.13 c 5224 63.15 o 20188 63.15 c 5221 63.17 o 20191 63.17 c 5218 63.18 o 20194 63.18 c 5215 63.21 o 20195 63.21 c 5214 63.22 o 20202 63.22 c 5207 63.26 o 20204 63.26 c 5205 63.28 o 20214 63.28 c 5195 63.30 o 20218 63.30 c 5191 63.33 o 20224 63.33 c 5185 63.35 o 20230 63.35 c 5179 63.38 o 20235 63.38 c 5174 63.40 o 20240 63.40 c 5169 63.41 o 20244 63.41 c 5165 63.43 o 20248 63.43 c 5161 63.45 o 20252 63.45 c 5157 63.46 o 20255 63.46 c 5154 63.48 o 20258 63.48 c 5151 63.49 o 20261 63.49 c 5148 63.51 o 20263 63.51 c 5146 63.53 o 20265 63.53 c 5144 63.54 o 20267 63.54 c 5142 63.58 o 20278 63.58 c 5131 63.60 o 20282 63.60 c 5127 63.62 o 20289 63.62 c 5120 63.64 o 20294 63.64 c 5115 63.66 o 20300 63.66 c 5109 63.68 o 20305 63.68 c 5104 63.71 o 20309 63.71 c 5100 63.73 o 20314 63.73 c 5095 63.77 o 20316 63.77 c 5093 63.80 o 20323 63.80 c 5086 63.84 o 20328 63.84 c 5081 63.87 o 20335 63.87 c 5074 63.91 o 20341 63.91 c 5068 63.94 o 20347 63.94 c 5062 63.98 o 20353 63.98 c 5056 64.02 o 20359 64.02 c 5050 64.05 o 20365 64.05 c 5044 64.09 o 20370 64.09 c 5039 64.12 o 20375 64.12 c 5034 64.15 o 20380 64.15 c 5029 64.19 o 20384 64.19 c 5025 64.22 o 20388 64.22 c 5021 64.25 o 20392 64.25 c 5017 64.28 o 20396 64.28 c 5013 64.31 o 20404 64.31 c 5005 64.34 o 20407 64.34 c 5002 64.37 o 20410 64.37 c 4999 64.40 o 20413 64.40 c 4996 64.42 o 20416 64.42 c 4993 64.44 o 20418 64.44 c 4991 64.47 o 20419 64.47 c 4990 64.50 o 20420 64.50 c 4989 64.52 o 20427 64.52 c 4982 64.55 o 20428 64.55 c 4981 64.57 o 20429 64.57 c 4980 64.61 o 20432 64.61 c 4977 64.64 o 20435 64.64 c 4974 64.66 o 20438 64.66 c 4971 64.67 o 20441 64.67 c 4968 64.69 o 20445 64.69 c 4964 64.71 o 20450 64.71 c 4959 64.74 o 20455 64.74 c 4954 64.76 o 20461 64.76 c 4948 64.78 o 20463 64.78 c 4946 64.80 o 20466 64.80 c 4943 64.82 o 20469 64.82 c 4940 64.84 o 20472 64.84 c 4937 64.86 o 20476 64.86 c 4933 64.88 o 20479 64.88 c 4930 64.93 o 20486 64.93 c 4923 64.95 o 20489 64.95 c 4920 64.96 o 20495 64.96 c 4914 64.98 o 20496 64.98 c 4913 65.00 o 20501 65.00 c 4908 65.01 o 20506 65.01 c 4903 65.03 o 20508 65.03 c 4901 65.05 o 20510 65.05 c 4899 65.08 o 20513 65.08 c 4896 65.10 o 20514 65.10 c 4895 65.13 o 20517 65.13 c 4892 65.15 o 20519 65.15 c 4890 65.18 o 20521 65.18 c 4888 65.20 o 20527 65.20 c 4882 65.22 o 20533 65.22 c 4876 65.25 o 20539 65.25 c 4870 65.27 o 20544 65.27 c 4865 65.30 o 20548 65.30 c 4861 65.33 o 20551 65.33 c 4858 65.35 o 20554 65.35 c 4855 65.37 o 20557 65.37 c 4852 65.40 o 20559 65.40 c 4850 65.42 o 20561 65.42 c 4848 65.45 o 20564 65.45 c 4845 65.47 o 20566 65.48 c 4843 65.49 o 20568 65.49 c 4841 65.51 o 20569 65.51 c 4840 65.58 o 20571 65.58 c 4838 65.61 o 20575 65.61 c 4834 65.63 o 20580 65.63 c 4829 65.66 o 20581 65.66 c 4828 65.68 o 20586 65.68 c 4823 65.70 o 20592 65.70 c 4817 65.72 o 20596 65.72 c 4813 65.74 o 20599 65.74 c 4810 65.76 o 20604 65.76 c 4805 65.78 o 20605 65.78 c 4804 65.80 o 20606 65.80 c 4803 65.82 o 20607 65.82 c 4802 65.84 o 20610 65.84 c 4799 65.85 o 20616 65.85 c 4793 65.87 o 20622 65.87 c 4787 65.89 o 20624 65.89 c 4785 65.92 o 20627 65.92 c 4782 65.93 o 20629 65.93 c 4780 65.95 o 20635 65.95 c 4774 65.96 o 20639 65.96 c 4770 65.98 o 20649 65.98 c 4760 66.00 o 20655 66.00 c 4754 66.01 o 20663 66.01 c 4746 66.03 o 20668 66.03 c 4741 66.04 o 20674 66.04 c 4735 66.05 o 20677 66.06 c 4732 66.07 o 20680 66.07 c 4729 66.09 o 20682 66.09 c 4727 66.10 o 20686 66.10 c 4723 66.11 o 20688 66.11 c 4721 66.13 o 20694 66.13 c 4715 66.15 o 20699 66.15 c 4710 66.18 o 20700 66.18 c 4709 66.20 o 20704 66.20 c 4705 66.22 o 20715 66.22 c 4694 66.23 o 20722 66.23 c 4687 66.25 o 20728 66.25 c 4681 66.27 o 20732 66.27 c 4677 66.31 o 20733 66.31 c 4676 66.32 o 20737 66.32 c 4672 66.35 o 20744 66.35 c 4665 66.38 o 20751 66.38 c 4658 66.41 o 20757 66.41 c 4652 66.44 o 20763 66.45 c 4646 66.48 o 20769 66.48 c 4640 66.51 o 20775 66.51 c 4634 66.54 o 20781 66.54 c 4628 66.59 o 20786 66.59 c 4623 66.62 o 20793 66.62 c 4616 66.66 o 20798 66.66 c 4611 66.69 o 20802 66.69 c 4607 66.73 o 20806 66.73 c 4603 66.77 o 20810 66.77 c 4599 66.81 o 20813 66.81 c 4596 66.84 o 20816 66.84 c 4593 66.88 o 20819 66.88 c 4590 66.91 o 20822 66.91 c 4587 66.94 o 20825 66.94 c 4584 66.96 o 20828 66.96 c 4581 67.00 o 20831 67.00 c 4578 67.02 o 20834 67.02 c 4575 67.06 o 20836 67.06 c 4573 67.09 o 20838 67.09 c 4571 67.11 o 20840 67.11 c 4569 67.14 o 20842 67.14 c 4567 67.17 o 20844 67.17 c 4565 67.20 o 20846 67.20 c 4563 67.22 o 20848 67.22 c 4561 67.25 o 20849 67.25 c 4560 67.28 o 20850 67.28 c 4559 67.30 o 20851 67.30 c 4558 67.34 o 20856 67.34 c 4553 67.40 o 20857 67.40 c 4552 67.43 o 20862 67.43 c 4547 67.47 o 20863 67.47 c 4546 67.50 o 20867 67.50 c 4542 67.53 o 20871 67.53 c 4538 67.56 o 20873 67.56 c 4536 67.61 o 20876 67.61 c 4533 67.63 o 20884 67.63 c 4525 67.65 o 20889 67.65 c 4520 67.67 o 20893 67.67 c 4516 67.70 o 20898 67.70 c 4511 67.72 o 20901 67.72 c 4508 67.74 o 20902 67.74 c 4507 67.77 o 20905 67.77 c 4504 67.79 o 20908 67.79 c 4501 67.82 o 20911 67.82 c 4498 67.85 o 20916 67.85 c 4493 67.91 o 20917 67.91 c 4492 67.93 o 20922 67.93 c 4487 67.96 o 20927 67.96 c 4482 67.99 o 20931 67.99 c 4478 68.02 o 20936 68.02 c 4473 68.05 o 20941 68.05 c 4468 68.07 o 20944 68.07 c 4465 68.14 o 20950 68.14 c 4459 68.17 o 20951 68.17 c 4458 68.20 o 20953 68.20 c 4456 68.23 o 20955 68.23 c 4454 68.26 o 20956 68.26 c 4453 68.29 o 20958 68.29 c 4451 68.32 o 20960 68.32 c 4449 68.35 o 20962 68.35 c 4447 68.38 o 20968 68.38 c 4441 68.44 o 20970 68.44 c 4439 68.47 o 20974 68.47 c 4435 68.50 o 20979 68.50 c 4430 68.52 o 20986 68.52 c 4423 68.55 o 20987 68.55 c 4422 68.59 o 20990 68.59 c 4419 68.61 o 20999 68.61 c 4410 68.64 o 21004 68.64 c 4405 68.67 o 21006 68.67 c 4403 68.69 o 21010 68.69 c 4399 68.71 o 21015 68.71 c 4394 68.73 o 21016 68.73 c 4393 68.80 o 21023 68.80 c 4386 68.83 o 21025 68.83 c 4384 68.87 o 21027 68.87 c 4382 68.88 o 21033 68.88 c 4376 68.90 o 21037 68.90 c 4372 68.93 o 21042 68.93 c 4367 68.96 o 21046 68.96 c 4363 68.99 o 21050 68.99 c 4359 69.02 o 21057 69.02 c 4352 69.06 o 21060 69.06 c 4349 69.09 o 21062 69.09 c 4347 69.11 o 21064 69.11 c 4345 69.14 o 21065 69.14 c 4344 69.16 o 21069 69.16 c 4340 69.19 o 21074 69.19 c 4335 69.22 o 21075 69.22 c 4334 69.25 o 21077 69.25 c 4332 69.30 o 21080 69.30 c 4329 69.45 o 21084 69.45 c 4325 69.50 o 21086 69.50 c 4323 69.55 o 21089 69.55 c 4320 69.58 o 21091 69.58 c 4318 69.60 o 21095 69.60 c 4314 69.64 o 21098 69.64 c 4311 69.67 o 21101 69.67 c 4308 69.71 o 21105 69.71 c 4304 69.73 o 21109 69.73 c 4300 69.76 o 21110 69.76 c 4299 69.80 o 21114 69.80 c 4295 69.86 o 21115 69.86 c 4294 69.90 o 21119 69.90 c 4290 69.92 o 21124 69.92 c 4285 69.96 o 21125 69.96 c 4284 69.99 o 21131 69.99 c 4278 70.02 o 21132 70.02 c 4277 70.04 o 21136 70.04 c 4273 70.07 o 21139 70.07 c 4270 70.10 o 21145 70.10 c 4264 70.13 o 21149 70.13 c 4260 70.21 o 21155 70.21 c 4254 70.25 o 21157 70.25 c 4252 70.32 o 21158 70.32 c 4251 70.42 o 21161 70.42 c 4248 70.45 o 21163 70.45 c 4246 70.48 o 21165 70.48 c 4244 70.51 o 21168 70.51 c 4241 70.54 o 21170 70.54 c 4239 70.57 o 21173 70.57 c 4236 70.61 o 21179 70.61 c 4230 70.64 o 21181 70.64 c 4228 70.67 o 21182 70.67 c 4227 70.70 o 21185 70.70 c 4224 70.73 o 21186 70.73 c 4223 70.76 o 21190 70.76 c 4219 70.82 o 21191 70.82 c 4218 70.86 o 21194 70.86 c 4215 70.89 o 21195 70.89 c 4214 70.92 o 21196 70.92 c 4213 70.95 o 21201 70.95 c 4208 70.97 o 21208 70.97 c 4201 70.99 o 21209 70.99 c 4200 71.02 o 21212 71.02 c 4197 71.05 o 21214 71.05 c 4195 71.11 o 21217 71.11 c 4192 71.14 o 21222 71.14 c 4187 71.16 o 21225 71.16 c 4184 71.19 o 21230 71.19 c 4179 71.22 o 21232 71.22 c 4177 71.24 o 21233 71.24 c 4176 71.27 o 21244 71.27 c 4165 71.30 o 21248 71.30 c 4161 71.33 o 21250 71.33 c 4159 71.36 o 21252 71.36 c 4157 71.38 o 21256 71.38 c 4153 71.45 o 21257 71.45 c 4152 71.48 o 21261 71.48 c 4148 71.51 o 21262 71.51 c 4147 71.54 o 21263 71.54 c 4146 71.57 o 21265 71.57 c 4144 71.66 o 21266 71.66 c 4143 71.72 o 21270 71.72 c 4139 71.76 o 21275 71.76 c 4134 71.80 o 21280 71.80 c 4129 71.84 o 21282 71.84 c 4127 71.89 o 21284 71.89 c 4125 71.93 o 21288 71.93 c 4121 71.97 o 21291 71.97 c 4118 72.00 o 21293 72.00 c 4116 72.03 o 21295 72.03 c 4114 72.06 o 21299 72.06 c 4110 72.10 o 21301 72.10 c 4108 72.13 o 21303 72.13 c 4106 72.26 o 21307 72.26 c 4102 72.30 o 21310 72.30 c 4099 72.34 o 21311 72.34 c 4098 72.36 o 21316 72.37 c 4093 72.39 o 21319 72.39 c 4090 72.43 o 21322 72.43 c 4087 72.46 o 21325 72.46 c 4084 72.53 o 21326 72.53 c 4083 72.55 o 21333 72.55 c 4076 72.59 o 21338 72.59 c 4071 72.62 o 21342 72.62 c 4067 72.65 o 21344 72.65 c 4065 72.69 o 21346 72.69 c 4063 72.72 o 21348 72.72 c 4061 72.75 o 21350 72.75 c 4059 72.78 o 21352 72.78 c 4057 72.86 o 21353 72.86 c 4056 72.90 o 21358 72.90 c 4051 72.92 o 21361 72.92 c 4048 72.97 o 21365 72.97 c 4044 73.01 o 21370 73.01 c 4039 73.04 o 21372 73.04 c 4037 73.07 o 21373 73.08 c 4036 73.10 o 21377 73.10 c 4032 73.13 o 21382 73.13 c 4027 73.25 o 21384 73.25 c 4025 73.31 o 21387 73.31 c 4022 73.34 o 21390 73.34 c 4019 73.41 o 21392 73.41 c 4017 73.44 o 21398 73.44 c 4011 73.50 o 21400 73.50 c 4009 73.54 o 21401 73.54 c 4008 73.57 o 21407 73.57 c 4002 73.61 o 21408 73.61 c 4001 73.65 o 21411 73.65 c 3998 73.69 o 21414 73.69 c 3995 73.79 o 21417 73.79 c 3992 73.82 o 21419 73.82 c 3990 73.85 o 21420 73.85 c 3989 73.93 o 21421 73.93 c 3988 73.96 o 21425 73.96 c 3984 74.00 o 21429 74.00 c 3980 74.03 o 21431 74.03 c 3978 74.06 o 21434 74.06 c 3975 74.09 o 21437 74.09 c 3972 74.12 o 21438 74.12 c 3971 74.17 o 21440 74.17 c 3969 74.20 o 21441 74.20 c 3968 74.23 o 21444 74.23 c 3965 74.27 o 21449 74.27 c 3960 74.29 o 21451 74.29 c 3958 74.32 o 21454 74.32 c 3955 74.36 o 21456 74.36 c 3953 74.44 o 21461 74.44 c 3948 74.49 o 21468 74.49 c 3941 74.53 o 21472 74.53 c 3937 74.75 o 21473 74.75 c 3936 74.80 o 21478 74.80 c 3931 74.89 o 21480 74.89 c 3929 75.02 o 21485 75.02 c 3924 75.06 o 21490 75.06 c 3919 75.11 o 21495 75.11 c 3914 75.20 o 21498 75.20 c 3911 75.24 o 21504 75.24 c 3905 75.28 o 21509 75.28 c 3900 75.33 o 21514 75.33 c 3895 75.37 o 21517 75.37 c 3892 75.41 o 21521 75.41 c 3888 75.45 o 21524 75.45 c 3885 75.49 o 21528 75.49 c 3881 75.53 o 21530 75.53 c 3879 75.57 o 21532 75.57 c 3877 75.66 o 21536 75.66 c 3873 75.71 o 21537 75.71 c 3872 75.76 o 21538 75.76 c 3871 75.81 o 21541 75.81 c 3868 75.95 o 21545 75.95 c 3864 76.20 o 21547 76.20 c 3862 76.25 o 21550 76.25 c 3859 76.29 o 21551 76.29 c 3858 76.35 o 21557 76.35 c 3852 76.39 o 21559 76.39 c 3850 76.44 o 21562 76.44 c 3847 76.49 o 21563 76.49 c 3846 76.54 o 21565 76.54 c 3844 76.60 o 21567 76.60 c 3842 76.65 o 21569 76.65 c 3840 76.70 o 21571 76.70 c 3838 76.76 o 21573 76.76 c 3836 76.80 o 21576 76.80 c 3833 76.85 o 21578 76.85 c 3831 76.89 o 21582 76.89 c 3827 76.95 o 21583 76.95 c 3826 76.99 o 21584 76.99 c 3825 77.09 o 21586 77.09 c 3823 77.21 o 21590 77.21 c 3819 77.42 o 21594 77.42 c 3815 77.46 o 21599 77.46 c 3810 77.50 o 21601 77.50 c 3808 77.55 o 21603 77.55 c 3806 77.59 o 21604 77.59 c 3805 77.62 o 21606 77.62 c 3803 77.66 o 21610 77.66 c 3799 77.70 o 21612 77.70 c 3797 77.79 o 21615 77.79 c 3794 77.82 o 21617 77.82 c 3792 77.86 o 21623 77.86 c 3786 77.89 o 21628 77.89 c 3781 77.93 o 21629 77.93 c 3780 77.97 o 21630 77.97 c 3779 78.00 o 21632 78.00 c 3777 78.04 o 21635 78.04 c 3774 78.12 o 21639 78.12 c 3770 78.15 o 21640 78.15 c 3769 78.19 o 21643 78.19 c 3766 78.22 o 21649 78.22 c 3760 78.30 o 21653 78.30 c 3756 78.33 o 21657 78.33 c 3752 78.40 o 21658 78.40 c 3751 78.46 o 21659 78.46 c 3750 78.50 o 21663 78.50 c 3746 78.53 o 21668 78.53 c 3741 78.60 o 21669 78.60 c 3740 78.64 o 21670 78.64 c 3739 78.67 o 21673 78.67 c 3736 78.71 o 21674 78.71 c 3735 78.74 o 21678 78.74 c 3731 78.77 o 21679 78.77 c 3730 78.88 o 21686 78.88 c 3723 79.18 o 21690 79.18 c 3719 79.23 o 21693 79.23 c 3716 79.28 o 21694 79.28 c 3715 79.38 o 21696 79.38 c 3713 79.49 o 21700 79.49 c 3709 79.55 o 21703 79.55 c 3706 79.60 o 21705 79.60 c 3704 79.66 o 21706 79.66 c 3703 79.91 o 21707 79.91 c 3702 80.02 o 21710 80.02 c 3699 80.08 o 21715 80.08 c 3694 80.32 o 21716 80.32 c 3693 80.38 o 21717 80.38 c 3692 80.43 o 21721 80.43 c 3688 80.48 o 21722 80.48 c 3687 80.54 o 21724 80.54 c 3685 80.60 o 21727 80.60 c 3682 80.65 o 21728 80.65 c 3681 80.92 o 21729 80.92 c 3680 80.98 o 21734 80.98 c 3675 81.04 o 21736 81.04 c 3673 81.15 o 21739 81.15 c 3670 81.21 o 21744 81.21 c 3665 81.28 o 21745 81.28 c 3664 81.34 o 21750 81.34 c 3659 81.41 o 21752 81.41 c 3657 81.55 o 21754 81.55 c 3655 81.84 o 21758 81.84 c 3651 81.89 o 21759 81.89 c 3650 81.95 o 21760 81.95 c 3649 82.01 o 21763 82.01 c 3646 82.06 o 21766 82.06 c 3643 82.11 o 21769 82.11 c 3640 82.17 o 21771 82.17 c 3638 82.22 o 21772 82.22 c 3637 82.28 o 21774 82.28 c 3635 82.33 o 21778 82.33 c 3631 82.50 o 21779 82.50 c 3630 82.57 o 21782 82.57 c 3627 82.63 o 21784 82.63 c 3625 82.69 o 21788 82.69 c 3621 82.80 o 21797 82.80 c 3612 82.85 o 21800 82.85 c 3609 82.95 o 21802 82.95 c 3607 83.01 o 21804 83.01 c 3605 83.06 o 21805 83.06 c 3604 83.16 o 21808 83.16 c 3601 83.21 o 21809 83.21 c 3600 83.32 o 21814 83.32 c 3595 83.38 o 21816 83.38 c 3593 83.42 o 21819 83.42 c 3590 83.51 o 21825 83.51 c 3584 83.74 o 21828 83.74 c 3581 83.86 o 21831 83.86 c 3578 83.97 o 21832 83.97 c 3577 84.14 o 21834 84.14 c 3575 84.20 o 21836 84.20 c 3573 84.26 o 21837 84.26 c 3572 84.32 o 21838 84.32 c 3571 84.38 o 21840 84.38 c 3569 84.45 o 21845 84.45 c 3564 84.51 o 21846 84.51 c 3563 84.62 o 21847 84.62 c 3562 84.69 o 21848 84.69 c 3561 84.81 o 21853 84.81 c 3556 84.98 o 21856 84.98 c 3553 85.09 o 21858 85.09 c 3551 85.14 o 21862 85.14 c 3547 85.20 o 21866 85.20 c 3543 85.25 o 21869 85.25 c 3540 85.31 o 21873 85.31 c 3536 85.48 o 21875 85.48 c 3534 85.55 o 21878 85.55 c 3531 85.86 o 21883 85.86 c 3526 85.93 o 21886 85.93 c 3523 86.13 o 21890 86.13 c 3519 86.19 o 21896 86.19 c 3513 86.25 o 21898 86.25 c 3511 86.50 o 21906 86.50 c 3503 86.88 o 21910 86.88 c 3499 86.94 o 21911 86.94 c 3498 87.00 o 21915 87.00 c 3494 87.09 o 21919 87.09 c 3490 87.20 o 21922 87.20 c 3487 87.25 o 21924 87.25 c 3485 87.38 o 21925 87.38 c 3484 87.43 o 21926 87.43 c 3483 87.48 o 21927 87.48 c 3482 87.53 o 21931 87.53 c 3478 87.59 o 21934 87.59 c 3475 87.67 o 21938 87.67 c 3471 87.77 o 21939 87.77 c 3470 87.81 o 21944 87.81 c 3465 87.87 o 21946 87.87 c 3463 87.92 o 21950 87.92 c 3459 87.98 o 21956 87.98 c 3453 88.03 o 21960 88.03 c 3449 88.19 o 21962 88.19 c 3447 88.24 o 21964 88.24 c 3445 88.29 o 21966 88.29 c 3443 88.34 o 21970 88.34 c 3439 88.45 o 21971 88.45 c 3438 88.51 o 21973 88.51 c 3436 88.55 o 21975 88.56 c 3434 88.61 o 21976 88.61 c 3433 88.66 o 21977 88.66 c 3432 88.79 o 21981 88.79 c 3428 88.84 o 21984 88.84 c 3425 88.90 o 21989 88.90 c 3420 88.96 o 21990 88.96 c 3419 89.01 o 21991 89.01 c 3418 89.06 o 21993 89.06 c 3416 89.12 o 21997 89.12 c 3412 89.17 o 21999 89.17 c 3410 89.23 o 22002 89.23 c 3407 89.29 o 22003 89.29 c 3406 89.35 o 22007 89.35 c 3402 89.51 o 22011 89.51 c 3398 89.56 o 22015 89.56 c 3394 89.61 o 22019 89.61 c 3390 89.67 o 22021 89.67 c 3388 89.73 o 22024 89.73 c 3385 89.79 o 22027 89.79 c 3382 89.86 o 22032 89.86 c 3377 89.92 o 22036 89.92 c 3373 89.98 o 22037 89.98 c 3372 90.04 o 22039 90.04 c 3370 90.22 o 22042 90.22 c 3367 90.28 o 22043 90.28 c 3366 90.41 o 22044 90.41 c 3365 90.47 o 22045 90.47 c 3364 90.54 o 22049 90.54 c 3360 90.59 o 22050 90.59 c 3359 90.71 o 22051 90.71 c 3358 90.77 o 22052 90.77 c 3357 90.83 o 22057 90.83 c 3352 90.89 o 22060 90.89 c 3349 91.03 o 22062 91.03 c 3347 91.10 o 22063 91.10 c 3346 91.17 o 22066 91.17 c 3343 91.24 o 22067 91.24 c 3342 91.32 o 22068 91.32 c 3341 91.39 o 22069 91.39 c 3340 91.47 o 22072 91.47 c 3337 91.55 o 22074 91.55 c 3335 91.62 o 22076 91.62 c 3333 91.70 o 22079 91.70 c 3330 91.86 o 22081 91.86 c 3328 91.93 o 22087 91.93 c 3322 92.00 o 22089 92.00 c 3320 92.07 o 22090 92.07 c 3319 92.29 o 22091 92.29 c 3318 92.50 o 22092 92.50 c 3317 92.58 o 22093 92.58 c 3316 92.65 o 22096 92.65 c 3313 92.72 o 22098 92.72 c 3311 92.79 o 22103 92.79 c 3306 92.87 o 22108 92.87 c 3301 93.01 o 22110 93.02 c 3299 93.30 o 22112 93.30 c 3297 93.37 o 22118 93.37 c 3291 93.44 o 22119 93.44 c 3290 93.51 o 22123 93.51 c 3286 93.74 o 22125 93.74 c 3284 93.89 o 22126 93.89 c 3283 93.96 o 22128 93.96 c 3281 94.03 o 22129 94.03 c 3280 94.09 o 22131 94.09 c 3278 94.16 o 22135 94.16 c 3274 94.24 o 22138 94.24 c 3271 94.32 o 22139 94.32 c 3270 94.47 o 22143 94.47 c 3266 94.61 o 22145 94.61 c 3264 94.75 o 22146 94.75 c 3263 94.83 o 22148 94.83 c 3261 94.90 o 22150 94.90 c 3259 94.98 o 22153 94.98 c 3256 95.05 o 22154 95.05 c 3255 95.14 o 22157 95.14 c 3252 96.28 o 22160 96.28 c 3249 96.36 o 22161 96.36 c 3248 96.53 o 22163 96.53 c 3246 96.60 o 22165 96.60 c 3244 96.68 o 22171 96.68 c 3238 96.76 o 22173 96.76 c 3236 96.85 o 22175 96.85 c 3234 96.93 o 22176 96.93 c 3233 97.01 o 22179 97.01 c 3230 97.24 o 22181 97.24 c 3228 97.41 o 22182 97.41 c 3227 97.56 o 22184 97.56 c 3225 97.65 o 22186 97.65 c 3223 97.81 o 22187 97.81 c 3222 97.88 o 22188 97.88 c 3221 97.96 o 22192 97.96 c 3217 98.04 o 22194 98.04 c 3215 98.11 o 22197 98.11 c 3212 98.59 o 22198 98.59 c 3211 98.75 o 22201 98.75 c 3208 98.88 o 22202 98.88 c 3207 99.04 o 22204 99.04 c 3205 99.12 o 22207 99.12 c 3202 99.20 o 22209 99.20 c 3200 99.29 o 22210 99.29 c 3199 99.36 o 22213 99.36 c 3196 99.45 o 22216 99.45 c 3193 99.62 o 22218 99.62 c 3191 99.84 o 22219 99.84 c 3190 99.92 o 22220 99.92 c 3189 100.23 o 22221 100.23 c 3188 101.25 o 22223 101.25 c 3186 101.32 o 22228 101.32 c 3181 102.32 o 22230 102.32 c 3179 102.38 o 22234 102.38 c 3175 102.51 o 22236 102.51 c 3173 102.57 o 22241 102.57 c 3168 102.71 o 22244 102.71 c 3165 102.91 o 22246 102.91 c 3163 102.97 o 22248 102.97 c 3161 103.04 o 22249 103.04 c 3160 103.11 o 22250 103.11 c 3159 103.18 o 22253 103.18 c 3156 103.25 o 22254 103.25 c 3155 103.54 o 22258 103.54 c 3151 103.62 o 22259 103.62 c 3150 103.78 o 22262 103.78 c 3147 103.87 o 22265 103.87 c 3144 103.95 o 22270 103.95 c 3139 104.04 o 22273 104.04 c 3136 104.11 o 22274 104.11 c 3135 104.30 o 22278 104.30 c 3131 104.38 o 22279 104.38 c 3130 104.46 o 22281 104.46 c 3128 104.54 o 22284 104.54 c 3125 104.62 o 22285 104.62 c 3124 104.72 o 22288 104.72 c 3121 104.80 o 22289 104.80 c 3120 104.96 o 22290 104.96 c 3119 105.05 o 22293 105.05 c 3116 105.31 o 22294 105.31 c 3115 105.48 o 22295 105.48 c 3114 105.88 o 22297 105.88 c 3112 106.13 o 22299 106.13 c 3110 106.32 o 22300 106.32 c 3109 106.49 o 22302 106.49 c 3107 106.65 o 22304 106.65 c 3105 106.75 o 22305 106.75 c 3104 106.84 o 22307 106.84 c 3102 107.33 o 22309 107.33 c 3100 107.43 o 22311 107.43 c 3098 107.53 o 22313 107.53 c 3096 107.82 o 22314 107.82 c 3095 108.11 o 22315 108.11 c 3094 108.59 o 22316 108.59 c 3093 108.79 o 22318 108.79 c 3091 109.36 o 22319 109.36 c 3090 109.46 o 22321 109.46 c 3088 109.76 o 22323 109.76 c 3086 109.87 o 22326 109.87 c 3083 109.96 o 22331 109.96 c 3078 111.23 o 22334 111.23 c 3075 111.82 o 22337 111.82 c 3072 112.01 o 22341 112.01 c 3068 112.11 o 22345 112.11 c 3064 112.21 o 22350 112.21 c 3059 112.30 o 22354 112.30 c 3055 112.38 o 22357 112.38 c 3052 112.73 o 22358 112.73 c 3051 112.83 o 22359 112.83 c 3050 113.02 o 22365 113.02 c 3044 113.76 o 22366 113.76 c 3043 113.87 o 22367 113.87 c 3042 113.97 o 22369 113.97 c 3040 114.08 o 22371 114.08 c 3038 114.19 o 22372 114.19 c 3037 114.41 o 22374 114.41 c 3035 114.85 o 22376 114.85 c 3033 114.96 o 22377 114.96 c 3032 115.08 o 22383 115.08 c 3026 115.18 o 22384 115.18 c 3025 115.41 o 22388 115.41 c 3021 116.10 o 22389 116.10 c 3020 116.20 o 22392 116.20 c 3017 116.42 o 22393 116.42 c 3016 116.53 o 22395 116.53 c 3014 116.63 o 22397 116.63 c 3012 116.75 o 22400 116.75 c 3009 116.82 o 22404 116.82 c 3005 117.04 o 22407 117.04 c 3002 117.34 o 22409 117.34 c 3000 117.45 o 22412 117.45 c 2997 118.48 o 22413 118.48 c 2996 118.58 o 22414 118.58 c 2995 118.78 o 22421 118.78 c 2988 118.96 o 22423 118.96 c 2986 119.05 o 22424 119.05 c 2985 119.16 o 22425 119.16 c 2984 119.24 o 22427 119.24 c 2982 119.33 o 22428 119.33 c 2981 119.44 o 22430 119.44 c 2979 119.48 o 22432 119.48 c 2977 119.57 o 22433 119.57 c 2976 119.76 o 22436 119.76 c 2973 119.86 o 22439 119.86 c 2970 119.96 o 22442 119.96 c 2967 120.23 o 22444 120.23 c 2965 120.32 o 22445 120.32 c 2964 120.49 o 22447 120.49 c 2962 120.59 o 22449 120.59 c 2960 120.68 o 22450 120.68 c 2959 121.12 o 22451 121.12 c 2958 121.49 o 22456 121.49 c 2953 121.58 o 22461 121.58 c 2948 121.75 o 22462 121.75 c 2947 121.92 o 22464 121.92 c 2945 122.01 o 22467 122.01 c 2942 122.79 o 22468 122.79 c 2941 122.98 o 22470 122.98 c 2939 123.05 o 22473 123.05 c 2936 123.14 o 22478 123.14 c 2931 123.23 o 22479 123.23 c 2930 123.32 o 22481 123.32 c 2928 123.49 o 22483 123.49 c 2926 123.58 o 22485 123.58 c 2924 123.67 o 22486 123.67 c 2923 123.76 o 22488 123.76 c 2921 123.86 o 22489 123.86 c 2920 123.95 o 22491 123.95 c 2918 124.05 o 22493 124.05 c 2916 124.15 o 22497 124.15 c 2912 125.12 o 22499 125.12 c 2910 125.22 o 22501 125.22 c 2908 126.10 o 22504 126.10 c 2905 127.31 o 22507 127.31 c 2902 127.43 o 22508 127.43 c 2901 127.68 o 22509 127.68 c 2900 128.41 o 22512 128.41 c 2897 128.53 o 22513 128.53 c 2896 128.66 o 22518 128.66 c 2891 128.78 o 22521 128.79 c 2888 128.91 o 22524 128.91 c 2885 129.13 o 22528 129.13 c 2881 129.26 o 22532 129.26 c 2877 129.73 o 22533 129.73 c 2876 129.86 o 22537 129.86 c 2872 129.98 o 22539 129.98 c 2870 130.10 o 22541 130.10 c 2868 130.22 o 22543 130.22 c 2866 130.34 o 22546 130.34 c 2863 130.44 o 22547 130.44 c 2862 130.57 o 22549 130.57 c 2860 130.68 o 22551 130.68 c 2858 130.81 o 22552 130.81 c 2857 130.92 o 22553 130.92 c 2856 130.98 o 22555 130.98 c 2854 131.10 o 22557 131.10 c 2852 131.21 o 22558 131.21 c 2851 131.34 o 22562 131.34 c 2847 131.56 o 22566 131.56 c 2843 132.13 o 22569 132.13 c 2840 132.25 o 22570 132.25 c 2839 132.36 o 22572 132.36 c 2837 132.48 o 22574 132.48 c 2835 132.71 o 22577 132.71 c 2832 132.84 o 22578 132.84 c 2831 133.06 o 22579 133.06 c 2830 133.79 o 22582 133.79 c 2827 133.90 o 22584 133.90 c 2825 134.39 o 22585 134.39 c 2824 134.91 o 22587 134.91 c 2822 135.01 o 22589 135.01 c 2820 135.76 o 22590 135.76 c 2819 136.03 o 22592 136.03 c 2817 136.16 o 22595 136.16 c 2814 136.43 o 22596 136.43 c 2813 136.56 o 22600 136.56 c 2809 138.00 o 22601 138.00 c 2808 139.70 o 22603 139.70 c 2806 139.83 o 22604 139.83 c 2805 139.91 o 22607 139.91 c 2802 141.16 o 22608 141.16 c 2801 141.41 o 22609 141.41 c 2800 141.66 o 22613 141.66 c 2796 141.77 o 22615 141.77 c 2794 142.01 o 22617 142.01 c 2792 142.13 o 22620 142.13 c 2789 142.25 o 22623 142.25 c 2786 142.38 o 22626 142.38 c 2783 142.51 o 22627 142.51 c 2782 143.01 o 22628 143.01 c 2781 143.13 o 22631 143.13 c 2778 143.37 o 22634 143.37 c 2775 143.49 o 22637 143.49 c 2772 143.61 o 22641 143.61 c 2768 143.73 o 22645 143.73 c 2764 143.98 o 22646 143.98 c 2763 144.11 o 22648 144.11 c 2761 145.18 o 22650 145.18 c 2759 145.88 o 22651 145.88 c 2758 146.02 o 22657 146.03 c 2752 146.16 o 22658 146.16 c 2751 146.29 o 22659 146.29 c 2750 146.89 o 22661 146.89 c 2748 147.05 o 22662 147.05 c 2747 147.19 o 22668 147.19 c 2741 147.32 o 22670 147.32 c 2739 150.08 o 22672 150.08 c 2737 150.89 o 22673 150.89 c 2736 151.03 o 22676 151.03 c 2733 151.18 o 22678 151.18 c 2731 151.32 o 22682 151.32 c 2727 151.46 o 22683 151.46 c 2726 151.59 o 22686 151.59 c 2723 151.88 o 22687 151.88 c 2722 153.15 o 22689 153.15 c 2720 153.30 o 22694 153.30 c 2715 154.54 o 22697 154.54 c 2712 155.12 o 22699 155.12 c 2710 155.25 o 22703 155.25 c 2706 155.39 o 22706 155.39 c 2703 155.52 o 22707 155.52 c 2702 155.66 o 22708 155.66 c 2701 155.80 o 22709 155.80 c 2700 155.93 o 22712 155.93 c 2697 156.07 o 22716 156.07 c 2693 156.21 o 22720 156.21 c 2689 156.76 o 22721 156.76 c 2688 157.60 o 22725 157.60 c 2684 158.13 o 22727 158.13 c 2682 158.28 o 22730 158.28 c 2679 158.42 o 22733 158.42 c 2676 158.57 o 22736 158.57 c 2673 158.70 o 22737 158.71 c 2672 158.97 o 22738 158.97 c 2671 159.26 o 22742 159.26 c 2667 159.41 o 22744 159.41 c 2665 159.53 o 22747 159.53 c 2662 159.81 o 22748 159.81 c 2661 161.76 o 22749 161.76 c 2660 161.88 o 22753 161.88 c 2656 162.14 o 22755 162.14 c 2654 162.64 o 22761 162.64 c 2648 162.76 o 22762 162.76 c 2647 162.90 o 22764 162.90 c 2645 163.06 o 22765 163.06 c 2644 163.19 o 22766 163.19 c 2643 164.53 o 22769 164.53 c 2640 164.66 o 22771 164.66 c 2638 164.80 o 22773 164.80 c 2636 164.94 o 22775 164.94 c 2634 165.08 o 22780 165.08 c 2629 165.37 o 22781 165.37 c 2628 165.78 o 22783 165.78 c 2626 165.93 o 22785 165.93 c 2624 168.15 o 22786 168.15 c 2623 168.44 o 22787 168.44 c 2622 168.75 o 22788 168.75 c 2621 168.90 o 22789 168.90 c 2620 169.35 o 22790 169.35 c 2619 169.51 o 22794 169.51 c 2615 169.68 o 22795 169.68 c 2614 169.84 o 22796 169.84 c 2613 169.99 o 22798 169.99 c 2611 170.14 o 22799 170.14 c 2610 170.30 o 22803 170.30 c 2606 170.93 o 22804 170.93 c 2605 171.38 o 22805 171.38 c 2604 171.54 o 22811 171.54 c 2598 173.09 o 22813 173.09 c 2596 173.25 o 22815 173.25 c 2594 173.40 o 22819 173.40 c 2590 173.55 o 22823 173.55 c 2586 173.71 o 22827 173.71 c 2582 173.87 o 22831 173.87 c 2578 174.51 o 22832 174.51 c 2577 174.66 o 22833 174.66 c 2576 175.13 o 22836 175.13 c 2573 175.27 o 22837 175.27 c 2572 175.59 o 22840 175.59 c 2569 175.75 o 22843 175.75 c 2566 175.90 o 22844 175.90 c 2565 176.06 o 22845 176.06 c 2564 176.21 o 22847 176.21 c 2562 176.52 o 22848 176.52 c 2561 178.58 o 22851 178.58 c 2558 178.74 o 22853 178.74 c 2556 178.89 o 22859 178.89 c 2550 179.14 o 22860 179.14 c 2549 179.28 o 22861 179.28 c 2548 180.01 o 22862 180.01 c 2547 180.15 o 22866 180.15 c 2543 180.28 o 22867 180.28 c 2542 180.42 o 22870 180.42 c 2539 180.55 o 22871 180.55 c 2538 180.71 o 22874 180.71 c 2535 181.02 o 22875 181.02 c 2534 181.34 o 22879 181.34 c 2530 181.78 o 22882 181.78 c 2527 181.93 o 22883 181.93 c 2526 182.08 o 22884 182.08 c 2525 183.50 o 22887 183.50 c 2522 183.66 o 22893 183.66 c 2516 183.96 o 22894 183.96 c 2515 184.12 o 22897 184.12 c 2512 184.27 o 22900 184.27 c 2509 184.58 o 22905 184.58 c 2504 184.74 o 22909 184.74 c 2500 186.81 o 22911 186.81 c 2498 186.96 o 22913 186.96 c 2496 187.29 o 22915 187.29 c 2494 187.95 o 22919 187.95 c 2490 189.17 o 22923 189.17 c 2486 190.64 o 22924 190.64 c 2485 191.14 o 22925 191.14 c 2484 191.32 o 22928 191.32 c 2481 192.09 o 22930 192.09 c 2479 192.27 o 22931 192.27 c 2478 192.45 o 22933 192.45 c 2476 192.95 o 22937 192.95 c 2472 193.44 o 22940 193.44 c 2469 193.95 o 22941 193.95 c 2468 194.12 o 22944 194.12 c 2465 194.28 o 22945 194.28 c 2464 194.60 o 22946 194.60 c 2463 195.60 o 22947 195.60 c 2462 195.76 o 22950 195.77 c 2459 195.94 o 22952 195.94 c 2457 196.10 o 22955 196.10 c 2454 196.22 o 22957 196.22 c 2452 196.39 o 22960 196.39 c 2449 196.80 o 22962 196.80 c 2447 196.96 o 22963 196.96 c 2446 197.23 o 22964 197.23 c 2445 198.07 o 22965 198.07 c 2444 198.24 o 22967 198.24 c 2442 198.81 o 22970 198.81 c 2439 199.04 o 22971 199.04 c 2438 199.18 o 22974 199.18 c 2435 202.57 o 22981 202.57 c 2428 202.87 o 22987 202.87 c 2422 203.02 o 22990 203.02 c 2419 203.46 o 22992 203.46 c 2417 203.59 o 22993 203.59 c 2416 203.73 o 22997 203.73 c 2412 203.89 o 22998 203.89 c 2411 204.03 o 23001 204.03 c 2408 204.33 o 23002 204.33 c 2407 204.47 o 23005 204.47 c 2404 204.62 o 23007 204.62 c 2402 204.78 o 23008 204.78 c 2401 204.93 o 23010 204.93 c 2399 208.21 o 23013 208.21 c 2396 208.51 o 23015 208.51 c 2394 208.71 o 23017 208.71 c 2392 208.89 o 23021 208.89 c 2388 209.08 o 23023 209.08 c 2386 209.27 o 23024 209.27 c 2385 209.46 o 23025 209.46 c 2384 209.65 o 23026 209.65 c 2383 210.20 o 23028 210.20 c 2381 210.58 o 23030 210.58 c 2379 210.77 o 23036 210.77 c 2373 210.90 o 23039 210.90 c 2370 211.10 o 23042 211.10 c 2367 211.65 o 23049 211.65 c 2360 211.75 o 23052 211.75 c 2357 211.93 o 23055 211.93 c 2354 212.10 o 23057 212.10 c 2352 212.27 o 23060 212.27 c 2349 212.46 o 23064 212.46 c 2345 212.64 o 23066 212.64 c 2343 212.82 o 23068 212.82 c 2341 213.10 o 23069 213.10 c 2340 213.27 o 23070 213.27 c 2339 213.45 o 23071 213.45 c 2338 213.97 o 23072 213.97 c 2337 214.32 o 23074 214.32 c 2335 214.51 o 23075 214.51 c 2334 214.68 o 23077 214.68 c 2332 214.86 o 23078 214.86 c 2331 215.03 o 23080 215.03 c 2329 215.22 o 23081 215.22 c 2328 215.91 o 23085 215.91 c 2324 215.97 o 23088 215.97 c 2321 216.15 o 23091 216.15 c 2318 216.32 o 23092 216.32 c 2317 216.49 o 23096 216.49 c 2313 216.66 o 23098 216.66 c 2311 219.95 o 23102 219.95 c 2307 220.03 o 23105 220.03 c 2304 220.23 o 23107 220.23 c 2302 220.41 o 23110 220.41 c 2299 220.96 o 23112 220.96 c 2297 221.15 o 23113 221.15 c 2296 221.52 o 23115 221.52 c 2294 221.65 o 23116 221.65 c 2293 221.84 o 23118 221.84 c 2291 222.03 o 23119 222.03 c 2290 222.28 o 23120 222.28 c 2289 223.03 o 23122 223.03 c 2287 223.21 o 23125 223.21 c 2284 223.39 o 23128 223.39 c 2281 223.57 o 23130 223.57 c 2279 223.72 o 23134 223.72 c 2275 224.63 o 23135 224.63 c 2274 225.74 o 23138 225.74 c 2271 226.68 o 23140 226.68 c 2269 227.24 o 23144 227.24 c 2265 229.44 o 23146 229.44 c 2263 229.78 o 23149 229.78 c 2260 229.97 o 23150 229.97 c 2259 230.54 o 23151 230.54 c 2258 230.75 o 23152 230.75 c 2257 230.94 o 23153 230.94 c 2256 232.97 o 23154 232.97 c 2255 233.18 o 23155 233.18 c 2254 236.05 o 23157 236.05 c 2252 236.25 o 23158 236.25 c 2251 236.67 o 23159 236.67 c 2250 237.10 o 23161 237.10 c 2248 237.22 o 23164 237.22 c 2245 237.41 o 23166 237.41 c 2243 237.62 o 23167 237.62 c 2242 238.04 o 23168 238.04 c 2241 238.24 o 23171 238.24 c 2238 238.46 o 23172 238.46 c 2237 238.67 o 23178 238.67 c 2231 238.87 o 23179 238.87 c 2230 239.28 o 23180 239.28 c 2229 239.35 o 23182 239.35 c 2227 239.55 o 23185 239.55 c 2224 239.76 o 23188 239.76 c 2221 240.64 o 23189 240.64 c 2220 241.66 o 23193 241.66 c 2216 242.05 o 23195 242.05 c 2214 242.86 o 23196 242.86 c 2213 243.03 o 23198 243.03 c 2211 243.26 o 23199 243.26 c 2210 243.47 o 23202 243.47 c 2207 243.69 o 23205 243.69 c 2204 244.30 o 23206 244.30 c 2203 245.37 o 23208 245.37 c 2201 247.02 o 23209 247.02 c 2200 247.23 o 23211 247.23 c 2198 247.60 o 23213 247.60 c 2196 247.81 o 23214 247.81 c 2195 248.04 o 23216 248.04 c 2193 248.22 o 23217 248.22 c 2192 248.43 o 23218 248.43 c 2191 248.65 o 23219 248.65 c 2190 251.32 o 23220 251.32 c 2189 251.41 o 23223 251.41 c 2186 251.58 o 23226 251.58 c 2183 251.67 o 23227 251.67 c 2182 251.81 o 23231 251.81 c 2178 251.97 o 23235 251.97 c 2174 252.59 o 23236 252.59 c 2173 252.79 o 23238 252.79 c 2171 254.36 o 23240 254.36 c 2169 254.53 o 23241 254.53 c 2168 254.73 o 23242 254.73 c 2167 254.93 o 23246 254.93 c 2163 255.13 o 23248 255.13 c 2161 255.51 o 23250 255.51 c 2159 255.91 o 23251 255.91 c 2158 256.89 o 23254 256.89 c 2155 257.43 o 23257 257.43 c 2152 257.62 o 23258 257.62 c 2151 258.00 o 23261 258.00 c 2148 258.19 o 23262 258.19 c 2147 259.81 o 23266 259.81 c 2143 260.33 o 23269 260.33 c 2140 262.02 o 23271 262.02 c 2138 262.39 o 23272 262.39 c 2137 262.95 o 23273 262.95 c 2136 263.14 o 23276 263.14 c 2133 265.72 o 23280 265.72 c 2129 266.10 o 23281 266.10 c 2128 266.47 o 23282 266.47 c 2127 266.65 o 23283 266.65 c 2126 266.84 o 23285 266.84 c 2124 267.04 o 23288 267.04 c 2121 267.24 o 23290 267.24 c 2119 267.42 o 23292 267.42 c 2117 269.15 o 23293 269.15 c 2116 270.18 o 23294 270.18 c 2115 270.30 o 23298 270.30 c 2111 270.51 o 23300 270.51 c 2109 270.71 o 23302 270.71 c 2107 270.92 o 23303 270.92 c 2106 271.12 o 23304 271.12 c 2105 271.53 o 23305 271.53 c 2104 271.74 o 23306 271.74 c 2103 274.40 o 23309 274.40 c 2100 276.55 o 23310 276.55 c 2099 277.59 o 23311 277.59 c 2098 278.76 o 23315 278.76 c 2094 279.40 o 23316 279.40 c 2093 280.06 o 23321 280.06 c 2088 280.27 o 23323 280.27 c 2086 280.49 o 23324 280.49 c 2085 280.70 o 23327 280.70 c 2082 283.55 o 23330 283.55 c 2079 283.76 o 23332 283.76 c 2077 285.07 o 23333 285.07 c 2076 285.29 o 23337 285.29 c 2072 285.44 o 23338 285.44 c 2071 285.87 o 23341 285.87 c 2068 286.10 o 23342 286.10 c 2067 286.33 o 23344 286.33 c 2065 287.36 o 23347 287.36 c 2062 287.85 o 23351 287.85 c 2058 288.04 o 23355 288.04 c 2054 288.19 o 23357 288.19 c 2052 288.41 o 23358 288.41 c 2051 288.85 o 23363 288.85 c 2046 289.03 o 23366 289.03 c 2043 289.46 o 23367 289.46 c 2042 289.92 o 23369 289.92 c 2040 290.26 o 23373 290.26 c 2036 290.48 o 23376 290.48 c 2033 290.70 o 23379 290.70 c 2030 290.94 o 23381 290.94 c 2028 291.69 o 23383 291.69 c 2026 291.91 o 23385 291.91 c 2024 292.14 o 23386 292.14 c 2023 292.36 o 23388 292.36 c 2021 292.57 o 23390 292.57 c 2019 293.24 o 23392 293.24 c 2017 293.46 o 23393 293.46 c 2016 293.68 o 23394 293.68 c 2015 294.10 o 23397 294.10 c 2012 294.33 o 23398 294.33 c 2011 295.59 o 23399 295.59 c 2010 295.93 o 23401 295.93 c 2008 296.14 o 23402 296.14 c 2007 296.74 o 23404 296.74 c 2005 296.94 o 23405 296.94 c 2004 297.14 o 23406 297.14 c 2003 297.35 o 23407 297.35 c 2002 297.97 o 23409 297.97 c 2000 298.00 o 23411 298.00 c 1998 298.15 o 23413 298.15 c 1996 298.35 o 23414 298.35 c 1995 298.56 o 23416 298.56 c 1993 298.77 o 23417 298.77 c 1992 299.17 o 23420 299.17 c 1989 299.37 o 23425 299.37 c 1984 299.77 o 23426 299.77 c 1983 300.19 o 23429 300.19 c 1980 300.39 o 23430 300.39 c 1979 301.21 o 23431 301.21 c 1978 301.42 o 23435 301.42 c 1974 301.62 o 23436 301.62 c 1973 302.02 o 23438 302.02 c 1971 302.44 o 23439 302.44 c 1970 303.57 o 23441 303.57 c 1968 303.98 o 23442 303.98 c 1967 304.17 o 23444 304.17 c 1965 304.39 o 23445 304.39 c 1964 305.89 o 23446 305.89 c 1963 306.66 o 23448 306.66 c 1961 306.88 o 23450 306.88 c 1959 307.11 o 23452 307.11 c 1957 307.57 o 23454 307.57 c 1955 307.79 o 23457 307.79 c 1952 308.02 o 23465 308.02 c 1944 308.24 o 23468 308.24 c 1941 308.48 o 23469 308.48 c 1940 308.69 o 23472 308.69 c 1937 308.91 o 23473 308.91 c 1936 309.14 o 23475 309.14 c 1934 310.87 o 23477 310.87 c 1932 311.32 o 23479 311.32 c 1930 311.54 o 23480 311.54 c 1929 311.76 o 23481 311.76 c 1928 311.98 o 23483 311.98 c 1926 312.20 o 23484 312.20 c 1925 316.75 o 23487 316.75 c 1922 316.88 o 23488 316.88 c 1921 317.01 o 23490 317.01 c 1919 317.22 o 23491 317.22 c 1918 317.81 o 23492 317.81 c 1917 318.03 o 23495 318.03 c 1914 318.69 o 23499 318.69 c 1910 321.32 o 23502 321.32 c 1907 321.56 o 23503 321.56 c 1906 321.99 o 23504 321.99 c 1905 322.22 o 23507 322.22 c 1902 324.28 o 23508 324.28 c 1901 324.52 o 23510 324.52 c 1899 324.65 o 23511 324.65 c 1898 324.89 o 23512 324.89 c 1897 325.90 o 23514 325.90 c 1895 326.14 o 23516 326.14 c 1893 326.38 o 23518 326.38 c 1891 327.63 o 23519 327.63 c 1890 327.86 o 23520 327.86 c 1889 329.29 o 23521 329.29 c 1888 329.52 o 23523 329.52 c 1886 329.73 o 23524 329.73 c 1885 332.22 o 23525 332.22 c 1884 332.67 o 23526 332.67 c 1883 332.90 o 23527 332.90 c 1882 333.34 o 23529 333.34 c 1880 333.80 o 23530 333.80 c 1879 334.52 o 23534 334.52 c 1875 334.97 o 23537 334.97 c 1872 335.20 o 23538 335.20 c 1871 336.61 o 23539 336.61 c 1870 337.10 o 23540 337.10 c 1869 338.90 o 23542 338.90 c 1867 339.02 o 23548 339.02 c 1861 339.19 o 23550 339.19 c 1859 339.38 o 23553 339.38 c 1856 339.61 o 23555 339.61 c 1854 339.83 o 23557 339.83 c 1852 340.37 o 23558 340.37 c 1851 341.47 o 23561 341.47 c 1848 342.13 o 23564 342.13 c 1845 342.35 o 23568 342.35 c 1841 342.58 o 23569 342.58 c 1840 342.81 o 23574 342.81 c 1835 342.99 o 23575 342.99 c 1834 343.82 o 23578 343.82 c 1831 344.05 o 23581 344.05 c 1828 344.27 o 23582 344.27 c 1827 344.51 o 23586 344.51 c 1823 345.51 o 23589 345.51 c 1820 345.73 o 23590 345.73 c 1819 349.88 o 23591 349.88 c 1818 350.10 o 23592 350.10 c 1817 350.32 o 23595 350.32 c 1814 350.98 o 23596 350.98 c 1813 357.61 o 23597 357.61 c 1812 357.84 o 23598 357.84 c 1811 358.30 o 23599 358.30 c 1810 358.77 o 23601 358.77 c 1808 359.00 o 23603 359.00 c 1806 360.47 o 23606 360.47 c 1803 360.70 o 23609 360.70 c 1800 360.88 o 23610 360.88 c 1799 361.09 o 23612 361.09 c 1797 361.32 o 23613 361.32 c 1796 361.54 o 23618 361.54 c 1791 361.76 o 23621 361.76 c 1788 361.98 o 23622 361.98 c 1787 362.21 o 23624 362.21 c 1785 364.36 o 23626 364.36 c 1783 366.27 o 23627 366.27 c 1782 366.93 o 23628 366.93 c 1781 367.14 o 23630 367.14 c 1779 367.36 o 23633 367.36 c 1776 367.82 o 23635 367.82 c 1774 371.85 o 23637 371.85 c 1772 372.07 o 23638 372.07 c 1771 372.30 o 23639 372.30 c 1770 372.99 o 23642 372.99 c 1767 373.21 o 23644 373.21 c 1765 373.43 o 23647 373.43 c 1762 373.60 o 23649 373.60 c 1760 374.01 o 23650 374.01 c 1759 374.44 o 23651 374.44 c 1758 374.65 o 23653 374.65 c 1756 377.23 o 23657 377.23 c 1752 377.41 o 23658 377.41 c 1751 378.05 o 23660 378.05 c 1749 378.27 o 23662 378.27 c 1747 378.48 o 23663 378.48 c 1746 378.70 o 23668 378.70 c 1741 378.90 o 23669 378.90 c 1740 380.39 o 23671 380.39 c 1738 380.60 o 23672 380.60 c 1737 380.82 o 23675 380.82 c 1734 380.87 o 23677 380.87 c 1732 381.73 o 23678 381.73 c 1731 381.94 o 23680 381.94 c 1729 382.36 o 23681 382.36 c 1728 382.58 o 23683 382.58 c 1726 382.61 o 23687 382.61 c 1722 383.18 o 23689 383.18 c 1720 384.00 o 23690 384.00 c 1719 384.14 o 23693 384.14 c 1716 384.34 o 23696 384.34 c 1713 385.16 o 23697 385.16 c 1712 392.31 o 23698 392.31 c 1711 392.53 o 23699 392.53 c 1710 392.75 o 23700 392.75 c 1709 392.96 o 23702 392.96 c 1707 393.08 o 23706 393.08 c 1703 393.52 o 23708 393.52 c 1701 393.82 o 23709 393.82 c 1700 395.99 o 23713 395.99 c 1696 396.21 o 23715 396.21 c 1694 396.64 o 23716 396.64 c 1693 396.85 o 23718 396.85 c 1691 398.12 o 23719 398.12 c 1690 398.74 o 23720 398.74 c 1689 399.16 o 23722 399.16 c 1687 399.37 o 23723 399.37 c 1686 399.59 o 23726 399.59 c 1683 399.82 o 23729 399.82 c 1680 400.04 o 23730 400.04 c 1679 400.25 o 23733 400.25 c 1676 401.51 o 23734 401.51 c 1675 401.73 o 23736 401.73 c 1673 401.85 o 23738 401.85 c 1671 402.07 o 23739 402.07 c 1670 402.29 o 23740 402.29 c 1669 402.72 o 23741 402.72 c 1668 406.17 o 23742 406.17 c 1667 406.60 o 23743 406.60 c 1666 406.82 o 23748 406.82 c 1661 406.88 o 23749 406.88 c 1660 407.69 o 23753 407.69 c 1656 407.91 o 23757 407.91 c 1652 408.12 o 23759 408.12 c 1650 411.23 o 23760 411.23 c 1649 411.43 o 23761 411.43 c 1648 411.85 o 23762 411.85 c 1647 412.18 o 23763 412.18 c 1646 412.38 o 23764 412.38 c 1645 412.58 o 23765 412.58 c 1644 412.99 o 23767 412.99 c 1642 413.20 o 23769 413.20 c 1640 414.36 o 23770 414.36 c 1639 414.53 o 23772 414.53 c 1637 414.74 o 23774 414.74 c 1635 414.96 o 23775 414.96 c 1634 417.15 o 23776 417.15 c 1633 417.37 o 23777 417.37 c 1632 417.49 o 23780 417.49 c 1629 417.71 o 23781 417.71 c 1628 419.62 o 23783 419.62 c 1626 420.04 o 23787 420.04 c 1622 420.47 o 23789 420.47 c 1620 420.68 o 23790 420.68 c 1619 420.89 o 23791 420.89 c 1618 421.11 o 23794 421.11 c 1615 421.76 o 23796 421.76 c 1613 421.97 o 23799 421.97 c 1610 422.19 o 23801 422.19 c 1608 422.42 o 23803 422.42 c 1606 422.94 o 23804 422.94 c 1605 423.62 o 23807 423.62 c 1602 423.75 o 23808 423.75 c 1601 424.20 o 23809 424.20 c 1600 424.43 o 23811 424.43 c 1598 424.66 o 23813 424.66 c 1596 424.88 o 23816 424.88 c 1593 425.11 o 23818 425.11 c 1591 425.27 o 23819 425.27 c 1590 425.72 o 23821 425.72 c 1588 426.61 o 23824 426.61 c 1585 426.69 o 23827 426.69 c 1582 426.92 o 23833 426.92 c 1576 429.05 o 23834 429.05 c 1575 429.50 o 23837 429.50 c 1572 429.73 o 23840 429.73 c 1569 429.96 o 23843 429.96 c 1566 430.63 o 23844 430.63 c 1565 430.82 o 23846 430.82 c 1563 430.97 o 23850 430.97 c 1559 431.99 o 23852 431.99 c 1557 432.20 o 23854 432.20 c 1555 432.42 o 23856 432.42 c 1553 432.64 o 23858 432.64 c 1551 433.67 o 23859 433.67 c 1550 434.10 o 23861 434.10 c 1548 437.84 o 23863 437.84 c 1546 438.52 o 23866 438.52 c 1543 439.88 o 23867 439.88 c 1542 441.27 o 23870 441.27 c 1539 441.93 o 23872 441.93 c 1537 445.69 o 23874 445.69 c 1535 445.92 o 23876 445.92 c 1533 446.15 o 23877 446.15 c 1532 447.18 o 23879 447.18 c 1530 447.62 o 23880 447.62 c 1529 447.84 o 23881 447.84 c 1528 448.69 o 23882 448.69 c 1527 448.91 o 23884 448.91 c 1525 449.01 o 23887 449.01 c 1522 449.44 o 23888 449.44 c 1521 452.22 o 23889 452.22 c 1520 452.31 o 23892 452.31 c 1517 452.37 o 23894 452.37 c 1515 452.46 o 23895 452.46 c 1514 452.57 o 23896 452.57 c 1513 452.92 o 23898 452.92 c 1511 453.09 o 23900 453.09 c 1509 453.26 o 23902 453.26 c 1507 454.48 o 23903 454.48 c 1506 454.58 o 23904 454.58 c 1505 454.76 o 23906 454.76 c 1503 455.12 o 23907 455.12 c 1502 455.81 o 23909 455.81 c 1500 456.55 o 23912 456.55 c 1497 456.70 o 23915 456.70 c 1494 456.88 o 23916 456.88 c 1493 457.48 o 23917 457.48 c 1492 457.74 o 23919 457.74 c 1490 458.43 o 23921 458.43 c 1488 458.77 o 23924 458.77 c 1485 458.94 o 23926 458.94 c 1483 459.11 o 23929 459.11 c 1480 459.17 o 23930 459.17 c 1479 459.35 o 23932 459.35 c 1477 459.88 o 23934 459.88 c 1475 460.22 o 23935 460.22 c 1474 460.58 o 23938 460.58 c 1471 461.11 o 23941 461.11 c 1468 461.47 o 23944 461.47 c 1465 461.66 o 23945 461.66 c 1464 461.85 o 23946 461.85 c 1463 462.03 o 23948 462.03 c 1461 462.15 o 23952 462.15 c 1457 462.33 o 23956 462.33 c 1453 462.50 o 23958 462.50 c 1451 462.68 o 23960 462.68 c 1449 463.69 o 23962 463.69 c 1447 463.88 o 23964 463.88 c 1445 464.08 o 23967 464.08 c 1442 464.45 o 23968 464.45 c 1441 465.39 o 23969 465.39 c 1440 465.71 o 23972 465.71 c 1437 465.87 o 23974 465.87 c 1435 466.23 o 23976 466.23 c 1433 466.41 o 23979 466.41 c 1430 466.57 o 23981 466.57 c 1428 466.75 o 23982 466.75 c 1427 467.28 o 23983 467.28 c 1426 469.26 o 23985 469.26 c 1424 469.44 o 23986 469.44 c 1423 469.61 o 23987 469.61 c 1422 469.80 o 23988 469.80 c 1421 469.99 o 23989 469.99 c 1420 470.26 o 23992 470.26 c 1417 471.35 o 23993 471.35 c 1416 471.53 o 23994 471.53 c 1415 471.70 o 23995 471.70 c 1414 471.83 o 23996 471.83 c 1413 472.18 o 23997 472.18 c 1412 472.33 o 23999 472.33 c 1410 472.70 o 24000 472.70 c 1409 473.67 o 24001 473.67 c 1408 473.83 o 24002 473.83 c 1407 474.01 o 24003 474.01 c 1406 475.60 o 24004 475.60 c 1405 479.38 o 24005 479.38 c 1404 479.56 o 24006 479.56 c 1403 479.74 o 24007 479.75 c 1402 480.50 o 24010 480.50 c 1399 480.87 o 24012 480.87 c 1397 481.46 o 24014 481.46 c 1395 482.76 o 24017 482.76 c 1392 482.95 o 24018 482.95 c 1391 483.14 o 24023 483.14 c 1386 484.56 o 24024 484.56 c 1385 484.74 o 24027 484.74 c 1382 484.91 o 24030 484.91 c 1379 485.69 o 24032 485.69 c 1377 486.10 o 24035 486.10 c 1374 486.30 o 24037 486.30 c 1372 487.27 o 24040 487.27 c 1369 488.87 o 24042 488.87 c 1367 489.28 o 24043 489.28 c 1366 489.49 o 24044 489.49 c 1365 489.70 o 24046 489.70 c 1363 490.28 o 24047 490.28 c 1362 490.67 o 24049 490.67 c 1360 490.86 o 24050 490.86 c 1359 491.06 o 24051 491.06 c 1358 491.24 o 24054 491.24 c 1355 492.05 o 24055 492.05 c 1354 492.26 o 24056 492.26 c 1353 492.46 o 24057 492.46 c 1352 492.87 o 24059 492.87 c 1350 493.08 o 24062 493.08 c 1347 493.27 o 24064 493.27 c 1345 493.68 o 24067 493.68 c 1342 493.72 o 24068 493.73 c 1341 493.82 o 24074 493.82 c 1335 495.68 o 24075 495.68 c 1334 495.89 o 24076 495.89 c 1333 496.46 o 24077 496.46 c 1332 497.03 o 24078 497.03 c 1331 497.23 o 24081 497.23 c 1328 497.44 o 24082 497.44 c 1327 497.83 o 24084 497.83 c 1325 498.34 o 24085 498.34 c 1324 498.54 o 24086 498.54 c 1323 498.70 o 24089 498.70 c 1320 498.89 o 24091 498.89 c 1318 499.30 o 24092 499.30 c 1317 499.51 o 24094 499.51 c 1315 499.72 o 24099 499.72 c 1310 502.24 o 24100 502.24 c 1309 502.39 o 24101 502.39 c 1308 502.80 o 24102 502.80 c 1307 503.00 o 24103 503.00 c 1306 503.20 o 24104 503.20 c 1305 503.41 o 24105 503.41 c 1304 503.75 o 24107 503.75 c 1302 504.42 o 24108 504.42 c 1301 505.43 o 24109 505.43 c 1300 505.83 o 24111 505.83 c 1298 506.03 o 24113 506.03 c 1296 506.23 o 24114 506.23 c 1295 509.10 o 24116 509.10 c 1293 509.31 o 24117 509.31 c 1292 509.51 o 24119 509.51 c 1290 509.71 o 24120 509.72 c 1289 509.92 o 24121 509.92 c 1288 517.36 o 24123 517.36 c 1286 518.71 o 24124 518.71 c 1285 518.91 o 24125 518.91 c 1284 519.13 o 24128 519.13 c 1281 519.33 o 24130 519.33 c 1279 519.96 o 24133 519.96 c 1276 520.59 o 24135 520.59 c 1274 520.81 o 24136 520.81 c 1273 521.45 o 24137 521.45 c 1272 523.74 o 24140 523.74 c 1269 523.89 o 24141 523.89 c 1268 524.95 o 24142 524.95 c 1267 525.25 o 24145 525.25 c 1264 525.48 o 24146 525.48 c 1263 527.63 o 24147 527.63 c 1262 527.81 o 24150 527.81 c 1259 528.03 o 24151 528.03 c 1258 529.13 o 24152 529.13 c 1257 534.05 o 24153 534.05 c 1256 534.27 o 24154 534.27 c 1255 537.50 o 24156 537.50 c 1253 537.73 o 24159 537.73 c 1250 538.80 o 24160 538.80 c 1249 539.67 o 24161 539.67 c 1248 539.89 o 24162 539.89 c 1247 540.11 o 24163 540.11 c 1246 540.32 o 24164 540.32 c 1245 540.53 o 24167 540.53 c 1242 540.66 o 24168 540.66 c 1241 541.09 o 24171 541.09 c 1238 541.22 o 24173 541.22 c 1236 541.83 o 24174 541.83 c 1235 546.67 o 24176 546.67 c 1233 547.30 o 24177 547.30 c 1232 547.53 o 24178 547.53 c 1231 547.98 o 24180 547.98 c 1229 548.19 o 24181 548.19 c 1228 549.71 o 24182 549.71 c 1227 549.94 o 24184 549.94 c 1225 550.40 o 24185 550.40 c 1224 550.63 o 24186 550.63 c 1223 551.09 o 24187 551.09 c 1222 551.36 o 24188 551.36 c 1221 552.26 o 24191 552.26 c 1218 558.74 o 24192 558.74 c 1217 569.58 o 24195 569.58 c 1214 569.83 o 24196 569.83 c 1213 571.11 o 24197 571.11 c 1212 571.36 o 24198 571.36 c 1211 571.63 o 24199 571.63 c 1210 574.95 o 24200 574.95 c 1209 575.22 o 24201 575.22 c 1208 578.04 o 24202 578.04 c 1207 578.29 o 24207 578.29 c 1202 578.56 o 24211 578.56 c 1198 581.41 o 24213 581.41 c 1196 582.43 o 24214 582.43 c 1195 582.84 o 24215 582.84 c 1194 583.09 o 24218 583.09 c 1191 584.78 o 24221 584.79 c 1188 586.52 o 24223 586.52 c 1186 586.77 o 24225 586.77 c 1184 587.04 o 24227 587.04 c 1182 587.27 o 24228 587.27 c 1181 588.02 o 24229 588.02 c 1180 588.27 o 24230 588.27 c 1179 588.52 o 24232 588.52 c 1177 588.78 o 24233 588.78 c 1176 589.04 o 24235 589.04 c 1174 589.29 o 24237 589.29 c 1172 589.79 o 24238 589.79 c 1171 601.31 o 24239 601.31 c 1170 603.93 o 24240 603.93 c 1169 605.16 o 24242 605.16 c 1167 606.09 o 24243 606.09 c 1166 606.86 o 24245 606.86 c 1164 608.14 o 24247 608.14 c 1162 610.10 o 24248 610.10 c 1161 611.60 o 24250 611.60 c 1159 611.76 o 24251 611.77 c 1158 614.81 o 24252 614.81 c 1157 615.57 o 24254 615.57 c 1155 616.08 o 24256 616.08 c 1153 616.29 o 24258 616.29 c 1151 616.54 o 24260 616.54 c 1149 625.33 o 24262 625.33 c 1147 625.56 o 24265 625.56 c 1144 625.75 o 24267 625.75 c 1142 628.91 o 24269 628.91 c 1140 629.32 o 24271 629.32 c 1138 629.55 o 24272 629.55 c 1137 635.81 o 24273 635.81 c 1136 657.77 o 24275 657.77 c 1134 658.03 o 24276 658.03 c 1133 658.49 o 24278 658.49 c 1131 659.24 o 24280 659.24 c 1129 659.48 o 24281 659.48 c 1128 660.24 o 24282 660.24 c 1127 660.47 o 24284 660.47 c 1125 660.66 o 24287 660.66 c 1122 661.43 o 24288 661.43 c 1121 668.33 o 24291 668.33 c 1118 668.50 o 24292 668.50 c 1117 668.77 o 24293 668.77 c 1116 669.58 o 24294 669.58 c 1115 669.85 o 24295 669.85 c 1114 670.12 o 24296 670.12 c 1113 671.59 o 24297 671.59 c 1112 671.85 o 24298 671.85 c 1111 672.12 o 24299 672.12 c 1110 672.39 o 24304 672.39 c 1105 672.85 o 24306 672.85 c 1103 673.11 o 24308 673.11 c 1101 673.37 o 24312 673.37 c 1097 673.63 o 24313 673.63 c 1096 673.89 o 24315 673.89 c 1094 674.26 o 24316 674.26 c 1093 674.51 o 24318 674.51 c 1091 674.67 o 24319 674.67 c 1090 675.17 o 24320 675.17 c 1089 679.72 o 24321 679.72 c 1088 682.95 o 24322 682.95 c 1087 684.79 o 24323 684.79 c 1086 686.97 o 24324 686.97 c 1085 692.70 o 24326 692.70 c 1083 692.98 o 24329 692.98 c 1080 693.52 o 24332 693.52 c 1077 695.62 o 24333 695.62 c 1076 697.53 o 24334 697.53 c 1075 697.80 o 24336 697.80 c 1073 698.37 o 24337 698.37 c 1072 698.93 o 24338 698.93 c 1071 699.22 o 24340 699.22 c 1069 699.51 o 24341 699.51 c 1068 700.06 o 24342 700.06 c 1067 702.31 o 24344 702.31 c 1065 702.51 o 24346 702.51 c 1063 704.30 o 24350 704.30 c 1059 704.39 o 24354 704.39 c 1055 705.26 o 24356 705.26 c 1053 705.54 o 24358 705.54 c 1051 706.08 o 24360 706.08 c 1049 707.68 o 24361 707.68 c 1048 707.93 o 24366 707.93 c 1043 708.20 o 24369 708.20 c 1040 709.58 o 24370 709.58 c 1039 709.87 o 24371 709.87 c 1038 710.15 o 24373 710.15 c 1036 710.67 o 24375 710.67 c 1034 713.39 o 24376 713.39 c 1033 713.68 o 24377 713.68 c 1032 717.34 o 24378 717.34 c 1031 718.21 o 24380 718.21 c 1029 718.67 o 24385 718.67 c 1024 718.97 o 24387 718.97 c 1022 719.26 o 24388 719.26 c 1021 719.57 o 24391 719.57 c 1018 720.15 o 24392 720.15 c 1017 721.85 o 24394 721.85 c 1015 728.66 o 24395 728.66 c 1014 728.97 o 24396 728.97 c 1013 729.52 o 24397 729.52 c 1012 737.19 o 24399 737.19 c 1010 737.49 o 24400 737.49 c 1009 737.78 o 24401 737.78 c 1008 743.81 o 24402 743.81 c 1007 744.07 o 24403 744.07 c 1006 745.02 o 24405 745.02 c 1004 745.29 o 24406 745.29 c 1003 745.58 o 24408 745.58 c 1001 745.87 o 24409 745.87 c 1000 747.03 o 24410 747.03 c 999 747.32 o 24412 747.32 c 997 747.51 o 24414 747.51 c 995 757.34 o 24416 757.34 c 993 757.61 o 24418 757.61 c 991 780.81 o 24420 780.81 c 989 781.43 o 24423 781.43 c 986 781.74 o 24424 781.74 c 985 782.66 o 24425 782.66 c 984 783.92 o 24426 783.92 c 983 784.03 o 24427 784.03 c 982 785.00 o 24428 785.00 c 981 785.33 o 24430 785.33 c 979 787.24 o 24431 787.24 c 978 798.85 o 24434 798.85 c 975 799.19 o 24436 799.19 c 973 799.48 o 24439 799.48 c 970 803.84 o 24440 803.84 c 969 804.17 o 24443 804.17 c 966 805.53 o 24444 805.53 c 965 807.72 o 24445 807.72 c 964 809.21 o 24447 809.21 c 962 809.78 o 24448 809.78 c 961 810.20 o 24449 810.20 c 960 812.43 o 24451 812.43 c 958 815.87 o 24452 815.87 c 957 815.93 o 24453 815.93 c 956 816.22 o 24454 816.22 c 955 821.86 o 24456 821.86 c 953 822.42 o 24457 822.42 c 952 823.19 o 24458 823.19 c 951 823.80 o 24459 823.80 c 950 824.12 o 24461 824.12 c 948 824.76 o 24462 824.76 c 947 830.98 o 24464 830.98 c 945 831.22 o 24465 831.22 c 944 831.54 o 24467 831.54 c 942 831.85 o 24469 831.85 c 940 832.08 o 24471 832.08 c 938 832.35 o 24472 832.35 c 937 834.06 o 24473 834.06 c 936 844.80 o 24476 844.80 c 933 845.73 o 24477 845.73 c 932 846.04 o 24479 846.04 c 930 850.55 o 24480 850.55 c 929 850.86 o 24481 850.86 c 928 852.09 o 24482 852.09 c 927 853.02 o 24483 853.02 c 926 854.48 o 24484 854.48 c 925 855.06 o 24485 855.06 c 924 856.18 o 24486 856.18 c 923 871.94 o 24487 871.94 c 922 872.76 o 24490 872.76 c 919 873.27 o 24491 873.27 c 918 875.30 o 24492 875.30 c 917 875.60 o 24493 875.60 c 916 876.14 o 24495 876.14 c 914 877.16 o 24496 877.16 c 913 878.35 o 24497 878.35 c 912 879.76 o 24498 879.76 c 911 880.06 o 24499 880.06 c 910 880.89 o 24500 880.89 c 909 881.19 o 24501 881.19 c 908 881.48 o 24502 881.48 c 907 881.70 o 24503 881.70 c 906 895.51 o 24505 895.51 c 904 902.84 o 24507 902.84 c 902 904.03 o 24513 904.03 c 896 904.34 o 24516 904.34 c 893 905.07 o 24518 905.07 c 891 905.30 o 24519 905.30 c 890 905.61 o 24522 905.61 c 887 905.75 o 24524 905.75 c 885 906.36 o 24527 906.36 c 882 910.53 o 24528 910.53 c 881 911.13 o 24529 911.13 c 880 911.45 o 24530 911.45 c 879 911.69 o 24531 911.69 c 878 913.19 o 24534 913.19 c 875 919.24 o 24535 919.24 c 874 920.68 o 24536 920.68 c 873 936.13 o 24538 936.13 c 871 937.13 o 24539 937.13 c 870 937.73 o 24540 937.73 c 869 937.96 o 24542 937.96 c 867 941.25 o 24543 941.25 c 866 957.54 o 24545 957.54 c 864 958.41 o 24548 958.41 c 861 958.46 o 24549 958.46 c 860 958.69 o 24550 958.69 c 859 958.98 o 24551 958.98 c 858 971.66 o 24553 971.66 c 856 971.94 o 24554 971.94 c 855 972.13 o 24555 972.13 c 854 977.91 o 24556 977.91 c 853 978.47 o 24557 978.47 c 852 980.30 o 24558 980.30 c 851 980.62 o 24559 980.62 c 850 981.83 o 24560 981.83 c 849 987.59 o 24562 987.59 c 847 987.78 o 24565 987.78 c 844 988.19 o 24567 988.19 c 842 988.51 o 24568 988.51 c 841 988.82 o 24571 988.82 c 838 992.09 o 24572 992.09 c 837 999.48 o 24575 999.48 c 834 999.80 o 24576 999.80 c 833 1000.11 o 24579 1000.11 c 830 1000.41 o 24581 1000.41 c 828 1001.50 o 24582 1001.50 c 827 1001.80 o 24583 1001.80 c 826 1002.00 o 24584 1002.00 c 825 1013.36 o 24585 1013.36 c 824 1013.66 o 24586 1013.66 c 823 1014.60 o 24587 1014.60 c 822 1014.92 o 24588 1014.92 c 821 1015.55 o 24589 1015.55 c 820 1046.06 1046.06 search 1046.06 run=0 nbConstraintChecks=4771505439 nbAssignments=5320 1046.06 => wckTime=983.753 cpuTime=974.46 mem=58M300 1046.06 1046.06 global 1046.06 nbConstraintChecks=4771505439 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1046.06 solvingWckTime=983.739 solvingCpuTime=974.44 expiredTime=no totalExploration=no nbFoundSolutions=0 1046.06 globalCpuTime=1034.92 1046.06 => wckTime=1045.748 cpuTime=1034.86 mem=58M300 1046.06 1046.06 solver IterativeSystematicSolver being built... 1046.47 => wckTime=1046.164 cpuTime=1035.14 mem=116M514 1072.25 1072.25 preprocessing 1072.25 nbConstraintChecks=54092698 nbValidityChecks=243800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1072.25 nbRemovedValues=0 detectedInconsistency=no 1072.25 => wckTime=25.767 cpuTime=25.52 mem=116M514 2421.56 v -2216 2584 2168 -2596 2460 -2512 2352 2724 2288 2432 2196 -2160 -2720 2276 -2648 -2616 2684 2356 2708 -2160 -2124 -2596 -2172 -2180 -2724 2628 2588 2348 2408 -2620 2572 2400 2260 -2452 -2736 -2724 2160 -2216 -2328 2720 -2720 2684 2284 -2500 2132 -2292 2328 2632 -2256 2432 2552 2404 -2696 -2364 2476 -2248 2164 -2688 2484 -2488 2680 2312 -2412 2420 -2692 -2120 2604 -2340 2120 2144 2656 -2604 2644 -2588 -2168 -2688 -2432 -2628 2380 2196 2160 2324 2284 -2716 2492 -2168 2616 2448 -2172 2736 2532 2684 -2124 2696 2696 2460 -2696 2260 -2184 2176 -2628 2160 -2120 -2724 2532 2312 2296 -2320 -2248 2552 -2240 -2120 -2604 -2488 2196 -2640 2600 -2372 -2460 2424 2724 -2672 -2580 2160 2244 -2556 2692 -2720 2600 2516 -2368 2160 -2492 -2388 2168 -2232 2468 2728 -2576 2248 -2388 -2644 2120 -2140 -2168 2656 -2732 2736 -2412 2296 2416 2220 2324 2160 -2712 2140 2200 -2384 2636 2576 2320 2688 2236 -2132 -2424 2720 -2736 -2624 -2480 2160 2632 2576 2160 2504 2544 -2540 -2612 -2624 -2728 -2352 2284 2540 -2120 2320 -2736 2296 -2576 2548 2176 -2160 -2356 -2164 2688 -2264 2548 2500 -2724 -2148 2736 2124 -2512 -2728 -2696 2732 2696 -2240 2712 2120 -2436 2464 -2160 -2716 2536 -2696 2380 -2528 2120 -2632 -2496 -2380 2512 2236 -2328 -2472 -2388 -2280 -2460 2732 -2280 2692 -2396 -2528 -2392 2124 -2216 2136 -2644 2268 -2408 2336 2328 2688 2160 2620 2424 2416 2184 2220 -2628 -2628 2408 -2692 2120 2444 2708 2276 2412 -2656 -2400 -2364 2160 2224 2316 -2392 2432 -2228 -2392 -2124 2384 2680 2256 -2212 -2468 2460 2284 -2184 2736 2548 -2328 -2364 2500 2356 2436 -2736 -2404 2160 2284 2728 -2224 -2688 2324 2132 -2372 -2256 2604 2524 2732 -2508 2504 2684 2556 2736 -2184 -2728 -2588 -2684 2576 2664 -2160 -2560 2332 2256 2732 2332 2196 2584 -2340 -2616 -2728 2160 2680 -2476 -2732 -2224 -2260 -2380 -2700 2692 -2204 2732 -2120 2480 -2308 -2136 -2620 -2280 2564 2296 2196 -2588 2596 -2164 -2392 2276 2368 2636 -2240 2732 2668 -2660 2732 -2284 -2548 -2588 2200 2168 2404 2468 2696 2136 -2664 -2736 -2140 2416 -2724 2120 2692 2404 -2248 2120 -2124 2300 2304 -2304 -2672 2736 -2584 2420 -2644 2540 2168 2736 -2512 2736 2344 2128 2468 -2488 2160 -2392 2132 2388 -2428 -2136 -2180 -2408 -2500 2416 -2464 2132 -2216 -2584 -2204 -2172 -2484 -2136 -2536 -2508 2424 2636 2412 -2520 2736 -2196 2528 2120 2372 2688 -2340 2576 2692 2544 2440 2352 -2252 -2544 2496 2600 2696 -2168 -2580 2688 2660 2736 -2628 2532 2408 -2404 2240 -2412 2612 -2648 2256 -2160 -2688 2160 -2720 2436 -2648 2696 2268 -2372 -2272 2592 -2692 -2452 2684 2396 2236 2580 -2700 -2516 -2300 -2120 -2628 -2404 2436 2524 2696 2368 2688 2444 -2308 2676 -2344 2636 -2300 2312 2396 -2720 -2452 2624 -2288 2284 2332 2296 2324 2620 2280 2292 -2548 2732 2364 -2120 -2120 -2688 2316 -2468 2660 -2732 -2172 2268 -2304 2164 -2144 2636 -2680 -2276 -2436 2128 -2440 -2716 2656 -2620 2632 2228 -2160 -2688 -2276 -2200 2436 2644 2120 2636 2728 2320 2548 2504 -2732 -2508 -2696 2368 2244 2652 -2160 -2608 2360 2616 -2720 2180 2464 -2224 2256 -2176 2724 -2364 2188 2288 2692 -2616 -2228 -2736 2660 2588 -2200 2564 2376 -2624 -2524 -2144 2400 -2616 -2452 2168 -2160 2700 -2240 -2200 2276 2688 2120 2164 -2120 2692 2224 -2628 -2164 2452 2212 2160 -2264 -2176 2568 -2596 2652 -2660 -2184 2128 -2552 -2696 -2616 -2412 2576 2216 2648 -2364 2684 2516 -2132 -2164 -2144 -2340 2624 2172 2384 2120 2216 -2544 -2348 -2620 2672 2132 2736 -2544 -2480 -2320 -2732 -2408 -2476 -2164 2428 -2596 2260 -2592 2612 -2120 -2732 2272 2388 -2260 -2276 -2320 2668 2548 -2596 -2736 2372 -2576 -2144 -2524 -2288 -2692 2412 -2424 2556 2728 -2452 2216 -2552 2328 2412 -2724 -2476 2432 -2564 2368 2724 -2692 -2440 -2188 -2268 2360 2228 -2648 2700 2536 2516 2120 -2640 2512 -2672 -2708 -2484 2180 2712 -2120 2588 2456 -2220 2408 2532 2120 2596 -2652 -2544 2280 -2640 2164 2520 -2368 -2480 2216 -2160 -2668 2304 2212 -2492 -2692 -2736 2336 2572 2208 -2200 2120 -2436 2540 -2636 2568 -2596 -2576 2592 2360 -2568 2588 2332 2120 2316 -2716 2644 2124 -2120 2188 2376 2180 -2420 2160 -2532 -2576 -2268 -2120 2680 -2284 -2288 2436 2120 2492 -2312 2284 -2412 2592 -2692 2124 -2240 2312 2324 -2736 -2272 -2568 2216 2288 -2724 2568 2588 -2124 -2244 2728 2728 -2364 -2184 -2668 2500 2604 -2136 -2404 2572 -2168 2124 -2360 2380 2444 -2124 -2168 -2568 -2148 -2644 -2696 -2736 -2696 -2732 -2212 2492 -2164 -2672 2204 2324 -2120 -2712 -2260 2124 -2664 2488 -2536 -2536 -2136 2688 -2448 -2316 -2124 -2160 2720 -2384 -2404 2236 2348 2140 2484 2316 -2240 -2356 -2716 -2320 -2200 -2168 2460 -2160 -2460 -2160 -2296 2324 2460 2648 2168 -2120 2312 -2192 2688 2156 2164 2384 -2544 2180 -2188 2124 2316 2368 2656 -2392 -2380 -2604 2684 -2592 2688 -2444 -2228 2532 -2168 -2420 -2304 -2660 -2660 2564 -2120 -2604 2560 2672 -2244 2736 2464 2488 -2156 2124 2692 2304 2484 -2120 2424 2532 2672 2428 -2448 -2544 -2204 2656 2236 2128 2324 -2336 2508 -2160 2616 -2576 2120 2120 2736 -2736 -2232 -2552 -2696 2216 -2164 -2132 2280 2644 -2164 -2128 -2132 2736 2736 2208 -2488 2736 -2400 -2356 2368 -2644 2620 2356 -2128 2240 -2240 2604 2280 2620 -2196 -2120 -2188 -2728 2428 -2608 -2164 2172 -2660 2544 -2256 2124 2160 2632 -2320 2652 -2476 2736 2608 -2160 -2344 -2720 -2660 -2156 -2140 2164 -2124 2368 2668 2696 -2608 2592 -2528 -2208 2736 2352 -2408 -2508 -2492 2700 -2160 -2584 -2652 -2224 2588 2256 -2368 2120 2688 -2328 -2664 2684 2516 -2388 2668 -2200 -2272 -2200 2120 -2448 2228 -2588 2508 -2644 -2584 -2572 2204 2236 -2596 -2680 -2180 -2596 -2536 2500 -2120 -2268 2376 2128 2424 -2160 -2308 2172 2608 -2124 2580 -2504 2428 -2448 2488 -2272 2736 2692 -2552 -2340 -2176 -2572 -2584 -2140 -2696 -2296 2380 -2504 -2132 -2428 2620 -2552 -2136 2692 2360 -2168 -2484 -2676 -2184 2736 2680 -2736 -2352 -2648 2672 2160 2692 2340 2636 -2272 2656 -2652 -2600 -2120 2124 2444 2684 -2424 2668 -2296 -2544 -2568 -2128 -2164 2320 -2492 2676 2292 -2728 2500 2160 -2164 2344 2308 -2732 -2564 -2320 2160 2696 2484 2144 2464 2120 2536 -2468 -2192 -2160 -2632 -2128 2616 2680 2248 -2324 2332 2652 -2504 -2128 2120 -2552 -2444 -2588 -2280 2684 -2408 -2240 -2596 -2676 -2124 -2128 2612 -2364 -2120 -2188 -2192 -2676 -2148 -2640 2560 2252 2300 -2228 2728 -2688 2724 -2304 -2340 2184 2368 -2540 2464 2340 2528 2524 -2696 2420 -2608 2244 -2160 2620 -2516 2476 2176 -2732 -2264 2328 -2600 2296 2120 -2156 2280 -2648 2644 -2724 2176 2148 2432 2688 2736 -2524 2696 -2360 2240 2384 2464 2188 -2512 -2736 2716 -2360 -2144 2260 -2704 -2608 -2540 -2284 2120 -2636 2256 -2384 -2732 -2680 -2584 2696 -2368 2556 -2720 2220 -2224 -2136 2716 2352 2124 -2696 -2400 -2176 2252 2180 -2648 2628 2456 2240 2436 -2128 -2252 2584 -2316 -2300 -2184 -2256 -2188 -2736 -2120 -2616 -2284 2572 2384 -2556 -2476 2568 -2168 2312 2496 -2120 2340 -2452 -2696 2120 -2236 -2360 -2644 2440 2328 -2232 -2544 2268 2124 2400 2512 -2736 2696 2160 -2300 -2208 2124 -2476 2336 -2720 -2420 2556 -2584 2696 -2608 2244 2276 -2500 -2696 -2684 2504 2536 -2548 -2520 2736 2160 -2576 2696 -2524 -2240 -2648 2236 -2692 -2120 2212 2556 -2160 -2432 2176 2120 -2696 2332 2228 -2172 2628 2392 2124 -2448 -2548 2672 -2640 2208 2732 -2232 2236 -2396 -2228 -2224 -2208 2692 -2280 2188 -2732 2228 2228 -2688 2220 -2128 2644 2692 -2228 2172 2696 -2372 -2680 -2176 -2616 -2160 2216 -2712 -2408 2144 2520 2720 -2696 -2280 -2136 2532 -2172 -2576 -2420 -2628 -2696 -2244 2444 -2160 2624 2508 2640 -2412 2160 -2500 2428 2596 -2276 -2456 -2544 2628 2136 -2556 -2212 2124 2340 2604 2600 2344 -2204 2588 2268 -2128 2476 2164 2408 2140 -2660 -2160 2448 2624 2620 2284 -2532 2728 -2396 2440 -2424 2708 -2372 -2264 2160 -2208 -2236 2448 -2732 -2676 2700 -2324 -2632 -2396 2352 2256 2564 2680 2696 2660 -2572 2568 2128 2120 2348 -2504 2216 2664 2120 2544 2528 -2232 -2588 -2732 -2244 -2132 2724 -2376 2728 -2364 2520 2732 -2224 2656 2184 -2160 2408 2264 2692 2124 2384 2476 -2684 -2548 -2712 2596 2736 -2504 2452 2656 -2436 -2372 2580 -2336 2580 2164 -2680 2508 2164 2472 -2468 -2372 -2212 -2452 2144 -2448 2136 -2164 -2348 -2732 -2628 -2228 2416 2280 2724 -2732 -2584 2172 2264 2424 -2632 2736 2156 2492 -2736 2332 -2736 2472 2192 2568 2372 -2448 2692 2176 -2676 -2340 2176 -2152 -2496 -2540 2160 2124 -2636 -2212 2532 2276 2728 2200 -2120 -2248 -2692 2388 2400 -2528 -2148 2492 2168 -2596 2532 2264 2692 -2464 -2684 2228 -2316 -2176 2636 2176 -2236 2120 2300 -2256
820 unsatisfied constraints, 24589 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-275265-1169219022 -o ROOT/results/node19/solver-275265-1169219022 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275265-1169219022/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.10 2.04 1.97 4/93 8958 /proc/meminfo: memFree=1078008/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=47976 CPUtime=0 /proc/8957/stat : 8957 (java) D 8955 8957 8889 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 270296836 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0 /proc/8957/statm: 11994 972 769 14 0 1707 0 [startup+0.103652 s] /proc/loadavg: 2.10 2.04 1.97 4/93 8958 /proc/meminfo: memFree=1078008/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=914988 CPUtime=0.09 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 2995 0 1 0 7 2 0 0 18 0 8 0 270296836 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228747 2741 1427 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.513247 s] /proc/loadavg: 2.10 2.04 1.97 4/93 8958 /proc/meminfo: memFree=1078008/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915332 CPUtime=0.49 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 7358 0 1 0 45 4 0 0 18 0 8 0 270296836 937299968 7097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228833 7097 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.34689 s] /proc/loadavg: 2.10 2.04 1.97 3/100 8965 /proc/meminfo: memFree=1007040/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915612 CPUtime=1.31 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 22017 0 1 0 120 11 0 0 24 0 8 0 270296836 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228903 21754 2161 14 0 215373 0 [pid=8957/tid=8959] ppid=8955 vsize=915612 CPUtime=0.07 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 5463 0 0 0 5 2 0 0 16 0 8 0 270296840 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915612 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915612 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915612 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915612 CPUtime=0.16 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 403 0 0 0 16 0 0 0 16 0 8 0 270296844 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915612 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915612 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 915612 [startup+2.98419 s] /proc/loadavg: 2.10 2.04 1.97 3/100 8965 /proc/meminfo: memFree=995584/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915744 CPUtime=2.94 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 22971 0 1 0 282 12 0 0 25 0 8 0 270296836 937721856 22705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228936 22705 2181 14 0 215406 0 [pid=8957/tid=8959] ppid=8955 vsize=915744 CPUtime=0.13 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 6339 0 0 0 11 2 0 0 17 0 8 0 270296840 937721856 22705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 22705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 22705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937721856 22705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915744 CPUtime=0.18 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 416 0 0 0 18 0 0 0 16 0 8 0 270296844 937721856 22705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937721856 22705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937721856 22705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 915744 [startup+6.28181 s] /proc/loadavg: 2.09 2.04 1.97 3/100 8965 /proc/meminfo: memFree=995328/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915744 CPUtime=6.21 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 22987 0 1 0 608 13 0 0 25 0 8 0 270296836 937721856 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228936 22721 2182 14 0 215406 0 [pid=8957/tid=8959] ppid=8955 vsize=915744 CPUtime=0.13 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 6339 0 0 0 11 2 0 0 16 0 8 0 270296840 937721856 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937721856 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915744 CPUtime=0.19 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 431 0 0 0 19 0 0 0 16 0 8 0 270296844 937721856 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937721856 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937721856 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 915744 [startup+12.759 s] /proc/loadavg: 2.08 2.04 1.97 3/100 8965 /proc/meminfo: memFree=995456/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915744 CPUtime=12.62 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 22996 0 1 0 1247 15 0 0 25 0 8 0 270296836 937721856 22728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228936 22728 2182 14 0 215406 0 [pid=8957/tid=8959] ppid=8955 vsize=915744 CPUtime=0.13 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 6339 0 0 0 11 2 0 0 17 0 8 0 270296840 937721856 22728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 22728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 22728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937721856 22728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915744 CPUtime=0.2 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 437 0 0 0 20 0 0 0 16 0 8 0 270296844 937721856 22728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937721856 22728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937721856 22728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 915744 [startup+25.6134 s] /proc/loadavg: 2.13 2.06 1.97 3/100 8965 /proc/meminfo: memFree=990848/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915744 CPUtime=25.35 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 24186 0 1 0 2514 21 0 0 25 0 8 0 270296836 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228936 23915 2182 14 0 215406 0 [pid=8957/tid=8959] ppid=8955 vsize=915744 CPUtime=0.19 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 7518 0 0 0 16 3 0 0 16 0 8 0 270296840 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915744 CPUtime=0.22 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 445 0 0 0 21 1 0 0 16 0 8 0 270296844 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 915744 [startup+51.2303 s] /proc/loadavg: 2.09 2.05 1.97 3/100 8965 /proc/meminfo: memFree=980224/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915744 CPUtime=50.73 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 26858 0 1 0 5008 65 0 0 25 0 8 0 270296836 937721856 26586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228936 26586 2182 14 0 215406 0 [pid=8957/tid=8959] ppid=8955 vsize=915744 CPUtime=0.31 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 10187 0 0 0 27 4 0 0 16 0 8 0 270296840 937721856 26586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 26586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 26586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937721856 26586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915744 CPUtime=0.23 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 447 0 0 0 22 1 0 0 16 0 8 0 270296844 937721856 26586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937721856 26586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937721856 26586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 915744 [startup+102.482 s] /proc/loadavg: 2.04 2.04 1.97 3/100 8965 /proc/meminfo: memFree=957696/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915744 CPUtime=101.44 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 32832 0 1 0 10037 107 0 0 25 0 8 0 270296836 937721856 32518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074029247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228936 32518 2501 14 0 215406 0 [pid=8957/tid=8959] ppid=8955 vsize=915744 CPUtime=0.77 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 15779 0 0 0 70 7 0 0 16 0 8 0 270296840 937721856 32518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 32518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937721856 32518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937721856 32518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915744 CPUtime=0.29 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270296844 937721856 32518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937721856 32518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915744 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937721856 32518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.44 Current children cumulated vsize (KiB) 915744 [startup+162.582 s] /proc/loadavg: 2.05 2.05 1.98 3/100 8965 /proc/meminfo: memFree=957632/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915744 CPUtime=160.97 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 32833 0 1 0 15985 112 0 0 25 0 8 0 270296836 937721856 32519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2004.55 Current children cumulated vsize (KiB) 915756 [startup+2083.49 s] /proc/loadavg: 2.00 2.00 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915756 CPUtime=2064.07 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 36043 0 1 0 206242 165 0 0 25 0 8 0 270296836 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074326711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228939 35677 2548 14 0 215409 0 [pid=8957/tid=8959] ppid=8955 vsize=915756 CPUtime=0.81 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 18739 0 0 0 73 8 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915756 CPUtime=0.43 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 620 0 0 0 41 2 0 0 16 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2064.07 Current children cumulated vsize (KiB) 915756 [startup+2143.55 s] /proc/loadavg: 2.06 2.02 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915756 CPUtime=2123.57 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 36043 0 1 0 212192 165 0 0 25 0 8 0 270296836 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074315520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228939 35677 2548 14 0 215409 0 [pid=8957/tid=8959] ppid=8955 vsize=915756 CPUtime=0.81 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 18739 0 0 0 73 8 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915756 CPUtime=0.44 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 620 0 0 0 42 2 0 0 16 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2123.57 Current children cumulated vsize (KiB) 915756 [startup+2203.61 s] /proc/loadavg: 2.02 2.01 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915756 CPUtime=2183.09 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 36043 0 1 0 218143 166 0 0 25 0 8 0 270296836 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074307919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228939 35677 2548 14 0 215409 0 [pid=8957/tid=8959] ppid=8955 vsize=915756 CPUtime=0.81 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 18739 0 0 0 73 8 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915756 CPUtime=0.44 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 620 0 0 0 42 2 0 0 16 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937734144 35677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2183.09 Current children cumulated vsize (KiB) 915756 [startup+2263.68 s] /proc/loadavg: 2.01 2.00 2.00 3/100 8967 /proc/meminfo: memFree=927552/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915756 CPUtime=2242.6 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 36045 0 1 0 224094 166 0 0 25 0 8 0 270296836 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074326724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8957/statm: 228939 35678 2548 14 0 215409 0 [pid=8957/tid=8959] ppid=8955 vsize=915756 CPUtime=0.81 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 18739 0 0 0 73 8 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915756 CPUtime=0.44 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 622 0 0 0 42 2 0 0 16 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2242.6 Current children cumulated vsize (KiB) 915756 [startup+2323.75 s] /proc/loadavg: 1.94 1.98 1.99 3/94 9045 /proc/meminfo: memFree=1021304/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915756 CPUtime=2302.33 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 36045 0 1 0 230061 172 0 0 25 0 8 0 270296836 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013013 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8957/statm: 228939 35678 2548 14 0 215409 0 [pid=8957/tid=8959] ppid=8955 vsize=915756 CPUtime=0.81 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 18739 0 0 0 73 8 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915756 CPUtime=0.44 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 622 0 0 0 42 2 0 0 16 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2302.33 Current children cumulated vsize (KiB) 915756 [startup+2383.81 s] /proc/loadavg: 2.06 2.01 2.00 3/94 9045 /proc/meminfo: memFree=1021560/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915756 CPUtime=2362.34 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 36045 0 1 0 236062 172 0 0 25 0 8 0 270296836 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074325908 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8957/statm: 228939 35678 2548 14 0 215409 0 [pid=8957/tid=8959] ppid=8955 vsize=915756 CPUtime=0.81 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 18739 0 0 0 73 8 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915756 CPUtime=0.44 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 622 0 0 0 42 2 0 0 16 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2362.34 Current children cumulated vsize (KiB) 915756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2421.55 s] /proc/loadavg: 2.03 2.01 2.00 3/94 9045 /proc/meminfo: memFree=1021496/2055920 swapFree=4171264/4192956 [pid=8957] ppid=8955 vsize=915756 CPUtime=2400.04 /proc/8957/stat : 8957 (java) R 8955 8957 8889 0 -1 0 36045 0 1 0 239832 172 0 0 25 0 8 0 270296836 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074340956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8957/statm: 228939 35678 2548 14 0 215409 0 [pid=8957/tid=8959] ppid=8955 vsize=915756 CPUtime=0.81 /proc/8957/task/8959/stat : 8959 (java) S 8955 8957 8889 0 -1 64 18739 0 0 0 73 8 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8960] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8960/stat : 8960 (java) S 8955 8957 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8961] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8961/stat : 8961 (java) S 8955 8957 8889 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270296840 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8962] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8962/stat : 8962 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8963] ppid=8955 vsize=915756 CPUtime=0.44 /proc/8957/task/8963/stat : 8963 (java) S 8955 8957 8889 0 -1 64 622 0 0 0 42 2 0 0 16 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8964] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8964/stat : 8964 (java) S 8955 8957 8889 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8957/tid=8965] ppid=8955 vsize=915756 CPUtime=0 /proc/8957/task/8965/stat : 8965 (java) S 8955 8957 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270296844 937734144 35678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 915756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2421.6 CPU time (s): 2400.08 CPU user time (s): 2398.34 CPU system time (s): 1.74373 CPU usage (%): 99.1114 Max. virtual memory (cumulated for all children) (KiB): 916012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.34 system time used= 1.74373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36070 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= 50856 involuntary context switches= 128715 runsolver used 3.14452 s user time and 7.78082 s system time The end
Begin job on node19 on Fri Jan 19 15:03:42 UTC 2007 IDJOB= 275265 IDBENCH= 3756 IDSOLVER= 69 FILE ID= node19/275265-1169219022 PBS_JOBID= 3588940 Free space on /tmp= 66554 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-1.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275265-1169219022/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-275265-1169219022 -o ROOT/results/node19/solver-275265-1169219022 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275265-1169219022/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 377352dfd2684bf560df5698f67e0e65 RANDOM SEED= 61052946 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.260 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.260 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: 1078488 kB Buffers: 60652 kB Cached: 676428 kB SwapCached: 10172 kB Active: 438936 kB Inactive: 459380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1078488 kB SwapTotal: 4192956 kB SwapFree: 4171264 kB Dirty: 5332 kB Writeback: 0 kB Mapped: 180212 kB Slab: 63496 kB Committed_AS: 7913128 kB PageTables: 2668 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= 66556 MiB End job on node19 on Fri Jan 19 15:44:04 UTC 2007