Trace number 432594

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)100037 1800.09 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
MD5SUM6c96e127d2f61e098d2015d63d4a25a7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark100037
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 99995
Optimality of the best value was proved NO
Number of variables10582
Total number of constraints5865
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198
Number of terms in the objective function 10582
Biggest coefficient in the objective function 229
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 529702
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 529702
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432594-1177945797/instance-432594-1177945797.opb
0.00/0.00	c File size is 3584935 bytes.
0.59/0.66	c Highest Coefficient sum: 529702
0.59/0.66	c Parsing was ok!!
0.59/0.66	c Total parsing time: 0.665 s
0.59/0.67	c Var: 10582 Constr: 5865 651/0/5214 Lit: 338860 Watch. Lit: 20282
0.59/0.67	c Obj. Vars: 10582 (100 % of total variables)
1.79/1.86	c Formula reductions applied at preprocessing
1.79/1.86	c Pre-processing Time: 1.863 s
9.38/9.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.44	c        0   9917     5596   334031   59    19422  664672      0      0 1.86
9.38/9.44	c Initial Lower Bound: 92481
9.38/9.44	c Initial Path Cost: 36869
9.38/9.45	o 106485	9.445
169.04/169.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
169.04/169.13	c        0   9917     5597   343948   61    31394  684506      1      0 9.45
169.04/169.13	o 100349	169.084 * 
571.62/571.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
571.62/571.81	c        0   9917     5598   353865   63    35610  704340      2      0 169.09
571.62/571.81	c      100   9917     5798   441068   76    35816  774775    202      0 284.90
571.62/571.81	c      350   9917     6298   735815  116    36655  852253    702      0 473.52
571.62/571.81	o 100340	571.643 * 
848.34/848.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
848.34/848.62	c      350   9917     6299   745732  118    40454  704340    703      0 571.65
848.34/848.62	c      450   9917     6499   837345  128    40771  774775    903      0 699.44
848.34/848.62	o 100037	848.375 * 
1800.07/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.61	c      450   9917     6500   847262  130    44856  704340    904      0 848.38
1800.07/1800.61	c      551   9917     6700   945909  141    45107  774775   1104      0 981.35
1800.07/1800.61	c      802   9917     7202  1175693  163    45838  852253   1606      0 1244.30
1800.07/1800.61	c     1278   9917     8154  1555542  190    47360  937479   2558      0 1563.20
1800.07/1800.61	c Caught signal: 15
1800.07/1800.61	v x1 -x2 x4205 x4316 -x4427 x5028 x6139 x7250 -x8361 x9472 -x3 x1114 x2225 -x3336 -x4139 -x4150 x4161 -x4172 -x4183 -x4194
1800.07/1800.61	v -x4206 x4217 x4228 -x4239 x4250 x4261 -x4272 x4283 -x4294 -x4305 -x4317 x4328 x4339 -x4350 x4361 x4372 x4383 -x4394 x4405
1800.07/1800.61	v x4416 x4428 x4439 x4450 -x4461 x4472 x4483 x4584 -x4695 -x4806 -x4917 x5029 x5140 -x5251 -x5362 x5473 x5584 x5695 -x5806
1800.07/1800.61	v x5917 -x6028 -x6140 x6251 x6362 x6473 -x6584 x6695 -x6806 x6917 x7028 -x7139 x7251 x7362 -x7473 -x7584 -x7695 x7806 -x7917
1800.07/1800.61	v -x8028 -x8139 x8250 -x8362 x8473 x8584 -x8695 x8806 x8917 x9028 x9139 x9250 x9361 -x9473 x9584 -x9695 x9806 x9917 x10028
1800.07/1800.61	v -x10139 x10250 x10361 x10472 -x4 x115 x226 x337 -x448 x559 x670 -x781 -x892 x1003 x1115 x1226 -x1337 x1448 -x1559 -x1670
1800.07/1800.61	v x1781 -x1892 x2003 x2114 x2226 -x2337 x2448 x2559 -x2670 x2781 x2892 -x3003 -x3114 x3225 x3337 -x3448 x3559 -x3670 -x3781
1800.07/1800.61	v -x3892 x4003 -x4114 -x4137 -x4138 x4140 x4141 x4142 x4143 x4144 -x4145 -x4146 -x4147 x4148 x4149 -x4151 x4152 x4153 -x4154
1800.07/1800.61	v x4155 -x4156 x4157 x4158 -x4159 x4160 -x4162 x4163 x4164 x4165 x4166 -x4167 x4168 x4169 -x4170 x4171 x4173 -x4174 -x4175
1800.07/1800.61	v -x4176 -x4177 -x4178 x4179 x4180 x4181 -x4182 x4184 x4185 x4186 -x4187 -x4188 x4189 x4190 -x4191 -x4192 -x4193 -x4195 -x4196
1800.07/1800.61	v -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 x4207 x4208 x4209 x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216
1800.07/1800.61	v x4218 x4219 -x4220 x4221 x4222 -x4223 x4224 -x4225 x4226 -x4227 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236
1800.07/1800.61	v x4237 -x4238 -x4240 x4241 -x4242 x4243 x4244 -x4245 -x4246 x4247 -x4248 x4249 -x4251 -x4252 x4253 -x4254 x4255 -x4256 -x4257
1800.07/1800.61	v x4258 -x4259 -x4260 x4262 x4263 -x4264 x4265 -x4266 -x4267 x4268 x4269 -x4270 x4271 x4273 -x4274 -x4275 -x4276 x4277 -x4278
1800.07/1800.61	v -x4279 x4280 -x4281 x4282 x4284 -x4285 x4286 -x4287 -x4288 -x4289 x4290 -x4291 x4292 -x4293 -x4295 -x4296 -x4297 -x4298
1800.07/1800.61	v x4299 -x4300 x4301 -x4302 x4303 x4304 -x4306 x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4318 -x4319
1800.07/1800.61	v -x4320 -x4321 -x4322 x4323 -x4324 x4325 x4326 x4327 -x4329 x4330 -x4331 -x4332 -x4333 x4334 x4335 x4336 -x4337 x4338 -x4340
1800.07/1800.61	v x4341 -x4342 x4343 x4344 x4345 -x4346 -x4347 x4348 -x4349 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 x4358 -x4359
1800.07/1800.61	v x4360 -x4362 -x4363 x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 x4373 -x4374 -x4375 -x4376 x4377 x4378 x4379
1800.07/1800.61	v x4380 x4381 -x4382 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 x4393 -x4395 -x4396 x4397 x4398 x4399
1800.07/1800.61	v x4400 x4401 -x4402 -x4403 x4404 -x4406 x4407 -x4408 x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 x4417 -x4418 x4419 -x4420
1800.07/1800.61	v -x4421 -x4422 x4423 -x4424 -x4425 x4426 -x4429 -x4430 -x4431 x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4440 -x4441
1800.07/1800.61	v x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 -x4451 -x4452 -x4453 -x4454 x4455 x4456 -x4457 x4458 -x4459 -x4460
1800.07/1800.61	v x4462 x4463 x4464 -x4465 -x4466 -x4467 x4468 -x4469 x4470 -x4471 x4473 x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481
1800.07/1800.61	v -x4482 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500
1800.07/1800.61	v -x4501 -x4502 -x4503 -x4504 -x4505 x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 -x4518
1800.07/1800.61	v -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535
1800.07/1800.61	v -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552
1800.07/1800.61	v -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569
1800.07/1800.61	v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4585 -x4586 -x4587
1800.07/1800.61	v -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604
1800.07/1800.61	v -x4605 x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622
1800.07/1800.61	v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639
1800.07/1800.61	v -x4640 -x4641 -x4642 x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657
1800.07/1800.61	v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 x4672 -x4673 -x4674
1800.07/1800.61	v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691
1800.07/1800.61	v -x4692 -x4693 x4694 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710
1800.07/1800.61	v -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727
1800.07/1800.61	v -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744
1800.07/1800.61	v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 x4761
1800.07/1800.61	v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778
1800.07/1800.61	v -x4779 -x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 x4793 -x4794 -x4795 -x4796
1800.07/1800.61	v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814
1800.07/1800.61	v -x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 -x4829 x4830 x4831 x4832
1800.07/1800.61	v x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 x4850
1800.07/1800.61	v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867
1800.07/1800.61	v -x4868 -x4869 -x4870 -x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 x4882 -x4883 -x4884 -x4885
1800.07/1800.61	v -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902
1800.07/1800.61	v -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 x4916 -x4918 -x4919 -x4920
1800.07/1800.61	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937
1800.07/1800.61	v -x4938 x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954
1800.07/1800.61	v -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971
1800.07/1800.61	v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988
1800.07/1800.61	v -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005
1800.07/1800.61	v -x5006 -x5007 x5008 -x5009 x5010 x5011 -x5012 x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023
1800.07/1800.61	v x5024 -x5025 -x5026 -x5027 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 x5040 -x5041 -x5042 -x5043
1800.07/1800.61	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060
1800.07/1800.61	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077
1800.07/1800.61	v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094
1800.07/1800.61	v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111
1800.07/1800.61	v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128
1800.07/1800.61	v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 x5136 -x5137 -x5138 -x5139 -x5141 -x5142 -x5143 x5144 x5145 x5146 x5147
1800.07/1800.61	v x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164
1800.07/1800.61	v -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182
1800.07/1800.61	v x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199
1800.07/1800.61	v -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216
1800.07/1800.61	v -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233
1800.07/1800.61	v -x5234 -x5235 -x5236 -x5237 -x5238 x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5252
1800.07/1800.61	v -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269
1800.07/1800.61	v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286
1800.07/1800.61	v -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 x5294 -x5295 -x5296 -x5297 x5298 -x5299 -x5300 x5301 -x5302 x5303 -x5304
1800.07/1800.61	v -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321
1800.07/1800.61	v -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 x5338 -x5339
1800.07/1800.61	v -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356
1800.07/1800.61	v -x5357 -x5358 -x5359 -x5360 -x5361 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374
1800.07/1800.61	v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391
1800.07/1800.61	v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408
1800.07/1800.61	v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425
1800.07/1800.61	v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442
1800.07/1800.61	v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459
1800.07/1800.61	v x5460 -x5461 -x5462 -x5463 -x5464 x5465 x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5474 -x5475 -x5476 -x5477 -x5478
1800.07/1800.61	v -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495
1800.07/1800.61	v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512
1800.07/1800.61	v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529
1800.07/1800.61	v -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547
1800.07/1800.61	v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 x5561 -x5562 -x5563 -x5564
1800.07/1800.61	v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 -x5573 -x5574 -x5575 -x5576 x5577 -x5578 x5579 x5580 -x5581 -x5582
1800.07/1800.61	v -x5583 -x5585 -x5586 x5587 x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601
1800.07/1800.61	v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 x5614 -x5615 -x5616 -x5617 -x5618
1800.07/1800.61	v -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 x5625 -x5626 x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636
1800.07/1800.61	v -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653
1800.07/1800.61	v -x5654 -x5655 -x5656 -x5657 x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5671
1800.07/1800.61	v -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688
1800.07/1800.61	v -x5689 -x5690 -x5691 -x5692 -x5693 x5694 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706
1800.07/1800.61	v -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723
1800.07/1800.61	v -x5724 -x5725 -x5726 -x5727 x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 x5739 -x5740 -x5741
1800.07/1800.61	v -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758
1800.07/1800.61	v -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 -x5775
1800.07/1800.61	v -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792
1800.07/1800.61	v -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 -x5805 -x5807 -x5808 -x5809 -x5810
1800.07/1800.61	v -x5811 -x5812 -x5813 -x5814 -x5815 x5816 -x5817 -x5818 x5819 x5820 -x5821 -x5822 -x5823 x5824 x5825 -x5826 -x5827 -x5828
1800.07/1800.61	v -x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846
1800.07/1800.61	v -x5847 -x5848 -x5849 x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863
1800.07/1800.61	v -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880
1800.07/1800.61	v -x5881 -x5882 x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897
1800.07/1800.61	v -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914
1800.07/1800.61	v -x5915 -x5916 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 x5927 -x5928 -x5929 -x5930 -x5931 -x5932
1800.07/1800.61	v -x5933 -x5934 -x5935 -x5936 -x5937 x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949
1800.07/1800.61	v -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966
1800.07/1800.61	v -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983
1800.07/1800.61	v -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000
1800.07/1800.61	v -x6001 -x6002 -x6003 -x6004 x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017
1800.07/1800.61	v -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035
1800.07/1800.61	v -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052
1800.07/1800.61	v -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069
1800.07/1800.61	v -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086
1800.07/1800.61	v -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103
1800.07/1800.61	v -x6104 x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120
1800.07/1800.61	v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137
1800.07/1800.61	v x6138 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 x6155 x6156 -x6157
1800.07/1800.61	v -x6158 x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 x6173 -x6174 -x6175
1800.07/1800.61	v -x6176 -x6177 -x6178 -x6179 -x6180 x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192
1800.07/1800.61	v -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209
1800.07/1800.61	v -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226
1800.07/1800.61	v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243
1800.07/1800.61	v -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261
1800.07/1800.61	v x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279
1800.07/1800.61	v -x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 x6295 -x6296 -x6297
1800.07/1800.61	v -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314
1800.07/1800.61	v -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331
1800.07/1800.61	v -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348
1800.07/1800.61	v -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6363 -x6364 -x6365 -x6366
1800.07/1800.61	v -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383
1800.07/1800.61	v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400
1800.07/1800.61	v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417
1800.07/1800.61	v -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434
1800.07/1800.61	v -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451
1800.07/1800.61	v -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468
1800.07/1800.61	v -x6469 -x6470 -x6471 -x6472 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486
1800.07/1800.61	v -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 x6499 -x6500 -x6501 -x6502 x6503 -x6504
1800.07/1800.61	v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521
1800.07/1800.61	v -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538
1800.07/1800.61	v -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555
1800.07/1800.61	v -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572
1800.07/1800.61	v -x6573 -x6574 x6575 -x6576 -x6577 -x6578 -x6579 x6580 -x6581 x6582 -x6583 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591
1800.07/1800.61	v -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608
1800.07/1800.61	v -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 x6620 -x6621 -x6622 -x6623 -x6624 -x6625
1800.07/1800.61	v -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642
1800.07/1800.61	v -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 x6658 -x6659 x6660
1800.07/1800.61	v -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 x6672 -x6673 -x6674 -x6675 -x6676 -x6677
1800.07/1800.61	v -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 x6694
1800.07/1800.61	v -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712
1800.07/1800.61	v -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 x6728 -x6729
1800.07/1800.61	v -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746
1800.07/1800.61	v -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763
1800.07/1800.61	v -x6764 -x6765 -x6766 -x6767 -x6768 x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 x6780 -x6781
1800.07/1800.61	v -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798
1800.07/1800.61	v -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 x6816
1800.07/1800.61	v -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833
1800.07/1800.61	v -x6834 -x6835 -x6836 -x6837 x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850
1800.07/1800.61	v -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867
1800.07/1800.61	v -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 x6883 -x6884
1800.07/1800.61	v -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901
1800.07/1800.61	v -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6918 -x6919
1800.07/1800.61	v -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936
1800.07/1800.61	v -x6937 -x6938 x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953
1800.07/1800.61	v -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 x6965 -x6966 -x6967 -x6968 -x6969 -x6970
1800.07/1800.61	v -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987
1800.07/1800.61	v -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004
1800.07/1800.61	v -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021
1800.07/1800.61	v -x7022 -x7023 -x7024 -x7025 -x7026 x7027 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039
1800.07/1800.61	v -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056
1800.07/1800.61	v -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 x7072 -x7073
1800.07/1800.61	v -x7074 x7075 x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 x7091
1800.07/1800.61	v x7092 x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 x7105 -x7106 -x7107 -x7108 -x7109
1800.07/1800.61	v -x7110 -x7111 -x7112 -x7113 -x7114 x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126
1800.07/1800.61	v x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 x7138 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145
1800.07/1800.61	v -x7146 -x7147 -x7148 x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162
1800.07/1800.61	v -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179
1800.07/1800.61	v -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196
1800.07/1800.61	v -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213
1800.07/1800.61	v -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 x7227 -x7228 -x7229 -x7230
1800.07/1800.61	v -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247
1800.07/1800.61	v -x7248 -x7249 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266
1800.07/1800.61	v -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283
1800.07/1800.61	v -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300
1800.07/1800.61	v -x7301 -x7302 x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 x7316 -x7317 -x7318
1800.07/1800.61	v -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335
1800.07/1800.61	v -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352
1800.07/1800.61	v -x7353 -x7354 -x7355 -x7356 x7357 -x7358 x7359 -x7360 -x7361 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371
1800.07/1800.61	v x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 x7384 -x7385 -x7386 -x7387 -x7388 -x7389
1800.07/1800.61	v -x7390 -x7391 -x7392 -x7393 -x7394 x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406
1800.07/1800.61	v -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423
1800.07/1800.61	v -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 x7436 -x7437 x7438 -x7439 -x7440 -x7441
1800.07/1800.61	v -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458
1800.07/1800.61	v -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7474 -x7475 -x7476
1800.07/1800.61	v -x7477 -x7478 -x7479 x7480 -x7481 -x7482 x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494
1800.07/1800.61	v x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512
1800.07/1800.61	v -x7513 -x7514 -x7515 -x7516 x7517 -x7518 -x7519 x7520 x7521 x7522 x7523 x7524 x7525 -x7526 -x7527 -x7528 -x7529 -x7530
1800.07/1800.61	v -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547
1800.07/1800.61	v -x7548 -x7549 x7550 -x7551 -x7552 x7553 -x7554 -x7555 -x7556 -x7557 x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565
1800.07/1800.61	v -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582
1800.07/1800.61	v x7583 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600
1800.07/1800.61	v -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 x7617
1800.07/1800.61	v -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634
1800.07/1800.61	v -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 x7649 -x7650 -x7651
1800.07/1800.61	v -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668
1800.07/1800.61	v -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 x7683 -x7684 -x7685
1800.07/1800.61	v -x7686 -x7687 -x7688 -x7689 -x7690 x7691 -x7692 x7693 -x7694 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704
1800.07/1800.61	v -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 x7717 -x7718 -x7719 -x7720 -x7721
1800.07/1800.61	v -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738
1800.07/1800.61	v -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755
1800.07/1800.61	v -x7756 -x7757 -x7758 -x7759 -x7760 x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 x7772 -x7773
1800.07/1800.61	v -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790
1800.07/1800.61	v -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 x7805 -x7807 -x7808
1800.07/1800.61	v -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825
1800.07/1800.61	v -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 x7839 -x7840 -x7841 -x7842
1800.07/1800.61	v -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859
1800.07/1800.61	v -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876
1800.07/1800.61	v -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893
1800.07/1800.61	v x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910
1800.07/1800.61	v -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 x7925 -x7926 -x7927 -x7928
1800.07/1800.61	v -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945
1800.07/1800.61	v -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 x7961 -x7962
1800.07/1800.61	v -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979
1800.07/1800.61	v -x7980 -x7981 -x7982 x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996
1800.07/1800.61	v -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 x8003 x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014
1800.07/1800.61	v -x8015 x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8029 -x8030 -x8031 -x8032
1800.07/1800.61	v -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 x8047 -x8048 -x8049
1800.07/1800.61	v -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066
1800.07/1800.61	v -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083
1800.07/1800.61	v -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100
1800.07/1800.61	v -x8101 -x8102 -x8103 x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117
1800.07/1800.61	v -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134
1800.07/1800.61	v -x8135 -x8136 -x8137 -x8138 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152
1800.07/1800.61	v -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169
1800.07/1800.61	v -x8170 -x8171 x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186
1800.07/1800.61	v -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203
1800.07/1800.61	v -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220
1800.07/1800.61	v -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 x8235 -x8236 -x8237
1800.07/1800.61	v -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8251 -x8252 -x8253 -x8254 -x8255
1800.07/1800.61	v -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 x8271 -x8272
1800.07/1800.61	v -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289
1800.07/1800.61	v -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 x8304 -x8305 -x8306
1800.07/1800.61	v -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323
1800.07/1800.61	v -x8324 -x8325 -x8326 x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340
1800.07/1800.61	v -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 x8349 -x8350 -x8351 -x8352 -x8353 x8354 x8355 -x8356 -x8357 -x8358
1800.07/1800.61	v -x8359 -x8360 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377
1800.07/1800.61	v -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394
1800.07/1800.61	v -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411
1800.07/1800.61	v -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 x8422 -x8423 x8424 x8425 -x8426 -x8427 -x8428 -x8429
1800.07/1800.61	v -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446
1800.07/1800.61	v -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 x8453 x8454 x8455 x8456 x8457 x8458 x8459 x8460 -x8461 -x8462 -x8463 x8464 x8465
1800.07/1800.61	v x8466 x8467 x8468 x8469 x8470 x8471 -x8472 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484
1800.07/1800.61	v -x8485 -x8486 x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501
1800.07/1800.61	v -x8502 -x8503 -x8504 -x8505 x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 x8517 -x8518 -x8519
1800.07/1800.61	v -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536
1800.07/1800.61	v -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 x8550 -x8551 -x8552 -x8553
1800.07/1800.61	v -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570
1800.07/1800.61	v -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8585 -x8586 -x8587 -x8588
1800.07/1800.61	v -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605
1800.07/1800.61	v -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622
1800.07/1800.61	v -x8623 -x8624 -x8625 -x8626 -x8627 x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 x8639 -x8640
1800.07/1800.61	v -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657
1800.07/1800.61	v -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674
1800.07/1800.61	v -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691
1800.07/1800.61	v -x8692 -x8693 -x8694 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709
1800.07/1800.61	v -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726
1800.07/1800.61	v -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743
1800.07/1800.61	v -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760
1800.07/1800.61	v -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777
1800.07/1800.61	v -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794
1800.07/1800.61	v -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812
1800.07/1800.61	v -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829
1800.07/1800.61	v -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846
1800.07/1800.61	v -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863
1800.07/1800.61	v -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880
1800.07/1800.61	v -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 -x8895 -x8896 -x8897
1800.07/1800.61	v -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914
1800.07/1800.61	v -x8915 -x8916 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932
1800.07/1800.61	v -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 x8949
1800.07/1800.61	v -x8950 -x8951 -x8952 x8953 x8954 x8955 x8956 x8957 -x8958 x8959 x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967
1800.07/1800.61	v -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984
1800.07/1800.61	v -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001
1800.07/1800.61	v -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018
1800.07/1800.61	v -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9029 -x9030 x9031 -x9032 -x9033 -x9034 -x9035 -x9036
1800.07/1800.61	v -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053
1800.07/1800.61	v -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070
1800.07/1800.61	v -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087
1800.07/1800.61	v -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 x9102 -x9103 -x9104 -x9105
1800.07/1800.61	v -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122
1800.07/1800.61	v -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9140
1800.07/1800.61	v -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157
1800.07/1800.61	v -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174
1800.07/1800.61	v -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191
1800.07/1800.61	v -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 x9204 -x9205 -x9206 -x9207 -x9208
1800.07/1800.61	v -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225
1800.07/1800.61	v -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242
1800.07/1800.61	v -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260
1800.07/1800.61	v -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 x9272 -x9273 -x9274 -x9275 -x9276 -x9277
1800.07/1800.61	v -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294
1800.07/1800.61	v -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311
1800.07/1800.61	v -x9312 -x9313 -x9314 -x9315 x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328
1800.07/1800.61	v -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345
1800.07/1800.61	v -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9362 -x9363
1800.07/1800.61	v -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380
1800.07/1800.61	v -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397
1800.07/1800.61	v -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414
1800.07/1800.61	v -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431
1800.07/1800.61	v -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448
1800.07/1800.61	v x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465
1800.07/1800.61	v -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484
1800.07/1800.61	v -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501
1800.07/1800.61	v -x9502 -x9503 -x9504 -x9505 x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518
1800.07/1800.61	v -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535
1800.07/1800.61	v -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 x9550 -x9551 -x9552
1800.07/1800.61	v -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569
1800.07/1800.61	v -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9585 -x9586 -x9587
1800.07/1800.61	v -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604
1800.07/1800.61	v -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 x9616 -x9617 -x9618 -x9619 -x9620 -x9621
1800.07/1800.61	v -x9622 -x9623 -x9624 -x9625 -x9626 x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 x9638 -x9639
1800.07/1800.61	v -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656
1800.07/1800.61	v -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673
1800.07/1800.61	v -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690
1800.07/1800.61	v -x9691 -x9692 -x9693 x9694 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708
1800.07/1800.61	v -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725
1800.07/1800.61	v -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742
1800.07/1800.61	v -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759
1800.07/1800.61	v -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 x9772 -x9773 -x9774 -x9775 -x9776
1800.07/1800.61	v -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793
1800.07/1800.61	v -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9807 -x9808 -x9809 -x9810 -x9811
1800.07/1800.61	v -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 x9828
1800.07/1800.61	v -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845
1800.07/1800.61	v -x9846 -x9847 -x9848 x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862
1800.07/1800.61	v -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879
1800.07/1800.61	v -x9880 -x9881 -x9882 x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896
1800.07/1800.61	v -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913
1800.07/1800.61	v -x9914 -x9915 x9916 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931
1800.07/1800.61	v -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948
1800.07/1800.61	v -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965
1800.07/1800.61	v -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982
1800.07/1800.61	v -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999
1800.07/1800.61	v -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014
1800.07/1800.61	v -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10029 -x10030
1800.07/1800.61	v -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045
1800.07/1800.61	v -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060
1800.07/1800.61	v -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075
1800.07/1800.61	v -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090
1800.07/1800.61	v -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105
1800.07/1800.61	v -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120
1800.07/1800.61	v -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135
1800.07/1800.61	v -x10136 -x10137 -x10138 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151
1800.07/1800.61	v -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 x10161 -x10162 -x10163 -x10164 -x10165 -x10166
1800.07/1800.61	v -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181
1800.07/1800.61	v -x10182 -x10183 -x10184 -x10185 -x10186 x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196
1800.07/1800.61	v -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211
1800.07/1800.61	v -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226
1800.07/1800.61	v -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241
1800.07/1800.61	v -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257
1800.07/1800.61	v -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 x10272
1800.07/1800.61	v -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287
1800.07/1800.61	v -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302
1800.07/1800.61	v -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 x10316 -x10317
1800.07/1800.61	v -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332
1800.07/1800.61	v -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347
1800.07/1800.61	v -x10348 x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10362 -x10363
1800.07/1800.61	v -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378
1800.07/1800.61	v -x10379 -x10380 -x10381 x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393
1800.07/1800.61	v -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408
1800.07/1800.61	v -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423
1800.07/1800.61	v -x10424 -x10425 -x10426 x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438
1800.07/1800.61	v -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453
1800.07/1800.61	v -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468
1800.07/1800.61	v -x10469 -x10470 x10471 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484
1800.07/1800.61	v -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499
1800.07/1800.61	v -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514
1800.07/1800.61	v -x10515 x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529
1800.07/1800.61	v -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544
1800.07/1800.61	v -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559
1800.07/1800.61	v x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574
1800.07/1800.61	v -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 x10582 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17
1800.07/1800.61	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43
1800.07/1800.61	v -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69
1800.07/1800.61	v -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95
1800.07/1800.61	v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x116 -x117
1800.07/1800.61	v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138
1800.07/1800.61	v -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159
1800.07/1800.61	v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
1800.07/1800.61	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201
1800.07/1800.61	v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222
1800.07/1800.61	v -x223 -x224 -x225 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244
1800.07/1800.61	v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265
1800.07/1800.61	v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286
1800.07/1800.61	v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307
1800.07/1800.61	v -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328
1800.07/1800.61	v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
1800.07/1800.61	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371
1800.07/1800.61	v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392
1800.07/1800.61	v -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413
1800.07/1800.61	v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434
1800.07/1800.61	v -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456
1800.07/1800.61	v -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.07/1800.61	v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498
1800.07/1800.61	v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519
1800.07/1800.61	v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
1800.07/1800.61	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x560 -x561 -x562
1800.07/1800.61	v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583
1800.07/1800.61	v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604
1800.07/1800.61	v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625
1800.07/1800.61	v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646
1800.07/1800.61	v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667
1800.07/1800.61	v -x668 -x669 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.07/1800.61	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.07/1800.61	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.07/1800.61	v -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.07/1800.61	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773
1800.07/1800.61	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1800.07/1800.61	v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1800.07/1800.61	v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1800.07/1800.61	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858
1800.07/1800.61	v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1800.07/1800.61	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901
1800.07/1800.61	v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922
1800.07/1800.61	v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943
1800.07/1800.61	v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964
1800.07/1800.61	v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985
1800.07/1800.61	v -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1004 -x1005 -x1006
1800.07/1800.61	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.07/1800.61	v -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.07/1800.61	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.07/1800.61	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.07/1800.61	v -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.07/1800.61	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1800.07/1800.61	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127
1800.07/1800.61	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1800.07/1800.61	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
1800.07/1800.61	v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
1800.07/1800.61	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1800.07/1800.61	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
1800.07/1800.61	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1227 -x1228 -x1229 -x1230
1800.07/1800.61	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1800.07/1800.61	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264
1800.07/1800.61	v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281
1800.07/1800.61	v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298
1800.07/1800.61	v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1800.07/1800.61	v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332
1800.07/1800.61	v -x1333 -x1334 -x1335 -x1336 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
1800.07/1800.61	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
1800.07/1800.61	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384
1800.07/1800.61	v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401
1800.07/1800.61	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418
1800.07/1800.61	v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1800.07/1800.61	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1449 -x1450 -x1451 -x1452 -x1453
1800.07/1800.61	v -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471
1800.07/1800.61	v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
1800.07/1800.61	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505
1800.07/1800.61	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
1800.07/1800.61	v -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539
1800.07/1800.61	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556
1800.07/1800.61	v -x1557 x1558 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574
1800.07/1800.61	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 x1589 -x1590 -x1591 -x1592
1800.07/1800.61	v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609
1800.07/1800.61	v -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627
1800.07/1800.61	v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644
1800.07/1800.61	v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661
1800.07/1800.61	v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1800.07/1800.61	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696
1800.07/1800.61	v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713
1800.07/1800.61	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1800.07/1800.61	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747
1800.07/1800.61	v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764
1800.07/1800.61	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1782
1800.07/1800.61	v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799
1800.07/1800.61	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816
1800.07/1800.61	v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833
1800.07/1800.61	v -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
1800.07/1800.61	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867
1800.07/1800.61	v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884
1800.07/1800.61	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902
1800.07/1800.61	v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919
1800.07/1800.61	v -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936
1800.07/1800.61	v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953
1800.07/1800.61	v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
1800.07/1800.61	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987
1800.07/1800.61	v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2005
1800.07/1800.61	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022
1800.07/1800.61	v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039
1800.07/1800.61	v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056
1800.07/1800.61	v -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073
1800.07/1800.61	v -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091
1800.07/1800.61	v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108
1800.07/1800.61	v -x2109 -x2110 -x2111 -x2112 -x2113 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126
1800.07/1800.61	v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143
1800.07/1800.61	v -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
1800.07/1800.61	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177
1800.07/1800.61	v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194
1800.07/1800.61	v -x2195 -x2196 -x2197 -x2198 x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212
1800.07/1800.61	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2227 -x2228 -x2229 x2230 x2231 x2232
1800.07/1800.61	v x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1800.07/1800.61	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267
1800.07/1800.61	v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284
1800.07/1800.61	v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301
1800.07/1800.61	v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318
1800.07/1800.61	v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
1800.07/1800.61	v x2336 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353
1800.07/1800.61	v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
1800.07/1800.61	v -x2371 -x2372 -x2373 x2374 -x2375 -x2376 x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388
1800.07/1800.61	v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405
1800.07/1800.61	v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422
1800.07/1800.61	v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439
1800.07/1800.61	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.07/1800.61	v x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474
1800.07/1800.61	v -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491
1800.07/1800.61	v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1800.07/1800.61	v -x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526
1800.07/1800.61	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543
1800.07/1800.61	v x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2560 -x2561 -x2562
1800.07/1800.61	v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1800.07/1800.61	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1800.07/1800.61	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1800.07/1800.61	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1800.07/1800.61	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1800.07/1800.61	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664
1800.07/1800.61	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682
1800.07/1800.61	v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
1800.07/1800.61	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717
1800.07/1800.61	v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734
1800.07/1800.61	v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751
1800.07/1800.61	v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768
1800.07/1800.61	v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2782 -x2783 -x2784 -x2785 -x2786
1800.07/1800.61	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803
1800.07/1800.61	v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
1800.07/1800.61	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 x2830 -x2831 -x2832 x2833 -x2834 x2835 -x2836 -x2837 -x2838
1800.07/1800.61	v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855
1800.07/1800.61	v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872
1800.07/1800.61	v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
1800.07/1800.61	v -x2891 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908
1800.07/1800.61	v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925
1800.07/1800.61	v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942
1800.07/1800.61	v -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959
1800.07/1800.61	v -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976
1800.07/1800.61	v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993
1800.07/1800.61	v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1800.07/1800.61	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028
1800.07/1800.61	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
1800.07/1800.61	v -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
1800.07/1800.61	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1800.07/1800.61	v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096
1800.07/1800.61	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1800.07/1800.61	v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131
1800.07/1800.61	v -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148
1800.07/1800.61	v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 x3165 -x3166
1800.07/1800.61	v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184
1800.07/1800.61	v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201
1800.07/1800.61	v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218
1800.07/1800.61	v -x3219 x3220 x3221 -x3222 x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237
1800.07/1800.61	v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254
1800.07/1800.61	v -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 -x3271
1800.07/1800.61	v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
1800.07/1800.61	v -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305
1800.07/1800.61	v -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322
1800.07/1800.61	v -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3338 -x3339 -x3340 -x3341
1800.07/1800.61	v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358
1800.07/1800.61	v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375
1800.07/1800.61	v -x3376 -x3377 -x3378 -x3379 -x3380 x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393
1800.07/1800.61	v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
1800.07/1800.61	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1800.07/1800.61	v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444
1800.07/1800.61	v -x3445 -x3446 -x3447 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462
1800.07/1800.61	v -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479
1800.07/1800.61	v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496
1800.07/1800.61	v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513
1800.07/1800.61	v -x3514 -x3515 -x3516 -x3517 x3518 -x3519 -x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531
1800.07/1800.61	v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548
1800.07/1800.61	v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566
1800.07/1800.61	v -x3567 -x3568 -x3569 x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583
1800.07/1800.61	v -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
1800.07/1800.61	v -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617
1800.07/1800.61	v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634
1800.07/1800.61	v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651
1800.07/1800.61	v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668
1800.07/1800.61	v -x3669 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686
1800.07/1800.61	v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703
1800.07/1800.61	v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
1800.07/1800.61	v -x3721 x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737
1800.07/1800.61	v -x3738 -x3739 x3740 -x3741 -x3742 x3743 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 x3754 -x3755
1800.07/1800.61	v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772
1800.07/1800.61	v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
1800.07/1800.61	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807
1800.07/1800.61	v -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824
1800.07/1800.61	v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842
1800.07/1800.61	v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859
1800.07/1800.61	v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
1800.07/1800.61	v -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 x3891 -x3893 -x3894 -x3895
1800.07/1800.61	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912
1800.07/1800.61	v -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929
1800.07/1800.61	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946
1800.07/1800.61	v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963
1800.07/1800.61	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
1800.07/1800.61	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997
1800.07/1800.61	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 x4010 x4011 -x4012 -x4013 -x4014 -x4015 -x4016
1800.07/1800.61	v -x4017 -x4018 -x4019 -x4020 x4021 x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
1800.07/1800.61	v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051
1800.07/1800.61	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068
1800.07/1800.61	v x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086
1800.07/1800.61	v -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103
1800.07/1800.61	v -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121
1800.07/1800.61	v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136
1800.07/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.61	c   10     1666     87    14858     8930  1875203   3334      0 1800.08
1800.07/1800.61	c Objective: 100037
1800.07/1800.61	s SATISFIABLE
1800.07/1800.61	c Total time: 1800.08 s

