Trace number 3488732

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 E_2 2011-06-10 (fixed)SAT24 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.5 [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-3488732-1307777022.opb>
0.09/0.18	c original problem has 8901 variables (8901 bin, 0 int, 0 impl, 0 cont) and 32298 constraints
0.09/0.18	c problem read
0.09/0.18	c presolving settings loaded
0.19/0.23	c presolving:
0.29/0.37	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.29/0.38	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.39/0.47	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.49	c    (1.5s) probing: 487/8149 (6.0%) - 0 fixings, 5 aggregations, 12924 implications, 0 bound changes
1.39/1.49	c    (1.5s) probing aborted: 100/100 successive totally useless probings
1.39/1.49	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.51	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.55	c    (1.5s) probing: 497/8149 (6.1%) - 0 fixings, 5 aggregations, 12924 implications, 0 bound changes
1.49/1.55	c    (1.5s) probing aborted: 100/100 successive totally useless probings
1.49/1.55	c presolving (6 rounds):
1.49/1.55	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.55	c  301898 implications, 0 cliques
1.49/1.55	c presolved problem has 8144 variables (8144 bin, 0 int, 0 impl, 0 cont) and 30767 constraints
1.49/1.55	c       1 constraints of type <knapsack>
1.49/1.55	c   23397 constraints of type <setppc>
1.49/1.55	c    7369 constraints of type <logicor>
1.49/1.55	c transformed objective value is always integral (scale: 1)
1.49/1.55	c Presolving Time: 1.33
1.49/1.55	c - non default parameters ----------------------------------------------------------------------
1.49/1.55	c # SCIP version 2.0.1.5
1.49/1.55	c 
1.49/1.55	c # frequency for displaying node information lines
1.49/1.55	c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.55	c display/freq = 10000
1.49/1.55	c 
1.49/1.55	c # maximal time in seconds to run
1.49/1.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.55	c limits/time = 1797
1.49/1.55	c 
1.49/1.55	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.55	c limits/memory = 13950
1.49/1.55	c 
1.49/1.55	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.49/1.55	c # [type: int, range: [1,2], default: 1]
1.49/1.55	c timing/clocktype = 2
1.49/1.55	c 
1.49/1.55	c # belongs reading time to solving time?
1.49/1.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55	c timing/reading = TRUE
1.49/1.55	c 
1.49/1.55	c # should presolving try to simplify inequalities
1.49/1.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55	c constraints/linear/simplifyinequalities = TRUE
1.49/1.55	c 
1.49/1.55	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.49/1.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55	c constraints/indicator/addCouplingCons = TRUE
1.49/1.55	c 
1.49/1.55	c # should presolving try to simplify knapsacks
1.49/1.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55	c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.55	c 
1.49/1.55	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.49/1.55	c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.55	c separating/rapidlearning/freq = 0
1.49/1.55	c 
1.49/1.55	c -----------------------------------------------------------------------------------------------
1.49/1.55	c start solving
1.49/1.55	c 
7.09/7.17	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.17	c   7.2s|     1 |     0 | 10822 |     - |  65M|   0 |1674 |8144 |  30k|8144 |  30k|   0 |  68 |   0 | 1.059795e+01 |      --      |    Inf 
91.39/91.47	c  91.5s|     1 |     0 | 48825 |     - |  65M|   0 |1661 |8144 |  30k|8144 |  30k|  11 |  68 |   0 | 1.140814e+01 |      --      |    Inf 
106.79/106.89	c   107s|     1 |     0 | 48827 |     - |  65M|   0 |1661 |8144 |  30k|8144 |  30k|  13 |  68 |   0 | 1.140814e+01 |      --      |    Inf 
122.19/122.28	c   122s|     1 |     0 | 48829 |     - |  65M|   0 |1661 |8144 |  30k|8144 |  30k|  15 |  68 |   0 | 1.140814e+01 |      --      |    Inf 
137.60/137.67	c   138s|     1 |     0 | 48831 |     - |  65M|   0 |1661 |8144 |  30k|8144 |  30k|  17 |  68 |   0 | 1.140814e+01 |      --      |    Inf 
153.09/153.11	c   153s|     1 |     0 | 48833 |     - |  65M|   0 |1661 |8144 |  30k|8144 |  30k|  19 |  68 |   0 | 1.140814e+01 |      --      |    Inf 
172.89/172.90	o 24
172.89/172.90	c E 173s|     1 |     0 | 48833 |     - |  65M|   0 |1661 |8144 |  30k|8144 |  30k|  19 |  68 |   0 | 1.140814e+01 | 2.400000e+01 | 110.38%
172.89/172.92	c   173s|     1 |     0 | 48833 |     - |  65M|   0 |1661 |8144 |  30k|8144 |  30k|  19 |  68 |   0 | 1.140814e+01 | 2.400000e+01 | 110.38%
202.99/203.01	c   203s|     1 |     2 | 48833 |     - |  65M|   0 |1661 |8144 |  30k|8144 |  30k|  19 |  68 |  17 | 1.140814e+01 | 2.400000e+01 | 110.38%
1797.04/1797.00	c 
1797.04/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.00	c Solving Time (sec) : 1797.00
1797.04/1797.00	c Solving Nodes      : 134
1797.04/1797.00	c Primal Bound       : +2.40000000000000e+01 (1 solutions)
1797.04/1797.00	c Dual Bound         : +1.23877087496479e+01
1797.04/1797.00	c Gap                : 93.74 %
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 
1797.04/1797.02	v -x8808 -x8807 -x8806 -x8805 -x8803 -x8802 -x8801 -x8800 -x8798 -x8797 -x8796 -x8795 -x8793 -x8792 -x8791 x8790 -x8788 -x8787 
1797.04/1797.02	v -x8786 -x8785 -x8783 -x8782 -x8781 x8780 -x8778 -x8777 -x8776 -x8775 -x8773 -x8772 -x8771 -x8770 -x8768 -x8767 -x8766 -x8765 
1797.04/1797.02	v -x8763 -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 
1797.04/1797.02	v -x8166 -x8165 -x8164 -x8163 -x8162 -x8160 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8146 
1797.04/1797.02	v -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8132 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 
1797.04/1797.02	v -x8124 -x8123 -x8122 -x8121 -x8120 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8106 -x8104 
1797.04/1797.02	v -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8092 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 
1797.04/1797.02	v -x8083 -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 
1797.04/1797.02	v -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 
1797.04/1797.02	v -x7919 -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 
1797.04/1797.02	v -x7776 -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 -x7609 
1797.04/1797.02	v -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 -x7479 
1797.04/1797.02	v -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 
1797.04/1797.02	v -x7201 -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 
1797.04/1797.02	v -x7071 -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 
1797.04/1797.02	v -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 
1797.04/1797.02	v -x6925 -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 
1797.04/1797.02	v -x6798 -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 
1797.04/1797.02	v -x6293 -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 -x6117 
1797.04/1797.02	v -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 -x5948 
1797.04/1797.02	v -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 
1797.04/1797.02	v -x5760 -x5759 -x5758 x5757 -x5755 -x5754 -x5753 -x5752 -x5750 -x5749 -x5748 -x5747 -x5745 -x5744 -x5743 -x5742 -x5740 -x5739 
1797.04/1797.02	v -x5738 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 
1797.04/1797.02	v -x5693 -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 
1797.04/1797.02	v -x5537 -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 
1797.04/1797.02	v -x5225 -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 
1797.04/1797.02	v -x5082 -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 
1797.04/1797.02	v -x4936 -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 
1797.04/1797.02	v -x4794 -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 
1797.04/1797.02	v x4645 -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 -x4496 
1797.04/1797.02	v -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 
1797.04/1797.02	v -x4348 -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 
1797.04/1797.02	v -x4218 -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 
1797.04/1797.02	v -x4088 -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 
1797.04/1797.02	v -x3959 -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 
1797.04/1797.02	v -x3668 -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 
1797.04/1797.02	v -x3537 -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 
1797.04/1797.02	v -x3336 x3335 -x3333 -x3332 -x3331 -x3330 -x3328 -x3327 -x3326 -x3325 -x3323 -x3322 -x3321 -x3320 -x3318 -x3317 -x3316 -x3315 
1797.04/1797.02	v -x3313 -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 
1797.04/1797.02	v -x3056 -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 
1797.04/1797.02	v x2890 -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 
1797.04/1797.02	v -x2848 -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 
1797.04/1797.02	v -x2702 -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 
1797.04/1797.02	v -x2660 -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 
1797.04/1797.02	v -x2515 -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 
1797.04/1797.02	v -x2337 -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 
1797.04/1797.02	v -x2207 -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 
1797.04/1797.02	v -x2078 -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 
1797.04/1797.02	v -x1929 -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 
1797.04/1797.02	v -x1781 -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 
1797.04/1797.02	v -x1633 -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 
1797.04/1797.02	v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 
1797.04/1797.02	v -x1487 -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 
1797.04/1797.02	v -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 
1797.04/1797.02	v -x1360 -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 
1797.04/1797.02	v -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 
1797.04/1797.02	v -x1215 -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 
1797.04/1797.02	v -x1163 -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 
1797.04/1797.02	v -x1002 -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 
1797.04/1797.02	v -x940 -x938 -x939 -x937 -x935 -x936 -x934 -x933 -x932 -x930 -x929 -x927 -x926 -x925 -x924 -x922 x921 -x920 -x919 -x918 -x917 
1797.04/1797.02	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x894 
1797.04/1797.02	v -x893 -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 
1797.04/1797.02	v -x671 -x669 -x670 -x668 -x666 -x667 -x665 -x663 -x664 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651 -x652 
1797.04/1797.02	v -x650 -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 
1797.04/1797.02	v -x526 -x524 -x523 -x522 -x520 -x521 -x519 -x518 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x506 -x507 -x505 
1797.04/1797.02	v -x504 -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 
1797.04/1797.02	v -x4 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 
1797.04/1797.02	v -x238 -x236 -x237 -x235 -x233 x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 
1797.04/1797.02	v -x217 -x215 -x216 -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 
1797.04/1797.02	v -x196 -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 
1797.04/1797.02	v -x19 -x18 -x16 -x15 -x13 x12 -x10 -x1205 -x1204 -x1202 -x8900 -x8898 -x8896 x8894 -x8889 -x8884 -x8879 -x8874 -x8869 -x8864 
1797.04/1797.02	v -x8859 -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 
1797.04/1797.02	v -x7967 -x7955 -x7953 -x7941 -x7929 -x7917 -x7905 -x7893 -x7891 -x7879 -x7877 -x7865 -x7853 -x7851 -x7839 -x7837 -x7825 -x7823 
1797.04/1797.02	v -x7811 -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 
1797.04/1797.02	v -x738 -x6202 -x6190 -x6178 -x6166 -x729 -x6154 -x726 -x6142 -x6130 x721 -x6118 -x718 -x6106 -x715 -x6094 -x712 -x6082 -x6070 
1797.04/1797.02	v -x6043 -x6016 -x5989 x5962 -x5935 -x5908 -x5881 -x5876 -x5871 -x5866 -x5861 -x5856 -x5851 -x5846 -x5841 -x5836 -x5831 -x5826 
1797.04/1797.02	v -x5821 -x5816 -x5811 -x5806 -x5801 -x5796 -x5791 -x5786 -x5781 -x5776 -x5771 -x5766 -x5761 -x5756 -x5751 -x5746 -x5741 -x5736 
1797.04/1797.02	v -x5731 -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 
1797.04/1797.02	v -x5033 -x5021 -x5019 -x5007 -x5005 -x4993 -x4991 -x4979 -x4977 -x4965 -x4953 -x4951 -x4939 -x4937 -x4925 -x4923 -x4911 -x4909 
1797.04/1797.02	v -x4897 -x4895 -x4883 -x4871 -x4869 -x4857 -x4855 -x4843 -x4831 -x4829 -x4817 -x4805 -x4803 -x4791 -x4779 -x4752 -x437 -x4725 
1797.04/1797.02	v -x434 x4698 -x4671 -x429 -x4644 -x4617 -x424 -x4590 -x4563 -x419 -x4536 -x416 -x4509 -x413 -x4482 -x410 -x4455 -x4428 -x4401 
1797.04/1797.02	v -x403 -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 
1797.04/1797.02	v -x3234 -x3229 -x3224 -x3219 -x3214 -x3209 -x3197 -x3195 -x3183 -x3181 -x3169 -x3167 -x3155 -x3153 -x3141 -x3139 -x3127 -x3125 
1797.04/1797.02	v -x3113 -x3111 -x3099 x3097 -x3085 -x3083 -x3071 -x3069 -x3057 -x3055 -x3043 -x3041 -x3029 -x3027 -x3015 -x3013 -x3001 -x2999 
1797.04/1797.02	v -x2987 -x2985 -x2973 -x2971 -x2959 -x2957 -x2945 -x2943 -x2931 -x2929 -x2917 -x2915 -x2903 -x2901 -x2889 -x2887 -x2875 -x2873 
1797.04/1797.02	v -x2861 -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 
1797.04/1797.02	v -x2265 -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 
1797.04/1797.02	v -x11 -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.00
1797.04/1797.02	c   solving          :    1797.00
1797.04/1797.02	c   presolving       :       1.33 (included in solving)
1797.04/1797.02	c   reading          :       0.18 (included in solving)
1797.04/1797.02	c Original Problem   :
1797.04/1797.02	c   Problem name     : HOME/instance-3488732-1307777022.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-3488732-1307777022.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   pseudoobj        :       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.97          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.21          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        133          0          7          0          0          2          0          0        264
1797.04/1797.02	c   knapsack         :          1          6       6979          0          1          4          0          0          0          0          0          0
1797.04/1797.02	c   setppc           :      23397          6       6979          0          1          3      19940          7       8478          0          0          0
1797.04/1797.02	c   logicor          :       7369+         6       4893          0          1          2       2266         20         48         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         :     404.68       0.00       0.00     404.68       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.39       0.00       0.01       0.00       0.01
1797.04/1797.02	c   logicor          :       0.24       0.00       0.23       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        :       5897          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.15         27         27        639      499.1          1      375.0          -
1797.04/1797.02	c   infeasible LP    :       0.00          0          0          0        0.0          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 :          -          -          -        143      194.8          -          -          -
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.03        139          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.06          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         :      51.87          7          0          0         14          0
1797.04/1797.02	c   cmir             :       1.78          7          0          0          0          0
1797.04/1797.02	c   flowcover        :       2.01          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        :     404.68        133          0          2          0          0        264
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   coefdiving       :      90.39          2          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.26        132          0
1797.04/1797.02	c   rounding         :       0.21        119          0
1797.04/1797.02	c   shifting         :       0.17         19          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         :      84.92          2          0
1797.04/1797.02	c   clique           :       0.00          0          0
1797.04/1797.02	c   pscostdiving     :      97.25          4          0
1797.04/1797.02	c   fracdiving       :      86.10          5          0
1797.04/1797.02	c   veclendiving     :     103.69          3          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  :      42.86          2          0
1797.04/1797.02	c   rootsoldiving    :      56.19          2          0
1797.04/1797.02	c   linesearchdiving :     106.13          5          0
1797.04/1797.02	c   guideddiving     :     127.29          3          0
1797.04/1797.02	c   octane           :       0.00          0          0
1797.04/1797.02	c   rens             :       4.41          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          :     481.78        139     572117    4115.95    1187.52
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:     785.63       1954     820580     419.95    1044.49
1797.04/1797.02	c   strong branching :     404.59        446     430962     966.28    1065.19
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            :        134
1797.04/1797.02	c   nodes (total)    :        134
1797.04/1797.02	c   nodes left       :        133
1797.04/1797.02	c   max depth        :         26
1797.04/1797.02	c   max depth (total):         26
1797.04/1797.02	c   backtracks       :         41 (30.6%)
1797.04/1797.02	c   delayed cutoffs  :          0
1797.04/1797.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.04/1797.02	c   avg switch length:       4.95
1797.04/1797.02	c   switching time   :       0.12
1797.04/1797.02	c Solution           :
1797.04/1797.02	c   Solutions found  :          1 (1 improvements)
1797.04/1797.02	c   First Solution   : +2.40000000000000e+01   (in run 1, after 1 nodes, 172.89 seconds, depth 0, found by <rens>)
1797.04/1797.02	c   Primal Bound     : +2.40000000000000e+01   (in run 1, after 1 nodes, 172.89 seconds, depth 0, found by <rens>)
1797.04/1797.02	c   Dual Bound       : +1.23877087496479e+01
1797.04/1797.02	c   Gap              :      93.74 %
1797.04/1797.02	c   Root Dual Bound  : +1.14081445598279e+01
1797.04/1797.02	c   Root Iterations  :      48833
1797.13/1797.10	c Time complete: 1797.14.

Verifier Data 

OK	24

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.11 2.48 3/175 31624
/proc/meminfo: memFree=31541640/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=12692 CPUtime=0 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 2167 0 0 0 0 0 0 0 25 0 1 0 889301991 12996608 2121 33554432000 4194304 9016284 140737390181520 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31624/statm: 3218 2122 353 1178 0 2036 0

[startup+0.079206 s]
/proc/loadavg: 2.00 2.11 2.48 3/175 31624
/proc/meminfo: memFree=31541640/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=23464 CPUtime=0.07 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 4865 0 0 0 7 0 0 0 25 0 1 0 889301991 24027136 4819 33554432000 4194304 9016284 140737390181520 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31624/statm: 5866 4819 360 1178 0 4684 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23464

[startup+0.100153 s]
/proc/loadavg: 2.00 2.11 2.48 3/175 31624
/proc/meminfo: memFree=31541640/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=24768 CPUtime=0.09 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 5194 0 0 0 9 0 0 0 25 0 1 0 889301991 25362432 5148 33554432000 4194304 9016284 140737390181520 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31624/statm: 6192 5148 360 1178 0 5010 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24768

[startup+0.30017 s]
/proc/loadavg: 2.00 2.11 2.48 3/175 31624
/proc/meminfo: memFree=31541640/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=71364 CPUtime=0.29 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 16400 0 0 0 28 1 0 0 25 0 1 0 889301991 73076736 16347 33554432000 4194304 9016284 140737390181520 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 17841 16347 494 1178 0 16659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71364

[startup+0.70112 s]
/proc/loadavg: 2.00 2.11 2.48 3/175 31624
/proc/meminfo: memFree=31541640/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=87000 CPUtime=0.69 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 22504 0 0 0 67 2 0 0 25 0 1 0 889301991 89088000 20412 33554432000 4194304 9016284 140737390181520 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 21750 20412 574 1178 0 20568 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87000

[startup+1.50098 s]
/proc/loadavg: 2.00 2.11 2.48 4/179 31635
/proc/meminfo: memFree=31301312/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=90328 CPUtime=1.49 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 23376 0 0 0 147 2 0 0 25 0 1 0 889301991 92495872 21251 33554432000 4194304 9016284 140737390181520 18446744073709551615 5509976 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 22582 21251 545 1178 0 21400 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90328

[startup+3.10063 s]
/proc/loadavg: 2.00 2.11 2.48 4/179 31635
/proc/meminfo: memFree=31221324/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=149180 CPUtime=3.09 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 38191 0 0 0 304 5 0 0 25 0 1 0 889301991 152760320 35056 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 37295 35056 675 1178 0 36113 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149180

[startup+6.30117 s]
/proc/loadavg: 2.16 2.14 2.49 4/179 31635
/proc/meminfo: memFree=31211864/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=149180 CPUtime=6.29 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 38240 0 0 0 623 6 0 0 25 0 1 0 889301991 152760320 35099 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 37295 35099 672 1178 0 36113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149180

[startup+12.701 s]
/proc/loadavg: 2.23 2.15 2.49 4/179 31635
/proc/meminfo: memFree=31060012/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=148024 CPUtime=12.69 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 39227 0 0 0 1261 8 0 0 25 0 1 0 889301991 151576576 35471 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 37006 35471 715 1178 0 35824 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148024

[startup+25.5007 s]
/proc/loadavg: 2.40 2.20 2.50 4/179 31635
/proc/meminfo: memFree=31055064/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=148024 CPUtime=25.49 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 39229 0 0 0 2540 9 0 0 25 0 1 0 889301991 151576576 35472 33554432000 4194304 9016284 140737390181520 18446744073709551615 7178162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 37006 35472 714 1178 0 35824 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 148024

[startup+51.1002 s]
/proc/loadavg: 2.60 2.26 2.51 4/179 31636
/proc/meminfo: memFree=31053132/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=148024 CPUtime=51.09 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 39232 0 0 0 5096 13 0 0 25 0 1 0 889301991 151576576 35475 33554432000 4194304 9016284 140737390181520 18446744073709551615 6977422 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 37006 35475 716 1178 0 35824 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 148024

[startup+102.306 s]
/proc/loadavg: 2.83 2.37 2.54 4/179 31637
/proc/meminfo: memFree=31065508/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=149988 CPUtime=102.3 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 39903 0 0 0 10207 23 0 0 25 0 1 0 889301991 153587712 36077 33554432000 4194304 9016284 140737390181520 18446744073709551615 6586645 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 37497 36077 778 1178 0 36315 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 149988

[startup+162.301 s]
/proc/loadavg: 2.93 2.48 2.56 4/179 31639
/proc/meminfo: memFree=31065460/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=149988 CPUtime=162.29 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 39948 0 0 0 16192 37 0 0 25 0 1 0 889301991 153587712 36092 33554432000 4194304 9016284 140737390181520 18446744073709551615 6520767 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 37497 36092 748 1178 0 36315 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 149988

[startup+222.301 s]
/proc/loadavg: 2.97 2.57 2.59 4/179 31641
/proc/meminfo: memFree=31033932/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=222.3 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54620 0 0 0 22171 59 0 0 25 0 1 0 889301991 182919168 43651 33554432000 4194304 9016284 140737390181520 18446744073709551615 7214222 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43651 722 1178 0 43476 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 178632

[startup+282.3 s]
/proc/loadavg: 2.99 2.65 2.61 4/179 31642
/proc/meminfo: memFree=31034008/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=282.3 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54621 0 0 0 28155 75 0 0 25 0 1 0 889301991 182919168 43651 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43651 721 1178 0 43476 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 178632

[startup+342.301 s]
/proc/loadavg: 2.99 2.71 2.63 4/179 31644
/proc/meminfo: memFree=31034072/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=342.3 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54621 0 0 0 34139 91 0 0 25 0 1 0 889301991 182919168 43651 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43651 721 1178 0 43476 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 178632

[startup+402.3 s]
/proc/loadavg: 2.99 2.76 2.65 4/179 31645
/proc/meminfo: memFree=31034032/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=402.3 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54621 0 0 0 40122 108 0 0 25 0 1 0 889301991 182919168 43651 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43651 721 1178 0 43476 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 178632

[startup+462.301 s]
/proc/loadavg: 2.99 2.80 2.67 4/179 31647
/proc/meminfo: memFree=31033960/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=462.3 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54621 0 0 0 46107 123 0 0 25 0 1 0 889301991 182919168 43651 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43651 721 1178 0 43476 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 178632

[startup+522.301 s]
/proc/loadavg: 2.99 2.83 2.69 4/179 31649
/proc/meminfo: memFree=31033800/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=522.3 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54622 0 0 0 52093 137 0 0 25 0 1 0 889301991 182919168 43652 33554432000 4194304 9016284 140737390181520 18446744073709551615 7180336 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43652 721 1178 0 43476 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 178632

[startup+582.3 s]
/proc/loadavg: 2.99 2.86 2.70 4/179 31650
/proc/meminfo: memFree=31033620/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=582.31 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54622 0 0 0 58074 157 0 0 25 0 1 0 889301991 182919168 43652 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43652 721 1178 0 43476 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 178632

[startup+642.301 s]

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

/proc/meminfo: memFree=30879100/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1062.32 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54622 0 0 0 105958 274 0 0 25 0 1 0 889301991 182919168 43652 33554432000 4194304 9016284 140737390181520 18446744073709551615 7103585 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43652 721 1178 0 43476 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 178632

[startup+1122.3 s]
/proc/loadavg: 2.99 2.96 2.82 4/179 31665
/proc/meminfo: memFree=30928532/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1122.31 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54622 0 0 0 111944 287 0 0 25 0 1 0 889301991 182919168 43652 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43652 721 1178 0 43476 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 178632

[startup+1182.3 s]
/proc/loadavg: 2.99 2.97 2.82 4/179 31666
/proc/meminfo: memFree=30928472/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1182.32 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54622 0 0 0 117927 305 0 0 25 0 1 0 889301991 182919168 43652 33554432000 4194304 9016284 140737390181520 18446744073709551615 7080864 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43652 721 1178 0 43476 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 178632

[startup+1242.3 s]
/proc/loadavg: 2.99 2.97 2.83 4/179 31668
/proc/meminfo: memFree=30928424/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1242.32 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54622 0 0 0 123914 318 0 0 25 0 1 0 889301991 182919168 43652 33554432000 4194304 9016284 140737390181520 18446744073709551615 7080883 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43652 721 1178 0 43476 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 178632

[startup+1302.3 s]
/proc/loadavg: 2.99 2.97 2.84 4/179 31669
/proc/meminfo: memFree=30928624/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1302.33 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54622 0 0 0 129900 333 0 0 25 0 1 0 889301991 182919168 43652 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43652 721 1178 0 43476 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 178632

[startup+1362.3 s]
/proc/loadavg: 2.99 2.97 2.84 4/179 31671
/proc/meminfo: memFree=30928700/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1362.33 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54622 0 0 0 135881 352 0 0 25 0 1 0 889301991 182919168 43652 33554432000 4194304 9016284 140737390181520 18446744073709551615 7158231 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43652 721 1178 0 43476 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 178632

[startup+1422.31 s]
/proc/loadavg: 2.99 2.97 2.85 4/179 31673
/proc/meminfo: memFree=30928664/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1422.33 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 141869 364 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7189102 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 178632

[startup+1482.3 s]
/proc/loadavg: 2.99 2.97 2.85 4/179 31674
/proc/meminfo: memFree=30928732/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1482.32 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 147853 379 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 178632

[startup+1542.3 s]
/proc/loadavg: 2.99 2.97 2.86 4/179 31676
/proc/meminfo: memFree=30928688/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1542.33 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 153840 393 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7214476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 178632

[startup+1602.3 s]
/proc/loadavg: 2.99 2.97 2.87 4/179 31677
/proc/meminfo: memFree=30928768/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1602.33 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 159825 408 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7178665 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 178632

[startup+1662.3 s]
/proc/loadavg: 2.99 2.97 2.87 4/179 31679
/proc/meminfo: memFree=30928712/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1662.33 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 165811 422 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7080744 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 178632

[startup+1722.3 s]
/proc/loadavg: 2.99 2.97 2.88 4/179 31681
/proc/meminfo: memFree=30928664/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1722.33 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 171795 438 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7081886 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 178632

[startup+1782.3 s]
/proc/loadavg: 3.04 2.99 2.89 4/179 31682
/proc/meminfo: memFree=30928612/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1782.34 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 177778 456 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7080792 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 178632

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

[startup+1785.5 s]
/proc/loadavg: 3.04 2.99 2.89 4/179 31682
/proc/meminfo: memFree=30928612/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1785.53 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 178097 456 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 178632

[startup+1791.91 s]
/proc/loadavg: 3.04 2.99 2.89 4/179 31682
/proc/meminfo: memFree=30928600/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1791.94 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 178736 458 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 178632

[startup+1795.1 s]
/proc/loadavg: 3.03 2.99 2.89 4/179 31682
/proc/meminfo: memFree=30928600/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1795.14 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 179055 459 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 178632

[startup+1795.9 s]
/proc/loadavg: 3.03 2.99 2.89 4/179 31682
/proc/meminfo: memFree=30928600/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1795.94 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 179135 459 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7081839 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 178632

[startup+1796.7 s]
/proc/loadavg: 3.03 2.99 2.89 4/179 31683
/proc/meminfo: memFree=30928600/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=178632 CPUtime=1796.74 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54624 0 0 0 179215 459 0 0 25 0 1 0 889301991 182919168 43654 33554432000 4194304 9016284 140737390181520 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31624/statm: 44658 43654 721 1178 0 43476 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 178632

[startup+1797.1 s]
/proc/loadavg: 3.03 2.99 2.89 4/179 31683
/proc/meminfo: memFree=30928600/32950928 swapFree=67055156/67111528
[pid=31624] ppid=31622 vsize=80676 CPUtime=1797.13 cores=0,2,4,6
/proc/31624/stat : 31624 (scip-2.0.1.4b_2) R 31622 31624 30017 0 -1 4202496 54626 0 0 0 179254 459 0 0 18 0 1 0 889301991 82612224 18915 33554432000 4194304 9016284 140737390181520 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31624/statm: 20169 18403 723 1178 0 18987 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 80676

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.55
system time used= 4.6013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54631
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= 8
involuntary context switches= 2667

runsolver used 2.79657 second user time and 6.01609 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-11 09:23:42
IDJOB=3488732
IDBENCH=25018
IDSOLVER=1979
FILE ID=node123/3488732-1307777022
RUNJOBID= node123-1307777022-31606
PBS_JOBID= 13550870
Free space on /tmp= 74176 MiB

SOLVER NAME= SCIP spx E_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.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488732-1307777022/watcher-3488732-1307777022 -o /tmp/evaluation-result-3488732-1307777022/solver-3488732-1307777022 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488732-1307777022.opb -t 1800 -m 15500

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1958658060

node123.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.838
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.67
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.838
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	: 5226.15
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.838
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31542440 kB
Buffers:        274848 kB
Cached:         895360 kB
SwapCached:      10356 kB
Active:         494508 kB
Inactive:       722116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31542440 kB
SwapTotal:    67111528 kB
SwapFree:     67055156 kB
Dirty:           18256 kB
Writeback:           0 kB
AnonPages:       43564 kB
Mapped:          12728 kB
Slab:           126680 kB
PageTables:       5372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   629684 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= 74140 MiB
End job on node123 at 2011-06-11 09:53:39