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