Trace number 3731694

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT515 1798.6 1798.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUM2fd45123d8e20b24379108257151f007
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark712
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 414
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 488873
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 488873
Number of bits of the biggest sum of numbers19
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

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

Verifier Data

OK	515

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29365
/proc/meminfo: memFree=26814516/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=8180 CPUtime=0 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 1395 0 0 0 0 0 0 0 20 0 1 0 335281012 8376320 1347 33554432000 4194304 7823515 140736389733968 140736193297960 4402248 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 2045 1359 335 887 0 1155 0

[startup+0.0373859 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29365
/proc/meminfo: memFree=26814516/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=17084 CPUtime=0.02 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 3625 0 0 0 2 0 0 0 20 0 1 0 335281012 17494016 3573 33554432000 4194304 7823515 140736389733968 140736193297960 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 4271 3573 354 887 0 3381 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17084

[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29365
/proc/meminfo: memFree=26814516/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=20992 CPUtime=0.08 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 4630 0 0 0 8 0 0 0 20 0 1 0 335281012 21495808 4578 33554432000 4194304 7823515 140736389733968 140736193297960 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 5248 4578 354 887 0 4358 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20992

[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29365
/proc/meminfo: memFree=26814516/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=34092 CPUtime=0.29 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 7902 0 0 0 28 1 0 0 20 0 1 0 335281012 34910208 7850 33554432000 4194304 7823515 140736389733968 140736193297960 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 8523 7850 354 887 0 7633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34092

[startup+0.700257 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29365
/proc/meminfo: memFree=26814516/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=59648 CPUtime=0.69 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 14280 0 0 0 67 2 0 0 20 0 1 0 335281012 61079552 14228 33554432000 4194304 7823515 140736389733968 140736389600072 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 14912 14228 354 887 0 14022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59648

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29366
/proc/meminfo: memFree=26739720/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=109352 CPUtime=1.49 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 26714 0 0 0 145 4 0 0 20 0 1 0 335281012 111976448 26662 33554432000 4194304 7823515 140736389733968 140736389600072 4511625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 27338 26662 354 887 0 26448 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109352

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29366
/proc/meminfo: memFree=26669272/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=210892 CPUtime=3.09 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 52096 0 0 0 301 8 0 0 20 0 1 0 335281012 215953408 52044 33554432000 4194304 7823515 140736389733968 140736389600072 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 52723 52044 354 887 0 51833 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210892

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29366
/proc/meminfo: memFree=26189528/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=656328 CPUtime=6.28 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 162896 0 0 0 581 47 0 0 20 0 1 0 335281012 672079872 162490 33554432000 4194304 7823515 140736389733968 140736389730904 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 164082 162490 417 887 0 163192 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 656328

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29366
/proc/meminfo: memFree=25595988/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1297728 CPUtime=12.69 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 255751 0 0 0 1174 95 0 0 20 0 1 0 335281012 1328873472 305313 33554432000 4194304 7823515 140736389733968 140736389729656 6237507 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 324432 305313 506 887 0 323542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1297728

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29366
/proc/meminfo: memFree=25547664/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1339652 CPUtime=25.48 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 261268 0 0 0 2448 100 0 0 20 0 1 0 335281012 1371803648 316328 33554432000 4194304 7823515 140736389733968 140736389728728 6211018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 334913 316328 521 887 0 334023 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1339652

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29366
/proc/meminfo: memFree=25545868/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1341624 CPUtime=51.08 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 262202 0 0 0 5004 104 0 0 20 0 1 0 335281012 1373822976 316946 33554432000 4194304 7823515 140736389733968 140736389728728 6149986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 335406 316946 521 887 0 334516 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1341624

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29366
/proc/meminfo: memFree=25533836/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1353180 CPUtime=102.28 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 264794 0 0 0 10115 113 0 0 20 0 1 0 335281012 1385656320 319728 33554432000 4194304 7823515 140736389733968 140736389728648 6211142 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 338295 319728 521 887 0 337405 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1353180

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29366
/proc/meminfo: memFree=25506344/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1353504 CPUtime=162.26 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 265559 0 0 0 16105 121 0 0 20 0 1 0 335281012 1385988096 319875 33554432000 4194304 7823515 140736389733968 140736389728648 6149986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 338376 319875 521 887 0 337486 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1353504

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29367
/proc/meminfo: memFree=25515100/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1363228 CPUtime=222.25 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 268799 0 0 0 22092 133 0 0 20 0 1 0 335281012 1395945472 322102 33554432000 4194304 7823515 140736389733968 140736389728648 6149968 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 340807 322102 521 887 0 339917 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1363228

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 29370
/proc/meminfo: memFree=25513748/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1362288 CPUtime=282.24 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 269930 0 0 0 28082 142 0 0 20 0 1 0 335281012 1394982912 322350 33554432000 4194304 7823515 140736389733968 140736389729736 6149986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 340572 322350 521 887 0 339682 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1362288

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29370
/proc/meminfo: memFree=25498804/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1380348 CPUtime=342.23 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 272969 0 0 0 34072 151 0 0 20 0 1 0 335281012 1413476352 326095 33554432000 4194304 7823515 140736389733968 140736389728648 6152016 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 345087 326095 521 887 0 344197 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1380348

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29370
/proc/meminfo: memFree=25511272/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1356788 CPUtime=402.22 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 274769 0 0 0 40062 160 0 0 20 0 1 0 335281012 1389350912 323197 33554432000 4194304 7823515 140736389733968 140736389729064 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 339197 323197 530 887 0 338307 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1356788

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 29370
/proc/meminfo: memFree=25491488/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1386152 CPUtime=462.22 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 278890 0 0 0 46053 169 0 0 20 0 1 0 335281012 1419419648 328176 33554432000 4194304 7823515 140736389733968 140736389729768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 346538 328176 539 887 0 345648 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1386152

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29371
/proc/meminfo: memFree=25424056/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1444372 CPUtime=522.21 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 289902 0 0 0 52039 182 0 0 20 0 1 0 335281012 1479036928 344985 33554432000 4194304 7823515 140736389733968 140736389729112 6912071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 361093 344985 550 887 0 360203 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1444372

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29371
/proc/meminfo: memFree=25406060/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1461820 CPUtime=582.2 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291097 0 0 0 58035 185 0 0 20 0 1 0 335281012 1496903680 349446 33554432000 4194304 7823515 140736389733968 140736389729656 6109349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 365455 349446 550 887 0 364565 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1461820

[startup+642.3 s]

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

/proc/meminfo: memFree=26737920/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1122.11 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291782 0 0 0 111979 232 0 0 20 0 1 0 335281012 1523179520 356946 33554432000 4194304 7823515 140736389733968 140736389729064 5965555 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 356946 550 887 0 370980 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1487480

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29436
/proc/meminfo: memFree=26734704/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1182.1 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291783 0 0 0 117973 237 0 0 20 0 1 0 335281012 1523179520 357753 33554432000 4194304 7823515 140736389733968 140736389729064 5965398 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 357753 550 887 0 370980 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1487480

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29436
/proc/meminfo: memFree=26726384/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1242.08 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291783 0 0 0 123967 241 0 0 20 0 1 0 335281012 1523179520 359445 33554432000 4194304 7823515 140736389733968 140736389729112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 359445 550 887 0 370980 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1487480

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29437
/proc/meminfo: memFree=26726436/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1302.08 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291783 0 0 0 129961 247 0 0 20 0 1 0 335281012 1523179520 359601 33554432000 4194304 7823515 140736389733968 140736389729112 5965385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 359601 550 887 0 370980 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1487480

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29437
/proc/meminfo: memFree=26723156/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1362.07 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291783 0 0 0 135954 253 0 0 20 0 1 0 335281012 1523179520 359899 33554432000 4194304 7823515 140736389733968 140736389729112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 359899 550 887 0 370980 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1487480

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29438
/proc/meminfo: memFree=26722448/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1422.07 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291783 0 0 0 141951 256 0 0 20 0 1 0 335281012 1523179520 360066 33554432000 4194304 7823515 140736389733968 140736389729112 5965392 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 360066 550 887 0 370980 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1487480

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29441
/proc/meminfo: memFree=26720864/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1482.05 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291783 0 0 0 147945 260 0 0 20 0 1 0 335281012 1523179520 360066 33554432000 4194304 7823515 140736389733968 140736389729112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 360066 550 887 0 370980 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1487480

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29441
/proc/meminfo: memFree=26720732/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1542.04 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291783 0 0 0 153940 264 0 0 20 0 1 0 335281012 1523179520 360066 33554432000 4194304 7823515 140736389733968 140736389729112 5965820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 360066 550 887 0 370980 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1487480

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29441
/proc/meminfo: memFree=26720608/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1487480 CPUtime=1602.03 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 291783 0 0 0 159935 268 0 0 20 0 1 0 335281012 1523179520 360066 33554432000 4194304 7823515 140736389733968 140736389729768 5597697 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 371870 360066 550 887 0 370980 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1487480

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29441
/proc/meminfo: memFree=26694732/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1513140 CPUtime=1662.03 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 292820 0 0 0 165929 274 0 0 20 0 1 0 335281012 1549455360 366651 33554432000 4194304 7823515 140736389733968 140736389729064 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 378285 366651 550 887 0 377395 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1513140

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26694736/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1513140 CPUtime=1722.01 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 292820 0 0 0 171924 277 0 0 20 0 1 0 335281012 1549455360 366651 33554432000 4194304 7823515 140736389733968 140736389729064 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 378285 366651 550 887 0 377395 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1513140

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26694488/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1513140 CPUtime=1782.01 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 292820 0 0 0 177918 283 0 0 20 0 1 0 335281012 1549455360 366651 33554432000 4194304 7823515 140736389733968 140736389729112 5965555 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 378285 366651 550 887 0 377395 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1513140

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26694736/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1513140 CPUtime=1791.61 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 292820 0 0 0 178878 283 0 0 20 0 1 0 335281012 1549455360 366651 33554432000 4194304 7823515 140736389733968 140736389729160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 378285 366651 550 887 0 377395 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 1513140

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26694736/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1513140 CPUtime=1794.81 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 292820 0 0 0 179198 283 0 0 20 0 1 0 335281012 1549455360 366651 33554432000 4194304 7823515 140736389733968 140736389729112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 378285 366651 550 887 0 377395 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 1513140

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26694736/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1513140 CPUtime=1796.4 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 292820 0 0 0 179357 283 0 0 20 0 1 0 335281012 1549455360 366651 33554432000 4194304 7823515 140736389733968 140736389729112 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 378285 366651 550 887 0 377395 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 1513140

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26694736/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1513140 CPUtime=1797.21 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 292820 0 0 0 179437 284 0 0 20 0 1 0 335281012 1549455360 366651 33554432000 4194304 7823515 140736389733968 140736389729112 5965385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 378285 366651 550 887 0 377395 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 1513140

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26694736/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1520560 CPUtime=1798 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 293026 0 0 0 179516 284 0 0 20 0 1 0 335281012 1557053440 366857 33554432000 4194304 7823515 140736389733968 140736389729480 4301922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 380140 366857 556 887 0 379250 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 1520560

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26693992/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1515112 CPUtime=1798.4 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 293026 0 0 0 179556 284 0 0 20 0 1 0 335281012 1551474688 365573 33554432000 4194304 7823515 140736389733968 140736389729480 4240663 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 378778 365573 556 887 0 377888 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 1515112

[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29442
/proc/meminfo: memFree=26693992/32873648 swapFree=6864/6864
[pid=29365] ppid=29363 vsize=1214212 CPUtime=1798.5 cores=0,2,4,6
/proc/29365/stat : 29365 (pbscip.linux.x8) R 29363 29365 19043 0 -1 4202496 293026 0 0 0 179565 285 0 0 20 0 1 0 335281012 1243353088 300692 33554432000 4194304 7823515 140736389733968 140736389729480 5875900 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29365/statm: 303553 300692 556 887 0 302663 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (KiB) 1214212

Child status: 0
Real time (s): 1798.89
CPU time (s): 1798.6
CPU user time (s): 1795.73
CPU system time (s): 2.87356
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1520560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.73
system time used= 2.87356
maximum resident set size= 1487144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293031
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= 19
involuntary context switches= 1914

runsolver used 3.45347 second user time and 8.5607 second system time

The end

Launcher Data

Begin job on node120 at 2012-06-03 04:45:50
IDJOB=3731694
IDBENCH=1977
IDSOLVER=2321
FILE ID=node120/3731694-1338691550
RUNJOBID= node120-1338679216-27543
PBS_JOBID= 14636693
Free space on /tmp= 70732 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731694-1338691550/watcher-3731694-1338691550 -o /tmp/evaluation-result-3731694-1338691550/solver-3731694-1338691550 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731694-1338691550.opb

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

MD5SUM BENCH= 2fd45123d8e20b24379108257151f007
RANDOM SEED=153569887

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26814144 kB
Buffers:          557760 kB
Cached:          3148320 kB
SwapCached:         1580 kB
Active:          3149028 kB
Inactive:        1977516 kB
Active(anon):    1412732 kB
Inactive(anon):     9224 kB
Active(file):    1736296 kB
Inactive(file):  1968292 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:             26528 kB
Writeback:             8 kB
AnonPages:       1427044 kB
Mapped:            13016 kB
Shmem:                32 kB
Slab:             794396 kB
SReclaimable:     238444 kB
SUnreclaim:       555952 kB
KernelStack:        1448 kB
PageTables:         6456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1577648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1320960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70740 MiB
End job on node120 at 2012-06-03 05:15:49