Verifier Data (download as text)

OK	100037

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node1/watcher-432594-1177945797 -o ROOT/results/node1/solver-432594-1177945797 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432594-1177945797/instance-432594-1177945797.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.05 0.99 0.91 3/77 3647
/proc/meminfo: memFree=1738240/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=15240 CPUtime=0
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 270617604 15605760 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 3810 336 280 324 0 2004 0

[startup+0.030217 s]
/proc/loadavg: 1.05 0.99 0.91 3/77 3647
/proc/meminfo: memFree=1738240/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=8468 CPUtime=0.02
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 633 0 0 0 2 0 0 0 18 0 1 0 270617604 8671232 603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134528207 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 2117 603 312 324 0 311 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8468

[startup+0.101226 s]
/proc/loadavg: 1.05 0.99 0.91 3/77 3647
/proc/meminfo: memFree=1738240/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=8984 CPUtime=0.09
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 860 0 0 0 9 0 0 0 18 0 1 0 270617604 9199616 830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 2246 830 409 324 0 440 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8984

[startup+0.301249 s]
/proc/loadavg: 1.05 0.99 0.91 3/77 3647
/proc/meminfo: memFree=1738240/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=10400 CPUtime=0.29
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 1496 0 0 0 29 0 0 0 19 0 1 0 270617604 10649600 1466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 2600 1466 678 324 0 794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10400

