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