Trace number 3736179

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT35 260.244 260.305

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	35

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 5/176 28440
/proc/meminfo: memFree=31473692/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 1441 0 0 0 0 0 0 0 20 0 1 0 336802835 9158656 1388 33554432000 4194304 8395647 140737431994064 140734629563192 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 2236 1396 374 1026 0 1206 0

[startup+0.055954 s]
/proc/loadavg: 2.00 2.00 2.00 5/176 28440
/proc/meminfo: memFree=31473692/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=18472 CPUtime=0.04 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 3860 0 0 0 4 0 0 0 20 0 1 0 336802835 18915328 3806 33554432000 4194304 8395647 140737431994064 140734629563192 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 4618 3806 393 1026 0 3588 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18472

[startup+0.100335 s]
/proc/loadavg: 2.00 2.00 2.00 5/176 28440
/proc/meminfo: memFree=31473692/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=20856 CPUtime=0.09 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 4456 0 0 0 9 0 0 0 20 0 1 0 336802835 21356544 4402 33554432000 4194304 8395647 140737431994064 140734629563192 7382061 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 5214 4402 393 1026 0 4184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20856

[startup+0.300308 s]
/proc/loadavg: 2.00 2.00 2.00 5/176 28440
/proc/meminfo: memFree=31473692/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=57608 CPUtime=0.29 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 13624 0 0 0 27 2 0 0 20 0 1 0 336802835 58990592 13216 33554432000 4194304 8395647 140737431994064 140734629563192 4742904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 14402 13216 482 1026 0 13372 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57608

[startup+0.700322 s]
/proc/loadavg: 2.00 2.00 2.00 5/176 28440
/proc/meminfo: memFree=31473692/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=67024 CPUtime=0.69 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 16821 0 0 0 66 3 0 0 20 0 1 0 336802835 68632576 15658 33554432000 4194304 8395647 140737431994064 140737431989816 4706689 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 16756 15658 504 1026 0 15726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67024

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28441
/proc/meminfo: memFree=31409824/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=97388 CPUtime=1.49 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 23801 0 0 0 145 4 0 0 20 0 1 0 336802835 99725312 22473 33554432000 4194304 8395647 140737431994064 140737431989192 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 24347 22473 575 1026 0 23317 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97388

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28441
/proc/meminfo: memFree=31374096/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=115904 CPUtime=3.09 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 28994 0 0 0 304 5 0 0 20 0 1 0 336802835 118685696 27603 33554432000 4194304 8395647 140737431994064 140737431990088 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 28976 27604 608 1026 0 27946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115904

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28441
/proc/meminfo: memFree=31350040/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=137984 CPUtime=6.29 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 34396 0 0 0 622 7 0 0 20 0 1 0 336802835 141295616 33178 33554432000 4194304 8395647 140737431994064 140737431989352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 34496 33178 609 1026 0 33466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137984

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28441
/proc/meminfo: memFree=31339012/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=145124 CPUtime=12.69 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 36139 0 0 0 1261 8 0 0 20 0 1 0 336802835 148606976 34921 33554432000 4194304 8395647 140737431994064 140737431989352 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 36281 34921 609 1026 0 35251 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 145124

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28441
/proc/meminfo: memFree=31330756/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=153500 CPUtime=25.49 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 39277 0 0 0 2538 11 0 0 20 0 1 0 336802835 157184000 37119 33554432000 4194304 8395647 140737431994064 140737431989304 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 38375 37119 610 1026 0 37345 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 153500

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28441
/proc/meminfo: memFree=31327544/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=154076 CPUtime=51.08 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 47293 0 0 0 5092 16 0 0 20 0 1 0 336802835 157773824 37366 33554432000 4194304 8395647 140737431994064 140737431989352 6125682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 38519 37366 624 1026 0 37489 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154076