[startup+0.701296 s]
/proc/loadavg: 1.05 0.99 0.91 3/77 3647
/proc/meminfo: memFree=1738240/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=10728 CPUtime=0.69
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 2946 0 0 0 68 1 0 0 23 0 1 0 270617604 10985472 2040 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 2682 2040 303 324 0 1752 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10728

[startup+1.50239 s]
/proc/loadavg: 1.05 0.99 0.91 2/78 3648
/proc/meminfo: memFree=1725944/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=16084 CPUtime=1.49
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 4388 0 0 0 146 3 0 0 25 0 1 0 270617604 16470016 3389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546695 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 4021 3389 305 324 0 3091 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16084

[startup+3.10158 s]
/proc/loadavg: 1.05 0.99 0.91 2/78 3648
/proc/meminfo: memFree=1725688/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=17384 CPUtime=3.09
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 13857 0 0 0 301 8 0 0 25 0 1 0 270617604 17801216 3743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135467970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 4346 3743 334 324 0 3416 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17384

[startup+6.30195 s]
/proc/loadavg: 1.04 0.99 0.91 2/78 3648
/proc/meminfo: memFree=1722104/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=29272 CPUtime=6.29
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 243373 0 0 0 517 112 0 0 25 0 1 0 270617604 29974528 5634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135330854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7318 5634 390 324 0 6388 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29272

