Trace number 3485290

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
SCIP spx 2 2011-06-10 (fixed)SAT25 1797.15 1797.11

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	25

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3485290-1307778747/watcher-3485290-1307778747 -o /tmp/evaluation-result-3485290-1307778747/solver-3485290-1307778747 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485290-1307778747.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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.05 2.01 1.93 2/177 5938
/proc/meminfo: memFree=31377032/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=10452 CPUtime=0 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 1616 0 0 0 0 0 0 0 25 0 1 0 870291008 10702848 1570 33554432000 4194304 8979876 140737202590992 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5938/statm: 2613 1570 366 1169 0 1440 0

[startup+0.0825779 s]
/proc/loadavg: 2.05 2.01 1.93 2/177 5938
/proc/meminfo: memFree=31377032/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=19696 CPUtime=0.07 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 3943 0 0 0 7 0 0 0 25 0 1 0 870291008 20168704 3897 33554432000 4194304 8979876 140737202590992 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5938/statm: 4924 3897 366 1169 0 3751 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19696

[startup+0.100585 s]
/proc/loadavg: 2.05 2.01 1.93 2/177 5938
/proc/meminfo: memFree=31377032/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=20836 CPUtime=0.09 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 4221 0 0 0 9 0 0 0 25 0 1 0 870291008 21336064 4175 33554432000 4194304 8979876 140737202590992 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5938/statm: 5209 4175 366 1169 0 4036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20836

[startup+0.300551 s]
/proc/loadavg: 2.05 2.01 1.93 2/177 5938
/proc/meminfo: memFree=31377032/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=76664 CPUtime=0.29 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 17738 0 0 0 28 1 0 0 25 0 1 0 870291008 78503936 17601 33554432000 4194304 8979876 140737202590992 18446744073709551615 4918163 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 19166 17601 503 1169 0 17993 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76664

[startup+0.700482 s]
/proc/loadavg: 2.05 2.01 1.93 2/177 5938
/proc/meminfo: memFree=31377032/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=90068 CPUtime=0.69 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 23261 0 0 0 67 2 0 0 25 0 1 0 870291008 92229632 21127 33554432000 4194304 8979876 140737202590992 18446744073709551615 5537828 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 22517 21127 581 1169 0 21344 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90068

