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