Trace number 1869204

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT939 960.23 960.517

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 benchmark960.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

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

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.00 1.00 1.00 3/64 379
/proc/meminfo: memFree=1848416/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=4328 CPUtime=0
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 183948184 4431872 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0
/proc/379/statm: 1162 473 307 886 0 272 0

[startup+0.0252691 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 379
/proc/meminfo: memFree=1848416/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=11100 CPUtime=0.01
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 2087 0 0 0 1 0 0 0 18 0 1 0 183948184 11366400 2069 1992294400 4194304 7823515 548682068736 18446744073709551615 5544024 0 0 4096 0 0 0 0 17 1 0 0
/proc/379/statm: 2775 2069 349 886 0 1885 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11100

[startup+0.101277 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 379
/proc/meminfo: memFree=1848416/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=16740 CPUtime=0.09
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 3526 0 0 0 8 1 0 0 18 0 1 0 183948184 17141760 3508 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/379/statm: 4185 3508 354 886 0 3295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16740

[startup+0.301297 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 379
/proc/meminfo: memFree=1848416/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=39512 CPUtime=0.29
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 9513 0 0 0 26 3 0 0 19 0 1 0 183948184 40460288 9141 1992294400 4194304 7823515 548682068736 18446744073709551615 4686182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 9878 9141 385 886 0 8988 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39512

[startup+0.701338 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 379
/proc/meminfo: memFree=1848416/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=52896 CPUtime=0.69
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 12742 0 0 0 62 7 0 0 22 0 1 0 183948184 54165504 12370 1992294400 4194304 7823515 548682068736 18446744073709551615 5061266 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 13224 12370 450 886 0 12334 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52896

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1792024/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=68328 CPUtime=1.49
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 16968 0 0 0 140 9 0 0 25 0 1 0 183948184 69967872 16044 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 17082 16044 521 886 0 16192 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68328

[startup+3.10158 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1785176/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=71144 CPUtime=3.09
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 17503 0 0 0 299 10 0 0 25 0 1 0 183948184 72851456 16575 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 17786 16575 522 886 0 16896 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71144

[startup+6.30191 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1783128/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=71476 CPUtime=6.29
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 17655 0 0 0 618 11 0 0 25 0 1 0 183948184 73191424 16727 1992294400 4194304 7823515 548682068736 18446744073709551615 6205791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 17869 16727 522 886 0 16979 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71476

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1781784/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=76376 CPUtime=12.69
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 19269 0 0 0 1254 15 0 0 25 0 1 0 183948184 78209024 18156 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 19094 18156 562 886 0 18204 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76376

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1771736/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=83508 CPUtime=25.49
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 20905 0 0 0 2519 30 0 0 25 0 1 0 183948184 85512192 19782 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 20877 19782 566 886 0 19987 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83508

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1770712/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=83800 CPUtime=51.06
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 30398 0 0 0 5066 40 0 0 25 0 1 0 183948184 85811200 19886 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 20950 19886 576 886 0 20060 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 83800

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1768280/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=86292 CPUtime=102.25
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 31012 0 0 0 10176 49 0 0 25 0 1 0 183948184 88363008 20500 1992294400 4194304 7823515 548682068736 18446744073709551615 6110649 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 21573 20500 576 886 0 20683 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 86292

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1767256/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=86976 CPUtime=162.23
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 31264 0 0 0 16162 61 0 0 25 0 1 0 183948184 89063424 20752 1992294400 4194304 7823515 548682068736 18446744073709551615 6211057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 21744 20752 576 886 0 20854 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 86976

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1767192/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=86976 CPUtime=222.22
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 31266 0 0 0 22151 71 0 0 25 0 1 0 183948184 89063424 20754 1992294400 4194304 7823515 548682068736 18446744073709551615 6110642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 21744 20754 577 886 0 20854 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 86976

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1767128/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=86976 CPUtime=282.2
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 31266 0 0 0 28138 82 0 0 25 0 1 0 183948184 89063424 20754 1992294400 4194304 7823515 548682068736 18446744073709551615 6099770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 21744 20754 577 886 0 20854 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 86976

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1767128/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=86976 CPUtime=342.18
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 31266 0 0 0 34126 92 0 0 25 0 1 0 183948184 89063424 20754 1992294400 4194304 7823515 548682068736 18446744073709551615 6110482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 21744 20754 577 886 0 20854 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 86976

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 380
/proc/meminfo: memFree=1766360/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=88020 CPUtime=402.17
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 31447 0 0 0 40115 102 0 0 25 0 1 0 183948184 90132480 20935 1992294400 4194304 7823515 548682068736 18446744073709551615 6158131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 22005 20935 577 886 0 21115 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 88020

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1765464/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=88360 CPUtime=462.15
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 31610 0 0 0 46105 110 0 0 25 0 1 0 183948184 90480640 21098 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 22090 21098 577 886 0 21200 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 88360

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1765336/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=88584 CPUtime=522.13
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 31667 0 0 0 52094 119 0 0 25 0 1 0 183948184 90710016 21155 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 22146 21155 577 886 0 21256 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 88584

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1763416/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=90612 CPUtime=582.11
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 32143 0 0 0 58082 129 0 0 25 0 1 0 183948184 92786688 21631 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 22653 21631 577 886 0 21763 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 90612

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1762776/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=91144 CPUtime=642.1
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 32304 0 0 0 64071 139 0 0 25 0 1 0 183948184 93331456 21792 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 22786 21792 577 886 0 21896 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 91144

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1761368/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93032 CPUtime=702.08
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 41926 0 0 0 70052 156 0 0 25 0 1 0 183948184 95264768 22156 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23258 22156 584 886 0 22368 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 93032

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760088/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93792 CPUtime=762.07
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 42231 0 0 0 76041 166 0 0 25 0 1 0 183948184 96043008 22461 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23448 22461 584 886 0 22558 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 93792

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760024/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93792 CPUtime=822.05
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 42234 0 0 0 82028 177 0 0 25 0 1 0 183948184 96043008 22464 1992294400 4194304 7823515 548682068736 18446744073709551615 5839572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23448 22464 584 886 0 22558 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 93792

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760344/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93724 CPUtime=882.03
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50764 0 0 0 88014 189 0 0 25 0 1 0 183948184 95973376 22400 1992294400 4194304 7823515 548682068736 18446744073709551615 5994950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23431 22400 584 886 0 22541 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 93724

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760152/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93724 CPUtime=942.02
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50810 0 0 0 94001 201 0 0 25 0 1 0 183948184 95973376 22446 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23431 22446 584 886 0 22541 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 93724

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

[startup+947.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760152/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93724 CPUtime=946.81
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50810 0 0 0 94480 201 0 0 25 0 1 0 183948184 95973376 22446 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23431 22446 584 886 0 22541 0
Current children cumulated CPU time (s) 946.81
Current children cumulated vsize (KiB) 93724

[startup+953.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760152/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93724 CPUtime=953.22
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50810 0 0 0 95119 203 0 0 25 0 1 0 183948184 95973376 22446 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23431 22446 584 886 0 22541 0
Current children cumulated CPU time (s) 953.22
Current children cumulated vsize (KiB) 93724

[startup+956.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760152/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93724 CPUtime=956.41
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50810 0 0 0 95438 203 0 0 25 0 1 0 183948184 95973376 22446 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23431 22446 584 886 0 22541 0
Current children cumulated CPU time (s) 956.41
Current children cumulated vsize (KiB) 93724

[startup+958.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760152/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93724 CPUtime=958.01
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50810 0 0 0 95597 204 0 0 25 0 1 0 183948184 95973376 22446 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23431 22446 584 886 0 22541 0
Current children cumulated CPU time (s) 958.01
Current children cumulated vsize (KiB) 93724

[startup+959.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760152/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93724 CPUtime=959.61
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50810 0 0 0 95757 204 0 0 25 0 1 0 183948184 95973376 22446 1992294400 4194304 7823515 548682068736 18446744073709551615 6237521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23431 22446 584 886 0 22541 0
Current children cumulated CPU time (s) 959.61
Current children cumulated vsize (KiB) 93724

[startup+960.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760152/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=93724 CPUtime=960.01
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50810 0 0 0 95797 204 0 0 25 0 1 0 183948184 95973376 22446 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/379/statm: 23431 22446 584 886 0 22541 0
Current children cumulated CPU time (s) 960.01
Current children cumulated vsize (KiB) 93724

[startup+960.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 382
/proc/meminfo: memFree=1760152/2055920 swapFree=4191896/4192956
[pid=379] ppid=377 vsize=75804 CPUtime=960.2
/proc/379/stat : 379 (pbscip.linux.x8) R 377 379 32666 0 -1 4194304 50812 0 0 0 95816 204 0 0 17 0 1 0 183948184 77623296 18285 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/379/statm: 18951 18285 586 886 0 18061 0
Current children cumulated CPU time (s) 960.2
Current children cumulated vsize (KiB) 75804

Child status: 0
Real time (s): 960.517
CPU time (s): 960.23
CPU user time (s): 958.17
CPU system time (s): 2.05969
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 130216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 958.17
system time used= 2.05969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50815
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= 62
involuntary context switches= 922

runsolver used 0.727889 second user time and 2.07168 second system time

The end

Launcher Data 

Begin job on node2 at 2009-06-16 16:44:31
IDJOB=1869204
IDBENCH=2233
IDSOLVER=683
FILE ID=node2/1869204-1245163471
PBS_JOBID= 9363836
Free space on /tmp= 66452 MiB

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

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=334591507

node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848896 kB
Buffers:         36640 kB
Cached:          99168 kB
SwapCached:        260 kB
Active:          51760 kB
Inactive:        97356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848896 kB
SwapTotal:     4192956 kB
SwapFree:      4191896 kB
Dirty:           10368 kB
Writeback:           0 kB
Mapped:          21784 kB
Slab:            43876 kB
Committed_AS:   153648 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66440 MiB
End job on node2 at 2009-06-16 17:00:32