Trace number 2664162

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)0 1800.47 1801.1

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM6fc83a536fe9a582c06bbccccc09c709
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-13164
Best CPU time to get the best result obtained on this benchmark47.7537
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12220
Optimality of the best value was proved NO
Number of variables10713
Total number of constraints9151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9151
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664162-1276356765.opb>
0.19/0.26	c original problem has 10713 variables (10713 bin, 0 int, 0 impl, 0 cont) and 9151 constraints
0.19/0.26	c problem read
0.19/0.26	c presolving settings loaded
0.19/0.26	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.39/0.41	o 0
0.39/0.41	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.39/0.41	c presolving:
0.39/0.48	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 5381 chg sides, 4673 chg coeffs, 0 upgd conss, 1484 impls, 0 clqs
0.59/0.62	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 5381 chg sides, 4673 chg coeffs, 9151 upgd conss, 1484 impls, 0 clqs
0.79/0.87	c (round 3) 0 del vars, 1342 del conss, 0 chg bounds, 9284 chg sides, 13326 chg coeffs, 9151 upgd conss, 14070 impls, 2840 clqs
0.99/1.02	c (round 4) 0 del vars, 1371 del conss, 0 chg bounds, 9936 chg sides, 17402 chg coeffs, 9151 upgd conss, 14354 impls, 3123 clqs
1.10/1.19	c (round 5) 0 del vars, 2125 del conss, 0 chg bounds, 12130 chg sides, 23777 chg coeffs, 9151 upgd conss, 14662 impls, 3464 clqs
1.19/1.29	c (round 6) 0 del vars, 2151 del conss, 0 chg bounds, 12325 chg sides, 24060 chg coeffs, 9151 upgd conss, 14666 impls, 3492 clqs
1.69/1.79	c    (1.4s) probing: 101/10713 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.69/1.79	c    (1.4s) probing aborted: 100/100 successive totally useless probings
1.69/1.79	c presolving (7 rounds):
1.69/1.79	c  0 deleted vars, 2151 deleted constraints, 0 tightened bounds, 0 added holes, 12325 changed sides, 24060 changed coefficients
1.69/1.79	c  14666 implications, 3492 cliques
1.69/1.79	c presolved problem has 10713 variables (10713 bin, 0 int, 0 impl, 0 cont) and 12723 constraints
1.69/1.79	c    7158 constraints of type <knapsack>
1.69/1.79	c    4131 constraints of type <setppc>
1.69/1.79	c    1434 constraints of type <logicor>
1.69/1.79	c transformed objective value is always integral (scale: 1)
1.69/1.79	c Presolving Time: 1.34
1.69/1.79	c - non default parameters ----------------------------------------------------------------------
1.69/1.79	c # SCIP version 1.2.1.2
1.69/1.79	c 
1.69/1.79	c # frequency for displaying node information lines
1.69/1.79	c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.79	c display/freq = 10000
1.69/1.79	c 
1.69/1.79	c # maximal time in seconds to run
1.69/1.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.79	c limits/time = 1799.75
1.69/1.79	c 
1.69/1.79	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.79	c limits/memory = 1620
1.69/1.79	c 
1.69/1.79	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.69/1.79	c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.79	c lp/solvefreq = -1
1.69/1.79	c 
1.69/1.79	c # should presolving try to simplify inequalities
1.69/1.79	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.79	c constraints/linear/simplifyinequalities = TRUE
1.69/1.79	c 
1.69/1.79	c # should presolving try to simplify knapsacks
1.69/1.79	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.79	c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.79	c 
1.69/1.79	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.79	c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.79	c separating/rapidlearning/freq = 0
1.69/1.79	c 
1.69/1.79	c -----------------------------------------------------------------------------------------------
1.69/1.79	c start solving
1.79/1.81	c 
1.79/1.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.79/1.84	c t 1.4s|     1 |     2 |     0 |     - |  38M|   0 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.041100e+04 | 0.000000e+00 | 100.00%
171.23/171.36	c   170s| 10000 | 10001 |     0 |   0.0 |  52M| 113 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.007200e+04 | 0.000000e+00 | 100.00%
357.46/357.67	c   356s| 20000 | 20001 |     0 |   0.0 |  64M| 127 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.006000e+04 | 0.000000e+00 | 100.00%
545.00/545.27	c   543s| 30000 | 30001 |     0 |   0.0 |  74M| 129 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.005500e+04 | 0.000000e+00 | 100.00%
732.54/732.83	c   730s| 40000 | 40001 |     0 |   0.0 |  85M| 131 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.005100e+04 | 0.000000e+00 | 100.00%
920.28/920.63	c   918s| 50000 | 50001 |     0 |   0.0 |  95M| 133 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.004700e+04 | 0.000000e+00 | 100.00%
1107.50/1107.96	c  1105s| 60000 | 60001 |     0 |   0.0 | 106M| 137 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.004300e+04 | 0.000000e+00 | 100.00%
1294.74/1295.27	c  1291s| 70000 | 70001 |     0 |   0.0 | 116M| 141 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.004100e+04 | 0.000000e+00 | 100.00%
1482.08/1482.64	c  1478s| 80000 | 80001 |     0 |   0.0 | 126M| 145 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.003800e+04 | 0.000000e+00 | 100.00%
1669.01/1669.63	c  1665s| 90000 | 90001 |     0 |   0.0 | 136M| 145 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |-3.003600e+04 | 0.000000e+00 | 100.00%
1800.08/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.72	c 
1800.08/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.72	c Solving Time (sec) : 1795.55
1800.08/1800.72	c Solving Nodes      : 97000
1800.08/1800.72	c Primal Bound       : +0.00000000000000e+00 (3 solutions)
1800.08/1800.72	c Dual Bound         : -3.00340000000000e+04
1800.08/1800.72	c Gap                : 100.00 %
1800.08/1800.74	s SATISFIABLE
1800.08/1800.74	v -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 
1800.08/1800.74	v -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 
1800.08/1800.74	v -x8282 -x8281 -x8280 -x8277 -x8276 -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 
1800.08/1800.74	v -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8240 -x8239 
1800.08/1800.74	v -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 
1800.08/1800.74	v -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8204 -x8203 -x8202 -x8201 -x8200 
1800.08/1800.74	v -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182 
1800.08/1800.74	v -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8163 -x8162 
1800.08/1800.74	v -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 
1800.08/1800.74	v -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8132 -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 
1800.08/1800.74	v -x8123 -x8122 -x8121 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 
1800.08/1800.74	v -x8105 -x8104 -x8103 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 
1800.08/1800.74	v -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 
1800.08/1800.74	v -x8065 -x8064 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 
1800.08/1800.74	v -x8043 -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 
1800.08/1800.74	v -x8025 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 
1800.08/1800.74	v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7988 -x7987 -x7986 -x7985 
1800.08/1800.74	v -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 
1800.08/1800.74	v -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 
1800.08/1800.74	v -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 
1800.08/1800.74	v -x7927 -x7926 -x7925 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 
1800.08/1800.74	v -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7881 
1800.08/1800.74	v -x7880 -x7879 -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 
1800.08/1800.74	v -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7845 -x7844 -x7843 -x7842 
1800.08/1800.74	v -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 
1800.08/1800.74	v -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 -x7812 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 
1800.08/1800.74	v -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 
1800.08/1800.74	v -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 
1800.08/1800.74	v -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 
1800.08/1800.74	v -x7745 -x7744 -x7743 -x7742 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 
1800.08/1800.74	v -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7705 
1800.08/1800.74	v -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 
1800.08/1800.74	v -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 
1800.08/1800.74	v -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 
1800.08/1800.74	v -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 
1800.08/1800.74	v -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 
1800.08/1800.74	v -x7608 -x7607 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 
1800.08/1800.74	v -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7571 -x7570 -x7569 -x7568 
1800.08/1800.74	v -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 
1800.08/1800.74	v -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 
1800.08/1800.74	v -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 
1800.08/1800.74	v -x7506 -x7505 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 
1800.08/1800.74	v -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 
1800.08/1800.74	v -x7467 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 
1800.08/1800.74	v -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 
1800.08/1800.74	v -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 
1800.08/1800.74	v -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7393 -x7392 -x7391 -x7390 -x7389 
1800.08/1800.74	v -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 
1800.08/1800.74	v -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7355 -x7354 -x7353 -x7352 -x7351 
1800.08/1800.74	v -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 
1800.08/1800.74	v -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 
1800.08/1800.74	v -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 
1800.08/1800.74	v -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 
1800.08/1800.74	v -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 
1800.08/1800.74	v -x7256 -x7255 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 
1800.08/1800.74	v -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7217 -x7216 
1800.08/1800.74	v -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 
1800.08/1800.74	v -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 
1800.08/1800.74	v -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 
1800.08/1800.74	v -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7131 
1800.08/1800.74	v -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 
1800.08/1800.74	v -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 
1800.08/1800.74	v -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 
1800.08/1800.74	v -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 
1800.08/1800.74	v -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 
1800.08/1800.74	v -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 
1800.08/1800.74	v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 
1800.08/1800.74	v -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 
1800.08/1800.74	v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 
1800.08/1800.74	v -x6957 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 
1800.08/1800.74	v -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6916 
1800.08/1800.74	v -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 
1800.08/1800.74	v -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 
1800.08/1800.74	v -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 
1800.08/1800.74	v -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 
1800.08/1800.74	v -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 
1800.08/1800.74	v -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 
1800.08/1800.74	v -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 
1800.08/1800.74	v -x6777 -x6776 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 
1800.08/1800.74	v -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6739 -x6738 -x6737 
1800.08/1800.74	v -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 
1800.08/1800.74	v -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 
1800.08/1800.74	v -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 
1800.08/1800.74	v -x6679 -x6678 -x6677 -x6676 -x6675 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 
1800.08/1800.74	v -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6639 -x6638 
1800.08/1800.74	v -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 
1800.08/1800.74	v -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6603 -x6602 -x6601 -x6600 -x6599 
1800.08/1800.74	v -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 
1800.08/1800.74	v -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 
1800.08/1800.74	v -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 
1800.08/1800.74	v -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 
1800.08/1800.74	v -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 
1800.08/1800.74	v -x6501 -x6500 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 
1800.08/1800.74	v -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6460 -x6459 -x6458 
1800.08/1800.74	v -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 
1800.08/1800.74	v -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 
1800.08/1800.74	v -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 
1800.08/1800.74	v -x6400 -x6399 -x6398 -x6397 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 
1800.08/1800.74	v -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 
1800.08/1800.74	v -x6361 -x6360 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 
1800.08/1800.74	v -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 
1800.08/1800.74	v -x6323 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 
1800.08/1800.74	v -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6280 
1800.08/1800.74	v -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 
1800.08/1800.74	v -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 
1800.08/1800.74	v -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 
1800.08/1800.74	v -x6221 -x6220 -x6219 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 
1800.08/1800.74	v -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 
1800.08/1800.74	v -x6182 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 
1800.08/1800.74	v -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 
1800.08/1800.74	v -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 
1800.08/1800.74	v -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 
1800.08/1800.74	v -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 
1800.08/1800.74	v -x6077 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 
1800.08/1800.74	v -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 
1800.08/1800.74	v -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 
1800.08/1800.74	v -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 
1800.08/1800.74	v -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 
1800.08/1800.74	v -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 
1800.08/1800.74	v -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5936 -x5935 -x5934 -x5933 
1800.08/1800.74	v -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 
1800.08/1800.74	v -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 
1800.08/1800.74	v -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 
1800.08/1800.74	v -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 
1800.08/1800.74	v -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 
1800.08/1800.74	v -x5837 -x5836 -x5835 -x5834 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 
1800.08/1800.74	v -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 
1800.08/1800.74	v -x5798 -x5797 -x5796 -x5795 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 
1800.08/1800.74	v -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5755 -x5754 -x5753 
1800.08/1800.74	v -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 
1800.08/1800.74	v -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 
1800.08/1800.74	v -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 
1800.08/1800.74	v -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 
1800.08/1800.74	v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 
1800.08/1800.74	v -x5657 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 
1800.08/1800.74	v -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5620 -x5619 -x5618 -x5617 
1800.08/1800.74	v -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 
1800.08/1800.74	v -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 
1800.08/1800.74	v -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 
1800.08/1800.74	v -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 
1800.08/1800.74	v -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 
1800.08/1800.74	v -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 
1800.08/1800.74	v -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 
1800.08/1800.74	v -x5480 -x5479 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 
1800.08/1800.74	v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5438 
1800.08/1800.74	v -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 
1800.08/1800.74	v -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5400 -x5399 -x5398 -x5397 -x5396 
1800.08/1800.74	v -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 
1800.08/1800.74	v -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 
1800.08/1800.74	v -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 
1800.08/1800.74	v -x5339 -x5338 -x5337 -x5336 -x5335 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 
1800.08/1800.74	v -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 
1800.08/1800.74	v -x5300 -x5299 -x5298 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 
1800.08/1800.74	v -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5258 
1800.08/1800.74	v -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 
1800.08/1800.74	v -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5224 -x5223 -x5222 -x5221 -x5220 
1800.08/1800.74	v -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 
1800.08/1800.74	v -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 
1800.08/1800.74	v -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 
1800.08/1800.74	v -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 
1800.08/1800.74	v -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5121 
1800.08/1800.74	v -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 
1800.08/1800.74	v -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 
1800.08/1800.74	v -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 
1800.08/1800.74	v -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 
1800.08/1800.74	v -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 
1800.08/1800.74	v -x5020 -x5019 -x5018 -x5017 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 
1800.08/1800.74	v -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 
1800.08/1800.74	v -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 
1800.08/1800.74	v -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4939 
1800.08/1800.74	v -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 
1800.08/1800.74	v -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4900 -x4899 
1800.08/1800.74	v -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 
1800.08/1800.74	v -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4863 -x4862 -x4861 -x4860 
1800.08/1800.74	v -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 
1800.08/1800.74	v -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 
1800.08/1800.74	v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 
1800.08/1800.74	v -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 
1800.08/1800.74	v -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 
1800.08/1800.74	v -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 
1800.08/1800.74	v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 
1800.08/1800.74	v -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 
1800.08/1800.74	v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 
1800.08/1800.74	v -x4682 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 
1800.08/1800.74	v -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4639 -x4638 
1800.08/1800.74	v -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 
1800.08/1800.74	v -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4600 -x4599 
1800.08/1800.74	v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 
1800.08/1800.74	v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4564 -x4563 -x4562 -x4561 -x4560 
1800.08/1800.74	v -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 
1800.08/1800.74	v -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 
1800.08/1800.74	v -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 
1800.08/1800.74	v -x4504 -x4503 -x4502 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 
1800.08/1800.74	v -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4464 -x4463 
1800.08/1800.74	v -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 
1800.08/1800.74	v -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 
1800.08/1800.74	v -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 
1800.08/1800.74	v -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 
1800.08/1800.74	v -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 
1800.08/1800.74	v -x4367 -x4366 -x4365 -x4364 -x4363 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 
1800.08/1800.74	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 
1800.08/1800.74	v -x4328 -x4327 -x4326 -x4325 -x4324 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 
1800.08/1800.74	v -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4283 
1800.08/1800.74	v -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 
1800.08/1800.74	v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4249 -x4248 -x4247 -x4246 -x4245 
1800.08/1800.74	v -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 
1800.08/1800.74	v -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 
1800.08/1800.74	v -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 
1800.08/1800.74	v -x4187 -x4186 -x4185 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 
1800.08/1800.74	v -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4148 -x4147 -x4146 
1800.08/1800.74	v -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 
1800.08/1800.74	v -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4110 -x4109 -x4108 
1800.08/1800.74	v -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 
1800.08/1800.74	v -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 
1800.08/1800.74	v -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 
1800.08/1800.74	v -x4050 -x4049 -x4048 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 
1800.08/1800.74	v -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4011 -x4010 -x4009 
1800.08/1800.74	v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 
1800.08/1800.74	v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 
1800.08/1800.74	v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 
1800.08/1800.74	v -x3949 -x3948 -x3947 -x3946 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 
1800.08/1800.74	v -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 
1800.08/1800.74	v -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 
1800.08/1800.74	v -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 
1800.08/1800.74	v -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 
1800.08/1800.74	v -x3848 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 
1800.08/1800.74	v -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 
1800.08/1800.74	v -x3810 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 
1800.08/1800.74	v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3772 -x3771 -x3770 -x3769 -x3768 
1800.08/1800.74	v -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 
1800.08/1800.74	v -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 
1800.08/1800.74	v -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 
1800.08/1800.74	v -x3709 -x3708 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 
1800.08/1800.74	v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 
1800.08/1800.74	v -x3670 -x3669 -x3668 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 
1800.08/1800.74	v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3624 -x3623 -x3622 -x3621 
1800.08/1800.74	v -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 
1800.08/1800.74	v -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3586 -x3585 -x3584 -x3583 -x3582 
1800.08/1800.74	v -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 
1800.08/1800.74	v -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 
1800.08/1800.74	v -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 
1800.08/1800.74	v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 
1800.08/1800.74	v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 
1800.08/1800.74	v -x3485 -x3484 -x3483 -x3482 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 
1800.08/1800.74	v -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 
1800.08/1800.74	v -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 
1800.08/1800.74	v -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 
1800.08/1800.74	v -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 
1800.08/1800.74	v -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3369 -x3368 -x3367 -x3366 
1800.08/1800.74	v -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 
1800.08/1800.74	v -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 
1800.08/1800.74	v -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 
1800.08/1800.74	v -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 
1800.08/1800.74	v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 
1800.08/1800.74	v -x3269 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 
1800.08/1800.74	v -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3224 -x3223 
1800.08/1800.74	v -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 
1800.08/1800.74	v -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3187 -x3186 -x3185 -x3184 
1800.08/1800.74	v -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 
1800.08/1800.74	v -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 
1800.08/1800.74	v -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
1800.08/1800.74	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 
1800.08/1800.74	v -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 
1800.08/1800.74	v -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 
1800.08/1800.74	v -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 
1800.08/1800.74	v -x3048 -x3047 -x3046 -x3045 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 
1800.08/1800.74	v -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 
1800.08/1800.74	v -x3009 -x3008 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 
1800.08/1800.74	v -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 
1800.08/1800.74	v -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 
1800.08/1800.74	v -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 
1800.08/1800.74	v -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 
1800.08/1800.74	v -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 
1800.08/1800.74	v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 
1800.08/1800.74	v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 
1800.08/1800.74	v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 
1800.08/1800.74	v -x2829 -x2828 -x2827 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 
1800.08/1800.74	v -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2790 -x2789 -x2788 
1800.08/1800.74	v -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 
1800.08/1800.74	v -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2752 -x2751 -x2750 -x2749 
1800.08/1800.74	v -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 
1800.08/1800.74	v -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 
1800.08/1800.74	v -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 
1800.08/1800.74	v -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 
1800.08/1800.74	v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2654 -x2653 -x2652 
1800.08/1800.74	v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 
1800.08/1800.74	v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2616 -x2615 -x2614 -x2613 -x2612 
1800.08/1800.74	v -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 
1800.08/1800.74	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 
1800.08/1800.74	v -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 
1800.08/1800.74	v -x2556 -x2555 -x2554 -x2553 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 
1800.08/1800.74	v -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2513 -x2512 -x2511 
1800.08/1800.74	v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 
1800.08/1800.74	v -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 
1800.08/1800.74	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
1800.08/1800.74	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 
1800.08/1800.75	v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 
1800.08/1800.75	v -x2414 -x2413 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 
1800.08/1800.75	v -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2373 -x2372 
1800.08/1800.75	v -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 
1800.08/1800.75	v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 
1800.08/1800.75	v -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 
1800.08/1800.75	v -x2315 -x2314 -x2313 -x2312 -x2311 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 
1800.08/1800.75	v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 
1800.08/1800.75	v -x2277 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 
1800.08/1800.75	v -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 
1800.08/1800.75	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 
1800.08/1800.75	v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2193 -x2192 -x2191 -x2190 
1800.08/1800.75	v -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 
1800.08/1800.75	v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 
1800.08/1800.75	v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 
1800.08/1800.75	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2115 -x2114 -x2113 -x2112 
1800.08/1800.75	v -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 
1800.08/1800.75	v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 
1800.08/1800.75	v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 
1800.08/1800.75	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 
1800.08/1800.75	v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 
1800.08/1800.75	v -x2017 -x2016 -x2015 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 
1800.08/1800.75	v -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1980 -x1979 -x1978 
1800.08/1800.75	v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 
1800.08/1800.75	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 
1800.08/1800.75	v -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 
1800.08/1800.75	v -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 
1800.08/1800.75	v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 
1800.08/1800.75	v -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 
1800.08/1800.75	v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 
1800.08/1800.75	v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 
1800.08/1800.75	v -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 
1800.08/1800.75	v -x1802 -x1801 -x1800 -x1799 -x1798 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 
1800.08/1800.75	v -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 
1800.08/1800.75	v -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 
1800.08/1800.75	v -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
1800.08/1800.75	v -x1725 -x1724 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
1800.08/1800.75	v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
1800.08/1800.75	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 
1800.08/1800.75	v -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1645 -x1644 
1800.08/1800.75	v -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 
1800.08/1800.75	v -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1606 -x1605 
1800.08/1800.75	v -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 
1800.08/1800.75	v -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 
1800.08/1800.75	v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 
1800.08/1800.75	v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 
1800.08/1800.75	v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 
1800.08/1800.75	v -x1506 -x1505 -x1504 -x1503 -x1502 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 
1800.08/1800.75	v -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 
1800.08/1800.75	v -x1468 -x1467 -x1466 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 
1800.08/1800.75	v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 
1800.08/1800.75	v -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 
1800.08/1800.75	v -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 
1800.08/1800.75	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 
1800.08/1800.75	v -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1346 -x1345 
1800.08/1800.75	v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 
1800.08/1800.75	v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1309 -x1308 -x1307 
1800.08/1800.75	v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 
1800.08/1800.75	v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1270 -x1269 -x1268 
1800.08/1800.75	v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 
1800.08/1800.75	v -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1232 -x1231 -x1230 -x1229 
1800.08/1800.75	v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 
1800.08/1800.75	v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1195 -x1194 -x1193 -x1192 -x1191 
1800.08/1800.75	v -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 
1800.08/1800.75	v -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 
1800.08/1800.75	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 
1800.08/1800.75	v -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 
1800.08/1800.75	v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 
1800.08/1800.75	v -x1092 -x1091 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 
1800.08/1800.75	v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1048 
1800.08/1800.75	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 
1800.08/1800.75	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 
1800.08/1800.75	v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 
1800.08/1800.75	v -x987 -x986 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 
1800.08/1800.75	v -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x946 -x945 -x944 -x943 -x942 -x941 -x940 
1800.08/1800.75	v -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 
1800.08/1800.75	v -x918 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
1800.08/1800.75	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 
1800.08/1800.75	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 
1800.08/1800.75	v -x849 -x848 -x847 -x846 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 
1800.08/1800.75	v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x803 -x802 -x801 
1800.08/1800.75	v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 
1800.08/1800.75	v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 
1800.08/1800.75	v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 
1800.08/1800.75	v -x733 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
1800.08/1800.75	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x690 -x689 -x688 -x687 -x686 -x685 -x684 
1800.08/1800.75	v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 
1800.08/1800.75	v -x662 -x661 -x660 -x659 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 
1800.08/1800.75	v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x620 -x619 -x618 -x617 -x616 -x615 
1800.08/1800.75	v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
1800.08/1800.75	v -x593 -x592 -x591 -x590 -x589 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 
1800.08/1800.75	v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x551 -x550 -x549 -x548 -x547 
1800.08/1800.75	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 
1800.08/1800.75	v -x525 -x524 -x523 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 
1800.08/1800.75	v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1800.08/1800.75	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
1800.08/1800.75	v -x457 -x456 -x455 -x454 -x453 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 
1800.08/1800.75	v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x413 -x412 -x411 
1800.08/1800.75	v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 
1800.08/1800.75	v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 
1800.08/1800.75	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 
1800.08/1800.75	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 
1800.08/1800.75	v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x296 -x295 -x294 -x293 
1800.08/1800.75	v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 
1800.08/1800.75	v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
1800.08/1800.75	v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x228 -x227 -x226 -x225 
1800.08/1800.75	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 
1800.08/1800.75	v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1800.08/1800.75	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1800.08/1800.75	v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 
1800.08/1800.75	v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 
1800.08/1800.75	v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 
1800.08/1800.75	v -x85 -x84 -x83 -x82 -x81 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 
1800.08/1800.75	v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 
1800.08/1800.75	v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x10713 -x10712 -x10711 -x10710 -x10709 
1800.08/1800.75	v -x10708 -x10707 -x10706 -x10705 -x10704 -x10703 -x10702 -x10701 -x10700 -x10699 -x10698 -x10697 -x10696 -x10695 -x10694 
1800.08/1800.75	v -x10693 -x10692 -x10691 -x10690 -x10689 -x10688 -x10687 -x10686 -x10685 -x10684 -x10683 -x10679 -x10678 -x10677 -x10676 -x10675 
1800.08/1800.75	v -x10674 -x10673 -x10672 -x10671 -x10670 -x10669 -x10668 -x10667 -x10666 -x10665 -x10664 -x10663 -x10662 -x10661 -x10660 -x10659 
1800.08/1800.75	v -x10658 -x10657 -x10656 -x10655 -x10654 -x10653 -x10652 -x10651 -x10650 -x10649 -x10645 -x10644 -x10643 -x10642 -x10641 
1800.08/1800.75	v -x10640 -x10639 -x10638 -x10637 -x10636 -x10635 -x10634 -x10633 -x10632 -x10631 -x10630 -x10629 -x10628 -x10627 -x10626 -x10625 
1800.08/1800.75	v -x10624 -x10623 -x10622 -x10621 -x10620 -x10619 -x10618 -x10617 -x10613 -x10612 -x10611 -x10610 -x10609 -x10608 -x10607 -x10606 
1800.08/1800.75	v -x10605 -x10604 -x10603 -x10602 -x10601 -x10600 -x10599 -x10598 -x10597 -x10596 -x10595 -x10594 -x10593 -x10592 -x10591 
1800.08/1800.75	v -x10590 -x10589 -x10588 -x10587 -x10586 -x10585 -x10584 -x10583 -x10579 -x10578 -x10577 -x10576 -x10575 -x10574 -x10573 -x10572 
1800.08/1800.75	v -x10571 -x10570 -x10569 -x10568 -x10567 -x10566 -x10565 -x10564 -x10563 -x10562 -x10561 -x10560 -x10559 -x10558 -x10557 
1800.08/1800.75	v -x10556 -x10555 -x10554 -x10553 -x10552 -x10551 -x10550 -x10549 -x10548 -x10547 -x10543 -x10542 -x10541 -x10540 -x10539 -x10538 
1800.08/1800.75	v -x10537 -x10536 -x10535 -x10534 -x10533 -x10532 -x10531 -x10530 -x10529 -x10528 -x10527 -x10526 -x10525 -x10524 -x10523 -x10522 
1800.08/1800.75	v -x10521 -x10520 -x10519 -x10518 -x10517 -x10516 -x10515 -x10514 -x10513 -x10512 -x10507 -x10506 -x10505 -x10504 -x10503 
1800.08/1800.75	v -x10502 -x10501 -x10500 -x10499 -x10498 -x10497 -x10496 -x10495 -x10494 -x10493 -x10492 -x10491 -x10490 -x10489 -x10488 -x10487 
1800.08/1800.75	v -x10486 -x10485 -x10484 -x10483 -x10482 -x10481 -x10480 -x10479 -x10478 -x10477 -x10476 -x10475 -x10474 -x10469 -x10468 -x10467 
1800.08/1800.75	v -x10466 -x10465 -x10464 -x10463 -x10462 -x10461 -x10460 -x10459 -x10458 -x10457 -x10456 -x10455 -x10454 -x10453 -x10452 
1800.08/1800.75	v -x10451 -x10450 -x10449 -x10448 -x10447 -x10446 -x10445 -x10444 -x10443 -x10442 -x10441 -x10440 -x10439 -x10435 -x10434 -x10433 
1800.08/1800.75	v -x10432 -x10431 -x10430 -x10429 -x10428 -x10427 -x10426 -x10425 -x10424 -x10423 -x10422 -x10421 -x10420 -x10419 -x10418 
1800.08/1800.75	v -x10417 -x10416 -x10415 -x10414 -x10413 -x10412 -x10411 -x10410 -x10409 -x10408 -x10407 -x10406 -x10405 -x10404 -x10403 -x10402 
1800.08/1800.75	v -x10401 -x10400 -x10396 -x10395 -x10394 -x10393 -x10392 -x10391 -x10390 -x10389 -x10388 -x10387 -x10386 -x10385 -x10384 -x10383 
1800.08/1800.75	v -x10382 -x10381 -x10380 -x10379 -x10378 -x10377 -x10376 -x10375 -x10374 -x10373 -x10372 -x10371 -x10370 -x10369 -x10368 
1800.08/1800.75	v -x10360 -x10359 -x10358 -x10357 -x10356 -x10355 -x10354 -x10353 -x10352 -x10351 -x10350 -x10349 -x10348 -x10347 -x10346 -x10345 
1800.08/1800.75	v -x10344 -x10343 -x10342 -x10341 -x10340 -x10339 -x10338 -x10337 -x10336 -x10335 -x10334 -x10333 -x10332 -x10331 -x10330 -x10329 
1800.08/1800.75	v -x10328 -x10327 -x10326 -x10325 -x10321 -x10320 -x10319 -x10318 -x10317 -x10316 -x10315 -x10314 -x10313 -x10312 -x10311 
1800.08/1800.75	v -x10310 -x10309 -x10308 -x10307 -x10306 -x10305 -x10304 -x10303 -x10302 -x10301 -x10300 -x10299 -x10298 -x10297 -x10296 -x10295 
1800.08/1800.75	v -x10294 -x10293 -x10292 -x10291 -x10290 -x10289 -x10288 -x10284 -x10283 -x10282 -x10281 -x10280 -x10279 -x10278 -x10277 
1800.08/1800.75	v -x10276 -x10275 -x10274 -x10273 -x10272 -x10271 -x10270 -x10269 -x10268 -x10267 -x10266 -x10265 -x10264 -x10263 -x10262 -x10261 
1800.08/1800.75	v -x10260 -x10259 -x10258 -x10257 -x10256 -x10255 -x10254 -x10250 -x10249 -x10248 -x10247 -x10246 -x10245 -x10244 -x10243 -x10242 
1800.08/1800.75	v -x10241 -x10240 -x10239 -x10238 -x10237 -x10236 -x10235 -x10234 -x10233 -x10232 -x10231 -x10230 -x10229 -x10228 -x10227 
1800.08/1800.75	v -x10226 -x10225 -x10224 -x10223 -x10222 -x10221 -x10220 -x10219 -x10218 -x10217 -x10216 -x10215 -x10214 -x10210 -x10209 -x10208 
1800.08/1800.75	v -x10207 -x10206 -x10205 -x10204 -x10203 -x10202 -x10201 -x10200 -x10199 -x10198 -x10197 -x10196 -x10195 -x10194 -x10193 -x10192 
1800.08/1800.75	v -x10191 -x10190 -x10189 -x10188 -x10187 -x10186 -x10185 -x10184 -x10183 -x10182 -x10181 -x10180 -x10179 -x10178 -x10177 
1800.08/1800.75	v -x10176 -x10175 -x10174 -x10170 -x10169 -x10168 -x10167 -x10166 -x10165 -x10164 -x10163 -x10162 -x10161 -x10160 -x10159 -x10158 
1800.08/1800.75	v -x10157 -x10156 -x10155 -x10154 -x10153 -x10152 -x10151 -x10150 -x10149 -x10148 -x10147 -x10146 -x10145 -x10144 -x10143 
1800.08/1800.75	v -x10142 -x10141 -x10140 -x10136 -x10135 -x10134 -x10133 -x10132 -x10131 -x10130 -x10129 -x10128 -x10127 -x10126 -x10125 -x10124 
1800.08/1800.75	v -x10123 -x10122 -x10121 -x10120 -x10119 -x10118 -x10117 -x10116 -x10115 -x10114 -x10113 -x10112 -x10111 -x10110 -x10109 -x10108 
1800.08/1800.75	v -x10107 -x10106 -x10102 -x10101 -x10100 -x10099 -x10098 -x10097 -x10096 -x10095 -x10094 -x10093 -x10092 -x10091 -x10090 
1800.08/1800.75	v -x10089 -x10088 -x10087 -x10086 -x10085 -x10084 -x10083 -x10082 -x10081 -x10080 -x10079 -x10078 -x10077 -x10076 -x10075 -x10074 
1800.08/1800.75	v -x10073 -x10072 -x10068 -x10067 -x10066 -x10065 -x10064 -x10063 -x10062 -x10061 -x10060 -x10059 -x10058 -x10057 -x10056 -x10055 
1800.08/1800.75	v -x10054 -x10053 -x10052 -x10051 -x10050 -x10049 -x10048 -x10047 -x10046 -x10045 -x10044 -x10043 -x10042 -x10041 -x10040 
1800.08/1800.75	v -x10039 -x10038 -x10037 -x10036 -x10032 -x10031 -x10030 -x10029 -x10028 -x10027 -x10026 -x10025 -x10024 -x10023 -x10022 -x10021 
1800.08/1800.75	v -x10020 -x10019 -x10018 -x10017 -x10016 -x10015 -x10014 -x10013 -x10012 -x10011 -x10010 -x10009 -x10008 -x10007 -x10006 
1800.08/1800.75	v -x10005 -x10004 -x10003 -x10002 -x9993 -x9992 -x9991 -x9990 -x9989 -x9988 -x9987 -x9986 -x9985 -x9984 -x9983 -x9982 -x9981 -x9980 
1800.08/1800.75	v -x9979 -x9978 -x9977 -x9976 -x9975 -x9974 -x9973 -x9972 -x9971 -x9970 -x9969 -x9968 -x9967 -x9966 -x9965 -x9964 -x9960 -x9959 
1800.08/1800.75	v -x9958 -x9957 -x9956 -x9955 -x9954 -x9953 -x9952 -x9951 -x9950 -x9949 -x9948 -x9947 -x9946 -x9945 -x9944 -x9943 -x9942 
1800.08/1800.75	v -x9941 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9925 -x9924 -x9923 -x9922 -x9921 -x9920 
1800.08/1800.75	v -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907 -x9906 -x9905 -x9904 -x9903 -x9902 
1800.08/1800.75	v -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9889 -x9888 -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 
1800.08/1800.75	v -x9879 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870 -x9869 -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 
1800.08/1800.75	v -x9861 -x9860 -x9859 -x9854 -x9853 -x9852 -x9851 -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 
1800.08/1800.75	v -x9839 -x9838 -x9837 -x9836 -x9835 -x9834 -x9833 -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9818 
1800.08/1800.75	v -x9817 -x9816 -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 -x9808 -x9807 -x9806 -x9805 -x9804 -x9803 -x9802 -x9801 
1800.08/1800.75	v -x9800 -x9799 -x9798 -x9797 -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9781 -x9780 
1800.08/1800.75	v -x9779 -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 
1800.08/1800.75	v -x9761 -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9746 -x9745 -x9744 -x9743 -x9742 -x9741 
1800.08/1800.75	v -x9740 -x9739 -x9738 -x9737 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9730 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 
1800.08/1800.75	v -x9722 -x9721 -x9720 -x9719 -x9718 -x9717 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702 -x9701 
1800.08/1800.75	v -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 -x9683 
1800.08/1800.75	v -x9682 -x9681 -x9680 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666 -x9665 -x9664 -x9663 -x9662 
1800.08/1800.75	v -x9661 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654 -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 
1800.08/1800.75	v -x9643 -x9642 -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 
1800.08/1800.75	v -x9619 -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9599 -x9598 
1800.08/1800.75	v -x9597 -x9596 -x9595 -x9594 -x9593 -x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 
1800.08/1800.75	v -x9579 -x9578 -x9577 -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559 -x9558 
1800.08/1800.75	v -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541 -x9540 
1800.08/1800.75	v -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9527 -x9526 -x9525 -x9524 -x9523 -x9522 -x9521 -x9520 -x9519 
1800.08/1800.75	v -x9518 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505 -x9504 -x9503 -x9502 -x9501 
1800.08/1800.75	v -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9489 -x9488 -x9487 -x9486 -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 
1800.08/1800.75	v -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469 -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 
1800.08/1800.75	v -x9461 -x9460 -x9459 -x9458 -x9453 -x9452 -x9451 -x9450 -x9449 -x9448 -x9447 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 
1800.08/1800.75	v -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 
1800.08/1800.75	v -x9421 -x9420 -x9419 -x9418 -x9417 -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 
1800.08/1800.75	v -x9400 -x9399 -x9398 -x9397 -x9396 -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 
1800.08/1800.75	v -x9380 -x9379 -x9378 -x9377 -x9376 -x9375 -x9374 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 
1800.08/1800.75	v -x9362 -x9361 -x9360 -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 
1800.08/1800.75	v -x9344 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324 
1800.08/1800.75	v -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306 
1800.08/1800.75	v -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 -x9286 -x9285 
1800.08/1800.75	v -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269 -x9268 -x9267 
1800.08/1800.75	v -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252 -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 
1800.08/1800.75	v -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9234 -x9233 -x9232 -x9231 -x9226 -x9225 -x9224 -x9223 -x9222 
1800.08/1800.75	v -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215 -x9214 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 
1800.08/1800.75	v -x9203 -x9202 -x9201 -x9200 -x9199 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 
1800.08/1800.75	v -x9181 -x9180 -x9179 -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 
1800.08/1800.75	v -x9163 -x9162 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142 
1800.08/1800.75	v -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9122 -x9121 
1800.08/1800.75	v -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107 -x9106 -x9105 -x9104 
1800.08/1800.75	v -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9092 -x9088 -x9087 -x9086 -x9085 -x9084 -x9083 
1800.08/1800.75	v -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069 -x9068 -x9067 -x9066 -x9065 
1800.08/1800.75	v -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9052 -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 
1800.08/1800.75	v -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 
1800.08/1800.75	v -x9025 -x9024 -x9019 -x9018 -x9017 -x9016 -x9015 -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 
1800.08/1800.75	v -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8984 -x8983 -x8982 
1800.08/1800.75	v -x8981 -x8980 -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 
1800.08/1800.75	v -x8964 -x8963 -x8962 -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8950 -x8946 -x8945 -x8944 
1800.08/1800.75	v -x8943 -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 
1800.08/1800.75	v -x8925 -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8907 -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 
1800.08/1800.75	v -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 
1800.08/1800.75	v -x8882 -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 -x8863 -x8862 
1800.08/1800.75	v -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 -x8845 -x8844 
1800.08/1800.75	v -x8843 -x8842 -x8841 -x8840 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 -x8827 -x8826 -x8825 -x8824 -x8823 
1800.08/1800.75	v -x8822 -x8821 -x8820 -x8819 -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8809 -x8808 -x8803 -x8802 -x8801 
1800.08/1800.75	v -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 
1800.08/1800.75	v -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8765 -x8764 -x8763 -x8762 -x8761 
1800.08/1800.75	v -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 -x8746 -x8745 -x8744 -x8743 
1800.08/1800.75	v -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8725 -x8724 -x8723 -x8722 
1800.08/1800.75	v -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710 -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 
1800.08/1800.75	v -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 
1800.08/1800.75	v -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8667 -x8666 
1800.08/1800.75	v -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 
1800.08/1800.75	v -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 
1800.08/1800.75	v -x8625 -x8624 -x8623 -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 
1800.08/1800.75	v -x8604 -x8603 -x8602 -x8601 -x8600 -x8599 -x8598 -x8597 -x8596 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8584 -x8583 
1800.08/1800.75	v -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 
1800.08/1800.75	v -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 
1800.08/1800.75	v -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8523 
1800.08/1800.75	v -x8522 -x8521 -x8520 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 
1800.08/1800.75	v -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8481 -x8480 -x8479 
1800.08/1800.75	v -x8478 -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 
1800.08/1800.75	v -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454 -x8453 -x8452 -x8451 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 
1800.08/1800.75	v -x8438 -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 
1800.08/1800.75	v -x8420 -x8419 -x8418 -x8417 -x8416 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 
1800.08/1800.75	v -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 -x8383 
1800.08/1800.75	v -x8382 -x8381 -x8380 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 
1800.08/1800.75	v -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 
1800.08/1800.75	v -x8343 -x8342 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 
1800.08/1800.75	v -x8321 -x8313 -x8312 -x8279 -x8278 -x8246 -x8245 -x8244 -x8207 -x8206 -x8205 -x8171 -x8170 -x8135 -x8134 -x8133 -x8102 -x8101 
1800.08/1800.75	v -x8100 -x8099 -x8063 -x8062 -x8061 -x8060 -x8024 -x8023 -x8022 -x7991 -x7990 -x7989 -x7959 -x7958 -x7957 -x7924 -x7923 -x7922 
1800.08/1800.75	v -x7889 -x7888 -x7887 -x7886 -x7849 -x7848 -x7847 -x7846 -x7811 -x7810 -x7809 -x7776 -x7775 -x7774 -x7741 -x7740 -x7739 
1800.08/1800.75	v -x7708 -x7707 -x7706 -x7674 -x7673 -x7672 -x7641 -x7640 -x7639 -x7606 -x7605 -x7604 -x7574 -x7573 -x7572 -x7539 -x7538 -x7537 
1800.08/1800.75	v -x7504 -x7503 -x7502 -x7466 -x7465 -x7464 -x7429 -x7428 -x7427 -x7395 -x7394 -x7357 -x7356 -x7323 -x7322 -x7289 -x7288 -x7287 
1800.08/1800.75	v -x7254 -x7253 -x7220 -x7219 -x7218 -x7180 -x7179 -x7178 -x7134 -x7133 -x7132 -x7102 -x7101 -x7100 -x7066 -x7065 -x7064 -x7024 
1800.08/1800.75	v -x7023 -x7022 -x6986 -x6985 -x6984 -x6956 -x6955 -x6954 -x6919 -x6918 -x6917 -x6880 -x6879 -x6878 -x6847 -x6846 -x6845 -x6814 
1800.08/1800.75	v -x6813 -x6812 -x6775 -x6774 -x6773 -x6742 -x6741 -x6740 -x6708 -x6707 -x6706 -x6674 -x6673 -x6672 -x6642 -x6641 -x6640 -x6607 
1800.08/1800.75	v -x6606 -x6605 -x6604 -x6569 -x6568 -x6567 -x6566 -x6534 -x6533 -x6532 -x6499 -x6498 -x6497 -x6466 -x6465 -x6464 -x6430 -x6429 
1800.08/1800.75	v -x6428 -x6396 -x6395 -x6394 -x6359 -x6358 -x6357 -x6322 -x6321 -x6320 -x6319 -x6284 -x6283 -x6282 -x6281 -x6249 -x6248 
1800.08/1800.75	v -x6247 -x6246 -x6218 -x6217 -x6216 -x6215 -x6181 -x6180 -x6179 -x6149 -x6148 -x6147 -x6146 -x6113 -x6112 -x6111 -x6110 -x6076 
1800.08/1800.75	v -x6075 -x6074 -x6073 -x6045 -x6044 -x6043 -x6042 -x6008 -x6007 -x6006 -x6005 -x5976 -x5975 -x5974 -x5973 -x5940 -x5939 -x5938 
1800.08/1800.75	v -x5937 -x5903 -x5902 -x5901 -x5869 -x5868 -x5867 -x5833 -x5832 -x5831 -x5794 -x5793 -x5792 -x5763 -x5762 -x5761 -x5760 -x5723 
1800.08/1800.75	v -x5722 -x5689 -x5688 -x5687 -x5656 -x5655 -x5654 -x5623 -x5622 -x5621 -x5586 -x5585 -x5584 -x5552 -x5551 -x5550 -x5549 -x5513 
1800.08/1800.75	v -x5512 -x5511 -x5510 -x5478 -x5477 -x5476 -x5475 -x5441 -x5440 -x5439 -x5406 -x5405 -x5404 -x5367 -x5366 -x5365 -x5334 -x5333 
1800.08/1800.75	v -x5332 -x5297 -x5296 -x5295 -x5262 -x5261 -x5260 -x5259 -x5227 -x5226 -x5225 -x5190 -x5189 -x5188 -x5155 -x5154 -x5153 -x5124 
1800.08/1800.75	v -x5123 -x5122 -x5091 -x5090 -x5089 -x5056 -x5055 -x5054 -x5053 -x5016 -x5015 -x5014 -x5013 -x4980 -x4979 -x4978 -x4977 
1800.08/1800.75	v -x4942 -x4941 -x4940 -x4904 -x4903 -x4902 -x4901 -x4866 -x4865 -x4864 -x4830 -x4829 -x4828 -x4827 -x4791 -x4790 -x4789 -x4788 
1800.08/1800.75	v -x4752 -x4751 -x4750 -x4749 -x4714 -x4713 -x4712 -x4711 -x4681 -x4680 -x4679 -x4642 -x4641 -x4640 -x4603 -x4602 -x4601 -x4567 
1800.08/1800.75	v -x4566 -x4565 -x4533 -x4532 -x4501 -x4500 -x4468 -x4467 -x4466 -x4465 -x4434 -x4433 -x4432 -x4398 -x4397 -x4396 -x4362 -x4361 
1800.08/1800.75	v -x4360 -x4323 -x4322 -x4321 -x4286 -x4285 -x4284 -x4252 -x4251 -x4250 -x4219 -x4218 -x4217 -x4184 -x4183 -x4182 -x4151 -x4150 
1800.08/1800.75	v -x4149 -x4113 -x4112 -x4111 -x4079 -x4078 -x4077 -x4047 -x4046 -x4045 -x4014 -x4013 -x4012 -x3982 -x3981 -x3980 -x3945 -x3944 
1800.08/1800.75	v -x3943 -x3916 -x3915 -x3914 -x3913 -x3880 -x3879 -x3878 -x3877 -x3847 -x3846 -x3845 -x3809 -x3808 -x3807 -x3776 -x3775 -x3774 
1800.08/1800.75	v -x3773 -x3743 -x3742 -x3741 -x3740 -x3707 -x3706 -x3705 -x3704 -x3667 -x3666 -x3665 -x3635 -x3634 -x3633 -x3589 -x3588 
1800.08/1800.75	v -x3587 -x3552 -x3551 -x3550 -x3549 -x3516 -x3515 -x3514 -x3481 -x3480 -x3479 -x3446 -x3445 -x3444 -x3443 -x3413 -x3412 -x3411 
1800.08/1800.75	v -x3372 -x3371 -x3370 -x3338 -x3337 -x3336 -x3302 -x3301 -x3300 -x3299 -x3268 -x3267 -x3266 -x3265 -x3227 -x3226 -x3225 -x3190 
1800.08/1800.75	v -x3189 -x3188 -x3153 -x3152 -x3151 -x3117 -x3116 -x3115 -x3081 -x3080 -x3079 -x3078 -x3044 -x3043 -x3042 -x3007 -x3006 -x3005 
1800.08/1800.75	v -x2971 -x2970 -x2969 -x2939 -x2938 -x2937 -x2901 -x2900 -x2899 -x2862 -x2861 -x2860 -x2859 -x2826 -x2825 -x2824 -x2823 -x2792 
1800.08/1800.75	v -x2791 -x2755 -x2754 -x2753 -x2721 -x2688 -x2687 -x2686 -x2685 -x2657 -x2656 -x2655 -x2620 -x2619 -x2618 -x2617 -x2586 -x2585 
1800.08/1800.75	v -x2552 -x2551 -x2550 -x2516 -x2515 -x2514 -x2484 -x2483 -x2482 -x2481 -x2447 -x2446 -x2445 -x2412 -x2411 -x2410 -x2409 -x2376 
1800.08/1800.75	v -x2375 -x2374 -x2345 -x2344 -x2310 -x2309 -x2308 -x2276 -x2275 -x2274 -x2273 -x2237 -x2236 -x2235 -x2234 -x2201 -x2200 
1800.08/1800.75	v -x2199 -x2198 -x2160 -x2159 -x2158 -x2157 -x2118 -x2117 -x2116 -x2083 -x2082 -x2081 -x2046 -x2045 -x2014 -x2013 -x1982 -x1981 
1800.08/1800.75	v -x1947 -x1946 -x1911 -x1910 -x1909 -x1874 -x1873 -x1839 -x1838 -x1837 -x1797 -x1796 -x1795 -x1763 -x1762 -x1761 -x1723 -x1722 
1800.08/1800.75	v -x1721 -x1720 -x1685 -x1684 -x1683 -x1648 -x1647 -x1646 -x1610 -x1609 -x1608 -x1607 -x1574 -x1573 -x1572 -x1571 -x1535 -x1534 
1800.08/1800.75	v -x1533 -x1532 -x1501 -x1500 -x1499 -x1465 -x1464 -x1463 -x1426 -x1425 -x1424 -x1387 -x1386 -x1385 -x1384 -x1349 -x1348 -x1347 
1800.08/1800.75	v -x1312 -x1311 -x1310 -x1273 -x1272 -x1271 -x1235 -x1234 -x1233 -x1198 -x1197 -x1196 -x1162 -x1161 -x1160 -x1159 -x1126 -x1125 
1800.08/1800.75	v -x1124 -x1123 -x1090 -x1089 -x1088 -x1087 -x1051 -x1050 -x1049 -x1018 -x1017 -x1016 -x1015 -x985 -x984 -x983 -x982 -x949 
1800.08/1800.75	v -x948 -x947 -x917 -x916 -x915 -x881 -x880 -x879 -x845 -x844 -x843 -x842 -x807 -x806 -x805 -x804 -x769 -x768 -x767 -x766 -x732 
1800.08/1800.75	v -x731 -x693 -x692 -x691 -x658 -x657 -x656 -x623 -x622 -x621 -x588 -x587 -x586 -x554 -x553 -x552 -x522 -x521 -x520 -x487 -x486 
1800.08/1800.75	v -x452 -x451 -x450 -x416 -x415 -x414 -x377 -x376 -x375 -x333 -x332 -x331 -x299 -x298 -x297 -x264 -x263 -x262 -x231 -x230 -x229 
1800.08/1800.75	v -x193 -x192 -x191 -x190 -x157 -x156 -x155 -x154 -x120 -x119 -x118 -x117 -x80 -x79 -x78 -x46 -x45 -x44 -x11 -x10 -x9 -x10682 
1800.08/1800.75	v -x10681 -x10680 -x10648 -x10647 -x10646 -x10616 -x10615 -x10614 -x10582 -x10581 -x10580 -x10546 -x10545 -x10544 -x10511 -x10510 
1800.08/1800.75	v -x10509 -x10508 -x10473 -x10472 -x10471 -x10470 -x10438 -x10437 -x10436 -x10399 -x10398 -x10397 -x10367 -x10366 -x10365 
1800.08/1800.75	v -x10324 -x10323 -x10322 -x10287 -x10286 -x10285 -x10253 -x10252 -x10251 -x10213 -x10212 -x10211 -x10173 -x10172 -x10171 -x10139 
1800.08/1800.75	v -x10138 -x10137 -x10105 -x10104 -x10103 -x10071 -x10070 -x10069 -x10035 -x10034 -x10033 -x10001 -x10000 -x9999 -x9998 -x9963 
1800.08/1800.75	v -x9962 -x9961 -x9929 -x9928 -x9927 -x9926 -x9893 -x9892 -x9891 -x9890 -x9858 -x9857 -x9856 -x9855 -x9822 -x9821 -x9820 -x9819 
1800.08/1800.75	v -x9784 -x9783 -x9782 -x9749 -x9748 -x9747 -x9716 -x9715 -x9714 -x9713 -x9679 -x9678 -x9677 -x9676 -x9641 -x9640 -x9639 -x9603 
1800.08/1800.75	v -x9602 -x9601 -x9600 -x9569 -x9568 -x9567 -x9566 -x9531 -x9530 -x9529 -x9528 -x9492 -x9491 -x9490 -x9457 -x9456 -x9455 
1800.08/1800.75	v -x9454 -x9416 -x9415 -x9414 -x9383 -x9382 -x9381 -x9343 -x9342 -x9341 -x9305 -x9304 -x9303 -x9266 -x9265 -x9264 -x9230 -x9229 
1800.08/1800.75	v -x9228 -x9227 -x9198 -x9197 -x9196 -x9195 -x9161 -x9160 -x9159 -x9158 -x9125 -x9124 -x9123 -x9091 -x9090 -x9089 -x9055 -x9054 
1800.08/1800.75	v -x9053 -x9023 -x9022 -x9021 -x9020 -x8988 -x8987 -x8986 -x8985 -x8949 -x8948 -x8947 -x8914 -x8913 -x8912 -x8911 -x8873 -x8872 
1800.08/1800.75	v -x8871 -x8839 -x8838 -x8837 -x8836 -x8807 -x8806 -x8805 -x8804 -x8769 -x8768 -x8767 -x8766 -x8728 -x8727 -x8726 -x8693 -x8692 
1800.08/1800.75	v -x8691 -x8654 -x8653 -x8652 -x8651 -x8622 -x8621 -x8620 -x8588 -x8587 -x8586 -x8585 -x8555 -x8554 -x8553 -x8552 -x8519 -x8518 
1800.08/1800.75	v -x8517 -x8516 -x8485 -x8484 -x8483 -x8482 -x8450 -x8449 -x8448 -x8447 -x8415 -x8414 -x8413 -x8379 -x8378 -x8377 -x8341 -x8340 
1800.08/1800.75	v -x8339 -x8338 -x8243 -x8242 -x8241 -x7885 -x7884 -x7883 -x7882 -x7536 -x7535 -x7534 -x7533 -x7177 -x7176 -x7175 -x7174 
1800.08/1800.75	v -x6811 -x6810 -x6809 -x6808 -x6463 -x6462 -x6461 -x6109 -x6108 -x6107 -x6106 -x5759 -x5758 -x5757 -x5756 -x5403 -x5402 -x5401 
1800.08/1800.75	v -x5052 -x5051 -x5050 -x5049 -x4678 -x4677 -x4676 -x4675 -x4320 -x4319 -x4318 -x4317 -x3979 -x3978 -x3977 -x3632 -x3631 -x3630 
1800.08/1800.75	v -x3629 -x3264 -x3263 -x3262 -x3261 -x2898 -x2897 -x2896 -x2895 -x2549 -x2548 -x2547 -x2546 -x2197 -x2196 -x2195 -x2194 -x1836 
1800.08/1800.75	v -x1835 -x1834 -x1833 -x1462 -x1461 -x1460 -x1086 -x1085 -x1084 -x730 -x729 -x728 -x727 -x374 -x373 -x372 -x371 -x8 -x7 -x6 
1800.08/1800.75	v -x5 -x10364 -x10363 -x10362 -x10361 -x9997 -x9996 -x9995 -x9994 -x9638 -x9637 -x9636 -x9263 -x9262 -x9261 -x8910 -x8909 -x8908 
1800.08/1800.75	v -x8551 -x8550 -x8549 -x7173 -x7172 -x7171 -x7170 -x3628 -x3627 -x3626 -x3625 -x4 -x3 -x2 -x1 
1800.08/1800.75	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.75	c Solving Time       :    1795.55
1800.08/1800.75	c Original Problem   :
1800.08/1800.75	c   Problem name     : HOME/instance-2664162-1276356765.opb
1800.08/1800.75	c   Variables        : 10713 (10713 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.75	c   Constraints      : 9151 initial, 9151 maximal
1800.08/1800.75	c Presolved Problem  :
1800.08/1800.75	c   Problem name     : t_HOME/instance-2664162-1276356765.opb
1800.08/1800.75	c   Variables        : 10713 (10713 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.75	c   Constraints      : 12723 initial, 12723 maximal
1800.08/1800.75	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.75	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.75	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1800.08/1800.75	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.75	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.75	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.75	c   probing          :       0.45          0          0          0          0          0          0          0          0
1800.08/1800.75	c   knapsack         :       0.47          0          0          0          0          0        559       6944      19387
1800.08/1800.75	c   setppc           :       0.07          0          0          0          0          0       1592          0          0
1800.08/1800.75	c   linear           :       0.13          0          0          0          0          0          0       5381       4673
1800.08/1800.75	c   logicor          :       0.06          0          0          0          0          0          0          0          0
1800.08/1800.75	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.75	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.75	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.75	c   knapsack         :       7158          0     189821          0      97000          0    1188426          0          0          0
1800.08/1800.75	c   setppc           :       4131          0     189821          0      97000          0     100353          0          0          0
1800.08/1800.75	c   logicor          :       1434          0       6789          0      97000          0         71          0          0          0
1800.08/1800.75	c   countsols        :          0          0          0          0      97000          0          0          0          0          0
1800.08/1800.75	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.75	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.75	c   knapsack         :     147.75       0.00     147.32       0.00       0.43
1800.08/1800.75	c   setppc           :     514.02       0.00      94.99       0.00     419.03
1800.08/1800.75	c   logicor          :     143.23       0.00       0.24       0.00     142.99
1800.08/1800.75	c   countsols        :       0.11       0.00       0.00       0.00       0.11
1800.08/1800.75	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.75	c   vbounds          :       0.17          2          0          0
1800.08/1800.75	c   rootredcost      :       0.20          0          0          0
1800.08/1800.75	c   pseudoobj        :     362.30     189621          0          0
1800.08/1800.75	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.75	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.75	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.75	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.75	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.75	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.75	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.08/1800.75	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.75	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.75	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.75	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.75	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.75	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.75	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.75	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.75	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.75	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.75	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.75	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.75	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.75	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.75	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.75	c Pricers            :       Time      Calls       Vars
1800.08/1800.75	c   problem variables:       0.00          0          0
1800.08/1800.75	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.75	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.75	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.75	c   inference        :     609.78      97000          0          0          0          0     194000
1800.08/1800.75	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.75	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.75	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.75	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.75	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.75	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.75	c   LP solutions     :       0.00          -          0
1800.08/1800.75	c   pseudo solutions :       0.00          -          0
1800.08/1800.75	c   oneopt           :       0.25          0          0
1800.08/1800.75	c   trivial          :       0.06          2          3
1800.08/1800.75	c   simplerounding   :       0.00          0          0
1800.08/1800.75	c   zirounding       :       0.00          0          0
1800.08/1800.75	c   rounding         :       0.00          0          0
1800.08/1800.75	c   shifting         :       0.00          0          0
1800.08/1800.75	c   intshifting      :       0.00          0          0
1800.08/1800.75	c   twoopt           :       0.00          0          0
1800.08/1800.75	c   fixandinfer      :       0.00          0          0
1800.08/1800.75	c   feaspump         :       0.00          0          0
1800.08/1800.75	c   coefdiving       :       0.00          0          0
1800.08/1800.75	c   pscostdiving     :       0.00          0          0
1800.08/1800.75	c   fracdiving       :       0.00          0          0
1800.08/1800.75	c   veclendiving     :       0.00          0          0
1800.08/1800.75	c   intdiving        :       0.00          0          0
1800.08/1800.75	c   actconsdiving    :       0.00          0          0
1800.08/1800.75	c   objpscostdiving  :       0.00          0          0
1800.08/1800.75	c   rootsoldiving    :       0.00          0          0
1800.08/1800.75	c   linesearchdiving :       0.00          0          0
1800.08/1800.75	c   guideddiving     :       0.00          0          0
1800.08/1800.75	c   octane           :       0.00          0          0
1800.08/1800.75	c   rens             :       0.00          0          0
1800.08/1800.75	c   rins             :       0.00          0          0
1800.08/1800.75	c   localbranching   :       0.00          0          0
1800.08/1800.75	c   mutation         :       0.00          0          0
1800.08/1800.75	c   crossover        :       0.00          0          0
1800.08/1800.75	c   dins             :       0.00          0          0
1800.08/1800.75	c   undercover       :       0.00          0          0
1800.08/1800.75	c   nlp              :       0.11          0          0
1800.08/1800.75	c   trysol           :       0.02          0          0
1800.08/1800.75	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.75	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.75	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.75	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.75	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.75	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.75	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.75	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.75	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.75	c B&B Tree           :
1800.08/1800.75	c   number of runs   :          1
1800.08/1800.75	c   nodes            :      97000
1800.08/1800.75	c   nodes (total)    :      97000
1800.08/1800.75	c   nodes left       :      97001
1800.08/1800.75	c   max depth        :        145
1800.08/1800.75	c   max depth (total):        145
1800.08/1800.75	c   backtracks       :       1463 (1.5%)
1800.08/1800.75	c   delayed cutoffs  :          0
1800.08/1800.75	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.08/1800.75	c   avg switch length:       2.38
1800.08/1800.75	c   switching time   :       7.30
1800.08/1800.75	c Solution           :
1800.08/1800.75	c   Solutions found  :          3 (1 improvements)
1800.08/1800.75	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.10 seconds, depth 0, found by <trivial>)
1800.08/1800.75	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.10 seconds, depth 0, found by <trivial>)
1800.08/1800.75	c   Dual Bound       : -3.00340000000000e+04
1800.08/1800.75	c   Gap              :     100.00 %
1800.08/1800.75	c   Root Dual Bound  : -3.04110000000000e+04
1800.08/1800.75	c   Root Iterations  :          0
1800.36/1801.09	c Time complete: 1800.46.