[startup+12.7017 s]
/proc/loadavg: 1.20 1.02 0.93 2/78 3648
/proc/meminfo: memFree=1716408/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=28592 CPUtime=12.69
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 256071 0 0 0 1151 118 0 0 25 0 1 0 270617604 29278208 5614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135279161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7148 5614 393 324 0 6218 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28592

[startup+25.5012 s]
/proc/loadavg: 1.15 1.02 0.93 2/78 3648
/proc/meminfo: memFree=1717048/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=30572 CPUtime=25.49
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 332110 0 0 0 2397 152 0 0 25 0 1 0 270617604 31305728 5690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7643 5690 393 324 0 6713 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30572

[startup+51.1012 s]
/proc/loadavg: 1.16 1.03 0.93 2/78 3648
/proc/meminfo: memFree=1719736/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=30220 CPUtime=51.07
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 448663 0 0 0 4903 204 0 0 25 0 1 0 270617604 30945280 5732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7555 5732 393 324 0 6625 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30220

[startup+102.305 s]
/proc/loadavg: 1.18 1.06 0.94 2/78 3648
/proc/meminfo: memFree=1719800/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=29452 CPUtime=102.27
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 752061 0 0 0 9885 342 0 0 25 0 1 0 270617604 30158848 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134948405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7363 5573 393 324 0 6433 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29452

