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