Trace number 3691136

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedSAT24 1796.87 1797.17

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

Verifier Data

OK	24

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 1488
/proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=10012 CPUtime=0 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1261 0 0 0 0 0 0 0 20 0 1 0 268193595 10252288 1216 33554432000 4194304 10173063 140735858550608 140737191416056 7173674 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 2503 1216 408 1460 0 1034 0

[startup+0.0544469 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 1488
/proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=21780 CPUtime=0.04 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 4204 0 0 0 4 0 0 0 20 0 1 0 268193595 22302720 4158 33554432000 4194304 10173063 140735858550608 140735858415784 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 5445 4158 416 1460 0 3976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21780

[startup+0.100337 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 1488
/proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=40140 CPUtime=0.09 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 8733 0 0 0 8 1 0 0 20 0 1 0 268193595 41103360 8689 33554432000 4194304 10173063 140735858550608 140735858415784 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 10073 8718 469 1460 0 8604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40140

[startup+0.30028 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 1488
/proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=83744 CPUtime=0.29 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 19214 0 0 0 26 3 0 0 20 0 1 0 268193595 85753856 19111 33554432000 4194304 10173063 140735858550608 140735858415784 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 20936 19111 568 1460 0 19467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83744

[startup+0.700295 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 1488
/proc/meminfo: memFree=26359900/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=98584 CPUtime=0.69 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 24641 0 0 0 62 7 0 0 20 0 1 0 268193595 100950016 22985 33554432000 4194304 10173063 140735858550608 140735858415784 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 24646 22985 632 1460 0 23177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98584

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1489
/proc/meminfo: memFree=26241068/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=153180 CPUtime=1.49 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 38717 0 0 0 134 15 0 0 20 0 1 0 268193595 156856320 36579 33554432000 4194304 10173063 140735858550608 140735858547864 8846894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 38295 36608 804 1460 0 36826 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 153180

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1489
/proc/meminfo: memFree=26147324/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=223244 CPUtime=3.09 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 57470 0 0 0 289 20 0 0 20 0 1 0 268193595 228601856 53789 33554432000 4194304 10173063 140735858550608 140735858545768 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 55811 53789 852 1460 0 54342 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 223244

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1489
/proc/meminfo: memFree=26146260/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=223244 CPUtime=6.29 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 57889 0 0 0 604 25 0 0 20 0 1 0 268193595 228601856 54073 33554432000 4194304 10173063 140735858550608 140735858545768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 55811 54073 861 1460 0 54342 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 223244

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1489
/proc/meminfo: memFree=26145804/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=223244 CPUtime=12.69 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 57967 0 0 0 1240 29 0 0 20 0 1 0 268193595 228601856 54151 33554432000 4194304 10173063 140735858550608 140735858545768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 55811 54151 862 1460 0 54342 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 223244

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1489
/proc/meminfo: memFree=26138012/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=230768 CPUtime=25.48 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 58579 0 0 0 2515 33 0 0 20 0 1 0 268193595 236306432 56296 33554432000 4194304 10173063 140735858550608 140735858543864 5108282 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 57692 56296 862 1460 0 56223 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 230768

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1489
/proc/meminfo: memFree=26123592/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=245604 CPUtime=51.08 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 64097 0 0 0 5066 42 0 0 20 0 1 0 268193595 251498496 59797 33554432000 4194304 10173063 140735858550608 140735858545448 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 61401 59797 862 1460 0 59932 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 245604

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1489
/proc/meminfo: memFree=26131556/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=243432 CPUtime=102.28 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 101497 0 0 0 10170 58 0 0 20 0 1 0 268193595 249274368 58633 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 60858 58633 868 1460 0 59389 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 243432

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 1489
/proc/meminfo: memFree=26126448/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=242820 CPUtime=162.26 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 234963 0 0 0 16134 92 0 0 20 0 1 0 268193595 248647680 59012 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 60705 59012 869 1460 0 59236 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 242820

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1490
/proc/meminfo: memFree=26127004/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=243260 CPUtime=222.25 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 339553 0 0 0 22102 123 0 0 20 0 1 0 268193595 249098240 59083 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 60815 59083 869 1460 0 59346 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 243260

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1490
/proc/meminfo: memFree=26129804/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=245916 CPUtime=282.25 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 461728 0 0 0 28071 154 0 0 20 0 1 0 268193595 251817984 59489 33554432000 4194304 10173063 140735858550608 140735858544152 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 61479 59489 869 1460 0 60010 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 245916

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1493
/proc/meminfo: memFree=26125396/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=244412 CPUtime=342.24 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 543528 0 0 0 34049 175 0 0 20 0 1 0 268193595 250277888 59420 33554432000 4194304 10173063 140735858550608 140735858543704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 61103 59420 869 1460 0 59634 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 244412

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1493
/proc/meminfo: memFree=26124108/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=244412 CPUtime=402.23 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 543528 0 0 0 40039 184 0 0 20 0 1 0 268193595 250277888 59420 33554432000 4194304 10173063 140735858550608 140735858543320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 61103 59420 869 1460 0 59634 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 244412

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1493
/proc/meminfo: memFree=26136892/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=245208 CPUtime=462.22 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 576719 0 0 0 46023 199 0 0 20 0 1 0 268193595 251092992 59263 33554432000 4194304 10173063 140735858550608 140735858543528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 61302 59263 869 1460 0 59833 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 245208

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1494
/proc/meminfo: memFree=26136268/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=252236 CPUtime=522.21 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 649073 0 0 0 52001 220 0 0 20 0 1 0 268193595 258289664 61621 33554432000 4194304 10173063 140735858550608 140735858543624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 63059 61621 869 1460 0 61590 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 252236

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1494
/proc/meminfo: memFree=26122544/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=254336 CPUtime=582.2 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 649639 0 0 0 57990 230 0 0 20 0 1 0 268193595 260440064 62187 33554432000 4194304 10173063 140735858550608 140735858543912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 63584 62187 869 1460 0 62115 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 254336

[startup+642.3 s]

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

/proc/meminfo: memFree=26108880/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=264040 CPUtime=1062.1 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 773915 0 0 0 105888 322 0 0 20 0 1 0 268193595 270376960 64269 33554432000 4194304 10173063 140735858550608 140735858543912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 66010 64269 874 1460 0 64541 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 264040

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1500
/proc/meminfo: memFree=26107272/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=264480 CPUtime=1122.09 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 819489 0 0 0 111869 340 0 0 20 0 1 0 268193595 270827520 64443 33554432000 4194304 10173063 140735858550608 140735858543128 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 66120 64443 874 1460 0 64651 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 264480

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1500
/proc/meminfo: memFree=26100696/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=268224 CPUtime=1182.08 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 880228 0 0 0 117848 360 0 0 20 0 1 0 268193595 274661376 65032 33554432000 4194304 10173063 140735858550608 140735858544248 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67056 65032 874 1460 0 65587 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 268224

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1500
/proc/meminfo: memFree=26115708/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=268436 CPUtime=1242.07 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 929108 0 0 0 123828 379 0 0 20 0 1 0 268193595 274878464 65123 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67109 65123 874 1460 0 65640 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 268436

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 1500
/proc/meminfo: memFree=26098032/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=271252 CPUtime=1302.07 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 937295 0 0 0 129814 393 0 0 20 0 1 0 268193595 277762048 65842 33554432000 4194304 10173063 140735858550608 140735858542792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67813 65842 874 1460 0 66344 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 271252

[startup+1362.3 s]
/proc/loadavg: 2.15 2.03 1.93 3/177 1500
/proc/meminfo: memFree=26111056/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=266552 CPUtime=1362.06 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 939360 0 0 0 135804 402 0 0 20 0 1 0 268193595 272949248 65389 33554432000 4194304 10173063 140735858550608 140735858543864 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 66638 65389 874 1460 0 65169 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 266552

[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 1501
/proc/meminfo: memFree=26109940/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=267680 CPUtime=1422.05 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 951892 0 0 0 141791 414 0 0 20 0 1 0 268193595 274104320 65673 33554432000 4194304 10173063 140735858550608 140735858543864 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 66920 65673 874 1460 0 65451 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 267680

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 1501
/proc/meminfo: memFree=26106216/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=265300 CPUtime=1482.04 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 982982 0 0 0 147775 429 0 0 20 0 1 0 268193595 271667200 64551 33554432000 4194304 10173063 140735858550608 140735858543368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 66325 64551 874 1460 0 64856 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 265300

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 1504
/proc/meminfo: memFree=26102476/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=268912 CPUtime=1542.03 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 989734 0 0 0 153761 442 0 0 20 0 1 0 268193595 275365888 65478 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67228 65478 874 1460 0 65759 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 268912

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 1504
/proc/meminfo: memFree=26101932/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=271288 CPUtime=1602.02 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1008397 0 0 0 159748 454 0 0 20 0 1 0 268193595 277798912 65960 33554432000 4194304 10173063 140735858550608 140735858543960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67822 65960 874 1460 0 66353 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 271288

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1504
/proc/meminfo: memFree=26108384/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=272976 CPUtime=1662.01 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1028811 0 0 0 165736 465 0 0 20 0 1 0 268193595 279527424 66225 33554432000 4194304 10173063 140735858550608 140735858543544 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 68244 66225 874 1460 0 66775 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 272976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1547
/proc/meminfo: memFree=27591320/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=272464 CPUtime=1722 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1036698 0 0 0 171725 475 0 0 20 0 1 0 268193595 279003136 66584 33554432000 4194304 10173063 140735858550608 140735858544056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 68116 66584 874 1460 0 66647 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 272464

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1547
/proc/meminfo: memFree=27583876/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=270796 CPUtime=1781.99 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042383 0 0 0 177714 485 0 0 20 0 1 0 268193595 277295104 65841 33554432000 4194304 10173063 140735858550608 140735858543528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67699 65841 874 1460 0 66230 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 270796

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1547
/proc/meminfo: memFree=27581148/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=270796 CPUtime=1785.2 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042390 0 0 0 178034 486 0 0 20 0 1 0 268193595 277295104 65848 33554432000 4194304 10173063 140735858550608 140735858543912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67699 65848 874 1460 0 66230 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 270796

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1547
/proc/meminfo: memFree=27575256/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=270796 CPUtime=1791.59 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042396 0 0 0 178673 486 0 0 20 0 1 0 268193595 277295104 65854 33554432000 4194304 10173063 140735858550608 140735858543528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67699 65854 874 1460 0 66230 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 270796

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1547
/proc/meminfo: memFree=27575132/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=270796 CPUtime=1794.8 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042398 0 0 0 178993 487 0 0 20 0 1 0 268193595 277295104 65856 33554432000 4194304 10173063 140735858550608 140735858543528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67699 65856 874 1460 0 66230 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 270796

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1547
/proc/meminfo: memFree=27575132/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=270796 CPUtime=1795.59 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042398 0 0 0 179072 487 0 0 20 0 1 0 268193595 277295104 65856 33554432000 4194304 10173063 140735858550608 140735858543576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67699 65856 874 1460 0 66230 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 270796

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1547
/proc/meminfo: memFree=27575132/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=270796 CPUtime=1796.39 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042398 0 0 0 179152 487 0 0 20 0 1 0 268193595 277295104 65856 33554432000 4194304 10173063 140735858550608 140735858543576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67699 65856 874 1460 0 66230 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 270796

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1547
/proc/meminfo: memFree=27575132/32873648 swapFree=6848/6848
[pid=1488] ppid=1486 vsize=269384 CPUtime=1796.8 cores=1,3,5,7
/proc/1488/stat : 1488 (scip-2.1.1.4fix) R 1486 1488 911 0 -1 4202496 1042400 0 0 0 179192 488 0 0 20 0 1 0 268193595 275849216 65505 33554432000 4194304 10173063 140735858550608 140735858547064 6886936 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1488/statm: 67346 65505 876 1460 0 65877 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 269384

Child status: 0
Real time (s): 1797.17
CPU time (s): 1796.87
CPU user time (s): 1791.98
CPU system time (s): 4.88926
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 276548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.98
system time used= 4.88926
maximum resident set size= 269552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1042437
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= 39
involuntary context switches= 1850

runsolver used 2.74958 second user time and 7.2139 second system time

The end

Launcher Data

Begin job on node113 at 2012-05-26 10:24:27
IDJOB=3691136
IDBENCH=25018
IDSOLVER=2270
FILE ID=node113/3691136-1338020667
RUNJOBID= node113-1338016935-928
PBS_JOBID= 14624358
Free space on /tmp= 71404 MiB

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

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=894619297

node113.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.026
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.05
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.026
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.90
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.026
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	: 5438.54
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.026
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.026
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.91
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.026
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.026
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.92
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.026
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26359908 kB
Buffers:          240400 kB
Cached:          3904700 kB
SwapCached:            0 kB
Active:          2486032 kB
Inactive:        3246852 kB
Active(anon):    1590480 kB
Inactive(anon):        0 kB
Active(file):     895552 kB
Inactive(file):  3246852 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14576 kB
Writeback:             0 kB
AnonPages:       1594160 kB
Mapped:            17588 kB
Shmem:               200 kB
Slab:             639592 kB
SReclaimable:      83876 kB
SUnreclaim:       555716 kB
KernelStack:        1456 kB
PageTables:         7000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1741976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 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= 71440 MiB
End job on node113 at 2012-05-26 10:54:25