[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 28444
/proc/meminfo: memFree=31322340/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=102.27 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48008 0 0 0 10200 27 0 0 20 0 1 0 336802835 164548608 38796 33554432000 4194304 8395647 140737431994064 140737431988216 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 38796 641 1026 0 39143 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 160692

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 28467
/proc/meminfo: memFree=31319836/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=162.25 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 16189 36 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431988936 6723586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 160692

[startup+222.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 28467
/proc/meminfo: memFree=31320340/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=222.23 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 22176 47 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431989192 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 160692

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

[startup+230.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 28468
/proc/meminfo: memFree=31320464/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=230.23 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 22974 49 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431989720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 230.23
Current children cumulated vsize (KiB) 160692

[startup+243.107 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 28468
/proc/meminfo: memFree=31320464/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=243.04 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 24253 51 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431989288 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 243.04
Current children cumulated vsize (KiB) 160692

[startup+249.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 28468
/proc/meminfo: memFree=31320464/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=249.43 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 24891 52 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431989576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 249.43
Current children cumulated vsize (KiB) 160692

[startup+255.9 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 28468
/proc/meminfo: memFree=31320340/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=255.83 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 25530 53 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431989192 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 255.83
Current children cumulated vsize (KiB) 160692

[startup+257.5 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 28468
/proc/meminfo: memFree=31320340/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=257.43 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 25689 54 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431989192 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 257.43
Current children cumulated vsize (KiB) 160692

[startup+259.1 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 28468
/proc/meminfo: memFree=31320216/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=259.03 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 25849 54 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431989192 6699327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 259.03
Current children cumulated vsize (KiB) 160692

[startup+259.9 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 28468
/proc/meminfo: memFree=31320216/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=160692 CPUtime=259.83 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48030 0 0 0 25929 54 0 0 20 0 1 0 336802835 164548608 39241 33554432000 4194304 8395647 140737431994064 140737431989528 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 40173 39241 641 1026 0 39143 0
Current children cumulated CPU time (s) 259.83
Current children cumulated vsize (KiB) 160692

[startup+260.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 28468
/proc/meminfo: memFree=31320216/32873844 swapFree=7116/7116
[pid=28440] ppid=28438 vsize=126492 CPUtime=260.23 cores=1,3,5,7
/proc/28440/stat : 28440 (pbscip.linux.x8) R 28438 28440 25766 0 -1 4202496 48032 0 0 0 25968 55 0 0 20 0 1 0 336802835 129527808 31103 33554432000 4194304 8395647 140737431994064 140737431989528 7435351 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28440/statm: 31575 31055 643 1026 0 30545 0
Current children cumulated CPU time (s) 260.23
Current children cumulated vsize (KiB) 126492

Child status: 0
Real time (s): 260.305
CPU time (s): 260.244
CPU user time (s): 259.689
CPU system time (s): 0.555915
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 186716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.689
system time used= 0.555915
maximum resident set size= 182548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48035
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= 32
involuntary context switches= 266

runsolver used 0.413937 second user time and 1.01085 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-03 08:59:03
IDJOB=3736179
IDBENCH=25030
IDSOLVER=2326
FILE ID=node103/3736179-1338706743
RUNJOBID= node103-1338678622-25787
PBS_JOBID= 14636710
Free space on /tmp= 71116 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736179-1338706743/watcher-3736179-1338706743 -o /tmp/evaluation-result-3736179-1338706743/solver-3736179-1338706743 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3736179-1338706743.opb -t 1800 -m 15500

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

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=78776328

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31473700 kB
Buffers:          158584 kB
Cached:           333264 kB
SwapCached:         5652 kB
Active:           288432 kB
Inactive:         349892 kB
Active(anon):     143984 kB
Inactive(anon):     4740 kB
Active(file):     144448 kB
Inactive(file):   345152 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096348 kB
Dirty:             10868 kB
Writeback:             0 kB
AnonPages:        150716 kB
Mapped:            11452 kB
Shmem:                 0 kB
Slab:             622284 kB
SReclaimable:      62808 kB
SUnreclaim:       559476 kB
KernelStack:        1472 kB
PageTables:         4456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     269272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71104 MiB
End job on node103 at 2012-06-03 09:03:23