Trace number 2703837

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT1676288 1789.7 1790.17

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
MD5SUM041d40ba01d992f8c3bb358df2c9aea9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2223045
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2191362
Optimality of the best value was proved NO
Number of variables8959
Total number of constraints323
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints323
Minimum length of a constraint31
Maximum length of a constraint510
Number of terms in the objective function 8959
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1612776422946
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1612776422946
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	1676288

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

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

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 27141
/proc/meminfo: memFree=1683068/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=7904 CPUtime=0
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 1134 0 0 0 0 0 0 0 25 0 1 0 23935420 8093696 1045 1992294400 4194304 8395647 140735238895488 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27141/statm: 1976 1055 365 1026 0 946 0

[startup+0.080236 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 27141
/proc/meminfo: memFree=1683068/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=17860 CPUtime=0.07
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 3795 0 0 0 6 1 0 0 25 0 1 0 23935420 18288640 3701 1992294400 4194304 8395647 140735238895488 18446744073709551615 6765573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27141/statm: 4465 3701 395 1026 0 3435 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17860

[startup+0.101238 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 27141
/proc/meminfo: memFree=1683068/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=18276 CPUtime=0.09
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 4133 0 0 0 8 1 0 0 25 0 1 0 23935420 18714624 3685 1992294400 4194304 8395647 140735238895488 18446744073709551615 7382152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 4569 3695 409 1026 0 3539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18276

[startup+0.300257 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 27141
/proc/meminfo: memFree=1683068/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=38856 CPUtime=0.29
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 9172 0 0 0 27 2 0 0 25 0 1 0 23935420 39788544 8724 1992294400 4194304 8395647 140735238895488 18446744073709551615 4706433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 9714 8724 501 1026 0 8684 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38856

[startup+0.700295 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 27141
/proc/meminfo: memFree=1683068/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=39304 CPUtime=0.69
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 9316 0 0 0 67 2 0 0 25 0 1 0 23935420 40247296 8868 1992294400 4194304 8395647 140735238895488 18446744073709551615 5210283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 9826 8868 501 1026 0 8796 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39304

[startup+1.50037 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 27142
/proc/meminfo: memFree=1640652/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=51688 CPUtime=1.49
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 12322 0 0 0 144 5 0 0 25 0 1 0 23935420 52928512 11848 1992294400 4194304 8395647 140735238895488 18446744073709551615 6199829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 12922 11848 627 1026 0 11892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51688

[startup+3.10053 s]
/proc/loadavg: 1.09 1.02 1.01 2/106 27142
/proc/meminfo: memFree=1612008/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=61196 CPUtime=3.09
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 20773 0 0 0 301 8 0 0 25 0 1 0 23935420 62664704 14291 1992294400 4194304 8395647 140735238895488 18446744073709551615 4299291 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 15299 14291 639 1026 0 14269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61196

[startup+6.30184 s]
/proc/loadavg: 1.09 1.02 1.01 2/106 27142
/proc/meminfo: memFree=1624160/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=67696 CPUtime=6.29
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 22187 0 0 0 620 9 0 0 25 0 1 0 23935420 69320704 15697 1992294400 4194304 8395647 140735238895488 18446744073709551615 6205778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 16924 15697 684 1026 0 15894 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67696

[startup+12.7015 s]
/proc/loadavg: 1.07 1.02 1.00 2/106 27142
/proc/meminfo: memFree=1617960/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=73420 CPUtime=12.69
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 23447 0 0 0 1258 11 0 0 25 0 1 0 23935420 75182080 16889 1992294400 4194304 8395647 140735238895488 18446744073709551615 5540817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 18355 16889 631 1026 0 17325 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73420

[startup+25.5007 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 27144
/proc/meminfo: memFree=1583984/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=108540 CPUtime=25.49
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 31823 0 0 0 2520 29 0 0 25 0 1 0 23935420 111144960 25229 1992294400 4194304 8395647 140735238895488 18446744073709551615 6723113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 27135 25229 642 1026 0 26105 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108540

[startup+51.1002 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 27144
/proc/meminfo: memFree=1601716/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=51.08
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 31871 0 0 0 5064 44 0 0 25 0 1 0 23935420 91172864 20689 1992294400 4194304 8395647 140735238895488 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20689 642 1026 0 21229 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89036

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 27146
/proc/meminfo: memFree=1601716/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=102.28
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 31871 0 0 0 10154 74 0 0 25 0 1 0 23935420 91172864 20689 1992294400 4194304 8395647 140735238895488 18446744073709551615 6654045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20689 642 1026 0 21229 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 89036

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27146
/proc/meminfo: memFree=1601592/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=162.25
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 31974 0 0 0 16117 108 0 0 25 0 1 0 23935420 91172864 20792 1992294400 4194304 8395647 140735238895488 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20792 745 1026 0 21229 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89036

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27148
/proc/meminfo: memFree=1601592/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=222.24
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 32000 0 0 0 22080 144 0 0 25 0 1 0 23935420 91172864 20818 1992294400 4194304 8395647 140735238895488 18446744073709551615 7349255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20818 745 1026 0 21229 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 89036

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27150
/proc/meminfo: memFree=1601592/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=282.23
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 32001 0 0 0 28048 175 0 0 25 0 1 0 23935420 91172864 20819 1992294400 4194304 8395647 140735238895488 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20819 745 1026 0 21229 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89036

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27152
/proc/meminfo: memFree=1601592/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=342.21
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 32001 0 0 0 34009 212 0 0 25 0 1 0 23935420 91172864 20819 1992294400 4194304 8395647 140735238895488 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20819 745 1026 0 21229 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 89036

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27154
/proc/meminfo: memFree=1601468/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=402.19
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 32004 0 0 0 39970 249 0 0 25 0 1 0 23935420 91172864 20822 1992294400 4194304 8395647 140735238895488 18446744073709551615 6470829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20822 745 1026 0 21229 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 89036

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27154
/proc/meminfo: memFree=1601468/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=462.18
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 32004 0 0 0 45932 286 0 0 25 0 1 0 23935420 91172864 20822 1992294400 4194304 8395647 140735238895488 18446744073709551615 6585964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20822 745 1026 0 21229 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 89036

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27156
/proc/meminfo: memFree=1601468/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=522.16
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 32010 0 0 0 51897 319 0 0 25 0 1 0 23935420 91172864 20828 1992294400 4194304 8395647 140735238895488 18446744073709551615 6586922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20828 745 1026 0 21229 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 89036

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27158
/proc/meminfo: memFree=1601468/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=89036 CPUtime=582.15
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 32022 0 0 0 57859 356 0 0 25 0 1 0 23935420 91172864 20840 1992294400 4194304 8395647 140735238895488 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22259 20840 745 1026 0 21229 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 89036

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27160
/proc/meminfo: memFree=1600104/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=90804 CPUtime=642.14
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 32435 0 0 0 63821 393 0 0 25 0 1 0 23935420 92983296 21253 1992294400 4194304 8395647 140735238895488 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 22701 21253 745 1026 0 21671 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 90804

[startup+702.301 s]

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

/proc/meminfo: memFree=1592044/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=98392 CPUtime=1002.02
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 34341 0 0 0 99586 616 0 0 25 0 1 0 23935420 100753408 23159 1992294400 4194304 8395647 140735238895488 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 24598 23159 745 1026 0 23568 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 98392

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27179
/proc/meminfo: memFree=1590060/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=100416 CPUtime=1062.01
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 34847 0 0 0 105548 653 0 0 25 0 1 0 23935420 102825984 23665 1992294400 4194304 8395647 140735238895488 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 25104 23665 745 1026 0 24074 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 100416

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27181
/proc/meminfo: memFree=1588448/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=102024 CPUtime=1121.99
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 35249 0 0 0 111511 688 0 0 25 0 1 0 23935420 104472576 24067 1992294400 4194304 8395647 140735238895488 18446744073709551615 6693807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 25506 24067 745 1026 0 24476 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 102024

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27183
/proc/meminfo: memFree=1587084/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=103952 CPUtime=1181.98
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 35574 0 0 0 117471 727 0 0 25 0 1 0 23935420 106446848 24392 1992294400 4194304 8395647 140735238895488 18446744073709551615 6585945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 25988 24392 745 1026 0 24958 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 103952

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27185
/proc/meminfo: memFree=1585968/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=104396 CPUtime=1241.96
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 35847 0 0 0 123439 757 0 0 25 0 1 0 23935420 106901504 24665 1992294400 4194304 8395647 140735238895488 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 26099 24665 745 1026 0 25069 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 104396

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27187
/proc/meminfo: memFree=1583240/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=106928 CPUtime=1301.96
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 36479 0 0 0 129399 797 0 0 25 0 1 0 23935420 109494272 25297 1992294400 4194304 8395647 140735238895488 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 26732 25297 745 1026 0 25702 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 106928

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27187
/proc/meminfo: memFree=1582124/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=108084 CPUtime=1361.93
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 36778 0 0 0 135362 831 0 0 25 0 1 0 23935420 110678016 25596 1992294400 4194304 8395647 140735238895488 18446744073709551615 6586910 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 27021 25596 745 1026 0 25991 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 108084

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27189
/proc/meminfo: memFree=1579272/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=110940 CPUtime=1421.93
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 37494 0 0 0 141326 867 0 0 25 0 1 0 23935420 113602560 26312 1992294400 4194304 8395647 140735238895488 18446744073709551615 6667516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 27735 26312 745 1026 0 26705 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 110940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27191
/proc/meminfo: memFree=1578900/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=111368 CPUtime=1481.9
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 37593 0 0 0 147286 904 0 0 25 0 1 0 23935420 114040832 26411 1992294400 4194304 8395647 140735238895488 18446744073709551615 6663822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 27842 26411 745 1026 0 26812 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 111368

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27193
/proc/meminfo: memFree=1577660/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=112540 CPUtime=1541.89
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 37897 0 0 0 153249 940 0 0 25 0 1 0 23935420 115240960 26715 1992294400 4194304 8395647 140735238895488 18446744073709551615 6693183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 28135 26715 745 1026 0 27105 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 112540

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27195
/proc/meminfo: memFree=1576172/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=113996 CPUtime=1601.87
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 38254 0 0 0 159210 977 0 0 25 0 1 0 23935420 116731904 27072 1992294400 4194304 8395647 140735238895488 18446744073709551615 6696785 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 28499 27072 745 1026 0 27469 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 113996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27195
/proc/meminfo: memFree=1574436/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=115672 CPUtime=1661.86
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 38696 0 0 0 165172 1014 0 0 25 0 1 0 23935420 118448128 27514 1992294400 4194304 8395647 140735238895488 18446744073709551615 6587048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 28918 27514 745 1026 0 27888 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 115672

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27197
/proc/meminfo: memFree=1572080/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=118264 CPUtime=1721.84
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 39324 0 0 0 171134 1050 0 0 25 0 1 0 23935420 121102336 28142 1992294400 4194304 8395647 140735238895488 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 29566 28142 745 1026 0 28536 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 118264

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27199
/proc/meminfo: memFree=1570344/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=119580 CPUtime=1781.83
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 39652 0 0 0 177099 1084 0 0 25 0 1 0 23935420 122449920 28470 1992294400 4194304 8395647 140735238895488 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 29895 28470 745 1026 0 28865 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 119580

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27199
/proc/meminfo: memFree=1569848/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=119984 CPUtime=1785.03
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 39756 0 0 0 177417 1086 0 0 25 0 1 0 23935420 122863616 28574 1992294400 4194304 8395647 140735238895488 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 29996 28574 745 1026 0 28966 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 119984

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27199
/proc/meminfo: memFree=1569848/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=119984 CPUtime=1788.23
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 39756 0 0 0 177735 1088 0 0 25 0 1 0 23935420 122863616 28574 1992294400 4194304 8395647 140735238895488 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 29996 28574 745 1026 0 28966 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 119984

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27199
/proc/meminfo: memFree=1569848/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=119984 CPUtime=1789.03
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 39756 0 0 0 177814 1089 0 0 25 0 1 0 23935420 122863616 28574 1992294400 4194304 8395647 140735238895488 18446744073709551615 6585945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 29996 28574 745 1026 0 28966 0
Current children cumulated CPU time (s) 1789.03
Current children cumulated vsize (KiB) 119984

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27199
/proc/meminfo: memFree=1569848/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=119984 CPUtime=1789.43
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 39756 0 0 0 177854 1089 0 0 25 0 1 0 23935420 122863616 28574 1992294400 4194304 8395647 140735238895488 18446744073709551615 6701870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27141/statm: 29996 28574 745 1026 0 28966 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (KiB) 119984

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27199
/proc/meminfo: memFree=1569848/2059040 swapFree=4143936/4192956
[pid=27141] ppid=27139 vsize=119984 CPUtime=1789.63
/proc/27141/stat : 27141 (pbscip.linux.x8) R 27139 27141 25566 0 -1 4202496 39760 0 0 0 177874 1089 0 0 25 0 1 0 23935420 122863616 28578 1992294400 4194304 8395647 140735238895488 18446744073709551615 6150719 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27141/statm: 29996 28578 749 1026 0 28966 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (KiB) 119984

Child status: 0
Real time (s): 1790.17
CPU time (s): 1789.7
CPU user time (s): 1778.8
CPU system time (s): 10.9053
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 119984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.8
system time used= 10.9053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3586

runsolver used 2.97855 second user time and 8.43472 second system time

The end

Launcher Data

Begin job on node089 at 2010-07-08 04:47:51
IDJOB=2703837
IDBENCH=2302
IDSOLVER=1213
FILE ID=node089/2703837-1278557271
PBS_JOBID= 11239474
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703837-1278557271/watcher-2703837-1278557271 -o /tmp/evaluation-result-2703837-1278557271/solver-2703837-1278557271 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703837-1278557271.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9
RANDOM SEED=1206537823

node089.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1683596 kB
Buffers:         54108 kB
Cached:         194760 kB
SwapCached:      40860 kB
Active:         152168 kB
Inactive:       149212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1683596 kB
SwapTotal:     4192956 kB
SwapFree:      4143936 kB
Dirty:           10828 kB
Writeback:           0 kB
AnonPages:       14588 kB
Mapped:          11980 kB
Slab:            52376 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183204 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node089 at 2010-07-08 05:17:41