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