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