[startup+162.301 s]
/proc/loadavg: 1.17 1.07 0.95 2/78 3648
/proc/meminfo: memFree=1717816/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=21980 CPUtime=162.25
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 1473031 0 0 0 15569 656 0 0 25 0 1 0 270617604 22507520 4965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 5495 4965 393 324 0 4565 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21980

[startup+222.301 s]
/proc/loadavg: 1.16 1.09 0.96 2/78 3648
/proc/meminfo: memFree=1717176/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=30000 CPUtime=222.22
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 1849340 0 0 0 21394 828 0 0 25 0 1 0 270617604 30720000 5629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7500 5629 393 324 0 6570 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 30000

[startup+282.301 s]
/proc/loadavg: 1.11 1.08 0.97 2/78 3648
/proc/meminfo: memFree=1715896/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=24188 CPUtime=282.2
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 2477766 0 0 0 27112 1108 0 0 25 0 1 0 270617604 24768512 5446 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 6047 5446 394 324 0 5117 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 24188

[startup+342.301 s]
/proc/loadavg: 1.08 1.08 0.97 2/78 3648
/proc/meminfo: memFree=1715704/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=31616 CPUtime=342.19
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 2778293 0 0 0 32974 1245 0 0 25 0 1 0 270617604 32374784 5991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700506 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7904 5991 394 324 0 6974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 31616

