Trace number 3732981

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT939 332.605 332.673

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark5.37918
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
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.09	c SCIP version 1.1.0.7
0.00/0.09	c LP-Solver SoPlex 1.4.1
0.00/0.09	c user parameter file <scip.set> not found - using default parameters
0.00/0.09	c read problem <HOME/instance-3732981-1338697216.opb>
0.00/0.09	c original problem has 8405 variables (8405 bin, 0 int, 0 impl, 0 cont) and 10667 constraints
0.09/0.12	c start presolving problem
0.09/0.12	c presolving:
0.09/0.15	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19836 impls, 700 clqs
0.19/0.20	c (round 2) 1 del vars, 25 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 10618 upgd conss, 19836 impls, 700 clqs
0.28/0.31	c    (0.2s) probing: 101/8404 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.28/0.31	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.28/0.31	c presolving (3 rounds):
0.28/0.31	c  1 deleted vars, 25 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.28/0.31	c  19836 implications, 700 cliques
0.28/0.31	c presolved problem has 8404 variables (8404 bin, 0 int, 0 impl, 0 cont) and 10642 constraints
0.28/0.31	c     700 constraints of type <setppc>
0.28/0.31	c      24 constraints of type <linear>
0.28/0.31	c    9918 constraints of type <logicor>
0.28/0.31	c transformed objective value is always integral (scale: 1)
0.28/0.31	c Presolving Time: 0.18
0.28/0.31	c OPT-LIN
0.28/0.31	c -----------------------------------------------------------------------------------------------
0.28/0.31	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.28/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.31	c limits/memory = c 13950
0.28/0.31	c # maximal time in seconds to run
0.28/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.31	c limits/time = c 1791
0.28/0.31	c # frequency for displaying node information lines
0.28/0.31	c # [type: int, range: [-1,2147483647], default: 100]
0.28/0.31	c display/freq = c 10000
0.28/0.31	c -----------------------------------------------------------------------------------------------
0.28/0.31	c start solving problem
0.28/0.31	c 
2.58/2.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.58/2.64	c   2.5s|     1 |     0 |  6195 |  35M|   0 | 537 |8404 |  10k|  10k|8404 |  10k|   0 |   0 |   0 | 9.100000e+02 |      --      |    Inf 
4.58/4.62	c   4.5s|     1 |     0 | 14547 |  36M|   0 | 419 |8404 |  10k|  10k|8404 |  10k| 165 |   0 |   0 | 9.100000e+02 |      --      |    Inf 
5.09/5.17	c   5.0s|     1 |     0 | 14986 |  36M|   0 | 396 |8404 |  10k|  10k|8404 |  10k| 320 |   0 |   0 | 9.104000e+02 |      --      |    Inf 
5.58/5.67	c   5.5s|     1 |     0 | 15355 |  36M|   0 | 365 |8404 |  10k|  10k|8404 |  11k| 451 |   0 |   0 | 9.135651e+02 |      --      |    Inf 
6.08/6.16	c   6.0s|     1 |     0 | 15617 |  37M|   0 | 305 |8404 |  10k|  10k|8404 |  11k| 564 |   0 |   0 | 9.205667e+02 |      --      |    Inf 
6.59/6.69	c   6.5s|     1 |     0 | 15948 |  37M|   0 | 270 |8404 |  10k|  10k|8404 |  11k| 660 |   0 |   0 | 9.284762e+02 |      --      |    Inf 
7.19/7.21	c   7.0s|     1 |     0 | 16212 |  37M|   0 | 189 |8404 |  10k|  10k|8404 |  11k| 741 |   0 |   0 | 9.340000e+02 |      --      |    Inf 
7.69/7.73	c   7.5s|     1 |     0 | 16473 |  37M|   0 | 159 |8404 |  10k|  10k|8404 |  11k| 802 |   0 |   0 | 9.383333e+02 |      --      |    Inf 
8.08/8.17	c   8.0s|     1 |     0 | 16634 |  37M|   0 | 121 |8404 |  10k|  10k|8404 |  11k| 842 |   0 |   0 | 9.390000e+02 |      --      |    Inf 
8.49/8.54	c   8.3s|     1 |     0 | 16735 |  37M|   0 | 105 |8404 |  10k|  10k|8404 |  11k| 862 |   0 |   0 | 9.390000e+02 |      --      |    Inf 
8.88/8.97	c   8.8s|     1 |     0 | 16816 |  37M|   0 | 121 |8404 |  10k|  10k|8404 |  11k| 877 |   0 |   0 | 9.390000e+02 |      --      |    Inf 
9.19/9.20	c   9.0s|     1 |     0 | 16984 |  37M|   0 | 123 |8404 |  10k|  10k|8404 |  11k| 898 |   0 |   0 | 9.390000e+02 |      --      |    Inf 
9.38/9.46	c   9.2s|     1 |     0 | 17165 |  38M|   0 |  87 |8404 |  10k|  10k|8404 |  11k| 924 |   0 |   0 | 9.390000e+02 |      --      |    Inf 
9.68/9.70	c   9.5s|     1 |     0 | 17319 |  38M|   0 |  72 |8404 |  10k|  10k|8404 |  11k| 940 |   0 |   0 | 9.390000e+02 |      --      |    Inf 
9.89/9.91	c   9.7s|     1 |     0 | 17488 |  38M|   0 |  74 |8404 |  10k|  10k|8404 |  11k| 948 |   0 |   0 | 9.390000e+02 |      --      |    Inf 
12.99/13.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.99/13.04	c  12.8s|     1 |     2 | 17488 |  38M|   0 |  74 |8404 |  10k|  10k|8404 |  11k| 948 |   0 |  17 | 9.390000e+02 |      --      |    Inf 
98.36/98.43	o 2652
98.36/98.43	c s98.0s|    41 |    40 | 25918 |  39M|  15 |  84 |8404 |  10k|  10k|8404 |  10k| 948 |   0 | 929 | 9.390000e+02 | 2.652000e+03 | 182.43%
118.77/118.84	o 2451
118.77/118.84	c s 118s|    55 |    54 | 29649 |  39M|  16 | 103 |8404 |  10k|  10k|8404 |  10k| 948 |   0 |1277 | 9.390000e+02 | 2.451000e+03 | 161.02%
128.76/128.84	o 1258
128.76/128.84	c S 128s|    74 |    75 | 38737 |  39M|  16 |   0 |8404 |  10k|  10k|8404 |  10k| 948 |   0 |1390 | 9.390000e+02 | 1.258000e+03 |  33.97%
182.35/182.50	o 1061
182.35/182.50	c S 182s|   205 |   206 | 85121 |  41M|  25 |   0 |8404 |  10k|  10k|8404 |  10k| 948 |   0 |1481 | 9.390000e+02 | 1.061000e+03 |  12.99%
242.63/242.73	o 940
242.63/242.73	c C 242s|   405 |    88 |129839 |  41M|  33 |   - |8404 |  10k|  10k|8404 |  10k| 948 |   2 |1640 | 9.390000e+02 | 9.400000e+02 |   0.11%
332.52/332.60	o 939
332.52/332.60	c s 332s|   848 |     0 |199644 |  40M|  43 |   - |8404 |9826 |9347 |8404 |  10k| 948 |  55 |1970 | 9.390000e+02 | 9.390000e+02 |   0.00%
332.52/332.61	c 
332.52/332.61	c SCIP Status        : problem is solved [optimal solution found]
332.52/332.61	c Solving Time (sec) : 331.61
332.52/332.61	c Solving Nodes      : 848
332.52/332.61	c Primal Bound       : +9.39000000000000e+02 (8 solutions)
332.52/332.61	c Dual Bound         : +9.39000000000000e+02
332.52/332.61	c Gap                : 0.00 %
332.52/332.61	c NODE         848
332.52/332.61	c DUAL BOUND   939
332.52/332.61	c PRIMAL BOUND 939
332.52/332.61	c GAP          0
332.52/332.61	s OPTIMUM FOUND
332.52/332.61	v -x8391 -x8389 -x8378 -x8368 -x8363 -x8343 -x8339 -x8333 -x8329 -x8323 -x8293 -x8274 -x8270 -x8266 -x8254 -x8252 -x8250 -x8242 -x8237 
332.52/332.61	v -x8234 -x8231 -x8209 -x8199 -x8198 -x8187 -x8164 -x8161 -x8160 -x8154 -x8153 -x8148 -x8145 -x8100 -x8090 -x8085 -x8084 
332.52/332.61	v -x8079 -x8071 -x8062 -x8060 -x8059 -x8057 -x8045 -x8042 -x8037 -x8027 -x8022 -x8012 -x8009 -x7996 -x7995 -x7994 -x7986 -x7982 
332.52/332.61	v -x7977 -x7969 x7967 -x7965 -x7961 -x7950 -x7945 -x7942 -x7941 -x7939 -x7928 -x7924 -x7918 -x7916 -x7915 -x7913 -x7899 -x7891 
332.52/332.61	v -x7890 -x7889 x7886 -x7882 -x7880 -x7873 -x7867 -x7858 -x7853 -x7848 -x7835 -x7834 -x7826 x7821 -x7814 -x7811 -x7810 -x7807 
332.52/332.61	v -x7803 -x7801 -x7800 -x7795 -x7778 -x7767 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 x7741 -x7739 -x7725 -x7710 -x7709 
332.52/332.61	v -x7694 -x7691 -x7686 -x7676 -x7671 -x7661 -x7658 -x7645 -x7644 -x7643 -x7635 -x7631 -x7626 -x7618 -x7616 -x7614 -x7610 -x7599 
332.52/332.61	v -x7594 -x7591 x7590 x7588 -x7577 -x7573 -x7567 -x7565 -x7564 -x7562 -x7548 -x7545 -x7540 -x7539 -x7538 -x7535 -x7531 -x7529 
332.52/332.61	v x7522 -x7516 -x7507 -x7502 -x7497 x7483 -x7475 -x7470 -x7463 -x7460 -x7459 -x7456 -x7452 -x7450 -x7449 x7444 -x7427 -x7416 -x7398 
332.52/332.61	v -x7397 -x7396 -x7395 -x7393 -x7392 -x7391 -x7390 -x7388 -x7387 -x7374 -x7359 -x7358 -x7343 -x7340 -x7335 -x7325 -x7320 -x7310 
332.52/332.61	v -x7307 -x7294 -x7293 -x7292 -x7284 -x7280 -x7275 -x7267 -x7265 -x7263 -x7259 -x7248 -x7243 -x7240 -x7239 -x7237 -x7226 
332.52/332.61	v -x7222 -x7216 -x7214 -x7213 -x7211 -x7197 -x7194 x7189 -x7188 x7187 -x7184 -x7180 -x7178 -x7171 -x7165 -x7156 -x7151 -x7146 -x7133 
332.52/332.61	v -x7132 -x7124 -x7119 -x7112 -x7109 -x7108 -x7105 -x7101 -x7099 -x7098 -x7093 -x7076 -x7065 -x7047 -x7046 -x7045 -x7044 
332.52/332.61	v x7042 -x7041 -x7040 -x7039 -x7037 -x7036 -x7023 -x7008 -x7007 -x6992 -x6989 -x6984 -x6974 -x6969 -x6959 -x6956 -x6943 -x6942 
332.52/332.61	v -x6941 -x6933 -x6929 -x6924 -x6916 -x6914 -x6912 -x6908 -x6897 -x6892 -x6889 -x6888 -x6886 -x6875 -x6871 -x6865 -x6863 -x6860 
332.52/332.61	v -x6846 -x6843 -x6838 -x6837 -x6836 -x6833 -x6829 -x6827 -x6820 x6814 -x6805 -x6800 -x6795 -x6782 -x6781 x6773 -x6768 -x6761 
332.52/332.61	v -x6758 -x6757 -x6754 -x6750 -x6748 -x6747 -x6742 -x6725 -x6714 -x6696 -x6695 -x6694 -x6693 -x6691 -x6690 -x6689 -x6688 -x6686 
332.52/332.61	v -x6685 -x6672 -x6657 x6656 -x6648 -x6646 -x6641 -x6636 -x6629 -x6627 -x6624 -x6623 -x6608 -x6607 -x6605 -x6595 -x6588 -x6574 
332.52/332.61	v -x6565 -x6563 -x6561 x6550 -x6548 -x6546 -x6541 -x6539 x6538 -x6535 -x6524 -x6521 -x6520 -x6519 -x6509 -x6504 -x6487 -x6486 
332.52/332.61	v -x6485 -x6476 -x6463 -x6460 -x6446 -x6444 -x6443 -x6434 -x6432 -x6430 -x6426 -x6424 -x6422 -x6417 -x6416 -x6410 -x6407 -x6399 
332.52/332.61	v -x6397 -x6390 -x6389 -x6379 -x6369 -x6363 -x6348 -x6345 -x6342 -x6340 -x6337 -x6335 x6325 -x6323 -x6321 -x6307 -x6304 -x6297 
332.52/332.61	v -x6295 -x6290 -x6278 -x6276 -x6273 -x6272 -x6257 -x6256 -x6244 -x6237 -x6223 x6214 -x6212 -x6210 -x6199 -x6197 -x6195 -x6188 
332.52/332.61	v -x6187 -x6184 -x6170 -x6168 x6158 -x6153 -x6136 x6135 -x6134 -x6125 -x6112 -x6109 -x6095 -x6093 -x6092 -x6083 -x6081 -x6079 
332.52/332.61	v -x6075 x6073 -x6071 -x6066 -x6065 x6059 -x6056 -x6048 -x6046 -x6039 -x6038 -x6028 -x6018 -x6012 x5997 -x5994 -x5993 -x5991 -x5989 
332.52/332.61	v -x5986 -x5984 -x5974 -x5972 x5970 x5956 -x5953 -x5944 -x5939 -x5934 -x5927 -x5925 -x5922 -x5921 -x5906 -x5905 -x5903 -x5893 
332.52/332.61	v -x5886 -x5872 -x5863 -x5861 -x5859 -x5848 -x5846 -x5839 -x5837 -x5836 -x5833 -x5822 -x5819 -x5818 -x5807 -x5802 -x5785 -x5784 
332.52/332.61	v -x5783 -x5774 -x5761 -x5758 -x5744 -x5741 -x5732 -x5730 -x5728 -x5724 -x5722 -x5720 -x5715 -x5714 -x5708 -x5705 -x5697 -x5695 
332.52/332.61	v -x5688 -x5687 -x5677 -x5667 x5661 -x5646 -x5643 -x5642 -x5640 -x5638 -x5635 -x5633 -x5623 -x5621 -x5619 -x5605 -x5595 -x5593 
332.52/332.61	v -x5588 -x5583 -x5580 -x5571 -x5570 -x5555 -x5549 -x5542 -x5535 -x5529 -x5525 -x5523 -x5520 -x5515 -x5510 -x5495 -x5488 
332.52/332.61	v -x5486 -x5485 -x5482 -x5480 -x5479 -x5476 -x5471 -x5468 -x5467 -x5466 -x5457 -x5456 -x5451 x5441 -x5434 -x5433 -x5432 -x5410 
332.52/332.61	v -x5407 -x5391 -x5390 -x5379 -x5373 -x5363 -x5356 -x5354 -x5353 -x5352 -x5350 -x5348 -x5346 -x5345 -x5344 -x5343 -x5340 -x5337 
332.52/332.61	v -x5336 -x5333 -x5327 -x5326 -x5292 -x5286 -x5282 -x5272 -x5268 -x5267 -x5260 -x5252 -x5249 -x5244 -x5237 -x5220 -x5218 -x5209 
332.52/332.61	v -x5204 -x5188 -x5187 -x5186 -x5174 -x5172 -x5158 -x5153 -x5140 -x5138 -x5134 -x5131 x5114 -x5091 -x5087 -x5083 -x5082 -x5081 
332.52/332.61	v -x5078 -x5072 x5070 -x5065 -x5059 -x5058 -x5056 -x5051 -x5048 -x5047 -x5038 -x5028 -x5026 -x5022 -x5018 x5017 -x5015 -x5001 
332.52/332.61	v -x4997 -x4995 -x4989 -x4986 -x4976 -x4960 -x4947 -x4941 -x4940 -x4939 -x4938 -x4936 -x4934 -x4933 -x4931 -x4917 -x4903 -x4902 
332.52/332.61	v -x4901 -x4893 -x4886 -x4883 -x4869 -x4867 -x4858 -x4853 -x4850 -x4837 -x4836 x4835 -x4823 -x4821 -x4807 -x4802 -x4789 -x4787 
332.52/332.61	v -x4786 -x4783 -x4780 -x4769 -x4763 -x4756 -x4740 -x4736 -x4732 -x4731 -x4730 -x4727 -x4719 -x4714 -x4708 -x4707 -x4705 -x4700 
332.52/332.61	v -x4697 -x4696 -x4687 -x4677 -x4675 -x4671 -x4667 -x4666 -x4664 -x4650 -x4646 x4644 -x4638 -x4635 -x4625 -x4609 -x4596 -x4590 
332.52/332.61	v -x4589 -x4588 -x4587 -x4585 x4583 -x4582 -x4580 -x4566 -x4552 -x4551 -x4550 -x4542 -x4535 -x4532 -x4518 -x4516 -x4507 -x4502 
332.52/332.61	v -x4499 -x4486 -x4485 -x4484 -x4472 -x4470 -x4456 -x4451 -x4438 x4436 -x4435 -x4432 -x4429 -x4418 -x4412 -x4405 -x4389 -x4385 
332.52/332.61	v -x4381 -x4380 -x4379 -x4376 -x4370 -x4368 -x4363 -x4357 -x4356 x4354 -x4349 -x4346 -x4345 -x4336 -x4326 -x4324 -x4320 -x4316 
332.52/332.61	v -x4315 -x4313 -x4299 -x4295 -x4293 -x4287 -x4284 -x4274 -x4258 -x4245 -x4239 -x4238 -x4237 -x4236 -x4234 -x4232 -x4231 -x4229 
332.52/332.61	v -x4215 -x4201 -x4200 -x4199 -x4192 -x4186 -x4184 -x4172 -x4170 -x4167 x4151 -x4148 -x4138 -x4136 -x4131 -x4125 -x4111 -x4108 
332.52/332.61	v -x4106 -x4091 -x4080 -x4078 -x4075 -x4072 -x4067 -x4065 -x4063 -x4062 -x4059 -x4058 -x4054 -x4052 -x4048 -x4047 -x4045 -x4038 
332.52/332.61	v -x4030 -x4029 -x4028 -x4025 -x4020 -x4019 -x4018 -x4012 -x4011 -x3987 -x3986 -x3974 -x3960 -x3959 -x3952 -x3948 -x3942 -x3936 
332.52/332.61	v -x3906 -x3894 -x3887 -x3886 -x3883 -x3880 -x3864 -x3859 -x3857 -x3852 x3851 -x3849 -x3848 -x3847 -x3845 -x3836 -x3835 -x3834 
332.52/332.61	v -x3830 -x3829 -x3828 -x3805 -x3800 -x3787 -x3785 -x3782 -x3780 -x3778 -x3767 -x3738 -x3730 -x3714 -x3708 -x3703 -x3697 
332.52/332.61	v -x3691 -x3689 -x3680 -x3678 -x3677 -x3674 -x3671 -x3629 -x3618 -x3609 -x3597 -x3591 -x3585 -x3537 -x3533 -x3530 -x3527 -x3517 
332.52/332.61	v -x3513 -x3507 -x3499 -x3497 -x3496 -x3492 -x3489 -x3482 -x3481 -x3478 -x3473 -x3463 -x3458 -x3452 -x3447 -x3444 -x3437 -x3431 
332.52/332.61	v -x3430 -x3429 -x3421 -x3413 -x3405 -x3403 -x3401 -x3397 -x3386 -x3381 -x3378 -x3377 -x3375 -x3363 -x3359 -x3353 -x3351 -x3350 
332.52/332.61	v -x3348 -x3334 -x3331 -x3326 x3325 -x3324 -x3320 -x3316 -x3308 -x3302 x3293 -x3288 -x3283 -x3270 -x3269 -x3261 -x3256 -x3249 
332.52/332.61	v -x3246 -x3245 -x3243 -x3239 -x3237 -x3236 -x3231 -x3215 -x3204 -x3188 -x3187 -x3186 -x3185 -x3183 -x3182 -x3181 -x3180 -x3178 
332.52/332.61	v -x3177 -x3164 -x3149 -x3148 -x3135 -x3134 -x3129 -x3128 -x3127 -x3104 -x3103 -x3098 -x3084 -x3080 -x3078 -x3076 x3066 -x3037 
332.52/332.61	v -x3029 -x3019 -x3012 -x3006 -x3001 -x2995 -x2989 -x2987 -x2978 -x2976 -x2975 -x2971 -x2968 -x2927 -x2916 -x2907 -x2895 -x2890 
332.52/332.61	v -x2884 -x2839 -x2835 -x2832 -x2829 -x2819 -x2815 x2809 -x2801 -x2799 -x2798 -x2794 x2792 -x2791 -x2788 -x2765 -x2755 -x2754 
332.52/332.61	v -x2749 -x2746 -x2737 -x2735 -x2729 -x2725 -x2724 -x2717 -x2716 -x2710 -x2698 -x2690 -x2680 -x2677 -x2674 -x2671 -x2660 -x2656 
332.52/332.61	v -x2652 -x2640 -x2638 -x2636 x2635 -x2628 -x2622 -x2619 -x2595 -x2585 -x2584 -x2573 -x2567 -x2559 -x2547 -x2546 -x2541 -x2535 
332.52/332.61	v -x2532 -x2518 -x2484 -x2478 -x2475 -x2474 -x2469 -x2460 -x2452 -x2450 -x2447 -x2442 -x2439 -x2434 -x2429 -x2422 -x2420 -x2417 
332.52/332.61	v -x2416 -x2405 -x2400 -x2399 -x2397 -x2386 -x2380 -x2367 -x2358 -x2356 -x2354 -x2343 -x2341 -x2339 -x2334 -x2332 -x2331 -x2328 
332.52/332.61	v -x2321 -x2316 -x2313 -x2312 -x2311 -x2301 -x2296 -x2279 -x2278 -x2277 -x2255 -x2252 -x2238 -x2235 -x2226 -x2224 -x2222 
332.52/332.61	v -x2218 -x2216 -x2214 -x2209 -x2208 -x2202 -x2199 -x2192 -x2190 -x2183 -x2182 -x2172 -x2163 -x2157 -x2144 -x2141 -x2140 -x2138 
332.52/332.61	v -x2136 -x2133 -x2131 -x2121 -x2119 -x2117 -x2103 -x2100 -x2093 -x2090 -x2085 -x2080 -x2077 -x2073 -x2071 -x2068 -x2067 -x2056 
332.52/332.61	v -x2051 -x2050 -x2037 -x2031 -x2020 -x2017 -x2012 -x2009 -x2007 -x1994 -x1992 -x1985 -x1982 -x1979 -x1977 -x1972 -x1967 -x1964 
332.52/332.61	v -x1963 -x1962 -x1952 -x1947 -x1930 -x1929 -x1928 -x1906 -x1903 -x1889 -x1886 -x1877 -x1875 -x1869 -x1867 -x1860 -x1853 -x1852 
332.52/332.61	v -x1850 -x1848 -x1847 -x1845 -x1843 -x1842 -x1841 -x1840 -x1837 -x1834 -x1833 -x1824 -x1823 -x1814 -x1808 -x1795 -x1792 -x1791 
332.52/332.61	v -x1789 -x1787 -x1784 -x1782 -x1772 -x1770 -x1768 -x1751 -x1744 -x1743 -x1736 -x1733 -x1719 -x1717 -x1708 -x1702 -x1699 -x1686 
332.52/332.61	v -x1685 -x1684 -x1671 -x1657 -x1652 -x1639 -x1637 -x1636 -x1633 -x1630 -x1618 -x1612 -x1605 -x1589 -x1585 -x1581 -x1580 
332.52/332.61	v -x1579 x1575 -x1568 -x1563 -x1557 -x1556 -x1554 -x1549 -x1546 -x1545 -x1536 -x1526 -x1524 -x1520 -x1516 -x1515 -x1513 -x1499 
332.52/332.61	v -x1496 -x1494 -x1488 -x1485 -x1475 -x1460 -x1449 -x1443 -x1442 -x1441 -x1440 -x1438 -x1436 -x1435 -x1433 -x1419 -x1405 -x1404 
332.52/332.61	v -x1403 -x1395 -x1388 -x1387 -x1384 -x1379 -x1369 -x1364 -x1358 -x1353 -x1350 -x1343 -x1337 -x1336 -x1335 -x1327 -x1319 -x1311 
332.52/332.61	v -x1309 -x1307 -x1303 -x1292 x1287 x1284 -x1283 -x1281 x1269 -x1265 -x1259 -x1257 -x1254 -x1240 -x1237 -x1232 -x1231 -x1230 
332.52/332.61	v -x1226 -x1222 -x1214 -x1208 -x1199 -x1194 -x1189 -x1176 -x1175 -x1167 -x1162 -x1155 -x1152 -x1151 -x1149 -x1145 -x1143 -x1142 
332.52/332.61	v -x1137 -x1121 -x1110 -x1094 x1093 -x1092 -x1091 -x1089 -x1088 x1087 -x1086 -x1084 -x1083 x1070 x1055 -x1054 -x1046 -x1045 -x1043 
332.52/332.61	v -x1038 -x1033 -x1026 -x1024 -x1021 -x1020 -x1009 -x1004 -x1003 -x1001 -x990 -x984 -x971 -x962 -x960 -x958 -x947 -x945 -x943 
332.52/332.61	v -x938 -x936 -x935 -x932 -x925 -x920 -x917 -x916 -x915 -x907 -x905 -x900 -x883 -x882 -x881 -x859 -x856 -x842 -x840 -x839 -x830 
332.52/332.61	v -x828 -x826 -x822 -x820 -x818 -x813 -x812 -x806 -x803 x796 -x794 -x787 -x786 -x776 x767 -x761 -x748 -x745 -x744 -x742 -x740 
332.52/332.61	v -x737 -x735 -x725 -x723 -x721 -x707 -x704 -x697 -x696 -x694 -x689 -x684 -x677 -x675 -x672 -x671 -x660 x655 -x654 -x652 x641 
332.52/332.61	v -x635 -x622 -x613 -x611 -x609 -x598 -x596 -x594 -x589 -x587 -x586 -x583 -x576 -x571 -x568 -x567 -x566 -x558 -x556 -x551 x534 
332.52/332.61	v -x533 x532 x510 -x507 -x493 -x491 -x490 -x481 -x479 -x477 -x473 -x471 -x469 -x464 -x463 -x457 -x454 -x447 -x445 -x438 -x437 
332.52/332.61	v -x427 -x418 -x412 -x399 -x396 -x395 x393 -x391 -x388 -x386 -x376 -x372 -x358 -x355 -x348 -x347 -x340 -x337 -x323 -x321 -x312 
332.52/332.61	v -x306 -x303 -x290 -x289 -x288 -x275 -x261 x256 -x243 -x241 -x240 -x237 -x234 -x222 -x216 x193 -x189 -x185 -x184 -x183 -x179 
332.52/332.61	v -x172 -x167 -x161 x160 -x158 -x153 -x150 -x149 -x140 -x130 -x128 -x124 -x120 -x119 -x117 -x103 -x100 -x98 -x92 -x89 -x79 -x64 
332.52/332.61	v -x53 -x47 -x46 -x45 -x44 -x42 -x40 -x39 -x37 -x23 -x9 -x8 -x7 x1 -x8405 -x8054 -x7703 -x7352 x7001 -x6650 -x6299 -x5948 -x5597 
332.52/332.61	v -x5246 -x4895 -x4544 -x4193 -x3842 -x3491 -x3142 -x2444 -x1746 -x1397 -x1048 -x699 -x350 -x3490 -x3141 -x2443 -x2094 -x1745 
332.52/332.61	v -x1396 -x1047 -x698 -x349 -x8404 -x6649 -x6298 -x5947 -x5596 -x5245 -x4894 -x4543 -x3841 -x8403 -x2790 -x8402 -x4190 -x3839 
332.52/332.61	v -x3138 -x2789 -x5242 -x4891 -x4540 -x4189 -x3838 -x3137 -x1741 -x345 -x8400 -x5592 -x2787 -x2089 -x8399 -x8048 -x7697 -x7346 
332.52/332.61	v -x6995 -x5591 -x5240 -x4889 -x4538 -x4187 -x3484 -x2088 -x1739 -x1390 -x343 -x8398 -x8047 -x7696 -x7345 -x6994 -x6643 -x6292 
332.52/332.61	v -x5941 -x3483 -x2785 -x2436 -x2087 -x1389 -x1040 -x691 -x8397 -x6642 -x6291 -x5940 -x5589 -x5238 -x4887 -x4536 -x4185 -x3133 
332.52/332.61	v -x2784 -x8395 -x4183 -x3832 -x3131 -x2782 -x8043 -x7692 -x7341 -x6990 -x6639 -x6288 -x5937 -x5586 -x5235 -x4884 -x4533 -x4182 
332.52/332.61	v -x3831 -x3479 -x3130 -x2781 -x2432 -x1734 -x1385 -x1036 -x687 -x338 -x4181 -x8040 -x7689 -x7338 -x6987 -x5232 -x4881 -x4530 
332.52/332.61	v -x3476 -x1731 -x1382 -x335 -x8390 -x4178 -x3827 -x3126 -x2777 -x8038 -x7687 -x7336 -x6985 -x6634 -x6283 -x5932 -x5230 -x4879 
332.52/332.61	v -x4528 -x3474 -x2776 -x2427 -x2078 -x1729 -x1380 -x1031 -x682 -x333 -x8388 -x4176 -x3825 -x3124 -x2775 -x8036 -x7685 -x7334 
332.52/332.61	v -x6983 -x6632 -x6281 -x5930 -x5579 -x5228 -x4877 -x4526 -x4175 -x3472 -x2425 -x2076 -x1727 -x1378 -x1029 -x680 -x331 -x8386 
332.52/332.61	v -x6631 -x6280 -x5929 -x5578 -x4174 -x2773 -x2424 -x2075 -x1028 -x679 -x8034 -x7683 -x7332 -x6981 -x6630 -x6279 -x5928 -x5577 
332.52/332.61	v -x5226 -x4875 -x4524 -x4173 -x3470 -x2423 -x2074 -x1725 -x1376 -x1027 -x678 -x329 -x8384 -x3821 -x3120 -x2771 -x8383 -x6628 -x6277 
332.52/332.61	v -x5926 -x5224 -x4873 -x4522 -x4171 -x3820 -x3119 -x2770 -x2421 -x2072 -x1723 -x1025 -x676 -x327 -x8382 -x3819 -x3118 -x2769 
332.52/332.61	v -x8381 -x5222 -x4871 -x4520 -x4169 -x3818 -x3117 -x2768 -x1721 -x325 -x8380 -x8029 -x7678 -x7327 -x6976 -x6625 -x6274 -x5923 
332.52/332.61	v -x5221 -x4870 -x4519 -x4168 -x3817 -x3465 -x3116 -x2767 x2418 -x2069 -x1720 -x1371 -x1022 -x673 -x324 -x8379 -x2766 -x8377 
332.52/332.61	v -x6622 -x6271 -x5920 -x5569 -x4165 -x2764 -x2415 -x2066 -x1019 -x670 -x8376 -x8025 -x7674 -x7323 -x6972 -x5217 -x4866 -x4515 
332.52/332.61	v -x3813 -x3461 -x3112 -x2763 -x1716 -x1367 -x320 -x8375 -x8024 -x7673 -x7322 -x6971 -x6620 -x6269 -x5918 -x5567 -x3812 -x3460 
332.52/332.61	v -x3111 -x2762 -x2413 -x2064 -x1366 -x1017 -x668 -x8374 -x8023 -x7672 -x7321 -x6970 -x4162 -x3811 -x3459 -x3110 -x2761 -x1365 
332.52/332.61	v -x8373 -x6618 -x6267 -x5916 -x5214 -x4863 -x4512 -x4161 -x2760 -x2411 -x1713 -x1015 -x666 -x317 -x8372 -x8021 -x7670 -x7319 
332.52/332.61	v -x6968 -x5564 -x5213 -x4862 -x4511 -x4160 -x3457 -x2759 -x2061 -x1712 -x1363 -x316 -x8371 -x6616 -x6265 -x5914 -x5212 -x4861 
332.52/332.61	v -x4510 -x4159 -x2758 -x2409 -x2060 -x1711 -x1013 -x664 -x315 -x8370 -x4158 -x3807 -x3106 -x2757 -x8369 -x2756 -x8367 -x3804 
332.52/332.61	v -x3102 -x2753 -x8366 -x8015 -x7664 -x7313 -x6962 -x5207 -x4856 -x4505 -x3450 -x2752 -x1705 -x1356 -x309 -x8014 -x7663 -x7312 
332.52/332.61	v -x6961 -x5206 -x4855 -x4504 -x3449 -x1704 -x1355 -x308 -x8013 -x7662 -x7311 -x6960 -x6609 -x6258 -x5907 -x5556 -x5205 -x4854 
332.52/332.61	v -x4503 -x4152 -x3448 -x2401 -x2052 -x1703 -x1354 -x1005 -x656 -x307 -x8362 -x8011 -x7660 -x7309 -x6958 -x4150 -x3799 -x3446 
332.52/332.61	v -x3097 -x2748 -x1352 -x8361 -x8010 -x7659 -x7308 -x6957 -x4149 -x3445 -x2747 -x1351 -x4147 -x3796 -x3094 -x2745 -x8358 -x8007 
332.52/332.61	v x7656 -x7305 -x6954 -x6603 -x6252 -x5901 -x5550 -x5199 -x4848 -x4497 -x4146 -x3795 -x3442 -x3093 -x2744 -x2395 -x2046 x1697 
332.52/332.61	v -x1348 -x999 -x650 -x301 -x8357 -x8006 -x7655 -x7304 -x6953 -x4145 -x3794 -x3441 -x3092 -x2743 -x1347 -x8356 -x4144 -x3793 -x3091 
332.52/332.61	v -x2742 -x8355 -x4143 -x3792 -x3090 -x2741 -x8354 -x5195 -x4844 -x4493 -x4142 -x3791 -x3089 -x2740 -x1693 -x297 -x2739 -x2041 
332.52/332.61	v -x8353 -x4141 -x3790 -x3087 -x2738 -x8001 -x7650 -x7299 -x6948 -x6597 -x6246 -x5895 -x5544 -x4140 -x3789 -x3435 -x3086 -x2388 
332.52/332.61	v -x2039 -x1341 -x992 -x643 -x6596 -x6245 -x5894 -x5543 -x5192 -x4841 -x4490 -x4139 -x3788 -x3085 -x2387 -x2038 -x1689 -x991 
332.52/332.61	v -x642 -x293 -x7999 -x7648 -x7297 -x6946 -x5191 -x4840 -x4489 -x3433 -x1688 -x1339 -x292 -x6594 -x6243 -x5892 -x5541 -x4137 
332.52/332.61	v -x3786 -x3083 -x2385 -x2036 -x989 -x640 -x7997 -x7646 -x7295 -x6944 -x6593 -x6242 -x5891 -x5540 -x5189 -x4838 -x4487 -x8347 
332.52/332.61	v -x2733 -x8346 -x3783 -x3081 -x2732 -x6590 -x6239 -x5888 -x4133 -x2382 -x2033 -x986 -x637 -x8344 -x6589 -x6238 -x5887 -x5536 
332.52/332.61	v -x5185 -x4834 -x4483 -x4132 -x2730 -x2381 -x2032 -x1683 -x985 -x636 -x287 -x8342 -x6587 -x6236 -x5885 -x5183 -x4832 -x4481 -x4130 
332.52/332.61	v -x3779 -x3077 -x2728 -x2379 -x2030 -x1681 -x983 -x634 -x285 -x6586 -x6235 -x5884 -x5182 -x4831 -x4480 -x4129 -x2378 -x2029 
332.52/332.61	v -x1680 -x982 -x633 -x284 -x8340 -x6585 -x6234 -x5883 -x5532 -x3777 -x3075 -x2726 -x2377 -x2028 -x981 -x632 -x6584 -x6233 -x5882 
332.52/332.61	v -x5531 -x4127 -x3776 -x3074 -x2376 -x2027 -x980 -x631 -x7987 -x7636 -x7285 -x6934 -x6583 -x6232 -x5881 -x5179 -x4828 -x4477 
332.52/332.61	v -x4126 -x3422 -x2375 -x2026 -x1677 -x1328 -x979 -x630 -x281 -x8337 -x2723 -x8336 -x4124 -x3773 -x3071 -x2722 -x8335 -x6580 
332.52/332.61	v -x6229 -x5878 -x5527 -x4123 -x3772 -x3070 -x2721 -x2372 -x2023 -x976 -x627 -x8334 -x4122 -x3771 -x3069 -x2720 -x3770 -x7981 
332.52/332.61	v -x7630 -x7279 -x6928 -x6577 -x6226 -x5875 -x5524 -x5173 -x4822 -x4471 -x4120 -x3417 -x2370 -x2021 -x1672 -x1323 -x974 -x625 
332.52/332.61	v -x276 -x8331 -x4119 -x3768 -x3067 -x2718 -x7979 -x7628 -x7277 -x6926 -x6575 -x6224 -x5873 -x5171 -x4820 -x4469 -x4118 -x3415 
332.52/332.61	v -x2368 -x2019 -x1670 -x1321 -x972 -x623 -x274 -x5521 -x3766 -x3065 -x2018 -x8328 -x4116 -x3765 -x3064 -x2715 -x8327 -x6572 -x6221 
332.52/332.61	v -x5870 -x5519 -x5168 -x4817 -x4466 -x4115 -x3764 -x3063 -x2714 -x2365 -x1667 -x969 -x620 -x271 -x7975 -x7624 -x7273 -x6922 
332.52/332.61	v -x6571 -x6220 -x5869 -x5518 -x5167 -x4816 -x4465 -x4114 -x3411 -x2713 -x2364 -x2015 -x1666 -x1317 -x968 -x619 -x270 -x7974 
332.52/332.61	v -x7623 -x7272 -x6921 -x5166 -x4815 -x4464 -x4113 -x3762 -x3410 -x3061 -x1665 -x1316 -x269 -x7973 -x7622 -x7271 -x6920 -x6569 
332.52/332.61	v -x6218 -x5867 -x5516 -x4112 -x3761 -x3409 -x3060 -x2711 -x2362 -x2013 -x1315 -x966 -x617 -x3760 -x3059 -x7971 -x7620 -x7269 
332.52/332.61	v -x6918 -x6567 -x6216 -x5865 -x5163 -x4812 -x4461 -x4110 -x3759 -x3407 -x3058 -x2360 -x2011 -x1662 -x1313 -x964 -x615 -x266 -x8321 
332.52/332.61	v -x7970 -x7619 -x7268 -x6917 -x6566 -x6215 -x5864 -x4109 -x3758 -x3406 -x3057 -x2708 -x2359 -x2010 -x1312 -x963 -x614 -x5161 
332.52/332.61	v -x4810 -x4459 -x3757 -x3056 -x1660 -x264 -x7968 -x7617 -x7266 -x6915 -x6564 -x6213 -x5862 -x5511 -x4107 -x3756 -x3404 -x3055 
332.52/332.61	v -x2706 -x2357 -x2008 -x1310 -x961 -x612 -x8318 -x3755 -x3054 -x2705 -x8317 -x4105 -x3754 -x3053 -x2704 -x8316 -x5508 -x4104 
332.52/332.61	v -x3753 -x3052 -x2703 -x8315 -x7964 -x7613 -x7262 -x6911 -x6560 -x6209 -x5858 -x5156 -x4805 -x4454 -x4103 -x3400 -x2702 -x2353 
332.52/332.61	v -x2004 -x1655 -x1306 -x957 -x608 -x259 -x8314 -x7963 -x7612 -x7261 -x6910 -x4102 -x3751 -x3399 -x3050 -x2701 -x1305 -x8313 
332.52/332.61	v -x7962 -x7611 -x7260 -x6909 -x6558 -x6207 -x5856 -x4101 -x3750 -x3398 -x3049 -x2700 -x2351 -x1304 -x955 -x606 -x8312 -x4100 
332.52/332.61	v -x3749 -x3048 -x2699 -x7960 -x7609 -x7258 -x6907 -x6556 -x6205 -x5854 -x5503 -x5152 -x4801 -x4450 -x4099 -x3396 -x2349 -x2000 
332.52/332.61	v -x1651 -x1302 -x953 -x604 -x255 -x8310 -x5502 -x3747 -x3046 -x2697 -x1999 -x8309 -x4097 -x3746 -x3045 -x2696 -x8308 -x7957 
332.52/332.61	v -x7606 -x7255 -x6904 -x6553 -x6202 -x5851 -x5149 -x4798 -x4447 -x4096 -x3393 -x2695 -x2346 -x1997 -x1648 -x1299 -x950 -x601 
332.52/332.61	v -x252 -x8307 -x6552 -x6201 -x5850 -x5499 -x4095 -x3744 -x3043 -x2694 -x2345 -x1996 -x949 -x600 -x8306 -x5498 -x4094 -x3743 -x3042 
332.52/332.61	v -x2693 -x1995 -x7954 -x7603 -x7252 -x6901 -x5146 -x4795 -x4444 -x4093 -x3742 -x3390 -x3041 -x1645 -x1296 -x249 -x8304 -x7953 
332.52/332.61	v -x7602 -x7251 -x6900 -x6549 -x6198 -x5847 -x5145 -x4794 -x4443 -x4092 -x3389 -x2691 -x2342 -x1993 -x1644 -x1295 -x946 -x597 
332.52/332.61	v -x248 -x3740 -x3039 -x8302 -x6547 -x6196 -x5845 -x5494 -x4090 -x3739 -x3038 -x2689 -x2340 -x1991 -x944 -x595 -x5142 -x4791 
332.52/332.61	v -x4440 -x4089 -x1641 -x245 -x6545 -x6194 -x5843 -x5492 -x4088 -x3737 -x3036 -x2338 -x1989 -x942 -x593 -x8299 -x4087 -x3736 
332.52/332.61	v -x3035 -x2686 -x6543 -x6192 -x5841 -x5490 -x4086 -x3735 -x3034 -x2336 -x1987 -x940 -x591 -x8297 -x7946 -x7595 -x7244 -x6893 -x6542 
332.52/332.61	v -x6191 -x5840 -x4085 -x3734 -x3382 -x3033 -x2684 -x2335 -x1288 -x939 -x590 -x8296 -x4084 -x3733 -x3032 -x2683 -x8295 -x5487 
332.52/332.61	v -x5136 -x4785 -x4434 -x3732 -x3031 -x2682 -x1984 -x1635 -x239 -x8294 -x7943 -x7592 -x7241 -x6890 -x4082 -x3731 -x3379 -x3030 
332.52/332.61	v -x2681 -x1285 -x4081 -x6537 -x6186 -x5835 -x5133 -x4782 -x4431 -x3729 -x3028 -x2330 -x1632 -x934 -x585 -x236 -x8291 -x7940 
332.52/332.61	v -x7589 -x7238 -x6887 -x6536 -x6185 -x5834 -x5483 -x4079 -x3728 -x3376 -x3027 -x2678 -x2329 -x1282 -x933 -x584 -x7938 -x7587 
332.52/332.61	v -x7236 -x6885 -x5481 -x5130 -x4779 -x4428 -x3726 -x3374 -x3025 -x1978 -x1629 -x1280 -x233 -x8288 -x3725 -x3024 -x2675 -x7936 
332.52/332.61	v -x7585 -x7234 -x6883 -x6532 -x6181 -x5830 -x3724 -x3372 -x3023 -x2325 -x1976 -x1278 -x929 -x580 -x7935 -x7584 -x7233 -x6882 
332.52/332.61	v -x6531 -x6180 -x5829 -x4074 -x3371 -x2673 -x2324 -x1975 -x1277 -x928 -x579 -x8285 -x4073 -x3722 -x3021 -x2672 -x7933 -x7582 
332.52/332.61	v -x7231 -x6880 -x6529 -x6178 -x5827 -x3721 -x3369 -x3020 -x2322 -x1973 -x1275 -x926 -x577 -x2670 -x8283 -x4071 -x3720 -x3018 -x2669 
332.52/332.61	v -x8282 -x7931 -x7580 -x7229 -x6878 -x6527 -x6176 -x5825 -x5474 -x3719 -x3366 -x3017 -x2668 -x2319 -x1970 -x1272 -x923 -x574 
332.52/332.61	v -x8281 -x7930 -x7579 -x7228 x6877 -x6526 -x6175 -x5824 -x5122 -x4771 -x4420 -x4069 -x3718 -x3365 -x3016 -x2667 -x2318 -x1620 
332.52/332.61	v -x1271 -x922 -x573 -x224 -x6525 -x6174 -x5823 -x5472 -x4068 -x2317 -x1968 -x921 -x572 -x8279 -x3716 -x3014 -x2665 -x8278 
332.52/332.61	v -x7927 -x7576 -x7225 -x6874 -x6523 -x6172 -x5821 -x3715 -x3362 -x3013 -x2664 -x2315 -x1966 -x1268 -x919 -x570 -x8277 -x5118 
332.52/332.61	v -x4767 -x4416 -x2663 -x1616 -x220 -x8276 -x4064 -x3713 -x3011 -x2662 -x8275 -x5116 -x4765 -x4414 -x2661 -x1614 -x218 -x5115 -x4764 
332.52/332.61	v -x4413 -x3711 -x3009 -x1613 -x217 -x8273 -x7922 -x7571 -x7220 -x6869 -x6518 -x6167 -x5816 -x4061 -x3357 -x2659 -x2310 -x1961 
332.52/332.61	v -x1263 -x914 -x565 -x7921 -x7570 -x7219 -x6868 -x6517 -x6166 -x5815 -x4060 -x3709 -x3356 -x3007 -x2309 -x1960 -x1262 -x913 
332.52/332.61	v -x564 -x8271 -x7920 -x7569 -x7218 -x6867 -x6516 -x6165 -x5814 -x5463 -x3355 -x2308 -x1959 -x1261 -x912 -x563 -x7919 -x7568 
332.52/332.61	v -x7217 -x6866 -x5111 -x4760 -x4409 -x3707 -x3354 -x3005 -x1609 -x1260 -x213 -x6514 -x6163 -x5812 -x4057 -x3706 -x3004 -x2655 
332.52/332.61	v -x2306 -x910 -x561 -x8268 -x7917 -x7566 -x7215 -x6864 -x6513 -x6162 -x5811 -x5460 -x3705 -x3352 -x3003 -x2305 -x1956 -x1258 
332.52/332.61	v -x909 -x560 -x6512 -x6161 -x5810 -x4055 -x3704 -x3002 -x2653 -x2304 -x908 -x559 -x8265 -x4053 -x3702 -x3000 -x2651 -x8264 -x3701 
332.52/332.61	v -x2999 -x2650 -x8263 -x7912 -x7561 -x7210 -x6859 -x3700 -x3347 -x2998 -x2649 -x1253 -x8262 -x7911 -x7560 -x7209 -x6858 -x4050 
332.52/332.61	v -x3699 -x3346 -x2997 -x2648 -x1252 -x8261 -x4049 -x3698 -x2996 -x2647 -x7909 -x7558 -x7207 -x6856 -x3344 -x1250 -x5100 
332.52/332.61	v -x4749 -x4398 -x3696 -x2994 -x1598 -x202 -x7907 -x7556 -x7205 -x6854 -x6503 -x6152 -x5801 -x5450 -x4046 -x3342 -x2295 -x1946 
332.52/332.61	v -x1248 -x899 -x550 -x6502 -x6151 -x5800 -x5449 -x5098 -x4747 -x4396 -x3694 -x2992 -x2294 -x1945 -x1596 -x898 -x549 -x200 -x8256 
332.52/332.61	v -x6501 -x6150 -x5799 -x5448 -x5097 -x4746 -x4395 -x3693 -x2991 -x2642 -x2293 -x1944 -x1595 -x897 -x548 -x199 -x8255 -x4043 
332.52/332.61	v -x3692 -x2990 -x2641 -x6499 -x6148 -x5797 -x5446 -x4042 -x2291 -x1942 -x895 -x546 -x8253 -x4041 -x3690 -x2988 -x2639 -x6497 
332.52/332.61	v -x6146 -x5795 -x5444 -x4040 -x2289 -x1940 -x893 -x544 -x8251 -x4039 -x3688 -x2986 -x2637 -x3687 -x2985 -x7898 -x7547 -x7196 -x6845 
332.52/332.61	v -x6494 -x6143 -x5792 -x5090 -x4739 -x4388 -x4037 -x3686 -x3333 -x2984 -x2286 -x1937 -x1588 -x1239 -x890 -x541 -x192 -x3685 
332.52/332.61	v -x2983 -x2634 -x6492 -x6141 -x5790 -x5439 -x4035 -x3684 -x2982 -x2633 -x2284 -x1935 -x888 -x539 -x8246 -x3683 -x2981 -x2632 
332.52/332.61	v -x6490 -x6139 -x5788 -x5437 -x5086 -x4735 -x4384 -x4033 -x3682 -x2980 -x2631 -x2282 -x1933 -x1584 -x886 -x537 -x188 -x8244 
332.52/332.61	v -x5436 -x3681 -x2979 -x2630 -x1932 -x8243 -x6488 -x6137 -x5786 -x5435 -x4031 -x2629 -x2280 -x1931 -x884 -x535 -x3679 -x2977 
332.52/332.61	v -x8241 -x2627 -x8240 -x2626 -x8239 -x6484 -x6133 -x5782 -x5431 -x4027 -x2625 -x2276 -x1927 -x880 -x531 -x3322 -x2624 -x1228 -x6483 
332.52/332.61	v -x6132 -x5781 -x5079 -x4728 -x4377 -x4026 -x3675 -x2972 -x2274 -x1925 -x1576 -x878 -x529 -x180 -x6482 -x6131 -x5780 -x5429 
332.52/332.61	v -x2273 -x1924 -x877 -x528 -x8236 -x5428 -x5077 -x4726 -x4375 -x3673 -x2970 -x2621 -x1923 -x1574 -x178 -x8235 -x6480 -x6129 
332.52/332.61	v -x5778 -x5076 -x4725 -x4374 -x3672 -x2969 -x2620 -x2271 -x1573 -x875 -x526 -x177 -x7883 -x7532 -x7181 -x6830 -x5075 -x4724 
332.52/332.61	v -x4373 -x4022 -x3317 -x1572 -x1223 -x176 -x8233 -x6478 -x6127 -x5776 -x5425 -x4021 -x2618 -x2269 -x1920 -x873 -x524 -x8232 -x7881 
332.52/332.61	v -x7530 -x7179 -x6828 -x3669 -x3315 -x2966 -x2617 -x1221 -x3668 -x8230 -x7879 -x7528 -x7177 -x6826 -x3667 -x3314 -x2965 -x2616 
332.52/332.61	v -x1220 -x7878 -x7527 -x7176 -x6825 -x6474 -x6123 -x5772 -x5421 -x4017 -x3666 -x3313 -x2964 -x2615 -x2266 -x1219 -x870 -x521 
332.52/332.61	v -x8228 -x7877 -x7526 -x7175 -x6824 -x3665 -x3312 -x2963 -x2614 -x1218 -x7876 -x7525 -x7174 -x6823 -x6472 -x6121 -x5770 -x4015 
332.52/332.61	v -x3311 -x2613 -x2264 -x1915 -x1217 -x868 -x519 -x8226 -x5067 -x4716 -x4365 -x3663 -x2961 -x2612 -x1565 -x169 -x8225 -x7874 
332.52/332.61	v -x7523 -x7172 -x6821 -x5066 -x4715 -x4364 -x4013 -x3309 -x2611 -x1564 -x1215 -x168 -x8224 -x3661 -x2959 -x2610 -x8223 -x7872 
332.52/332.61	v -x7521 -x7170 -x6819 -x3660 -x3307 -x2958 -x2609 -x1213 -x8222 -x7871 -x7520 -x7169 -x6818 -x6467 -x6116 -x5765 -x5414 -x3306 
332.52/332.61	v -x2608 -x2259 -x1910 -x1212 -x863 -x514 -x8221 -x4009 -x3658 -x2956 -x2607 -x8220 -x6465 -x6114 -x5763 -x5412 -x3657 -x2955 
332.52/332.61	v -x2606 -x2257 -x1908 -x861 -x512 -x7868 -x7517 -x7166 -x6815 -x6464 -x6113 -x5762 -x5060 -x4709 -x4358 -x4007 -x3656 -x3303 
332.52/332.61	v -x2954 -x2256 -x1558 -x1209 -x860 -x511 -x162 -x8218 -x4006 -x3655 -x2953 -x2604 -x8217 -x7866 -x7515 -x7164 -x6813 -x4005 
332.52/332.61	v -x3654 -x3301 -x2952 -x2603 -x1207 -x8216 -x4004 -x3653 -x2951 -x2602 -x8215 -x4003 -x3652 -x2950 -x2601 -x8214 -x7863 -x7512 
332.52/332.61	v -x7161 -x6810 -x5055 -x4704 -x4353 -x4002 -x3651 -x3298 -x2949 -x2600 -x1553 -x1204 -x157 -x7862 -x7511 -x7160 -x6809 -x6458 
332.52/332.61	v -x6107 -x5756 -x4001 -x3297 -x2599 -x2250 -x1901 -x1203 -x854 -x505 -x7861 -x7510 -x7159 -x6808 -x6457 -x6106 -x5755 -x5404 
332.52/332.61	v -x4000 -x3649 -x3296 -x2947 -x2598 -x2249 -x1202 -x853 -x504 -x8211 -x3999 -x3648 -x2946 -x2597 -x7859 -x7508 -x7157 -x6806 
332.52/332.61	v -x6455 -x6104 -x5753 -x5402 -x3998 -x3294 -x2247 -x1898 -x1200 -x851 -x502 -x5050 -x4699 -x4348 -x3997 -x3646 -x2944 -x1548 -x152 
332.52/332.61	v -x7857 -x7506 -x7155 -x6804 -x6453 -x6102 -x5751 -x5049 -x4698 -x4347 -x3996 -x3292 -x2245 -x1896 -x1547 -x1198 -x849 -x500 
332.52/332.61	v -x151 -x8207 -x7856 -x7505 -x7154 -x6803 -x3995 -x3291 -x2593 -x1197 -x8206 -x7855 -x7504 -x7153 -x6802 -x3643 -x3290 -x2941 
332.52/332.61	v -x2592 -x1196 -x8205 -x5046 -x4695 -x4344 -x3993 -x3642 -x2940 -x2591 -x1544 -x148 -x8204 -x6449 -x6098 -x5747 -x5396 -x3992 
332.52/332.61	v -x3641 -x2939 -x2241 -x1892 -x845 -x496 -x8203 -x6448 -x6097 -x5746 -x5395 -x3991 -x2589 -x2240 -x1891 -x844 -x495 -x8202 
332.52/332.61	v -x7851 -x7500 -x7149 x6798 -x6447 -x6096 -x5745 -x5394 -x5043 -x4692 -x4341 -x3990 -x3639 -x3286 -x2937 -x2588 x2239 -x1890 
332.52/332.61	v -x1541 -x1192 -x843 -x494 -x145 -x8201 -x3989 -x3638 -x2936 -x2587 -x8200 -x5041 -x4690 -x4339 -x3988 -x3637 -x2935 -x2586 -x1539 
332.52/332.61	v -x143 -x5039 -x4688 -x4337 -x1537 -x141 -x8197 -x3985 -x3634 -x2932 -x2583 -x8196 -x5037 -x4686 -x4335 -x3984 -x3633 -x2931 
332.52/332.61	v -x2582 -x1535 -x139 -x8195 -x7844 -x7493 -x7142 -x6791 -x3983 -x3632 -x3279 -x2930 -x2581 -x1185 -x8194 -x3982 -x3631 -x2929 
332.52/332.61	v -x2580 -x7842 -x7491 -x7140 -x6789 -x6438 -x6087 -x5736 -x5385 -x5034 -x4683 -x4332 -x3981 -x3630 -x3277 -x2928 -x2579 -x2230 
332.52/332.61	v -x1532 -x1183 -x834 -x485 -x136 -x8192 -x6437 -x6086 -x5735 -x5033 -x4682 -x4331 -x3980 -x2578 -x2229 -x1531 -x833 -x484 
332.52/332.61	v -x135 -x8191 -x3979 -x3628 -x2926 -x2577 -x5031 -x4680 -x4329 -x3978 -x3627 -x2925 -x1529 -x133 -x8189 -x7838 -x7487 -x7136 
332.52/332.61	v -x6785 -x3977 -x3626 -x3273 -x2924 -x2575 -x1179 -x8188 -x7837 -x7486 -x7135 -x6784 -x3976 -x3625 -x3272 -x2923 -x2574 -x1178 
332.52/332.61	v -x3975 -x8186 -x3623 -x2921 -x2572 -x8185 -x3973 -x3622 -x2920 -x2571 -x8184 -x7833 -x7482 -x7131 -x6780 -x6429 -x6078 -x5727 
332.52/332.61	v -x3972 -x3621 -x3268 -x2919 -x2570 -x2221 -x1872 -x1174 -x825 -x476 -x8183 -x5375 -x2569 -x1871 -x8182 -x7831 -x7480 -x7129 
332.52/332.61	v -x6778 -x5023 -x4672 -x4321 -x3970 -x3619 -x3266 -x2917 -x2568 -x1521 -x1172 -x125 -x8180 -x7829 -x7478 -x7127 -x6776 -x5372 
332.52/332.61	v -x3968 -x3264 -x2566 -x1868 -x1170 -x8179 -x7828 -x7477 -x7126 -x6775 -x3967 -x3616 -x3263 -x2914 -x2565 -x1169 -x8178 -x5019 
332.52/332.61	v -x4668 -x4317 -x3966 -x2564 -x1517 -x121 -x8177 -x3965 -x3614 -x2912 -x2563 -x8176 -x7825 -x7474 -x7123 -x6772 -x6421 -x6070 
332.52/332.61	v -x5719 -x3964 -x3260 -x2562 -x2213 -x1864 -x1166 -x817 -x468 -x8175 -x7824 -x7473 -x7122 -x6771 -x3259 -x2561 -x1165 -x8174 
332.52/332.61	v -x6419 -x6068 -x5717 -x5366 -x3611 -x2909 -x2560 -x2211 -x1862 -x815 -x466 -x7822 -x7471 -x7120 -x6769 -x6418 -x6067 -x5716 
332.52/332.61	v -x5365 -x5014 -x4663 -x4312 -x3961 -x3257 -x2210 -x1861 -x1512 -x1163 -x814 -x465 -x116 -x8172 -x2558 -x8171 -x7820 -x7469 -x7118 
332.52/332.61	v -x6767 -x3608 -x3255 -x2906 -x2557 -x1161 -x7819 -x7468 -x7117 -x6766 -x6415 -x6064 -x5713 -x5362 -x5011 -x4660 -x4309 -x3958 
332.52/332.61	v -x3254 -x2556 -x2207 -x1858 -x1509 -x1160 -x811 -x462 -x113 -x8169 -x7818 -x7467 -x7116 -x6765 -x3957 -x3606 -x3253 -x2904 
332.52/332.61	v -x2555 -x1159 -x7817 -x7466 -x7115 -x6764 -x6413 -x6062 -x5711 -x5360 -x5009 -x4658 -x4307 -x3956 -x3252 -x2205 -x1856 -x1507 
332.52/332.61	v -x1158 -x809 -x460 -x111 -x8167 -x5008 -x4657 -x4306 -x3604 -x2902 -x2553 -x1506 -x110 -x7815 -x7464 -x7113 -x6762 -x5007 
332.52/332.61	v -x4656 -x4305 -x3954 -x3250 -x1505 -x1156 -x109 -x5006 -x4655 -x4304 -x3953 -x3602 -x2900 -x1504 -x108 -x5005 -x4654 -x4303 
332.52/332.61	v -x3601 -x2899 -x2550 -x1503 -x107 -x8163 -x7812 -x7461 -x7110 -x6759 -x5004 -x4653 -x4302 -x3951 -x3600 -x3247 -x2898 -x2549 
332.52/332.61	v -x1502 -x1153 -x106 -x8162 -x3599 -x2897 -x2548 -x6406 -x6055 -x5704 -x3949 -x3598 -x2896 -x2198 -x802 -x453 -x8159 -x7808 -x7457 
332.52/332.61	v -x7106 -x6755 -x6404 -x6053 -x5702 -x5000 -x4649 -x4298 -x3947 -x8158 -x3946 -x3595 -x2894 -x2545 -x8157 -x7806 -x7455 
332.52/332.61	v -x7104 -x6753 -x6402 -x6051 -x5700 -x3945 -x3594 -x3242 -x2893 -x2544 -x2195 -x1846 -x1148 -x799 -x450 -x8156 -x3944 -x3593 -x2892 
332.52/332.61	v -x2543 -x8155 -x7804 -x7453 -x7102 -x6751 -x6400 -x6049 -x5698 -x3943 -x3592 -x3240 -x2891 -x2542 -x2193 -x1146 -x797 -x448 
332.52/332.61	v -x4994 -x4643 -x4292 -x3941 -x3590 -x2889 -x2540 -x1493 -x97 -x8152 -x3589 -x2888 -x2539 -x8151 -x3939 -x3588 -x2887 -x2538 
332.52/332.61	v -x6395 -x6044 -x5693 -x5342 -x2188 -x1839 -x792 -x443 -x8149 -x7798 -x7447 -x7096 -x6745 -x6394 -x6043 -x5692 -x4990 -x4639 
332.52/332.61	v -x4288 -x3937 -x3234 -x2536 -x2187 -x1489 -x1140 -x791 -x442 -x93 -x8147 -x7796 -x7445 -x7094 -x6743 -x5339 -x3935 -x3584 
332.52/332.61	v -x3232 -x2883 -x2534 -x1836 -x1138 -x8146 -x6391 -x6040 -x5689 -x3934 -x3583 -x2882 -x2533 -x2184 -x1835 -x788 -x439 -x3582 -x2881 
332.52/332.61	v -x8144 -x3932 -x3581 -x2880 -x2531 -x8143 -x7792 -x7441 -x7090 -x6739 -x6388 -x6037 -x5686 -x3931 -x3580 -x3228 -x2879 
332.52/332.61	v -x2530 -x2181 -x1832 -x1134 -x785 -x436 -x8142 -x7791 -x7440 -x7089 -x6738 -x4983 -x4632 -x4281 -x3930 -x3579 -x3227 -x2878 -x2529 
332.52/332.61	v -x1482 -x1133 -x86 -x8141 -x3929 -x3578 -x2877 -x2528 -x8140 -x7789 -x7438 -x7087 -x6736 -x6385 -x6034 -x5683 -x3928 -x3577 
332.52/332.61	v -x3225 -x2876 -x2527 -x2178 -x1131 -x782 -x433 -x7788 -x7437 -x7086 -x6735 -x6384 -x6033 -x5682 -x3927 -x3576 -x3224 -x2875 
332.52/332.61	v -x2526 -x2177 -x1828 -x1130 -x781 -x432 -x8138 -x7787 -x7436 -x7085 -x6734 -x3926 -x3575 -x3223 -x2874 -x2525 -x1129 -x8137 
332.52/332.61	v -x7786 -x7435 -x7084 -x6733 -x6382 -x6031 -x5680 -x5329 -x3925 -x3222 -x2524 -x2175 -x1826 -x1128 -x779 -x430 -x8136 -x6381 
332.52/332.61	v -x6030 -x5679 -x5328 -x3924 -x3573 -x2872 -x2523 -x2174 -x1825 -x778 -x429 -x8135 -x3923 -x3572 -x2871 -x2522 -x8134 -x3922 
332.52/332.61	v -x3571 -x2870 -x2521 -x8133 -x7782 -x7431 -x7080 -x6729 -x7781 -x7430 -x7079 -x6728 -x6377 -x6026 -x5675 -x5324 -x4973 -x4622 
332.52/332.61	v -x4271 -x3920 -x3569 -x3218 -x2869 -x2520 x2171 -x1822 -x1473 -x1124 -x775 -x426 -x77 -x8131 -x7780 -x7429 -x7078 -x6727 -x6376 
332.52/332.61	v -x6025 -x5674 -x5323 -x3919 -x3217 -x2519 -x2170 -x1821 -x1123 -x774 -x425 -x7779 -x7428 -x7077 -x6726 -x6375 -x6024 -x5673 
332.52/332.61	v -x5322 -x4971 -x4620 -x4269 -x3918 -x3216 -x2169 -x1820 -x1471 -x1122 -x773 -x424 -x75 -x8129 -x6374 -x6023 -x5672 -x5321 
332.52/332.61	v -x3917 -x2517 -x2168 -x1819 -x772 -x423 -x8128 -x3916 -x3565 -x2865 -x2516 -x8127 -x7776 -x7425 -x7074 -x6723 -x3915 -x3564 
332.52/332.61	v -x3213 -x2864 -x2515 -x1119 -x8126 -x7775 -x7424 -x7073 -x6722 -x3914 -x3563 -x3212 -x2863 -x2514 -x1118 -x8125 -x7774 -x7423 
332.52/332.61	v -x7072 -x6721 -x6370 -x6019 -x5668 -x4966 -x4615 -x4264 -x3913 -x3211 -x2513 -x2164 -x1815 -x1466 -x1117 -x768 -x419 -x70 -x8124 
332.52/332.61	v -x7773 -x7422 -x7071 -x6720 -x3912 -x3561 -x3210 -x2861 -x2512 -x1116 -x8123 -x7772 -x7421 -x7070 -x6719 -x6368 -x6017 -x5666 
332.52/332.61	v -x3911 -x3209 -x2511 -x2162 -x1813 -x1115 -x766 -x417 -x7771 -x7420 -x7069 -x6718 -x6367 -x6016 -x5665 -x5314 -x4963 -x4612 
332.52/332.61	v -x4261 -x3910 -x3208 -x2510 -x2161 -x1812 -x1463 -x1114 -x765 -x416 -x67 -x8121 -x4962 -x4611 -x4260 -x3909 -x3558 -x2858 
332.52/332.61	v -x2509 -x1462 -x66 -x7769 -x7418 -x7067 -x6716 -x6365 -x6014 -x5663 -x5312 -x4961 -x4610 -x4259 -x3908 -x3206 -x2508 -x2159 
332.52/332.61	v -x1810 -x1461 -x1112 -x763 -x414 -x65 -x8119 -x7768 -x7417 -x7066 -x6715 -x3907 -x3556 -x3205 -x2856 -x2507 -x1111 -x8118 -x3555 
332.52/332.61	v -x2855 -x2506 -x7766 -x7415 -x7064 -x6713 -x6362 -x6011 -x5660 -x4958 -x4607 -x4256 -x3905 -x8116 -x5308 -x3904 -x3553 -x2854 
332.52/332.61	v -x2505 -x8115 -x5307 -x3903 -x3552 -x2853 -x2504 -x8114 -x7763 -x7412 -x7061 -x6710 -x3902 -x3551 -x3201 -x2852 -x2503 
332.52/332.61	v -x1107 -x7762 -x7411 -x7060 -x6709 -x6358 -x6007 -x5656 -x5305 -x4954 -x4603 -x4252 -x3901 -x3200 -x2502 -x2153 -x1804 -x1455 
332.52/332.61	v -x1106 -x757 -x408 -x59 -x8112 -x7761 -x7410 -x7059 -x6708 -x6357 -x6006 -x5655 -x5304 -x4953 -x4602 -x4251 -x3199 -x2501 -x2152 
332.52/332.61	v -x1803 -x1454 -x1105 -x756 -x407 -x58 -x8111 -x3899 -x3548 -x2849 -x2500 -x8110 -x7759 -x7408 -x7057 -x6706 -x6355 -x6004 
332.52/332.61	v -x5653 -x4951 -x4600 -x4249 -x3898 -x3197 -x2499 -x2150 -x1801 -x1452 -x1103 -x754 -x405 -x56 -x7758 -x7407 -x7056 -x6705 -x6354 
332.52/332.61	v -x6003 -x5652 -x4950 -x4599 -x4248 -x3897 -x8108 -x7757 -x7406 -x7055 -x6704 -x3896 -x3545 -x3196 -x2847 -x2498 -x1102 
332.52/332.61	v -x7756 -x7405 -x7054 -x6703 -x3895 -x3544 -x3195 -x2846 -x1101 -x8106 -x3543 -x2845 -x2496 -x8105 -x6350 -x5999 -x5648 -x5297 
332.52/332.61	v -x3893 -x3542 -x2844 -x2495 -x2146 -x1797 -x750 -x401 -x8104 -x7753 -x7402 -x7051 -x6700 -x3892 -x3541 -x3192 -x2843 -x2494 
332.52/332.61	v -x1098 -x8103 -x7752 -x7401 -x7050 -x6699 -x3891 -x3540 -x3191 -x2842 -x2493 -x1097 -x7751 -x7400 -x7049 -x6698 -x3890 -x3539 
332.52/332.61	v -x3190 -x2841 -x1096 -x8101 -x7750 -x7399 -x7048 -x6697 -x6346 -x5995 -x5644 -x5293 -x3889 -x3189 -x2491 -x2142 -x1793 -x1095 
332.52/332.61	v -x746 -x397 -x8099 -x3536 -x2838 -x2489 -x6343 -x5992 -x5641 -x5290 -x2139 -x1790 -x743 -x394 -x8097 -x3885 -x3534 -x2836 -x2487 
332.52/332.61	v -x8096 -x7745 -x7394 -x7043 -x6692 -x4937 -x4586 -x4235 -x3184 -x2486 -x1439 -x1090 -x43 -x8095 -x2485 -x6339 -x5988 -x5637 
332.52/332.61	v -x3882 -x3531 -x2833 -x2135 -x1786 -x739 -x390 -x8093 -x6338 -x5987 -x5636 -x5285 -x3881 -x2483 -x2134 -x1785 -x738 -x389 
332.52/332.61	v -x8092 -x2482 -x7740 -x7389 -x7038 -x6687 -x4932 -x4581 -x4230 -x3528 -x3179 -x2830 -x1434 -x1085 -x38 -x8089 -x6334 -x5983 
332.52/332.61	v -x5632 -x3877 -x2479 -x2130 -x1781 -x734 -x385 -x7737 -x7386 -x7035 -x6684 -x6333 -x5982 -x5631 -x5280 -x4929 -x4578 -x4227 
332.52/332.61	v -x3876 -x3525 -x3176 -x2827 -x2129 -x1431 -x1082 -x733 -x384 -x35 -x7736 -x7385 -x7034 -x6683 -x6332 -x5981 -x5630 -x5279 -x4928 
332.52/332.61	v -x4577 -x4226 -x3875 -x3175 -x2477 -x2128 -x1430 -x1081 -x732 -x383 -x34 -x8086 -x3874 -x3523 -x2825 -x2476 -x6330 -x5979 
332.52/332.61	v -x5628 -x5277 -x4926 -x4575 -x4224 -x3522 -x2824 -x2126 -x1777 -x1428 -x730 -x381 -x32 -x6329 -x5978 -x5627 -x5276 -x4925 -x4574 
332.52/332.61	v -x4223 -x3521 -x2823 -x2125 -x1776 -x1427 -x729 -x380 -x31 -x8083 -x7732 -x7381 -x7030 -x6679 -x6328 -x5977 -x5626 -x4924 
332.52/332.61	v -x4573 -x4222 -x3871 -x3171 -x2473 -x2124 -x1775 -x1426 -x1077 -x728 -x379 -x30 -x7731 -x7380 -x7029 -x6678 -x4923 -x4572 -x4221 
332.52/332.61	v -x3870 -x3519 -x3170 -x2821 -x2472 -x1425 -x1076 -x29 -x7730 -x7379 -x7028 -x6677 -x6326 -x5975 -x5624 -x5273 -x4922 -x4571 
332.52/332.61	v -x4220 -x3869 -x3169 -x2471 -x2122 -x1773 -x1424 -x1075 -x726 -x377 -x28 -x7729 -x7378 -x7027 -x6676 -x3868 -x3168 -x2470 
332.52/332.61	v -x1074 -x5271 -x3867 -x3516 -x2818 -x8078 -x7727 -x7376 -x7025 -x6674 -x4919 -x4568 -x4217 -x3866 -x3515 -x3166 -x2817 -x1421 
332.52/332.61	v -x1072 -x25 -x8077 -x7726 -x7375 -x7024 -x6673 -x6322 -x5971 -x5620 -x5269 -x4918 -x4567 -x4216 -x3165 -x2467 -x2118 -x1769 
332.52/332.61	v -x1420 -x1071 -x722 -x373 -x24 -x8076 -x2466 -x8075 -x3863 -x3512 -x2814 -x2465 -x8074 -x3862 -x3511 -x2813 -x2464 -x8073 -x7722 
332.52/332.61	v -x7371 -x7020 -x6669 -x6318 -x5967 -x5616 -x5265 -x4914 -x4563 -x4212 -x3861 -x3161 -x2463 -x2114 -x1416 -x1067 -x718 -x369 
332.52/332.61	v -x20 -x7721 -x7370 -x7019 -x6668 -x6317 -x5966 -x5615 -x5264 -x4913 -x4562 -x4211 -x3860 -x3509 -x3160 -x2811 -x2462 x2113 
332.52/332.61	v -x1764 -x1415 -x1066 -x717 -x368 -x19 -x7720 -x7369 -x7018 -x6667 -x5263 -x4912 -x4561 -x4210 -x3508 -x3159 -x2810 -x1763 
332.52/332.61	v -x1414 -x1065 -x18 -x7719 -x7368 -x7017 -x6666 -x6315 -x5964 -x5613 -x5262 -x4911 -x4560 -x4209 -x3858 -x3158 -x2111 -x1762 -x1413 
332.52/332.61	v -x1064 -x715 -x366 -x17 -x8069 -x7718 -x7367 -x7016 -x6665 -x5261 -x4910 -x4559 -x4208 -x3506 -x3157 -x2808 -x1761 -x1412 
332.52/332.61	v -x1063 -x16 -x7717 -x7366 -x7015 -x6664 -x4909 -x4558 -x4207 -x3856 -x3505 -x3156 -x2807 -x1411 -x1062 -x15 -x8067 -x4908 
332.52/332.61	v -x4557 -x4206 -x3855 -x3504 -x2806 -x2457 -x1410 -x14 -x8066 -x3854 -x3503 -x2805 -x2456 -x8065 -x5257 -x3853 -x3502 -x2804 -x2455 
332.52/332.61	v -x8064 -x5256 -x3501 -x2803 -x2454 -x8063 -x7712 -x7361 -x7010 -x6659 -x6308 -x5957 -x5606 -x5255 -x4904 -x4553 -x4202 
332.52/332.61	v -x3500 -x3151 -x2802 -x2453 -x2104 -x1406 -x1057 -x708 -x359 -x10 -x5254 -x3850 -x1754 -x8061 -x5253 -x3498 -x2800 -x2451 -x1753 
332.52/332.61	v -x5251 -x4900 -x4549 -x4198 -x1402 -x6 -x8058 -x7707 -x7356 -x7005 -x6654 -x6303 -x5952 -x5601 -x3846 -x3495 -x3146 -x2797 
332.52/332.61	v -x2448 -x2099 -x1750 -x1052 -x703 -x354 -x7706 -x7355 -x7004 -x6653 -x6302 -x5951 -x5600 -x3145 -x2098 -x1749 -x1051 -x702 
332.52/332.61	v -x353 -x8056 -x6301 -x5950 -x5599 -x5248 -x3844 -x3493 -x2795 -x2446 -x2097 -x1748 -x701 -x352 -x6300 -x5949 -x5598 -x5247 -x3843 
332.52/332.61	v -x2096 -x1747 -x700 -x351 -x2793 x2095 -x8053 -x7702 x7351 -x7000 x3140 -x8052 -x7701 x7350 -x6999 -x5946 -x4191 -x3840 
332.52/332.61	v -x3488 -x3139 x2441 -x2092 -x1394 -x8051 -x7700 -x7349 -x6998 x6647 -x6296 -x5945 -x5594 -x5243 -x4892 -x4541 x3487 -x2440 -x2091 
332.52/332.61	v -x1742 -x1393 -x1044 -x695 -x346 x8401 -x8050 -x7699 -x7348 -x6997 x3486 -x1392 -x8049 -x7698 -x7347 -x6996 -x6645 -x6294 
332.52/332.61	v x5943 -x5241 -x4890 -x4539 -x4188 -x3837 x3485 -x3136 -x2438 -x1740 -x1391 -x1042 -x693 -x344 x6644 -x6293 -x5942 x2786 -x2437 
332.52/332.61	v -x1041 -x692 x5590 -x5239 -x4888 -x4537 -x1738 x342 -x8046 x7695 -x7344 -x6993 x2435 -x2086 -x1737 -x1039 -x690 -x341 -x8396 
332.52/332.61	v x3833 -x3132 x2783 -x8044 -x7693 x7342 -x6991 -x6640 -x6289 -x5938 -x5587 -x5236 -x4885 -x4534 -x3480 -x2433 -x2084 -x1735 
332.52/332.61	v -x1386 x1037 -x688 -x339 x8394 x2083 -x8393 -x6638 -x6287 -x5936 -x5585 x5234 -x2780 -x2431 -x2082 -x1035 x686 -x8392 -x8041 
332.52/332.61	v x7690 -x7339 -x6988 -x6637 -x6286 -x5935 -x5584 -x5233 -x4882 -x4531 -x4180 -x3477 -x2779 -x2430 -x2081 -x1732 -x1383 x1034 
332.52/332.61	v -x685 -x336 x6285 -x4179 x2778 -x8039 -x7688 -x7337 -x6986 x6635 -x6284 -x5933 -x5582 -x5231 -x4880 -x4529 x3475 -x2428 -x2079 
332.52/332.61	v -x1730 -x1381 -x1032 -x683 -x334 -x5581 x4177 -x3826 x3125 -x6633 -x6282 x5931 -x5229 -x4878 -x4527 -x2426 -x1728 -x1030 -x681 
332.52/332.61	v x332 -x8387 x3824 -x3123 x2774 x8035 -x7684 -x7333 -x6982 -x5227 -x4876 -x4525 -x3823 -x3471 -x3122 -x1726 -x1377 x330 -x8385 
332.52/332.61	v x3822 -x3121 x2772 x8033 -x7682 -x7331 -x6980 -x5576 -x5225 -x4874 -x4523 -x3469 -x1724 -x1375 x328 -x8032 -x7681 -x7330 
332.52/332.61	v -x6979 x5575 x3468 -x1374 -x8031 -x7680 -x7329 x6978 -x5574 -x5223 -x4872 -x4521 -x3467 -x1722 -x1373 x326 -x8030 -x7679 -x7328 
332.52/332.61	v -x6977 -x6626 -x6275 x5924 -x5573 -x3466 -x2419 -x2070 x1372 -x1023 -x674 x5572 -x8028 x7677 -x7326 -x6975 -x3816 -x3464 
332.52/332.61	v x3115 -x1370 -x5219 -x4868 -x4517 x4166 -x3815 -x3114 -x1718 x322 -x8026 -x7675 -x7324 -x6973 x3814 -x3462 -x3113 x1368 -x6621 
332.52/332.61	v -x6270 -x5919 -x5568 x4164 -x2414 -x2065 x1018 -x669 -x5216 -x4865 -x4514 x4163 -x1715 x319 -x6619 -x6268 -x5917 -x5566 -x5215 
332.52/332.61	v -x4864 x4513 -x2412 -x2063 -x1714 -x1016 x667 -x318 -x5565 x3810 -x3109 x2062 -x6617 -x6266 -x5915 x3809 -x3108 x2410 -x1014 
332.52/332.61	v -x665 -x8020 -x7669 -x7318 -x6967 -x5563 x3808 -x3456 -x3107 x1362 -x8019 -x7668 x7317 -x6966 -x6615 -x6264 -x5913 -x5562 
332.52/332.61	v -x5211 -x4860 -x4509 -x3455 -x2408 -x2059 -x1710 -x1361 x1012 -x663 -x314 x8018 -x7667 -x7316 -x6965 -x6614 -x6263 -x5912 -x5561 
332.52/332.61	v -x5210 -x4859 -x4508 -x4157 -x3806 -x3454 -x3105 -x2407 -x2058 -x1709 -x1360 -x1011 x662 -x313 -x8017 -x7666 x7315 -x6964 
332.52/332.61	v -x6613 -x6262 -x5911 -x5560 -x4156 -x3453 -x2406 -x2057 -x1359 -x1010 x661 x1707 -x311 -x8016 -x7665 -x7314 -x6963 -x6612 
332.52/332.61	v -x6261 -x5910 -x5559 -x5208 -x4857 x4506 -x4155 -x3451 -x2404 -x2055 -x1706 x1357 -x1008 -x659 -x310 -x6611 -x6260 -x5909 -x5558 
332.52/332.61	v x4154 -x3803 -x3101 x2403 -x2054 -x1007 -x658 -x8365 -x6610 -x6259 -x5908 -x5557 x4153 -x3802 -x3100 -x2751 -x2402 -x2053 
332.52/332.61	v x1006 -x657 -x8364 x3801 -x3099 x2750 x5554 -x5203 -x4852 -x4501 x1701 -x305 -x6606 -x6255 -x5904 -x5553 -x5202 -x4851 x4500 
332.52/332.61	v -x3798 -x3096 -x2398 -x2049 -x1700 x1002 -x653 -x304 -x8360 -x6254 -x5552 -x5201 x3797 -x3095 x2048 -x8359 x8008 -x7657 -x7306 
332.52/332.61	v -x6955 -x6604 -x6253 -x5902 -x5551 -x5200 -x4849 -x4498 -x3443 -x2396 -x2047 -x1698 -x1349 -x1000 x651 -x302 -x6602 -x6251 
332.52/332.61	v x5900 -x5198 -x4847 -x4496 -x2394 -x2045 -x1696 -x998 -x649 x300 -x8005 -x7654 -x7303 -x6952 -x6601 -x6250 x5899 -x5548 -x5197 
332.52/332.61	v -x4846 -x4495 -x3440 -x2393 -x2044 -x1695 x1346 -x997 -x648 -x299 -x8004 -x7653 -x7302 x6951 -x6600 -x6249 -x5898 -x5547 -x5196 
332.52/332.61	v -x4845 -x4494 -x3439 x2392 -x2043 -x1694 -x1345 -x996 -x647 -x298 x8003 -x7652 -x7301 -x6950 -x6599 -x6248 -x5897 -x5546 
332.52/332.61	v -x3438 x2391 -x2042 -x1344 -x995 -x646 -x3088 x2390 -x1692 -x994 -x645 -x296 x8002 -x7651 -x7300 -x6949 -x6598 -x6247 -x5896 
332.52/332.61	v -x5545 -x5194 -x4843 -x4492 -x3436 -x2389 -x2040 -x1691 -x1342 x993 -x644 -x295 x8352 -x5193 -x4842 -x4491 x1690 -x294 -x8351 
332.52/332.61	v x8000 -x7649 -x7298 -x6947 -x3434 x2736 -x1340 x8350 -x8349 -x7998 -x7647 -x7296 x6945 -x5190 -x4839 -x4488 -x3432 -x2734 
332.52/332.61	v -x1687 -x1338 x291 x8348 -x6592 -x6241 -x5890 -x5539 x4135 -x3784 -x3082 -x2384 -x2035 x988 -x639 -x6591 -x6240 -x5889 -x5538 
332.52/332.61	v x4134 x2383 -x2034 -x987 -x638 -x8345 -x5537 x2731 -x7993 -x7642 -x7291 -x6940 x3781 -x3428 -x3079 x1334 -x7992 -x7641 -x7290 
332.52/332.61	v -x6939 x5184 -x4833 -x4482 x3427 -x1682 -x1333 -x286 -x7991 -x7640 -x7289 -x6938 x5534 x3426 -x1332 -x8341 -x7990 -x7639 x7288 
332.52/332.61	v -x6937 -x5533 -x3425 x2727 -x1331 -x7989 -x7638 -x7287 x6936 -x5181 -x4830 -x4479 -x4128 -x3424 x1679 -x1330 -x283 -x7988 
332.52/332.61	v -x7637 -x7286 -x6935 x5180 -x4829 -x4478 x3423 -x1678 -x1329 -x282 x8338 -x5530 -x3775 x3073 -x6582 -x6231 -x5880 -x5178 x4827 
332.52/332.61	v -x4476 -x3774 -x3072 -x2374 -x2025 -x1676 x978 -x629 -x280 -x7985 -x7634 x7283 -x6932 -x6581 -x6230 -x5879 -x5528 -x5177 -x4826 
332.52/332.61	v -x4475 -x3420 -x2373 -x2024 -x1675 -x1326 x977 -x628 -x279 -x7984 -x7633 -x7282 -x6931 -x5176 -x4825 x4474 -x3419 -x1674 
332.52/332.61	v x1325 -x278 -x7983 -x7632 -x7281 x6930 -x6579 -x6228 -x5877 -x5526 -x5175 -x4824 -x4473 -x3418 x2371 -x2022 -x1673 -x1324 -x975 
332.52/332.61	v -x626 -x277 -x6578 x6227 -x5876 -x4121 -x8332 x3769 -x3068 x2719 x7980 -x7629 -x7278 -x6927 -x6576 -x6225 -x5874 -x3416 
332.52/332.61	v -x2369 -x1322 -x973 x624 x8330 -x5522 -x7978 -x7627 -x7276 -x6925 -x5170 -x4819 -x4468 x4117 x3414 -x1669 -x1320 -x273 -x6573 
332.52/332.61	v -x6222 x5871 -x5169 -x4818 -x4467 -x2366 -x1668 -x970 -x621 x272 -x7976 -x7625 -x7274 x6923 -x3412 x2016 -x1318 x8326 -x3763 
332.52/332.61	v x3062 -x8325 -x6570 -x6219 x5868 -x5517 x2712 -x2363 -x2014 -x967 -x618 x8324 -x5165 -x4814 -x4463 -x1664 x268 x7972 -x7621 
332.52/332.61	v -x7270 -x6919 -x6568 -x6217 -x5866 -x5164 -x4813 -x4462 -x3408 -x2361 -x1663 -x1314 x965 -x616 -x267 -x8322 x5514 x2709 x5513 
332.52/332.61	v -x5162 -x4811 -x4460 x1661 -x265 -x8320 -x5512 x2707 x8319 -x5160 -x4809 -x4458 x1659 -x263 -x5159 -x4808 -x4457 -x1658 x262 
332.52/332.61	v -x7966 x7615 -x7264 -x6913 -x6562 -x6211 -x5860 -x5509 -x3402 -x2355 -x2006 -x1308 -x959 x610 -x5157 x4806 -x4455 x2005 -x1656 
332.52/332.61	v -x260 x5507 -x3752 x3051 -x6559 -x6208 -x5857 -x5506 -x5155 -x4804 x4453 x2352 -x2003 -x1654 -x956 -x607 -x258 -x5505 x5154 
332.52/332.61	v -x4803 -x4452 x2002 -x1653 -x257 x6557 -x6206 -x5855 -x5504 -x2350 -x2001 -x954 -x605 x8311 -x3748 x3047 -x7959 -x7608 -x7257 
332.52/332.61	v -x6906 -x6555 -x6204 x5853 -x5151 -x4800 -x4449 -x4098 x3395 -x2348 -x1650 -x1301 -x952 -x603 -x254 -x7958 -x7607 -x7256 x6905 
332.52/332.61	v -x6554 -x6203 -x5852 -x5501 -x5150 -x4799 -x4448 -x3394 -x2347 -x1998 -x1649 -x1300 -x951 x602 -x253 x5500 -x3745 x3044 
332.52/332.61	v -x7956 -x7605 x7254 -x6903 -x5148 -x4797 -x4446 -x3392 -x1647 -x1298 x251 -x7955 -x7604 -x7253 -x6902 -x6551 -x6200 -x5849 -x5147 
332.52/332.61	v x4796 -x4445 -x3391 x2344 -x1646 -x1297 -x948 -x599 -x250 -x8305 -x5497 x2692 x5496 -x3741 x3040 -x8303 -x7952 x7601 -x7250 
332.52/332.61	v -x6899 -x5144 -x4793 -x4442 -x3388 x1643 -x1294 -x247 -x7951 -x7600 x7249 -x6898 -x5143 -x4792 -x4441 -x3387 -x1642 -x1293 
332.52/332.61	v x246 -x8301 x5844 -x5493 x2688 -x1990 -x8300 -x7949 -x7598 x7247 -x6896 -x5141 -x4790 -x4439 -x3385 -x2687 x1640 -x1291 -x244 
332.52/332.61	v -x7948 x7597 -x7246 -x6895 -x6544 -x6193 -x5842 -x5491 -x3384 -x2337 -x1988 -x1290 x941 -x592 -x8298 -x7947 x7596 -x7245 -x6894 
332.52/332.61	v -x5139 -x4788 -x4437 -x3383 -x2685 x1638 -x1289 -x242 -x5489 x1986 x6190 -x5137 x7944 -x7593 -x7242 -x6891 -x6540 -x6189 
332.52/332.61	v -x5838 -x4083 -x3380 -x2333 -x1286 -x937 x588 -x5135 -x4784 x4433 x1983 -x1634 -x238 -x8292 -x5484 -x2679 x1981 -x5132 x4781 
332.52/332.61	v -x4430 x1980 -x1631 -x235 -x8290 -x3727 x3026 -x8289 -x6534 -x6183 -x5832 x4077 -x2676 x2327 -x931 -x582 -x7937 x7586 -x7235 
332.52/332.61	v -x6884 -x6533 -x6182 -x5831 -x5129 -x4778 -x4427 -x4076 -x3373 -x2326 -x1628 -x1279 -x930 x581 -x232 x8287 -x5128 -x4777 -x4426 
332.52/332.61	v -x1627 x231 -x8286 -x5478 -x5127 -x4776 -x4425 x3723 -x3022 x1626 -x230 -x7934 x7583 -x7232 -x6881 -x6530 -x6179 -x5828 
332.52/332.61	v -x5477 -x5126 -x4775 -x4424 -x3370 x2323 -x1974 -x1625 -x1276 -x927 -x578 -x229 x8284 -x5125 -x4774 -x4423 -x1624 x228 -x3368 
332.52/332.61	v -x1623 x1274 -x227 -x7932 -x7581 -x7230 x6879 -x6528 -x6177 -x5826 -x5475 -x5124 -x4773 -x4422 -x3367 -x2320 -x1971 -x1622 -x1273 
332.52/332.61	v -x924 x575 -x226 -x5123 -x4772 -x4421 x4070 -x1621 x225 -x5473 x1969 -x8280 -x7929 -x7578 -x7227 -x6876 -x5121 -x4770 x4419 
332.52/332.61	v -x3717 x3364 -x3015 -x2666 -x1619 -x1270 -x223 x6173 -x5120 -x5470 -x5119 -x4768 -x4417 x4066 x1617 -x221 -x7926 -x7575 
332.52/332.61	v x7224 -x6873 -x6522 -x6171 -x5820 -x5469 -x3361 -x2314 -x1965 -x1267 -x918 x569 -x7925 -x7574 -x7223 x6872 -x5117 -x4766 -x4415 
332.52/332.61	v -x3360 x1615 -x1266 -x219 x6169 -x3712 x3010 -x7923 -x7572 -x7221 -x6870 x5817 x3358 -x1264 -x5465 -x3710 x3008 -x8272 -x5464 
332.52/332.61	v -x5113 x4762 -x4411 x2658 -x1611 -x215 -x5112 x4761 -x4410 x2657 -x1610 -x214 -x6515 -x6164 -x5813 x5462 -x2307 -x1958 x911 
332.52/332.61	v -x562 -x8269 -x5461 -x5110 -x4759 x4408 x1957 -x1608 -x212 -x5109 -x4758 -x4407 x4056 -x2654 -x1607 x211 -x8267 -x5459 x5108 
332.52/332.61	v -x4757 -x4406 x1955 -x1606 -x210 -x6862 -x6511 -x6160 x5809 -x5458 -x5107 -x2303 -x1954 x1256 -x209 -x7914 -x7563 -x7212 x6861 
332.52/332.61	v -x6510 -x6159 -x5808 -x5106 -x4755 -x4404 -x3349 -x2302 -x1953 -x1604 -x1255 -x906 x557 -x208 -x5105 -x4754 -x4403 x1603 
332.52/332.61	v -x207 -x6508 -x6157 -x5806 -x5455 -x5104 -x4753 x4402 -x4051 -x2300 -x1951 -x1602 -x904 x555 -x206 -x6507 -x6156 -x5805 -x5454 
332.52/332.61	v -x5103 -x4752 x4401 -x2299 -x1950 -x1601 x903 -x554 -x205 -x7910 x7559 -x7208 -x6857 -x6506 -x6155 -x5804 -x5453 -x5102 -x4751 
332.52/332.61	v -x4400 -x3345 -x2298 -x1949 -x1600 -x1251 -x902 x553 -x204 -x8260 -x6505 -x6154 -x5803 -x5452 -x5101 -x4750 x4399 -x2646 
332.52/332.61	v x2297 -x1948 -x1599 -x901 -x552 -x203 -x8259 -x7908 x7557 -x7206 -x6855 -x3343 x2645 -x1249 -x8258 -x5099 x4748 -x4397 -x3695 
332.52/332.61	v x2993 -x2644 -x1597 -x201 -x8257 x7906 -x7555 -x7204 -x6853 -x3341 x2643 -x1247 -x7905 -x7554 -x7203 -x6852 x4044 -x3340 x1246 
332.52/332.61	v -x7904 -x7553 x7202 -x6851 -x6500 -x6149 -x5798 -x5447 -x5096 -x4745 -x4394 -x3339 x2292 -x1943 -x1594 -x1245 -x896 -x547 
332.52/332.61	v -x198 -x7903 -x7552 -x7201 -x6850 -x5095 -x4744 x4393 x3338 -x1593 -x1244 -x197 -x7902 -x7551 -x7200 x6849 -x6498 -x6147 -x5796 
332.52/332.61	v -x5445 -x5094 -x4743 -x4392 -x3337 x2290 -x1941 -x1592 -x1243 -x894 -x545 -x196 -x7901 -x7550 -x7199 x6848 -x5093 -x4742 
332.52/332.61	v -x4391 -x3336 x1591 -x1242 -x195 -x7900 -x7549 x7198 -x6847 -x6496 -x6145 -x5794 -x5443 -x5092 -x4741 -x4390 -x3335 x2288 -x1939 
332.52/332.61	v -x1590 -x1241 -x892 -x543 -x194 x6495 -x6144 -x5793 -x5442 -x2287 -x1938 -x891 -x542 -x8249 -x8248 -x7897 -x7546 -x7195 -x6844 
332.52/332.61	v -x6493 -x6142 -x5791 -x5440 -x5089 x4738 -x4387 -x4036 -x3332 -x2285 -x1936 -x1587 -x1238 x889 -x540 -x191 -x8247 x7896 
332.52/332.61	v -x5088 -x4737 -x4386 x1586 -x190 -x7895 -x7544 -x7193 -x6842 -x6491 -x6140 x5789 -x5438 -x4034 -x3330 -x2283 -x1934 x1236 -x887 
332.52/332.61	v -x538 x8245 -x7894 -x7543 -x7192 -x6841 x3329 -x1235 -x7893 -x7542 -x7191 x6840 -x6489 -x6138 -x5787 -x5085 -x4734 -x4383 
332.52/332.61	v -x4032 -x3328 x2281 -x1583 -x1234 -x885 -x536 -x187 -x7892 -x7541 -x7190 -x6839 -x5084 -x4733 x4382 -x3327 -x1582 x1233 -x186 
332.52/332.61	v -x7888 -x7537 -x7186 x6835 -x5080 -x4729 -x4378 -x3676 -x3323 -x2974 -x1578 -x1229 x182 -x2973 x2275 -x1926 -x1577 -x879 -x530 
332.52/332.61	v -x181 -x8238 -x7887 x7536 -x7185 -x6834 -x5430 -x3321 x2623 -x1227 -x7885 -x7534 -x7183 -x6832 -x6481 x6130 -x5779 -x4024 
332.52/332.61	v x3319 -x2272 -x1225 -x876 -x527 x7884 -x7533 -x7182 -x6831 -x5427 -x4023 -x3318 x1922 -x1224 -x6479 -x6128 -x5777 x5426 -x2270 
332.52/332.61	v -x1921 x874 -x525 -x5074 -x4723 -x4372 x3670 -x2967 x1571 -x175 -x6477 -x6126 -x5775 -x5424 -x5073 -x4722 x4371 x2268 -x1919 
332.52/332.61	v -x1570 -x872 -x523 -x174 -x5423 x4721 -x6475 -x6124 -x5773 -x5422 -x5071 -x4720 x4369 x2267 -x1918 -x1569 -x871 -x522 -x173 
332.52/332.61	v -x8229 x1917 -x6473 -x6122 -x5771 -x5420 x5069 -x4718 -x4367 -x4016 -x2265 -x1916 -x1567 x869 -x520 -x171 -x8227 -x5419 -x5068 
332.52/332.61	v -x4717 -x4366 x3664 -x2962 x1566 -x170 -x7875 -x7524 -x7173 x6822 -x6471 -x6120 -x5769 -x5418 -x4014 -x3310 x2263 -x1914 
332.52/332.61	v -x1216 -x867 -x518 -x6470 -x6119 -x5768 -x5417 x3662 -x2960 x2262 -x1913 -x866 -x517 -x6469 -x6118 -x5767 -x5416 x2261 -x1912 
332.52/332.61	v -x865 -x516 -x6468 -x6117 -x5766 -x5415 -x5064 -x4713 x4362 x2260 -x1911 -x1562 -x864 -x515 -x166 -x5063 x4712 -x4361 -x4010 
332.52/332.61	v -x3659 x2957 -x1561 -x165 -x7870 -x7519 -x7168 -x6817 -x6466 -x6115 -x5764 -x5413 -x5062 -x4711 x4360 -x3305 -x2258 -x1909 -x1560 
332.52/332.61	v x1211 -x862 -x513 -x164 -x7869 x7518 -x7167 -x6816 -x5061 -x4710 -x4359 -x4008 -x3304 -x1559 -x1210 x163 x8219 -x5411 -x2605 
332.52/332.61	v x1907 x6462 -x6111 -x5760 -x5409 -x2254 -x1905 -x858 -x509 -x7865 -x7514 -x7163 -x6812 x6461 -x6110 -x5759 -x5408 -x5057 
332.52/332.61	v -x4706 -x4355 -x3300 -x2253 -x1904 -x1555 x1206 -x857 -x508 -x159 -x7864 -x7513 -x7162 -x6811 x3299 -x1205 -x6459 -x6108 -x5757 
332.52/332.61	v x5406 x2251 -x1902 -x855 -x506 -x8213 -x5405 -x5054 -x4703 -x4352 x3650 -x2948 x1552 -x156 -x8212 -x5053 x4702 -x4351 x1900 
332.52/332.61	v -x1551 -x155 x7860 -x7509 -x7158 -x6807 -x6456 -x6105 -x5754 -x5403 -x5052 -x4701 -x4350 -x3295 -x2248 -x1899 -x1550 -x1201 
332.52/332.61	v -x852 x503 -x154 -x8210 x3647 -x2945 x2596 x6454 -x6103 -x5752 -x5401 -x2246 -x1897 -x850 -x501 -x8208 -x5400 x3645 -x2943 
332.52/332.61	v x2594 -x6452 -x6101 x5750 -x5399 -x3644 x2942 -x2244 -x1895 -x848 -x499 -x6451 -x6100 -x5749 -x5398 x3994 x2243 -x1894 -x847 
332.52/332.61	v -x498 -x7854 -x7503 -x7152 -x6801 -x6450 x6099 -x5748 -x5397 -x3289 -x2242 -x1893 x1195 -x846 -x497 x5045 -x4694 -x4343 x2590 
332.52/332.61	v -x1543 -x147 -x7852 -x7501 -x7150 -x6799 x5044 -x4693 -x4342 -x3640 -x3287 -x2938 -x1542 x1193 -x146 x7850 -x7499 -x7148 -x6797 
332.52/332.61	v -x5393 -x5042 -x4691 -x4340 -x3285 x1540 -x1191 -x144 -x7849 x7498 -x7147 -x6796 -x6445 -x6094 -x5743 -x5392 -x3284 -x2237 
332.52/332.61	v -x1888 -x1190 x841 -x492 -x5742 -x5040 x4689 -x4338 -x3636 -x2934 -x2236 x1887 -x1538 -x142 -x7847 -x7496 -x7145 -x6794 x3635 
332.52/332.61	v x3282 -x2933 -x1188 -x7846 -x7495 -x7144 -x6793 -x6442 -x6091 x5740 -x5389 -x3281 -x2234 -x1885 x1187 -x838 -x489 -x7845 
332.52/332.61	v -x7494 x7143 -x6792 -x6441 -x6090 -x5739 -x5388 -x3280 -x2233 -x1884 -x1186 -x837 x488 -x6440 -x6089 -x5738 -x5387 x5036 -x4685 
332.52/332.61	v -x4334 -x2232 -x1883 -x1534 x836 -x487 -x138 -x7843 x7492 -x7141 -x6790 -x6439 -x6088 -x5737 -x5386 -x5035 -x4684 -x4333 -x3278 
332.52/332.61	v -x2231 -x1882 -x1533 -x1184 -x835 -x486 x137 x8193 x1881 -x7841 x7490 -x7139 -x6788 -x5384 -x3276 x1880 -x1182 -x7840 -x7489 
332.52/332.61	v -x7138 -x6787 -x6436 x6085 -x5734 -x5383 -x5032 -x4681 -x4330 -x3275 -x2228 -x1879 x1530 -x1181 -x832 -x483 -x134 -x8190 
332.52/332.61	v -x7839 -x7488 -x7137 -x6786 -x6435 -x6084 x5733 -x5382 -x3274 -x2576 -x2227 -x1878 x1180 -x831 -x482 x5381 -x5030 -x4679 -x4328 
332.52/332.61	v x1528 -x132 -x6433 -x6082 -x5731 -x5380 x5029 -x4678 -x4327 -x2225 -x1876 -x1527 x829 -x480 -x131 -x7836 -x7485 -x7134 -x6783 
332.52/332.61	v x3624 x3271 -x2922 -x1177 -x7484 -x6431 x6080 -x5729 -x5378 -x5027 -x4676 -x4325 -x2223 -x1874 -x1525 -x827 -x478 x129 
332.52/332.61	v -x5377 x1873 x5376 -x5025 -x4674 -x4323 x1523 -x127 -x7832 -x7481 -x7130 -x6779 -x6428 -x6077 -x5726 x5024 -x4673 -x4322 -x3971 
332.52/332.61	v -x3620 -x3267 -x2918 -x2220 -x1522 x1173 -x824 -x475 -x126 -x6427 -x6076 -x5725 x5374 -x2219 -x1870 -x823 x474 -x8181 -x7830 
332.52/332.61	v -x7479 -x7128 -x6777 x3969 x3265 -x1171 -x6425 -x6074 -x5723 -x5021 -x4670 x4319 -x3617 -x2915 -x2217 -x1519 x821 -x472 -x123 
332.52/332.61	v -x5371 -x5020 -x4669 -x4318 x1518 -x122 -x7827 -x7476 -x7125 -x6774 x6423 -x6072 -x5721 -x5370 -x3615 x3262 -x2913 -x2215 
332.52/332.61	v -x1866 -x1168 -x819 -x470 -x5369 x1865 -x5368 -x3613 x2911 -x6420 -x6069 -x5718 -x5367 -x5016 -x4665 x4314 -x3963 -x3612 -x2910 
332.52/332.61	v -x2212 -x1863 -x1514 x816 -x467 -x118 -x7823 -x7472 -x7121 -x6770 x3962 -x3258 x1164 x8173 -x3610 x2908 -x5364 -x5013 -x4662 
332.52/332.61	v -x4311 x1511 -x115 x5012 -x4661 -x4310 x1859 -x1510 -x114 x8170 -x3607 x2905 x6414 -x6063 -x5712 -x5361 -x5010 -x4659 -x4308 
332.52/332.61	v -x2206 -x1857 -x1508 -x810 -x461 x112 -x8168 x3605 -x2903 x2554 -x7816 -x7465 -x7114 -x6763 -x6412 x6061 -x5710 -x5359 -x3955 
332.52/332.61	v x3251 -x2204 -x1855 -x1157 -x808 -x459 -x8166 x6411 -x6060 -x5709 -x5358 -x3603 -x2901 x2552 -x2203 -x1854 -x807 -x458 -x8165 
332.52/332.61	v -x5357 x2551 -x7813 -x7462 -x7111 -x6760 -x6409 x6058 -x5707 -x3248 -x2201 x1154 -x805 -x456 -x6408 -x6057 -x5706 x5355 
332.52/332.61	v -x2200 -x1851 -x804 x455 -x5003 -x4652 -x4301 x3950 x1501 -x105 x5002 -x4651 -x4300 x1849 -x1500 -x104 -x7809 -x7458 -x7107 
332.52/332.61	v -x6756 -x6405 x6054 -x5703 -x3244 -x2197 x1150 -x801 -x452 -x5351 x3596 -x6403 x6052 -x5701 -x4999 -x4648 -x4297 -x2196 -x1498 
332.52/332.61	v -x800 -x451 x102 x5349 -x4998 -x4647 -x4296 -x1497 x101 -x7805 -x7454 -x7103 -x6752 x6401 -x6050 -x5699 x3241 -x2194 -x1147 
332.52/332.61	v -x798 -x449 -x5347 -x4996 -x4645 x4294 x1844 -x1495 -x99 -x7802 -x7451 -x7100 x6749 -x6398 -x6047 -x5696 -x3238 -x2191 -x1144 
332.52/332.61	v x795 -x446 -x4993 -x4642 -x4291 x3940 x1492 -x96 x6396 -x6045 -x5694 -x4992 -x4641 -x4290 -x2189 -x1491 -x793 -x444 x95 -x8150 
332.52/332.61	v -x7799 -x7448 -x7097 -x6746 -x4991 -x4640 x4289 -x3938 -x3587 -x3235 -x2886 -x2537 -x1490 x1141 -x94 -x5341 x3586 -x2885 
332.52/332.61	v x1838 -x7797 -x7446 -x7095 -x6744 x6393 -x6042 -x5691 -x3233 -x2186 x1139 -x790 -x441 -x6392 -x6041 x5690 -x4988 -x4637 -x4286 
332.52/332.61	v -x2185 x1487 -x789 -x440 -x91 -x5338 -x4987 -x4636 -x4285 x1486 -x90 -x7794 -x7443 -x7092 -x6741 x3933 x3230 -x1136 -x7793 
332.52/332.61	v -x7442 -x7091 -x6740 -x4985 x4634 -x4283 -x3229 -x1484 x1135 -x88 x5335 -x4984 -x4633 -x4282 x1483 -x87 -x6387 -x6036 -x5685 
332.52/332.61	v x5334 x2180 -x1831 -x784 -x435 -x7790 x7439 -x7088 -x6737 -x6386 -x6035 -x5684 -x4982 -x4631 -x4280 -x3226 -x2179 -x1830 -x1481 
332.52/332.61	v -x1132 -x783 -x434 x85 -x5332 -x4981 -x4630 x4279 x1829 -x1480 -x84 x8139 -x5331 -x4980 -x4629 -x4278 x1479 -x83 x6383 -x6032 
332.52/332.61	v -x5681 -x5330 -x4979 -x4628 -x4277 -x2176 -x1827 x1478 -x780 -x431 -x82 -x4978 x4627 -x4276 -x3574 x2873 -x1477 -x81 -x7785 
332.52/332.61	v -x7434 -x7083 -x6732 -x4977 -x4626 x4275 x3221 -x1476 -x1127 -x80 -x7784 -x7433 -x7082 -x6731 x6380 -x6029 -x5678 x3220 -x2173 
332.52/332.61	v -x1126 -x777 -x428 x7783 -x7432 -x7081 -x6730 -x4975 -x4624 -x4273 -x3219 x1474 -x1125 -x78 -x6378 -x6027 -x5676 -x5325 
332.52/332.61	v -x4974 x4623 -x4272 -x3921 -x3570 x8132 -x4972 x4621 -x4270 -x3568 x2868 -x1472 -x76 x8130 -x3567 x2867 x4970 -x4619 -x4268 -x3566 
332.52/332.61	v x2866 -x1470 -x74 -x7777 -x7426 -x7075 -x6724 -x6373 -x6022 x5671 -x5320 -x4969 -x4618 -x4267 x3214 -x2167 -x1818 -x1469 
332.52/332.61	v -x1120 -x771 -x422 -x73 -x6372 -x6021 -x5670 -x5319 -x4968 -x4617 x4266 x2166 -x1817 -x1468 -x770 -x421 -x72 -x6371 -x6020 
332.52/332.61	v x5669 -x5318 -x4967 -x4616 -x4265 -x2165 -x1816 -x1467 -x769 -x420 x71 x5317 -x3562 x2862 -x5316 -x4965 -x4614 x4263 -x1465 -x69 
332.52/332.61	v -x5315 -x4964 -x4613 -x4262 x3560 -x2860 x1464 -x68 x8122 -x3559 x2859 -x7770 -x7419 -x7068 -x6717 -x6366 x6015 -x5664 -x5313 
332.52/332.61	v x3207 -x2160 -x1811 -x1113 -x764 -x415 x8120 -x3557 x2857 -x6364 -x6013 -x5662 x5311 -x2158 -x1809 -x762 x413 -x5310 -x4959 
332.52/332.61	v -x4608 -x4257 -x1459 x63 -x8117 -x5309 x3554 -x7765 -x7414 -x7063 -x6712 -x6361 -x6010 x5659 -x4957 -x4606 -x4255 x3203 -x2156 
332.52/332.61	v -x1807 -x1458 -x1109 -x760 -x411 -x62 -x7764 -x7413 x7062 -x6711 -x6360 -x6009 -x5658 -x4956 -x4605 -x4254 -x3202 -x2155 
332.52/332.61	v -x1806 -x1457 -x1108 x759 -x410 -x61 -x6359 x6008 -x5657 -x5306 -x4955 -x4604 -x4253 -x2154 -x1805 -x1456 -x758 -x409 x60 x8113 
332.52/332.61	v -x3550 x2851 x3900 -x3549 x2850 -x7760 -x7409 -x7058 -x6707 -x6356 -x6005 -x5654 -x5303 -x4952 x4601 -x4250 x3198 -x2151 
332.52/332.61	v -x1802 -x1453 -x1104 -x755 -x406 -x57 x5302 -x3547 x2848 -x8109 -x5301 x3546 -x6353 -x6002 -x5651 -x5300 -x4949 x4598 -x4247 
332.52/332.61	v -x2149 x1800 -x1451 -x753 -x404 -x55 -x8107 -x6352 x6001 -x5650 -x5299 -x4948 -x4597 -x4246 x2497 -x2148 -x1799 -x1450 -x752 
332.52/332.61	v -x403 -x54 -x7755 -x7404 x7053 -x6702 -x6351 -x6000 -x5649 -x5298 -x3194 -x2147 -x1798 -x1100 -x751 x402 -x7754 -x7403 -x7052 
332.52/332.61	v -x6701 x4946 -x4595 -x4244 x3193 -x1448 -x1099 -x52 -x6349 -x5998 -x5647 -x5296 -x4945 x4594 -x4243 -x2145 x1796 -x1447 -x749 
332.52/332.61	v -x400 -x51 -x5295 -x4944 -x4593 -x4242 -x1446 x50 -x8102 -x6347 -x5996 -x5645 -x5294 x4943 -x4592 -x4241 -x2492 x2143 -x1794 
332.52/332.61	v -x1445 -x747 -x398 -x49 x4942 -x4591 -x4240 -x3538 x2840 -x1444 -x48 x3888 x2490 x6344 -x5291 -x8098 x3535 -x2837 x2488 x5289 
332.52/332.61	v -x6341 -x5990 -x5639 -x5288 x3884 x2137 -x1788 -x741 -x392 -x5287 -x3532 x2834 x8094 -x4935 -x4584 -x4233 -x1437 x41 -x5284 
332.52/332.61	v -x3529 x2831 -x8091 x6336 -x5985 -x5634 -x5283 -x3879 x2481 -x2132 -x1783 -x736 -x387 x3878 x2480 x7738 -x5281 -x4930 -x4579 
332.52/332.61	v -x4228 -x3526 -x2828 x1432 -x36 x8088 x1780 -x8087 x3524 -x2826 x1779 -x7735 -x7384 -x7033 -x6682 x6331 -x5980 -x5629 -x5278 
332.52/332.61	v -x4927 -x4576 -x4225 x3174 -x2127 -x1778 -x1429 -x1080 -x731 -x382 -x33 -x7734 -x7383 -x7032 -x6681 x3873 -x3173 x1079 -x7733 
332.52/332.61	v -x7382 -x7031 -x6680 x3872 -x3172 x1078 x5275 -x3520 x2822 -x8082 -x6327 -x5976 -x5625 x5274 -x2123 -x1774 -x727 x378 x8081 
332.52/332.61	v -x3518 x2820 -x8080 -x4921 -x4570 -x4219 -x1423 x27 -x7728 -x7377 x7026 -x6675 -x6324 -x5973 -x5622 -x4920 -x4569 -x4218 -x3167 
332.52/332.61	v -x2120 -x1771 -x1422 -x1073 x724 -x375 -x26 x5270 x2468 -x374 x3865 -x3514 x2816 -x7724 -x7373 -x7022 -x6671 -x6320 -x5969 
332.52/332.61	v x5618 -x4916 -x4565 -x4214 x3163 -x2116 -x1767 -x1418 -x1069 -x720 -x371 -x22 x7723 -x7372 -x7021 -x6670 -x6319 -x5968 -x5617 
332.52/332.61	v -x5266 -x4915 -x4564 -x4213 -x3162 -x2115 x1766 -x1417 -x1068 -x719 -x370 -x21 x3510 -x2812 x1765 x8072 -x6316 x5965 -x5614 
332.52/332.61	v x2461 -x2112 -x716 -x367 x8070 x6314 -x5963 -x5612 x2459 -x2110 -x714 -x365 -x8068 -x6313 x5962 -x5611 x2458 -x2109 -x1760 
332.52/332.61	v -x713 -x364 x7716 -x7365 -x7014 -x6663 -x6312 -x5961 -x5610 -x5259 -x3155 -x2108 -x1759 -x1061 x712 -x363 -x7715 -x7364 x7013 
332.52/332.61	v -x6662 -x6311 -x5960 -x5609 -x5258 -x4907 -x4556 -x4205 -x3154 x2107 -x1758 -x1409 -x1060 -x711 -x362 -x13 -x7714 -x7363 -x7012 
332.52/332.61	v -x6661 -x6310 -x5959 -x5608 x4906 -x4555 -x4204 x3153 -x2106 -x1757 -x1408 -x1059 -x710 -x361 -x12 -x7713 -x7362 -x7011 
332.52/332.61	v -x6660 -x6309 x5958 -x5607 -x4905 -x4554 -x4203 x3152 -x2105 -x1756 -x1407 -x1058 -x709 -x360 -x11 x1755 -x7711 -x7360 -x7009 
332.52/332.61	v -x6658 -x3150 x1056 -x6306 x5955 -x5604 -x2102 -x706 -x357 -x6305 -x5954 -x5603 x2101 -x1752 -x705 -x356 -x7708 -x7357 -x7006 
332.52/332.61	v -x6655 x5602 x3147 -x2449 -x1053 x5250 -x4899 -x4548 -x4197 x1401 -x5 x4898 -x4547 -x4196 -x3494 x2796 -x1400 -x4 -x7705 -x7354 
332.52/332.61	v x7003 -x6652 -x4897 -x4546 -x4195 -x3144 -x1399 -x1050 x3 -x8055 -x7704 -x7353 -x7002 -x6651 -x4896 -x4545 x4194 -x3143 
332.52/332.61	v -x2445 -x1398 x1049 -x2 
332.52/332.61	c SCIP Status        : problem is solved [optimal solution found]
332.52/332.61	c Solving Time       :     331.61
332.52/332.61	c Original Problem   :
332.52/332.61	c   Problem name     : HOME/instance-3732981-1338697216.opb
332.52/332.61	c   Variables        : 8405 (8405 binary, 0 integer, 0 implicit integer, 0 continuous)
332.52/332.61	c   Constraints      : 10667 initial, 10667 maximal
332.52/332.61	c Presolved Problem  :
332.52/332.61	c   Problem name     : t_HOME/instance-3732981-1338697216.opb
332.52/332.61	c   Variables        : 8404 (8404 binary, 0 integer, 0 implicit integer, 0 continuous)
332.52/332.61	c   Constraints      : 10642 initial, 10644 maximal
332.52/332.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
332.52/332.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
332.52/332.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
332.52/332.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
332.52/332.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
332.52/332.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
332.52/332.61	c   probing          :       0.10          0          0          0          0          0          0          0          0
332.52/332.61	c   setppc           :       0.01          0          0          0          0          0          0          0          0
332.52/332.61	c   linear           :       0.05          1          0          0          1          0         25          0          0
332.52/332.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
332.52/332.61	c   root node        :          -       4806          -          -       4806          -          -          -          -
332.52/332.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
332.52/332.61	c   integral         :          0          0          0        826          0          0         17          0          0       1634
332.52/332.61	c   setppc           :        700         14      15682          0          0         33       6726          0          0          0
332.52/332.61	c   linear           :         24         14      15649          0          0          0          0          0          0          0
332.52/332.61	c   logicor          :       9918+        14       3466          0          0          3       2013          0          0          0
332.52/332.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
332.52/332.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
332.52/332.61	c   integral         :     120.58       0.00       0.00     120.58       0.00
332.52/332.61	c   setppc           :       0.34       0.00       0.34       0.00       0.00
332.52/332.61	c   linear           :       1.08       0.01       1.07       0.00       0.00
332.52/332.61	c   logicor          :       0.06       0.00       0.06       0.00       0.00
332.52/332.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
332.52/332.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
332.52/332.61	c   rootredcost      :       0.01          5          0       4488
332.52/332.61	c   pseudoobj        :       2.72      15490          0          0
332.52/332.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
332.52/332.61	c   propagation      :       0.00         36         36         36        1.1          0        0.0          -
332.52/332.61	c   infeasible LP    :       0.02         16         16         20       12.2          1        2.0          0
332.52/332.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
332.52/332.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
332.52/332.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
332.52/332.61	c   applied globally :          -          -          -         55        4.4          -          -          -
332.52/332.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
332.52/332.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
332.52/332.61	c   cut pool         :       0.00         13          -          -         10          -    (maximal pool size: 1353)
332.52/332.61	c   redcost          :       0.17        841          0       6977          0          0
332.52/332.61	c   impliedbounds    :       0.01         14          0          0          0          0
332.52/332.61	c   intobj           :       0.00          0          0          0          0          0
332.52/332.61	c   gomory           :       0.84         14          0          0       4276          0
332.52/332.61	c   strongcg         :       0.84         14          0          0       4276          0
332.52/332.61	c   cmir             :       0.76         10          0          0          2          0
332.52/332.61	c   flowcover        :       0.84         10          0          0          6          0
332.52/332.61	c   clique           :       0.13         14          0          0         83          0
332.52/332.61	c   zerohalf         :       0.00          0          0          0          0          0
332.52/332.61	c   mcf              :       0.01          1          0          0          0          0
332.52/332.61	c Pricers            :       Time      Calls       Vars
332.52/332.61	c   problem variables:       0.00          0          0
332.52/332.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
332.52/332.61	c   relpscost        :     120.58        826          0         17          0          0       1634
332.52/332.61	c   pscost           :       0.00          0          0          0          0          0          0
332.52/332.61	c   inference        :       0.00          0          0          0          0          0          0
332.52/332.61	c   mostinf          :       0.00          0          0          0          0          0          0
332.52/332.61	c   leastinf         :       0.00          0          0          0          0          0          0
332.52/332.61	c   fullstrong       :       0.00          0          0          0          0          0          0
332.52/332.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
332.52/332.61	c   random           :       0.00          0          0          0          0          0          0
332.52/332.61	c Primal Heuristics  :       Time      Calls      Found
332.52/332.61	c   LP solutions     :       0.00          -          0
332.52/332.61	c   pseudo solutions :       0.00          -          0
332.52/332.61	c   oneopt           :       0.02          5          0
332.52/332.61	c   crossover        :       0.19          2          1
332.52/332.61	c   simplerounding   :       0.01          0          0
332.52/332.61	c   rounding         :       0.23        360          0
332.52/332.61	c   shifting         :       0.33        100          5
332.52/332.61	c   intshifting      :       0.00          0          0
332.52/332.61	c   fixandinfer      :       0.00          0          0
332.52/332.61	c   feaspump         :       1.45          1          0
332.52/332.61	c   coefdiving       :      23.17          7          0
332.52/332.61	c   pscostdiving     :      21.31          6          0
332.52/332.61	c   fracdiving       :      25.10          7          0
332.52/332.61	c   veclendiving     :      20.28          5          0
332.52/332.61	c   intdiving        :       0.00          0          0
332.52/332.61	c   actconsdiving    :       0.00          0          0
332.52/332.61	c   objpscostdiving  :       2.49          6          0
332.52/332.61	c   rootsoldiving    :      17.41          6          2
332.52/332.61	c   linesearchdiving :      19.68          3          0
332.52/332.61	c   guideddiving     :      19.61          5          0
332.52/332.61	c   octane           :       0.00          0          0
332.52/332.61	c   rens             :       0.07          1          0
332.52/332.61	c   rins             :       0.00          0          0
332.52/332.61	c   localbranching   :       0.00          0          0
332.52/332.61	c   mutation         :       0.00          0          0
332.52/332.61	c   dins             :       0.00          0          0
332.52/332.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
332.52/332.61	c   primal LP        :       0.00          0          0       0.00          -
332.52/332.61	c   dual LP          :      53.07        841      70498      83.83    1328.40
332.52/332.61	c   barrier LP       :       0.00          0          0       0.00          -
332.52/332.61	c   diving/probing LP:     122.38      11309     129146      11.42    1055.29
332.52/332.61	c   strong branching :     120.54       1970     143096      72.64    1187.12
332.52/332.61	c     (at root node) :          -         17       3568     209.88          -
332.52/332.61	c   conflict analysis:       0.00          0          0       0.00          -
332.52/332.61	c B&B Tree           :
332.52/332.61	c   number of runs   :          1
332.52/332.61	c   nodes            :        848
332.52/332.61	c   nodes (total)    :        848
332.52/332.61	c   nodes left       :          0
332.52/332.61	c   max depth        :         43
332.52/332.61	c   max depth (total):         43
332.52/332.61	c   backtracks       :         71 (8.4%)
332.52/332.61	c   delayed cutoffs  :          0
332.52/332.61	c   repropagations   :        727 (319 domain reductions, 0 cutoffs)
332.52/332.61	c   avg switch length:       3.82
332.52/332.61	c   switching time   :       0.29
332.52/332.61	c Solution           :
332.52/332.61	c   Solutions found  :          8 (6 improvements)
332.52/332.61	c   Primal Bound     : +9.39000000000000e+02   (in run 1, after 848 nodes, 331.61 seconds, depth 40, found by <shifting>)
332.52/332.61	c   Dual Bound       : +9.39000000000000e+02
332.52/332.61	c   Gap              :       0.00 %
332.52/332.61	c   Root Dual Bound  : +9.39000000000000e+02
332.52/332.67	c Time complete: 332.59.

