Trace number 3450812

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 SCIP 2.0.1.4b with SoPlex 1.5.0.4SAT (TO)24 1800.66 1800.62

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

Verifier Data 

OK	24

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3450812-1307100240/watcher-3450812-1307100240 -o /tmp/evaluation-result-3450812-1307100240/solver-3450812-1307100240 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450812-1307100240.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: 1.93 2.05 2.01 2/421 24241
/proc/meminfo: memFree=25952888/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=14544 CPUtime=0 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 2609 0 0 0 0 0 0 0 25 0 1 0 821622174 14893056 2563 33554432000 4194304 9163163 140737124470672 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24241/statm: 3636 2563 395 1214 0 2418 0

[startup+0.048029 s]
/proc/loadavg: 1.93 2.05 2.01 2/421 24241
/proc/meminfo: memFree=25952888/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=19136 CPUtime=0.04 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 3754 0 0 0 4 0 0 0 25 0 1 0 821622174 19595264 3708 33554432000 4194304 9163163 140737124470672 18446744073709551615 8031082 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24241/statm: 4784 3708 395 1214 0 3566 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19136

[startup+0.101048 s]
/proc/loadavg: 1.93 2.05 2.01 2/421 24241
/proc/meminfo: memFree=25952888/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=23608 CPUtime=0.09 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 4902 0 0 0 9 0 0 0 25 0 1 0 821622174 24174592 4856 33554432000 4194304 9163163 140737124470672 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24241/statm: 5902 4856 395 1214 0 4684 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23608

[startup+0.300984 s]
/proc/loadavg: 1.93 2.05 2.01 2/421 24241
/proc/meminfo: memFree=25952888/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=69472 CPUtime=0.29 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 15898 0 0 0 27 2 0 0 25 0 1 0 821622174 71139328 15851 33554432000 4194304 9163163 140737124470672 18446744073709551615 6556302 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 17368 15851 515 1214 0 16150 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69472

[startup+0.700941 s]
/proc/loadavg: 1.93 2.05 2.01 2/421 24241
/proc/meminfo: memFree=25952888/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=86612 CPUtime=0.69 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 22419 0 0 0 66 3 0 0 25 0 1 0 821622174 88690688 20302 33554432000 4194304 9163163 140737124470672 18446744073709551615 4751407 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 21653 20302 565 1214 0 20435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86612

[startup+1.50077 s]
/proc/loadavg: 1.93 2.05 2.01 3/422 24242
/proc/meminfo: memFree=25873272/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=87432 CPUtime=1.49 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 22627 0 0 0 146 3 0 0 25 0 1 0 821622174 89530368 20510 33554432000 4194304 9163163 140737124470672 18446744073709551615 5944184 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 21858 20510 565 1214 0 20640 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87432

[startup+3.10047 s]
/proc/loadavg: 1.93 2.05 2.01 2/420 24256
/proc/meminfo: memFree=25846560/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=149720 CPUtime=3.09 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 39250 0 0 0 304 5 0 0 25 0 1 0 821622174 153313280 34899 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 37430 34899 696 1214 0 36212 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149720

[startup+6.30091 s]
/proc/loadavg: 1.94 2.05 2.01 3/425 24266
/proc/meminfo: memFree=25651360/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=149720 CPUtime=6.29 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 39305 0 0 0 623 6 0 0 25 0 1 0 821622174 153313280 34945 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 37430 34945 687 1214 0 36212 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149720

[startup+12.7007 s]
/proc/loadavg: 1.94 2.05 2.01 3/425 24266
/proc/meminfo: memFree=25509664/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=149468 CPUtime=12.69 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 40901 0 0 0 1262 7 0 0 25 0 1 0 821622174 153055232 35988 33554432000 4194304 9163163 140737124470672 18446744073709551615 7348353 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 37367 35988 703 1214 0 36149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 149468