[startup+402.301 s]
/proc/loadavg: 1.07 1.08 0.98 2/78 3648
/proc/meminfo: memFree=1715832/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=29756 CPUtime=402.18
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 3189098 0 0 0 38787 1431 0 0 25 0 1 0 270617604 30470144 5735 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134688373 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7439 5735 394 324 0 6509 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 29756

[startup+462.301 s]
/proc/loadavg: 1.13 1.09 0.99 2/78 3648
/proc/meminfo: memFree=1714488/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=33368 CPUtime=462.15
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 4060632 0 0 0 44387 1828 0 0 25 0 1 0 270617604 34168832 6670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135188690 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 8342 6670 394 324 0 7412 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 33368

[startup+522.301 s]
/proc/loadavg: 1.16 1.10 1.00 2/78 3648
/proc/meminfo: memFree=1711928/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=32472 CPUtime=522.13
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 4472483 0 0 0 50202 2011 0 0 25 0 1 0 270617604 33251328 6648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135279161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 8118 6648 394 324 0 7188 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 32472

[startup+582.301 s]
/proc/loadavg: 1.24 1.13 1.01 2/78 3648
/proc/meminfo: memFree=1712312/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=36088 CPUtime=582.12
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 5180974 0 0 0 55880 2332 0 0 25 0 1 0 270617604 36954112 6963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 9022 6963 394 324 0 8092 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 36088

