Trace number 3452472

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4SAT (TO)25 1800.17 1800.12

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	25

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.05 2.00 2/521 23370
/proc/meminfo: memFree=21416940/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=12480 CPUtime=0.01 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 2106 0 0 0 1 0 0 0 23 0 1 0 802553095 12779520 2059 33554432000 4194304 9128323 140737377692048 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23370/statm: 3120 2059 400 1205 0 1911 0

[startup+0.104992 s]
/proc/loadavg: 2.05 2.05 2.00 2/521 23370
/proc/meminfo: memFree=21416940/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=19984 CPUtime=0.1 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 4010 0 0 0 10 0 0 0 24 0 1 0 802553095 20463616 3961 33554432000 4194304 9128323 140737377692048 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23370/statm: 4996 3961 400 1205 0 3787 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19984

[startup+0.200979 s]
/proc/loadavg: 2.05 2.05 2.00 2/521 23370
/proc/meminfo: memFree=21416940/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=26660 CPUtime=0.19 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 5686 0 0 0 19 0 0 0 24 0 1 0 802553095 27299840 5635 33554432000 4194304 9128323 140737377692048 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23370/statm: 6665 5635 400 1205 0 5456 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26660

[startup+0.300958 s]
/proc/loadavg: 2.05 2.05 2.00 2/521 23370
/proc/meminfo: memFree=21416940/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=74112 CPUtime=0.29 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 17026 0 0 0 28 1 0 0 25 0 1 0 802553095 75890688 16908 33554432000 4194304 9128323 140737377692048 18446744073709551615 4578836 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 18528 16908 478 1205 0 17319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74112

[startup+0.700887 s]
/proc/loadavg: 2.05 2.05 2.00 2/521 23370
/proc/meminfo: memFree=21416940/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=90764 CPUtime=0.69 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 23391 0 0 0 67 2 0 0 25 0 1 0 802553095 92942336 21276 33554432000 4194304 9128323 140737377692048 18446744073709551615 5333037 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 22691 21276 599 1205 0 21482 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90764

[startup+1.50074 s]
/proc/loadavg: 2.05 2.05 2.00 3/522 23371
/proc/meminfo: memFree=21333232/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=91076 CPUtime=1.49 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 23506 0 0 0 147 2 0 0 25 0 1 0 802553095 93261824 21357 33554432000 4194304 9128323 140737377692048 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 22769 21357 565 1205 0 21560 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91076

[startup+3.10044 s]
/proc/loadavg: 2.05 2.05 2.00 3/522 23371
/proc/meminfo: memFree=21280072/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=152768 CPUtime=3.09 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 39035 0 0 0 302 7 0 0 25 0 1 0 802553095 156434432 35872 33554432000 4194304 9128323 140737377692048 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 38192 35872 695 1205 0 36983 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152768

[startup+6.30087 s]
/proc/loadavg: 2.05 2.05 2.00 3/522 23371
/proc/meminfo: memFree=21273312/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=152768 CPUtime=6.29 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 39078 0 0 0 620 9 0 0 25 0 1 0 802553095 156434432 35909 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 38192 35909 689 1205 0 36983 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152768

[startup+12.7007 s]
/proc/loadavg: 2.04 2.05 2.00 3/522 23372
/proc/meminfo: memFree=21272100/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=151612 CPUtime=12.69 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 40070 0 0 0 1258 11 0 0 25 0 1 0 802553095 155250688 36287 33554432000 4194304 9128323 140737377692048 18446744073709551615 7315303 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 37903 36287 735 1205 0 36694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151612

