Trace number 3692302

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedSAT24 1796.85 1797.16

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 32732
/proc/meminfo: memFree=28530340/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/32732/stat : 32732 (runsolver) D 32730 32732 29822 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 269673204 12095488 50 33554432000 4194304 5436572 140733925949872 140733925946168 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/32732/statm: 2953 50 31 304 0 2645 0

[startup+0.0926079 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 32732
/proc/meminfo: memFree=28530340/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=34096 CPUtime=0.08 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 7290 0 0 0 7 1 0 0 20 0 1 0 269673204 34914304 7245 33554432000 4194304 10219143 140735246202544 140733925946056 9029200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 8524 7245 421 1471 0 7044 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34096

[startup+0.100228 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 32732
/proc/meminfo: memFree=28530340/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=37752 CPUtime=0.09 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 8142 0 0 0 8 1 0 0 20 0 1 0 269673204 38658048 8097 33554432000 4194304 10219143 140735246202544 140733925946056 7589947 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 9471 8102 468 1471 0 7991 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37752

[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 32732
/proc/meminfo: memFree=28530340/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=78240 CPUtime=0.28 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 17839 0 0 0 18 10 0 0 20 0 1 0 269673204 80117760 17794 33554432000 4194304 10219143 140735246202544 140733925946056 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 19560 17794 569 1471 0 18080 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 78240

[startup+0.700263 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 32732
/proc/meminfo: memFree=28530340/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=94668 CPUtime=0.68 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 24260 0 0 0 35 33 0 0 20 0 1 0 269673204 96940032 21866 33554432000 4194304 10219143 140735246202544 140735246199784 6869710 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 23667 21868 605 1471 0 22187 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 94668

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32733
/proc/meminfo: memFree=28441308/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=129108 CPUtime=1.48 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 32599 0 0 0 69 79 0 0 20 0 1 0 269673204 132206592 30071 33554432000 4194304 10219143 140735246202544 140735246199784 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 32277 30071 706 1471 0 30797 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 129108

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32733
/proc/meminfo: memFree=28318540/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=227144 CPUtime=3.09 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 59244 0 0 0 200 109 0 0 20 0 1 0 269673204 232595456 54834 33554432000 4194304 10219143 140735246202544 140735246197432 7266287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 56786 54834 843 1471 0 55306 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227144

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32733
/proc/meminfo: memFree=28311148/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=227144 CPUtime=6.28 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 59682 0 0 0 407 221 0 0 20 0 1 0 269673204 232595456 55226 33554432000 4194304 10219143 140735246202544 140735246197384 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 56786 55226 854 1471 0 55306 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 227144

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32733
/proc/meminfo: memFree=28310296/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=227144 CPUtime=12.67 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 59734 0 0 0 938 329 0 0 20 0 1 0 269673204 232595456 55278 33554432000 4194304 10219143 140735246202544 140735246197704 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 56786 55278 855 1471 0 55306 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 227144

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32733
/proc/meminfo: memFree=28301144/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=234668 CPUtime=25.48 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 60254 0 0 0 2108 440 0 0 20 0 1 0 269673204 240300032 57332 33554432000 4194304 10219143 140735246202544 140735246197432 5150000 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 58667 57332 855 1471 0 57187 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 234668

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32733
/proc/meminfo: memFree=28280092/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=250792 CPUtime=51.06 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 62753 0 0 0 4605 501 0 0 20 0 1 0 269673204 256811008 60843 33554432000 4194304 10219143 140735246202544 140735246194632 5148759 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 62698 60843 855 1471 0 61218 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 250792

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32733
/proc/meminfo: memFree=28275300/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=245340 CPUtime=102.24 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 74905 0 0 0 9644 580 0 0 20 0 1 0 269673204 251228160 59803 33554432000 4194304 10219143 140735246202544 140735246196088 8051337 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 61335 59803 858 1471 0 59855 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 245340

[startup+162.3 s]
/proc/loadavg: 2.26 2.06 2.02 3/179 32733
/proc/meminfo: memFree=28269864/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=245788 CPUtime=162.23 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 75784 0 0 0 15629 594 0 0 20 0 1 0 269673204 251686912 60421 33554432000 4194304 10219143 140735246202544 140735246195992 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 61447 60421 859 1471 0 59967 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 245788

[startup+222.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/179 386
/proc/meminfo: memFree=28020144/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=248180 CPUtime=222.22 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 77749 0 0 0 21617 605 0 0 20 0 1 0 269673204 254136320 61102 33554432000 4194304 10219143 140735246202544 140735246195992 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 62045 61102 859 1471 0 60565 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 248180

[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/179 386
/proc/meminfo: memFree=27997080/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=245624 CPUtime=282.22 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 79635 0 0 0 27605 617 0 0 20 0 1 0 269673204 251518976 60111 33554432000 4194304 10219143 140735246202544 140735246195992 8091364 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 61406 60111 859 1471 0 59926 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 245624

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/179 386
/proc/meminfo: memFree=27993820/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=245668 CPUtime=342.21 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 80864 0 0 0 33593 628 0 0 20 0 1 0 269673204 251564032 60546 33554432000 4194304 10219143 140735246202544 140735246195256 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 61417 60546 859 1471 0 59937 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 245668

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 426
/proc/meminfo: memFree=28519796/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=245668 CPUtime=402.2 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 80864 0 0 0 39579 641 0 0 20 0 1 0 269673204 251564032 60546 33554432000 4194304 10219143 140735246202544 140735246195640 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 61417 60546 859 1471 0 59937 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 245668

[startup+462.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 426
/proc/meminfo: memFree=28520416/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=245688 CPUtime=462.19 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 100171 0 0 0 45562 657 0 0 20 0 1 0 269673204 251584512 60141 33554432000 4194304 10219143 140735246202544 140735246195416 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 61422 60141 859 1471 0 59942 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 245688

[startup+522.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 427
/proc/meminfo: memFree=28517188/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=250980 CPUtime=522.18 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 133755 0 0 0 51541 677 0 0 20 0 1 0 269673204 257003520 61386 33554432000 4194304 10219143 140735246202544 140735246195928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 62745 61386 859 1471 0 61265 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 250980

[startup+582.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/180 430
/proc/meminfo: memFree=28521768/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=245648 CPUtime=582.17 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 187592 0 0 0 57518 699 0 0 20 0 1 0 269673204 251543552 60066 33554432000 4194304 10219143 140735246202544 140735246195992 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 61412 60066 859 1471 0 59932 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 245648

[startup+642.3 s]

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

/proc/meminfo: memFree=28501040/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=267004 CPUtime=1122.09 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 464627 0 0 0 111368 841 0 0 20 0 1 0 269673204 273412096 64629 33554432000 4194304 10219143 140735246202544 140735246195800 8095928 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 66751 64629 864 1471 0 65271 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 267004

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 436
/proc/meminfo: memFree=28501092/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=267820 CPUtime=1182.08 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 500619 0 0 0 117347 861 0 0 20 0 1 0 269673204 274247680 65430 33554432000 4194304 10219143 140735246202544 140735246196088 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 66955 65430 864 1471 0 65475 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 267820

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 436
/proc/meminfo: memFree=28496756/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=270828 CPUtime=1242.07 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 528911 0 0 0 123328 879 0 0 20 0 1 0 269673204 277327872 66653 33554432000 4194304 10219143 140735246202544 140735246195512 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 67707 66653 864 1471 0 66227 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 270828

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 436
/proc/meminfo: memFree=28495884/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=270828 CPUtime=1302.05 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 528912 0 0 0 129315 890 0 0 20 0 1 0 269673204 277327872 66653 33554432000 4194304 10219143 140735246202544 140735246195512 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 67707 66653 864 1471 0 66227 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 270828

[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 436
/proc/meminfo: memFree=28500596/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=267528 CPUtime=1362.05 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 554817 0 0 0 135297 908 0 0 20 0 1 0 269673204 273948672 65487 33554432000 4194304 10219143 140735246202544 140735246196040 8091452 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 66882 65487 864 1471 0 65402 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 267528

[startup+1422.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 436
/proc/meminfo: memFree=28502704/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=267816 CPUtime=1422.04 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 595512 0 0 0 141278 926 0 0 20 0 1 0 269673204 274243584 65344 33554432000 4194304 10219143 140735246202544 140735246196040 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 66954 65344 864 1471 0 65474 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 267816

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 437
/proc/meminfo: memFree=28499228/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=268488 CPUtime=1482.03 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 608179 0 0 0 147259 944 0 0 20 0 1 0 269673204 274931712 65845 33554432000 4194304 10219143 140735246202544 140735246195640 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 67122 65845 864 1471 0 65642 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 268488

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 437
/proc/meminfo: memFree=28499656/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=269624 CPUtime=1542.02 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 619899 0 0 0 153242 960 0 0 20 0 1 0 269673204 276094976 65770 33554432000 4194304 10219143 140735246202544 140735246195416 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 67406 65770 864 1471 0 65926 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 269624

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 437
/proc/meminfo: memFree=28500772/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=267108 CPUtime=1602.01 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 665449 0 0 0 159218 983 0 0 20 0 1 0 269673204 273518592 65460 33554432000 4194304 10219143 140735246202544 140735246195992 8106599 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 66777 65460 864 1471 0 65297 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 267108

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 437
/proc/meminfo: memFree=28497232/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=272244 CPUtime=1662.01 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 684896 0 0 0 165203 998 0 0 20 0 1 0 269673204 278777856 65957 33554432000 4194304 10219143 140735246202544 140735246195496 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 68061 65957 864 1471 0 66581 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 272244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 437
/proc/meminfo: memFree=28493696/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=271820 CPUtime=1721.99 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 711209 0 0 0 171186 1013 0 0 20 0 1 0 269673204 278343680 66806 33554432000 4194304 10219143 140735246202544 140735246195400 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 67955 66806 864 1471 0 66475 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 271820

[startup+1782.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 465
/proc/meminfo: memFree=28492104/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=274164 CPUtime=1781.99 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 730238 0 0 0 177167 1032 0 0 20 0 1 0 269673204 280743936 67059 33554432000 4194304 10219143 140735246202544 140735246196376 8077296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 68541 67059 864 1471 0 67061 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 274164

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

[startup+1785.8 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 465
/proc/meminfo: memFree=28491028/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=274628 CPUtime=1785.48 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 733213 0 0 0 177515 1033 0 0 20 0 1 0 269673204 281219072 67528 33554432000 4194304 10219143 140735246202544 140735246196040 8056245 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 68657 67528 864 1471 0 67177 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 274628

[startup+1792.21 s]
/proc/loadavg: 2.12 2.03 2.01 3/180 465
/proc/meminfo: memFree=28489624/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=276016 CPUtime=1791.88 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 741095 0 0 0 178153 1035 0 0 20 0 1 0 269673204 282640384 67811 33554432000 4194304 10219143 140735246202544 140735246195992 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 69004 67811 864 1471 0 67524 0
Current children cumulated CPU time (s) 1791.88
Current children cumulated vsize (KiB) 276016

[startup+1795.4 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 465
/proc/meminfo: memFree=28485352/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=281140 CPUtime=1795.08 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 742824 0 0 0 178472 1036 0 0 20 0 1 0 269673204 287887360 68910 33554432000 4194304 10219143 140735246202544 140735246195800 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 70285 68910 864 1471 0 68805 0
Current children cumulated CPU time (s) 1795.08
Current children cumulated vsize (KiB) 281140

[startup+1796.2 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 465
/proc/meminfo: memFree=28485352/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=281140 CPUtime=1795.88 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 742847 0 0 0 178551 1037 0 0 20 0 1 0 269673204 287887360 68933 33554432000 4194304 10219143 140735246202544 140735246195800 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 70285 68933 864 1471 0 68805 0
Current children cumulated CPU time (s) 1795.88
Current children cumulated vsize (KiB) 281140

[startup+1796.61 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 465
/proc/meminfo: memFree=28485228/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=281140 CPUtime=1796.29 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 742847 0 0 0 178592 1037 0 0 20 0 1 0 269673204 287887360 68933 33554432000 4194304 10219143 140735246202544 140735246195800 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 70285 68933 864 1471 0 68805 0
Current children cumulated CPU time (s) 1796.29
Current children cumulated vsize (KiB) 281140

[startup+1797 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 465
/proc/meminfo: memFree=28485228/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=281140 CPUtime=1796.68 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 742847 0 0 0 178631 1037 0 0 20 0 1 0 269673204 287887360 68933 33554432000 4194304 10219143 140735246202544 140735246195896 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 70285 68933 864 1471 0 68805 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 281140

[startup+1797.1 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 465
/proc/meminfo: memFree=28485228/32873844 swapFree=7096/7096
[pid=32732] ppid=32730 vsize=281140 CPUtime=1796.78 cores=0,2,4,6
/proc/32732/stat : 32732 (scip-2.1.1.4exp) R 32730 32732 29822 0 -1 4202496 742850 0 0 0 178641 1037 0 0 20 0 1 0 269673204 287887360 68936 33554432000 4194304 10219143 140735246202544 140735246199000 7594340 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32732/statm: 70285 68936 867 1471 0 68805 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 281140

Child status: 0
Real time (s): 1797.16
CPU time (s): 1796.85
CPU user time (s): 1786.47
CPU system time (s): 10.3834
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 281140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.47
system time used= 10.3834
maximum resident set size= 275744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 742852
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= 61
involuntary context switches= 1971

runsolver used 2.6456 second user time and 7.15891 second system time

The end

Launcher Data

Begin job on node132 at 2012-05-26 14:31:19
IDJOB=3692302
IDBENCH=25018
IDSOLVER=2271
FILE ID=node132/3692302-1338035479
RUNJOBID= node132-1338028003-30917
PBS_JOBID= 14624340
Free space on /tmp= 71544 MiB

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

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=2064168125

node132.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		: 2666.832
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	: 5333.66
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		: 2666.832
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	: 5332.55
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		: 2666.832
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	: 5332.56
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		: 2666.832
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	: 5332.56
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		: 2666.832
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	: 5332.55
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		: 2666.832
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	: 5332.56
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		: 2666.832
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	: 5332.55
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		: 2666.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28530992 kB
Buffers:          256588 kB
Cached:          3012268 kB
SwapCached:            0 kB
Active:          1091224 kB
Inactive:        2479412 kB
Active(anon):     304644 kB
Inactive(anon):        0 kB
Active(file):     786580 kB
Inactive(file):  2479412 kB
Unevictable:        7096 kB
Mlocked:            7096 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14692 kB
Writeback:             0 kB
AnonPages:        309156 kB
Mapped:            17816 kB
Shmem:               212 kB
Slab:             634112 kB
SReclaimable:      76520 kB
SUnreclaim:       557592 kB
KernelStack:        1472 kB
PageTables:         4464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     418920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    276480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71544 MiB
End job on node132 at 2012-05-26 15:01:16