Trace number 2663975

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
SCIPnone SCIP 1.2.1.2 without any LP solverOPT35 303.826 303.899

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

Verifier Data 

OK	35

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663975-1276643112/watcher-2663975-1276643112 -o /tmp/evaluation-result-2663975-1276643112/solver-2663975-1276643112 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663975-1276643112.opb -t 1800 -m 1800 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11787
/proc/meminfo: memFree=1850140/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=6584 CPUtime=0
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 963 0 0 0 0 0 0 0 25 0 1 0 5602829 6742016 886 1992294400 4194304 7136930 140734465215568 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11787/statm: 1646 894 254 719 0 925 0

[startup+0.0860199 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11787
/proc/meminfo: memFree=1850140/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=12272 CPUtime=0.07
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 2560 0 0 0 7 0 0 0 25 0 1 0 5602829 12566528 2483 1992294400 4194304 7136930 140734465215568 18446744073709551615 5651274 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11787/statm: 3068 2483 271 719 0 2347 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12272

[startup+0.101021 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11787
/proc/meminfo: memFree=1850140/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=12892 CPUtime=0.09
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 2703 0 0 0 8 1 0 0 25 0 1 0 5602829 13201408 2626 1992294400 4194304 7136930 140734465215568 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11787/statm: 3223 2626 271 719 0 2502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12892

[startup+0.301038 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11787
/proc/meminfo: memFree=1850140/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=19660 CPUtime=0.29
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 4385 0 0 0 28 1 0 0 25 0 1 0 5602829 20131840 4308 1992294400 4194304 7136930 140734465215568 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11787/statm: 4915 4308 271 719 0 4194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19660

[startup+0.701073 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11787
/proc/meminfo: memFree=1850140/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=50596 CPUtime=0.69
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 12249 0 0 0 63 6 0 0 25 0 1 0 5602829 51810304 11802 1992294400 4194304 7136930 140734465215568 18446744073709551615 4688539 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 12649 11802 353 719 0 11928 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50596

[startup+1.50114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11788
/proc/meminfo: memFree=1790240/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=66684 CPUtime=1.49
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 19444 0 0 0 136 13 0 0 25 0 1 0 5602829 68284416 15804 1992294400 4194304 7136930 140734465215568 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 16671 15804 372 719 0 15950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66684

[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11788
/proc/meminfo: memFree=1787884/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=67828 CPUtime=3.09
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 20756 0 0 0 293 16 0 0 25 0 1 0 5602829 69455872 16102 1992294400 4194304 7136930 140734465215568 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 16957 16102 384 719 0 16236 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67828

[startup+6.30056 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11788
/proc/meminfo: memFree=1783420/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=71712 CPUtime=6.29
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 21717 0 0 0 608 21 0 0 25 0 1 0 5602829 73433088 17063 1992294400 4194304 7136930 140734465215568 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 17928 17063 389 719 0 17207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71712

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11788
/proc/meminfo: memFree=1777468/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=77812 CPUtime=12.69
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 23203 0 0 0 1238 31 0 0 25 0 1 0 5602829 79679488 18549 1992294400 4194304 7136930 140734465215568 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 19453 18549 389 719 0 18732 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77812

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11788
/proc/meminfo: memFree=1770152/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=84840 CPUtime=25.48
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 24924 0 0 0 2502 46 0 0 25 0 1 0 5602829 86876160 20270 1992294400 4194304 7136930 140734465215568 18446744073709551615 4210475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 21210 20270 389 719 0 20489 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84840

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11788
/proc/meminfo: memFree=1757628/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=97476 CPUtime=51.08
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 28002 0 0 0 5038 70 0 0 25 0 1 0 5602829 99815424 23348 1992294400 4194304 7136930 140734465215568 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 24369 23348 389 719 0 23648 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97476

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11790
/proc/meminfo: memFree=1744608/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=110260 CPUtime=102.27
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 31206 0 0 0 10111 116 0 0 25 0 1 0 5602829 112906240 26552 1992294400 4194304 7136930 140734465215568 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 27565 26552 389 719 0 26844 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 110260

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11792
/proc/meminfo: memFree=1696248/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=158952 CPUtime=162.25
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 43247 0 0 0 16067 158 0 0 25 0 1 0 5602829 162766848 38593 1992294400 4194304 7136930 140734465215568 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 39738 38593 389 719 0 39017 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 158952

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11794
/proc/meminfo: memFree=1660288/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=195120 CPUtime=222.24
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 52250 0 0 0 22040 184 0 0 25 0 1 0 5602829 199802880 47596 1992294400 4194304 7136930 140734465215568 18446744073709551615 4218735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 48780 47596 389 719 0 48059 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 195120

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11794
/proc/meminfo: memFree=1648508/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=206960 CPUtime=282.22
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 55229 0 0 0 28012 210 0 0 25 0 1 0 5602829 211927040 50575 1992294400 4194304 7136930 140734465215568 18446744073709551615 4653078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 51740 50575 389 719 0 51019 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 206960

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

[startup+294.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11796
/proc/meminfo: memFree=1644292/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=211252 CPUtime=294.22
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 56276 0 0 0 29207 215 0 0 25 0 1 0 5602829 216322048 51622 1992294400 4194304 7136930 140734465215568 18446744073709551615 4223002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 52813 51622 389 719 0 52092 0
Current children cumulated CPU time (s) 294.22
Current children cumulated vsize (KiB) 211252

[startup+300.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11796
/proc/meminfo: memFree=1636604/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=218540 CPUtime=300.62
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 58126 0 0 0 29845 217 0 0 25 0 1 0 5602829 223784960 53472 1992294400 4194304 7136930 140734465215568 18446744073709551615 4704207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 54635 53472 389 719 0 53914 0
Current children cumulated CPU time (s) 300.62
Current children cumulated vsize (KiB) 218540

[startup+302.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11796
/proc/meminfo: memFree=1636480/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=219924 CPUtime=302.22
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 58442 0 0 0 30005 217 0 0 25 0 1 0 5602829 225202176 53788 1992294400 4194304 7136930 140734465215568 18446744073709551615 5950410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 54981 53788 389 719 0 54260 0
Current children cumulated CPU time (s) 302.22
Current children cumulated vsize (KiB) 219924

[startup+303.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11796
/proc/meminfo: memFree=1635364/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=220768 CPUtime=303.02
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 58679 0 0 0 30085 217 0 0 25 0 1 0 5602829 226066432 54025 1992294400 4194304 7136930 140734465215568 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 55192 54025 389 719 0 54471 0
Current children cumulated CPU time (s) 303.02
Current children cumulated vsize (KiB) 220768

[startup+303.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11796
/proc/meminfo: memFree=1634372/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=220768 CPUtime=303.42
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 58679 0 0 0 30125 217 0 0 25 0 1 0 5602829 226066432 54025 1992294400 4194304 7136930 140734465215568 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 55192 54025 389 719 0 54471 0
Current children cumulated CPU time (s) 303.42
Current children cumulated vsize (KiB) 220768

[startup+303.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11796
/proc/meminfo: memFree=1634372/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=220768 CPUtime=303.62
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 58679 0 0 0 30145 217 0 0 25 0 1 0 5602829 226066432 54025 1992294400 4194304 7136930 140734465215568 18446744073709551615 5507644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11787/statm: 55192 54025 389 719 0 54471 0
Current children cumulated CPU time (s) 303.62
Current children cumulated vsize (KiB) 220768

[startup+303.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11796
/proc/meminfo: memFree=1634372/2059040 swapFree=4141108/4192956
[pid=11787] ppid=11785 vsize=220768 CPUtime=303.72
/proc/11787/stat : 11787 (pbscip.linux.x8) R 11785 11787 11155 0 -1 4202496 58679 0 0 0 30155 217 0 0 25 0 1 0 5602829 226066432 54025 1992294400 4194304 7136930 140734465215568 18446744073709551615 4561370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11787/statm: 55192 54025 389 719 0 54471 0
Current children cumulated CPU time (s) 303.72
Current children cumulated vsize (KiB) 220768

Child status: 0
Real time (s): 303.899
CPU time (s): 303.826
CPU user time (s): 301.626
CPU system time (s): 2.19967
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 220768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.626
system time used= 2.19966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58692
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= 2
involuntary context switches= 242

runsolver used 0.509922 second user time and 1.43978 second system time

The end

Launcher Data 

Begin job on node050 at 2010-06-16 01:05:12
IDJOB=2663975
IDBENCH=25030
IDSOLVER=1167
FILE ID=node050/2663975-1276643112
PBS_JOBID= 11172388
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
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.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663975-1276643112/watcher-2663975-1276643112 -o /tmp/evaluation-result-2663975-1276643112/solver-2663975-1276643112 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663975-1276643112.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=1299139429

node050.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850544 kB
Buffers:         21476 kB
Cached:          97388 kB
SwapCached:       6640 kB
Active:         101208 kB
Inactive:        32084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850544 kB
SwapTotal:     4192956 kB
SwapFree:      4141108 kB
Dirty:            3824 kB
Writeback:           0 kB
AnonPages:       11800 kB
Mapped:          13080 kB
Slab:            53388 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node050 at 2010-06-16 01:10:16