[startup+25.5003 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 23372
/proc/meminfo: memFree=21272012/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=151612 CPUtime=25.49 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 40073 0 0 0 2535 14 0 0 25 0 1 0 802553095 155250688 36289 33554432000 4194304 9128323 140737377692048 18446744073709551615 7082545 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 37903 36289 734 1205 0 36694 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 151612

[startup+51.1006 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 23373
/proc/meminfo: memFree=21271568/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=151612 CPUtime=51.09 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 40077 0 0 0 5090 19 0 0 25 0 1 0 802553095 155250688 36293 33554432000 4194304 9128323 140737377692048 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 37903 36293 736 1205 0 36694 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 151612

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 23374
/proc/meminfo: memFree=21269036/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=153576 CPUtime=102.31 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 40748 0 0 0 10194 37 0 0 25 0 1 0 802553095 157261824 36894 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 38394 36894 796 1205 0 37185 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 153576

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23376
/proc/meminfo: memFree=21267116/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=154288 CPUtime=162.29 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 40978 0 0 0 16164 65 0 0 25 0 1 0 802553095 157990912 37066 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 38572 37066 738 1205 0 37363 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 154288

[startup+222.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23377
/proc/meminfo: memFree=21210876/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=222.32 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55466 0 0 0 22111 121 0 0 25 0 1 0 802553095 216612864 51460 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51460 751 1205 0 51675 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 211536

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23379
/proc/meminfo: memFree=21210832/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=282.3 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55467 0 0 0 28078 152 0 0 25 0 1 0 802553095 216612864 51460 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51460 750 1205 0 51675 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 211536

[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/522 23380
/proc/meminfo: memFree=21211184/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=342.31 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55467 0 0 0 34050 181 0 0 25 0 1 0 802553095 216612864 51460 33554432000 4194304 9128323 140737377692048 18446744073709551615 7191120 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51460 750 1205 0 51675 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 211536

[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/522 23382
/proc/meminfo: memFree=21210660/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=402.31 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55467 0 0 0 40021 210 0 0 25 0 1 0 802553095 216612864 51460 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51460 750 1205 0 51675 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 211536

[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/522 23384
/proc/meminfo: memFree=21211124/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=462.3 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55467 0 0 0 45990 240 0 0 25 0 1 0 802553095 216612864 51460 33554432000 4194304 9128323 140737377692048 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51460 750 1205 0 51675 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 211536

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/522 23385
/proc/meminfo: memFree=21211332/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=522.31 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 51961 270 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 7191206 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 211536

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 23387
/proc/meminfo: memFree=21211060/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=582.31 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 57928 303 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 211536

[startup+642.3 s]

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

[startup+882.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/522 23395
/proc/meminfo: memFree=21210088/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=882.33 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 87803 430 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 211536

[startup+942.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/522 23396
/proc/meminfo: memFree=21209676/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=942.32 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 93777 455 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 211536

[startup+1002.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/522 23398
/proc/meminfo: memFree=21211512/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1002.32 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 99751 481 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 211536

[startup+1062.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/522 23400
/proc/meminfo: memFree=21210612/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1062.32 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 105721 511 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 7315722 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 211536

[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/522 23410
/proc/meminfo: memFree=21211116/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1122.33 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 111692 541 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 211536

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 23412
/proc/meminfo: memFree=21210976/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1182.33 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 117657 576 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 7380899 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 211536

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23413
/proc/meminfo: memFree=21210716/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1242.33 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 123626 607 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 7083232 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 211536

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23415
/proc/meminfo: memFree=21209220/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1302.33 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 129591 642 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 211536

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23417
/proc/meminfo: memFree=21208840/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1362.34 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 135562 672 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 211536

[startup+1422.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/522 23418
/proc/meminfo: memFree=21208812/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1422.35 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 141535 700 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 211536

[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/522 23448
/proc/meminfo: memFree=21260504/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1482.34 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 147513 721 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 7315303 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 211536

[startup+1542.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/522 23449
/proc/meminfo: memFree=21250816/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1542.36 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 153495 741 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 211536

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 23451
/proc/meminfo: memFree=21250516/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1602.34 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 159462 772 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 211536

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23453
/proc/meminfo: memFree=21250828/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1662.35 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55469 0 0 0 165438 797 0 0 25 0 1 0 802553095 216612864 51462 33554432000 4194304 9128323 140737377692048 18446744073709551615 7326819 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51462 750 1205 0 51675 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 211536

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23454
/proc/meminfo: memFree=21250284/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1722.35 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55476 0 0 0 171411 824 0 0 25 0 1 0 802553095 216612864 51469 33554432000 4194304 9128323 140737377692048 18446744073709551615 7343104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51469 750 1205 0 51675 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 211536

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23456
/proc/meminfo: memFree=21248364/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1782.35 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55476 0 0 0 177384 851 0 0 25 0 1 0 802553095 216612864 51469 33554432000 4194304 9128323 140737377692048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51469 750 1205 0 51675 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 211536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23456
/proc/meminfo: memFree=21248976/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1800.06 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55476 0 0 0 179150 856 0 0 25 0 1 0 802553095 216612864 51469 33554432000 4194304 9128323 140737377692048 18446744073709551615 4893831 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51469 750 1205 0 51675 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 211536

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23456
/proc/meminfo: memFree=21248976/32951124 swapFree=58800704/67111528
[pid=23370] ppid=23368 vsize=211536 CPUtime=1800.06 cores=1,3,5,7
/proc/23370/stat : 23370 (scip-2.0.1.4.li) R 23368 23370 22695 0 -1 4202496 55476 0 0 0 179150 856 0 0 25 0 1 0 802553095 216612864 51469 33554432000 4194304 9128323 140737377692048 18446744073709551615 4893831 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23370/statm: 52884 51469 750 1205 0 51675 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 211536

Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.17
CPU user time (s): 1791.6
CPU system time (s): 8.5787
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 211536

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

runsolver used 8.64368 second user time and 22.3986 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-03 13:42:56
IDJOB=3452472
IDBENCH=25018
IDSOLVER=1949
FILE ID=node142/3452472-1307101376
RUNJOBID= node142-1307092025-22714
PBS_JOBID= 13497966
Free space on /tmp= 73908 MiB

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

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=754438048

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21417344 kB
Buffers:        233460 kB
Cached:         400996 kB
SwapCached:      11452 kB
Active:        9515524 kB
Inactive:      1757928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21417344 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:           12816 kB
Writeback:           0 kB
AnonPages:    10636600 kB
Mapped:          34744 kB
Slab:           115488 kB
PageTables:      75368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145629300 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73900 MiB
End job on node142 at 2011-06-03 14:12:58