Trace number 350810

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.16SAT (TO)99995 1800.07 1800.72

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

Verifier Data (download as text)

OK	99995

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-350810-1176552877 -o ROOT/results/node3/solver-350810-1176552877 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350810-1176552877/instance-350810-1176552877.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.00 1.00 1.00 3/77 26605
/proc/meminfo: memFree=1823328/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=15240 CPUtime=0
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 131325411 15605760 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 3810 336 281 324 0 2003 0

[startup+0.0568231 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26605
/proc/meminfo: memFree=1823328/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=8596 CPUtime=0.05
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 722 0 0 0 5 0 0 0 18 0 1 0 131325411 8802304 690 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 2149 690 351 324 0 342 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8596

[startup+0.101831 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26605
/proc/meminfo: memFree=1823328/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=8984 CPUtime=0.09
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 870 0 0 0 9 0 0 0 18 0 1 0 131325411 9199616 838 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 2246 838 413 324 0 439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8984

[startup+0.301863 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26605
/proc/meminfo: memFree=1823328/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=10400 CPUtime=0.29
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 1509 0 0 0 28 1 0 0 19 0 1 0 131325411 10649600 1477 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 2600 1477 684 324 0 793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10400

[startup+0.701927 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26605
/proc/meminfo: memFree=1823328/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=11160 CPUtime=0.69
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 3056 0 0 0 68 1 0 0 22 0 1 0 131325411 11427840 2148 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546773 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 2790 2148 306 324 0 1859 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11160

[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1810968/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=16084 CPUtime=1.49
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 4392 0 0 0 145 4 0 0 25 0 1 0 131325411 16470016 3391 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11366016 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 4021 3391 307 324 0 3090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16084

[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1810136/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=16084 CPUtime=3.08
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 13530 0 2 0 299 9 0 0 25 0 1 0 131325411 16470016 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 4021 3416 332 324 0 3090 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16084

[startup+6.30285 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1806808/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=29272 CPUtime=6.28
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 243388 0 2 0 526 102 0 0 25 0 1 0 131325411 29974528 5649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135227833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7318 5649 390 324 0 6387 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29272

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1801048/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=30664 CPUtime=12.68
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 256432 0 2 0 1159 109 0 0 25 0 1 0 131325411 31399936 5707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134695068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7666 5707 392 324 0 6735 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30664

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1801816/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=30572 CPUtime=25.47
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 332109 0 2 0 2405 142 0 0 25 0 1 0 131325411 31305728 5689 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7643 5689 392 324 0 6712 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 30572

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1804568/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=30220 CPUtime=51.05
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 448658 0 2 0 4908 197 0 0 25 0 1 0 131325411 30945280 5727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134695001 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7555 5727 392 324 0 6624 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 30220

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1801880/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=21980 CPUtime=102.24
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 751437 0 2 0 9888 336 0 0 25 0 1 0 131325411 22507520 4964 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134708925 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 5495 4964 392 324 0 4564 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 21980

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1804504/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=21980 CPUtime=162.22
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 1474393 0 2 0 15571 651 0 0 25 0 1 0 131325411 22507520 4964 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134706329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 5495 4964 392 324 0 4564 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 21980

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1804504/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=30220 CPUtime=222.19
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 1859986 0 2 0 21397 822 0 0 25 0 1 0 131325411 30945280 5678 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135203056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7555 5678 392 324 0 6624 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 30220

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1803096/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=23288 CPUtime=282.18
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 2426719 0 2 0 27143 1075 0 0 25 0 1 0 131325411 23846912 5292 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134705751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 5822 5292 393 324 0 4891 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 23288

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1800856/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=31924 CPUtime=342.15
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 2708833 0 2 0 33011 1204 0 0 25 0 1 0 131325411 32690176 6063 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7981 6063 393 324 0 7050 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 31924

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1800984/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=30544 CPUtime=402.13
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 3039546 0 2 0 38859 1354 0 0 25 0 1 0 131325411 31277056 5804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7636 5804 393 324 0 6705 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 30544

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1797144/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=33316 CPUtime=462.11
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 3572923 0 2 0 44621 1590 0 0 25 0 1 0 131325411 34115584 6708 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 8329 6708 393 324 0 7398 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 33316

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1796312/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=28132 CPUtime=522.09
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 3839173 0 2 0 50495 1714 0 0 25 0 1 0 131325411 28807168 6503 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134706580 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7033 6503 393 324 0 6102 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 28132

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1800408/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=28132 CPUtime=582.08
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 4282876 0 2 0 56292 1916 0 0 25 0 1 0 131325411 28807168 6503 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134707708 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7033 6503 393 324 0 6102 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 28132

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1797976/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=28132 CPUtime=642.05
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 4786283 0 2 0 62066 2139 0 0 25 0 1 0 131325411 28807168 6503 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134706590 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 7033 6503 393 324 0 6102 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 28132


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26606
/proc/meminfo: memFree=1793496/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=34860 CPUtime=881.97
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 6549869 0 2 0 85263 2934 0 0 25 0 1 0 131325411 35696640 7291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135262188 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 8715 7292 393 324 0 7784 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 34860

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1794392/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=39724 CPUtime=941.95
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 6924117 0 2 0 91091 3104 0 0 25 0 1 0 131325411 40677376 7961 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134695060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 9931 7961 393 324 0 9000 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 39724

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1791768/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=32712 CPUtime=1001.93
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 7328723 0 2 0 96910 3283 0 0 25 0 1 0 131325411 33497088 7648 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134706780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 8178 7648 393 324 0 7247 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 32712

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1787544/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=45184 CPUtime=1061.9
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 7922751 0 2 0 102644 3546 0 0 25 0 1 0 131325411 46268416 9239 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700676 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 11296 9239 393 324 0 10365 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 45184

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1786840/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=44520 CPUtime=1121.88
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 8197356 0 2 0 108518 3670 0 0 25 0 1 0 131325411 45588480 9231 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 11130 9231 393 324 0 10199 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 44520

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1784536/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=46364 CPUtime=1181.87
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 8752909 0 2 0 114274 3913 0 0 25 0 1 0 131325411 47476736 9787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 11591 9797 393 324 0 10660 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 46364

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1785048/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=49456 CPUtime=1241.84
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 9238434 0 2 0 120053 4131 0 0 25 0 1 0 131325411 50642944 10612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134807719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 12364 10612 393 324 0 11433 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 49456

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1777624/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=53772 CPUtime=1301.83
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 9610112 0 2 0 125881 4302 0 0 25 0 1 0 131325411 55062528 11505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 13443 11505 393 324 0 12512 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 53772

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1779992/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=52556 CPUtime=1361.8
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 9986168 0 2 0 131707 4473 0 0 25 0 1 0 131325411 53817344 11406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 13139 11406 393 324 0 12208 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 52556

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1775704/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=48644 CPUtime=1421.78
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 10338813 0 2 0 137545 4633 0 0 25 0 1 0 131325411 49811456 11631 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134708220 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 12161 11631 393 324 0 11230 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 48644

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1773976/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=57268 CPUtime=1481.76
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 10732130 0 2 0 143363 4813 0 0 25 0 1 0 131325411 58642432 12436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134688645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 14317 12436 393 324 0 13386 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 57268

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1771928/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=53676 CPUtime=1541.74
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 11174572 0 2 0 149155 5019 0 0 25 0 1 0 131325411 54964224 12889 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134707695 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 13419 12889 393 324 0 12488 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 53676

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1767576/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=63040 CPUtime=1601.72
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 11534159 0 2 0 154983 5189 0 0 25 0 1 0 131325411 64552960 13926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 15760 13926 393 324 0 14829 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 63040

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1766040/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=65728 CPUtime=1661.69
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 11908801 0 2 0 160808 5361 0 0 25 0 1 0 131325411 67305472 14794 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 16432 14795 393 324 0 15501 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 65728

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1763544/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=67820 CPUtime=1721.68
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 12188567 0 2 0 166675 5493 0 0 25 0 1 0 131325411 69447680 14951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134695051 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 16955 14951 393 324 0 16024 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 67820

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1763480/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=66960 CPUtime=1781.66
/proc/26605/stat : 26605 (bsolo3.0.16) R 26603 26605 26070 0 -1 4194304 12547318 0 2 0 172515 5651 0 0 25 0 1 0 131325411 68567040 14912 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135203032 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26605/statm: 16740 14912 393 324 0 15809 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 66960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1817944/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=0 CPUtime=1800.06
/proc/26605/stat : 26605 (bsolo3.0.16) D 26603 26605 26070 0 -1 4194308 12679970 0 2 0 174292 5714 0 0 25 0 1 0 131325411 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/26605/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26608
/proc/meminfo: memFree=1817944/2055920 swapFree=4153856/4192956
[pid=26605] ppid=26603 vsize=0 CPUtime=1800.06
/proc/26605/stat : 26605 (bsolo3.0.16) D 26603 26605 26070 0 -1 4194308 12679970 0 2 0 174292 5714 0 0 25 0 1 0 131325411 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/26605/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1742.92
CPU system time (s): 57.1423
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 68304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1742.93
system time used= 57.1423
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12679970
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 36139

runsolver used 2.05569 second user time and 4.47232 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat Apr 14 12:14:37 UTC 2007

IDJOB= 350810
IDBENCH= 1591
IDSOLVER= 163
FILE ID= node3/350810-1176552877

PBS_JOBID= 4556755

Free space on /tmp= 66550 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/350810-1176552877/instance-350810-1176552877.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-350810-1176552877 -o ROOT/results/node3/solver-350810-1176552877 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350810-1176552877/instance-350810-1176552877.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  6c96e127d2f61e098d2015d63d4a25a7

RANDOM SEED= 568092993

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1823672 kB
Buffers:         22844 kB
Cached:         118092 kB
SwapCached:       2408 kB
Active:          59492 kB
Inactive:       108032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823672 kB
SwapTotal:     4192956 kB
SwapFree:      4153856 kB
Dirty:            7904 kB
Writeback:           0 kB
Mapped:          34492 kB
Slab:            50152 kB
Committed_AS:  4904424 kB
PageTables:       1788 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= 66550 MiB

End job on node3 on Sat Apr 14 12:44:39 UTC 2007