Verifier Data 

OK	939

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-3732981-1338697216/watcher-3732981-1338697216 -o /tmp/evaluation-result-3732981-1338697216/solver-3732981-1338697216 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3732981-1338697216.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16045
/proc/meminfo: memFree=30500644/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/16045/stat : 16045 (runsolver) D 16043 16045 4790 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 335847477 12095488 50 33554432000 4194304 5436572 140735621449696 140735621445992 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/16045/statm: 2953 50 31 304 0 2645 0

[startup+0.0181329 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16045
/proc/meminfo: memFree=30500644/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=12128 CPUtime=0 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 2237 0 0 0 0 0 0 0 20 0 1 0 335847477 12419072 2190 33554432000 4194304 7823515 140733557950816 140735621445880 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 3032 2221 349 887 0 2142 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12128

[startup+0.100316 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16045
/proc/meminfo: memFree=30500644/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=23156 CPUtime=0.09 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 5444 0 0 0 8 1 0 0 20 0 1 0 335847477 23711744 5043 33554432000 4194304 7823515 140733557950816 140735621445880 5878822 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 5789 5057 367 887 0 4899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23156

[startup+0.300278 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16045
/proc/meminfo: memFree=30500644/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=52912 CPUtime=0.28 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 12774 0 0 0 25 3 0 0 20 0 1 0 335847477 54181888 12372 33554432000 4194304 7823515 140733557950816 140735621445880 5028984 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 13228 12372 450 887 0 12338 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52912

[startup+0.700224 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16045
/proc/meminfo: memFree=30500644/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=70432 CPUtime=0.68 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 17218 0 0 0 64 4 0 0 20 0 1 0 335847477 72122368 16260 33554432000 4194304 7823515 140733557950816 140735621445880 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 17608 16260 522 887 0 16718 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 70432

[startup+1.50023 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 16046
/proc/meminfo: memFree=30436496/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=71492 CPUtime=1.48 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 17670 0 0 0 144 4 0 0 20 0 1 0 335847477 73207808 16712 33554432000 4194304 7823515 140733557950816 140733557946616 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 17873 16712 522 887 0 16983 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 71492

[startup+3.10025 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 16046
/proc/meminfo: memFree=30435132/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=71812 CPUtime=3.08 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 17856 0 0 0 304 4 0 0 20 0 1 0 335847477 73535488 16895 33554432000 4194304 7823515 140733557950816 140733557945576 6179711 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 17953 16895 533 887 0 17063 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71812

[startup+6.30023 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 16046
/proc/meminfo: memFree=30427324/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=80828 CPUtime=6.28 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 20403 0 0 0 620 8 0 0 20 0 1 0 335847477 82767872 19261 33554432000 4194304 7823515 140733557950816 140733557946616 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 20207 19261 566 887 0 19317 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 80828

[startup+12.7011 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 16046
/proc/meminfo: memFree=30421588/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=85176 CPUtime=12.69 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 30180 0 0 0 1253 16 0 0 20 0 1 0 335847477 87220224 20294 33554432000 4194304 7823515 140733557950816 140733557945976 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 21294 20294 576 887 0 20404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85176

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 16046
/proc/meminfo: memFree=30421744/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=84148 CPUtime=25.48 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 30572 0 0 0 2530 18 0 0 20 0 1 0 335847477 86167552 20031 33554432000 4194304 7823515 140733557950816 140733557945512 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 21037 20031 576 887 0 20147 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84148

[startup+51.1002 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 16046
/proc/meminfo: memFree=30418004/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=86992 CPUtime=51.07 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 31296 0 0 0 5083 24 0 0 20 0 1 0 335847477 89079808 20754 33554432000 4194304 7823515 140733557950816 140733557945512 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 21748 20754 576 887 0 20858 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86992

[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 16046
/proc/meminfo: memFree=30415212/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=86992 CPUtime=102.27 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 31310 0 0 0 10192 35 0 0 20 0 1 0 335847477 89079808 21088 33554432000 4194304 7823515 140733557950816 140733557945976 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 21748 21088 577 887 0 20858 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 86992

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16046
/proc/meminfo: memFree=30413204/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=88600 CPUtime=162.25 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 31712 0 0 0 16177 48 0 0 20 0 1 0 335847477 90726400 21490 33554432000 4194304 7823515 140733557950816 140733557945928 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 22150 21490 577 887 0 21260 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 88600

[startup+222.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 16122
/proc/meminfo: memFree=30374044/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=91160 CPUtime=222.24 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 32350 0 0 0 22166 58 0 0 20 0 1 0 335847477 93347840 22127 33554432000 4194304 7823515 140733557950816 140733557946296 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 22790 22127 577 887 0 21900 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 91160

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16122
/proc/meminfo: memFree=30369896/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93808 CPUtime=282.23 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 42280 0 0 0 28150 73 0 0 20 0 1 0 335847477 96059392 22799 33554432000 4194304 7823515 140733557950816 140733557946248 5993349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23452 22799 584 887 0 22562 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 93808

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

[startup+307.101 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16123
/proc/meminfo: memFree=30369400/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=307.03 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50810 0 0 0 30624 79 0 0 20 0 1 0 335847477 95989760 22735 33554432000 4194304 7823515 140733557950816 140733557946280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22735 584 887 0 22545 0
Current children cumulated CPU time (s) 307.03
Current children cumulated vsize (KiB) 93740

[startup+319.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16123
/proc/meminfo: memFree=30369152/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=319.82 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50856 0 0 0 31901 81 0 0 20 0 1 0 335847477 95989760 22781 33554432000 4194304 7823515 140733557950816 140733557945512 6173531 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22781 584 887 0 22545 0
Current children cumulated CPU time (s) 319.82
Current children cumulated vsize (KiB) 93740

[startup+326.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16123
/proc/meminfo: memFree=30369152/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=326.23 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50856 0 0 0 32540 83 0 0 20 0 1 0 335847477 95989760 22781 33554432000 4194304 7823515 140733557950816 140733557945864 6180646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22781 584 887 0 22545 0
Current children cumulated CPU time (s) 326.23
Current children cumulated vsize (KiB) 93740

[startup+329.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16123
/proc/meminfo: memFree=30367912/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=329.42 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50856 0 0 0 32859 83 0 0 20 0 1 0 335847477 95989760 22781 33554432000 4194304 7823515 140733557950816 140733557947448 6157674 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22781 584 887 0 22545 0
Current children cumulated CPU time (s) 329.42
Current children cumulated vsize (KiB) 93740

[startup+331.107 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16123
/proc/meminfo: memFree=30368036/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=331.03 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50856 0 0 0 33019 84 0 0 20 0 1 0 335847477 95989760 22781 33554432000 4194304 7823515 140733557950816 140733557947448 4266239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22781 584 887 0 22545 0
Current children cumulated CPU time (s) 331.03
Current children cumulated vsize (KiB) 93740

[startup+331.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16123
/proc/meminfo: memFree=30368036/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=331.82 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50856 0 0 0 33098 84 0 0 20 0 1 0 335847477 95989760 22781 33554432000 4194304 7823515 140733557950816 140733557947448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22781 584 887 0 22545 0
Current children cumulated CPU time (s) 331.82
Current children cumulated vsize (KiB) 93740

[startup+332.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16123
/proc/meminfo: memFree=30368036/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=332.22 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50856 0 0 0 33138 84 0 0 20 0 1 0 335847477 95989760 22781 33554432000 4194304 7823515 140733557950816 140733557946616 6180642 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22781 584 887 0 22545 0
Current children cumulated CPU time (s) 332.22
Current children cumulated vsize (KiB) 93740

[startup+332.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16123
/proc/meminfo: memFree=30368036/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=332.42 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50856 0 0 0 33158 84 0 0 20 0 1 0 335847477 95989760 22781 33554432000 4194304 7823515 140733557950816 140733557946616 5978329 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22781 584 887 0 22545 0
Current children cumulated CPU time (s) 332.42
Current children cumulated vsize (KiB) 93740

[startup+332.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16123
/proc/meminfo: memFree=30368036/32873648 swapFree=6860/6860
[pid=16045] ppid=16043 vsize=93740 CPUtime=332.52 cores=0,2,4,6
/proc/16045/stat : 16045 (pbscip.linux.x8) R 16043 16045 4790 0 -1 4202496 50856 0 0 0 33168 84 0 0 20 0 1 0 335847477 95989760 22781 33554432000 4194304 7823515 140733557950816 140733557946616 6237127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16045/statm: 23435 22781 584 887 0 22545 0
Current children cumulated CPU time (s) 332.52
Current children cumulated vsize (KiB) 93740

Child status: 0
Real time (s): 332.673
CPU time (s): 332.605
CPU user time (s): 331.758
CPU system time (s): 0.847871
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 127996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 331.758
system time used= 0.847871
maximum resident set size= 126508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50861
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= 17
involuntary context switches= 342

runsolver used 0.98485 second user time and 2.85357 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 06:20:16
IDJOB=3732981
IDBENCH=2233
IDSOLVER=2321
FILE ID=node124/3732981-1338697216
RUNJOBID= node124-1338679211-13479
PBS_JOBID= 14636689
Free space on /tmp= 70700 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732981-1338697216/watcher-3732981-1338697216 -o /tmp/evaluation-result-3732981-1338697216/solver-3732981-1338697216 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3732981-1338697216.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=476796485

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
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	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
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	: 5357.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
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	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30500644 kB
Buffers:          181440 kB
Cached:          1362168 kB
SwapCached:         8280 kB
Active:           445716 kB
Inactive:        1158640 kB
Active(anon):      54824 kB
Inactive(anon):     8228 kB
Active(file):     390892 kB
Inactive(file):  1150412 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091572 kB
Dirty:             10024 kB
Writeback:             0 kB
AnonPages:         59924 kB
Mapped:            11224 kB
Shmem:                 0 kB
Slab:             629616 kB
SReclaimable:      73736 kB
SUnreclaim:       555880 kB
KernelStack:        1472 kB
PageTables:         3772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     177212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70688 MiB
End job on node124 at 2012-06-03 06:25:49