Trace number 2665405

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPT35 225.018 225.075

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

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-2665405-1276643119/watcher-2665405-1276643119 -o /tmp/evaluation-result-2665405-1276643119/solver-2665405-1276643119 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665405-1276643119.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: 0.85 0.97 0.99 3/106 11571
/proc/meminfo: memFree=1804992/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=9288 CPUtime=0
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 1042 0 0 0 0 0 0 0 19 0 1 0 5604087 9510912 964 1992294400 4194304 9819077 140736741585360 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11571/statm: 2322 972 371 1374 0 943 0

[startup+0.055612 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11571
/proc/meminfo: memFree=1804992/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=14124 CPUtime=0.05
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 2455 0 0 0 4 1 0 0 21 0 1 0 5604087 14462976 2376 1992294400 4194304 9819077 140736741585360 18446744073709551615 8654903 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11571/statm: 3531 2376 388 1374 0 2152 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14124

[startup+0.101617 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11571
/proc/meminfo: memFree=1804992/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=15596 CPUtime=0.09
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 2805 0 0 0 8 1 0 0 21 0 1 0 5604087 15970304 2726 1992294400 4194304 9819077 140736741585360 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11571/statm: 3899 2737 388 1374 0 2520 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15596

[startup+0.301636 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11571
/proc/meminfo: memFree=1804992/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=22364 CPUtime=0.29
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 4505 0 0 0 28 1 0 0 21 0 1 0 5604087 22900736 4426 1992294400 4194304 9819077 140736741585360 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11571/statm: 5591 4426 388 1374 0 4212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22364

[startup+0.701677 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11571
/proc/meminfo: memFree=1804992/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=52892 CPUtime=0.7
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 12297 0 0 0 65 5 0 0 22 0 1 0 5604087 54161408 11848 1992294400 4194304 9819077 140736741585360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 13223 11848 496 1374 0 11844 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 52892

[startup+1.50076 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 11572
/proc/meminfo: memFree=1744720/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=69480 CPUtime=1.49
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 19603 0 0 0 137 12 0 0 25 0 1 0 5604087 71147520 15968 1992294400 4194304 9819077 140736741585360 18446744073709551615 4665383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 17370 15968 515 1374 0 15991 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69480

[startup+3.10092 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 11572
/proc/meminfo: memFree=1742736/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=98976 CPUtime=3.09
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 26778 0 0 0 292 17 0 0 25 0 1 0 5604087 101351424 20911 1992294400 4194304 9819077 140736741585360 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 24744 20911 635 1374 0 23365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98976

[startup+6.30125 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 11572
/proc/meminfo: memFree=1707644/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=118156 CPUtime=6.29
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 34678 0 0 0 596 33 0 0 25 0 1 0 5604087 120991744 25319 1992294400 4194304 9819077 140736741585360 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 29539 25319 675 1374 0 28160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 118156

[startup+12.7009 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 11572
/proc/meminfo: memFree=1702684/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=131036 CPUtime=12.68
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 39605 0 0 0 1232 36 0 0 25 0 1 0 5604087 134180864 28331 1992294400 4194304 9819077 140736741585360 18446744073709551615 4310853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 32759 28331 675 1374 0 31380 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 131036

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 11572
/proc/meminfo: memFree=1672552/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=150196 CPUtime=25.49
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 53482 0 0 0 2503 46 0 0 25 0 1 0 5604087 153800704 33249 1992294400 4194304 9819077 140736741585360 18446744073709551615 6698459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 37549 33249 689 1374 0 36170 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150196

[startup+51.1018 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 11574
/proc/meminfo: memFree=1672924/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=151376 CPUtime=51.08
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 61257 0 0 0 5049 59 0 0 25 0 1 0 5604087 155009024 33354 1992294400 4194304 9819077 140736741585360 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 37844 33354 689 1374 0 36465 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151376

[startup+102.309 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 11576
/proc/meminfo: memFree=1663624/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=161040 CPUtime=102.27
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 86220 0 0 0 10142 85 0 0 25 0 1 0 5604087 164904960 35844 1992294400 4194304 9819077 140736741585360 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 40260 35844 689 1374 0 38881 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 161040

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11576
/proc/meminfo: memFree=1662508/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=163868 CPUtime=162.25
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 107302 0 0 0 16114 111 0 0 25 0 1 0 5604087 167800832 36053 1992294400 4194304 9819077 140736741585360 18446744073709551615 6056502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 40967 36053 689 1374 0 39588 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 163868

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11578
/proc/meminfo: memFree=1660028/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=164384 CPUtime=222.23
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 147210 0 0 0 22079 144 0 0 25 0 1 0 5604087 168329216 36328 1992294400 4194304 9819077 140736741585360 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 41096 36328 689 1374 0 39717 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 164384

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

[startup+223.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11578
/proc/meminfo: memFree=1661516/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=164264 CPUtime=223.83
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 148705 0 0 0 22238 145 0 0 25 0 1 0 5604087 168206336 36290 1992294400 4194304 9819077 140736741585360 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 41066 36290 689 1374 0 39687 0
Current children cumulated CPU time (s) 223.83
Current children cumulated vsize (KiB) 164264

[startup+224.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11578
/proc/meminfo: memFree=1661268/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=164292 CPUtime=224.63
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 149401 0 0 0 22318 145 0 0 25 0 1 0 5604087 168235008 36290 1992294400 4194304 9819077 140736741585360 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 41073 36290 689 1374 0 39694 0
Current children cumulated CPU time (s) 224.63
Current children cumulated vsize (KiB) 164292

[startup+224.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11578
/proc/meminfo: memFree=1661268/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=164292 CPUtime=224.83
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 149941 0 0 0 22337 146 0 0 25 0 1 0 5604087 168235008 36237 1992294400 4194304 9819077 140736741585360 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11571/statm: 41073 36237 689 1374 0 39694 0
Current children cumulated CPU time (s) 224.83
Current children cumulated vsize (KiB) 164292

[startup+225 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11578
/proc/meminfo: memFree=1661268/2059040 swapFree=4192956/4192956
[pid=11571] ppid=11569 vsize=151052 CPUtime=224.93
/proc/11571/stat : 11571 (pbscip.linux.x8) R 11569 11571 11546 0 -1 4202496 149982 0 0 0 22347 146 0 0 25 0 1 0 5604087 154677248 32937 1992294400 4194304 9819077 140736741585360 18446744073709551615 4998563 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11571/statm: 37763 32937 697 1374 0 36384 0
Current children cumulated CPU time (s) 224.93
Current children cumulated vsize (KiB) 151052

Child status: 0
Real time (s): 225.075
CPU time (s): 225.018
CPU user time (s): 223.535
CPU system time (s): 1.48277
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 164860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 223.535
system time used= 1.48277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149993
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= 1
involuntary context switches= 1420

runsolver used 0.38994 second user time and 1.05584 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-16 01:05:19
IDJOB=2665405
IDBENCH=25030
IDSOLVER=1168
FILE ID=node045/2665405-1276643119
PBS_JOBID= 11172417
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665405-1276643119/watcher-2665405-1276643119 -o /tmp/evaluation-result-2665405-1276643119/solver-2665405-1276643119 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665405-1276643119.opb -t 1800 -m 1800

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

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=1876931123

node045.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.247
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.49
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.247
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1805396 kB
Buffers:         22860 kB
Cached:         106172 kB
SwapCached:          0 kB
Active:          81880 kB
Inactive:       106412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1805396 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6960 kB
Writeback:           0 kB
AnonPages:       59232 kB
Mapped:          15384 kB
Slab:            43488 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180112 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= 62452 MiB
End job on node045 at 2010-06-16 01:09:04