Trace number 3736175

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT35 346.099 346.176

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir09_area_partials.opb
MD5SUM267e112b52309c055e255eac2f43ef33
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark0.691894
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables5060
Total number of constraints20188
Number of constraints which are clauses20188
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint250
Number of terms in the objective function 537
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 537
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 537
Number of bits of the biggest sum of numbers10
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 

0.08/0.13	c SCIP version 1.1.0.7
0.08/0.13	c LP-Solver SoPlex 1.4.1
0.08/0.13	c user parameter file <scip.set> not found - using default parameters
0.08/0.13	c read problem <HOME/instance-3736175-1338712879.opb>
0.08/0.13	c original problem has 5060 variables (5060 bin, 0 int, 0 impl, 0 cont) and 20188 constraints
0.08/0.16	c start presolving problem
0.08/0.16	c presolving:
0.19/0.28	c (round 1) 398 del vars, 767 del conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 297166 impls, 0 clqs
0.29/0.37	c (round 2) 398 del vars, 768 del conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 19397 upgd conss, 297166 impls, 0 clqs
0.29/0.38	c (round 3) 399 del vars, 772 del conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 19421 upgd conss, 297166 impls, 0 clqs
0.68/0.74	c    (0.6s) probing: 244/4661 (5.2%) - 1 fixings, 13 aggregations, 3116 implications, 0 bound changes
0.68/0.74	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.68/0.74	c (round 4) 413 del vars, 772 del conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 19421 upgd conss, 301586 impls, 0 clqs
0.68/0.75	c (round 5) 413 del vars, 776 del conss, 29 chg bounds, 0 chg sides, 0 chg coeffs, 19421 upgd conss, 301586 impls, 0 clqs
0.68/0.77	c    (0.6s) probing: 254/4661 (5.4%) - 1 fixings, 13 aggregations, 3116 implications, 0 bound changes
0.68/0.77	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.68/0.77	c presolving (6 rounds):
0.68/0.77	c  413 deleted vars, 777 deleted constraints, 29 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.68/0.77	c  301586 implications, 0 cliques
0.68/0.77	c presolved problem has 4647 variables (4647 bin, 0 int, 0 impl, 0 cont) and 19411 constraints
0.68/0.77	c   19411 constraints of type <logicor>
0.68/0.77	c transformed objective value is always integral (scale: 1)
0.68/0.77	c Presolving Time: 0.57
0.68/0.77	c strange?!, PURESAT with obj
0.68/0.77	c -----------------------------------------------------------------------------------------------
0.68/0.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.77	c limits/memory = c 13950
0.68/0.77	c # maximal time in seconds to run
0.68/0.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.77	c limits/time = c 1791
0.68/0.77	c # frequency for displaying node information lines
0.68/0.77	c # [type: int, range: [-1,2147483647], default: 100]
0.68/0.77	c display/freq = c 10000
0.68/0.77	c -----------------------------------------------------------------------------------------------
0.68/0.77	c start solving problem
0.68/0.77	c 
1.28/1.36	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.28/1.36	c   1.2s|     1 |     0 |  1936 |  42M|   0 | 348 |4647 |  19k|  19k|4647 |  19k|   0 |   0 |   0 | 3.409091e+01 |      --      |    Inf 
6.49/6.59	c   6.4s|     1 |     0 |  4620 |  43M|   0 | 359 |4647 |  19k|  19k|4647 |  19k| 373 |   0 |   0 | 3.500000e+01 |      --      |    Inf 
8.48/8.55	c   8.3s|     1 |     0 |  5619 |  45M|   0 | 337 |4647 |  19k|  19k|4647 |  19k| 380 |   0 |   0 | 3.500000e+01 |      --      |    Inf 
10.58/10.60	c  10.4s|     1 |     0 |  6825 |  47M|   0 | 320 |4647 |  19k|  19k|4647 |  19k| 389 |   0 |   0 | 3.500000e+01 |      --      |    Inf 
21.18/21.28	c  21.0s|     1 |     0 |  8424 |  47M|   0 | 333 |4647 |  19k|  19k|4647 |  19k| 396 |   0 |   0 | 3.500000e+01 |      --      |    Inf 
33.28/33.36	c  33.1s|     1 |     0 |  9595 |  47M|   0 | 347 |4647 |  19k|  19k|4647 |  19k| 401 |   0 |   0 | 3.500000e+01 |      --      |    Inf 
45.28/45.34	c  45.0s|     1 |     0 | 10849 |  47M|   0 | 329 |4647 |  19k|  19k|4647 |  19k| 406 |   0 |   0 | 3.500000e+01 |      --      |    Inf 
68.98/69.07	c  68.7s|     1 |     2 | 10849 |  47M|   0 | 329 |4647 |  19k|  19k|4647 |  19k| 406 |   0 |  18 | 3.500000e+01 |      --      |    Inf 
335.82/335.91	o 37
335.82/335.91	c R 335s|    21 |    20 | 86223 |  47M|  15 |  43 |4647 |  19k|  18k|4647 |  19k| 406 |   0 | 164 | 3.500000e+01 | 3.700000e+01 |   5.71%
346.02/346.12	o 35
346.02/346.12	c * 345s|    23 |     0 | 94649 |  47M|  15 |   - |4647 |  19k|  18k|4647 |  19k| 406 |   0 | 164 | 3.500000e+01 | 3.500000e+01 |   0.00%
346.02/346.13	c 
346.02/346.13	c SCIP Status        : problem is solved [optimal solution found]
346.02/346.13	c Solving Time (sec) : 345.38
346.02/346.13	c Solving Nodes      : 23
346.02/346.13	c Primal Bound       : +3.50000000000000e+01 (2 solutions)
346.02/346.13	c Dual Bound         : +3.50000000000000e+01
346.02/346.13	c Gap                : 0.00 %
346.02/346.13	c NODE         23
346.02/346.13	c DUAL BOUND   35
346.02/346.13	c PRIMAL BOUND 35
346.02/346.13	c GAP          0
346.02/346.13	s OPTIMUM FOUND
346.02/346.13	v -x5060 -x5057 -x5056 -x5053 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5035 -x5034 -x5033 
346.02/346.13	v -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5054 
346.02/346.13	v -x5014 -x5011 -x5008 -x5006 -x5005 -x5002 -x5058 -x5051 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 
346.02/346.13	v -x5003 -x4991 -x5009 x4988 -x4986 -x4985 -x4982 -x4979 -x4978 -x4977 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 
346.02/346.13	v x4964 -x4961 -x4960 -x4956 -x4980 -x4952 -x4951 -x4950 -x4948 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 
346.02/346.13	v -x4937 -x4936 -x4935 -x4934 -x4958 x4933 x4930 -x4927 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 
346.02/346.13	v -x4975 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4983 -x4902 -x4901 -x4899 -x4898 -x4896 -x4928 -x4895 -x4894 
346.02/346.13	v -x4892 -x4954 -x4891 -x4889 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 
346.02/346.13	v -x4873 -x4872 -x4871 -x4868 x4864 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 
346.02/346.13	v -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 
346.02/346.13	v -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4812 -x4809 -x4808 
346.02/346.13	v -x4807 x4804 -x4801 -x4869 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 
346.02/346.13	v -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 
346.02/346.13	v -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 x4760 -x4757 -x4756 -x4755 -x4754 -x4751 -x4750 -x4749 -x4748 -x4747 
346.02/346.13	v -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4729 -x4728 x4727 
346.02/346.13	v x4726 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 x4714 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 
346.02/346.13	v -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4694 -x4693 -x4692 -x4691 x4688 -x4685 -x4684 -x4683 -x4679 -x4678 
346.02/346.13	v -x4677 -x4676 -x4675 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4662 -x4661 -x4660 -x4659 -x4655 -x4654 x4653 -x4650 
346.02/346.13	v -x4649 -x4648 x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 
346.02/346.13	v -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 
346.02/346.13	v -x4613 -x4612 -x4611 -x4610 x4609 -x4606 x4605 -x4600 -x4599 -x4598 -x4597 x4594 -x4590 -x4589 -x4588 -x4587 -x4583 -x4582 
346.02/346.13	v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 x4562 -x4560 
346.02/346.13	v -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4541 -x4540 
346.02/346.13	v -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 
346.02/346.13	v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4564 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 
346.02/346.13	v -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 
346.02/346.13	v -x4485 -x4484 -x4730 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 
346.02/346.13	v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 
346.02/346.13	v -x4450 -x4449 -x4448 -x4447 -x4446 x4445 -x4442 -x4440 -x4438 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 
346.02/346.13	v -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 
346.02/346.13	v -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 
346.02/346.13	v -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4376 -x4373 -x4370 -x4369 -x4366 -x4364 -x4362 
346.02/346.13	v -x4361 -x4359 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 
346.02/346.13	v -x4340 -x4339 -x4337 -x4336 -x4805 -x4335 -x4334 -x4333 -x4752 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 
346.02/346.13	v -x4324 -x4323 -x4322 -x4320 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4305 -x4304 -x4300 
346.02/346.13	v -x4299 -x4297 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4657 -x4287 -x4681 -x4286 -x4285 -x4284 -x4283 -x4282 
346.02/346.13	v -x4281 -x4280 -x4279 -x4278 -x4277 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 x4265 -x4262 -x4261 -x4663 
346.02/346.13	v -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4651 -x4248 -x4247 -x4246 -x4245 -x4244 
346.02/346.13	v -x4243 -x4242 -x4241 -x4237 -x4236 -x4235 -x4862 -x4234 -x4233 -x4231 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4673 -x4222 
346.02/346.13	v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 -x4204 -x4203 -x4202 -x4201 -x4200 
346.02/346.13	v -x4367 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4205 -x4192 -x4191 x4190 -x4188 -x4185 -x4184 -x4181 -x4179 -x4177 
346.02/346.13	v -x4176 x4173 -x4170 -x4168 -x4167 -x4166 -x4163 -x4160 -x4161 -x4157 -x4156 -x4155 -x4154 -x4152 -x4151 -x4150 -x4149 -x4148 
346.02/346.13	v -x4147 -x4145 -x4142 -x4141 -x4158 -x4138 -x4137 -x4810 -x4136 -x4135 -x4134 -x4686 -x4133 -x4132 -x4130 -x4585 -x4129 -x4128 
346.02/346.13	v -x4306 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 
346.02/346.13	v -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4695 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4275 -x4098 -x4374 -x4097 
346.02/346.13	v -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 x4088 -x4086 -x4436 -x4085 -x4084 -x4082 -x4081 -x4080 -x4371 -x4079 -x4078 -x4076 
346.02/346.13	v -x4075 x4074 -x4171 -x4073 x4072 -x4070 -x4068 -x4164 -x4065 -x4064 -x4063 -x4592 -x4174 -x4062 -x4061 x4060 -x4058 -x4724 -x4057 
346.02/346.13	v -x4263 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4712 -x4043 -x4042 
346.02/346.13	v -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 x4024 
346.02/346.13	v -x4021 -x4802 -x4020 -x4019 -x4018 -x4017 -x4015 -x4014 -x4012 -x4011 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 
346.02/346.13	v x4001 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 
346.02/346.13	v -x3979 -x3978 -x3977 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 x3965 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 
346.02/346.13	v -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 x3944 -x3941 -x3937 -x3936 -x3932 -x3931 
346.02/346.13	v -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 
346.02/346.13	v -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3894 -x3893 
346.02/346.13	v -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 
346.02/346.13	v -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3858 -x3856 -x3855 
346.02/346.13	v -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 
346.02/346.13	v -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 
346.02/346.13	v -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3802 -x3795 -x3794 -x3793 
346.02/346.13	v -x3790 -x3786 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3771 -x3768 -x3767 x3766 -x3763 -x3760 -x3757 
346.02/346.13	v -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3999 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 
346.02/346.13	v -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 
346.02/346.13	v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 x3711 -x3708 -x3707 -x3706 -x3705 -x3702 -x3701 -x3700 -x3699 -x3698 -x3695 -x3694 
346.02/346.13	v -x3693 -x3690 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3678 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 
346.02/346.13	v -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3650 -x3647 -x3646 -x3645 -x3642 -x3638 -x3635 
346.02/346.13	v -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 
346.02/346.13	v -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 x3607 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3595 -x3594 -x3591 
346.02/346.13	v -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 x3575 -x3572 -x3569 
346.02/346.13	v -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3556 -x3555 -x3554 -x3551 -x3550 -x3549 -x3548 
346.02/346.13	v -x3547 -x3542 -x3541 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 x3528 -x3525 -x3524 -x3523 -x3522 
346.02/346.13	v -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3511 -x3510 -x3509 -x3508 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 
346.02/346.13	v -x3499 -x3498 -x3497 -x3496 -x3493 -x3492 -x3491 -x3490 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 
346.02/346.13	v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 
346.02/346.13	v -x3459 -x3458 -x3457 -x3456 -x3455 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 
346.02/346.13	v -x3440 -x3439 -x3438 x3435 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3417 -x3416 -x3415 
346.02/346.13	v -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 
346.02/346.13	v -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 
346.02/346.13	v -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 
346.02/346.13	v -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 
346.02/346.13	v -x3343 -x3942 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3895 -x3328 
346.02/346.13	v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 x3314 -x3311 -x3310 -x3309 -x3308 -x3307 -x3304 
346.02/346.13	v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 x3295 -x3292 -x3291 -x3290 -x3289 -x3284 -x3281 -x3280 -x3279 -x3278 
346.02/346.13	v -x3277 -x3276 -x3275 -x3274 x3273 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 
346.02/346.13	v -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3841 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 
346.02/346.13	v -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 x3232 -x3230 -x3228 -x3227 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 
346.02/346.13	v -x3218 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3199 -x3196 -x3193 
346.02/346.13	v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3175 -x3174 -x3171 -x3170 
346.02/346.13	v -x3169 -x3168 -x3167 -x3166 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 x3150 
346.02/346.13	v -x3146 -x3145 -x3144 -x3143 -x3140 -x3139 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 
346.02/346.13	v -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 
346.02/346.13	v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 
346.02/346.13	v -x3089 -x3088 -x3087 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 
346.02/346.13	v -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 
346.02/346.13	v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 
346.02/346.13	v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3653 -x3020 -x3019 -x3018 -x3017 -x3015 -x3012 -x3011 
346.02/346.13	v -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 
346.02/346.13	v -x2992 -x2991 -x2990 -x2989 -x2988 -x3557 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 
346.02/346.13	v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 
346.02/346.13	v -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 
346.02/346.13	v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2968 -x2926 -x2925 -x2924 -x2923 -x2922 
346.02/346.13	v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x3085 -x2909 -x2908 -x2907 -x2906 -x2905 
346.02/346.13	v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 
346.02/346.13	v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 
346.02/346.13	v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 x2861 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 
346.02/346.13	v -x2848 -x2847 -x2846 -x2845 -x2842 -x2841 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
346.02/346.13	v -x2826 -x2825 x2824 -x2821 -x2820 -x2819 -x2816 x2813 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 
346.02/346.13	v -x2798 -x2797 -x2796 -x2795 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
346.02/346.13	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 
346.02/346.13	v -x2759 -x2758 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x3636 -x2744 x2743 -x2740 -x2737 
346.02/346.13	v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 
346.02/346.13	v -x2718 -x2717 -x2716 -x3141 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x3963 -x2703 
346.02/346.13	v -x2702 -x2701 -x2700 -x2699 -x2698 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x3726 -x2684 
346.02/346.13	v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 
346.02/346.13	v -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 
346.02/346.13	v -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2696 -x2633 -x2632 
346.02/346.13	v -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 
346.02/346.13	v -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 
346.02/346.13	v -x2595 -x2594 -x2593 -x2592 -x2591 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x3622 -x2580 -x2579 -x2578 -x2577 
346.02/346.13	v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 
346.02/346.13	v -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 
346.02/346.13	v -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 x2527 -x2525 -x2523 -x2522 -x2521 -x2520 
346.02/346.13	v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2504 -x2503 -x2502 -x2501 -x2500 
346.02/346.13	v -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 
346.02/346.13	v -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 x2474 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 
346.02/346.13	v -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2445 -x2444 -x2443 -x3433 -x2442 -x2441 
346.02/346.13	v -x2437 -x2434 -x2433 -x2432 x2429 -x2426 -x2425 -x2424 -x2423 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 
346.02/346.13	v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2400 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 
346.02/346.13	v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 
346.02/346.13	v -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 x2359 -x2357 -x2356 -x2355 
346.02/346.13	v -x2354 -x2351 -x2350 -x2349 -x2348 x2345 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2333 -x2332 -x2331 -x2330 -x2329 
346.02/346.13	v -x2328 -x2325 -x2324 -x2323 -x2322 -x2321 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x3293 -x2312 -x2311 -x2310 -x2309 -x2308 
346.02/346.13	v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 
346.02/346.13	v -x2822 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 
346.02/346.13	v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 
346.02/346.13	v -x2249 -x3643 -x3703 -x2248 -x2247 -x3137 -x2246 -x2245 -x2244 -x2243 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 
346.02/346.13	v -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 
346.02/346.13	v -x2207 -x2206 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 
346.02/346.13	v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2843 -x2170 
346.02/346.13	v -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2150 
346.02/346.13	v -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x3287 -x2142 -x2430 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 
346.02/346.13	v -x2133 -x2132 -x2131 -x2130 -x2128 -x2126 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 
346.02/346.13	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 
346.02/346.13	v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 
346.02/346.13	v -x2076 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 
346.02/346.13	v -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 
346.02/346.13	v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2773 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 
346.02/346.13	v -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2472 -x2011 -x2010 -x2009 -x2008 -x2007 -x2005 -x2004 -x2003 
346.02/346.13	v -x2002 -x2001 -x2000 -x1999 -x1998 -x1995 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1984 -x1981 -x1980 -x1979 -x1978 
346.02/346.13	v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 
346.02/346.13	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 x1943 -x1941 
346.02/346.13	v -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 
346.02/346.13	v -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1911 x1910 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 
346.02/346.13	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 x1890 -x1887 -x1883 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 
346.02/346.13	v -x1872 -x2439 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1862 -x3225 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851 
346.02/346.13	v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 x1835 -x1833 -x1832 
346.02/346.13	v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1820 -x1819 -x1816 -x1812 -x1811 -x2505 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 
346.02/346.13	v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 
346.02/346.13	v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x3061 
346.02/346.13	v -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1761 -x1760 -x1759 -x1908 -x1758 -x1757 -x1754 -x1753 -x1752 -x2817 
346.02/346.13	v -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1736 -x1734 -x1733 -x1817 
346.02/346.13	v -x1732 -x1731 -x1730 -x1726 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 
346.02/346.13	v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 
346.02/346.13	v -x1690 -x2352 -x1689 -x2334 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 x1678 -x1676 -x1675 -x1674 
346.02/346.13	v -x1673 -x1672 -x1670 -x1669 -x1666 -x1665 -x1664 -x1663 -x1662 -x1659 -x1658 -x1657 -x1656 x1655 -x1651 -x1650 -x1649 -x1648 
346.02/346.13	v -x3758 x1647 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x3975 -x1631 
346.02/346.13	v -x1630 -x1864 -x1629 -x1628 -x1627 -x3712 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
346.02/346.13	v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
346.02/346.13	v -x1595 x1592 -x1588 -x1585 -x3784 -x1584 -x1580 -x1579 -x1578 -x1577 -x2793 -x3526 -x1576 -x1575 -x1574 -x3148 -x1573 -x1572 
346.02/346.13	v -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 
346.02/346.13	v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x2056 -x1653 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
346.02/346.13	v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 
346.02/346.13	v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 x1509 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x2326 
346.02/346.13	v -x1500 -x3545 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x3216 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
346.02/346.13	v -x1483 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x3494 
346.02/346.13	v -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x3271 -x1458 -x1457 -x3605 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 
346.02/346.13	v -x1449 -x1448 -x1447 -x3305 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1436 -x3570 -x1434 -x1433 -x1885 
346.02/346.13	v -x1432 -x1431 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x3791 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 
346.02/346.13	v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1407 -x1405 -x1404 -x1403 -x1401 -x1399 -x1398 -x1397 -x1396 -x3939 -x1395 
346.02/346.13	v -x1394 -x1393 -x1392 -x1389 -x1388 -x3709 -x1387 -x1386 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 
346.02/346.13	v -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x3436 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 
346.02/346.13	v -x2741 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x3688 -x1342 
346.02/346.13	v -x1341 -x1340 -x1339 -x1338 -x1336 -x1335 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1323 -x1322 -x3194 -x1321 
346.02/346.13	v -x1320 -x1316 -x3282 -x1315 -x1313 -x1312 -x3788 -x1311 -x1310 x1309 -x1307 -x1306 -x1303 -x1724 -x1302 -x1301 -x1299 -x1298 
346.02/346.13	v -x1297 -x2814 -x1296 -x1667 -x3676 -x1295 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x2343 -x1280 x1279 
346.02/346.13	v -x3312 -x1278 -x1277 x1276 -x1590 x1273 -x1271 -x1270 -x1269 -x3164 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 
346.02/346.13	v -x1260 -x1259 -x3769 -x1258 -x1257 -x1256 -x1255 -x3552 -x1254 -x1253 -x1252 -x1251 -x3488 -x1248 -x1293 -x1247 -x1246 -x1245 
346.02/346.13	v -x1244 -x2346 -x1243 -x1242 -x1241 -x1240 -x1996 -x1239 -x1238 -x1237 -x1236 -x1235 -x1318 -x1234 -x1233 -x1232 -x1231 -x1230 
346.02/346.13	v -x1229 -x1227 -x2427 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1217 -x1216 -x2839 -x1215 -x1860 -x1214 -x1213 -x1212 
346.02/346.13	v -x1211 -x1210 -x1209 -x1208 -x1205 -x1201 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x3197 
346.02/346.13	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x2258 -x1174 -x1173 -x1172 -x1171 
346.02/346.13	v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x2490 -x2204 -x1156 -x1155 
346.02/346.13	v -x1154 -x1153 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1830 -x1140 -x1139 -x1138 -x1137 
346.02/346.13	v -x2756 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x2421 -x1123 -x1122 -x1121 
346.02/346.13	v -x1120 -x1119 -x1881 -x1118 -x1117 -x1116 -x1115 -x1114 -x3512 -x1113 x1112 -x1110 -x1107 -x1106 -x1105 -x1821 -x1104 -x1103 
346.02/346.13	v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x3592 -x1095 -x1094 -x1093 -x1092 -x3691 -x1091 -x1218 -x3648 -x1755 -x1090 
346.02/346.13	v -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 
346.02/346.13	v -x1070 -x1069 -x1068 -x1067 -x1066 -x1324 -x1065 -x1064 -x1063 -x1062 -x1814 -x1059 -x1586 -x1203 -x2738 -x1058 -x1057 
346.02/346.13	v -x1056 -x1055 -x1054 -x1053 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1888 -x1044 -x1043 -x1042 -x1041 -x3772 -x1040 -x1039 
346.02/346.13	v -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 
346.02/346.13	v -x1020 -x1019 -x1728 -x2241 -x1018 -x1982 -x1017 -x1016 -x3418 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 
346.02/346.13	v -x1006 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x1985 -x998 -x997 -x3506 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 
346.02/346.13	v -x988 -x987 -x986 -x985 -x983 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 
346.02/346.13	v -x964 -x963 -x962 -x961 -x1199 -x960 -x959 -x958 -x957 -x956 -x1060 -x955 -x954 -x953 -x952 -x951 -x950 -x3764 -x949 -x948 -x2221 
346.02/346.13	v -x947 -x1920 -x946 -x3177 -x945 -x944 -x943 -x942 -x941 -x940 -x3200 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 
346.02/346.13	v -x925 -x924 -x3934 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x3696 -x910 -x909 -x908 
346.02/346.13	v -x907 -x906 -x905 -x904 -x902 -x901 -x900 -x899 -x898 -x3761 -x1274 -x897 -x3539 -x896 -x895 -x894 -x1206 -x893 -x892 -x891 
346.02/346.13	v -x890 -x889 -x1304 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x1051 -x1281 -x880 -x2435 -x879 -x877 -x3640 -x875 -x872 
346.02/346.13	v -x869 -x868 -x865 -x864 -x863 -x866 -x862 -x861 -x860 -x857 x856 -x851 -x850 -x849 -x848 -x870 -x847 -x854 x846 -x840 -x838 x836 
346.02/346.13	v x833 x830 -x827 -x826 -x825 -x824 -x823 x822 -x819 -x818 -x817 -x816 x815 x812 -x809 -x810 -x806 -x805 -x804 -x801 -x800 
346.02/346.13	v -x799 -x828 -x798 -x797 -x796 -x795 -x794 -x831 -x791 -x790 -x787 -x786 -x785 -x784 x783 -x778 -x777 x772 x769 x768 -x765 -x764 
346.02/346.13	v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 x753 -x750 -x749 -x748 -x744 -x743 -x742 -x739 -x738 -x737 -x736 -x735 -x770 
346.02/346.13	v -x734 -x733 x732 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x751 -x720 -x717 -x716 -x714 -x713 -x711 -x709 -x707 
346.02/346.13	v x706 -x704 -x703 -x702 -x740 -x701 -x700 -x699 -x698 -x697 -x696 x693 -x691 x689 -x687 -x685 x681 -x678 -x676 -x673 x670 x667 
346.02/346.13	v x664 x661 -x657 -x668 -x659 x656 -x652 -x651 -x649 -x647 x646 -x643 -x642 -x636 -x634 -x633 -x632 -x631 -x630 -x629 -x628 
346.02/346.13	v -x627 -x626 -x625 -x640 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 x610 -x605 x602 -x600 x599 x595 x590 x587 -x583 
346.02/346.13	v -x582 x578 -x574 -x573 -x571 -x570 -x569 -x568 x565 -x563 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x644 -x566 -x553 
346.02/346.13	v -x548 -x547 -x546 -x545 -x543 -x585 -x588 -x542 x541 x536 x533 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 
346.02/346.13	v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x4542 -x505 -x5036 -x504 -x503 -x502 -x1249 -x501 -x500 -x499 -x1993 -x498 
346.02/346.13	v -x5021 -x497 -x496 -x5012 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x4603 -x488 -x487 -x486 -x485 -x484 -x4989 -x483 -x482 
346.02/346.13	v -x481 -x480 -x479 -x478 -x477 -x474 -x473 -x472 -x471 -x470 -x469 -x4066 x468 -x467 -x4595 -x466 -x465 -x4962 -x464 -x463 -x462 
346.02/346.13	v -x608 -x461 -x2124 -x460 -x459 -x458 -x457 -x456 -x455 -x4931 -x454 -x453 -x4906 -x452 -x451 -x450 -x449 -x448 -x447 -x446 
346.02/346.13	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x873 -x436 -x433 -x432 -x431 -x4866 -x430 -x429 -x428 -x4813 -x427 
346.02/346.13	v -x426 -x425 -x424 -x423 -x422 -x4758 -x421 -x420 -x419 -x418 -x417 -x416 -x4689 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 
346.02/346.13	v -x407 -x406 -x4607 -x405 -x404 -x403 -x1507 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x4492 -x4443 -x392 
346.02/346.13	v -x391 -x390 -x4377 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x1660 -x2811 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
346.02/346.13	v -x374 -x373 -x4302 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x4239 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 
346.02/346.13	v -x355 -x354 -x4182 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x4139 -x341 -x340 -x4089 -x339 
346.02/346.13	v -x338 -x337 -x336 -x335 -x334 -x333 x4022 -x332 -x331 -x329 -x328 -x3988 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 
346.02/346.13	v -x318 -x317 -x316 -x315 -x766 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 
346.02/346.13	v -x3680 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x3596 -x287 -x3573 -x286 -x285 -x284 -x283 -x282 
346.02/346.13	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x3315 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 
346.02/346.13	v -x261 -x260 -x259 -x258 -x257 -x3172 -x256 -x255 -x788 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x2859 -x245 
346.02/346.13	v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x2589 -x231 -x230 -x229 -x228 -x227 -x2447 -x226 
346.02/346.13	v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x2319 -x2271 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
346.02/346.13	v -x207 -x206 -x205 -x204 -x203 -x2151 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
346.02/346.13	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
346.02/346.13	v -x166 -x165 -x164 -x163 -x162 -x161 -x1582 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x1390 -x149 
346.02/346.13	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 
346.02/346.13	v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x929 -x119 -x118 -x117 -x116 -x115 -x113 -x112 -x111 -x110 -x109 -x108 -x107 
346.02/346.13	v -x858 -x106 -x105 -x104 -x844 -x103 -x102 -x101 -x100 -x99 -x576 -x95 -x94 -x834 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x820 
346.02/346.13	v -x84 -x813 -x83 -x82 -x807 -x81 -x775 -x802 -x80 -x792 -x79 -x597 -x781 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x69 -x68 -x67 
346.02/346.13	v -x66 -x65 -x754 -x64 -x746 -x63 -x62 -x61 -x60 -x59 -x730 -x718 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x694 -x50 -x49 -x48 
346.02/346.13	v -x683 -x46 -x580 -x45 -x44 -x679 -x43 -x42 -x41 -x665 -x671 -x38 -x37 -x36 -x662 -x35 -x593 -x34 -x654 -x33 -x32 -x30 -x29 -x28 
346.02/346.13	v -x27 -x623 -x612 -x26 -x603 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x551 -x15 -x14 -x539 -x8 -x534 -x7 -x531 -x5059 
346.02/346.13	v -x5055 -x5052 -x5050 -x5037 -x5022 -x5013 -x5010 -x5007 -x5004 -x4990 -x4987 -x4984 -x4981 -x4976 -x4974 -x4973 -x4963 
346.02/346.13	v -x4959 -x4957 -x4955 -x4953 -x4949 -x4947 -x4932 -x4929 -x4926 -x4907 -x4905 -x4904 -x4903 -x4900 -x4897 -x4893 -x4890 -x4888 
346.02/346.13	v -x4870 -x4867 -x4865 -x4863 -x4861 -x4814 -x4811 -x4806 -x4803 -x4759 -x4753 -x4731 -x4725 -x4713 -x4696 -x4690 -x4687 -x4682 
346.02/346.13	v -x4680 -x4674 -x4672 -x4664 -x4658 -x4656 -x4652 -x4608 -x4604 -x4602 -x4601 -x4596 -x4593 -x4591 -x4586 -x4584 -x4565 -x4563 
346.02/346.13	v -x4561 -x4543 -x4493 -x4444 -x4441 -x4439 -x4437 -x4420 -x4378 -x4375 -x4372 -x4368 -x4365 -x4363 -x4360 -x4358 -x4357 -x4338 
346.02/346.13	v -x4321 -x4319 -x4307 -x4303 -x4301 -x4298 -x4296 -x4276 -x4264 -x4240 -x4238 -x4232 -x4230 -x4229 -x4213 -x4211 -x4206 -x4189 
346.02/346.13	v -x4187 -x4186 -x4183 -x4180 -x4178 -x4175 -x4172 -x4169 -x4165 -x4162 -x4159 -x4153 -x4146 -x4144 -x4143 -x4140 -x4131 -x4090 
346.02/346.13	v -x4087 -x4083 -x4077 -x4071 -x4069 -x4067 -x4059 x4023 -x4016 -x4013 -x4010 -x4000 -x3989 -x3976 -x3974 -x3964 -x3943 -x3940 
346.02/346.13	v -x3938 -x3935 -x3933 -x3896 -x3859 -x3857 -x3842 -x3803 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3792 -x3789 -x3787 
346.02/346.13	v -x3785 -x3783 -x3773 -x3770 -x3765 -x3762 -x3759 -x3727 -x3713 -x3710 -x3704 -x3697 -x3692 -x3689 -x3681 -x3679 -x3677 -x3675 
346.02/346.13	v -x3654 -x3652 -x3651 -x3649 -x3644 -x3641 -x3639 -x3637 -x3623 -x3606 -x3597 -x3593 -x3574 -x3571 -x3558 -x3553 -x3546 -x3544 
346.02/346.13	v -x3543 -x3540 -x3527 -x3513 -x3507 -x3495 -x3489 -x3454 -x3437 -x3434 -x3432 -x3431 -x3419 -x3316 -x3313 -x3306 -x3294 -x3288 
346.02/346.13	v -x3286 -x3285 -x3283 -x3272 -x3231 -x3229 -x3226 -x3217 -x3201 -x3198 -x3195 -x3178 -x3176 -x3173 -x3165 -x3149 -x3147 -x3142 
346.02/346.13	v -x3138 -x3086 -x3084 -x3062 -x3016 -x3014 -x3013 -x2969 -x2860 -x2844 -x2840 -x2838 -x2823 -x2818 -x2815 -x2812 -x2810 -x2794 
346.02/346.13	v -x2774 -x2757 -x2742 -x2739 -x2697 -x2590 -x2558 -x2526 -x2524 -x2506 -x2491 -x2473 -x2448 -x2446 -x2440 -x2438 -x2436 -x2431 
346.02/346.13	v -x2428 -x2422 -x2401 -x2399 -x2358 -x2353 -x2347 -x2344 -x2335 -x2327 -x2320 -x2272 -x2270 -x2259 -x2257 -x2242 -x2240 
346.02/346.13	v -x2239 -x2222 -x2220 -x2219 -x2218 -x2205 -x2203 -x2152 -x2129 -x2127 -x2125 -x2075 -x2057 -x2006 -x1997 -x1994 -x1986 -x1983 
346.02/346.13	v -x1942 -x1940 -x1921 -x1912 -x1909 -x1907 -x1889 -x1886 -x1884 -x1882 -x1865 -x1863 -x1861 -x1853 -x1834 -x1831 -x1829 -x1822 
346.02/346.13	v -x1818 -x1815 -x1813 -x1762 -x1756 -x1737 -x1735 -x1729 -x1727 -x1725 -x1700 -x1677 -x1671 -x1668 -x1661 -x1654 -x1652 -x1646 
346.02/346.13	v -x1596 -x1594 -x1593 -x1591 -x1589 -x1587 -x1583 -x1581 -x1532 -x1508 -x1484 -x1482 -x1437 -x1435 -x1430 -x1408 -x1406 -x1402 
346.02/346.13	v -x1400 -x1391 -x1385 -x1337 -x1334 -x1325 -x1319 -x1317 -x1314 -x1308 -x1305 -x1300 -x1294 -x1292 -x1282 -x1275 -x1272 -x1250 
346.02/346.13	v -x1228 -x1219 -x1207 -x1204 -x1202 -x1200 -x1198 -x1152 -x1111 -x1109 -x1108 -x1082 -x1061 -x1052 -x1005 -x984 -x982 -x981 
346.02/346.13	v -x930 -x928 -x927 -x926 -x903 -x878 -x876 -x874 -x871 -x867 -x859 -x855 -x853 -x852 -x845 -x843 -x842 -x841 -x839 -x837 -x835 
346.02/346.13	v -x832 -x829 -x821 -x814 -x811 -x808 -x803 -x793 -x789 -x782 -x780 -x779 -x776 -x774 -x773 -x771 -x767 -x755 -x752 -x747 -x745 
346.02/346.13	v -x741 -x731 -x719 -x715 -x712 -x710 -x708 -x705 -x695 -x692 -x690 -x688 x686 -x684 -x682 -x680 -x677 x675 -x674 -x672 -x669 
346.02/346.13	v -x666 -x663 -x660 x658 -x655 -x653 -x650 x648 -x645 -x641 -x639 -x638 -x637 -x635 -x624 -x613 -x611 -x609 -x607 -x606 -x604 
346.02/346.13	v -x601 -x598 -x596 -x594 -x592 -x591 -x589 -x586 -x584 -x581 -x579 -x577 -x575 -x572 -x567 -x564 -x562 -x552 -x550 -x549 -x544 
346.02/346.13	v -x540 -x538 -x537 -x535 -x532 -x530 -x529 x528 -x527 x526 x525 x476 x475 x435 x434 x330 x114 x98 x97 x96 x93 x92 x70 x47 
346.02/346.13	v x40 x39 x31 x13 x12 x11 x10 x9 x6 x5 x4 x3 x2 x1 
346.02/346.13	c SCIP Status        : problem is solved [optimal solution found]
346.02/346.13	c Solving Time       :     345.38
346.02/346.13	c Original Problem   :
346.02/346.13	c   Problem name     : HOME/instance-3736175-1338712879.opb
346.02/346.13	c   Variables        : 5060 (5060 binary, 0 integer, 0 implicit integer, 0 continuous)
346.02/346.13	c   Constraints      : 20188 initial, 20188 maximal
346.02/346.13	c Presolved Problem  :
346.02/346.13	c   Problem name     : t_HOME/instance-3736175-1338712879.opb
346.02/346.13	c   Variables        : 4647 (4647 binary, 0 integer, 0 implicit integer, 0 continuous)
346.02/346.13	c   Constraints      : 19411 initial, 19411 maximal
346.02/346.13	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
346.02/346.13	c   trivial          :       0.00          0          0          0          0          0          0          0          0
346.02/346.13	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
346.02/346.13	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
346.02/346.13	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
346.02/346.13	c   implics          :       0.01          0          0          0          0          0          0          0          0
346.02/346.13	c   probing          :       0.35          1         13          0          0          0          0          0          0
346.02/346.13	c   linear           :       0.14         29        369          0         29          0        767          0          0
346.02/346.13	c   logicor          :       0.05          0          0          0          0          0         10          0          0
346.02/346.13	c   root node        :          -          0          -          -          0          -          -          -          -
346.02/346.13	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
346.02/346.13	c   integral         :          0          0          0         23          0          0          0          0          0         44
346.02/346.13	c   logicor          :      19411          6        659          1          0          1        595          0          0          0
346.02/346.13	c   countsols        :          0          0          0          1          0          0          0          0          0          0
346.02/346.13	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
346.02/346.13	c   integral         :     204.22       0.00       0.00     204.22       0.00
346.02/346.13	c   logicor          :       0.15       0.01       0.13       0.01       0.00
346.02/346.13	c   countsols        :       0.00       0.00       0.00       0.00       0.00
346.02/346.13	c Propagators        :       Time      Calls    Cutoffs    DomReds
346.02/346.13	c   rootredcost      :       0.00          1          0          0
346.02/346.13	c   pseudoobj        :       0.00         52          0          0
346.02/346.13	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
346.02/346.13	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
346.02/346.13	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
346.02/346.13	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
346.02/346.13	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
346.02/346.13	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
346.02/346.13	c   applied globally :          -          -          -          0        0.0          -          -          -
346.02/346.13	c   applied locally  :          -          -          -          0        0.0          -          -          -
346.02/346.13	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
346.02/346.13	c   cut pool         :       0.00          5          -          -         22          -    (maximal pool size: 733)
346.02/346.13	c   redcost          :       0.01         28          0          0          0          0
346.02/346.13	c   impliedbounds    :       0.01          6          0          0        748          0
346.02/346.13	c   intobj           :       0.00          0          0          0          0          0
346.02/346.13	c   gomory           :      16.09          6          0          0       1993          0
346.02/346.13	c   strongcg         :      14.13          6          0          0       1993          0
346.02/346.13	c   cmir             :       1.36          6          0          0          0          0
346.02/346.13	c   flowcover        :       1.38          6          0          0          0          0
346.02/346.13	c   clique           :       0.20          6          0          0         39          0
346.02/346.13	c   zerohalf         :       0.00          0          0          0          0          0
346.02/346.13	c   mcf              :       0.01          1          0          0          0          0
346.02/346.13	c Pricers            :       Time      Calls       Vars
346.02/346.13	c   problem variables:       0.00          0          0
346.02/346.13	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
346.02/346.13	c   relpscost        :     204.22         22          0          0          0          0         44
346.02/346.13	c   pscost           :       0.00          0          0          0          0          0          0
346.02/346.13	c   inference        :       0.00          0          0          0          0          0          0
346.02/346.13	c   mostinf          :       0.00          0          0          0          0          0          0
346.02/346.13	c   leastinf         :       0.00          0          0          0          0          0          0
346.02/346.13	c   fullstrong       :       0.00          0          0          0          0          0          0
346.02/346.13	c   allfullstrong    :       0.00          0          0          0          0          0          0
346.02/346.13	c   random           :       0.00          0          0          0          0          0          0
346.02/346.13	c Primal Heuristics  :       Time      Calls      Found
346.02/346.13	c   LP solutions     :       0.00          -          1
346.02/346.13	c   pseudo solutions :       0.00          -          0
346.02/346.13	c   pscostdiving     :       0.00          0          0
346.02/346.13	c   fracdiving       :       0.00          0          0
346.02/346.13	c   veclendiving     :       0.00          0          0
346.02/346.13	c   objpscostdiving  :       0.00          0          0
346.02/346.13	c   rootsoldiving    :       0.00          0          0
346.02/346.13	c   linesearchdiving :       0.00          0          0
346.02/346.13	c   guideddiving     :       0.00          0          0
346.02/346.13	c   crossover        :       0.00          0          0
346.02/346.13	c   oneopt           :       0.00          1          0
346.02/346.13	c   simplerounding   :       0.00          0          0
346.02/346.13	c   rounding         :       0.04         28          1
346.02/346.13	c   shifting         :       0.04          8          0
346.02/346.13	c   intshifting      :       0.00          0          0
346.02/346.13	c   fixandinfer      :       0.00          0          0
346.02/346.13	c   feaspump         :       3.65          1          0
346.02/346.13	c   coefdiving       :      31.23          1          0
346.02/346.13	c   intdiving        :       0.00          0          0
346.02/346.13	c   actconsdiving    :       0.00          0          0
346.02/346.13	c   octane           :       0.00          0          0
346.02/346.13	c   rens             :       0.08          1          0
346.02/346.13	c   rins             :       0.00          0          0
346.02/346.13	c   localbranching   :       0.00          0          0
346.02/346.13	c   mutation         :       0.00          0          0
346.02/346.13	c   dins             :       0.00          0          0
346.02/346.13	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
346.02/346.13	c   primal LP        :       0.01          0          0       0.00       0.00
346.02/346.13	c   dual LP          :      72.21         29      66110    2279.66     915.52
346.02/346.13	c   barrier LP       :       0.00          0          0       0.00          -
346.02/346.13	c   diving/probing LP:      34.84         23      28539    1240.83     819.14
346.02/346.13	c   strong branching :     204.21        164     161235     983.14     789.55
346.02/346.13	c     (at root node) :          -         18      18000    1000.00          -
346.02/346.13	c   conflict analysis:       0.00          0          0       0.00          -
346.02/346.13	c B&B Tree           :
346.02/346.13	c   number of runs   :          1
346.02/346.13	c   nodes            :         23
346.02/346.13	c   nodes (total)    :         23
346.02/346.13	c   nodes left       :          0
346.02/346.13	c   max depth        :         15
346.02/346.13	c   max depth (total):         15
346.02/346.13	c   backtracks       :          1 (4.3%)
346.02/346.13	c   delayed cutoffs  :          0
346.02/346.13	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
346.02/346.13	c   avg switch length:       2.00
346.02/346.13	c   switching time   :       0.03
346.02/346.13	c Solution           :
346.02/346.13	c   Solutions found  :          2 (2 improvements)
346.02/346.13	c   Primal Bound     : +3.50000000000000e+01   (in run 1, after 23 nodes, 345.38 seconds, depth 8, found by <relaxation>)
346.02/346.13	c   Dual Bound       : +3.50000000000000e+01
346.02/346.13	c   Gap              :       0.00 %
346.02/346.13	c   Root Dual Bound  : +3.50000000000000e+01
346.02/346.17	c Time complete: 346.09.

