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