Trace number 2665393

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)28 1801 1801.46

General information on the benchmark

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

Verifier Data

OK	28

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665393-1276641279/watcher-2665393-1276641279 -o /tmp/evaluation-result-2665393-1276641279/solver-2665393-1276641279 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665393-1276641279.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 11660
/proc/meminfo: memFree=1848400/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=8260 CPUtime=0
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 5419498 8458240 933 1992294400 4194304 9819077 140736267061040 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11660/statm: 2065 943 370 1374 0 686 0

[startup+0.0838319 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11660
/proc/meminfo: memFree=1848400/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=15004 CPUtime=0.07
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 2690 0 0 0 7 0 0 0 20 0 1 0 5419498 15364096 2611 1992294400 4194304 9819077 140736267061040 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11660/statm: 3751 2611 388 1374 0 2372 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15004

[startup+0.100832 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11660
/proc/meminfo: memFree=1848400/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=15476 CPUtime=0.09
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 2809 0 0 0 9 0 0 0 20 0 1 0 5419498 15847424 2730 1992294400 4194304 9819077 140736267061040 18446744073709551615 5650616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11660/statm: 3869 2730 388 1374 0 2490 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15476

[startup+0.30085 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11660
/proc/meminfo: memFree=1848400/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=22300 CPUtime=0.29
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 4499 0 0 0 28 1 0 0 20 0 1 0 5419498 22835200 4420 1992294400 4194304 9819077 140736267061040 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11660/statm: 5575 4420 388 1374 0 4196 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22300

[startup+0.700884 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11660
/proc/meminfo: memFree=1848400/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=59152 CPUtime=0.69
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 14035 0 0 0 64 5 0 0 21 0 1 0 5419498 60571648 13602 1992294400 4194304 9819077 140736267061040 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 14788 13602 449 1374 0 13409 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59152

[startup+1.50095 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11661
/proc/meminfo: memFree=1784780/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=83156 CPUtime=1.49
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 22405 0 0 0 132 17 0 0 23 0 1 0 5419498 85151744 19270 1992294400 4194304 9819077 140736267061040 18446744073709551615 4674986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 20789 19270 506 1374 0 19410 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83156

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11661
/proc/meminfo: memFree=1769280/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=88600 CPUtime=3.09
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 24826 0 0 0 288 21 0 0 25 0 1 0 5419498 90726400 20669 1992294400 4194304 9819077 140736267061040 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 22150 20669 520 1374 0 20771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88600

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11661
/proc/meminfo: memFree=1734932/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=138616 CPUtime=6.29
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 43788 0 0 0 599 30 0 0 25 0 1 0 5419498 141942784 28955 1992294400 4194304 9819077 140736267061040 18446744073709551615 7304794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 34654 28955 645 1374 0 33275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 138616

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11661
/proc/meminfo: memFree=1732948/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=142908 CPUtime=12.69
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 66997 0 0 0 1228 41 0 0 25 0 1 0 5419498 146337792 29061 1992294400 4194304 9819077 140736267061040 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 35727 29061 682 1374 0 34348 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 142908

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11663
/proc/meminfo: memFree=1733320/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=142908 CPUtime=25.48
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 66999 0 0 0 2504 44 0 0 25 0 1 0 5419498 146337792 29063 1992294400 4194304 9819077 140736267061040 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 35727 29063 682 1374 0 34348 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 142908

[startup+51.1003 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11663
/proc/meminfo: memFree=1732576/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=144812 CPUtime=51.07
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 70897 0 0 0 5038 69 0 0 25 0 1 0 5419498 148287488 29349 1992294400 4194304 9819077 140736267061040 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 36203 29349 691 1374 0 34824 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144812

[startup+102.308 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 11665
/proc/meminfo: memFree=1719556/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=157668 CPUtime=102.27
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 107773 0 0 0 10118 109 0 0 25 0 1 0 5419498 161452032 32510 1992294400 4194304 9819077 140736267061040 18446744073709551615 6055274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 39417 32510 719 1374 0 38038 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 157668

[startup+162.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 11665
/proc/meminfo: memFree=1720796/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=170056 CPUtime=162.25
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 167474 0 0 0 16076 149 0 0 25 0 1 0 5419498 174137344 32335 1992294400 4194304 9819077 140736267061040 18446744073709551615 7311715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 42514 32335 725 1374 0 41135 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 170056

[startup+222.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 11667
/proc/meminfo: memFree=1721416/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=170912 CPUtime=222.23
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 220971 0 0 0 22032 191 0 0 25 0 1 0 5419498 175013888 32218 1992294400 4194304 9819077 140736267061040 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 42728 32218 725 1374 0 41349 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 170912

[startup+282.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 11669
/proc/meminfo: memFree=1721044/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=171212 CPUtime=282.22
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 273893 0 0 0 27993 229 0 0 25 0 1 0 5419498 175321088 32153 1992294400 4194304 9819077 140736267061040 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 42803 32153 725 1374 0 41424 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 171212

[startup+342.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 11671
/proc/meminfo: memFree=1720796/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=171912 CPUtime=342.21
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 323240 0 0 0 33958 263 0 0 25 0 1 0 5419498 176037888 32400 1992294400 4194304 9819077 140736267061040 18446744073709551615 7326159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 42978 32400 725 1374 0 41599 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 171912

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11673
/proc/meminfo: memFree=1725012/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=146056 CPUtime=402.2
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 372978 0 0 0 39921 299 0 0 25 0 1 0 5419498 149561344 31331 1992294400 4194304 9819077 140736267061040 18446744073709551615 6198704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 36514 31331 725 1374 0 35135 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 146056

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11673
/proc/meminfo: memFree=1721168/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=171712 CPUtime=462.17
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 419110 0 0 0 45884 333 0 0 25 0 1 0 5419498 175833088 32275 1992294400 4194304 9819077 140736267061040 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 42928 32275 725 1374 0 41549 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 171712

[startup+522.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11675
/proc/meminfo: memFree=1720920/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=171712 CPUtime=522.17
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 466022 0 0 0 51845 372 0 0 25 0 1 0 5419498 175833088 32213 1992294400 4194304 9819077 140736267061040 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 42928 32213 725 1374 0 41549 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 171712

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11677
/proc/meminfo: memFree=1720672/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=171872 CPUtime=582.15
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 518453 0 0 0 57808 407 0 0 25 0 1 0 5419498 175996928 32268 1992294400 4194304 9819077 140736267061040 18446744073709551615 6192329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 42968 32268 725 1374 0 41589 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 171872

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11679
/proc/meminfo: memFree=1720672/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=171668 CPUtime=642.14
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 567293 0 0 0 63769 445 0 0 25 0 1 0 5419498 175788032 32305 1992294400 4194304 9819077 140736267061040 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 42917 32305 725 1374 0 41538 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 171668

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11689
/proc/meminfo: memFree=1719060/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=174740 CPUtime=1002.05
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 799684 0 0 0 99554 651 0 0 25 0 1 0 5419498 178933760 32525 1992294400 4194304 9819077 140736267061040 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 43685 32525 725 1374 0 42306 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 174740

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11689
/proc/meminfo: memFree=1723152/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=148724 CPUtime=1062.03
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 844370 0 0 0 105519 684 0 0 25 0 1 0 5419498 152293376 31765 1992294400 4194304 9819077 140736267061040 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37181 31765 725 1374 0 35802 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 148724

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11691
/proc/meminfo: memFree=1723152/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=148684 CPUtime=1122.02
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 876171 0 0 0 111490 712 0 0 25 0 1 0 5419498 152252416 31745 1992294400 4194304 9819077 140736267061040 18446744073709551615 7322560 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37171 31745 725 1374 0 35792 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 148684

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11693
/proc/meminfo: memFree=1718564/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=175008 CPUtime=1182
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 940780 0 0 0 117440 760 0 0 25 0 1 0 5419498 179208192 32687 1992294400 4194304 9819077 140736267061040 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 43752 32687 726 1374 0 42373 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 175008

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11695
/proc/meminfo: memFree=1721912/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=149144 CPUtime=1241.99
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 994787 0 0 0 123404 795 0 0 25 0 1 0 5419498 152723456 31648 1992294400 4194304 9819077 140736267061040 18446744073709551615 7300260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37286 31648 726 1374 0 35907 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 149144

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11697
/proc/meminfo: memFree=1722904/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=149044 CPUtime=1301.99
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1038860 0 0 0 129369 830 0 0 25 0 1 0 5419498 152621056 31595 1992294400 4194304 9819077 140736267061040 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37261 31595 726 1374 0 35882 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 149044

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11697
/proc/meminfo: memFree=1723400/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=147148 CPUtime=1361.96
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1120216 0 0 0 135313 883 0 0 25 0 1 0 5419498 150679552 31529 1992294400 4194304 9819077 140736267061040 18446744073709551615 7292359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 36787 31529 726 1374 0 35408 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 147148

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11699
/proc/meminfo: memFree=1722160/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=150636 CPUtime=1421.95
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1177234 0 0 0 141267 928 0 0 25 0 1 0 5419498 154251264 31838 1992294400 4194304 9819077 140736267061040 18446744073709551615 7296179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37659 31838 726 1374 0 36280 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 150636

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11701
/proc/meminfo: memFree=1721664/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=150868 CPUtime=1481.93
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1209942 0 0 0 147234 959 0 0 25 0 1 0 5419498 154488832 31832 1992294400 4194304 9819077 140736267061040 18446744073709551615 7297614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37717 31832 726 1374 0 36338 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 150868

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11703
/proc/meminfo: memFree=1722284/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=150820 CPUtime=1541.92
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1244742 0 0 0 153199 993 0 0 25 0 1 0 5419498 154439680 31838 1992294400 4194304 9819077 140736267061040 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37705 31838 726 1374 0 36326 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 150820

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11714
/proc/meminfo: memFree=1721912/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=150640 CPUtime=1601.89
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1289184 0 0 0 159160 1029 0 0 25 0 1 0 5419498 154255360 31935 1992294400 4194304 9819077 140736267061040 18446744073709551615 7294737 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37660 31935 726 1374 0 36281 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 150640

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11714
/proc/meminfo: memFree=1721664/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=150300 CPUtime=1661.86
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1327563 0 0 0 165123 1063 0 0 25 0 1 0 5419498 153907200 31958 1992294400 4194304 9819077 140736267061040 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37575 31958 726 1374 0 36196 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 150300

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11716
/proc/meminfo: memFree=1718316/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=175992 CPUtime=1721.85
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1373852 0 0 0 171082 1103 0 0 25 0 1 0 5419498 180215808 32563 1992294400 4194304 9819077 140736267061040 18446744073709551615 7326159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 43998 32563 726 1374 0 42619 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 175992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11718
/proc/meminfo: memFree=1722656/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=149692 CPUtime=1781.84
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1442478 0 0 0 177035 1149 0 0 25 0 1 0 5419498 153284608 31807 1992294400 4194304 9819077 140736267061040 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37423 31807 726 1374 0 36044 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 149692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11718
/proc/meminfo: memFree=1722160/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=148064 CPUtime=1800.05
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1487875 0 0 0 178829 1176 0 0 25 0 1 0 5419498 151617536 31730 1992294400 4194304 9819077 140736267061040 18446744073709551615 7295860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37016 31730 726 1374 0 35637 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 148064

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11719
/proc/meminfo: memFree=1722028/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=148064 CPUtime=1800.15
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1487911 0 0 0 178839 1176 0 0 25 0 1 0 5419498 151617536 31766 1992294400 4194304 9819077 140736267061040 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 37016 31766 726 1374 0 35637 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 148064

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11719
/proc/meminfo: memFree=1722028/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=147872 CPUtime=1800.54
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1488370 0 0 0 178878 1176 0 0 25 0 1 0 5419498 151420928 31686 1992294400 4194304 9819077 140736267061040 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11660/statm: 36968 31686 726 1374 0 35589 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 147872

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11719
/proc/meminfo: memFree=1722028/2059040 swapFree=4141108/4192956
[pid=11660] ppid=11658 vsize=132164 CPUtime=1800.94
/proc/11660/stat : 11660 (pbscip.linux.x8) R 11658 11660 11155 0 -1 4202496 1489331 0 0 0 178917 1177 0 0 25 0 1 0 5419498 135335936 27391 1992294400 4194304 9819077 140736267061040 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11660/statm: 33041 27391 727 1374 0 31662 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 132164

Child status: 0
Real time (s): 1801.46
CPU time (s): 1801
CPU user time (s): 1789.21
CPU system time (s): 11.7892
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 210880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.21
system time used= 11.7892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1489335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3036

runsolver used 3.20851 second user time and 8.27874 second system time

The end

Launcher Data

Begin job on node050 at 2010-06-16 00:34:39
IDJOB=2665393
IDBENCH=25018
IDSOLVER=1168
FILE ID=node050/2665393-1276641279
PBS_JOBID= 11172388
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665393-1276641279/watcher-2665393-1276641279 -o /tmp/evaluation-result-2665393-1276641279/solver-2665393-1276641279 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665393-1276641279.opb -t 1800 -m 1800

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1744623740

node050.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.215
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.43
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.215
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:       1848804 kB
Buffers:         20024 kB
Cached:         100648 kB
SwapCached:       6640 kB
Active:         104376 kB
Inactive:        30652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848804 kB
SwapTotal:     4192956 kB
SwapFree:      4141108 kB
Dirty:            7104 kB
Writeback:           0 kB
AnonPages:       11712 kB
Mapped:          13060 kB
Slab:            53468 kB
PageTables:       3912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180580 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= 62564 MiB
End job on node050 at 2010-06-16 01:04:41