[startup+642.301 s]
/proc/loadavg: 1.16 1.12 1.01 2/78 3648
/proc/meminfo: memFree=1711736/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=35384 CPUtime=642.1
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 5537313 0 0 0 61716 2494 0 0 25 0 1 0 270617604 36233216 6958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 8846 6958 394 324 0 7916 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 35384


################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 1.09 1.10 1.01 2/78 3648
/proc/meminfo: memFree=1712440/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=29396 CPUtime=822.05
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 7296774 0 0 0 78914 3291 0 0 25 0 1 0 270617604 30101504 6820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7349 6820 394 324 0 6419 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 29396

[startup+882.302 s]
/proc/loadavg: 1.13 1.11 1.01 2/78 3648
/proc/meminfo: memFree=1710072/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=29396 CPUtime=882.03
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 7849232 0 0 0 84655 3548 0 0 25 0 1 0 270617604 30101504 6820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 7349 6820 394 324 0 6419 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 29396

[startup+942.303 s]
/proc/loadavg: 1.13 1.12 1.02 2/78 3648
/proc/meminfo: memFree=1712312/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=35940 CPUtime=942.02
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 8426015 0 0 0 90393 3809 0 0 25 0 1 0 270617604 36802560 7318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134802450 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 8985 7318 394 324 0 8055 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 35940

[startup+1002.3 s]
/proc/loadavg: 1.13 1.12 1.02 2/78 3648
/proc/meminfo: memFree=1708792/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=38520 CPUtime=1002
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 8940631 0 0 0 96156 4044 0 0 25 0 1 0 270617604 39444480 7649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331932 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 9630 7649 394 324 0 8700 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 38520

