Trace number 2703684

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT939 25.4161 25.4223

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

Verifier Data 

OK	939

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.10 1.03 1.01 3/105 27009
/proc/meminfo: memFree=1684552/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=7904 CPUtime=0
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 1146 0 0 0 0 0 0 0 25 0 1 0 23753333 8093696 1057 1992294400 4194304 8395647 140735803380224 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27009/statm: 1976 1066 365 1026 0 946 0

[startup+0.10847 s]
/proc/loadavg: 1.10 1.03 1.01 3/105 27009
/proc/meminfo: memFree=1684552/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=18792 CPUtime=0.1
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 4011 0 0 0 9 1 0 0 25 0 1 0 23753333 19243008 3921 1992294400 4194304 8395647 140735803380224 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27009/statm: 4698 3921 394 1026 0 3668 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18792

[startup+0.200478 s]
/proc/loadavg: 1.10 1.03 1.01 3/105 27009
/proc/meminfo: memFree=1684552/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=22060 CPUtime=0.19
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 4821 0 0 0 18 1 0 0 25 0 1 0 23753333 22589440 4731 1992294400 4194304 8395647 140735803380224 18446744073709551615 5757221 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27009/statm: 5515 4731 394 1026 0 4485 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22060

[startup+0.300489 s]
/proc/loadavg: 1.10 1.03 1.01 3/105 27009
/proc/meminfo: memFree=1684552/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=41552 CPUtime=0.29
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 9995 0 0 0 26 3 0 0 25 0 1 0 23753333 42549248 9551 1992294400 4194304 8395647 140735803380224 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 10388 9551 431 1026 0 9358 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41552

[startup+0.700527 s]
/proc/loadavg: 1.10 1.03 1.01 3/105 27009
/proc/meminfo: memFree=1684552/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=52592 CPUtime=0.69
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 12524 0 0 0 66 3 0 0 25 0 1 0 23753333 53854208 12078 1992294400 4194304 8395647 140735803380224 18446744073709551615 5210311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 13148 12078 489 1026 0 12118 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52592

[startup+1.5006 s]
/proc/loadavg: 1.10 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1638044/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=66808 CPUtime=1.49
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 16501 0 0 0 144 5 0 0 25 0 1 0 23753333 68411392 15526 1992294400 4194304 8395647 140735803380224 18446744073709551615 6636391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 16702 15526 603 1026 0 15672 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66808

[startup+3.10076 s]
/proc/loadavg: 1.09 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1623660/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=69776 CPUtime=3.09
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 17103 0 0 0 303 6 0 0 25 0 1 0 23753333 71450624 16117 1992294400 4194304 8395647 140735803380224 18446744073709551615 6697714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 17444 16117 598 1026 0 16414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69776

[startup+6.30207 s]
/proc/loadavg: 1.09 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1621304/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=69776 CPUtime=6.29
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 17190 0 0 0 622 7 0 0 25 0 1 0 23753333 71450624 16203 1992294400 4194304 8395647 140735803380224 18446744073709551615 6698202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 17444 16203 597 1026 0 16414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69776

[startup+12.7017 s]
/proc/loadavg: 1.07 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1615972/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=75320 CPUtime=12.69
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 18903 0 0 0 1257 12 0 0 25 0 1 0 23753333 77127680 17703 1992294400 4194304 8395647 140735803380224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 18830 17703 610 1026 0 17800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75320

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

[startup+12.8017 s]
/proc/loadavg: 1.07 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1615972/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=75320 CPUtime=12.79
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 18903 0 0 0 1267 12 0 0 25 0 1 0 23753333 77127680 17703 1992294400 4194304 8395647 140735803380224 18446744073709551615 6697679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 18830 17703 610 1026 0 17800 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 75320

[startup+19.2013 s]
/proc/loadavg: 1.07 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1612500/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=78924 CPUtime=19.19
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 19740 0 0 0 1905 14 0 0 25 0 1 0 23753333 80818176 18538 1992294400 4194304 8395647 140735803380224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 19731 18538 625 1026 0 18701 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 78924

[startup+22.4016 s]
/proc/loadavg: 1.06 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1610268/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=80932 CPUtime=22.38
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 20237 0 0 0 2224 14 0 0 25 0 1 0 23753333 82874368 19028 1992294400 4194304 8395647 140735803380224 18446744073709551615 6128233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 20233 19028 618 1026 0 19203 0
Current children cumulated CPU time (s) 22.38
Current children cumulated vsize (KiB) 80932

[startup+24.0008 s]
/proc/loadavg: 1.06 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1610020/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=81332 CPUtime=23.98
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 20274 0 0 0 2384 14 0 0 25 0 1 0 23753333 83283968 19064 1992294400 4194304 8395647 140735803380224 18446744073709551615 6197370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 20333 19064 617 1026 0 19303 0
Current children cumulated CPU time (s) 23.98
Current children cumulated vsize (KiB) 81332

[startup+24.8009 s]
/proc/loadavg: 1.06 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1610020/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=81332 CPUtime=24.79
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 20287 0 0 0 2464 15 0 0 25 0 1 0 23753333 83283968 19077 1992294400 4194304 8395647 140735803380224 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 20333 19077 617 1026 0 19303 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 81332

[startup+25.2009 s]
/proc/loadavg: 1.06 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1610020/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=117948 CPUtime=25.18
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 29192 0 0 0 2500 18 0 0 25 0 1 0 23753333 120778752 27982 1992294400 4194304 8395647 140735803380224 18446744073709551615 6063744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27009/statm: 29487 27982 623 1026 0 28457 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 117948

[startup+25.4079 s]
/proc/loadavg: 1.06 1.03 1.01 2/106 27010
/proc/meminfo: memFree=1585468/2059040 swapFree=4143936/4192956
[pid=27009] ppid=27007 vsize=66992 CPUtime=25.39
/proc/27009/stat : 27009 (pbscip.linux.x8) R 27007 27009 25566 0 -1 4202496 29461 0 0 0 2520 19 0 0 25 0 1 0 23753333 68599808 15898 1992294400 4194304 8395647 140735803380224 18446744073709551615 4713444 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27009/statm: 16748 15898 637 1026 0 15718 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 66992

Child status: 0
Real time (s): 25.4223
CPU time (s): 25.4161
CPU user time (s): 25.2112
CPU system time (s): 0.204968
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 117948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.2112
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29464
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= 8
involuntary context switches= 47

runsolver used 0.055991 second user time and 0.124981 second system time

The end

Launcher Data 

Begin job on node089 at 2010-07-08 04:17:30
IDJOB=2703684
IDBENCH=2233
IDSOLVER=1213
FILE ID=node089/2703684-1278555450
PBS_JOBID= 11239474
Free space on /tmp= 62556 MiB

SOLVER NAME= 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-2703684-1278555450/watcher-2703684-1278555450 -o /tmp/evaluation-result-2703684-1278555450/solver-2703684-1278555450 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703684-1278555450.opb -t 1800 -m 1800

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=975940394

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1685080 kB
Buffers:         52752 kB
Cached:         194696 kB
SwapCached:      40860 kB
Active:         152040 kB
Inactive:       147796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1685080 kB
SwapTotal:     4192956 kB
SwapFree:      4143936 kB
Dirty:           10968 kB
Writeback:          16 kB
AnonPages:       14476 kB
Mapped:          11940 kB
Slab:            52408 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183232 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node089 at 2010-07-08 04:17:56