Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.18 | 2408.78 |
| 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.33 0.33 Abscon 109 (November, 2006) 0.33 0.33 configuration 0.33 name=epfc.xml 0.36 0.36 instance 0.36 name=/tmp/evaluation/275264-1169219017/unknown.xml 0.39 0.39 domains being loaded... 0.43 0.43 variables being loaded... 0.67 nbVariables=1500 nbDomainTypes=13 minDomainSize=42 maxDomainSize=310 0.67 => wckTime=0.334 cpuTime=0.23 mem=22M504 0.67 0.67 predicates being loaded... 0.67 0.67 constraints being loaded... 61.20 61.20 INFO : Stopping converting binary constraints (cpu=60.02, mem = 67M300) 61.73 nbConstraints=25409 nbConvertedConstraints=18481 nbConvertConstraintsChecks=185334772 nbExtensionStructures=3369 61.73 nbSharedExtensionStructures=15112 nbConflictsStructures=3369 nbSharedConflictsStructures=15112 61.73 nbSharedBinaryRepresentations=1572619 nbEvaluationManagers=1822 nbSharedEvaluationManagers=5106 maxDegree=43 61.73 maxArity=2 61.73 => wckTime=61.398 cpuTime=60.36 mem=57M131 61.98 61.98 solver LocalSearchSolver being built... 62.02 => wckTime=61.689 cpuTime=60.41 mem=58M366 62.12 62.12 s SATISFIABLE 62.12 o 20008 62.12 c 5401 62.18 o 20016 62.18 c 5393 62.22 o 20023 62.22 c 5386 62.24 o 20030 62.24 c 5379 62.27 o 20039 62.28 c 5370 62.31 o 20043 62.31 c 5366 62.32 o 20052 62.32 c 5357 62.34 o 20059 62.34 c 5350 62.36 o 20066 62.36 c 5343 62.38 o 20072 62.38 c 5337 62.40 o 20077 62.40 c 5332 62.42 o 20081 62.42 c 5328 62.43 o 20085 62.43 c 5324 62.45 o 20088 62.45 c 5321 62.47 o 20090 62.47 c 5319 62.49 o 20091 62.49 c 5318 62.52 o 20100 62.52 c 5309 62.54 o 20109 62.54 c 5300 62.57 o 20117 62.57 c 5292 62.59 o 20124 62.59 c 5285 62.62 o 20130 62.62 c 5279 62.64 o 20136 62.64 c 5273 62.66 o 20142 62.66 c 5267 62.68 o 20148 62.68 c 5261 62.70 o 20154 62.70 c 5255 62.72 o 20159 62.72 c 5250 62.74 o 20164 62.74 c 5245 62.76 o 20169 62.76 c 5240 62.78 o 20174 62.78 c 5235 62.79 o 20178 62.79 c 5231 62.81 o 20182 62.81 c 5227 62.84 o 20185 62.84 c 5224 62.86 o 20188 62.86 c 5221 62.87 o 20191 62.87 c 5218 62.89 o 20194 62.89 c 5215 62.91 o 20195 62.91 c 5214 62.93 o 20202 62.93 c 5207 62.97 o 20204 62.97 c 5205 62.98 o 20214 62.98 c 5195 63.01 o 20218 63.01 c 5191 63.03 o 20224 63.03 c 5185 63.06 o 20230 63.06 c 5179 63.07 o 20235 63.07 c 5174 63.09 o 20240 63.09 c 5169 63.11 o 20244 63.11 c 5165 63.13 o 20248 63.13 c 5161 63.15 o 20252 63.15 c 5157 63.16 o 20255 63.16 c 5154 63.17 o 20258 63.17 c 5151 63.19 o 20261 63.19 c 5148 63.21 o 20263 63.21 c 5146 63.22 o 20265 63.22 c 5144 63.23 o 20267 63.23 c 5142 63.27 o 20278 63.27 c 5131 63.29 o 20282 63.29 c 5127 63.31 o 20289 63.31 c 5120 63.33 o 20294 63.33 c 5115 63.36 o 20300 63.36 c 5109 63.38 o 20305 63.38 c 5104 63.40 o 20309 63.40 c 5100 63.43 o 20314 63.43 c 5095 63.46 o 20316 63.46 c 5093 63.50 o 20323 63.50 c 5086 63.53 o 20328 63.53 c 5081 63.57 o 20335 63.57 c 5074 63.60 o 20341 63.60 c 5068 63.64 o 20347 63.64 c 5062 63.67 o 20353 63.67 c 5056 63.71 o 20359 63.71 c 5050 63.74 o 20365 63.74 c 5044 63.78 o 20370 63.78 c 5039 63.81 o 20375 63.81 c 5034 63.84 o 20380 63.84 c 5029 63.87 o 20384 63.87 c 5025 63.90 o 20388 63.90 c 5021 63.93 o 20392 63.93 c 5017 63.97 o 20396 63.97 c 5013 64.00 o 20404 64.00 c 5005 64.02 o 20407 64.02 c 5002 64.05 o 20410 64.05 c 4999 64.08 o 20413 64.08 c 4996 64.10 o 20416 64.10 c 4993 64.12 o 20418 64.12 c 4991 64.15 o 20419 64.15 c 4990 64.17 o 20420 64.17 c 4989 64.19 o 20427 64.19 c 4982 64.22 o 20428 64.22 c 4981 64.24 o 20429 64.24 c 4980 64.28 o 20432 64.28 c 4977 64.31 o 20435 64.31 c 4974 64.33 o 20438 64.33 c 4971 64.34 o 20441 64.34 c 4968 64.36 o 20445 64.36 c 4964 64.38 o 20450 64.38 c 4959 64.41 o 20455 64.41 c 4954 64.43 o 20461 64.43 c 4948 64.45 o 20463 64.45 c 4946 64.47 o 20466 64.47 c 4943 64.49 o 20469 64.49 c 4940 64.51 o 20472 64.51 c 4937 64.53 o 20476 64.53 c 4933 64.55 o 20479 64.55 c 4930 64.60 o 20486 64.60 c 4923 64.62 o 20489 64.62 c 4920 64.63 o 20495 64.63 c 4914 64.65 o 20496 64.65 c 4913 64.67 o 20501 64.67 c 4908 64.68 o 20506 64.68 c 4903 64.70 o 20508 64.70 c 4901 64.72 o 20510 64.72 c 4899 64.75 o 20513 64.75 c 4896 64.77 o 20514 64.77 c 4895 64.80 o 20517 64.80 c 4892 64.82 o 20519 64.82 c 4890 64.84 o 20521 64.84 c 4888 64.87 o 20527 64.87 c 4882 64.89 o 20533 64.89 c 4876 64.92 o 20539 64.92 c 4870 64.94 o 20544 64.94 c 4865 64.96 o 20548 64.96 c 4861 64.99 o 20551 64.99 c 4858 65.02 o 20554 65.02 c 4855 65.04 o 20557 65.04 c 4852 65.06 o 20559 65.06 c 4850 65.08 o 20561 65.08 c 4848 65.11 o 20564 65.11 c 4845 65.13 o 20566 65.13 c 4843 65.15 o 20568 65.15 c 4841 65.17 o 20569 65.17 c 4840 65.24 o 20571 65.24 c 4838 65.27 o 20575 65.27 c 4834 65.28 o 20580 65.28 c 4829 65.31 o 20581 65.31 c 4828 65.33 o 20586 65.33 c 4823 65.35 o 20592 65.35 c 4817 65.37 o 20596 65.37 c 4813 65.39 o 20599 65.39 c 4810 65.41 o 20604 65.41 c 4805 65.43 o 20605 65.43 c 4804 65.45 o 20606 65.45 c 4803 65.47 o 20607 65.47 c 4802 65.49 o 20610 65.49 c 4799 65.50 o 20616 65.50 c 4793 65.52 o 20622 65.52 c 4787 65.54 o 20624 65.54 c 4785 65.57 o 20627 65.57 c 4782 65.58 o 20629 65.58 c 4780 65.60 o 20635 65.60 c 4774 65.61 o 20639 65.61 c 4770 65.64 o 20649 65.64 c 4760 65.65 o 20655 65.65 c 4754 65.67 o 20663 65.67 c 4746 65.68 o 20668 65.68 c 4741 65.69 o 20674 65.69 c 4735 65.71 o 20677 65.71 c 4732 65.72 o 20680 65.72 c 4729 65.74 o 20682 65.74 c 4727 65.75 o 20686 65.75 c 4723 65.77 o 20688 65.77 c 4721 65.78 o 20694 65.78 c 4715 65.80 o 20699 65.80 c 4710 65.83 o 20700 65.83 c 4709 65.85 o 20704 65.85 c 4705 65.87 o 20715 65.87 c 4694 65.88 o 20722 65.88 c 4687 65.90 o 20728 65.90 c 4681 65.92 o 20732 65.92 c 4677 65.96 o 20733 65.96 c 4676 65.97 o 20737 65.97 c 4672 66.00 o 20744 66.00 c 4665 66.03 o 20751 66.03 c 4658 66.06 o 20757 66.06 c 4652 66.10 o 20763 66.10 c 4646 66.13 o 20769 66.13 c 4640 66.16 o 20775 66.16 c 4634 66.20 o 20781 66.20 c 4628 66.23 o 20786 66.23 c 4623 66.27 o 20793 66.27 c 4616 66.31 o 20798 66.31 c 4611 66.34 o 20802 66.34 c 4607 66.37 o 20806 66.37 c 4603 66.41 o 20810 66.41 c 4599 66.45 o 20813 66.45 c 4596 66.48 o 20816 66.48 c 4593 66.52 o 20819 66.52 c 4590 66.55 o 20822 66.55 c 4587 66.58 o 20825 66.58 c 4584 66.60 o 20828 66.60 c 4581 66.64 o 20831 66.64 c 4578 66.66 o 20834 66.66 c 4575 66.70 o 20836 66.70 c 4573 66.73 o 20838 66.73 c 4571 66.75 o 20840 66.75 c 4569 66.79 o 20842 66.79 c 4567 66.82 o 20844 66.82 c 4565 66.84 o 20846 66.84 c 4563 66.87 o 20848 66.87 c 4561 66.89 o 20849 66.89 c 4560 66.92 o 20850 66.92 c 4559 66.94 o 20851 66.94 c 4558 66.99 o 20856 66.99 c 4553 67.05 o 20857 67.05 c 4552 67.07 o 20862 67.07 c 4547 67.12 o 20863 67.12 c 4546 67.14 o 20867 67.14 c 4542 67.17 o 20871 67.17 c 4538 67.20 o 20873 67.20 c 4536 67.25 o 20876 67.25 c 4533 67.27 o 20884 67.27 c 4525 67.29 o 20889 67.29 c 4520 67.31 o 20893 67.31 c 4516 67.33 o 20898 67.33 c 4511 67.35 o 20901 67.35 c 4508 67.37 o 20902 67.37 c 4507 67.40 o 20905 67.40 c 4504 67.42 o 20908 67.42 c 4501 67.45 o 20911 67.45 c 4498 67.48 o 20916 67.48 c 4493 67.54 o 20917 67.54 c 4492 67.56 o 20922 67.56 c 4487 67.58 o 20927 67.58 c 4482 67.61 o 20931 67.61 c 4478 67.64 o 20936 67.64 c 4473 67.67 o 20941 67.67 c 4468 67.70 o 20944 67.70 c 4465 67.77 o 20950 67.77 c 4459 67.79 o 20951 67.79 c 4458 67.83 o 20953 67.83 c 4456 67.86 o 20955 67.86 c 4454 67.88 o 20956 67.88 c 4453 67.92 o 20958 67.92 c 4451 67.95 o 20960 67.95 c 4449 67.98 o 20962 67.98 c 4447 68.01 o 20968 68.01 c 4441 68.07 o 20970 68.07 c 4439 68.10 o 20974 68.10 c 4435 68.12 o 20979 68.12 c 4430 68.15 o 20986 68.15 c 4423 68.18 o 20987 68.18 c 4422 68.21 o 20990 68.21 c 4419 68.24 o 20999 68.24 c 4410 68.26 o 21004 68.26 c 4405 68.29 o 21006 68.29 c 4403 68.31 o 21010 68.31 c 4399 68.33 o 21015 68.33 c 4394 68.35 o 21016 68.35 c 4393 68.42 o 21023 68.42 c 4386 68.45 o 21025 68.45 c 4384 68.48 o 21027 68.48 c 4382 68.50 o 21033 68.50 c 4376 68.52 o 21037 68.52 c 4372 68.54 o 21042 68.54 c 4367 68.57 o 21046 68.57 c 4363 68.60 o 21050 68.60 c 4359 68.63 o 21057 68.63 c 4352 68.67 o 21060 68.67 c 4349 68.69 o 21062 68.69 c 4347 68.72 o 21064 68.72 c 4345 68.74 o 21065 68.74 c 4344 68.77 o 21069 68.77 c 4340 68.80 o 21074 68.80 c 4335 68.83 o 21075 68.83 c 4334 68.86 o 21077 68.86 c 4332 68.91 o 21080 68.91 c 4329 69.06 o 21084 69.06 c 4325 69.11 o 21086 69.11 c 4323 69.15 o 21089 69.15 c 4320 69.18 o 21091 69.18 c 4318 69.21 o 21095 69.21 c 4314 69.25 o 21098 69.25 c 4311 69.28 o 21101 69.28 c 4308 69.31 o 21105 69.31 c 4304 69.34 o 21109 69.34 c 4300 69.37 o 21110 69.37 c 4299 69.40 o 21114 69.40 c 4295 69.46 o 21115 69.46 c 4294 69.50 o 21119 69.50 c 4290 69.53 o 21124 69.53 c 4285 69.56 o 21125 69.56 c 4284 69.58 o 21131 69.58 c 4278 69.61 o 21132 69.61 c 4277 69.64 o 21136 69.64 c 4273 69.67 o 21139 69.67 c 4270 69.70 o 21145 69.70 c 4264 69.73 o 21149 69.73 c 4260 69.80 o 21155 69.80 c 4254 69.84 o 21157 69.84 c 4252 69.90 o 21158 69.90 c 4251 70.00 o 21161 70.00 c 4248 70.04 o 21163 70.04 c 4246 70.07 o 21165 70.07 c 4244 70.10 o 21168 70.10 c 4241 70.13 o 21170 70.13 c 4239 70.16 o 21173 70.16 c 4236 70.20 o 21179 70.20 c 4230 70.23 o 21181 70.23 c 4228 70.26 o 21182 70.26 c 4227 70.29 o 21185 70.29 c 4224 70.32 o 21186 70.32 c 4223 70.35 o 21190 70.35 c 4219 70.41 o 21191 70.41 c 4218 70.45 o 21194 70.45 c 4215 70.48 o 21195 70.48 c 4214 70.51 o 21196 70.51 c 4213 70.54 o 21201 70.54 c 4208 70.56 o 21208 70.56 c 4201 70.58 o 21209 70.58 c 4200 70.61 o 21212 70.61 c 4197 70.64 o 21214 70.64 c 4195 70.69 o 21217 70.69 c 4192 70.72 o 21222 70.72 c 4187 70.75 o 21225 70.75 c 4184 70.77 o 21230 70.77 c 4179 70.80 o 21232 70.80 c 4177 70.82 o 21233 70.82 c 4176 70.85 o 21244 70.85 c 4165 70.87 o 21248 70.87 c 4161 70.90 o 21250 70.90 c 4159 70.93 o 21252 70.93 c 4157 70.96 o 21256 70.96 c 4153 71.02 o 21257 71.02 c 4152 71.05 o 21261 71.05 c 4148 71.08 o 21262 71.08 c 4147 71.11 o 21263 71.11 c 4146 71.14 o 21265 71.14 c 4144 71.23 o 21266 71.23 c 4143 71.30 o 21270 71.30 c 4139 71.33 o 21275 71.33 c 4134 71.37 o 21280 71.37 c 4129 71.41 o 21282 71.41 c 4127 71.47 o 21284 71.47 c 4125 71.50 o 21288 71.50 c 4121 71.54 o 21291 71.54 c 4118 71.57 o 21293 71.57 c 4116 71.60 o 21295 71.60 c 4114 71.63 o 21299 71.63 c 4110 71.66 o 21301 71.66 c 4108 71.70 o 21303 71.70 c 4106 71.82 o 21307 71.82 c 4102 71.86 o 21310 71.86 c 4099 71.89 o 21311 71.89 c 4098 71.92 o 21316 71.92 c 4093 71.95 o 21319 71.95 c 4090 71.98 o 21322 71.98 c 4087 72.01 o 21325 72.01 c 4084 72.08 o 21326 72.08 c 4083 72.11 o 21333 72.11 c 4076 72.14 o 21338 72.14 c 4071 72.17 o 21342 72.17 c 4067 72.20 o 21344 72.20 c 4065 72.24 o 21346 72.24 c 4063 72.27 o 21348 72.27 c 4061 72.29 o 21350 72.29 c 4059 72.33 o 21352 72.33 c 4057 72.41 o 21353 72.41 c 4056 72.45 o 21358 72.45 c 4051 72.47 o 21361 72.47 c 4048 72.52 o 21365 72.52 c 4044 72.55 o 21370 72.55 c 4039 72.59 o 21372 72.59 c 4037 72.62 o 21373 72.62 c 4036 72.65 o 21377 72.65 c 4032 72.68 o 21382 72.68 c 4027 72.79 o 21384 72.79 c 4025 72.86 o 21387 72.86 c 4022 72.89 o 21390 72.89 c 4019 72.95 o 21392 72.95 c 4017 72.98 o 21398 72.98 c 4011 73.04 o 21400 73.04 c 4009 73.08 o 21401 73.08 c 4008 73.11 o 21407 73.11 c 4002 73.14 o 21408 73.14 c 4001 73.18 o 21411 73.18 c 3998 73.22 o 21414 73.22 c 3995 73.32 o 21417 73.32 c 3992 73.35 o 21419 73.35 c 3990 73.38 o 21420 73.38 c 3989 73.46 o 21421 73.46 c 3988 73.49 o 21425 73.49 c 3984 73.53 o 21429 73.53 c 3980 73.57 o 21431 73.57 c 3978 73.60 o 21434 73.60 c 3975 73.63 o 21437 73.63 c 3972 73.66 o 21438 73.66 c 3971 73.71 o 21440 73.71 c 3969 73.74 o 21441 73.74 c 3968 73.76 o 21444 73.76 c 3965 73.80 o 21449 73.80 c 3960 73.83 o 21451 73.83 c 3958 73.86 o 21454 73.86 c 3955 73.90 o 21456 73.90 c 3953 73.98 o 21461 73.98 c 3948 74.02 o 21468 74.02 c 3941 74.06 o 21472 74.06 c 3937 74.27 o 21473 74.27 c 3936 74.32 o 21478 74.32 c 3931 74.41 o 21480 74.41 c 3929 74.54 o 21485 74.54 c 3924 74.59 o 21490 74.59 c 3919 74.63 o 21495 74.63 c 3914 74.73 o 21498 74.73 c 3911 74.77 o 21504 74.77 c 3905 74.81 o 21509 74.81 c 3900 74.86 o 21514 74.86 c 3895 74.90 o 21517 74.90 c 3892 74.94 o 21521 74.94 c 3888 74.98 o 21524 74.98 c 3885 75.02 o 21528 75.02 c 3881 75.06 o 21530 75.06 c 3879 75.10 o 21532 75.10 c 3877 75.18 o 21536 75.18 c 3873 75.23 o 21537 75.23 c 3872 75.28 o 21538 75.28 c 3871 75.33 o 21541 75.33 c 3868 75.46 o 21545 75.46 c 3864 75.71 o 21547 75.71 c 3862 75.76 o 21550 75.76 c 3859 75.81 o 21551 75.81 c 3858 75.87 o 21557 75.87 c 3852 75.91 o 21559 75.91 c 3850 75.96 o 21562 75.96 c 3847 76.01 o 21563 76.01 c 3846 76.06 o 21565 76.06 c 3844 76.12 o 21567 76.12 c 3842 76.17 o 21569 76.17 c 3840 76.22 o 21571 76.22 c 3838 76.27 o 21573 76.27 c 3836 76.32 o 21576 76.32 c 3833 76.36 o 21578 76.36 c 3831 76.41 o 21582 76.41 c 3827 76.46 o 21583 76.46 c 3826 76.50 o 21584 76.50 c 3825 76.59 o 21586 76.59 c 3823 76.72 o 21590 76.72 c 3819 76.92 o 21594 76.92 c 3815 76.97 o 21599 76.97 c 3810 77.02 o 21601 77.02 c 3808 77.06 o 21603 77.06 c 3806 77.10 o 21604 77.10 c 3805 77.13 o 21606 77.13 c 3803 77.17 o 21610 77.17 c 3799 77.21 o 21612 77.21 c 3797 77.29 o 21615 77.29 c 3794 77.33 o 21617 77.33 c 3792 77.37 o 21623 77.37 c 3786 77.40 o 21628 77.40 c 3781 77.44 o 21629 77.44 c 3780 77.48 o 21630 77.48 c 3779 77.51 o 21632 77.51 c 3777 77.55 o 21635 77.55 c 3774 77.62 o 21639 77.62 c 3770 77.65 o 21640 77.65 c 3769 77.69 o 21643 77.69 c 3766 77.72 o 21649 77.72 c 3760 77.80 o 21653 77.80 c 3756 77.83 o 21657 77.83 c 3752 77.90 o 21658 77.90 c 3751 77.96 o 21659 77.96 c 3750 78.00 o 21663 78.00 c 3746 78.03 o 21668 78.03 c 3741 78.10 o 21669 78.10 c 3740 78.14 o 21670 78.14 c 3739 78.18 o 21673 78.18 c 3736 78.21 o 21674 78.21 c 3735 78.24 o 21678 78.24 c 3731 78.28 o 21679 78.28 c 3730 78.39 o 21686 78.39 c 3723 78.68 o 21690 78.68 c 3719 78.72 o 21693 78.72 c 3716 78.77 o 21694 78.77 c 3715 78.88 o 21696 78.88 c 3713 78.99 o 21700 78.99 c 3709 79.04 o 21703 79.04 c 3706 79.10 o 21705 79.10 c 3704 79.15 o 21706 79.16 c 3703 79.41 o 21707 79.41 c 3702 79.52 o 21710 79.52 c 3699 79.58 o 21715 79.58 c 3694 79.81 o 21716 79.81 c 3693 79.86 o 21717 79.86 c 3692 79.92 o 21721 79.92 c 3688 79.97 o 21722 79.97 c 3687 80.03 o 21724 80.03 c 3685 80.08 o 21727 80.08 c 3682 80.14 o 21728 80.14 c 3681 80.41 o 21729 80.41 c 3680 80.47 o 21734 80.47 c 3675 80.53 o 21736 80.53 c 3673 80.64 o 21739 80.64 c 3670 80.70 o 21744 80.70 c 3665 80.77 o 21745 80.77 c 3664 80.83 o 21750 80.83 c 3659 80.89 o 21752 80.89 c 3657 81.03 o 21754 81.03 c 3655 81.32 o 21758 81.32 c 3651 81.37 o 21759 81.37 c 3650 81.43 o 21760 81.43 c 3649 81.49 o 21763 81.49 c 3646 81.54 o 21766 81.54 c 3643 81.60 o 21769 81.60 c 3640 81.65 o 21771 81.65 c 3638 81.71 o 21772 81.71 c 3637 81.77 o 21774 81.77 c 3635 81.82 o 21778 81.82 c 3631 81.99 o 21779 81.99 c 3630 82.05 o 21782 82.05 c 3627 82.11 o 21784 82.11 c 3625 82.17 o 21788 82.17 c 3621 82.28 o 21797 82.28 c 3612 82.33 o 21800 82.33 c 3609 82.43 o 21802 82.43 c 3607 82.48 o 21804 82.48 c 3605 82.54 o 21805 82.54 c 3604 82.64 o 21808 82.64 c 3601 82.69 o 21809 82.69 c 3600 82.80 o 21814 82.80 c 3595 82.85 o 21816 82.85 c 3593 82.90 o 21819 82.90 c 3590 82.99 o 21825 82.99 c 3584 83.21 o 21828 83.21 c 3581 83.32 o 21831 83.32 c 3578 83.43 o 21832 83.43 c 3577 83.60 o 21834 83.60 c 3575 83.66 o 21836 83.66 c 3573 83.72 o 21837 83.72 c 3572 83.78 o 21838 83.78 c 3571 83.84 o 21840 83.84 c 3569 83.91 o 21845 83.91 c 3564 83.97 o 21846 83.97 c 3563 84.08 o 21847 84.08 c 3562 84.14 o 21848 84.14 c 3561 84.26 o 21853 84.26 c 3556 84.42 o 21856 84.42 c 3553 84.53 o 21858 84.53 c 3551 84.58 o 21862 84.58 c 3547 84.64 o 21866 84.64 c 3543 84.69 o 21869 84.69 c 3540 84.75 o 21873 84.75 c 3536 84.92 o 21875 84.92 c 3534 84.99 o 21878 84.99 c 3531 85.30 o 21883 85.30 c 3526 85.36 o 21886 85.36 c 3523 85.55 o 21890 85.55 c 3519 85.61 o 21896 85.61 c 3513 85.67 o 21898 85.67 c 3511 85.92 o 21906 85.92 c 3503 86.30 o 21910 86.30 c 3499 86.35 o 21911 86.35 c 3498 86.41 o 21915 86.41 c 3494 86.51 o 21919 86.51 c 3490 86.61 o 21922 86.61 c 3487 86.66 o 21924 86.66 c 3485 86.78 o 21925 86.78 c 3484 86.84 o 21926 86.84 c 3483 86.88 o 21927 86.88 c 3482 86.94 o 21931 86.94 c 3478 86.99 o 21934 86.99 c 3475 87.07 o 21938 87.07 c 3471 87.17 o 21939 87.17 c 3470 87.22 o 21944 87.22 c 3465 87.27 o 21946 87.27 c 3463 87.33 o 21950 87.33 c 3459 87.38 o 21956 87.38 c 3453 87.43 o 21960 87.43 c 3449 87.58 o 21962 87.58 c 3447 87.63 o 21964 87.63 c 3445 87.68 o 21966 87.68 c 3443 87.73 o 21970 87.73 c 3439 87.84 o 21971 87.84 c 3438 87.89 o 21973 87.89 c 3436 87.94 o 21975 87.94 c 3434 87.99 o 21976 87.99 c 3433 88.05 o 21977 88.05 c 3432 88.17 o 21981 88.17 c 3428 88.22 o 21984 88.22 c 3425 88.29 o 21989 88.29 c 3420 88.34 o 21990 88.34 c 3419 88.39 o 21991 88.39 c 3418 88.45 o 21993 88.45 c 3416 88.50 o 21997 88.50 c 3412 88.56 o 21999 88.56 c 3410 88.61 o 22002 88.61 c 3407 88.66 o 22003 88.66 c 3406 88.72 o 22007 88.72 c 3402 88.88 o 22011 88.88 c 3398 88.93 o 22015 88.93 c 3394 88.98 o 22019 88.98 c 3390 89.04 o 22021 89.04 c 3388 89.10 o 22024 89.10 c 3385 89.16 o 22027 89.16 c 3382 89.22 o 22032 89.22 c 3377 89.28 o 22036 89.28 c 3373 89.34 o 22037 89.34 c 3372 89.41 o 22039 89.41 c 3370 89.58 o 22042 89.58 c 3367 89.64 o 22043 89.64 c 3366 89.76 o 22044 89.76 c 3365 89.82 o 22045 89.82 c 3364 89.89 o 22049 89.89 c 3360 89.94 o 22050 89.94 c 3359 90.06 o 22051 90.06 c 3358 90.12 o 22052 90.12 c 3357 90.18 o 22057 90.18 c 3352 90.24 o 22060 90.24 c 3349 90.38 o 22062 90.38 c 3347 90.44 o 22063 90.44 c 3346 90.51 o 22066 90.51 c 3343 90.59 o 22067 90.59 c 3342 90.66 o 22068 90.66 c 3341 90.73 o 22069 90.73 c 3340 90.80 o 22072 90.80 c 3337 90.88 o 22074 90.88 c 3335 90.95 o 22076 90.95 c 3333 91.02 o 22079 91.02 c 3330 91.18 o 22081 91.18 c 3328 91.25 o 22087 91.25 c 3322 91.32 o 22089 91.32 c 3320 91.39 o 22090 91.39 c 3319 91.61 o 22091 91.61 c 3318 91.82 o 22092 91.82 c 3317 91.89 o 22093 91.90 c 3316 91.96 o 22096 91.96 c 3313 92.03 o 22098 92.03 c 3311 92.10 o 22103 92.10 c 3306 92.17 o 22108 92.17 c 3301 92.31 o 22110 92.31 c 3299 92.60 o 22112 92.60 c 3297 92.67 o 22118 92.67 c 3291 92.74 o 22119 92.74 c 3290 92.82 o 22123 92.82 c 3286 93.04 o 22125 93.04 c 3284 93.19 o 22126 93.19 c 3283 93.25 o 22128 93.26 c 3281 93.32 o 22129 93.32 c 3280 93.39 o 22131 93.39 c 3278 93.45 o 22135 93.45 c 3274 93.53 o 22138 93.53 c 3271 93.61 o 22139 93.61 c 3270 93.76 o 22143 93.76 c 3266 93.90 o 22145 93.90 c 3264 94.05 o 22146 94.05 c 3263 94.12 o 22148 94.12 c 3261 94.19 o 22150 94.19 c 3259 94.27 o 22153 94.27 c 3256 94.34 o 22154 94.34 c 3255 94.42 o 22157 94.42 c 3252 95.56 o 22160 95.56 c 3249 95.64 o 22161 95.64 c 3248 95.80 o 22163 95.80 c 3246 95.87 o 22165 95.87 c 3244 95.95 o 22171 95.95 c 3238 96.03 o 22173 96.03 c 3236 96.12 o 22175 96.12 c 3234 96.20 o 22176 96.20 c 3233 96.28 o 22179 96.28 c 3230 96.50 o 22181 96.50 c 3228 96.67 o 22182 96.67 c 3227 96.82 o 22184 96.82 c 3225 96.91 o 22186 96.91 c 3223 97.06 o 22187 97.07 c 3222 97.14 o 22188 97.14 c 3221 97.21 o 22192 97.21 c 3217 97.29 o 22194 97.29 c 3215 97.37 o 22197 97.37 c 3212 97.83 o 22198 97.83 c 3211 97.98 o 22201 97.98 c 3208 98.12 o 22202 98.12 c 3207 98.27 o 22204 98.27 c 3205 98.36 o 22207 98.36 c 3202 98.43 o 22209 98.43 c 3200 98.52 o 22210 98.52 c 3199 98.60 o 22213 98.60 c 3196 98.68 o 22216 98.68 c 3193 98.84 o 22218 98.84 c 3191 99.07 o 22219 99.07 c 3190 99.14 o 22220 99.14 c 3189 99.45 o 22221 99.45 c 3188 100.45 o 22223 100.45 c 3186 100.52 o 22228 100.52 c 3181 101.51 o 22230 101.52 c 3179 101.58 o 22234 101.58 c 3175 101.71 o 22236 101.71 c 3173 101.77 o 22241 101.77 c 3168 101.91 o 22244 101.91 c 3165 102.10 o 22246 102.10 c 3163 102.16 o 22248 102.16 c 3161 102.22 o 22249 102.22 c 3160 102.29 o 22250 102.29 c 3159 102.37 o 22253 102.37 c 3156 102.43 o 22254 102.43 c 3155 102.71 o 22258 102.71 c 3151 102.79 o 22259 102.79 c 3150 102.95 o 22262 102.95 c 3147 103.05 o 22265 103.05 c 3144 103.12 o 22270 103.12 c 3139 103.21 o 22273 103.21 c 3136 103.28 o 22274 103.28 c 3135 103.46 o 22278 103.46 c 3131 103.54 o 22279 103.54 c 3130 103.62 o 22281 103.62 c 3128 103.70 o 22284 103.70 c 3125 103.78 o 22285 103.78 c 3124 103.87 o 22288 103.87 c 3121 103.95 o 22289 103.95 c 3120 104.11 o 22290 104.11 c 3119 104.20 o 22293 104.20 c 3116 104.45 o 22294 104.45 c 3115 104.62 o 22295 104.62 c 3114 105.02 o 22297 105.02 c 3112 105.27 o 22299 105.27 c 3110 105.45 o 22300 105.45 c 3109 105.61 o 22302 105.61 c 3107 105.77 o 22304 105.77 c 3105 105.87 o 22305 105.87 c 3104 105.96 o 22307 105.96 c 3102 106.45 o 22309 106.45 c 3100 106.55 o 22311 106.55 c 3098 106.65 o 22313 106.65 c 3096 106.93 o 22314 106.93 c 3095 107.23 o 22315 107.23 c 3094 107.70 o 22316 107.70 c 3093 107.89 o 22318 107.89 c 3091 108.46 o 22319 108.46 c 3090 108.56 o 22321 108.56 c 3088 108.86 o 22323 108.86 c 3086 108.96 o 22326 108.96 c 3083 109.05 o 22331 109.05 c 3078 110.31 o 22334 110.31 c 3075 110.90 o 22337 110.90 c 3072 111.10 o 22341 111.10 c 3068 111.19 o 22345 111.19 c 3064 111.28 o 22350 111.28 c 3059 111.37 o 22354 111.37 c 3055 111.46 o 22357 111.46 c 3052 111.81 o 22358 111.81 c 3051 111.90 o 22359 111.90 c 3050 112.10 o 22365 112.10 c 3044 112.84 o 22366 112.84 c 3043 112.94 o 22367 112.94 c 3042 113.04 o 22369 113.04 c 3040 113.15 o 22371 113.15 c 3038 113.26 o 22372 113.26 c 3037 113.48 o 22374 113.48 c 3035 113.92 o 22376 113.92 c 3033 114.03 o 22377 114.04 c 3032 114.15 o 22383 114.15 c 3026 114.26 o 22384 114.26 c 3025 114.48 o 22388 114.48 c 3021 115.17 o 22389 115.17 c 3020 115.27 o 22392 115.27 c 3017 115.49 o 22393 115.49 c 3016 115.59 o 22395 115.59 c 3014 115.70 o 22397 115.70 c 3012 115.81 o 22400 115.81 c 3009 115.88 o 22404 115.88 c 3005 116.10 o 22407 116.10 c 3002 116.40 o 22409 116.40 c 3000 116.51 o 22412 116.51 c 2997 117.53 o 22413 117.53 c 2996 117.62 o 22414 117.62 c 2995 117.83 o 22421 117.83 c 2988 118.00 o 22423 118.00 c 2986 118.09 o 22424 118.09 c 2985 118.19 o 22425 118.19 c 2984 118.28 o 22427 118.28 c 2982 118.36 o 22428 118.36 c 2981 118.47 o 22430 118.47 c 2979 118.52 o 22432 118.52 c 2977 118.60 o 22433 118.60 c 2976 118.79 o 22436 118.79 c 2973 118.89 o 22439 118.89 c 2970 118.99 o 22442 118.99 c 2967 119.26 o 22444 119.26 c 2965 119.34 o 22445 119.34 c 2964 119.52 o 22447 119.52 c 2962 119.62 o 22449 119.62 c 2960 119.70 o 22450 119.70 c 2959 120.14 o 22451 120.14 c 2958 120.50 o 22456 120.50 c 2953 120.60 o 22461 120.60 c 2948 120.77 o 22462 120.77 c 2947 120.93 o 22464 120.93 c 2945 121.02 o 22467 121.02 c 2942 121.79 o 22468 121.79 c 2941 121.98 o 22470 121.98 c 2939 122.06 o 22473 122.06 c 2936 122.14 o 22478 122.14 c 2931 122.23 o 22479 122.23 c 2930 122.32 o 22481 122.32 c 2928 122.48 o 22483 122.48 c 2926 122.57 o 22485 122.57 c 2924 122.66 o 22486 122.66 c 2923 122.75 o 22488 122.75 c 2921 122.85 o 22489 122.85 c 2920 122.94 o 22491 122.94 c 2918 123.03 o 22493 123.03 c 2916 123.13 o 22497 123.13 c 2912 124.08 o 22499 124.08 c 2910 124.18 o 22501 124.18 c 2908 125.04 o 22504 125.04 c 2905 126.24 o 22507 126.24 c 2902 126.36 o 22508 126.36 c 2901 126.60 o 22509 126.60 c 2900 127.32 o 22512 127.32 c 2897 127.44 o 22513 127.44 c 2896 127.57 o 22518 127.57 c 2891 127.70 o 22521 127.70 c 2888 127.81 o 22524 127.81 c 2885 128.04 o 22528 128.04 c 2881 128.16 o 22532 128.16 c 2877 128.63 o 22533 128.63 c 2876 128.76 o 22537 128.76 c 2872 128.88 o 22539 128.88 c 2870 128.99 o 22541 128.99 c 2868 129.11 o 22543 129.11 c 2866 129.23 o 22546 129.23 c 2863 129.33 o 22547 129.33 c 2862 129.46 o 22549 129.46 c 2860 129.56 o 22551 129.56 c 2858 129.69 o 22552 129.69 c 2857 129.80 o 22553 129.80 c 2856 129.87 o 22555 129.87 c 2854 129.97 o 22557 129.97 c 2852 130.08 o 22558 130.08 c 2851 130.21 o 22562 130.21 c 2847 130.44 o 22566 130.44 c 2843 131.00 o 22569 131.00 c 2840 131.11 o 22570 131.11 c 2839 131.22 o 22572 131.22 c 2837 131.34 o 22574 131.34 c 2835 131.57 o 22577 131.57 c 2832 131.70 o 22578 131.70 c 2831 131.92 o 22579 131.92 c 2830 132.64 o 22582 132.64 c 2827 132.75 o 22584 132.75 c 2825 133.24 o 22585 133.24 c 2824 133.76 o 22587 133.76 c 2822 133.85 o 22589 133.85 c 2820 134.60 o 22590 134.60 c 2819 134.87 o 22592 134.87 c 2817 135.00 o 22595 135.00 c 2814 135.27 o 22596 135.27 c 2813 135.40 o 22600 135.40 c 2809 136.81 o 22601 136.81 c 2808 138.50 o 22603 138.50 c 2806 138.62 o 22604 138.62 c 2805 138.71 o 22607 138.71 c 2802 139.95 o 22608 139.95 c 2801 140.19 o 22609 140.19 c 2800 140.43 o 22613 140.43 c 2796 140.55 o 22615 140.55 c 2794 140.78 o 22617 140.78 c 2792 140.90 o 22620 140.90 c 2789 141.02 o 22623 141.02 c 2786 141.15 o 22626 141.15 c 2783 141.28 o 22627 141.28 c 2782 141.77 o 22628 141.77 c 2781 141.89 o 22631 141.89 c 2778 142.13 o 22634 142.13 c 2775 142.25 o 22637 142.25 c 2772 142.36 o 22641 142.36 c 2768 142.48 o 22645 142.48 c 2764 142.73 o 22646 142.73 c 2763 142.85 o 22648 142.85 c 2761 143.90 o 22650 143.90 c 2759 144.58 o 22651 144.58 c 2758 144.72 o 22657 144.72 c 2752 144.85 o 22658 144.85 c 2751 144.99 o 22659 144.99 c 2750 145.58 o 22661 145.58 c 2748 145.73 o 22662 145.73 c 2747 145.86 o 22668 145.86 c 2741 145.99 o 22670 145.99 c 2739 148.73 o 22672 148.73 c 2737 149.53 o 22673 149.53 c 2736 149.67 o 22676 149.67 c 2733 149.81 o 22678 149.81 c 2731 149.95 o 22682 149.95 c 2727 150.09 o 22683 150.09 c 2726 150.21 o 22686 150.21 c 2723 150.50 o 22687 150.50 c 2722 151.76 o 22689 151.76 c 2720 151.91 o 22694 151.91 c 2715 153.14 o 22697 153.14 c 2712 153.71 o 22699 153.71 c 2710 153.85 o 22703 153.85 c 2706 153.99 o 22706 153.99 c 2703 154.12 o 22707 154.12 c 2702 154.26 o 22708 154.26 c 2701 154.40 o 22709 154.40 c 2700 154.53 o 22712 154.53 c 2697 154.67 o 22716 154.67 c 2693 154.80 o 22720 154.80 c 2689 155.35 o 22721 155.35 c 2688 156.18 o 22725 156.18 c 2684 156.71 o 22727 156.71 c 2682 156.86 o 22730 156.86 c 2679 157.00 o 22733 157.00 c 2676 157.14 o 22736 157.14 c 2673 157.28 o 22737 157.28 c 2672 157.54 o 22738 157.54 c 2671 157.83 o 22742 157.83 c 2667 157.97 o 22744 157.97 c 2665 158.09 o 22747 158.09 c 2662 158.37 o 22748 158.37 c 2661 160.31 o 22749 160.31 c 2660 160.42 o 22753 160.42 c 2656 160.67 o 22755 160.67 c 2654 161.18 o 22761 161.18 c 2648 161.30 o 22762 161.30 c 2647 161.44 o 22764 161.44 c 2645 161.58 o 22765 161.58 c 2644 161.72 o 22766 161.72 c 2643 163.03 o 22769 163.03 c 2640 163.16 o 22771 163.16 c 2638 163.30 o 22773 163.30 c 2636 163.44 o 22775 163.44 c 2634 163.57 o 22780 163.57 c 2629 163.85 o 22781 163.85 c 2628 164.27 o 22783 164.27 c 2626 164.41 o 22785 164.41 c 2624 166.60 o 22786 166.60 c 2623 166.90 o 22787 166.90 c 2622 167.19 o 22788 167.19 c 2621 167.34 o 22789 167.34 c 2620 167.80 o 22790 167.80 c 2619 167.96 o 22794 167.96 c 2615 168.12 o 22795 168.12 c 2614 168.27 o 22796 168.27 c 2613 168.42 o 22798 168.42 c 2611 168.57 o 22799 168.57 c 2610 168.74 o 22803 168.74 c 2606 169.35 o 22804 169.35 c 2605 169.81 o 22805 169.81 c 2604 169.97 o 22811 169.97 c 2598 171.51 o 22813 171.51 c 2596 171.66 o 22815 171.66 c 2594 171.81 o 22819 171.81 c 2590 171.97 o 22823 171.97 c 2586 172.13 o 22827 172.13 c 2582 172.29 o 22831 172.29 c 2578 172.92 o 22832 172.92 c 2577 173.08 o 22833 173.08 c 2576 173.56 o 22836 173.56 c 2573 173.69 o 22837 173.69 c 2572 174.01 o 22840 174.01 c 2569 174.17 o 22843 174.17 c 2566 174.32 o 22844 174.32 c 2565 174.48 o 22845 174.48 c 2564 174.64 o 22847 174.64 c 2562 174.95 o 22848 174.95 c 2561 177.00 o 22851 177.00 c 2558 177.15 o 22853 177.15 c 2556 177.30 o 22859 177.30 c 2550 177.54 o 22860 177.54 c 2549 177.69 o 22861 177.69 c 2548 178.41 o 22862 178.41 c 2547 178.55 o 22866 178.55 c 2543 178.68 o 22867 178.68 c 2542 178.82 o 22870 178.82 c 2539 178.96 o 22871 178.96 c 2538 179.11 o 22874 179.11 c 2535 179.42 o 22875 179.42 c 2534 179.73 o 22879 179.73 c 2530 180.18 o 22882 180.18 c 2527 180.32 o 22883 180.32 c 2526 180.48 o 22884 180.48 c 2525 181.87 o 22887 181.87 c 2522 182.03 o 22893 182.03 c 2516 182.34 o 22894 182.34 c 2515 182.49 o 22897 182.49 c 2512 182.64 o 22900 182.64 c 2509 182.94 o 22905 182.94 c 2504 183.10 o 22909 183.10 c 2500 185.13 o 22911 185.13 c 2498 185.29 o 22913 185.29 c 2496 185.62 o 22915 185.62 c 2494 186.27 o 22919 186.27 c 2490 187.48 o 22923 187.48 c 2486 188.95 o 22924 188.95 c 2485 189.44 o 22925 189.44 c 2484 189.61 o 22928 189.61 c 2481 190.39 o 22930 190.39 c 2479 190.56 o 22931 190.56 c 2478 190.74 o 22933 190.74 c 2476 191.23 o 22937 191.23 c 2472 191.73 o 22940 191.73 c 2469 192.23 o 22941 192.23 c 2468 192.40 o 22944 192.40 c 2465 192.57 o 22945 192.57 c 2464 192.89 o 22946 192.89 c 2463 193.89 o 22947 193.89 c 2462 194.05 o 22950 194.05 c 2459 194.22 o 22952 194.22 c 2457 194.39 o 22955 194.39 c 2454 194.51 o 22957 194.51 c 2452 194.67 o 22960 194.67 c 2449 195.09 o 22962 195.09 c 2447 195.25 o 22963 195.25 c 2446 195.51 o 22964 195.51 c 2445 196.36 o 22965 196.36 c 2444 196.52 o 22967 196.52 c 2442 197.09 o 22970 197.09 c 2439 197.32 o 22971 197.32 c 2438 197.46 o 22974 197.46 c 2435 200.83 o 22981 200.83 c 2428 201.13 o 22987 201.13 c 2422 201.27 o 22990 201.27 c 2419 201.71 o 22992 201.71 c 2417 201.84 o 22993 201.84 c 2416 201.98 o 22997 201.98 c 2412 202.13 o 22998 202.13 c 2411 202.27 o 23001 202.27 c 2408 202.57 o 23002 202.57 c 2407 202.72 o 23005 202.72 c 2404 202.86 o 23007 202.86 c 2402 203.02 o 23008 203.02 c 2401 203.16 o 23010 203.16 c 2399 206.40 o 23013 206.40 c 2396 206.70 o 23015 206.70 c 2394 206.89 o 23017 206.89 c 2392 207.08 o 23021 207.08 c 2388 207.27 o 23023 207.27 c 2386 207.45 o 23024 207.45 c 2385 207.63 o 23025 207.63 c 2384 207.82 o 23026 207.82 c 2383 208.38 o 23028 208.38 c 2381 208.75 o 23030 208.75 c 2379 208.93 o 23036 208.93 c 2373 209.07 o 23039 209.07 c 2370 209.26 o 23042 209.26 c 2367 209.80 o 23049 209.80 c 2360 209.91 o 23052 209.91 c 2357 210.08 o 23055 210.08 c 2354 210.25 o 23057 210.25 c 2352 210.42 o 23060 210.42 c 2349 210.61 o 23064 210.61 c 2345 210.79 o 23066 210.79 c 2343 210.96 o 23068 210.96 c 2341 211.24 o 23069 211.24 c 2340 211.41 o 23070 211.41 c 2339 211.59 o 23071 211.59 c 2338 212.11 o 23072 212.11 c 2337 212.46 o 23074 212.46 c 2335 212.65 o 23075 212.65 c 2334 212.82 o 23077 212.82 c 2332 213.00 o 23078 213.00 c 2331 213.17 o 23080 213.17 c 2329 213.36 o 23081 213.36 c 2328 214.06 o 23085 214.06 c 2324 214.11 o 23088 214.11 c 2321 214.28 o 23091 214.28 c 2318 214.45 o 23092 214.45 c 2317 214.62 o 23096 214.62 c 2313 214.80 o 23098 214.80 c 2311 218.05 o 23102 218.05 c 2307 218.14 o 23105 218.14 c 2304 218.33 o 23107 218.33 c 2302 218.52 o 23110 218.52 c 2299 219.05 o 23112 219.05 c 2297 219.24 o 23113 219.24 c 2296 219.62 o 23115 219.62 c 2294 219.74 o 23116 219.74 c 2293 219.93 o 23118 219.93 c 2291 220.12 o 23119 220.12 c 2290 220.36 o 23120 220.36 c 2289 221.10 o 23122 221.10 c 2287 221.28 o 23125 221.28 c 2284 221.46 o 23128 221.46 c 2281 221.64 o 23130 221.64 c 2279 221.78 o 23134 221.78 c 2275 222.68 o 23135 222.68 c 2274 223.77 o 23138 223.77 c 2271 224.68 o 23140 224.68 c 2269 225.24 o 23144 225.24 c 2265 227.42 o 23146 227.42 c 2263 227.76 o 23149 227.76 c 2260 227.95 o 23150 227.95 c 2259 228.51 o 23151 228.51 c 2258 228.72 o 23152 228.72 c 2257 228.91 o 23153 228.91 c 2256 230.93 o 23154 230.93 c 2255 231.14 o 23155 231.14 c 2254 234.01 o 23157 234.01 c 2252 234.21 o 23158 234.21 c 2251 234.63 o 23159 234.63 c 2250 235.06 o 23161 235.06 c 2248 235.18 o 23164 235.18 c 2245 235.37 o 23166 235.37 c 2243 235.58 o 23167 235.58 c 2242 235.99 o 23168 235.99 c 2241 236.20 o 23171 236.20 c 2238 236.42 o 23172 236.42 c 2237 236.62 o 23178 236.62 c 2231 236.82 o 23179 236.82 c 2230 237.22 o 23180 237.22 c 2229 237.29 o 23182 237.29 c 2227 237.50 o 23185 237.50 c 2224 237.71 o 23188 237.71 c 2221 238.58 o 23189 238.58 c 2220 239.59 o 23193 239.59 c 2216 239.97 o 23195 239.97 c 2214 240.78 o 23196 240.78 c 2213 240.95 o 23198 240.95 c 2211 241.17 o 23199 241.17 c 2210 241.38 o 23202 241.38 c 2207 241.59 o 23205 241.59 c 2204 242.20 o 23206 242.20 c 2203 243.25 o 23208 243.25 c 2201 244.87 o 23209 244.87 c 2200 245.08 o 23211 245.09 c 2198 245.45 o 23213 245.45 c 2196 245.66 o 23214 245.66 c 2195 245.88 o 23216 245.88 c 2193 246.06 o 23217 246.06 c 2192 246.27 o 23218 246.27 c 2191 246.49 o 23219 246.49 c 2190 249.14 o 23220 249.14 c 2189 249.23 o 23223 249.23 c 2186 249.40 o 23226 249.40 c 2183 249.49 o 23227 249.49 c 2182 249.63 o 23231 249.63 c 2178 249.79 o 23235 249.79 c 2174 250.41 o 23236 250.41 c 2173 250.60 o 23238 250.60 c 2171 252.17 o 23240 252.17 c 2169 252.34 o 23241 252.34 c 2168 252.54 o 23242 252.54 c 2167 252.74 o 23246 252.74 c 2163 252.94 o 23248 252.94 c 2161 253.33 o 23250 253.33 c 2159 253.72 o 23251 253.72 c 2158 254.70 o 23254 254.70 c 2155 255.25 o 23257 255.25 c 2152 255.43 o 23258 255.43 c 2151 255.80 o 23261 255.80 c 2148 256.00 o 23262 256.00 c 2147 257.61 o 23266 257.61 c 2143 258.13 o 23269 258.13 c 2140 259.81 o 23271 259.81 c 2138 260.18 o 23272 260.18 c 2137 260.74 o 23273 260.74 c 2136 260.92 o 23276 260.92 c 2133 263.46 o 23280 263.47 c 2129 263.84 o 23281 263.84 c 2128 264.20 o 23282 264.20 c 2127 264.38 o 23283 264.38 c 2126 264.57 o 23285 264.57 c 2124 264.76 o 23288 264.76 c 2121 264.96 o 23290 264.96 c 2119 265.14 o 23292 265.14 c 2117 266.86 o 23293 266.86 c 2116 267.89 o 23294 267.89 c 2115 268.00 o 23298 268.00 c 2111 268.21 o 23300 268.21 c 2109 268.41 o 23302 268.41 c 2107 268.62 o 23303 268.62 c 2106 268.82 o 23304 268.82 c 2105 269.22 o 23305 269.22 c 2104 269.42 o 23306 269.42 c 2103 272.10 o 23309 272.10 c 2100 274.26 o 23310 274.26 c 2099 275.30 o 23311 275.30 c 2098 276.46 o 23315 276.46 c 2094 277.10 o 23316 277.10 c 2093 277.75 o 23321 277.75 c 2088 277.96 o 23323 277.96 c 2086 278.18 o 23324 278.18 c 2085 278.39 o 23327 278.39 c 2082 281.22 o 23330 281.22 c 2079 281.43 o 23332 281.43 c 2077 282.72 o 23333 282.72 c 2076 282.93 o 23337 282.93 c 2072 283.08 o 23338 283.08 c 2071 283.52 o 23341 283.52 c 2068 283.74 o 23342 283.74 c 2067 283.96 o 23344 283.96 c 2065 284.98 o 23347 284.98 c 2062 285.46 o 23351 285.46 c 2058 285.66 o 23355 285.66 c 2054 285.81 o 23357 285.81 c 2052 286.02 o 23358 286.02 c 2051 286.46 o 23363 286.46 c 2046 286.63 o 23366 286.63 c 2043 287.06 o 23367 287.06 c 2042 287.51 o 23369 287.51 c 2040 287.86 o 23373 287.86 c 2036 288.08 o 23376 288.08 c 2033 288.30 o 23379 288.30 c 2030 288.52 o 23381 288.52 c 2028 289.28 o 23383 289.28 c 2026 289.50 o 23385 289.50 c 2024 289.72 o 23386 289.72 c 2023 289.94 o 23388 289.94 c 2021 290.16 o 23390 290.16 c 2019 290.81 o 23392 290.81 c 2017 291.04 o 23393 291.04 c 2016 291.26 o 23394 291.26 c 2015 291.69 o 23397 291.69 c 2012 291.90 o 23398 291.90 c 2011 293.17 o 23399 293.18 c 2010 293.52 o 23401 293.52 c 2008 293.73 o 23402 293.73 c 2007 294.32 o 23404 294.32 c 2005 294.53 o 23405 294.53 c 2004 294.73 o 23406 294.73 c 2003 294.94 o 23407 294.94 c 2002 295.56 o 23409 295.56 c 2000 295.59 o 23411 295.59 c 1998 295.74 o 23413 295.74 c 1996 295.94 o 23414 295.94 c 1995 296.15 o 23416 296.15 c 1993 296.35 o 23417 296.35 c 1992 296.75 o 23420 296.75 c 1989 296.95 o 23425 296.95 c 1984 297.35 o 23426 297.35 c 1983 297.76 o 23429 297.76 c 1980 297.96 o 23430 297.96 c 1979 298.78 o 23431 298.78 c 1978 298.99 o 23435 298.99 c 1974 299.19 o 23436 299.19 c 1973 299.59 o 23438 299.59 c 1971 300.00 o 23439 300.00 c 1970 301.13 o 23441 301.13 c 1968 301.53 o 23442 301.53 c 1967 301.72 o 23444 301.72 c 1965 301.93 o 23445 301.93 c 1964 303.41 o 23446 303.41 c 1963 304.17 o 23448 304.17 c 1961 304.38 o 23450 304.38 c 1959 304.61 o 23452 304.61 c 1957 305.06 o 23454 305.06 c 1955 305.28 o 23457 305.28 c 1952 305.51 o 23465 305.51 c 1944 305.73 o 23468 305.73 c 1941 305.96 o 23469 305.96 c 1940 306.18 o 23472 306.18 c 1937 306.39 o 23473 306.39 c 1936 306.61 o 23475 306.61 c 1934 308.34 o 23477 308.34 c 1932 308.78 o 23479 308.78 c 1930 309.00 o 23480 309.00 c 1929 309.23 o 23481 309.23 c 1928 309.45 o 23483 309.45 c 1926 309.66 o 23484 309.66 c 1925 314.21 o 23487 314.21 c 1922 314.33 o 23488 314.33 c 1921 314.46 o 23490 314.46 c 1919 314.66 o 23491 314.66 c 1918 315.27 o 23492 315.27 c 1917 315.48 o 23495 315.48 c 1914 316.14 o 23499 316.14 c 1910 318.74 o 23502 318.74 c 1907 318.97 o 23503 318.97 c 1906 319.41 o 23504 319.41 c 1905 319.63 o 23507 319.63 c 1902 321.66 o 23508 321.66 c 1901 321.90 o 23510 321.90 c 1899 322.02 o 23511 322.02 c 1898 322.26 o 23512 322.26 c 1897 323.25 o 23514 323.25 c 1895 323.48 o 23516 323.48 c 1893 323.71 o 23518 323.71 c 1891 324.95 o 23519 324.95 c 1890 325.18 o 23520 325.18 c 1889 326.59 o 23521 326.59 c 1888 326.81 o 23523 326.81 c 1886 327.03 o 23524 327.03 c 1885 329.50 o 23525 329.50 c 1884 329.93 o 23526 329.93 c 1883 330.15 o 23527 330.15 c 1882 330.60 o 23529 330.60 c 1880 331.05 o 23530 331.05 c 1879 331.78 o 23534 331.78 c 1875 332.23 o 23537 332.23 c 1872 332.46 o 23538 332.46 c 1871 333.86 o 23539 333.86 c 1870 334.36 o 23540 334.36 c 1869 336.14 o 23542 336.14 c 1867 336.27 o 23548 336.27 c 1861 336.44 o 23550 336.44 c 1859 336.62 o 23553 336.62 c 1856 336.84 o 23555 336.84 c 1854 337.06 o 23557 337.06 c 1852 337.60 o 23558 337.60 c 1851 338.69 o 23561 338.69 c 1848 339.34 o 23564 339.34 c 1845 339.56 o 23568 339.56 c 1841 339.78 o 23569 339.78 c 1840 340.01 o 23574 340.01 c 1835 340.18 o 23575 340.18 c 1834 341.01 o 23578 341.01 c 1831 341.23 o 23581 341.23 c 1828 341.44 o 23582 341.44 c 1827 341.67 o 23586 341.67 c 1823 342.65 o 23589 342.65 c 1820 342.87 o 23590 342.87 c 1819 346.95 o 23591 346.95 c 1818 347.17 o 23592 347.17 c 1817 347.39 o 23595 347.39 c 1814 348.04 o 23596 348.04 c 1813 354.66 o 23597 354.66 c 1812 354.89 o 23598 354.89 c 1811 355.35 o 23599 355.35 c 1810 355.81 o 23601 355.81 c 1808 356.04 o 23603 356.04 c 1806 357.50 o 23606 357.50 c 1803 357.74 o 23609 357.74 c 1800 357.91 o 23610 357.92 c 1799 358.11 o 23612 358.11 c 1797 358.34 o 23613 358.34 c 1796 358.56 o 23618 358.56 c 1791 358.78 o 23621 358.78 c 1788 359.00 o 23622 359.00 c 1787 359.22 o 23624 359.22 c 1785 361.35 o 23626 361.35 c 1783 363.23 o 23627 363.23 c 1782 363.87 o 23628 363.87 c 1781 364.08 o 23630 364.08 c 1779 364.29 o 23633 364.29 c 1776 364.75 o 23635 364.75 c 1774 368.74 o 23637 368.74 c 1772 368.96 o 23638 368.96 c 1771 369.19 o 23639 369.19 c 1770 369.87 o 23642 369.87 c 1767 370.09 o 23644 370.09 c 1765 370.32 o 23647 370.32 c 1762 370.48 o 23649 370.48 c 1760 370.89 o 23650 370.89 c 1759 371.33 o 23651 371.33 c 1758 371.54 o 23653 371.54 c 1756 374.11 o 23657 374.11 c 1752 374.29 o 23658 374.29 c 1751 374.94 o 23660 374.94 c 1749 375.15 o 23662 375.15 c 1747 375.36 o 23663 375.36 c 1746 375.58 o 23668 375.58 c 1741 375.78 o 23669 375.78 c 1740 377.25 o 23671 377.25 c 1738 377.46 o 23672 377.46 c 1737 377.68 o 23675 377.68 c 1734 377.73 o 23677 377.73 c 1732 378.58 o 23678 378.58 c 1731 378.80 o 23680 378.80 c 1729 379.22 o 23681 379.22 c 1728 379.44 o 23683 379.44 c 1726 379.46 o 23687 379.46 c 1722 380.03 o 23689 380.03 c 1720 380.83 o 23690 380.83 c 1719 380.98 o 23693 380.98 c 1716 381.17 o 23696 381.17 c 1713 381.98 o 23697 381.98 c 1712 389.05 o 23698 389.05 c 1711 389.27 o 23699 389.27 c 1710 389.49 o 23700 389.49 c 1709 389.70 o 23702 389.70 c 1707 389.82 o 23706 389.82 c 1703 390.26 o 23708 390.26 c 1701 390.55 o 23709 390.55 c 1700 392.73 o 23713 392.73 c 1696 392.95 o 23715 392.95 c 1694 393.38 o 23716 393.38 c 1693 393.59 o 23718 393.59 c 1691 394.87 o 23719 394.87 c 1690 395.48 o 23720 395.48 c 1689 395.90 o 23722 395.90 c 1687 396.11 o 23723 396.11 c 1686 396.33 o 23726 396.33 c 1683 396.55 o 23729 396.55 c 1680 396.77 o 23730 396.77 c 1679 396.98 o 23733 396.98 c 1676 398.23 o 23734 398.23 c 1675 398.45 o 23736 398.45 c 1673 398.57 o 23738 398.57 c 1671 398.79 o 23739 398.79 c 1670 399.01 o 23740 399.01 c 1669 399.44 o 23741 399.44 c 1668 402.84 o 23742 402.84 c 1667 403.27 o 23743 403.27 c 1666 403.48 o 23748 403.48 c 1661 403.54 o 23749 403.54 c 1660 404.34 o 23753 404.34 c 1656 404.56 o 23757 404.56 c 1652 404.76 o 23759 404.76 c 1650 407.84 o 23760 407.84 c 1649 408.05 o 23761 408.05 c 1648 408.46 o 23762 408.46 c 1647 408.79 o 23763 408.79 c 1646 408.99 o 23764 408.99 c 1645 409.19 o 23765 409.19 c 1644 409.59 o 23767 409.59 c 1642 409.81 o 23769 409.81 c 1640 410.96 o 23770 410.96 c 1639 411.14 o 23772 411.14 c 1637 411.35 o 23774 411.35 c 1635 411.56 o 23775 411.56 c 1634 413.76 o 23776 413.76 c 1633 413.98 o 23777 413.98 c 1632 414.10 o 23780 414.10 c 1629 414.32 o 23781 414.32 c 1628 416.23 o 23783 416.23 c 1626 416.64 o 23787 416.64 c 1622 417.07 o 23789 417.07 c 1620 417.28 o 23790 417.28 c 1619 417.49 o 23791 417.49 c 1618 417.70 o 23794 417.70 c 1615 418.35 o 23796 418.35 c 1613 418.56 o 23799 418.56 c 1610 418.78 o 23801 418.78 c 1608 419.00 o 23803 419.00 c 1606 419.52 o 23804 419.52 c 1605 420.19 o 23807 420.19 c 1602 420.32 o 23808 420.32 c 1601 420.77 o 23809 420.77 c 1600 420.98 o 23811 420.98 c 1598 421.22 o 23813 421.22 c 1596 421.43 o 23816 421.43 c 1593 421.65 o 23818 421.65 c 1591 421.82 o 23819 421.82 c 1590 422.25 o 23821 422.25 c 1588 423.13 o 23824 423.13 c 1585 423.21 o 23827 423.21 c 1582 423.43 o 23833 423.43 c 1576 425.54 o 23834 425.54 c 1575 425.99 o 23837 425.99 c 1572 426.22 o 23840 426.22 c 1569 426.44 o 23843 426.44 c 1566 427.11 o 23844 427.11 c 1565 427.30 o 23846 427.30 c 1563 427.44 o 23850 427.44 c 1559 428.46 o 23852 428.46 c 1557 428.67 o 23854 428.67 c 1555 428.88 o 23856 428.88 c 1553 429.10 o 23858 429.10 c 1551 430.13 o 23859 430.13 c 1550 430.56 o 23861 430.56 c 1548 434.31 o 23863 434.31 c 1546 434.99 o 23866 434.99 c 1543 436.34 o 23867 436.34 c 1542 437.71 o 23870 437.71 c 1539 438.37 o 23872 438.37 c 1537 442.07 o 23874 442.07 c 1535 442.29 o 23876 442.29 c 1533 442.51 o 23877 442.51 c 1532 443.53 o 23879 443.53 c 1530 443.96 o 23880 443.96 c 1529 444.18 o 23881 444.18 c 1528 445.02 o 23882 445.02 c 1527 445.24 o 23884 445.24 c 1525 445.34 o 23887 445.34 c 1522 445.76 o 23888 445.76 c 1521 448.52 o 23889 448.52 c 1520 448.61 o 23892 448.61 c 1517 448.67 o 23894 448.67 c 1515 448.76 o 23895 448.76 c 1514 448.87 o 23896 448.87 c 1513 449.21 o 23898 449.21 c 1511 449.38 o 23900 449.38 c 1509 449.55 o 23902 449.55 c 1507 450.78 o 23903 450.78 c 1506 450.87 o 23904 450.87 c 1505 451.06 o 23906 451.06 c 1503 451.41 o 23907 451.41 c 1502 452.12 o 23909 452.12 c 1500 452.85 o 23912 452.85 c 1497 453.00 o 23915 453.00 c 1494 453.19 o 23916 453.19 c 1493 453.78 o 23917 453.78 c 1492 454.05 o 23919 454.05 c 1490 454.74 o 23921 454.74 c 1488 455.08 o 23924 455.08 c 1485 455.25 o 23926 455.25 c 1483 455.42 o 23929 455.42 c 1480 455.48 o 23930 455.48 c 1479 455.65 o 23932 455.65 c 1477 456.18 o 23934 456.18 c 1475 456.53 o 23935 456.53 c 1474 456.88 o 23938 456.88 c 1471 457.41 o 23941 457.41 c 1468 457.76 o 23944 457.76 c 1465 457.96 o 23945 457.96 c 1464 458.14 o 23946 458.14 c 1463 458.32 o 23948 458.32 c 1461 458.43 o 23952 458.43 c 1457 458.62 o 23956 458.62 c 1453 458.79 o 23958 458.79 c 1451 458.97 o 23960 458.97 c 1449 459.97 o 23962 459.97 c 1447 460.16 o 23964 460.16 c 1445 460.35 o 23967 460.35 c 1442 460.71 o 23968 460.71 c 1441 461.63 o 23969 461.63 c 1440 461.96 o 23972 461.96 c 1437 462.12 o 23974 462.12 c 1435 462.47 o 23976 462.47 c 1433 462.64 o 23979 462.64 c 1430 462.80 o 23981 462.80 c 1428 462.97 o 23982 462.97 c 1427 463.50 o 23983 463.50 c 1426 465.46 o 23985 465.46 c 1424 465.64 o 23986 465.64 c 1423 465.81 o 23987 465.81 c 1422 465.99 o 23988 465.99 c 1421 466.18 o 23989 466.18 c 1420 466.45 o 23992 466.45 c 1417 467.53 o 23993 467.53 c 1416 467.72 o 23994 467.72 c 1415 467.89 o 23995 467.89 c 1414 468.01 o 23996 468.01 c 1413 468.36 o 23997 468.36 c 1412 468.51 o 23999 468.51 c 1410 468.88 o 24000 468.88 c 1409 469.85 o 24001 469.85 c 1408 470.01 o 24002 470.01 c 1407 470.19 o 24003 470.19 c 1406 471.78 o 24004 471.78 c 1405 475.57 o 24005 475.57 c 1404 475.75 o 24006 475.75 c 1403 475.93 o 24007 475.93 c 1402 476.68 o 24010 476.68 c 1399 477.05 o 24012 477.05 c 1397 477.63 o 24014 477.63 c 1395 478.94 o 24017 478.94 c 1392 479.12 o 24018 479.12 c 1391 479.31 o 24023 479.31 c 1386 480.69 o 24024 480.69 c 1385 480.88 o 24027 480.88 c 1382 481.05 o 24030 481.05 c 1379 481.81 o 24032 481.81 c 1377 482.21 o 24035 482.21 c 1374 482.41 o 24037 482.42 c 1372 483.37 o 24040 483.37 c 1369 484.95 o 24042 484.95 c 1367 485.35 o 24043 485.35 c 1366 485.56 o 24044 485.56 c 1365 485.77 o 24046 485.77 c 1363 486.34 o 24047 486.34 c 1362 486.73 o 24049 486.73 c 1360 486.92 o 24050 486.92 c 1359 487.12 o 24051 487.12 c 1358 487.30 o 24054 487.30 c 1355 488.11 o 24055 488.11 c 1354 488.31 o 24056 488.31 c 1353 488.51 o 24057 488.51 c 1352 488.92 o 24059 488.92 c 1350 489.13 o 24062 489.13 c 1347 489.32 o 24064 489.32 c 1345 489.73 o 24067 489.73 c 1342 489.77 o 24068 489.77 c 1341 489.87 o 24074 489.87 c 1335 491.73 o 24075 491.73 c 1334 491.94 o 24076 491.94 c 1333 492.52 o 24077 492.52 c 1332 493.08 o 24078 493.08 c 1331 493.28 o 24081 493.28 c 1328 493.50 o 24082 493.50 c 1327 493.89 o 24084 493.89 c 1325 494.40 o 24085 494.40 c 1324 494.59 o 24086 494.59 c 1323 494.76 o 24089 494.76 c 1320 494.96 o 24091 494.96 c 1318 495.36 o 24092 495.36 c 1317 495.57 o 24094 495.57 c 1315 495.77 o 24099 495.77 c 1310 498.29 o 24100 498.29 c 1309 498.43 o 24101 498.43 c 1308 498.83 o 24102 498.83 c 1307 499.04 o 24103 499.04 c 1306 499.24 o 24104 499.24 c 1305 499.44 o 24105 499.44 c 1304 499.78 o 24107 499.78 c 1302 500.44 o 24108 500.44 c 1301 501.43 o 24109 501.43 c 1300 501.83 o 24111 501.83 c 1298 502.02 o 24113 502.02 c 1296 502.21 o 24114 502.21 c 1295 505.06 o 24116 505.06 c 1293 505.26 o 24117 505.26 c 1292 505.46 o 24119 505.46 c 1290 505.66 o 24120 505.66 c 1289 505.87 o 24121 505.87 c 1288 513.32 o 24123 513.32 c 1286 514.66 o 24124 514.66 c 1285 514.87 o 24125 514.87 c 1284 515.08 o 24128 515.08 c 1281 515.30 o 24130 515.30 c 1279 515.91 o 24133 515.91 c 1276 516.54 o 24135 516.54 c 1274 516.76 o 24136 516.76 c 1273 517.40 o 24137 517.40 c 1272 519.68 o 24140 519.68 c 1269 519.83 o 24141 519.83 c 1268 520.87 o 24142 520.87 c 1267 521.17 o 24145 521.17 c 1264 521.38 o 24146 521.38 c 1263 523.50 o 24147 523.50 c 1262 523.68 o 24150 523.68 c 1259 523.90 o 24151 523.90 c 1258 524.98 o 24152 524.98 c 1257 529.89 o 24153 529.89 c 1256 530.11 o 24154 530.11 c 1255 533.35 o 24156 533.35 c 1253 533.57 o 24159 533.57 c 1250 534.65 o 24160 534.65 c 1249 535.52 o 24161 535.52 c 1248 535.74 o 24162 535.74 c 1247 535.95 o 24163 535.95 c 1246 536.16 o 24164 536.16 c 1245 536.38 o 24167 536.38 c 1242 536.50 o 24168 536.50 c 1241 536.93 o 24171 536.93 c 1238 537.06 o 24173 537.06 c 1236 537.67 o 24174 537.67 c 1235 542.46 o 24176 542.46 c 1233 543.08 o 24177 543.08 c 1232 543.31 o 24178 543.31 c 1231 543.75 o 24180 543.75 c 1229 543.96 o 24181 543.96 c 1228 545.46 o 24182 545.46 c 1227 545.69 o 24184 545.69 c 1225 546.15 o 24185 546.15 c 1224 546.38 o 24186 546.38 c 1223 546.85 o 24187 546.85 c 1222 547.10 o 24188 547.10 c 1221 548.00 o 24191 548.01 c 1218 554.50 o 24192 554.50 c 1217 565.22 o 24195 565.22 c 1214 565.47 o 24196 565.47 c 1213 566.74 o 24197 566.74 c 1212 567.00 o 24198 567.00 c 1211 567.26 o 24199 567.26 c 1210 570.58 o 24200 570.58 c 1209 570.85 o 24201 570.85 c 1208 573.68 o 24202 573.68 c 1207 573.94 o 24207 573.94 c 1202 574.20 o 24211 574.20 c 1198 577.05 o 24213 577.05 c 1196 578.06 o 24214 578.06 c 1195 578.47 o 24215 578.47 c 1194 578.72 o 24218 578.72 c 1191 580.39 o 24221 580.39 c 1188 582.10 o 24223 582.10 c 1186 582.35 o 24225 582.35 c 1184 582.61 o 24227 582.61 c 1182 582.84 o 24228 582.84 c 1181 583.58 o 24229 583.58 c 1180 583.82 o 24230 583.82 c 1179 584.07 o 24232 584.07 c 1177 584.33 o 24233 584.33 c 1176 584.58 o 24235 584.58 c 1174 584.83 o 24237 584.83 c 1172 585.33 o 24238 585.33 c 1171 596.83 o 24239 596.83 c 1170 599.43 o 24240 599.43 c 1169 600.65 o 24242 600.65 c 1167 601.56 o 24243 601.56 c 1166 602.32 o 24245 602.32 c 1164 603.58 o 24247 603.58 c 1162 605.51 o 24248 605.51 c 1161 607.00 o 24250 607.00 c 1159 607.17 o 24251 607.17 c 1158 610.20 o 24252 610.20 c 1157 610.97 o 24254 610.97 c 1155 611.48 o 24256 611.48 c 1153 611.69 o 24258 611.69 c 1151 611.94 o 24260 611.94 c 1149 620.69 o 24262 620.69 c 1147 620.92 o 24265 620.92 c 1144 621.10 o 24267 621.10 c 1142 624.23 o 24269 624.23 c 1140 624.62 o 24271 624.62 c 1138 624.85 o 24272 624.85 c 1137 631.11 o 24273 631.11 c 1136 652.96 o 24275 652.96 c 1134 653.23 o 24276 653.23 c 1133 653.68 o 24278 653.68 c 1131 654.43 o 24280 654.43 c 1129 654.68 o 24281 654.68 c 1128 655.43 o 24282 655.43 c 1127 655.66 o 24284 655.66 c 1125 655.85 o 24287 655.85 c 1122 656.62 o 24288 656.62 c 1121 663.44 o 24291 663.44 c 1118 663.61 o 24292 663.61 c 1117 663.87 o 24293 663.87 c 1116 664.66 o 24294 664.66 c 1115 664.93 o 24295 664.93 c 1114 665.19 o 24296 665.19 c 1113 666.65 o 24297 666.65 c 1112 666.92 o 24298 666.92 c 1111 667.19 o 24299 667.19 c 1110 667.45 o 24304 667.45 c 1105 667.91 o 24306 667.91 c 1103 668.17 o 24308 668.17 c 1101 668.43 o 24312 668.43 c 1097 668.68 o 24313 668.68 c 1096 668.94 o 24315 668.94 c 1094 669.32 o 24316 669.32 c 1093 669.57 o 24318 669.57 c 1091 669.72 o 24319 669.72 c 1090 670.23 o 24320 670.23 c 1089 674.79 o 24321 674.79 c 1088 678.00 o 24322 678.00 c 1087 679.83 o 24323 679.83 c 1086 681.98 o 24324 681.98 c 1085 687.65 o 24326 687.65 c 1083 687.93 o 24329 687.93 c 1080 688.48 o 24332 688.48 c 1077 690.59 o 24333 690.59 c 1076 692.50 o 24334 692.50 c 1075 692.78 o 24336 692.78 c 1073 693.35 o 24337 693.35 c 1072 693.91 o 24338 693.91 c 1071 694.21 o 24340 694.21 c 1069 694.50 o 24341 694.50 c 1068 695.04 o 24342 695.04 c 1067 697.29 o 24344 697.29 c 1065 697.50 o 24346 697.50 c 1063 699.26 o 24350 699.26 c 1059 699.35 o 24354 699.35 c 1055 700.21 o 24356 700.21 c 1053 700.48 o 24358 700.48 c 1051 701.02 o 24360 701.02 c 1049 702.60 o 24361 702.60 c 1048 702.84 o 24366 702.84 c 1043 703.12 o 24369 703.12 c 1040 704.48 o 24370 704.48 c 1039 704.75 o 24371 704.75 c 1038 705.03 o 24373 705.03 c 1036 705.55 o 24375 705.55 c 1034 708.25 o 24376 708.25 c 1033 708.54 o 24377 708.54 c 1032 712.21 o 24378 712.21 c 1031 713.08 o 24380 713.08 c 1029 713.55 o 24385 713.55 c 1024 713.84 o 24387 713.84 c 1022 714.13 o 24388 714.13 c 1021 714.44 o 24391 714.44 c 1018 715.02 o 24392 715.02 c 1017 716.72 o 24394 716.72 c 1015 723.44 o 24395 723.44 c 1014 723.73 o 24396 723.73 c 1013 724.28 o 24397 724.28 c 1012 731.93 o 24399 731.93 c 1010 732.22 o 24400 732.22 c 1009 732.53 o 24401 732.53 c 1008 738.54 o 24402 738.54 c 1007 738.79 o 24403 738.79 c 1006 739.73 o 24405 739.73 c 1004 740.00 o 24406 740.00 c 1003 740.28 o 24408 740.28 c 1001 740.58 o 24409 740.58 c 1000 741.71 o 24410 741.71 c 999 742.00 o 24412 742.00 c 997 742.18 o 24414 742.18 c 995 751.96 o 24416 751.96 c 993 752.22 o 24418 752.22 c 991 775.28 o 24420 775.28 c 989 775.89 o 24423 775.89 c 986 776.20 o 24424 776.20 c 985 777.12 o 24425 777.12 c 984 778.35 o 24426 778.35 c 983 778.47 o 24427 778.47 c 982 779.42 o 24428 779.42 c 981 779.74 o 24430 779.74 c 979 781.62 o 24431 781.62 c 978 793.17 o 24434 793.17 c 975 793.51 o 24436 793.51 c 973 793.80 o 24439 793.80 c 970 798.15 o 24440 798.15 c 969 798.48 o 24443 798.48 c 966 799.81 o 24444 799.81 c 965 801.96 o 24445 801.96 c 964 803.44 o 24447 803.44 c 962 803.99 o 24448 803.99 c 961 804.41 o 24449 804.41 c 960 806.62 o 24451 806.62 c 958 810.05 o 24452 810.05 c 957 810.12 o 24453 810.12 c 956 810.40 o 24454 810.40 c 955 816.04 o 24456 816.04 c 953 816.60 o 24457 816.60 c 952 817.37 o 24458 817.37 c 951 817.97 o 24459 817.97 c 950 818.28 o 24461 818.28 c 948 818.92 o 24462 818.92 c 947 825.04 o 24464 825.04 c 945 825.28 o 24465 825.28 c 944 825.60 o 24467 825.60 c 942 825.90 o 24469 825.90 c 940 826.13 o 24471 826.13 c 938 826.40 o 24472 826.40 c 937 828.11 o 24473 828.11 c 936 838.83 o 24476 838.83 c 933 839.75 o 24477 839.75 c 932 840.05 o 24479 840.05 c 930 844.49 o 24480 844.49 c 929 844.80 o 24481 844.80 c 928 846.01 o 24482 846.01 c 927 846.93 o 24483 846.93 c 926 848.39 o 24484 848.39 c 925 848.97 o 24485 848.97 c 924 850.08 o 24486 850.09 c 923 865.68 o 24487 865.68 c 922 866.50 o 24490 866.50 c 919 867.01 o 24491 867.01 c 918 869.03 o 24492 869.03 c 917 869.33 o 24493 869.33 c 916 869.88 o 24495 869.88 c 914 870.90 o 24496 870.90 c 913 872.09 o 24497 872.10 c 912 873.49 o 24498 873.49 c 911 873.79 o 24499 873.79 c 910 874.62 o 24500 874.62 c 909 874.92 o 24501 874.92 c 908 875.22 o 24502 875.22 c 907 875.44 o 24503 875.44 c 906 889.05 o 24505 889.05 c 904 896.37 o 24507 896.37 c 902 897.54 o 24513 897.54 c 896 897.85 o 24516 897.85 c 893 898.56 o 24518 898.56 c 891 898.79 o 24519 898.79 c 890 899.09 o 24522 899.09 c 887 899.23 o 24524 899.23 c 885 899.83 o 24527 899.83 c 882 903.92 o 24528 903.92 c 881 904.51 o 24529 904.51 c 880 904.82 o 24530 904.82 c 879 905.05 o 24531 905.05 c 878 906.54 o 24534 906.54 c 875 912.60 o 24535 912.60 c 874 914.04 o 24536 914.04 c 873 929.32 o 24538 929.32 c 871 930.32 o 24539 930.32 c 870 930.92 o 24540 930.92 c 869 931.15 o 24542 931.15 c 867 934.45 o 24543 934.45 c 866 950.62 o 24545 950.62 c 864 951.49 o 24548 951.49 c 861 951.55 o 24549 951.55 c 860 951.77 o 24550 951.77 c 859 952.06 o 24551 952.06 c 858 964.63 o 24553 964.63 c 856 964.91 o 24554 964.91 c 855 965.10 o 24555 965.10 c 854 970.87 o 24556 970.87 c 853 971.43 o 24557 971.43 c 852 973.27 o 24558 973.27 c 851 973.58 o 24559 973.58 c 850 974.80 o 24560 974.80 c 849 980.51 o 24562 980.51 c 847 980.69 o 24565 980.69 c 844 981.10 o 24567 981.10 c 842 981.40 o 24568 981.40 c 841 981.71 o 24571 981.71 c 838 984.94 o 24572 984.94 c 837 992.33 o 24575 992.33 c 834 992.65 o 24576 992.65 c 833 992.96 o 24579 992.96 c 830 993.26 o 24581 993.26 c 828 994.36 o 24582 994.36 c 827 994.67 o 24583 994.67 c 826 994.86 o 24584 994.86 c 825 1006.07 o 24585 1006.07 c 824 1006.38 o 24586 1006.38 c 823 1007.32 o 24587 1007.32 c 822 1007.64 o 24588 1007.64 c 821 1008.27 o 24589 1008.27 c 820 1038.62 1038.62 search 1038.62 run=0 nbConstraintChecks=4771505439 nbAssignments=5320 1038.62 => wckTime=976.594 cpuTime=971.86 mem=58M366 1038.62 1038.62 global 1038.62 nbConstraintChecks=4771505439 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1038.62 solvingWckTime=976.578 solvingCpuTime=971.84 expiredTime=no totalExploration=no nbFoundSolutions=0 1038.62 globalCpuTime=1032.32 1038.62 => wckTime=1038.283 cpuTime=1032.26 mem=58M366 1038.62 1038.62 solver IterativeSystematicSolver being built... 1039.01 => wckTime=1038.681 cpuTime=1032.53 mem=114M874 2408.72 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/node29/watcher-275264-1169219017 -o ROOT/results/node29/solver-275264-1169219017 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275264-1169219017/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.46 2.15 1.97 5/93 10277 /proc/meminfo: memFree=1381800/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=18540 CPUtime=0 /proc/10276/stat : 10276 (runsolver) R 10274 10276 9730 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270295855 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/10276/statm: 4635 279 244 17 0 2626 0 [startup+0.103821 s] /proc/loadavg: 2.46 2.15 1.97 5/93 10277 /proc/meminfo: memFree=1381800/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=911488 CPUtime=0.07 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 2613 0 1 0 6 1 0 0 20 0 8 0 270295855 933363712 2360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 227872 2360 1279 14 0 215051 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 911488 [startup+0.511845 s] /proc/loadavg: 2.46 2.15 1.97 5/93 10277 /proc/meminfo: memFree=1381800/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915332 CPUtime=0.47 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 6926 0 1 0 43 4 0 0 18 0 8 0 270295855 937299968 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153639669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 228833 6665 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 915332 [startup+1.3349 s] /proc/loadavg: 2.46 2.15 1.97 3/100 10284 /proc/meminfo: memFree=1310768/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915612 CPUtime=1.29 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 22021 0 1 0 118 11 0 0 24 0 8 0 270295855 937586688 21758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152820096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 228903 21758 2164 14 0 215373 0 [pid=10276/tid=10278] ppid=10274 vsize=915612 CPUtime=0.07 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 5463 0 0 0 6 1 0 0 16 0 8 0 270295859 937586688 21758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915612 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937586688 21758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915612 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937586688 21758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915612 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937586688 21758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915612 CPUtime=0.14 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 401 0 0 0 14 0 0 0 16 0 8 0 270295864 937586688 21758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915612 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937586688 21758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915612 CPUtime=0 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270295864 937586688 21758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915612 [startup+2.98799 s] /proc/loadavg: 2.43 2.15 1.97 3/100 10284 /proc/meminfo: memFree=1299248/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915744 CPUtime=2.94 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 22974 0 1 0 281 13 0 0 25 0 8 0 270295855 937721856 22708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 228936 22708 2184 14 0 215406 0 [pid=10276/tid=10278] ppid=10274 vsize=915744 CPUtime=0.13 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 6338 0 0 0 11 2 0 0 17 0 8 0 270295859 937721856 22708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 22708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 22708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937721856 22708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915744 CPUtime=0.17 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 414 0 0 0 17 0 0 0 15 0 8 0 270295864 937721856 22708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937721856 22708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270295864 937721856 22708 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.2802 s] /proc/loadavg: 2.43 2.15 1.97 3/100 10284 /proc/meminfo: memFree=1299056/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915744 CPUtime=6.21 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 22990 0 1 0 608 13 0 0 25 0 8 0 270295855 937721856 22724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 228936 22724 2185 14 0 215406 0 [pid=10276/tid=10278] ppid=10274 vsize=915744 CPUtime=0.13 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 6338 0 0 0 11 2 0 0 16 0 8 0 270295859 937721856 22724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 22724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 22724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937721856 22724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915744 CPUtime=0.2 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 429 0 0 0 19 1 0 0 15 0 8 0 270295864 937721856 22724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937721856 22724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270295864 937721856 22724 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.7696 s] /proc/loadavg: 2.36 2.14 1.97 3/100 10284 /proc/meminfo: memFree=1299120/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915744 CPUtime=12.67 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 22998 0 1 0 1252 15 0 0 25 0 8 0 270295855 937721856 22730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 228936 22730 2185 14 0 215406 0 [pid=10276/tid=10278] ppid=10274 vsize=915744 CPUtime=0.13 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 6338 0 0 0 11 2 0 0 16 0 8 0 270295859 937721856 22730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 22730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 22730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937721856 22730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915744 CPUtime=0.21 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 435 0 0 0 20 1 0 0 15 0 8 0 270295864 937721856 22730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937721856 22730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270295864 937721856 22730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 915744 [startup+25.6074 s] /proc/loadavg: 2.30 2.14 1.97 3/100 10284 /proc/meminfo: memFree=1294576/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915744 CPUtime=25.45 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 24186 0 1 0 2523 22 0 0 25 0 8 0 270295855 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 228936 23915 2185 14 0 215406 0 [pid=10276/tid=10278] ppid=10274 vsize=915744 CPUtime=0.19 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 7515 0 0 0 17 2 0 0 16 0 8 0 270295859 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915744 CPUtime=0.22 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 443 0 0 0 21 1 0 0 16 0 8 0 270295864 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937721856 23915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270295864 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.45 Current children cumulated vsize (KiB) 915744 [startup+51.224 s] /proc/loadavg: 2.20 2.12 1.97 3/100 10284 /proc/meminfo: memFree=1283952/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915744 CPUtime=50.94 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 26857 0 1 0 5028 66 0 0 25 0 8 0 270295855 937721856 26585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 228936 26585 2185 14 0 215406 0 [pid=10276/tid=10278] ppid=10274 vsize=915744 CPUtime=0.3 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 10183 0 0 0 27 3 0 0 16 0 8 0 270295859 937721856 26585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 26585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 26585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937721856 26585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915744 CPUtime=0.22 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 445 0 0 0 21 1 0 0 16 0 8 0 270295864 937721856 26585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937721856 26585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270295864 937721856 26585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 915744 [startup+102.473 s] /proc/loadavg: 2.13 2.12 1.98 3/100 10284 /proc/meminfo: memFree=1261360/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915744 CPUtime=101.9 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 32852 0 1 0 10085 105 0 0 25 0 8 0 270295855 937721856 32538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10276/statm: 228936 32538 2504 14 0 215406 0 [pid=10276/tid=10278] ppid=10274 vsize=915744 CPUtime=0.76 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 15796 0 0 0 71 5 0 0 16 0 8 0 270295859 937721856 32538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 32538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937721856 32538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937721856 32538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915744 CPUtime=0.28 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 475 0 0 0 27 1 0 0 15 0 8 0 270295864 937721856 32538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937721856 32538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915744 CPUtime=0 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270295864 937721856 32538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.9 Current children cumulated vsize (KiB) 915744 [startup+162.477 s] /proc/loadavg: 2.05 2.09 1.98 3/100 10284 /proc/meminfo: memFree=1261424/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915744 CPUtime=161.6 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 32854 0 1 0 16048 112 0 0 25 0 8 0 270295855 937721856 32540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2014.94 Current children cumulated vsize (KiB) 915980 [startup+2083.25 s] /proc/loadavg: 2.00 2.01 2.00 3/100 10346 /proc/meminfo: memFree=1247856/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915980 CPUtime=2074.95 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 36053 0 1 0 207326 169 0 0 25 0 8 0 270295855 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10276/statm: 228995 35725 2551 14 0 215465 0 [pid=10276/tid=10278] ppid=10274 vsize=915980 CPUtime=0.8 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 18756 0 0 0 73 7 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915980 CPUtime=0.41 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 609 0 0 0 39 2 0 0 16 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915980 CPUtime=0.01 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2074.95 Current children cumulated vsize (KiB) 915980 [startup+2143.3 s] /proc/loadavg: 2.00 2.00 2.00 3/100 10346 /proc/meminfo: memFree=1247792/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915980 CPUtime=2134.92 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 36053 0 1 0 213323 169 0 0 25 0 8 0 270295855 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10276/statm: 228995 35725 2551 14 0 215465 0 [pid=10276/tid=10278] ppid=10274 vsize=915980 CPUtime=0.8 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 18756 0 0 0 73 7 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915980 CPUtime=0.41 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 609 0 0 0 39 2 0 0 16 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915980 CPUtime=0.01 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2134.92 Current children cumulated vsize (KiB) 915980 [startup+2203.36 s] /proc/loadavg: 2.00 2.00 2.00 3/100 10346 /proc/meminfo: memFree=1247856/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915980 CPUtime=2194.93 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 36053 0 1 0 219323 170 0 0 25 0 8 0 270295855 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10276/statm: 228995 35725 2551 14 0 215465 0 [pid=10276/tid=10278] ppid=10274 vsize=915980 CPUtime=0.8 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 18756 0 0 0 73 7 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915980 CPUtime=0.41 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 609 0 0 0 39 2 0 0 16 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915980 CPUtime=0.01 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2194.93 Current children cumulated vsize (KiB) 915980 [startup+2263.41 s] /proc/loadavg: 2.00 2.00 2.00 3/100 10346 /proc/meminfo: memFree=1247792/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915980 CPUtime=2254.93 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 36053 0 1 0 225323 170 0 0 25 0 8 0 270295855 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074150951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10276/statm: 228995 35725 2551 14 0 215465 0 [pid=10276/tid=10278] ppid=10274 vsize=915980 CPUtime=0.8 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 18756 0 0 0 73 7 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915980 CPUtime=0.41 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 609 0 0 0 39 2 0 0 16 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915980 CPUtime=0.01 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2254.93 Current children cumulated vsize (KiB) 915980 [startup+2323.46 s] /proc/loadavg: 2.00 2.00 2.00 3/100 10346 /proc/meminfo: memFree=1247856/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915980 CPUtime=2314.9 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 36053 0 1 0 231320 170 0 0 25 0 8 0 270295855 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10276/statm: 228995 35725 2551 14 0 215465 0 [pid=10276/tid=10278] ppid=10274 vsize=915980 CPUtime=0.8 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 18756 0 0 0 73 7 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915980 CPUtime=0.41 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 609 0 0 0 39 2 0 0 16 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915980 CPUtime=0.01 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2314.9 Current children cumulated vsize (KiB) 915980 [startup+2383.51 s] /proc/loadavg: 2.00 2.00 2.00 3/100 10346 /proc/meminfo: memFree=1247792/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915980 CPUtime=2374.91 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 36053 0 1 0 237321 170 0 0 25 0 8 0 270295855 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074330388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10276/statm: 228995 35725 2551 14 0 215465 0 [pid=10276/tid=10278] ppid=10274 vsize=915980 CPUtime=0.8 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 18756 0 0 0 73 7 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915980 CPUtime=0.41 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 609 0 0 0 39 2 0 0 16 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915980 CPUtime=0.01 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2374.91 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2408.71 s] /proc/loadavg: 2.08 2.02 2.01 4/100 10346 /proc/meminfo: memFree=1247728/2055920 swapFree=4161388/4192956 [pid=10276] ppid=10274 vsize=915980 CPUtime=2400.1 /proc/10276/stat : 10276 (java) R 10274 10276 9730 0 -1 0 36053 0 1 0 239840 170 0 0 25 0 8 0 270295855 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074308243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10276/statm: 228995 35725 2551 14 0 215465 0 [pid=10276/tid=10278] ppid=10274 vsize=915980 CPUtime=0.8 /proc/10276/task/10278/stat : 10278 (java) S 10274 10276 9730 0 -1 64 18756 0 0 0 73 7 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10279] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10279/stat : 10279 (java) S 10274 10276 9730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10280] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10280/stat : 10280 (java) S 10274 10276 9730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270295859 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10281] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10281/stat : 10281 (java) S 10274 10276 9730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10282] ppid=10274 vsize=915980 CPUtime=0.41 /proc/10276/task/10282/stat : 10282 (java) S 10274 10276 9730 0 -1 64 609 0 0 0 39 2 0 0 16 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10276/tid=10283] ppid=10274 vsize=915980 CPUtime=0 /proc/10276/task/10283/stat : 10283 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10276/tid=10284] ppid=10274 vsize=915980 CPUtime=0.01 /proc/10276/task/10284/stat : 10284 (java) S 10274 10276 9730 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 270295864 937963520 35725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.1 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2408.78 CPU time (s): 2400.18 CPU user time (s): 2398.45 CPU system time (s): 1.72674 CPU usage (%): 99.6429 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.45 system time used= 1.72674 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36077 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= 50662 involuntary context switches= 92041 runsolver used 2.91556 s user time and 7.92179 s system time The end
Begin job on node29 on Fri Jan 19 15:03:38 UTC 2007 IDJOB= 275264 IDBENCH= 3756 IDSOLVER= 68 FILE ID= node29/275264-1169219017 PBS_JOBID= 3589143 Free space on /tmp= 66558 MiB SOLVER NAME= AbsconMax 109 EPFC 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 epfc.xml 1 XSax /tmp/evaluation/275264-1169219017/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-275264-1169219017 -o ROOT/results/node29/solver-275264-1169219017 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275264-1169219017/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 377352dfd2684bf560df5698f67e0e65 RANDOM SEED= 913058053 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.241 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.241 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: 1382280 kB Buffers: 39316 kB Cached: 507388 kB SwapCached: 2192 kB Active: 166220 kB Inactive: 436428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1382280 kB SwapTotal: 4192956 kB SwapFree: 4161388 kB Dirty: 5124 kB Writeback: 0 kB Mapped: 81372 kB Slab: 55616 kB Committed_AS: 5767948 kB PageTables: 2500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node29 on Fri Jan 19 15:43:46 UTC 2007