[startup+1062.3 s]
/proc/loadavg: 1.09 1.11 1.02 2/78 3648
/proc/meminfo: memFree=1709112/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=35508 CPUtime=1061.98
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 9264857 0 0 0 102005 4193 0 0 25 0 1 0 270617604 36360192 7370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135282010 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 8877 7370 394 324 0 7947 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 35508

[startup+1122.3 s]
/proc/loadavg: 1.11 1.12 1.03 2/78 3648
/proc/meminfo: memFree=1708856/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=37844 CPUtime=1121.96
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 9642126 0 0 0 107829 4367 0 0 25 0 1 0 270617604 38752256 7712 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694788 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 9461 7712 394 324 0 8531 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 37844

[startup+1182.3 s]
/proc/loadavg: 1.07 1.11 1.03 2/78 3648
/proc/meminfo: memFree=1707512/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=32456 CPUtime=1181.95
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 10044374 0 0 0 113638 4557 0 0 25 0 1 0 270617604 33234944 7585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 8114 7585 394 324 0 7184 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 32456

[startup+1242.3 s]
/proc/loadavg: 1.14 1.12 1.03 2/78 3648
/proc/meminfo: memFree=1706168/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=33488 CPUtime=1241.93
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 10453556 0 0 0 119450 4743 0 0 25 0 1 0 270617604 34291712 7843 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706943 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 8372 7843 394 324 0 7442 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 33488

[startup+1302.3 s]
/proc/loadavg: 1.26 1.14 1.04 2/78 3648
/proc/meminfo: memFree=1706680/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=41080 CPUtime=1301.92
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 10718848 0 0 0 125329 4863 0 0 25 0 1 0 270617604 42065920 8341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331929 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 10270 8341 394 324 0 9340 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 41080

[startup+1362.3 s]
/proc/loadavg: 1.22 1.14 1.05 2/78 3648
/proc/meminfo: memFree=1707640/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=39168 CPUtime=1361.89
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 11224518 0 0 0 131091 5098 0 0 25 0 1 0 270617604 40108032 8418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135281752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 9792 8418 394 324 0 8862 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 39168

[startup+1422.31 s]
/proc/loadavg: 1.14 1.13 1.05 2/78 3648
/proc/meminfo: memFree=1704312/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=42572 CPUtime=1421.88
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 11730328 0 0 0 136856 5332 0 0 25 0 1 0 270617604 43593728 8800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 10643 8800 394 324 0 9713 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 42572

[startup+1482.3 s]
/proc/loadavg: 1.17 1.14 1.05 2/78 3648
/proc/meminfo: memFree=1704440/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=43932 CPUtime=1481.85
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 12177276 0 0 0 142644 5541 0 0 25 0 1 0 270617604 44986368 9170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 10983 9170 394 324 0 10053 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 43932

[startup+1542.3 s]
/proc/loadavg: 1.11 1.12 1.05 2/78 3650
/proc/meminfo: memFree=1702392/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=44384 CPUtime=1541.84
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 12568799 0 0 0 148459 5725 0 0 25 0 1 0 270617604 45449216 9286 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135307040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 11096 9286 394 324 0 10166 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 44384

[startup+1602.3 s]
/proc/loadavg: 1.09 1.11 1.05 2/78 3650
/proc/meminfo: memFree=1700856/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=46204 CPUtime=1601.82
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 12889903 0 0 0 154310 5872 0 0 25 0 1 0 270617604 47312896 9586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135222090 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 11551 9586 394 324 0 10621 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 46204

[startup+1662.3 s]
/proc/loadavg: 1.07 1.11 1.05 2/78 3650
/proc/meminfo: memFree=1702136/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=45408 CPUtime=1661.8
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 13328808 0 0 0 160106 6074 0 0 25 0 1 0 270617604 46497792 9577 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 11352 9577 394 324 0 10422 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 45408

[startup+1722.3 s]
/proc/loadavg: 1.10 1.11 1.06 2/78 3650
/proc/meminfo: memFree=1699256/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=47244 CPUtime=1721.78
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 13894193 0 0 0 165847 6331 0 0 25 0 1 0 270617604 48377856 10028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134948403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 11811 10028 394 324 0 10881 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 47244

[startup+1782.3 s]
/proc/loadavg: 1.11 1.12 1.06 2/78 3650
/proc/meminfo: memFree=1697848/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=49052 CPUtime=1781.77
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 14457151 0 0 0 171582 6595 0 0 25 0 1 0 270617604 50229248 10490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 12263 10490 394 324 0 11333 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 49052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.14 1.12 1.06 2/78 3650
/proc/meminfo: memFree=1697144/2055920 swapFree=4145760/4192956
[pid=3647] ppid=3645 vsize=49576 CPUtime=1800.07
/proc/3647/stat : 3647 (bsolo3.0.17) R 3645 3647 3239 0 -1 4194304 14619842 0 0 0 173340 6667 0 0 25 0 1 0 270617604 50765824 10607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3647/statm: 12394 10607 394 324 0 11464 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 49576

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 15
Real time (s): 1800.64
CPU time (s): 1800.09
CPU user time (s): 1733.4
CPU system time (s): 66.6869
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 49800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.4
system time used= 66.6869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14619845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 2681

runsolver used 1.42278 second user time and 3.99839 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Apr 30 15:09:58 UTC 2007

IDJOB= 432594
IDBENCH= 1591
IDSOLVER= 199
FILE ID= node1/432594-1177945797

PBS_JOBID= 4727681

Free space on /tmp= 66555 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432594-1177945797/instance-432594-1177945797.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-432594-1177945797 -o ROOT/results/node1/solver-432594-1177945797 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432594-1177945797/instance-432594-1177945797.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  6c96e127d2f61e098d2015d63d4a25a7

RANDOM SEED= 635375736

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.234
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.234
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:       1738648 kB
Buffers:         40616 kB
Cached:         182416 kB
SwapCached:      14900 kB
Active:         120132 kB
Inactive:       126092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1738648 kB
SwapTotal:     4192956 kB
SwapFree:      4145760 kB
Dirty:           10180 kB
Writeback:           0 kB
Mapped:          29996 kB
Slab:            56484 kB
Committed_AS:  5273076 kB
PageTables:       1832 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= 66555 MiB

End job on node1 on Mon Apr 30 15:40:00 UTC 2007