Trace number 3736047

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT27 1789.79 1790.1

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24677
/proc/meminfo: memFree=28285044/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 1505 0 0 0 0 0 0 0 20 0 1 0 336750389 9158656 1452 33554432000 4194304 8395647 140736002781344 140736002780920 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 2493 1463 374 1026 0 1463 0

[startup+0.0752729 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24677
/proc/meminfo: memFree=28285044/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=19540 CPUtime=0.06 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 4127 0 0 0 6 0 0 0 20 0 1 0 336750389 20008960 4074 33554432000 4194304 8395647 140736002781344 140736002780920 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 4885 4074 393 1026 0 3855 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19540

[startup+0.100313 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24677
/proc/meminfo: memFree=28285044/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=20952 CPUtime=0.09 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 4480 0 0 0 9 0 0 0 20 0 1 0 336750389 21454848 4427 33554432000 4194304 8395647 140736002781344 140736002780920 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 5238 4427 393 1026 0 4208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20952

[startup+0.300268 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24677
/proc/meminfo: memFree=28285044/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=65092 CPUtime=0.29 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 15472 0 0 0 27 2 0 0 20 0 1 0 336750389 66654208 15065 33554432000 4194304 8395647 140736002781344 140736002780920 5049237 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 16273 15065 475 1026 0 15243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65092

[startup+0.700289 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24677
/proc/meminfo: memFree=28285044/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=88852 CPUtime=0.69 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 22254 0 0 0 66 3 0 0 20 0 1 0 336750389 90984448 21092 33554432000 4194304 8395647 140736002781344 140736002780920 5210648 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 22213 21092 508 1026 0 21183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88852

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24678
/proc/meminfo: memFree=28202080/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=90900 CPUtime=1.49 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 22787 0 0 0 146 3 0 0 20 0 1 0 336750389 93081600 21625 33554432000 4194304 8395647 140736002781344 140736002778440 4601776 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 22725 21625 527 1026 0 21695 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90900

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24678
/proc/meminfo: memFree=28163872/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=136540 CPUtime=3.08 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 33664 0 0 0 304 4 0 0 20 0 1 0 336750389 139816960 32165 33554432000 4194304 8395647 140736002781344 140736002776808 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 34135 32165 584 1026 0 33105 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 136540

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24678
/proc/meminfo: memFree=28085188/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=136540 CPUtime=6.29 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 33733 0 0 0 624 5 0 0 20 0 1 0 336750389 139816960 32234 33554432000 4194304 8395647 140736002781344 140736002775864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 34135 32234 590 1026 0 33105 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136540

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24678
/proc/meminfo: memFree=28084112/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=136540 CPUtime=12.68 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 33748 0 0 0 1263 5 0 0 20 0 1 0 336750389 139816960 32249 33554432000 4194304 8395647 140736002781344 140736002775992 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 34135 32249 590 1026 0 33105 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 136540

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24678
/proc/meminfo: memFree=28082228/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=136540 CPUtime=25.48 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 33800 0 0 0 2543 5 0 0 20 0 1 0 336750389 139816960 32298 33554432000 4194304 8395647 140736002781344 140736002775864 6708469 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 34135 32298 590 1026 0 33105 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 136540

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24678
/proc/meminfo: memFree=28081824/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=136868 CPUtime=51.08 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 33881 0 0 0 5101 7 0 0 20 0 1 0 336750389 140152832 32379 33554432000 4194304 8395647 140736002781344 140736002775864 6708584 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 34217 32379 590 1026 0 33187 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 136868

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24679
/proc/meminfo: memFree=28076156/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=138756 CPUtime=102.28 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 50745 0 0 0 10206 22 0 0 20 0 1 0 336750389 142086144 32792 33554432000 4194304 8395647 140736002781344 140736002776648 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 34689 32792 636 1026 0 33659 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 138756

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24679
/proc/meminfo: memFree=28076124/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=139672 CPUtime=162.26 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 128025 0 0 0 16181 45 0 0 20 0 1 0 336750389 143024128 32290 33554432000 4194304 8395647 140736002781344 140736002776216 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 34918 32290 636 1026 0 33888 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 139672

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24679
/proc/meminfo: memFree=28070476/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=142652 CPUtime=222.24 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 235688 0 0 0 22153 71 0 0 20 0 1 0 336750389 146075648 35059 33554432000 4194304 8395647 140736002781344 140736002776216 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 35663 35059 636 1026 0 34633 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 142652

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24679
/proc/meminfo: memFree=28072632/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=139712 CPUtime=282.23 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 342530 0 0 0 28127 96 0 0 20 0 1 0 336750389 143065088 33282 33554432000 4194304 8395647 140736002781344 140736002776552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 34928 33282 636 1026 0 33898 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 139712

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24679
/proc/meminfo: memFree=28064200/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=145120 CPUtime=342.22 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 445996 0 0 0 34099 123 0 0 20 0 1 0 336750389 148602880 35395 33554432000 4194304 8395647 140736002781344 140736002776472 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 36280 35395 636 1026 0 35250 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 145120

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 24679
/proc/meminfo: memFree=28064084/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=145176 CPUtime=402.21 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 505926 0 0 0 40081 140 0 0 20 0 1 0 336750389 148660224 35417 33554432000 4194304 8395647 140736002781344 140736002776568 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 36294 35417 636 1026 0 35264 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 145176

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24680
/proc/meminfo: memFree=28063260/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=145176 CPUtime=462.2 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 505928 0 0 0 46073 147 0 0 20 0 1 0 336750389 148660224 35565 33554432000 4194304 8395647 140736002781344 140736002776568 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 36294 35565 636 1026 0 35264 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 145176

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24680
/proc/meminfo: memFree=28063388/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=145176 CPUtime=522.19 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 505930 0 0 0 52064 155 0 0 20 0 1 0 336750389 148660224 35567 33554432000 4194304 8395647 140736002781344 140736002776952 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 36294 35567 636 1026 0 35264 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 145176

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24683
/proc/meminfo: memFree=28069784/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=142608 CPUtime=582.18 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 545772 0 0 0 58050 168 0 0 20 0 1 0 336750389 146030592 35056 33554432000 4194304 8395647 140736002781344 140736002776216 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 35652 35056 636 1026 0 34622 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 142608

[startup+642.3 s]

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

/proc/meminfo: memFree=28060412/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=147332 CPUtime=1062.1 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 610697 0 0 0 105976 234 0 0 20 0 1 0 336750389 150867968 36364 33554432000 4194304 8395647 140736002781344 140736002776952 6721168 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 36833 36364 638 1026 0 35803 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 147332

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 24708
/proc/meminfo: memFree=28060288/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=147332 CPUtime=1122.1 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 610700 0 0 0 111974 236 0 0 20 0 1 0 336750389 150867968 36367 33554432000 4194304 8395647 140736002781344 140736002776824 6708477 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 36833 36367 638 1026 0 35803 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 147332

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 24711
/proc/meminfo: memFree=28060336/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=147332 CPUtime=1182.09 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 610702 0 0 0 117970 239 0 0 20 0 1 0 336750389 150867968 36367 33554432000 4194304 8395647 140736002781344 140736002776824 6708178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 36833 36367 638 1026 0 35803 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 147332

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24711
/proc/meminfo: memFree=28055756/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=151660 CPUtime=1242.08 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 611808 0 0 0 123965 243 0 0 20 0 1 0 336750389 155299840 37443 33554432000 4194304 8395647 140736002781344 140736002776728 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37915 37443 639 1026 0 36885 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 151660

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24711
/proc/meminfo: memFree=28057868/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=149272 CPUtime=1302.07 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 614017 0 0 0 129958 249 0 0 20 0 1 0 336750389 152854528 36524 33554432000 4194304 8395647 140736002781344 140736002776856 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37318 36524 639 1026 0 36288 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 149272

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24712
/proc/meminfo: memFree=28052656/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=153176 CPUtime=1362.06 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 640321 0 0 0 135944 262 0 0 20 0 1 0 336750389 156852224 37792 33554432000 4194304 8395647 140736002781344 140736002776920 6120538 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 38294 37792 639 1026 0 37264 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 153176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24712
/proc/meminfo: memFree=28052592/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=153144 CPUtime=1422.05 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 642118 0 0 0 141937 268 0 0 20 0 1 0 336750389 156819456 37820 33554432000 4194304 8395647 140736002781344 140736002776568 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 38286 37820 639 1026 0 37256 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 153144

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24712
/proc/meminfo: memFree=28052468/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=153144 CPUtime=1482.04 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 642118 0 0 0 147929 275 0 0 20 0 1 0 336750389 156819456 37820 33554432000 4194304 8395647 140736002781344 140736002776296 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 38286 37820 639 1026 0 37256 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 153144

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24712
/proc/meminfo: memFree=28059540/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=148540 CPUtime=1542.02 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 657259 0 0 0 153918 284 0 0 20 0 1 0 336750389 152104960 36262 33554432000 4194304 8395647 140736002781344 140736002776552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37135 36262 639 1026 0 36105 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 148540

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24712
/proc/meminfo: memFree=28055568/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=150904 CPUtime=1602.02 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 682672 0 0 0 159907 295 0 0 20 0 1 0 336750389 154525696 37057 33554432000 4194304 8395647 140736002781344 140736002777016 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37726 37057 639 1026 0 36696 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 150904

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24713
/proc/meminfo: memFree=28054628/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=150904 CPUtime=1662.01 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 682684 0 0 0 165899 302 0 0 20 0 1 0 336750389 154525696 37251 33554432000 4194304 8395647 140736002781344 140736002776584 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37726 37251 639 1026 0 36696 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 150904

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24789
/proc/meminfo: memFree=28205048/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=149712 CPUtime=1722 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 684738 0 0 0 171889 311 0 0 20 0 1 0 336750389 153305088 36961 33554432000 4194304 8395647 140736002781344 140736002776984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37428 36961 639 1026 0 36398 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 149712

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24792
/proc/meminfo: memFree=28211100/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=148068 CPUtime=1781.99 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 686681 0 0 0 177880 319 0 0 20 0 1 0 336750389 151621632 36168 33554432000 4194304 8395647 140736002781344 140736002776808 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37017 36168 639 1026 0 35987 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 148068

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

[startup+1785.5 s]
/proc/loadavg: 2.10 2.02 2.01 3/178 24792
/proc/meminfo: memFree=28208356/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=148068 CPUtime=1785.19 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 686693 0 0 0 178200 319 0 0 20 0 1 0 336750389 151621632 36180 33554432000 4194304 8395647 140736002781344 140736002776472 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37017 36180 639 1026 0 35987 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 148068

[startup+1787.1 s]
/proc/loadavg: 2.10 2.02 2.01 3/178 24792
/proc/meminfo: memFree=28208356/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=148068 CPUtime=1786.79 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 686701 0 0 0 178360 319 0 0 20 0 1 0 336750389 151621632 36188 33554432000 4194304 8395647 140736002781344 140736002776472 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37017 36188 639 1026 0 35987 0
Current children cumulated CPU time (s) 1786.79
Current children cumulated vsize (KiB) 148068

[startup+1788.7 s]
/proc/loadavg: 2.10 2.02 2.01 3/178 24792
/proc/meminfo: memFree=28208356/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=148068 CPUtime=1788.39 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 686701 0 0 0 178520 319 0 0 20 0 1 0 336750389 151621632 36188 33554432000 4194304 8395647 140736002781344 140736002776904 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37017 36188 639 1026 0 35987 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 148068

[startup+1789.5 s]
/proc/loadavg: 2.10 2.02 2.01 3/178 24792
/proc/meminfo: memFree=28208356/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=148068 CPUtime=1789.19 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 686745 0 0 0 178600 319 0 0 20 0 1 0 336750389 151621632 36232 33554432000 4194304 8395647 140736002781344 140736002776808 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37017 36232 639 1026 0 35987 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 148068

[startup+1789.9 s]
/proc/loadavg: 2.10 2.02 2.01 3/178 24792
/proc/meminfo: memFree=28208480/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=148068 CPUtime=1789.58 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 686746 0 0 0 178639 319 0 0 20 0 1 0 336750389 151621632 36233 33554432000 4194304 8395647 140736002781344 140736002776808 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37017 36233 639 1026 0 35987 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 148068

[startup+1790 s]
/proc/loadavg: 2.10 2.02 2.01 3/178 24792
/proc/meminfo: memFree=28208480/32873648 swapFree=7388/7388
[pid=24677] ppid=24675 vsize=148068 CPUtime=1789.68 cores=0,2,4,6
/proc/24677/stat : 24677 (pbscip.linux.x8) R 24675 24677 21664 0 -1 4202496 686748 0 0 0 178649 319 0 0 20 0 1 0 336750389 151621632 36235 33554432000 4194304 8395647 140736002781344 140736002776808 6731369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24677/statm: 37017 36235 639 1026 0 35987 0
Current children cumulated CPU time (s) 1789.68
Current children cumulated vsize (KiB) 148068

Child status: 0
Real time (s): 1790.1
CPU time (s): 1789.79
CPU user time (s): 1786.59
CPU system time (s): 3.20151
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 198400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.59
system time used= 3.20151
maximum resident set size= 190704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 686754
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= 44
involuntary context switches= 1885

runsolver used 2.69259 second user time and 7.12492 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-03 08:50:59
IDJOB=3736047
IDBENCH=25018
IDSOLVER=2326
FILE ID=node148/3736047-1338706259
RUNJOBID= node148-1338678625-21683
PBS_JOBID= 14636665
Free space on /tmp= 71320 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736047-1338706259/watcher-3736047-1338706259 -o /tmp/evaluation-result-3736047-1338706259/solver-3736047-1338706259 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3736047-1338706259.opb -t 1800 -m 15500

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1903253038

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28285920 kB
Buffers:          590480 kB
Cached:          2890416 kB
SwapCached:          628 kB
Active:          1624488 kB
Inactive:        2061444 kB
Active(anon):     194600 kB
Inactive(anon):    10660 kB
Active(file):    1429888 kB
Inactive(file):  2050784 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:             11276 kB
Writeback:             0 kB
AnonPages:        209492 kB
Mapped:            13244 kB
Shmem:                36 kB
Slab:             766132 kB
SReclaimable:     210404 kB
SUnreclaim:       555728 kB
KernelStack:        1472 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     326820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71312 MiB
End job on node148 at 2012-06-03 09:20:49