Trace number 3732985

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT939 9.53855 9.54096

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

Solver Data

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 27378
/proc/meminfo: memFree=31621068/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 1251 0 0 0 0 0 0 0 20 0 1 0 335427681 8105984 1197 33554432000 4194304 8395647 140734096209568 140736066124360 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 1979 1198 370 1026 0 949 0

[startup+0.0220231 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 27378
/proc/meminfo: memFree=31621068/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=17196 CPUtime=0.01 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 3560 0 0 0 1 0 0 0 20 0 1 0 335427681 17608704 3505 33554432000 4194304 8395647 140734096209568 140736066124360 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 4299 3505 394 1026 0 3269 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17196

[startup+0.10033 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 27378
/proc/meminfo: memFree=31621068/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=23100 CPUtime=0.09 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 5044 0 0 0 9 0 0 0 20 0 1 0 335427681 23654400 4989 33554432000 4194304 8395647 140734096209568 140736066124360 5758034 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 5775 4989 394 1026 0 4745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23100

[startup+0.300323 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 27378
/proc/meminfo: memFree=31621068/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=52604 CPUtime=0.29 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 12488 0 0 0 27 2 0 0 20 0 1 0 335427681 53866496 12077 33554432000 4194304 8395647 140734096209568 140736066124360 5026725 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 13151 12077 489 1026 0 12121 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52604

[startup+0.700196 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 27378
/proc/meminfo: memFree=31621068/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=68840 CPUtime=0.69 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 16674 0 0 0 67 2 0 0 20 0 1 0 335427681 70492160 15696 33554432000 4194304 8395647 140734096209568 140736066124360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 17210 15696 569 1026 0 16180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68840

[startup+1.5002 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 27379
/proc/meminfo: memFree=31559704/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=69788 CPUtime=1.49 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 17143 0 0 0 146 3 0 0 20 0 1 0 335427681 71462912 16162 33554432000 4194304 8395647 140734096209568 140734096204696 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 17447 16162 569 1026 0 16417 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69788

[startup+3.10033 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 27379
/proc/meminfo: memFree=31558464/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=70088 CPUtime=3.08 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 17283 0 0 0 305 3 0 0 20 0 1 0 335427681 71770112 16298 33554432000 4194304 8395647 140734096209568 140734096204216 6003097 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 17522 16298 575 1026 0 16492 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 70088

[startup+6.30028 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 27379
/proc/meminfo: memFree=31550776/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=78016 CPUtime=6.29 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 19537 0 0 0 624 5 0 0 20 0 1 0 335427681 79888384 18366 33554432000 4194304 8395647 140734096209568 140734096204696 6697139 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 19504 18366 612 1026 0 18474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78016

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

[startup+7.90032 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 27379
/proc/meminfo: memFree=31547312/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=80944 CPUtime=7.89 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 20173 0 0 0 783 6 0 0 20 0 1 0 335427681 82886656 18992 33554432000 4194304 8395647 140734096209568 140734096204696 6670392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 20236 18992 612 1026 0 19206 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 80944

[startup+8.70031 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 27379
/proc/meminfo: memFree=31547220/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=81344 CPUtime=8.69 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 20241 0 0 0 863 6 0 0 20 0 1 0 335427681 83296256 19060 33554432000 4194304 8395647 140734096209568 140734096204696 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 20336 19060 612 1026 0 19306 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 81344

[startup+9.10032 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 27379
/proc/meminfo: memFree=31547220/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=81344 CPUtime=9.08 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 20257 0 0 0 902 6 0 0 20 0 1 0 335427681 83296256 19076 33554432000 4194304 8395647 140734096209568 140734096205128 6696675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 20336 19076 612 1026 0 19306 0
Current children cumulated CPU time (s) 9.08
Current children cumulated vsize (KiB) 81344

[startup+9.50032 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 27379
/proc/meminfo: memFree=31547220/32873844 swapFree=7116/7116
[pid=27378] ppid=27376 vsize=105060 CPUtime=9.49 cores=1,3,5,7
/proc/27378/stat : 27378 (pbscip.linux.x8) R 27376 27378 25766 0 -1 4202496 29430 0 0 0 941 8 0 0 20 0 1 0 335427681 107581440 25065 33554432000 4194304 8395647 140734096209568 140734096205128 4421298 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27378/statm: 26265 25065 632 1026 0 25235 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 105060

Child status: 0
Real time (s): 9.54096
CPU time (s): 9.53855
CPU user time (s): 9.44556
CPU system time (s): 0.092985
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 113020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.44556
system time used= 0.092985
maximum resident set size= 112984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29433
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= 3
involuntary context switches= 10

runsolver used 0.022996 second user time and 0.085986 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-03 05:09:51
IDJOB=3732985
IDBENCH=2233
IDSOLVER=2326
FILE ID=node103/3732985-1338692991
RUNJOBID= node103-1338678622-25787
PBS_JOBID= 14636710
Free space on /tmp= 71116 MiB

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

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=817566436

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31621868 kB
Buffers:          143340 kB
Cached:           322600 kB
SwapCached:         5652 kB
Active:           168792 kB
Inactive:         325092 kB
Active(anon):      25868 kB
Inactive(anon):     4740 kB
Active(file):     142924 kB
Inactive(file):   320352 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096348 kB
Dirty:             10852 kB
Writeback:            84 kB
AnonPages:         30928 kB
Mapped:            11232 kB
Shmem:                 0 kB
Slab:             621512 kB
SReclaimable:      61832 kB
SUnreclaim:       559680 kB
KernelStack:        1480 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     145560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71104 MiB
End job on node103 at 2012-06-03 05:10:01