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 | 161.113 | 161.14 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_9_mh.opb |
| MD5SUM | dceb2101253472cec95359fbc82f66a4 |
| 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 | 6925310 |
| Best CPU time to get the best result obtained on this benchmark | 41.2897 |
| 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 | 6810 |
| Total number of constraints | 15202 |
| Number of constraints which are clauses | 11580 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 3795 |
| Biggest coefficient in the objective function | 105154048 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4901449287 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 105154048 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4901449287 |
| 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-3744269-1338803917.opb>
0.09/0.11 c original problem has 6810 variables (6810 bin, 0 int, 0 impl, 0 cont) and 15202 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.15 c presolving:
0.18/0.20 c (round 1) 900 del vars, 423 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 28380 impls, 1 clqs
0.18/0.28 c (round 2) 900 del vars, 528 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 28380 impls, 1 clqs
0.89/0.98 c (0.9s) probing: 116/5910 (2.0%) - 0 fixings, 0 aggregations, 5880 implications, 0 bound changes
0.89/0.98 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.98 c presolving (3 rounds):
0.89/0.98 c 900 deleted vars, 528 deleted constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.89/0.98 c 788160 implications, 1 cliques
0.89/0.98 c presolved problem has 5910 variables (5910 bin, 0 int, 0 impl, 0 cont) and 14674 constraints
0.89/0.98 c 3090 constraints of type <knapsack>
0.89/0.98 c 8521 constraints of type <setppc>
0.89/0.98 c 3 constraints of type <linear>
0.89/0.98 c 3060 constraints of type <logicor>
0.89/0.98 c transformed objective value is always integral (scale: 1)
0.89/0.98 c Presolving Time: 0.84
0.89/0.98 c - non default parameters ----------------------------------------------------------------------
0.89/0.98 c # SCIP version 1.2.1.3
0.89/0.98 c
0.89/0.98 c # frequency for displaying node information lines
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.98 c display/freq = 10000
0.89/0.98 c
0.89/0.98 c # maximal time in seconds to run
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/time = 1789.9
0.89/0.98 c
0.89/0.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/memory = 13950
0.89/0.98 c
0.89/0.98 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.98 c # [type: int, range: [1,2], default: 1]
0.89/0.98 c timing/clocktype = 2
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify inequalities
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/linear/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/indicator/addCouplingCons = TRUE
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify knapsacks
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.98 c separating/rapidlearning/freq = 0
0.89/0.98 c
0.89/0.98 c -----------------------------------------------------------------------------------------------
0.89/0.98 c start solving
0.89/0.98 c
1.00/1.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.10 c 1.0s| 1 | 0 | 403 | - | 56M| 0 | 51 |5910 | 14k|5910 | 14k| 0 | 0 | 0 | 5.093048e+06 | -- | Inf
2.98/3.07 c 3.0s| 1 | 0 | 2144 | - | 56M| 0 | 62 |5910 | 14k|5910 | 14k| 11 | 0 | 0 | 6.161080e+06 | -- | Inf
3.79/3.80 c 3.7s| 1 | 0 | 2317 | - | 57M| 0 | 74 |5910 | 14k|5910 | 14k| 21 | 0 | 0 | 6.290719e+06 | -- | Inf
4.30/4.38 c 4.3s| 1 | 0 | 2376 | - | 58M| 0 | 112 |5910 | 14k|5910 | 14k| 30 | 0 | 0 | 6.306359e+06 | -- | Inf
4.89/4.96 c 4.8s| 1 | 0 | 2506 | - | 58M| 0 | 134 |5910 | 14k|5910 | 14k| 35 | 0 | 0 | 6.330990e+06 | -- | Inf
5.49/5.54 c 5.4s| 1 | 0 | 2590 | - | 59M| 0 | 130 |5910 | 14k|5910 | 14k| 39 | 0 | 0 | 6.368258e+06 | -- | Inf
6.19/6.20 c 6.1s| 1 | 0 | 2746 | - | 60M| 0 | 127 |5910 | 14k|5910 | 14k| 43 | 0 | 0 | 6.391983e+06 | -- | Inf
7.08/7.14 c 7.0s| 1 | 0 | 2844 | - | 61M| 0 | 131 |5910 | 14k|5910 | 14k| 47 | 0 | 0 | 6.402988e+06 | -- | Inf
8.39/8.46 c 8.3s| 1 | 0 | 2952 | - | 62M| 0 | 127 |5910 | 14k|5910 | 14k| 48 | 0 | 0 | 6.410489e+06 | -- | Inf
10.08/10.14 c 10.0s| 1 | 0 | 3038 | - | 62M| 0 | 119 |5910 | 14k|5910 | 14k| 50 | 0 | 0 | 6.415198e+06 | -- | Inf
11.69/11.77 c 11.7s| 1 | 0 | 3044 | - | 63M| 0 | 121 |5910 | 14k|5910 | 14k| 52 | 0 | 0 | 6.415262e+06 | -- | Inf
13.09/13.12 c 13.0s| 1 | 0 | 3083 | - | 63M| 0 | 125 |5910 | 14k|5910 | 14k| 53 | 0 | 0 | 6.415347e+06 | -- | Inf
14.48/14.52 c 14.4s| 1 | 0 | 3210 | - | 63M| 0 | 142 |5910 | 14k|5910 | 14k| 55 | 0 | 0 | 6.421715e+06 | -- | Inf
15.88/15.90 c 15.8s| 1 | 0 | 3212 | - | 63M| 0 | 142 |5910 | 14k|5910 | 14k| 57 | 0 | 0 | 6.421715e+06 | -- | Inf
20.48/20.50 c 20.4s| 1 | 2 | 3212 | - | 63M| 0 | 142 |5910 | 14k|5910 | 14k| 57 | 0 | 21 | 6.421715e+06 | -- | Inf
39.08/39.19 o 86384176
39.08/39.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.08/39.19 c R39.1s| 9 | 8 | 4208 | 124.5 | 63M| 8 | 12 |5910 | 14k|5910 | 14k| 57 | 0 | 217 | 6.429037e+06 | 8.638418e+07 |1243.66%
39.49/39.50 o 86380598
39.49/39.50 c R39.4s| 9 | 8 | 4216 | 125.5 | 64M| 8 | 6 |5910 | 14k|5910 | 14k| 57 | 0 | 235 | 6.429037e+06 | 8.638060e+07 |1243.60%
39.49/39.56 o 86376190
39.49/39.56 c *39.4s| 11 | 8 | 4218 | 100.6 | 64M| 9 | - |5910 | 14k|5910 | 14k| 57 | 1 | 235 | 6.429037e+06 | 8.637619e+07 |1243.53%
57.58/57.67 o 62200468
57.58/57.67 c R57.6s| 23 | 17 | 5911 | 122.7 | 64M| 12 | 9 |5910 | 14k|5910 | 14k| 57 | 1 | 442 | 6.446992e+06 | 6.220047e+07 | 864.80%
57.68/57.79 o 62198520
57.68/57.79 c *57.7s| 23 | 17 | 5913 | 122.8 | 64M| 12 | - |5910 | 14k|5910 | 14k| 57 | 1 | 450 | 6.446992e+06 | 6.219852e+07 | 864.77%
78.48/78.51 o 9452900
78.48/78.51 c *78.4s| 36 | 12 | 6975 | 107.5 | 64M| 13 | - |5910 | 14k|5910 | 14k| 57 | 3 | 628 | 6.446992e+06 | 9.452900e+06 | 46.62%
79.18/79.21 o 7136977
79.18/79.21 c *79.1s| 42 | 10 | 7361 | 101.2 | 64M| 13 | - |5910 | 14k|5910 | 14k| 57 | 3 | 636 | 6.446992e+06 | 7.136977e+06 | 10.70%
80.18/80.23 o 7101643
80.18/80.23 c *80.1s| 54 | 10 | 7720 | 85.1 | 63M| 13 | - |5910 | 13k|5910 | 14k| 57 | 10 | 648 | 6.446992e+06 | 7.101643e+06 | 10.15%
81.28/81.40 o 7084894
81.28/81.40 c R81.3s| 100 | 12 | 8444 | 52.8 | 63M| 17 | 8 |5910 | 13k|5910 | 14k| 57 | 29 | 660 | 6.446992e+06 | 7.084894e+06 | 9.89%
81.67/81.72 o 7034609
81.67/81.72 c *81.6s| 121 | 14 | 8561 | 44.6 | 63M| 27 | - |5910 | 13k|5910 | 14k| 57 | 36 | 660 | 6.446992e+06 | 7.034609e+06 | 9.11%
81.87/81.91 o 7033856
81.87/81.91 c *81.8s| 125 | 14 | 8654 | 43.9 | 59M| 27 | - |5910 | 10k|5910 | 14k| 57 | 36 | 660 | 6.446992e+06 | 7.033856e+06 | 9.10%
107.47/107.59 o 7030831
107.47/107.59 c R 107s| 843 | 135 | 27802 | 29.2 | 65M| 38 | 9 |5910 | 10k|5910 | 14k| 57 | 203 | 832 | 6.495176e+06 | 7.030831e+06 | 8.25%
108.18/108.28 o 7002261
108.18/108.28 c * 108s| 858 | 123 | 28365 | 29.4 | 65M| 38 | - |5910 | 10k|5910 | 14k| 57 | 206 | 835 | 6.495772e+06 | 7.002261e+06 | 7.80%
126.67/126.77 o 6954969
126.67/126.77 c C 127s| 1222 | 157 | 41603 | 31.4 | 67M| 45 | - |5910 | 10k|5910 | 14k| 57 | 228 |1033 | 6.524111e+06 | 6.954969e+06 | 6.60%
155.36/155.49 o 6925310
155.36/155.49 c * 155s| 1808 | 49 | 63395 | 33.3 | 63M| 45 | - |5910 |9937 |5910 | 14k| 57 | 302 |1336 | 6.686995e+06 | 6.925310e+06 | 3.56%
160.96/161.06 c
160.96/161.06 c SCIP Status : problem is solved [optimal solution found]
160.96/161.06 c Solving Time (sec) : 160.94
160.96/161.06 c Solving Nodes : 1907
160.96/161.06 c Primal Bound : +6.92531000000000e+06 (24 solutions)
160.96/161.06 c Dual Bound : +6.92531000000000e+06
160.96/161.06 c Gap : 0.00 %
160.96/161.07 s OPTIMUM FOUND
160.96/161.07 v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572
160.96/161.07 v -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555
160.96/161.07 v -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537
160.96/161.07 v -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 x4529 -x4528 -x4527 -x4526 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701
160.96/161.07 v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683
160.96/161.07 v -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665
160.96/161.07 v -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647
160.96/161.07 v x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629
160.96/161.07 v -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611
160.96/161.07 v -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593
160.96/161.07 v -x4592 -x4591 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394
160.96/161.07 v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376
160.96/161.07 v -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358
160.96/161.07 v -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4525 -x4524 -x4523 -x4522
160.96/161.07 v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504
160.96/161.07 v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486
160.96/161.07 v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468
160.96/161.07 v -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451
160.96/161.07 v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433
160.96/161.07 v -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415
160.96/161.07 v -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215
160.96/161.07 v -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197
160.96/161.07 v -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179
160.96/161.07 v -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4343
160.96/161.07 v -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326
160.96/161.07 v -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308
160.96/161.07 v -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290
160.96/161.07 v -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272
160.96/161.07 v -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 x4254
160.96/161.07 v -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236
160.96/161.07 v -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 x4227 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036
160.96/161.07 v -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018
160.96/161.07 v -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000
160.96/161.07 v -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983
160.96/161.07 v -x3982 -x3981 -x3980 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147
160.96/161.07 v -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129
160.96/161.07 v -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111
160.96/161.07 v -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093
160.96/161.07 v -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075
160.96/161.07 v -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057
160.96/161.07 v -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x3862 -x3861 -x3860 -x3859 -x3858
160.96/161.07 v -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840
160.96/161.07 v -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822
160.96/161.07 v -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804
160.96/161.07 v -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968
160.96/161.07 v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950
160.96/161.07 v -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932
160.96/161.07 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
160.96/161.07 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897
160.96/161.07 v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879
160.96/161.07 v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3680 -x3679
160.96/161.07 v -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661
160.96/161.07 v -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643
160.96/161.07 v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625
160.96/161.07 v -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790
160.96/161.07 v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772
160.96/161.07 v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754
160.96/161.07 v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736
160.96/161.07 v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718
160.96/161.07 v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700
160.96/161.07 v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682
160.96/161.07 v -x3681 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226
160.96/161.07 v -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208
160.96/161.07 v -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190
160.96/161.07 v -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172
160.96/161.07 v -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336
160.96/161.07 v -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318
160.96/161.07 v -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300
160.96/161.07 v -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282
160.96/161.07 v -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265
160.96/161.07 v -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247
160.96/161.07 v -x6246 -x6245 -x6244 -x6243 -x6242 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047
160.96/161.07 v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029
160.96/161.07 v -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011
160.96/161.07 v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993
160.96/161.07 v -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157
160.96/161.07 v -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140
160.96/161.07 v -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122
160.96/161.07 v -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104
160.96/161.07 v -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086
160.96/161.07 v -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068
160.96/161.07 v -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868
160.96/161.07 v -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850
160.96/161.07 v -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833
160.96/161.07 v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815
160.96/161.07 v -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5981 -x5980 -x5979
160.96/161.07 v -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961
160.96/161.07 v -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943
160.96/161.07 v -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925
160.96/161.07 v -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907
160.96/161.07 v -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890
160.96/161.07 v -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690
160.96/161.07 v -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672
160.96/161.07 v -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654
160.96/161.07 v -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636
160.96/161.07 v -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618
160.96/161.07 v -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782
160.96/161.07 v -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765
160.96/161.07 v -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747
160.96/161.07 v -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729
160.96/161.07 v -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711
160.96/161.07 v -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5513 -x5512 -x5511
160.96/161.07 v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493
160.96/161.07 v -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475
160.96/161.07 v -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458
160.96/161.07 v -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440
160.96/161.07 v -x5439 -x5438 -x5437 -x5436 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604
160.96/161.07 v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586
160.96/161.07 v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568
160.96/161.07 v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550
160.96/161.07 v -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532
160.96/161.07 v -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515
160.96/161.07 v -x5514 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315
160.96/161.07 v -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297
160.96/161.07 v -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279
160.96/161.07 v -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261
160.96/161.07 v -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425
160.96/161.07 v -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407
160.96/161.07 v -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390
160.96/161.07 v -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372
160.96/161.07 v -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354
160.96/161.07 v -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336
160.96/161.07 v -x5335 -x5334 -x5333 -x5332 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136
160.96/161.07 v -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118
160.96/161.07 v -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100
160.96/161.07 v -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083
160.96/161.07 v -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247
160.96/161.07 v -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229
160.96/161.07 v -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211
160.96/161.07 v -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193
160.96/161.07 v -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175
160.96/161.07 v -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157
160.96/161.07 v -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958
160.96/161.07 v -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940
160.96/161.07 v -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922
160.96/161.07 v -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904
160.96/161.07 v -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x5071 -x5070 -x5069 -x5068
160.96/161.07 v -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050
160.96/161.07 v -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032
160.96/161.07 v -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015
160.96/161.07 v -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997
160.96/161.07 v -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979
160.96/161.07 v -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779
160.96/161.07 v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761
160.96/161.07 v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743
160.96/161.07 v -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725
160.96/161.07 v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708
160.96/161.07 v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872
160.96/161.07 v -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854
160.96/161.07 v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836
160.96/161.07 v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818
160.96/161.07 v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800
160.96/161.07 v -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x6675 -x6659 -x6643 -x6627
160.96/161.07 v -x6611 -x6595 -x6804 -x6788 -x6772 -x6756 -x6740 -x6724 -x6708 -x6692 -x6676 -x3480 -x3464 -x3448 -x3432 -x3416 -x3400
160.96/161.07 v -x3609 -x3593 -x3577 -x3561 -x3545 -x3529 -x3513 -x3497 -x3481 -x6435 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223
160.96/161.07 v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x6419 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
160.96/161.07 v -x978 -x977 -x976 -x6403 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x6387
160.96/161.07 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x6371 -x270 -x269 -x268 -x267 -x266
160.96/161.07 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x6355 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
160.96/161.07 v -x19 -x18 -x17 -x16 -x6564 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377
160.96/161.07 v -x3376 -x6548 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x6532
160.96/161.07 v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x6516 -x2670 -x2669
160.96/161.07 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x6500 -x2430 -x2429 -x2428 -x2427
160.96/161.07 v -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x6484 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185
160.96/161.07 v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x6468 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943
160.96/161.07 v -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x6452 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701
160.96/161.07 v -x1700 -x1699 -x1698 -x1697 -x1696 -x6436 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460
160.96/161.07 v -x1459 -x1458 -x1457 -x1456 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 -x6674 -x6673 -x6672 -x6671 -x6670
160.96/161.07 v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651
160.96/161.07 v -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632
160.96/161.07 v -x6631 -x6630 -x6629 -x6628 -x6626 -x6625 -x6624 -x6623 -x6622 x6621 -x6620 x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613
160.96/161.07 v -x6612 -x6610 -x6609 -x6608 -x6607 x6606 -x6605 x6604 -x6603 x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6594 -x6593
160.96/161.07 v -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6803 -x6802 -x6801 -x6800 -x6799
160.96/161.07 v -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780
160.96/161.07 v -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 x6762 x6761
160.96/161.07 v -x6760 -x6759 -x6758 -x6757 -x6755 x6754 -x6753 x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742
160.96/161.07 v -x6741 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 x6732 x6731 -x6730 -x6729 -x6728 -x6727 x6726 -x6725 -x6723 -x6722
160.96/161.07 v -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6707 -x6706 -x6705 -x6704 -x6703
160.96/161.07 v -x6702 x6701 -x6700 -x6699 -x6698 -x6697 x6696 -x6695 -x6694 -x6693 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684
160.96/161.07 v -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6585 -x6584 -x6583 x6582 x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 x6574
160.96/161.07 v -x6573 x6572 -x6571 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201
160.96/161.07 v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183
160.96/161.07 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
160.96/161.07 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148
160.96/161.07 v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355
160.96/161.07 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337
160.96/161.07 v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
160.96/161.07 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
160.96/161.07 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283
160.96/161.07 v -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266
160.96/161.07 v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248
160.96/161.07 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1005
160.96/161.07 v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x975 -x974 -x973 -x972 -x971 -x970
160.96/161.07 v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949
160.96/161.07 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928
160.96/161.07 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
160.96/161.07 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
160.96/161.07 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098
160.96/161.07 v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080
160.96/161.07 v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062
160.96/161.07 v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
160.96/161.07 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026
160.96/161.07 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
160.96/161.07 v -x1008 -x1007 -x1006 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763
160.96/161.07 v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
160.96/161.07 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
160.96/161.07 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x915 -x914 -x913 -x912 -x911
160.96/161.07 v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890
160.96/161.07 v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869
160.96/161.07 v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848
160.96/161.07 v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827
160.96/161.07 v -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
160.96/161.07 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
160.96/161.07 v -x785 -x784 -x783 -x782 -x781 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
160.96/161.07 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
160.96/161.07 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483
160.96/161.07 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x690 -x689 -x688 -x687
160.96/161.07 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667
160.96/161.07 v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646
160.96/161.07 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625
160.96/161.07 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
160.96/161.07 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
160.96/161.07 v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
160.96/161.07 v -x561 -x560 -x559 -x558 -x557 -x556 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317
160.96/161.07 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296
160.96/161.07 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275
160.96/161.07 v -x274 -x273 -x272 -x271 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x465 -x464
160.96/161.07 v -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
160.96/161.07 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
160.96/161.07 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
160.96/161.07 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381
160.96/161.07 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
160.96/161.07 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
160.96/161.07 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
160.96/161.07 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
160.96/161.07 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
160.96/161.07 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
160.96/161.07 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
160.96/161.07 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
160.96/161.07 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
160.96/161.07 v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
160.96/161.07 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
160.96/161.07 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x3255 -x3254
160.96/161.07 v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236
160.96/161.07 v -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219
160.96/161.07 v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201
160.96/161.07 v -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183
160.96/161.07 v -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3375
160.96/161.07 v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357
160.96/161.07 v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339
160.96/161.07 v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321
160.96/161.07 v -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304
160.96/161.07 v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286
160.96/161.07 v -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268
160.96/161.07 v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025
160.96/161.07 v -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007
160.96/161.07 v -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989
160.96/161.07 v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971
160.96/161.07 v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954
160.96/161.07 v -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x3165 -x3164 -x3163 -x3162 -x3161
160.96/161.07 v -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
160.96/161.07 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
160.96/161.07 v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092
160.96/161.07 v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074
160.96/161.07 v -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056
160.96/161.07 v -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
160.96/161.07 v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796
160.96/161.07 v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778
160.96/161.07 v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760
160.96/161.07 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
160.96/161.07 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724
160.96/161.07 v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931
160.96/161.07 v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914
160.96/161.07 v -x2913 -x2912 -x2911 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881
160.96/161.07 v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863
160.96/161.07 v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845
160.96/161.07 v -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827
160.96/161.07 v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809
160.96/161.07 v -x2808 -x2807 -x2806 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566
160.96/161.07 v -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549
160.96/161.07 v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531
160.96/161.07 v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513
160.96/161.07 v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495
160.96/161.07 v -x2494 -x2493 -x2492 -x2491 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702
160.96/161.07 v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684
160.96/161.07 v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2655 -x2654 -x2653 -x2652 -x2651
160.96/161.07 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634
160.96/161.07 v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
160.96/161.07 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
160.96/161.07 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2355
160.96/161.07 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337
160.96/161.07 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319
160.96/161.07 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
160.96/161.07 v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284
160.96/161.07 v -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266
160.96/161.07 v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473
160.96/161.07 v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455
160.96/161.07 v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437
160.96/161.07 v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
160.96/161.07 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386
160.96/161.07 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369
160.96/161.07 v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2130 -x2129 -x2128 -x2127 -x2126
160.96/161.07 v x2125 -x2124 -x2123 -x2122 -x2121 x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108
160.96/161.07 v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
160.96/161.07 v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072
160.96/161.07 v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054
160.96/161.07 v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2265 -x2264 -x2263 -x2262 -x2261
160.96/161.07 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243
160.96/161.07 v -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225
160.96/161.07 v -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208
160.96/161.07 v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2175
160.96/161.07 v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157
160.96/161.07 v -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139
160.96/161.07 v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896
160.96/161.07 v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878
160.96/161.07 v -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860
160.96/161.07 v -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843
160.96/161.07 v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825
160.96/161.07 v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032
160.96/161.07 v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014
160.96/161.07 v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996
160.96/161.07 v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978
160.96/161.07 v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960
160.96/161.07 v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928
160.96/161.07 v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910
160.96/161.07 v -x1909 -x1908 -x1907 -x1906 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
160.96/161.07 v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
160.96/161.07 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 x1638 -x1637 x1636 -x1635 -x1634 -x1633 -x1632 -x1631
160.96/161.07 v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613
160.96/161.07 v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595
160.96/161.07 v -x1594 -x1593 -x1592 -x1591 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802
160.96/161.07 v -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784
160.96/161.07 v -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767
160.96/161.07 v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749
160.96/161.07 v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731
160.96/161.07 v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713
160.96/161.07 v -x1712 -x1711 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1455
160.96/161.07 v -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437
160.96/161.07 v -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419
160.96/161.07 v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402
160.96/161.07 v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384
160.96/161.07 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366
160.96/161.07 v -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573
160.96/161.07 v -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555
160.96/161.07 v -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537
160.96/161.07 v -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519
160.96/161.07 v -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502
160.96/161.07 v -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
160.96/161.07 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x3479 -x3478 -x3477 -x3476 x3475
160.96/161.07 v -x3474 -x3473 -x3472 -x3471 x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456
160.96/161.07 v -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 x3438 -x3437
160.96/161.07 v x3436 -x3435 -x3434 -x3433 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418
160.96/161.07 v -x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3399 -x3398
160.96/161.07 v -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3608 x3607 -x3606 -x3605 -x3604
160.96/161.07 v -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585
160.96/161.07 v -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566
160.96/161.07 v -x3565 -x3564 -x3563 -x3562 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547
160.96/161.07 v -x3546 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3528 -x3527
160.96/161.07 v -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 -x3509
160.96/161.07 v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490
160.96/161.07 v -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425
160.96/161.07 v x6424 -x6423 -x6422 -x6421 -x6420 -x6418 x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406
160.96/161.07 v -x6405 -x6404 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 x6392 -x6391 -x6390 x6389 -x6388 -x6386
160.96/161.07 v -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6370 x6369 x6368 -x6367 -x6366
160.96/161.07 v -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348
160.96/161.07 v -x6347 -x6346 -x6570 -x6569 -x6568 -x6567 x6566 -x6565 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554
160.96/161.07 v -x6553 -x6552 x6551 -x6550 -x6549 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535
160.96/161.07 v -x6534 -x6533 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6515
160.96/161.07 v -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6499 -x6498 -x6497 -x6496
160.96/161.07 v x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477
160.96/161.07 v -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6467 -x6466 -x6465 -x6464 x6463 -x6462 -x6461 -x6460 -x6459 -x6458
160.96/161.07 v -x6457 -x6456 -x6455 -x6454 -x6453 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439
160.96/161.07 v -x6438 -x6437
160.96/161.07 c SCIP Status : problem is solved [optimal solution found]
160.96/161.07 c Solving Time : 160.94
160.96/161.07 c Original Problem :
160.96/161.07 c Problem name : HOME/instance-3744269-1338803917.opb
160.96/161.07 c Variables : 6810 (6810 binary, 0 integer, 0 implicit integer, 0 continuous)
160.96/161.07 c Constraints : 15202 initial, 15202 maximal
160.96/161.07 c Presolved Problem :
160.96/161.07 c Problem name : t_HOME/instance-3744269-1338803917.opb
160.96/161.07 c Variables : 5910 (5910 binary, 0 integer, 0 implicit integer, 0 continuous)
160.96/161.07 c Constraints : 14674 initial, 14677 maximal
160.96/161.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
160.96/161.07 c trivial : 0.00 0 0 0 0 0 0 0 0
160.96/161.07 c dualfix : 0.00 645 0 0 0 0 0 0 0
160.96/161.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
160.96/161.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
160.96/161.07 c implics : 0.00 0 0 0 0 0 0 0 0
160.96/161.07 c probing : 0.15 0 0 0 0 0 0 0 0
160.96/161.07 c knapsack : 0.52 0 0 0 0 0 0 0 0
160.96/161.07 c setppc : 0.02 0 0 0 0 0 0 0 0
160.96/161.07 c linear : 0.11 45 210 0 45 0 528 105 315
160.96/161.07 c logicor : 0.01 0 0 0 0 0 0 0 0
160.96/161.07 c root node : - 1549 - - 1549 - - - -
160.96/161.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
160.96/161.07 c integral : 0 0 0 1248 0 31 572 0 0 1978
160.96/161.07 c knapsack : 3090 14 11841 9 0 36 245278 60 0 0
160.96/161.07 c setppc : 8521 14 11805 9 0 22 101436 0 0 0
160.96/161.07 c linear : 3 14 11783 9 0 0 340 0 0 0
160.96/161.07 c logicor : 3060+ 14 7852 9 0 117 22115 0 0 0
160.96/161.07 c countsols : 0 0 0 9 0 0 0 0 0 0
160.96/161.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
160.96/161.07 c integral : 78.66 0.00 0.00 78.66 0.00
160.96/161.07 c knapsack : 1.92 0.07 1.85 0.00 0.00
160.96/161.07 c setppc : 0.63 0.01 0.62 0.00 0.00
160.96/161.07 c linear : 0.33 0.16 0.17 0.00 0.00
160.96/161.07 c logicor : 0.34 0.00 0.33 0.00 0.00
160.96/161.07 c countsols : 0.00 0.00 0.00 0.00 0.00
160.96/161.07 c Propagators : Time Calls Cutoffs DomReds
160.96/161.07 c vbounds : 0.01 2 0 0
160.96/161.07 c rootredcost : 0.03 15 0 305
160.96/161.07 c pseudoobj : 1.01 11638 1 11
160.96/161.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
160.96/161.07 c propagation : 0.00 175 175 326 12.5 7 11.3 -
160.96/161.07 c infeasible LP : 0.00 2 2 7 40.3 0 0.0 0
160.96/161.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
160.96/161.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
160.96/161.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
160.96/161.07 c applied globally : - - - 320 11.7 - - -
160.96/161.07 c applied locally : - - - 0 0.0 - - -
160.96/161.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
160.96/161.07 c cut pool : 0.02 13 - - 224 - (maximal pool size: 1693)
160.96/161.07 c redcost : 0.79 2523 0 111850 0 0
160.96/161.07 c impliedbounds : 0.01 14 0 0 16 0
160.96/161.07 c intobj : 0.00 0 0 0 0 0
160.96/161.07 c cgmip : 0.00 0 0 0 0 0
160.96/161.07 c gomory : 5.67 14 0 0 3565 0
160.96/161.07 c strongcg : 4.89 14 0 0 4584 0
160.96/161.07 c cmir : 1.09 10 0 0 18 0
160.96/161.07 c flowcover : 2.18 10 0 0 36 0
160.96/161.07 c clique : 0.62 14 0 0 8 0
160.96/161.07 c zerohalf : 0.00 0 0 0 0 0
160.96/161.07 c mcf : 0.01 1 0 0 0 0
160.96/161.07 c rapidlearning : 0.00 0 0 0 0 0
160.96/161.07 c Pricers : Time Calls Vars
160.96/161.07 c problem variables: 0.00 0 0
160.96/161.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
160.96/161.07 c relpscost : 78.66 1239 31 572 0 0 1978
160.96/161.07 c pscost : 0.00 0 0 0 0 0 0
160.96/161.07 c inference : 0.00 0 0 0 0 0 0
160.96/161.07 c mostinf : 0.00 0 0 0 0 0 0
160.96/161.07 c leastinf : 0.00 0 0 0 0 0 0
160.96/161.07 c fullstrong : 0.00 0 0 0 0 0 0
160.96/161.07 c allfullstrong : 0.00 0 0 0 0 0 0
160.96/161.07 c random : 0.00 0 0 0 0 0 0
160.96/161.07 c Primal Heuristics : Time Calls Found
160.96/161.07 c LP solutions : 0.01 - 9
160.96/161.07 c pseudo solutions : 0.00 - 0
160.96/161.07 c oneopt : 0.04 14 0
160.96/161.07 c feaspump : 0.74 1 0
160.96/161.07 c fracdiving : 0.07 3 0
160.96/161.07 c veclendiving : 0.08 3 0
160.96/161.07 c linesearchdiving : 0.14 3 0
160.96/161.07 c guideddiving : 0.08 3 0
160.96/161.07 c objpscostdiving : 0.28 2 1
160.96/161.07 c rootsoldiving : 0.44 2 2
160.96/161.07 c coefdiving : 0.16 4 0
160.96/161.07 c pscostdiving : 0.15 4 0
160.96/161.07 c crossover : 0.43 4 1
160.96/161.07 c trivial : 0.00 2 0
160.96/161.07 c simplerounding : 0.01 0 0
160.96/161.07 c zirounding : 0.60 1000 0
160.96/161.07 c rounding : 1.01 1732 5
160.96/161.07 c shifting : 0.20 164 6
160.96/161.07 c intshifting : 0.00 0 0
160.96/161.07 c twoopt : 0.00 0 0
160.96/161.07 c fixandinfer : 0.00 0 0
160.96/161.07 c intdiving : 0.00 0 0
160.96/161.07 c actconsdiving : 0.00 0 0
160.96/161.07 c octane : 0.00 0 0
160.96/161.07 c rens : 0.11 1 0
160.96/161.07 c rins : 0.00 0 0
160.96/161.07 c localbranching : 0.00 0 0
160.96/161.07 c mutation : 0.00 0 0
160.96/161.07 c dins : 0.00 0 0
160.96/161.07 c undercover : 0.00 0 0
160.96/161.07 c nlp : 0.00 0 0
160.96/161.07 c trysol : 0.00 0 0
160.96/161.07 c LP : Time Calls Iterations Iter/call Iter/sec
160.96/161.07 c primal LP : 0.00 0 0 0.00 -
160.96/161.07 c dual LP : 46.66 2445 64928 26.56 1391.58
160.96/161.07 c lex dual LP : 0.00 0 0 0.00 -
160.96/161.07 c barrier LP : 0.00 0 0 0.00 -
160.96/161.07 c diving/probing LP: 1.88 90 2932 32.58 1560.63
160.96/161.07 c strong branching : 78.60 1425 136206 95.58 1732.80
160.96/161.07 c (at root node) : - 21 6288 299.43 -
160.96/161.07 c conflict analysis: 0.00 0 0 0.00 -
160.96/161.07 c B&B Tree :
160.96/161.07 c number of runs : 1
160.96/161.07 c nodes : 1907
160.96/161.07 c nodes (total) : 1907
160.96/161.07 c nodes left : 0
160.96/161.07 c max depth : 45
160.96/161.07 c max depth (total): 45
160.96/161.07 c backtracks : 309 (16.2%)
160.96/161.07 c delayed cutoffs : 4
160.96/161.07 c repropagations : 1651 (5960 domain reductions, 0 cutoffs)
160.96/161.07 c avg switch length: 5.21
160.96/161.07 c switching time : 2.35
160.96/161.07 c Solution :
160.96/161.07 c Solutions found : 24 (15 improvements)
160.96/161.07 c First Solution : +8.63841760000000e+07 (in run 1, after 9 nodes, 39.07 seconds, depth 8, found by <rounding>)
160.96/161.07 c Primal Bound : +6.92531000000000e+06 (in run 1, after 1808 nodes, 155.38 seconds, depth 8, found by <relaxation>)
160.96/161.07 c Dual Bound : +6.92531000000000e+06
160.96/161.07 c Gap : 0.00 %
160.96/161.07 c Root Dual Bound : +6.42171520499418e+06
160.96/161.07 c Root Iterations : 3212
161.06/161.13 c Time complete: 161.11.
OK 6925310
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-3744269-1338803917/watcher-3744269-1338803917 -o /tmp/evaluation-result-3744269-1338803917/solver-3744269-1338803917 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744269-1338803917.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.12 2.08 2.01 3/178 14147 /proc/meminfo: memFree=26941884/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=7916 CPUtime=0 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 1241 0 0 0 0 0 0 0 20 0 1 0 346517090 8105984 1188 33554432000 4194304 8395647 140737320779168 140737352721064 7385025 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 1979 1188 370 1026 0 949 0 [startup+0.065301 s] /proc/loadavg: 2.12 2.08 2.01 3/178 14147 /proc/meminfo: memFree=26941884/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=18480 CPUtime=0.05 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 3890 0 0 0 5 0 0 0 20 0 1 0 346517090 18923520 3836 33554432000 4194304 8395647 140737320779168 140737352721064 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 4620 3836 393 1026 0 3590 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18480 [startup+0.100344 s] /proc/loadavg: 2.12 2.08 2.01 3/178 14147 /proc/meminfo: memFree=26941884/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=20904 CPUtime=0.09 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 4481 0 0 0 9 0 0 0 20 0 1 0 346517090 21405696 4427 33554432000 4194304 8395647 140737320779168 140737352721064 4245985 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 5226 4427 393 1026 0 4196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20904 [startup+0.300295 s] /proc/loadavg: 2.12 2.08 2.01 3/178 14147 /proc/meminfo: memFree=26941884/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=53028 CPUtime=0.29 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 12621 0 0 0 27 2 0 0 20 0 1 0 346517090 54300672 12211 33554432000 4194304 8395647 140737320779168 140737352721064 4742814 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 13257 12211 496 1026 0 12227 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53028 [startup+0.700319 s] /proc/loadavg: 2.12 2.08 2.01 3/178 14147 /proc/meminfo: memFree=26941884/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=95704 CPUtime=0.69 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 23292 0 0 0 65 4 0 0 20 0 1 0 346517090 98000896 22882 33554432000 4194304 8395647 140737320779168 140737352721064 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 23926 22882 496 1026 0 22896 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 95704 [startup+1.5003 s] /proc/loadavg: 2.12 2.08 2.01 3/179 14148 /proc/meminfo: memFree=26843776/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=121412 CPUtime=1.49 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 29549 0 0 0 143 6 0 0 20 0 1 0 346517090 124325888 28738 33554432000 4194304 8395647 140737320779168 140737320776184 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 30353 28738 589 1026 0 29323 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 121412 [startup+3.10031 s] /proc/loadavg: 2.11 2.08 2.01 3/179 14148 /proc/meminfo: memFree=26827160/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=127044 CPUtime=3.08 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 31179 0 0 0 302 6 0 0 20 0 1 0 346517090 130093056 30249 33554432000 4194304 8395647 140737320779168 140737320774456 6013880 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 31761 30249 625 1026 0 30731 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 127044 [startup+6.3003 s] /proc/loadavg: 2.11 2.08 2.01 3/179 14148 /proc/meminfo: memFree=26808808/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=141260 CPUtime=6.29 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 34862 0 0 0 620 9 0 0 20 0 1 0 346517090 144650240 33882 33554432000 4194304 8395647 140737320779168 140737320774408 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 35315 33882 625 1026 0 34285 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 141260 [startup+12.7002 s] /proc/loadavg: 2.10 2.08 2.01 3/179 14148 /proc/meminfo: memFree=26797284/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=151796 CPUtime=12.68 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 37289 0 0 0 1253 15 0 0 20 0 1 0 346517090 155439104 36309 33554432000 4194304 8395647 140737320779168 140737320773784 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 37949 36309 625 1026 0 36919 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 151796 [startup+25.5003 s] /proc/loadavg: 2.15 2.09 2.02 3/179 14148 /proc/meminfo: memFree=26791960/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=154688 CPUtime=25.48 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 45988 0 0 0 2524 24 0 0 20 0 1 0 346517090 158400512 37413 33554432000 4194304 8395647 140737320779168 140737320774040 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 38672 37413 638 1026 0 37642 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 154688 [startup+51.1003 s] /proc/loadavg: 2.10 2.08 2.01 3/179 14148 /proc/meminfo: memFree=26790660/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=155604 CPUtime=51.08 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 46069 0 0 0 5071 37 0 0 20 0 1 0 346517090 159338496 37494 33554432000 4194304 8395647 140737320779168 140737320774040 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 38901 37494 642 1026 0 37871 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 155604 [startup+102.308 s] /proc/loadavg: 2.07 2.08 2.01 3/180 14151 /proc/meminfo: memFree=26772980/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=168324 CPUtime=102.28 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 56556 0 0 0 10169 59 0 0 20 0 1 0 346517090 172363776 40669 33554432000 4194304 8395647 140737320779168 140737320773976 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 42081 40669 643 1026 0 41051 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 168324 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 2.05 2.07 2.01 3/179 14151 /proc/meminfo: memFree=26763564/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=176856 CPUtime=127.87 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 74903 0 0 0 12717 70 0 0 20 0 1 0 346517090 181100544 42632 33554432000 4194304 8395647 140737320779168 140737320774728 6615891 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 44214 42632 643 1026 0 43184 0 Current children cumulated CPU time (s) 127.87 Current children cumulated vsize (KiB) 176856 [startup+140.7 s] /proc/loadavg: 2.04 2.07 2.01 3/180 14152 /proc/meminfo: memFree=26759464/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=180240 CPUtime=140.67 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 75915 0 0 0 13994 73 0 0 20 0 1 0 346517090 184565760 43641 33554432000 4194304 8395647 140737320779168 140737320774296 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 45060 43641 644 1026 0 44030 0 Current children cumulated CPU time (s) 140.67 Current children cumulated vsize (KiB) 180240 [startup+153.5 s] /proc/loadavg: 2.03 2.06 2.01 3/180 14175 /proc/meminfo: memFree=26755572/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=184036 CPUtime=153.46 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 85245 0 0 0 15268 78 0 0 20 0 1 0 346517090 188452864 44508 33554432000 4194304 8395647 140737320779168 140737320774520 4912686 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 46009 44508 644 1026 0 44979 0 Current children cumulated CPU time (s) 153.46 Current children cumulated vsize (KiB) 184036 [startup+156.7 s] /proc/loadavg: 2.03 2.06 2.01 3/180 14175 /proc/meminfo: memFree=26754876/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=185224 CPUtime=156.66 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 85533 0 0 0 15587 79 0 0 20 0 1 0 346517090 189669376 44796 33554432000 4194304 8395647 140737320779168 140737320774776 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 46306 44796 644 1026 0 45276 0 Current children cumulated CPU time (s) 156.66 Current children cumulated vsize (KiB) 185224 [startup+158.3 s] /proc/loadavg: 2.03 2.06 2.01 3/180 14175 /proc/meminfo: memFree=26753388/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=185860 CPUtime=158.27 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 85710 0 0 0 15747 80 0 0 20 0 1 0 346517090 190320640 44973 33554432000 4194304 8395647 140737320779168 140737320773976 6119639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 46465 44973 644 1026 0 45435 0 Current children cumulated CPU time (s) 158.27 Current children cumulated vsize (KiB) 185860 [startup+159.9 s] /proc/loadavg: 2.03 2.06 2.01 3/180 14175 /proc/meminfo: memFree=26753140/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=185860 CPUtime=159.86 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 85724 0 0 0 15906 80 0 0 20 0 1 0 346517090 190320640 44987 33554432000 4194304 8395647 140737320779168 140737320774040 6594368 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 46465 44987 644 1026 0 45435 0 Current children cumulated CPU time (s) 159.86 Current children cumulated vsize (KiB) 185860 [startup+160.7 s] /proc/loadavg: 2.03 2.06 2.01 3/180 14175 /proc/meminfo: memFree=26753016/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=185860 CPUtime=160.66 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 85752 0 0 0 15986 80 0 0 20 0 1 0 346517090 190320640 45015 33554432000 4194304 8395647 140737320779168 140737320774040 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 46465 45015 644 1026 0 45435 0 Current children cumulated CPU time (s) 160.66 Current children cumulated vsize (KiB) 185860 [startup+161.1 s] /proc/loadavg: 2.03 2.06 2.01 3/180 14175 /proc/meminfo: memFree=26753016/32873844 swapFree=7124/7124 [pid=14147] ppid=14145 vsize=182588 CPUtime=161.06 cores=1,3,5,7 /proc/14147/stat : 14147 (pbscip.linux.x8) R 14145 14147 12290 0 -1 4202496 85770 0 0 0 16026 80 0 0 20 0 1 0 346517090 186970112 44285 33554432000 4194304 8395647 140737320779168 140737320774776 6068819 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/14147/statm: 45647 44285 646 1026 0 44617 0 Current children cumulated CPU time (s) 161.06 Current children cumulated vsize (KiB) 182588 Child status: 0 Real time (s): 161.14 CPU time (s): 161.113 CPU user time (s): 160.292 CPU system time (s): 0.821875 CPU usage (%): 99.9834 Max. virtual memory (cumulated for all children) (KiB): 213456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 160.292 system time used= 0.821875 maximum resident set size= 208168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85773 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= 3 involuntary context switches= 184 runsolver used 0.274958 second user time and 0.756884 second system time The end
Begin job on node134 at 2012-06-04 11:58:37 IDJOB=3744269 IDBENCH=92716 IDSOLVER=2326 FILE ID=node134/3744269-1338803917 RUNJOBID= node134-1338773738-12307 PBS_JOBID= 14636824 Free space on /tmp= 70348 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/Multihop/normalized-minisat15_5_3_9_mh.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-3744269-1338803917/watcher-3744269-1338803917 -o /tmp/evaluation-result-3744269-1338803917/solver-3744269-1338803917 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744269-1338803917.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dceb2101253472cec95359fbc82f66a4 RANDOM SEED=38718656 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: 26942264 kB Buffers: 512700 kB Cached: 3510372 kB SwapCached: 76 kB Active: 2813380 kB Inactive: 2213432 kB Active(anon): 995212 kB Inactive(anon): 10496 kB Active(file): 1818168 kB Inactive(file): 2202936 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67107756 kB Dirty: 10804 kB Writeback: 0 kB AnonPages: 1010028 kB Mapped: 13676 kB Shmem: 96 kB Slab: 763416 kB SReclaimable: 205016 kB SUnreclaim: 558400 kB KernelStack: 1464 kB PageTables: 5648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1122328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 944128 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 12:01:18