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