Verifier Data 

OK	0

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15497
/proc/meminfo: memFree=1856188/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=5556 CPUtime=0
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 888 0 0 0 0 0 0 0 22 0 1 0 11278048 5689344 810 1992294400 4194304 7136930 140737346677712 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15497/statm: 1389 810 249 719 0 668 0

[startup+0.0792191 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15497
/proc/meminfo: memFree=1856188/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=16936 CPUtime=0.07
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 3738 0 0 0 6 1 0 0 22 0 1 0 11278048 17342464 3655 1992294400 4194304 7136930 140737346677712 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15497/statm: 4234 3655 271 719 0 3513 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16936

[startup+0.101223 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15497
/proc/meminfo: memFree=1856188/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=17804 CPUtime=0.09
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 3957 0 0 0 8 1 0 0 22 0 1 0 11278048 18231296 3874 1992294400 4194304 7136930 140737346677712 18446744073709551615 5649723 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15497/statm: 4451 3874 271 719 0 3730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17804

[startup+0.301261 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15497
/proc/meminfo: memFree=1856188/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=33416 CPUtime=0.29
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 8201 0 0 0 27 2 0 0 22 0 1 0 11278048 34217984 7764 1992294400 4194304 7136930 140737346677712 18446744073709551615 4214308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 8354 7764 283 719 0 7633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33416

[startup+0.700341 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15497
/proc/meminfo: memFree=1856188/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=56520 CPUtime=0.69
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 14557 0 0 0 61 8 0 0 23 0 1 0 11278048 57876480 13295 1992294400 4194304 7136930 140737346677712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 14130 13295 383 719 0 13409 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56520

[startup+1.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15498
/proc/meminfo: memFree=1801124/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=59620 CPUtime=1.49
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 20333 0 0 0 134 15 0 0 25 0 1 0 11278048 61050880 14136 1992294400 4194304 7136930 140737346677712 18446744073709551615 4400167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 14905 14136 397 719 0 14184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59620

[startup+3.10081 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15498
/proc/meminfo: memFree=1799264/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=61312 CPUtime=3.09
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 20835 0 0 0 294 15 0 0 25 0 1 0 11278048 62783488 14551 1992294400 4194304 7136930 140737346677712 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 15328 14551 395 719 0 14607 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61312

[startup+6.30044 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15498
/proc/meminfo: memFree=1798644/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=61580 CPUtime=6.29
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 20925 0 0 0 613 16 0 0 25 0 1 0 11278048 63057920 14641 1992294400 4194304 7136930 140737346677712 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 15395 14641 395 719 0 14674 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61580

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15500
/proc/meminfo: memFree=1798148/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=62152 CPUtime=12.69
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 21046 0 0 0 1251 18 0 0 25 0 1 0 11278048 63643648 14762 1992294400 4194304 7136930 140737346677712 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 15538 14762 395 719 0 14817 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62152

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15500
/proc/meminfo: memFree=1796288/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=63960 CPUtime=25.49
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 21520 0 0 0 2528 21 0 0 25 0 1 0 11278048 65495040 15236 1992294400 4194304 7136930 140737346677712 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 15990 15236 395 719 0 15269 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63960

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15500
/proc/meminfo: memFree=1792940/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=67332 CPUtime=51.08
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 22367 0 0 0 5080 28 0 0 25 0 1 0 11278048 68947968 16083 1992294400 4194304 7136930 140737346677712 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 16833 16083 395 719 0 16112 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67332

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15502
/proc/meminfo: memFree=1788476/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=71660 CPUtime=102.27
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 23433 0 0 0 10186 41 0 0 25 0 1 0 11278048 73379840 17149 1992294400 4194304 7136930 140737346677712 18446744073709551615 4225326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 17915 17149 395 719 0 17194 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71660

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15504
/proc/meminfo: memFree=1782772/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=77296 CPUtime=162.24
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 24875 0 0 0 16168 56 0 0 25 0 1 0 11278048 79151104 18591 1992294400 4194304 7136930 140737346677712 18446744073709551615 4407902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 19324 18591 395 719 0 18603 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 77296

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15504
/proc/meminfo: memFree=1777564/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=82336 CPUtime=222.22
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 26135 0 0 0 22154 68 0 0 25 0 1 0 11278048 84312064 19851 1992294400 4194304 7136930 140737346677712 18446744073709551615 4225326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 20584 19851 395 719 0 19863 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 82336

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15506
/proc/meminfo: memFree=1773472/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=86524 CPUtime=282.2
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 27169 0 0 0 28139 81 0 0 25 0 1 0 11278048 88600576 20885 1992294400 4194304 7136930 140737346677712 18446744073709551615 4225326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 21631 20885 395 719 0 20910 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 86524

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15508
/proc/meminfo: memFree=1768636/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=91148 CPUtime=342.17
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 28370 0 0 0 34123 94 0 0 25 0 1 0 11278048 93335552 22086 1992294400 4194304 7136930 140737346677712 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 22787 22086 395 719 0 22066 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 91148

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15510
/proc/meminfo: memFree=1762684/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=96912 CPUtime=402.15
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 29823 0 0 0 40105 110 0 0 25 0 1 0 11278048 99237888 23539 1992294400 4194304 7136930 140737346677712 18446744073709551615 5508136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 24228 23539 395 719 0 23507 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 96912

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15512
/proc/meminfo: memFree=1758964/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=100552 CPUtime=462.14
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 30746 0 0 0 46090 124 0 0 25 0 1 0 11278048 102965248 24462 1992294400 4194304 7136930 140737346677712 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 25138 24462 395 719 0 24417 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 100552

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15512
/proc/meminfo: memFree=1755740/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=103768 CPUtime=522.11
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 31565 0 0 0 52073 138 0 0 25 0 1 0 11278048 106258432 25281 1992294400 4194304 7136930 140737346677712 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 25942 25281 395 719 0 25221 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 103768

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15514
/proc/meminfo: memFree=1752516/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=106844 CPUtime=582.09
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 32347 0 0 0 58057 152 0 0 25 0 1 0 11278048 109408256 26063 1992294400 4194304 7136930 140737346677712 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 26711 26063 395 719 0 25990 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 106844

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15516
/proc/meminfo: memFree=1746688/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=112692 CPUtime=642.08
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 33821 0 0 0 64041 167 0 0 25 0 1 0 11278048 115396608 27537 1992294400 4194304 7136930 140737346677712 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 28173 27537 395 719 0 27452 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 112692

[startup+702.301 s]

################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15522
/proc/meminfo: memFree=1735652/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=123568 CPUtime=881.98
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 36587 0 0 0 87978 220 0 0 25 0 1 0 11278048 126533632 30303 1992294400 4194304 7136930 140737346677712 18446744073709551615 4225326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 30892 30303 395 719 0 30171 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 123568

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15524
/proc/meminfo: memFree=1732056/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=126940 CPUtime=941.96
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 37410 0 0 0 93963 233 0 0 25 0 1 0 11278048 129986560 31126 1992294400 4194304 7136930 140737346677712 18446744073709551615 5508036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 31735 31126 395 719 0 31014 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 126940

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15526
/proc/meminfo: memFree=1726228/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=132636 CPUtime=1001.94
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 38850 0 0 0 99948 246 0 0 25 0 1 0 11278048 135819264 32566 1992294400 4194304 7136930 140737346677712 18446744073709551615 4225326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 33159 32566 395 719 0 32438 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 132636

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15528
/proc/meminfo: memFree=1724244/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=134628 CPUtime=1061.92
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 39359 0 0 0 105932 260 0 0 25 0 1 0 11278048 137859072 33075 1992294400 4194304 7136930 140737346677712 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 33657 33075 395 719 0 32936 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 134628

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15528
/proc/meminfo: memFree=1718540/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=140296 CPUtime=1121.9
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 40787 0 0 0 111917 273 0 0 25 0 1 0 11278048 143663104 34503 1992294400 4194304 7136930 140737346677712 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 35074 34503 395 719 0 34353 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 140296

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15530
/proc/meminfo: memFree=1716308/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=142356 CPUtime=1181.88
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 41315 0 0 0 117899 289 0 0 25 0 1 0 11278048 145772544 35031 1992294400 4194304 7136930 140737346677712 18446744073709551615 5005146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 35589 35031 395 719 0 34868 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 142356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15532
/proc/meminfo: memFree=1712836/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=148636 CPUtime=1241.86
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 42387 0 0 0 123883 303 0 0 25 0 1 0 11278048 152203264 36103 1992294400 4194304 7136930 140737346677712 18446744073709551615 5508136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 37159 36103 395 719 0 36438 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 148636

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15534
/proc/meminfo: memFree=1707380/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=153084 CPUtime=1301.84
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 43511 0 0 0 129868 316 0 0 25 0 1 0 11278048 156758016 37227 1992294400 4194304 7136930 140737346677712 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 38271 37227 395 719 0 37550 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 153084

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15536
/proc/meminfo: memFree=1704652/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=155780 CPUtime=1361.82
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 44197 0 0 0 135852 330 0 0 25 0 1 0 11278048 159518720 37913 1992294400 4194304 7136930 140737346677712 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 38945 37913 395 719 0 38224 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 155780

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15536
/proc/meminfo: memFree=1701800/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=158604 CPUtime=1421.8
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 44916 0 0 0 141838 342 0 0 25 0 1 0 11278048 162410496 38632 1992294400 4194304 7136930 140737346677712 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 39651 38632 395 719 0 38930 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 158604

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15538
/proc/meminfo: memFree=1698576/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=161688 CPUtime=1481.78
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 45702 0 0 0 147822 356 0 0 25 0 1 0 11278048 165568512 39418 1992294400 4194304 7136930 140737346677712 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 40422 39418 395 719 0 39701 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 161688

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15540
/proc/meminfo: memFree=1697088/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=163104 CPUtime=1541.76
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 46068 0 0 0 153807 369 0 0 25 0 1 0 11278048 167018496 39784 1992294400 4194304 7136930 140737346677712 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 40776 39784 395 719 0 40055 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 163104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15542
/proc/meminfo: memFree=1694236/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=166000 CPUtime=1601.74
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 46804 0 0 0 159789 385 0 0 25 0 1 0 11278048 169984000 40520 1992294400 4194304 7136930 140737346677712 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 41500 40520 395 719 0 40779 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 166000

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15544
/proc/meminfo: memFree=1690516/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=169588 CPUtime=1661.71
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 47714 0 0 0 165773 398 0 0 25 0 1 0 11278048 173658112 41430 1992294400 4194304 7136930 140737346677712 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 42397 41430 395 719 0 41676 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 169588

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15553
/proc/meminfo: memFree=1686052/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=173572 CPUtime=1721.69
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 48721 0 0 0 171758 411 0 0 25 0 1 0 11278048 177737728 42437 1992294400 4194304 7136930 140737346677712 18446744073709551615 5508052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 43393 42437 395 719 0 42672 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 173572

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15555
/proc/meminfo: memFree=1682952/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=176656 CPUtime=1781.67
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 49504 0 0 0 177741 426 0 0 25 0 1 0 11278048 180895744 43220 1992294400 4194304 7136930 140737346677712 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 44164 43220 395 719 0 43443 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 176656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15555
/proc/meminfo: memFree=1682952/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=176656 CPUtime=1800.08
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 49508 0 0 0 179578 430 0 0 25 0 1 0 11278048 180895744 43224 1992294400 4194304 7136930 140737346677712 18446744073709551615 5892374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15497/statm: 44164 43224 395 719 0 43443 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 176656

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15555
/proc/meminfo: memFree=1682952/2059040 swapFree=4136164/4192956
[pid=15497] ppid=15495 vsize=142904 CPUtime=1800.36
/proc/15497/stat : 15497 (pbscip.linux.x8) R 15495 15497 14792 0 -1 4202496 49538 0 0 0 179606 430 0 0 25 0 1 0 11278048 146333696 34783 1992294400 4194304 7136930 140737346677712 18446744073709551615 5950320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15497/statm: 35726 34783 402 719 0 35005 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 142904

Child status: 0
Real time (s): 1801.1
CPU time (s): 1800.47
CPU user time (s): 1796.14
CPU system time (s): 4.32234
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 176788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.14
system time used= 4.32234
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49545
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= 5
involuntary context switches= 2478

runsolver used 2.84657 second user time and 8.64269 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-12 17:32:45
IDJOB=2664162
IDBENCH=1869
IDSOLVER=1167
FILE ID=node011/2664162-1276356765
PBS_JOBID= 11173192
Free space on /tmp= 62264 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664162-1276356765/watcher-2664162-1276356765 -o /tmp/evaluation-result-2664162-1276356765/solver-2664162-1276356765 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664162-1276356765.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6fc83a536fe9a582c06bbccccc09c709
RANDOM SEED=861655056

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1856716 kB
Buffers:         32236 kB
Cached:         108560 kB
SwapCached:      11036 kB
Active:          90736 kB
Inactive:        63816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1856716 kB
SwapTotal:     4192956 kB
SwapFree:      4136164 kB
Dirty:            3780 kB
Writeback:           0 kB
AnonPages:       11028 kB
Mapped:           9140 kB
Slab:            25940 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180572 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62260 MiB
End job on node011 at 2010-06-12 18:02:48