Trace number 3736043

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT27 1793.74 1794.03

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

Verifier Data

OK	27

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27705
/proc/meminfo: memFree=22492728/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=8424 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 1456 0 0 0 0 0 0 0 20 0 1 0 337274571 8626176 1409 33554432000 4194304 7823515 140736751028416 140735191249416 4564496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 2106 1416 349 887 0 1216 0

[startup+0.051748 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27705
/proc/meminfo: memFree=22492728/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=14512 CPUtime=0.04 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 2995 0 0 0 4 0 0 0 20 0 1 0 337274571 14860288 2948 33554432000 4194304 7823515 140736751028416 140735191249416 6877440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 3628 2948 354 887 0 2738 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14512

[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27705
/proc/meminfo: memFree=22492728/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=19144 CPUtime=0.09 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 4123 0 0 0 9 0 0 0 20 0 1 0 337274571 19603456 4076 33554432000 4194304 7823515 140736751028416 140735191249416 6908062 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 4786 4076 354 887 0 3896 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19144

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27705
/proc/meminfo: memFree=22492728/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=60664 CPUtime=0.29 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 14592 0 0 0 27 2 0 0 20 0 1 0 337274571 62119936 14191 33554432000 4194304 7823515 140736751028416 140736750894520 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 15166 14191 432 887 0 14276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60664

[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27705
/proc/meminfo: memFree=22492728/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=86176 CPUtime=0.69 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 20789 0 0 0 64 5 0 0 20 0 1 0 337274571 88244224 20656 33554432000 4194304 7823515 140736751028416 140736751025352 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 21544 20656 456 887 0 20654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86176

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27706
/proc/meminfo: memFree=22411784/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=129196 CPUtime=1.49 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 30513 0 0 0 142 7 0 0 20 0 1 0 337274571 132296704 29869 33554432000 4194304 7823515 140736751028416 140736751023752 6212430 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 32299 29869 527 887 0 31409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129196

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27706
/proc/meminfo: memFree=22369368/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=134348 CPUtime=3.09 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 32215 0 0 0 301 8 0 0 20 0 1 0 337274571 137572352 31560 33554432000 4194304 7823515 140736751028416 140736751023752 6205311 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 33587 31560 527 887 0 32697 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134348

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27706
/proc/meminfo: memFree=22364144/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=136896 CPUtime=6.29 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 33208 0 0 0 621 8 0 0 20 0 1 0 337274571 140181504 32485 33554432000 4194304 7823515 140736751028416 140736751023096 6208556 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 34224 32485 538 887 0 33334 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136896

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27706
/proc/meminfo: memFree=22360068/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=139048 CPUtime=12.68 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 34096 0 0 0 1260 8 0 0 20 0 1 0 337274571 142385152 33345 33554432000 4194304 7823515 140736751028416 140736751023176 6211646 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 34762 33345 538 887 0 33872 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 139048

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27706
/proc/meminfo: memFree=22360036/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=139048 CPUtime=25.49 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 34114 0 0 0 2540 9 0 0 20 0 1 0 337274571 142385152 33361 33554432000 4194304 7823515 140736751028416 140736751023096 6208789 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 34762 33361 538 887 0 33872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 139048

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27706
/proc/meminfo: memFree=22360004/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=139048 CPUtime=51.08 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 34119 0 0 0 5098 10 0 0 20 0 1 0 337274571 142385152 33366 33554432000 4194304 7823515 140736751028416 140736751023096 6211318 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27705/statm: 34762 33366 538 887 0 33872 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 139048

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27707
/proc/meminfo: memFree=22363024/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=139540 CPUtime=102.27 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 78639 0 0 0 10197 30 0 0 20 0 1 0 337274571 142888960 32677 33554432000 4194304 7823515 140736751028416 140736751023112 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27705/statm: 34885 32677 570 887 0 33995 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 139540

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27710
/proc/meminfo: memFree=22358332/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=141052 CPUtime=162.26 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 121395 0 0 0 16183 43 0 0 20 0 1 0 337274571 144437248 33320 33554432000 4194304 7823515 140736751028416 140736751023112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 35263 33320 570 887 0 34373 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 141052

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27710
/proc/meminfo: memFree=22357376/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=139668 CPUtime=222.25 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 209332 0 0 0 22163 62 0 0 20 0 1 0 337274571 143020032 32716 33554432000 4194304 7823515 140736751028416 140736751023576 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 34917 32716 570 887 0 34027 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 139668

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27710
/proc/meminfo: memFree=22355668/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=143668 CPUtime=282.25 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 299040 0 0 0 28143 82 0 0 20 0 1 0 337274571 147116032 33972 33554432000 4194304 7823515 140736751028416 140736751023112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 35917 33972 570 887 0 35027 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 143668

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27710
/proc/meminfo: memFree=22355696/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=139688 CPUtime=342.23 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 399406 0 0 0 34119 104 0 0 20 0 1 0 337274571 143040512 32718 33554432000 4194304 7823515 140736751028416 140736751023112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 34922 32718 570 887 0 34032 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 139688

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27711
/proc/meminfo: memFree=22352504/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=143624 CPUtime=402.22 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 473835 0 0 0 40099 123 0 0 20 0 1 0 337274571 147070976 34074 33554432000 4194304 7823515 140736751028416 140736751024104 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 35906 34074 571 887 0 35016 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 143624

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27711
/proc/meminfo: memFree=22341396/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=144004 CPUtime=462.21 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 520616 0 0 0 46083 138 0 0 20 0 1 0 337274571 147460096 34147 33554432000 4194304 7823515 140736751028416 140736751024296 6211011 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 36001 34147 571 887 0 35111 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 144004

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27711
/proc/meminfo: memFree=22334700/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=144004 CPUtime=522.2 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 520633 0 0 0 52079 141 0 0 20 0 1 0 337274571 147460096 34164 33554432000 4194304 7823515 140736751028416 140736751023880 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 36001 34164 571 887 0 35111 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 144004

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27711
/proc/meminfo: memFree=22329872/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=144004 CPUtime=582.19 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 520633 0 0 0 58074 145 0 0 20 0 1 0 337274571 147460096 34164 33554432000 4194304 7823515 140736751028416 140736751023880 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 36001 34164 571 887 0 35111 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 144004

[startup+642.3 s]

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

/proc/meminfo: memFree=22319644/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=147028 CPUtime=1122.1 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 591591 0 0 0 112016 194 0 0 20 0 1 0 337274571 150556672 36156 33554432000 4194304 7823515 140736751028416 140736751023752 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 36757 36156 576 887 0 35867 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 147028

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27717
/proc/meminfo: memFree=22319140/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149560 CPUtime=1182.09 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 591671 0 0 0 118012 197 0 0 20 0 1 0 337274571 153149440 36236 33554432000 4194304 7823515 140736751028416 140736751024248 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37390 36236 576 887 0 36500 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 149560

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27717
/proc/meminfo: memFree=22318776/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149560 CPUtime=1242.08 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 591720 0 0 0 124009 199 0 0 20 0 1 0 337274571 153149440 36285 33554432000 4194304 7823515 140736751028416 140736751024328 6208541 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37390 36285 576 887 0 36500 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 149560

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27717
/proc/meminfo: memFree=22318536/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149560 CPUtime=1302.08 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 591733 0 0 0 130007 201 0 0 20 0 1 0 337274571 153149440 36298 33554432000 4194304 7823515 140736751028416 140736751024248 6216880 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37390 36298 576 887 0 36500 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 149560

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 27721
/proc/meminfo: memFree=22318396/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=147052 CPUtime=1362.07 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 593246 0 0 0 136003 204 0 0 20 0 1 0 337274571 150581248 36211 33554432000 4194304 7823515 140736751028416 140736751024200 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 36763 36211 576 887 0 35873 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 147052

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27721
/proc/meminfo: memFree=22318280/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149588 CPUtime=1422.06 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 593377 0 0 0 142000 206 0 0 20 0 1 0 337274571 153178112 36342 33554432000 4194304 7823515 140736751028416 140736751024136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37397 36342 576 887 0 36507 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 149588

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 27835
/proc/meminfo: memFree=23108488/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=150120 CPUtime=1482.05 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 607861 0 0 0 147991 214 0 0 20 0 1 0 337274571 153722880 37141 33554432000 4194304 7823515 140736751028416 140736751023848 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37530 37141 576 887 0 36640 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 150120

[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 27835
/proc/meminfo: memFree=23110692/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=147668 CPUtime=1542.04 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 609415 0 0 0 153985 219 0 0 20 0 1 0 337274571 151212032 36384 33554432000 4194304 7823515 140736751028416 140736751024216 6213447 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 36917 36384 576 887 0 36027 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 147668

[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 27835
/proc/meminfo: memFree=23107248/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=150092 CPUtime=1602.03 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 610179 0 0 0 159981 222 0 0 20 0 1 0 337274571 153694208 37131 33554432000 4194304 7823515 140736751028416 140736751023896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37523 37131 576 887 0 36633 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 150092

[startup+1662.3 s]
/proc/loadavg: 1.64 1.93 1.97 2/169 27860
/proc/meminfo: memFree=23728140/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149436 CPUtime=1662.02 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 611588 0 0 0 165976 226 0 0 20 0 1 0 337274571 153022464 36621 33554432000 4194304 7823515 140736751028416 140736751024232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37359 36621 576 887 0 36469 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 149436

[startup+1722.3 s]
/proc/loadavg: 1.23 1.76 1.91 2/169 27860
/proc/meminfo: memFree=23726772/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=146436 CPUtime=1722.01 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 634270 0 0 0 171965 236 0 0 20 0 1 0 337274571 149950464 35520 33554432000 4194304 7823515 140736751028416 140736751023112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 36609 35520 576 887 0 35719 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 146436

[startup+1782.3 s]
/proc/loadavg: 1.08 1.62 1.85 2/169 27860
/proc/meminfo: memFree=23727580/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149612 CPUtime=1782 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 648133 0 0 0 177956 244 0 0 20 0 1 0 337274571 153202688 36684 33554432000 4194304 7823515 140736751028416 140736751023896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37403 36684 576 887 0 36513 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 149612

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

[startup+1785.5 s]
/proc/loadavg: 1.08 1.61 1.84 2/169 27860
/proc/meminfo: memFree=23727828/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149612 CPUtime=1785.2 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 648133 0 0 0 178276 244 0 0 20 0 1 0 337274571 153202688 36684 33554432000 4194304 7823515 140736751028416 140736751023896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37403 36684 576 887 0 36513 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 149612

[startup+1788.7 s]
/proc/loadavg: 1.08 1.61 1.84 2/169 27860
/proc/meminfo: memFree=23727828/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149612 CPUtime=1788.4 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 648133 0 0 0 178595 245 0 0 20 0 1 0 337274571 153202688 36684 33554432000 4194304 7823515 140736751028416 140736751024248 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37403 36684 576 887 0 36513 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 149612

[startup+1791.91 s]
/proc/loadavg: 1.07 1.60 1.84 2/169 27860
/proc/meminfo: memFree=23727828/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149612 CPUtime=1791.6 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 648133 0 0 0 178915 245 0 0 20 0 1 0 337274571 153202688 36684 33554432000 4194304 7823515 140736751028416 140736751024360 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37403 36684 576 887 0 36513 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 149612

[startup+1792.7 s]
/proc/loadavg: 1.07 1.60 1.84 2/169 27860
/proc/meminfo: memFree=23727828/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149612 CPUtime=1792.4 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 648133 0 0 0 178995 245 0 0 20 0 1 0 337274571 153202688 36684 33554432000 4194304 7823515 140736751028416 140736751023896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37403 36684 576 887 0 36513 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (KiB) 149612

[startup+1793.5 s]
/proc/loadavg: 1.07 1.60 1.84 2/169 27860
/proc/meminfo: memFree=23727828/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149612 CPUtime=1793.2 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 648133 0 0 0 179075 245 0 0 20 0 1 0 337274571 153202688 36684 33554432000 4194304 7823515 140736751028416 140736751023896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37403 36684 576 887 0 36513 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 149612

[startup+1793.9 s]
/proc/loadavg: 1.07 1.60 1.84 2/169 27860
/proc/meminfo: memFree=23727828/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149612 CPUtime=1793.6 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 648133 0 0 0 179115 245 0 0 20 0 1 0 337274571 153202688 36684 33554432000 4194304 7823515 140736751028416 140736751023896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37403 36684 576 887 0 36513 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (KiB) 149612

[startup+1794 s]
/proc/loadavg: 1.07 1.60 1.84 2/169 27860
/proc/meminfo: memFree=23727704/32873844 swapFree=7112/7112
[pid=27705] ppid=27703 vsize=149612 CPUtime=1793.7 cores=0,2,4,6
/proc/27705/stat : 27705 (pbscip.linux.x8) R 27703 27705 13043 0 -1 4202496 648135 0 0 0 179125 245 0 0 20 0 1 0 337274571 153202688 36686 33554432000 4194304 7823515 140736751028416 140736751023928 5875821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27705/statm: 37403 36686 578 887 0 36513 0
Current children cumulated CPU time (s) 1793.7
Current children cumulated vsize (KiB) 149612

Child status: 0
Real time (s): 1794.03
CPU time (s): 1793.74
CPU user time (s): 1791.28
CPU system time (s): 2.46163
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 197528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.28
system time used= 2.46162
maximum resident set size= 190648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648138
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= 28
involuntary context switches= 2078

runsolver used 2.75758 second user time and 7.05993 second system time

The end

Launcher Data

Begin job on node104 at 2012-06-03 10:17:40
IDJOB=3736043
IDBENCH=25018
IDSOLVER=2321
FILE ID=node104/3736043-1338711460
RUNJOBID= node104-1338679216-21695
PBS_JOBID= 14636709
Free space on /tmp= 66412 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
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-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736043-1338711460/watcher-3736043-1338711460 -o /tmp/evaluation-result-3736043-1338711460/solver-3736043-1338711460 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3736043-1338711460.opb

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=200547641

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        22492588 kB
Buffers:          556636 kB
Cached:          7449584 kB
SwapCached:          708 kB
Active:          6155320 kB
Inactive:        3217784 kB
Active(anon):    1356620 kB
Inactive(anon):    10136 kB
Active(file):    4798700 kB
Inactive(file):  3207648 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105164 kB
Dirty:             10688 kB
Writeback:             0 kB
AnonPages:       1370864 kB
Mapped:            16324 kB
Shmem:                 8 kB
Slab:             865340 kB
SReclaimable:     307732 kB
SUnreclaim:       557608 kB
KernelStack:        1440 kB
PageTables:         6848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1537492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    313344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 66424 MiB
End job on node104 at 2012-06-03 10:47:34