[startup+1.50033 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5939
/proc/meminfo: memFree=31295092/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=93820 CPUtime=1.49 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 24226 0 0 0 147 2 0 0 25 0 1 0 870291008 96071680 22072 33554432000 4194304 8979876 140737202590992 18446744073709551615 5378717 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 23455 22072 565 1169 0 22282 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93820

[startup+3.10104 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5939
/proc/meminfo: memFree=31241152/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=152624 CPUtime=3.09 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 39024 0 0 0 305 4 0 0 25 0 1 0 870291008 156286976 35862 33554432000 4194304 8979876 140737202590992 18446744073709551615 7143771 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 38156 35862 701 1169 0 36983 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152624

[startup+6.30047 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 5940
/proc/meminfo: memFree=31235448/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=152624 CPUtime=6.29 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 39072 0 0 0 624 5 0 0 25 0 1 0 870291008 156286976 35904 33554432000 4194304 8979876 140737202590992 18446744073709551615 7151840 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 38156 35904 699 1169 0 36983 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152624

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 5940
/proc/meminfo: memFree=31232488/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=151468 CPUtime=12.69 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 40060 0 0 0 1262 7 0 0 25 0 1 0 870291008 155103232 36280 33554432000 4194304 8979876 140737202590992 18446744073709551615 7146622 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 37867 36280 744 1169 0 36694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151468

[startup+25.501 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 5940
/proc/meminfo: memFree=31232860/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=151468 CPUtime=25.5 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 40064 0 0 0 2542 8 0 0 25 0 1 0 870291008 155103232 36282 33554432000 4194304 8979876 140737202590992 18446744073709551615 7143880 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 37867 36282 742 1169 0 36694 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 151468

[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 5941
/proc/meminfo: memFree=31232640/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=151468 CPUtime=51.1 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 40068 0 0 0 5097 13 0 0 25 0 1 0 870291008 155103232 36286 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 37867 36286 744 1169 0 36694 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 151468

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 5942
/proc/meminfo: memFree=31228816/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=153432 CPUtime=102.3 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 40736 0 0 0 10208 22 0 0 25 0 1 0 870291008 157114368 36883 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 38358 36883 802 1169 0 37185 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 153432

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5944
/proc/meminfo: memFree=31227420/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=154144 CPUtime=162.3 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 40966 0 0 0 16190 40 0 0 25 0 1 0 870291008 157843456 37055 33554432000 4194304 8979876 140737202590992 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 38536 37055 744 1169 0 37363 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 154144

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5945
/proc/meminfo: memFree=31189696/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=222.3 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55375 0 0 0 22152 78 0 0 25 0 1 0 870291008 195104768 46569 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46569 750 1169 0 46460 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 190532

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5947
/proc/meminfo: memFree=31188548/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=282.29 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55376 0 0 0 28129 100 0 0 25 0 1 0 870291008 195104768 46569 33554432000 4194304 8979876 140737202590992 18446744073709551615 6829008 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46569 749 1169 0 46460 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 190532

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5949
/proc/meminfo: memFree=31187776/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=342.3 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55376 0 0 0 34112 118 0 0 25 0 1 0 870291008 195104768 46569 33554432000 4194304 8979876 140737202590992 18446744073709551615 7046344 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46569 749 1169 0 46460 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 190532

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5950
/proc/meminfo: memFree=31187496/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=402.3 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55376 0 0 0 40093 137 0 0 25 0 1 0 870291008 195104768 46569 33554432000 4194304 8979876 140737202590992 18446744073709551615 7047475 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46569 749 1169 0 46460 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 190532

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 5952
/proc/meminfo: memFree=31185724/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=462.3 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55376 0 0 0 46073 157 0 0 25 0 1 0 870291008 195104768 46569 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46569 749 1169 0 46460 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 190532

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 5962
/proc/meminfo: memFree=31183512/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=522.31 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55377 0 0 0 52056 175 0 0 25 0 1 0 870291008 195104768 46570 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46570 749 1169 0 46460 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 190532

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 5964
/proc/meminfo: memFree=31184136/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=582.3 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55377 0 0 0 58035 195 0 0 25 0 1 0 870291008 195104768 46570 33554432000 4194304 8979876 140737202590992 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46570 749 1169 0 46460 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 190532

[startup+642.301 s]

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

/proc/meminfo: memFree=31181252/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1062.32 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 105896 336 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 190532

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 5978
/proc/meminfo: memFree=31181456/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1122.32 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 111875 357 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7156816 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 190532

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 5980
/proc/meminfo: memFree=31175228/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1182.32 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 117851 381 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7146175 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 190532

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5982
/proc/meminfo: memFree=31178408/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1242.32 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 123832 400 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7154820 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 190532

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5983
/proc/meminfo: memFree=31177264/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1302.33 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 129813 420 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 190532

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5985
/proc/meminfo: memFree=31176468/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1362.33 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 135794 439 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 190532

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5986
/proc/meminfo: memFree=31176820/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1422.34 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 141779 455 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 190532

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5988
/proc/meminfo: memFree=31179640/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1482.33 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 147762 471 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7146513 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 190532

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5990
/proc/meminfo: memFree=31179728/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1542.33 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 153746 487 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7143693 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 190532

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5991
/proc/meminfo: memFree=31176604/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1602.34 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 159726 508 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7144113 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 190532

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 5993
/proc/meminfo: memFree=31176568/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1662.34 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55380 0 0 0 165704 530 0 0 25 0 1 0 870291008 195104768 46573 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46573 752 1169 0 46460 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 190532

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 5994
/proc/meminfo: memFree=31176528/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1722.34 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55386 0 0 0 171682 552 0 0 25 0 1 0 870291008 195104768 46579 33554432000 4194304 8979876 140737202590992 18446744073709551615 7143789 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46579 752 1169 0 46460 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 190532

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5996
/proc/meminfo: memFree=31176252/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1782.34 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55386 0 0 0 177664 570 0 0 25 0 1 0 870291008 195104768 46579 33554432000 4194304 8979876 140737202590992 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46579 752 1169 0 46460 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 190532

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5996
/proc/meminfo: memFree=31176004/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1785.54 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55386 0 0 0 177983 571 0 0 25 0 1 0 870291008 195104768 46579 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46579 752 1169 0 46460 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 190532

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 5996
/proc/meminfo: memFree=31176868/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1791.95 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55386 0 0 0 178622 573 0 0 25 0 1 0 870291008 195104768 46579 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46579 752 1169 0 46460 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 190532

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6034
/proc/meminfo: memFree=31204368/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1795.15 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55386 0 0 0 178941 574 0 0 25 0 1 0 870291008 195104768 46579 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46579 752 1169 0 46460 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 190532

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6034
/proc/meminfo: memFree=31204368/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1795.93 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55386 0 0 0 179019 574 0 0 25 0 1 0 870291008 195104768 46579 33554432000 4194304 8979876 140737202590992 18446744073709551615 7123712 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46579 752 1169 0 46460 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 190532

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6034
/proc/meminfo: memFree=31178324/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=190532 CPUtime=1796.73 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55386 0 0 0 179099 574 0 0 25 0 1 0 870291008 195104768 46579 33554432000 4194304 8979876 140737202590992 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5938/statm: 47633 46579 752 1169 0 46460 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 190532

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6034
/proc/meminfo: memFree=31178324/32951124 swapFree=67050916/67111528
[pid=5938] ppid=5936 vsize=122088 CPUtime=1797.14 cores=1,3,5,7
/proc/5938/stat : 5938 (scip-2.0.1.4_2.) R 5936 5938 4338 0 -1 4202496 55389 0 0 0 179139 575 0 0 25 0 1 0 870291008 125018112 29748 33554432000 4194304 8979876 140737202590992 18446744073709551615 6783404 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5938/statm: 30522 29748 755 1169 0 29349 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 122088

Child status: 0
Real time (s): 1797.11
CPU time (s): 1797.15
CPU user time (s): 1791.4
CPU system time (s): 5.75712
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 211040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.4
system time used= 5.75712
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55394
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= 4
involuntary context switches= 21217

runsolver used 3.03454 second user time and 6.37003 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-11 09:52:27
IDJOB=3485290
IDBENCH=25018
IDSOLVER=1977
FILE ID=node146/3485290-1307778747
RUNJOBID= node146-1307776947-5746
PBS_JOBID= 13550873
Free space on /tmp= 74076 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485290-1307778747/watcher-3485290-1307778747 -o /tmp/evaluation-result-3485290-1307778747/solver-3485290-1307778747 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485290-1307778747.opb -t 1800 -m 15500

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=771808892

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31377832 kB
Buffers:        292504 kB
Cached:         981440 kB
SwapCached:      14576 kB
Active:         658588 kB
Inactive:       709272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31377832 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:           34724 kB
Writeback:           0 kB
AnonPages:       91536 kB
Mapped:          12004 kB
Slab:           141444 kB
PageTables:       4524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   281968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74056 MiB
End job on node146 at 2011-06-11 10:22:25