Verifier Data 

OK	35

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736175-1338712879/watcher-3736175-1338712879 -o /tmp/evaluation-result-3736175-1338712879/solver-3736175-1338712879 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3736175-1338712879.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 23288
/proc/meminfo: memFree=27039232/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/23288/stat : 23288 (runsolver) D 23286 23288 10620 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 337413007 12095488 51 33554432000 4194304 5436572 140734515610512 140734515606808 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/23288/statm: 2953 51 31 304 0 2645 0

[startup+0.029628 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 23288
/proc/meminfo: memFree=27039232/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=12692 CPUtime=0.01 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 2517 0 0 0 1 0 0 0 20 0 1 0 337413007 12996608 2470 33554432000 4194304 7823515 140736071477360 140734515606696 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 3173 2470 354 887 0 2283 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12692

[startup+0.100323 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 23288
/proc/meminfo: memFree=27039232/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=19048 CPUtime=0.08 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 4098 0 0 0 8 0 0 0 20 0 1 0 337413007 19505152 4051 33554432000 4194304 7823515 140736071477360 140734515606696 6825112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 4762 4051 354 887 0 3872 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19048

[startup+0.300286 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 23288
/proc/meminfo: memFree=27039232/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=55560 CPUtime=0.29 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 13490 0 0 0 26 3 0 0 20 0 1 0 337413007 56893440 12846 33554432000 4194304 7823515 140736071477360 140734515606696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 13890 12846 434 887 0 13000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55560

[startup+0.700303 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 23288
/proc/meminfo: memFree=27039232/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=66652 CPUtime=0.68 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 16332 0 0 0 64 4 0 0 20 0 1 0 337413007 68251648 15688 33554432000 4194304 7823515 140736071477360 140736071474040 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 16663 15688 448 887 0 15773 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 66652

[startup+1.50029 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 23289
/proc/meminfo: memFree=26956152/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=93916 CPUtime=1.48 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 22677 0 0 0 142 6 0 0 20 0 1 0 337413007 96169984 21882 33554432000 4194304 7823515 140736071477360 140736071474040 6208547 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 23479 21882 531 887 0 22589 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 93916

[startup+3.10024 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 23289
/proc/meminfo: memFree=26952680/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=94568 CPUtime=3.08 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 22842 0 0 0 302 6 0 0 20 0 1 0 337413007 96837632 22031 33554432000 4194304 7823515 140736071477360 140736071472040 6208304 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 23642 22031 531 887 0 22752 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 94568

[startup+6.30027 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 23289
/proc/meminfo: memFree=26939172/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=111292 CPUtime=6.28 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 27108 0 0 0 618 10 0 0 20 0 1 0 337413007 113963008 26268 33554432000 4194304 7823515 140736071477360 140736071473112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 27823 26268 560 887 0 26933 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 111292

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 23289
/proc/meminfo: memFree=26911420/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=134008 CPUtime=12.68 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 33096 0 0 0 1256 12 0 0 20 0 1 0 337413007 137224192 32221 33554432000 4194304 7823515 140736071477360 140736071472504 4338482 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 33502 32221 560 887 0 32612 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 134008

[startup+25.5002 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 23289
/proc/meminfo: memFree=26909328/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=136840 CPUtime=25.48 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 33723 0 0 0 2533 15 0 0 20 0 1 0 337413007 140124160 32848 33554432000 4194304 7823515 140736071477360 140736071472504 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 34210 32848 560 887 0 33320 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 136840

[startup+51.1003 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 23289
/proc/meminfo: memFree=26892828/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=51.08 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41281 0 0 0 5087 21 0 0 20 0 1 0 337413007 155959296 36899 33554432000 4194304 7823515 140736071477360 140736071472056 6205825 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 36899 566 887 0 37186 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152304

[startup+102.307 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 23289
/proc/meminfo: memFree=26892456/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=102.27 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41281 0 0 0 10202 25 0 0 20 0 1 0 337413007 155959296 36899 33554432000 4194304 7823515 140736071477360 140736071472696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 36899 566 887 0 37186 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 152304

[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 23289
/proc/meminfo: memFree=26890204/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=162.24 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41294 0 0 0 16192 32 0 0 20 0 1 0 337413007 155959296 37515 33554432000 4194304 7823515 140736071477360 140736071472056 6211327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 37515 566 887 0 37186 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 152304

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 23290
/proc/meminfo: memFree=26889472/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=222.24 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41301 0 0 0 22185 39 0 0 20 0 1 0 337413007 155959296 37718 33554432000 4194304 7823515 140736071477360 140736071472056 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 37718 566 887 0 37186 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 152304

[startup+282.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/176 23290
/proc/meminfo: memFree=26890224/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=282.22 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41302 0 0 0 28176 46 0 0 20 0 1 0 337413007 155959296 37719 33554432000 4194304 7823515 140736071477360 140736071472152 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 37719 567 887 0 37186 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 152304

[startup+342.3 s]
/proc/loadavg: 1.45 1.87 1.95 2/171 23315
/proc/meminfo: memFree=27199528/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=342.21 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41302 0 0 0 34166 55 0 0 20 0 1 0 337413007 155959296 37719 33554432000 4194304 7823515 140736071477360 140736071472696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 37719 567 887 0 37186 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 152304

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

[startup+343.9 s]
/proc/loadavg: 1.45 1.87 1.95 2/171 23315
/proc/meminfo: memFree=27199528/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=343.81 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41302 0 0 0 34326 55 0 0 20 0 1 0 337413007 155959296 37719 33554432000 4194304 7823515 140736071477360 140736071473160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 37719 567 887 0 37186 0
Current children cumulated CPU time (s) 343.81
Current children cumulated vsize (KiB) 152304

[startup+345.5 s]
/proc/loadavg: 1.41 1.86 1.94 2/171 23315
/proc/meminfo: memFree=27199528/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=345.41 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41302 0 0 0 34486 55 0 0 20 0 1 0 337413007 155959296 37719 33554432000 4194304 7823515 140736071477360 140736071472696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 37719 567 887 0 37186 0
Current children cumulated CPU time (s) 345.41
Current children cumulated vsize (KiB) 152304

[startup+345.9 s]
/proc/loadavg: 1.41 1.86 1.94 2/171 23315
/proc/meminfo: memFree=27199528/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=345.82 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41302 0 0 0 34526 56 0 0 20 0 1 0 337413007 155959296 37719 33554432000 4194304 7823515 140736071477360 140736071473160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 37719 567 887 0 37186 0
Current children cumulated CPU time (s) 345.82
Current children cumulated vsize (KiB) 152304

[startup+346.1 s]
/proc/loadavg: 1.41 1.86 1.94 2/171 23315
/proc/meminfo: memFree=27199528/32873844 swapFree=7116/7116
[pid=23288] ppid=23286 vsize=152304 CPUtime=346.02 cores=0,2,4,6
/proc/23288/stat : 23288 (pbscip.linux.x8) R 23286 23288 10620 0 -1 4202496 41302 0 0 0 34546 56 0 0 20 0 1 0 337413007 155959296 37719 33554432000 4194304 7823515 140736071477360 140736071473160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23288/statm: 38076 37719 567 887 0 37186 0
Current children cumulated CPU time (s) 346.02
Current children cumulated vsize (KiB) 152304

Child status: 0
Real time (s): 346.176
CPU time (s): 346.099
CPU user time (s): 345.535
CPU system time (s): 0.563914
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 173828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 345.535
system time used= 0.563914
maximum resident set size= 169432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 374

runsolver used 0.489925 second user time and 1.40079 second system time

The end

Launcher Data 

Begin job on node138 at 2012-06-03 10:41:19
IDJOB=3736175
IDBENCH=25030
IDSOLVER=2321
FILE ID=node138/3736175-1338712879
RUNJOBID= node138-1338679216-19462
PBS_JOBID= 14636675
Free space on /tmp= 70780 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736175-1338712879/watcher-3736175-1338712879 -o /tmp/evaluation-result-3736175-1338712879/solver-3736175-1338712879 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3736175-1338712879.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=1568777294

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27039388 kB
Buffers:          713076 kB
Cached:          3902028 kB
SwapCached:          208 kB
Active:          2642448 kB
Inactive:        2286540 kB
Active(anon):     298224 kB
Inactive(anon):    11376 kB
Active(file):    2344224 kB
Inactive(file):  2275164 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             10316 kB
Writeback:             0 kB
AnonPages:        317936 kB
Mapped:            16480 kB
Shmem:               200 kB
Slab:             764484 kB
SReclaimable:     206220 kB
SUnreclaim:       558264 kB
KernelStack:        1472 kB
PageTables:         4760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     424992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70780 MiB
End job on node138 at 2012-06-03 10:47:06