[startup+25.5004 s]
/proc/loadavg: 1.95 2.04 2.01 3/425 24266
/proc/meminfo: memFree=25487824/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=149468 CPUtime=25.49 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 40901 0 0 0 2540 9 0 0 25 0 1 0 821622174 153055232 35988 33554432000 4194304 9163163 140737124470672 18446744073709551615 7359771 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 37367 35988 703 1214 0 36149 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 149468

[startup+51.1007 s]
/proc/loadavg: 1.97 2.04 2.01 3/425 24267
/proc/meminfo: memFree=25486108/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=149468 CPUtime=51.09 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 40903 0 0 0 5098 11 0 0 25 0 1 0 821622174 153055232 35990 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 37367 35990 705 1214 0 36149 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 149468

[startup+102.315 s]
/proc/loadavg: 1.98 2.03 2.00 3/425 24268
/proc/meminfo: memFree=25497756/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=149736 CPUtime=102.31 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 41375 0 0 0 10214 17 0 0 25 0 1 0 821622174 153329664 36334 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 37434 36334 734 1214 0 36216 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 149736

[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/425 24270
/proc/meminfo: memFree=25496972/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=150360 CPUtime=162.3 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 41379 0 0 0 16204 26 0 0 25 0 1 0 821622174 153968640 36336 33554432000 4194304 9163163 140737124470672 18446744073709551615 7447701 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 37590 36336 732 1214 0 36372 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 150360

[startup+222.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/425 24272
/proc/meminfo: memFree=25464300/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=222.3 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55787 0 0 0 22191 39 0 0 25 0 1 0 821622174 186458112 44501 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44501 757 1214 0 44304 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 182088

[startup+282.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/425 24273
/proc/meminfo: memFree=25465148/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=282.3 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55787 0 0 0 28180 50 0 0 25 0 1 0 821622174 186458112 44501 33554432000 4194304 9163163 140737124470672 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44501 757 1214 0 44304 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 182088

[startup+342.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/425 24275
/proc/meminfo: memFree=25465736/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=342.3 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55787 0 0 0 34170 60 0 0 25 0 1 0 821622174 186458112 44501 33554432000 4194304 9163163 140737124470672 18446744073709551615 7345695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44501 757 1214 0 44304 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 182088

[startup+402.301 s]
/proc/loadavg: 2.22 2.06 2.02 3/425 24276
/proc/meminfo: memFree=25465852/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=402.3 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55787 0 0 0 40158 72 0 0 25 0 1 0 821622174 186458112 44501 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44501 757 1214 0 44304 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 182088

[startup+462.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/425 24278
/proc/meminfo: memFree=25465832/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=462.31 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55787 0 0 0 46145 86 0 0 25 0 1 0 821622174 186458112 44501 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44501 757 1214 0 44304 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 182088

[startup+522.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/425 24280
/proc/meminfo: memFree=25466056/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=522.3 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 52134 96 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 6966403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 182088

[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24281
/proc/meminfo: memFree=25466020/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=582.31 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 58121 110 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 7348606 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 182088

[startup+642.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/425 24291
/proc/meminfo: memFree=25315184/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=942.32 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 94064 168 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 182088

[startup+1002.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/425 24292
/proc/meminfo: memFree=25311192/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1002.32 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 100053 179 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 182088

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 24294
/proc/meminfo: memFree=25361016/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1062.33 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 106041 192 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 182088

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/425 24296
/proc/meminfo: memFree=25360992/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1122.32 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 112031 201 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 182088

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 24297
/proc/meminfo: memFree=25360712/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1182.33 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 118020 213 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 182088

[startup+1242.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/425 24299
/proc/meminfo: memFree=25359948/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1242.32 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 124009 223 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 182088

[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/425 24300
/proc/meminfo: memFree=25360060/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1302.34 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 130003 231 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 182088

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/425 24302
/proc/meminfo: memFree=25360280/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1362.34 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 135991 243 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 7348368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 182088

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24304
/proc/meminfo: memFree=25360392/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1422.35 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55788 0 0 0 141983 252 0 0 25 0 1 0 821622174 186458112 44502 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44502 757 1214 0 44304 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 182088

[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/425 24305
/proc/meminfo: memFree=25360116/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1482.33 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55790 0 0 0 147969 264 0 0 25 0 1 0 821622174 186458112 44504 33554432000 4194304 9163163 140737124470672 18446744073709551615 7225127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44504 757 1214 0 44304 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 182088

[startup+1542.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/425 24307
/proc/meminfo: memFree=25361468/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1542.34 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55790 0 0 0 153958 276 0 0 25 0 1 0 821622174 186458112 44504 33554432000 4194304 9163163 140737124470672 18446744073709551615 7348322 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44504 757 1214 0 44304 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 182088

[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/425 24308
/proc/meminfo: memFree=25361680/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1602.34 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55790 0 0 0 159949 285 0 0 25 0 1 0 821622174 186458112 44504 33554432000 4194304 9163163 140737124470672 18446744073709551615 7225088 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44504 757 1214 0 44304 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 182088

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/425 24310
/proc/meminfo: memFree=25361536/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1662.34 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55790 0 0 0 165939 295 0 0 25 0 1 0 821622174 186458112 44504 33554432000 4194304 9163163 140737124470672 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44504 757 1214 0 44304 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 182088

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/425 24312
/proc/meminfo: memFree=25361248/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1722.35 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55790 0 0 0 171930 305 0 0 25 0 1 0 821622174 186458112 44504 33554432000 4194304 9163163 140737124470672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44504 757 1214 0 44304 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 182088

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24313
/proc/meminfo: memFree=25359228/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1782.34 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55790 0 0 0 177920 314 0 0 25 0 1 0 821622174 186458112 44504 33554432000 4194304 9163163 140737124470672 18446744073709551615 7359712 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44504 757 1214 0 44304 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 182088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24314
/proc/meminfo: memFree=25360712/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1800.06 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55790 0 0 0 179688 318 0 0 25 0 1 0 821622174 186458112 44504 33554432000 4194304 9163163 140737124470672 18446744073709551615 7348583 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44504 757 1214 0 44304 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 182088

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24314
/proc/meminfo: memFree=25360712/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=182088 CPUtime=1800.25 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) R 24239 24241 23890 0 -1 4202496 55790 0 0 0 179707 318 0 0 25 0 1 0 821622174 186458112 44504 33554432000 4194304 9163163 140737124470672 18446744073709551615 7348569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24241/statm: 45522 44504 757 1214 0 44304 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 182088

[startup+1800.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/426 24315
/proc/meminfo: memFree=25417868/32951124 swapFree=44043512/67111528
[pid=24241] ppid=24239 vsize=0 CPUtime=1800.65 cores=0,2,4,6
/proc/24241/stat : 24241 (scip-2.0.1.4b.l) Z 24239 24241 23890 0 -1 4202524 55795 0 0 0 179746 319 0 0 18 0 1 0 821622174 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/24241/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.66
CPU user time (s): 1797.47
CPU system time (s): 3.19451
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 208484

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

runsolver used 7.84281 second user time and 16.7535 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-03 13:24:00
IDJOB=3450812
IDBENCH=25018
IDSOLVER=1948
FILE ID=node134/3450812-1307100240
RUNJOBID= node134-1307094831-23908
PBS_JOBID= 13498008
Free space on /tmp= 73976 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450812-1307100240/watcher-3450812-1307100240 -o /tmp/evaluation-result-3450812-1307100240/solver-3450812-1307100240 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450812-1307100240.opb -t 1800 -m 15500

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=38349538

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25953044 kB
Buffers:        256764 kB
Cached:         626764 kB
SwapCached:       9540 kB
Active:        6127316 kB
Inactive:       578828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25953044 kB
SwapTotal:    67111528 kB
SwapFree:     44043512 kB
Dirty:           13308 kB
Writeback:           0 kB
AnonPages:     5820976 kB
Mapped:          21128 kB
Slab:           135616 kB
PageTables:      89168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 110748964 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73976 MiB
End job on node134 at 2011-06-03 13:54:02