Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 20324 | 637.624 | 639.717 |
| Name | PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-24-2_c24.opb |
| MD5SUM | 7a0e4e925858bc3ae1a84eaa7212c221 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20324 |
| Best CPU time to get the best result obtained on this benchmark | 12.9773 |
| 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 | 11443 |
| Total number of constraints | 12271 |
| Number of constraints which are clauses | 5200 |
| Number of constraints which are cardinality constraints (but not clauses) | 870 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6201 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 858 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 68825 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 68825 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4524078-1751601825.opb>
0.00/0.11 c original problem has 11443 variables (11443 bin, 0 int, 0 impl, 0 cont) and 12271 constraints
0.00/0.11 c problem read in 0.09
0.09/0.19 c presolving:
0.21/0.26 c (round 1, fast) 4735 del vars, 4372 del conss, 0 add conss, 0 chg bounds, 363 chg sides, 363 chg coeffs, 0 upgd conss, 0 impls, 2304 clqs
0.21/0.30 c (0.3s) running MILP presolver
0.30/0.36 c (0.3s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.41/0.44 c (round 2, exhaustive) 4735 del vars, 4807 del conss, 0 add conss, 0 chg bounds, 726 chg sides, 363 chg coeffs, 0 upgd conss, 0 impls, 2304 clqs
0.41/0.48 c (round 3, exhaustive) 4735 del vars, 4807 del conss, 0 add conss, 0 chg bounds, 726 chg sides, 363 chg coeffs, 6900 upgd conss, 0 impls, 2304 clqs
0.51/0.61 c (round 4, medium) 4735 del vars, 10282 del conss, 16668 add conss, 0 chg bounds, 726 chg sides, 363 chg coeffs, 6900 upgd conss, 0 impls, 17973 clqs
0.59/0.67 c (round 5, exhaustive) 4735 del vars, 10282 del conss, 16668 add conss, 0 chg bounds, 726 chg sides, 363 chg coeffs, 7464 upgd conss, 0 impls, 17973 clqs
0.88/0.95 c (0.9s) probing: 51/6708 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.88/0.95 c (0.9s) probing aborted: 50/50 successive totally useless probings
1.00/1.07 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.00/1.10 c (1.1s) no symmetry present (symcode time: 0.01)
1.09/1.12 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1.09/1.12 c 4735 deleted vars, 10282 deleted constraints, 16668 added constraints, 0 tightened bounds, 0 added holes, 726 changed sides, 363 changed coefficients
1.09/1.12 c 0 implications, 17973 cliques
1.09/1.12 c presolved problem has 6708 variables (6708 bin, 0 int, 0 impl, 0 cont) and 18657 constraints
1.09/1.12 c 17610 constraints of type <setppc>
1.09/1.12 c 1047 constraints of type <logicor>
1.09/1.12 c transformed objective value is always integral (scale: 1)
1.09/1.12 c Presolving Time: 0.94
1.09/1.12 c - non default parameters ----------------------------------------------------------------------
1.09/1.12 c # SCIP version 10.0.0
1.09/1.12 c
1.09/1.12 c # maximal time in seconds to run
1.09/1.12 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.12 c limits/time = 3596.993225
1.09/1.12 c
1.09/1.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.12 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.12 c limits/memory = 27900
1.09/1.12 c
1.09/1.12 c # belongs reading time to solving time?
1.09/1.12 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.12 c timing/reading = TRUE
1.09/1.12 c
1.09/1.12 c -----------------------------------------------------------------------------------------------
1.09/1.12 c start solving
1.09/1.12 c
3.47/3.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.47/3.59 c 3.6s| 1 | 0 | 12555 | - | 124M | 0 |6708 | 18k| 18k| 0 | 0 | 79 | 0 | 1.790272e+04 | -- | Inf | unknown
10.25/10.34 c 10.3s| 1 | 0 | 33338 | - | 130M | 0 |6708 | 18k| 18k| 31 | 1 | 81 | 0 | 1.805755e+04 | -- | Inf | unknown
10.96/11.05 c 11.0s| 1 | 0 | 35229 | - | 136M | 0 |6708 | 18k| 18k| 52 | 2 | 83 | 0 | 1.811655e+04 | -- | Inf | unknown
11.44/11.56 c 11.5s| 1 | 0 | 36311 | - | 141M | 0 |6708 | 18k| 18k| 70 | 3 | 85 | 0 | 1.815160e+04 | -- | Inf | unknown
11.95/12.09 c 12.1s| 1 | 0 | 37272 | - | 147M | 0 |6708 | 18k| 18k| 82 | 4 | 86 | 0 | 1.816749e+04 | -- | Inf | unknown
12.64/12.71 c 12.7s| 1 | 0 | 38055 | - | 155M | 0 |6708 | 18k| 18k| 92 | 5 | 91 | 0 | 1.817668e+04 | -- | Inf | unknown
13.44/13.51 c 13.5s| 1 | 0 | 39033 | - | 164M | 0 |6708 | 18k| 18k| 96 | 6 | 94 | 0 | 1.819325e+04 | -- | Inf | unknown
14.63/14.73 c 14.7s| 1 | 0 | 41173 | - | 173M | 0 |6708 | 18k| 18k| 105 | 7 | 99 | 0 | 1.821772e+04 | -- | Inf | unknown
15.43/15.50 c 15.5s| 1 | 0 | 41835 | - | 186M | 0 |6708 | 18k| 18k| 113 | 8 | 102 | 0 | 1.822357e+04 | -- | Inf | unknown
16.32/16.40 c 16.4s| 1 | 0 | 42834 | - | 198M | 0 |6708 | 18k| 18k| 122 | 9 | 103 | 0 | 1.822799e+04 | -- | Inf | unknown
17.43/17.55 c 17.5s| 1 | 0 | 44339 | - | 209M | 0 |6708 | 18k| 18k| 130 | 10 | 107 | 0 | 1.824209e+04 | -- | Inf | unknown
17.94/18.09 c 18.1s| 1 | 0 | 45285 | - | 211M | 0 |6708 | 18k| 18k| 141 | 11 | 108 | 0 | 1.825421e+04 | -- | Inf | unknown
18.42/18.57 c 18.6s| 1 | 0 | 46155 | - | 215M | 0 |6708 | 18k| 18k| 150 | 12 | 112 | 0 | 1.826341e+04 | -- | Inf | unknown
18.93/19.09 c 19.1s| 1 | 0 | 47124 | - | 217M | 0 |6708 | 18k| 18k| 160 | 13 | 115 | 0 | 1.827148e+04 | -- | Inf | unknown
19.42/19.57 c 19.6s| 1 | 0 | 48027 | - | 219M | 0 |6708 | 18k| 18k| 169 | 14 | 118 | 0 | 1.827586e+04 | -- | Inf | unknown
20.12/20.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.12/20.23 c 20.2s| 1 | 0 | 49455 | - | 221M | 0 |6708 | 18k| 18k| 186 | 15 | 122 | 0 | 1.828304e+04 | -- | Inf | unknown
20.81/21.00 c 21.0s| 1 | 0 | 51273 | - | 223M | 0 |6708 | 18k| 18k| 190 | 16 | 125 | 0 | 1.829538e+04 | -- | Inf | unknown
21.51/21.61 c 21.6s| 1 | 0 | 52517 | - | 225M | 0 |6708 | 18k| 18k| 200 | 17 | 135 | 0 | 1.830360e+04 | -- | Inf | unknown
22.02/22.16 c 22.1s| 1 | 0 | 53588 | - | 227M | 0 |6708 | 18k| 18k| 214 | 18 | 137 | 0 | 1.830926e+04 | -- | Inf | unknown
22.92/23.07 c 23.1s| 1 | 0 | 55646 | - | 229M | 0 |6708 | 18k| 18k| 225 | 19 | 140 | 0 | 1.833105e+04 | -- | Inf | unknown
23.50/23.69 c 23.7s| 1 | 0 | 56896 | - | 231M | 0 |6708 | 18k| 18k| 229 | 20 | 145 | 0 | 1.833778e+04 | -- | Inf | unknown
23.80/23.91 c 23.9s| 1 | 0 | 57011 | - | 231M | 0 |6708 | 18k| 18k| 231 | 21 | 150 | 0 | 1.833783e+04 | -- | Inf | unknown
39.87/40.04 c 40.0s| 1 | 2 | 83930 | - | 232M | 0 |6708 | 18k| 18k| 231 | 22 | 169 | 20 | 1.835126e+04 | -- | Inf | unknown
122.31/122.73 c 123s| 100 | 54 |230565 |1753.1 | 282M | 30 |6708 | 19k| 0 | 713 | 0 | 518 | 335 | 1.854941e+04 | -- | Inf | 4.49%
138.36/138.82 c 139s| 200 | 52 |280604 |1123.6 | 288M | 40 |6708 | 19k| 18k| 775 | 1 | 729 | 367 | 1.871662e+04 | -- | Inf | 4.49%
143.14/143.61 o 21274
143.14/143.61 c * 144s| 241 | 55 |302133 |1021.3 | LP | 40 |6708 | 19k| 18k|1008 | 1 | 809 | 367 | 1.871662e+04 | 2.127400e+04 | 13.66%| 4.97%
150.82/151.31 c 151s| 300 | 59 |330488 | 914.6 | 316M | 40 |6708 | 19k| 18k|1122 | 0 | 911 | 386 | 1.879709e+04 | 2.127400e+04 | 13.18%| 2.94%
165.07/165.69 o 20353
165.07/165.69 c * 166s| 349 | 57 |385739 | 944.6 | LP | 40 |6708 | 19k| 18k|1470 | 1 |1080 | 437 | 1.890192e+04 | 2.035300e+04 | 7.68%| 14.13%
174.04/174.60 o 20324
174.04/174.61 c * 175s| 383 | 53 |415038 | 937.2 | LP | 40 |6708 | 19k| 18k|1635 | 2 |1174 | 468 | 1.895851e+04 | 2.032400e+04 | 7.20%| 25.33%
179.82/180.40 c 180s| 400 | 51 |431883 | 939.5 | 357M | 40 |6708 | 19k| 0 |1842 | 0 |1237 | 494 | 1.895851e+04 | 2.032400e+04 | 7.20%| 26.57%
204.35/205.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
204.35/205.05 c 205s| 500 | 74 |520633 | 929.1 | 378M | 40 |6708 | 19k| 18k|2327 | 1 |1481 | 552 | 1.901917e+04 | 2.032400e+04 | 6.86%| 45.96%
231.25/232.07 c 232s| 600 | 88 |613711 | 929.4 | 422M | 40 |6708 | 19k| 18k|3404 | 2 |1685 | 645 | 1.908105e+04 | 2.032400e+04 | 6.51%| 58.25%
269.52/270.43 c 270s| 700 | 98 |744849 | 984.0 | 451M | 40 |6708 | 19k| 18k|5105 | 0 |1870 | 758 | 1.912561e+04 | 2.032400e+04 | 6.27%| 66.88%
318.99/320.09 c 320s| 800 | 94 |900681 |1055.9 | 523M | 40 |6708 | 20k| 18k|8263 | 1 |2147 | 919 | 1.922074e+04 | 2.032400e+04 | 5.74%| 77.28%
371.93/373.17 c 373s| 900 | 80 | 1059k|1114.9 | 594M | 40 |6708 | 20k| 19k| 11k| 3 |2331 |1123 | 1.923039e+04 | 2.032400e+04 | 5.69%| 83.80%
416.35/417.76 c 418s| 1000 | 80 | 1195k|1139.3 | 628M | 40 |6708 | 20k| 18k| 14k| 0 |2547 |1274 | 1.932243e+04 | 2.032400e+04 | 5.18%| 87.49%
483.72/485.37 c 485s| 1100 | 69 | 1351k|1177.7 | 708M | 40 |6708 | 20k| 19k| 17k| 6 |2645 |1381 | 1.939712e+04 | 2.032400e+04 | 4.78%| 91.01%
520.89/522.64 c 523s| 1200 | 69 | 1461k|1171.1 | 734M | 40 |6708 | 20k| 19k| 19k| 2 |2782 |1511 | 1.945743e+04 | 2.032400e+04 | 4.45%| 94.11%
557.87/559.70 c 560s| 1300 | 54 | 1543k|1144.7 | 747M | 40 |6708 | 20k| 19k| 19k| 2 |2872 |1577 | 1.950755e+04 | 2.032400e+04 | 4.19%| 96.13%
616.87/618.92 c 619s| 1400 | 17 | 1654k|1141.6 | 758M | 40 |6708 | 20k| 19k| 20k| 0 |2940 |1654 | 1.974352e+04 | 2.032400e+04 | 2.94%| 98.55%
637.30/639.42 c
637.30/639.42 c SCIP Status : problem is solved [optimal solution found]
637.30/639.42 c Solving Time (sec) : 639.40
637.30/639.42 c Solving Nodes : 1435
637.30/639.42 c Primal Bound : +2.03240000000000e+04 (3 solutions)
637.30/639.42 c Dual Bound : +2.03240000000000e+04
637.30/639.42 c Gap : 0.00 %
637.30/639.42 s OPTIMUM FOUND
637.30/639.43 v -x11443 -x11442 -x11441 -x11440 -x11439 -x11438 -x11437 x11436 x11435 x11434 x11433 x11432 x11431 x11430 x11429 -x11428 x11427
637.30/639.43 v x11426 -x11425 -x11424 -x11423 -x11422 -x11421 x11420 -x11419 -x11418 -x11417 -x11416 -x11415 -x11414 x11413 x11412 x11411 x11410
637.30/639.43 v x11409 x11408 x11407 x11406 -x11405 -x11404 x11403 -x11402 -x11401 -x11400 -x11399 -x11398 x11397 x11396 -x11395 -x11394
637.30/639.43 v -x11393 -x11392 -x11391 x11390 x11389 -x11388 x11387 x11386 x11385 x11384 x11383 -x11382 -x11381 -x11380 -x11379 -x11378 -x11377
637.30/639.43 v -x11376 -x11375 x11374 x11373 x11372 -x11371 -x11370 -x11369 -x11368 x11367 x11366 -x11365 -x11364 x11363 x11362 x11361
637.30/639.43 v x11360 -x11359 -x11358 -x11357 -x11356 -x11355 -x11354 -x11353 -x11352 x11351 x11350 x11349 x11348 -x11347 -x11346 -x11345 x11344
637.30/639.43 v x11343 -x11342 -x11341 -x11340 x11339 x11338 x11337 -x11336 -x11335 -x11334 -x11333 -x11332 -x11331 -x11330 -x11329 x11328
637.30/639.43 v x11327 x11326 x11325 x11324 -x11323 -x11322 x11321 x11320 -x11319 -x11318 -x11317 -x11316 x11315 x11314 -x11313 -x11312 -x11311
637.30/639.43 v -x11310 -x11309 -x11308 -x11307 -x11306 x11305 x11304 x11303 x11302 x11301 x11300 -x11299 x11298 x11297 -x11296 -x11295
637.30/639.43 v -x11294 -x11293 -x11292 x11291 -x11290 -x11289 -x11288 -x11287 -x11286 -x11285 -x11284 -x11283 x11282 x11281 x11280 x11279 x11278
637.30/639.43 v x11277 x11276 x11275 x11274 -x11273 -x11272 -x11271 -x11270 -x11269 x11268 -x11267 -x11266 -x11265 -x11264 -x11263 -x11262
637.30/639.43 v -x11261 x11260 x11259 x11258 x11257 x11256 x11255 x11254 x11253 -x11252 x11251 -x11250 -x11249 -x11248 -x11247 -x11246 x11245
637.30/639.43 v x11244 -x11243 -x11242 -x11241 -x11240 -x11239 -x11238 x11237 x11236 x11235 x11234 x11233 x11232 x11231 x11230 -x11229 -x11228
637.30/639.43 v -x11227 -x11226 -x11225 -x11224 -x11223 x11222 x11221 x11220 -x11219 -x11218 -x11217 -x11216 -x11215 x11214 x11213 -x11212
637.30/639.43 v x11211 x11210 x11209 x11208 x11207 -x11206 -x11205 -x11204 -x11203 -x11202 -x11201 -x11200 x11199 x11198 x11197 x11196 -x11195
637.30/639.43 v -x11194 -x11193 -x11192 x11191 x11190 -x11189 -x11188 x11187 x11186 x11185 x11184 -x11183 -x11182 -x11181 -x11180 -x11179
637.30/639.43 v -x11178 -x11177 x11176 x11175 x11174 x11173 x11172 -x11171 -x11170 -x11169 x11168 x11167 -x11166 -x11165 -x11164 x11163 x11162
637.30/639.43 v x11161 -x11160 -x11159 -x11158 -x11157 -x11156 -x11155 -x11154 x11153 x11152 x11151 x11150 x11149 x11148 -x11147 -x11146
637.30/639.43 v x11145 x11144 -x11143 -x11142 -x11141 -x11140 x11139 x11138 -x11137 -x11136 -x11135 -x11134 -x11133 -x11132 -x11131 x11130
637.30/639.43 v x11129 x11128 x11127 x11126 x11125 x11124 -x11123 x11122 x11121 -x11120 -x11119 -x11118 -x11117 -x11116 x11115 -x11114 -x11113
637.30/639.43 v -x11112 -x11111 -x11110 -x11109 -x11108 x11107 x11106 x11105 x11104 x11103 x11102 x11101 -x11100 x11099 x11098 -x11097 -x11096
637.30/639.43 v -x11095 -x11094 -x11093 x11092 -x11091 -x11090 -x11089 -x11088 -x11087 -x11086 -x11085 x11084 x11083 x11082 x11081 x11080
637.30/639.43 v x11079 x11078 -x11077 -x11076 x11075 -x11074 -x11073 -x11072 -x11071 -x11070 x11069 x11068 -x11067 -x11066 -x11065 -x11064 -x11063
637.30/639.43 v -x11062 x11061 x11060 x11059 x11058 x11057 x11056 x11055 -x11054 -x11053 -x11052 -x11051 -x11050 -x11049 -x11048 -x11047
637.30/639.43 v x11046 x11045 x11044 -x11043 -x11042 -x11041 -x11040 -x11039 x11038 x11037 -x11036 x11035 x11034 x11033 x11032 -x11031 -x11030
637.30/639.43 v -x11029 -x11028 -x11027 -x11026 -x11025 -x11024 x11023 x11022 x11021 x11020 -x11019 -x11018 -x11017 -x11016 x11015 x11014
637.30/639.43 v -x11013 -x11012 x11011 x11010 x11009 -x11008 -x11007 -x11006 -x11005 -x11004 -x11003 -x11002 -x11001 x11000 x10999 x10998 x10997
637.30/639.43 v x10996 -x10995 -x10994 -x10993 x10992 x10991 -x10990 -x10989 -x10988 x10987 x10986 -x10985 -x10984 -x10983 -x10982 -x10981
637.30/639.43 v -x10980 -x10979 -x10978 x10977 x10976 x10975 x10974 x10973 x10972 -x10971 -x10970 x10969 x10968 -x10967 -x10966 -x10965 -x10964
637.30/639.43 v x10963 -x10962 -x10961 -x10960 -x10959 -x10958 -x10957 -x10956 -x10955 x10954 x10953 x10952 x10951 x10950 x10949 x10948
637.30/639.43 v -x10947 x10946 x10945 -x10944 -x10943 -x10942 -x10941 -x10940 -x10939 -x10938 -x10937 -x10936 -x10935 -x10934 -x10933 x10932
637.30/639.43 v x10931 x10930 x10929 x10928 x10927 x10926 x10925 -x10924 x10923 x10922 -x10921 -x10920 -x10919 -x10918 -x10917 x10916 -x10915
637.30/639.43 v -x10914 -x10913 -x10912 -x10911 -x10910 x10909 x10908 x10907 x10906 x10905 x10904 x10903 x10902 -x10901 -x10900 x10899 -x10898
637.30/639.43 v -x10897 -x10896 -x10895 -x10894 x10893 x10892 -x10891 -x10890 -x10889 -x10888 -x10887 x10886 x10885 -x10884 x10883 x10882
637.30/639.43 v x10881 x10880 x10879 -x10878 -x10877 -x10876 -x10875 -x10874 -x10873 -x10872 -x10871 x10870 x10869 x10868 -x10867 -x10866 -x10865
637.30/639.43 v -x10864 x10863 x10862 -x10861 -x10860 x10859 x10858 x10857 x10856 -x10855 -x10854 -x10853 -x10852 -x10851 -x10850 -x10849
637.30/639.43 v -x10848 x10847 x10846 x10845 x10844 -x10843 -x10842 -x10841 x10840 x10839 -x10838 -x10837 -x10836 x10835 x10834 x10833 -x10832
637.30/639.43 v -x10831 -x10830 -x10829 -x10828 -x10827 -x10826 -x10825 x10824 x10823 x10822 x10821 x10820 -x10819 -x10818 x10817 x10816
637.30/639.43 v -x10815 -x10814 -x10813 -x10812 x10811 x10810 -x10809 -x10808 -x10807 -x10806 -x10805 -x10804 -x10803 -x10802 x10801 x10800
637.30/639.43 v x10799 x10798 x10797 x10796 -x10795 x10794 x10793 -x10792 -x10791 -x10790 -x10789 -x10788 x10787 -x10786 -x10785 -x10784 -x10783
637.30/639.43 v -x10782 -x10781 -x10780 -x10779 x10778 x10777 x10776 x10775 x10774 x10773 x10772 x10771 x10770 -x10769 -x10768 -x10767 -x10766
637.30/639.43 v -x10765 x10764 -x10763 -x10762 -x10761 -x10760 -x10759 -x10758 -x10757 x10756 x10755 x10754 x10753 x10752 x10751 x10750
637.30/639.43 v x10749 -x10748 x10747 -x10746 -x10745 -x10744 -x10743 -x10742 x10741 x10740 -x10739 -x10738 -x10737 -x10736 -x10735 -x10734
637.30/639.43 v x10733 x10732 x10731 x10730 x10729 x10728 x10727 x10726 -x10725 -x10724 -x10723 -x10722 -x10721 -x10720 -x10719 x10718 x10717
637.30/639.43 v x10716 -x10715 -x10714 -x10713 -x10712 -x10711 x10710 x10709 -x10708 x10707 x10706 x10705 x10704 x10703 -x10702 -x10701 -x10700
637.30/639.43 v -x10699 -x10698 -x10697 -x10696 x10695 x10694 x10693 x10692 -x10691 -x10690 -x10689 -x10688 x10687 x10686 -x10685 -x10684
637.30/639.43 v x10683 x10682 x10681 x10680 -x10679 -x10678 -x10677 -x10676 -x10675 -x10674 -x10673 x10672 x10671 x10670 x10669 x10668 -x10667
637.30/639.43 v -x10666 -x10665 x10664 x10663 -x10662 -x10661 -x10660 x10659 x10658 x10657 -x10656 -x10655 -x10654 -x10653 -x10652 -x10651
637.30/639.43 v -x10650 x10649 x10648 x10647 x10646 x10645 x10644 -x10643 -x10642 x10641 x10640 -x10639 -x10638 -x10637 -x10636 x10635 x10634
637.30/639.43 v -x10633 -x10632 -x10631 -x10630 -x10629 -x10628 -x10627 x10626 x10625 x10624 x10623 x10622 x10621 x10620 -x10619 x10618 x10617
637.30/639.43 v -x10616 -x10615 -x10614 -x10613 -x10612 x10611 -x10610 -x10609 -x10608 -x10607 -x10606 -x10605 -x10604 x10603 x10602 x10601
637.30/639.43 v x10600 x10599 x10598 x10597 -x10596 x10595 x10594 -x10593 -x10592 -x10591 -x10590 -x10589 x10588 -x10587 -x10586 -x10585
637.30/639.43 v -x10584 -x10583 -x10582 -x10581 x10580 x10579 x10578 x10577 x10576 x10575 x10574 -x10573 -x10572 x10571 -x10570 -x10569 -x10568
637.30/639.43 v -x10567 -x10566 x10565 x10564 -x10563 -x10562 -x10561 -x10560 -x10559 -x10558 x10557 x10556 x10555 x10554 x10553 x10552 x10551
637.30/639.43 v -x10550 -x10549 -x10548 -x10547 -x10546 -x10545 -x10544 -x10543 x10542 x10541 x10540 -x10539 -x10538 -x10537 -x10536 -x10535
637.30/639.43 v x10534 x10533 -x10532 x10531 x10530 x10529 x10528 -x10527 -x10526 -x10525 -x10524 -x10523 -x10522 -x10521 -x10520 x10519
637.30/639.43 v x10518 x10517 x10516 -x10515 -x10514 -x10513 -x10512 x10511 x10510 -x10509 -x10508 x10507 x10506 x10505 -x10504 -x10503 -x10502
637.30/639.43 v -x10501 -x10500 -x10499 -x10498 -x10497 x10496 x10495 x10494 x10493 x10492 -x10491 -x10490 -x10489 x10488 x10487 -x10486
637.30/639.43 v -x10485 -x10484 x10483 x10482 -x10481 -x10480 -x10479 -x10478 -x10477 -x10476 -x10475 -x10474 x10473 x10472 x10471 x10470 x10469
637.30/639.43 v x10468 -x10467 -x10466 x10465 x10464 -x10463 -x10462 -x10461 -x10460 x10459 -x10458 -x10457 -x10456 -x10455 -x10454 -x10453
637.30/639.43 v -x10452 -x10451 x10450 x10449 x10448 x10447 x10446 x10445 x10444 -x10443 x10442 x10441 -x10440 -x10439 -x10438 -x10437 -x10436
637.30/639.43 v -x10435 -x10434 -x10433 -x10432 -x10431 -x10430 -x10429 x10428 x10427 x10426 x10425 x10424 x10423 x10422 x10421 -x10420
637.30/639.43 v x10419 x10418 -x10417 -x10416 -x10415 -x10414 -x10413 x10412 -x10411 -x10410 -x10409 -x10408 -x10407 -x10406 x10405 x10404 x10403
637.30/639.43 v x10402 x10401 x10400 x10399 x10398 -x10397 -x10396 x10395 -x10394 -x10393 -x10392 -x10391 -x10390 x10389 x10388 -x10387
637.30/639.43 v -x10386 -x10385 -x10384 -x10383 x10382 x10381 -x10380 x10379 x10378 x10377 x10376 x10375 -x10374 -x10373 -x10372 -x10371 -x10370
637.30/639.43 v -x10369 -x10368 -x10367 x10366 x10365 x10364 -x10363 -x10362 -x10361 -x10360 x10359 x10358 -x10357 -x10356 x10355 x10354
637.30/639.43 v x10353 x10352 -x10351 -x10350 -x10349 -x10348 -x10347 -x10346 -x10345 -x10344 x10343 x10342 x10341 x10340 -x10339 -x10338 -x10337
637.30/639.43 v x10336 x10335 -x10334 -x10333 -x10332 x10331 x10330 x10329 -x10328 -x10327 -x10326 -x10325 -x10324 -x10323 -x10322 -x10321
637.30/639.43 v x10320 x10319 x10318 x10317 x10316 -x10315 -x10314 x10313 x10312 -x10311 -x10310 -x10309 -x10308 x10307 x10306 -x10305 -x10304
637.30/639.43 v -x10303 -x10302 -x10301 -x10300 -x10299 -x10298 x10297 x10296 x10295 x10294 x10293 x10292 -x10291 x10290 x10289 -x10288
637.30/639.43 v -x10287 -x10286 -x10285 -x10284 x10283 -x10282 -x10281 -x10280 -x10279 -x10278 -x10277 -x10276 -x10275 x10274 x10273 x10272 x10271
637.30/639.43 v x10270 x10269 x10268 x10267 x10266 -x10265 -x10264 -x10263 -x10262 -x10261 x10260 -x10259 -x10258 -x10257 -x10256 -x10255
637.30/639.43 v -x10254 -x10253 x10252 x10251 x10250 x10249 x10248 x10247 x10246 x10245 -x10244 x10243 -x10242 -x10241 -x10240 -x10239 -x10238
637.30/639.43 v x10237 x10236 -x10235 -x10234 -x10233 -x10232 -x10231 -x10230 x10229 x10228 x10227 x10226 x10225 x10224 x10223 x10222 -x10221
637.30/639.43 v -x10220 -x10219 -x10218 -x10217 -x10216 -x10215 x10214 x10213 x10212 -x10211 -x10210 -x10209 -x10208 -x10207 x10206 x10205
637.30/639.43 v -x10204 x10203 x10202 x10201 x10200 x10199 -x10198 -x10197 -x10196 -x10195 -x10194 -x10193 -x10192 x10191 x10190 x10189 x10188
637.30/639.43 v -x10187 -x10186 -x10185 -x10184 x10183 x10182 -x10181 -x10180 x10179 x10178 x10177 x10176 -x10175 -x10174 -x10173 -x10172
637.30/639.43 v -x10171 -x10170 -x10169 x10168 x10167 x10166 x10165 x10164 -x10163 -x10162 -x10161 x10160 x10159 -x10158 -x10157 -x10156 x10155
637.30/639.43 v x10154 x10153 -x10152 -x10151 -x10150 -x10149 -x10148 -x10147 -x10146 x10145 x10144 x10143 x10142 x10141 x10140 -x10139
637.30/639.43 v -x10138 x10137 x10136 -x10135 -x10134 -x10133 -x10132 x10131 x10130 -x10129 -x10128 -x10127 -x10126 -x10125 -x10124 -x10123
637.30/639.43 v x10122 x10121 x10120 x10119 x10118 x10117 x10116 -x10115 x10114 x10113 -x10112 -x10111 -x10110 -x10109 -x10108 x10107 -x10106
637.30/639.43 v -x10105 -x10104 -x10103 -x10102 -x10101 -x10100 x10099 x10098 x10097 x10096 x10095 x10094 x10093 -x10092 x10091 x10090 -x10089
637.30/639.43 v -x10088 -x10087 -x10086 -x10085 x10084 -x10083 -x10082 -x10081 -x10080 -x10079 -x10078 -x10077 x10076 x10075 x10074 x10073
637.30/639.43 v x10072 x10071 x10070 -x10069 -x10068 x10067 -x10066 -x10065 -x10064 -x10063 -x10062 x10061 x10060 -x10059 -x10058 -x10057 -x10056
637.30/639.43 v -x10055 -x10054 x10053 x10052 x10051 x10050 x10049 x10048 x10047 -x10046 -x10045 -x10044 -x10043 -x10042 -x10041 -x10040
637.30/639.43 v -x10039 x10038 x10037 x10036 -x10035 -x10034 -x10033 -x10032 -x10031 x10030 x10029 -x10028 x10027 x10026 x10025 x10024 -x10023
637.30/639.43 v -x10022 -x10021 -x10020 -x10019 -x10018 -x10017 -x10016 x10015 x10014 x10013 x10012 -x10011 -x10010 -x10009 -x10008 x10007
637.30/639.43 v x10006 -x10005 -x10004 x10003 x10002 x10001 -x10000 -x9999 -x9998 -x9997 -x9996 -x9995 -x9994 -x9993 x9992 x9991 x9990 x9989
637.30/639.43 v x9988 -x9987 -x9986 -x9985 x9984 x9983 -x9982 -x9981 -x9980 x9979 x9978 -x9977 -x9976 -x9975 -x9974 -x9973 -x9972 -x9971 -x9970
637.30/639.43 v x9969 x9968 x9967 x9966 x9965 x9964 -x9963 -x9962 x9961 x9960 -x9959 -x9958 -x9957 -x9956 x9955 -x9954 -x9953 -x9952 -x9951
637.30/639.43 v -x9950 -x9949 -x9948 -x9947 x9946 x9945 x9944 x9943 x9942 x9941 x9940 -x9939 x9938 x9937 -x9936 -x9935 -x9934 -x9933 -x9932
637.30/639.43 v -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 x9924 x9923 x9922 x9921 x9920 x9919 x9918 x9917 -x9916 x9915 x9914 -x9913
637.30/639.43 v -x9912 -x9911 -x9910 -x9909 x9908 -x9907 -x9906 -x9905 -x9904 -x9903 -x9902 x9901 x9900 x9899 x9898 x9897 x9896 x9895 x9894
637.30/639.43 v -x9893 -x9892 x9891 -x9890 -x9889 -x9888 -x9887 -x9886 x9885 x9884 -x9883 -x9882 -x9881 -x9880 -x9879 x9878 x9877 -x9876 x9875
637.30/639.43 v x9874 x9873 x9872 x9871 -x9870 -x9869 -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 x9862 x9861 x9860 -x9859 -x9858 -x9857 -x9856
637.30/639.43 v x9855 x9854 -x9853 -x9852 x9851 x9850 x9849 x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 x9839 x9838 x9837
637.30/639.43 v x9836 -x9835 -x9834 -x9833 x9832 x9831 -x9830 -x9829 -x9828 x9827 x9826 x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9819 -x9818
637.30/639.43 v -x9817 x9816 x9815 x9814 x9813 x9812 -x9811 -x9810 x9809 x9808 -x9807 -x9806 -x9805 -x9804 x9803 x9802 -x9801 -x9800 -x9799
637.30/639.43 v -x9798 -x9797 -x9796 -x9795 -x9794 x9793 x9792 x9791 x9790 x9789 x9788 -x9787 x9786 x9785 -x9784 -x9783 -x9782 -x9781 -x9780
637.30/639.43 v x9779 -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 x9770 x9769 x9768 x9767 x9766 x9765 x9764 x9763 x9762 -x9761
637.30/639.43 v -x9760 -x9759 -x9758 -x9757 x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 x9748 x9747 x9746 x9745 x9744 x9743 x9742
637.30/639.43 v x9741 -x9740 x9739 -x9738 -x9737 -x9736 -x9735 -x9734 x9733 x9732 -x9731 -x9730 -x9729 -x9728 -x9727 -x9726 x9725 x9724 x9723
637.30/639.43 v x9722 x9721 x9720 x9719 x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 x9710 x9709 x9708 -x9707 -x9706 -x9705 -x9704
637.30/639.43 v -x9703 x9702 x9701 -x9700 x9699 x9698 x9697 x9696 x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 x9687 x9686 x9685
637.30/639.43 v x9684 -x9683 -x9682 -x9681 -x9680 x9679 x9678 -x9677 -x9676 x9675 x9674 x9673 x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666
637.30/639.43 v -x9665 x9664 x9663 x9662 x9661 x9660 -x9659 -x9658 -x9657 x9656 x9655 -x9654 -x9653 -x9652 x9651 x9650 x9649 -x9648 -x9647 -x9646
637.30/639.43 v -x9645 -x9644 -x9643 -x9642 x9641 x9640 x9639 x9638 x9637 x9636 -x9635 -x9634 x9633 x9632 -x9631 -x9630 -x9629 -x9628 x9627
637.30/639.43 v x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619 x9618 x9617 x9616 x9615 x9614 x9613 x9612 -x9611 x9610 x9609 -x9608
637.30/639.43 v -x9607 -x9606 -x9605 -x9604 x9603 -x9602 -x9601 -x9600 -x9599 -x9598 -x9597 -x9596 x9595 x9594 x9593 x9592 x9591 x9590 x9589
637.30/639.43 v -x9588 x9587 x9586 -x9585 -x9584 -x9583 -x9582 -x9581 x9580 -x9579 -x9578 -x9577 -x9576 -x9575 -x9574 -x9573 x9572 x9571 x9570
637.30/639.43 v x9569 x9568 x9567 x9566 -x9565 -x9564 x9563 -x9562 -x9561 -x9560 -x9559 -x9558 x9557 x9556 -x9555 -x9554 -x9553 -x9552 -x9551
637.30/639.43 v -x9550 x9549 x9548 x9547 x9546 x9545 x9544 x9543 -x9542 -x9541 -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 x9534 x9533 x9532
637.30/639.43 v -x9531 -x9530 -x9529 -x9528 -x9527 x9526 x9525 -x9524 x9523 x9522 x9521 x9520 -x9519 -x9518 -x9517 -x9516 -x9515 -x9514 -x9513
637.30/639.43 v -x9512 x9511 x9510 x9509 x9508 -x9507 -x9506 -x9505 -x9504 x9503 x9502 -x9501 -x9500 x9499 x9498 x9497 -x9496 -x9495 -x9494
637.30/639.43 v -x9493 -x9492 -x9491 -x9490 -x9489 x9488 x9487 x9486 x9485 x9484 -x9483 -x9482 -x9481 x9480 x9479 -x9478 -x9477 -x9476 x9475
637.30/639.43 v x9474 -x9473 -x9472 -x9471 -x9470 -x9469 -x9468 -x9467 -x9466 x9465 x9464 x9463 x9462 x9461 x9460 -x9459 -x9458 x9457 x9456
637.30/639.43 v -x9455 -x9454 -x9453 -x9452 x9451 -x9450 -x9449 -x9448 -x9447 -x9446 -x9445 -x9444 -x9443 x9442 x9441 x9440 x9439 x9438 x9437
637.30/639.43 v x9436 -x9435 x9434 x9433 -x9432 -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 x9420 x9419
637.30/639.43 v x9418 x9417 x9416 x9415 x9414 x9413 -x9412 x9411 x9410 -x9409 -x9408 -x9407 -x9406 -x9405 x9404 -x9403 -x9402 -x9401 -x9400
637.30/639.43 v -x9399 -x9398 x9397 x9396 x9395 x9394 x9393 x9392 x9391 x9390 -x9389 -x9388 x9387 -x9386 -x9385 -x9384 -x9383 -x9382 x9381 x9380
637.30/639.43 v -x9379 -x9378 -x9377 -x9376 -x9375 x9374 x9373 -x9372 x9371 x9370 x9369 x9368 x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361
637.30/639.43 v -x9360 -x9359 x9358 x9357 x9356 -x9355 -x9354 -x9353 -x9352 x9351 x9350 -x9349 -x9348 x9347 x9346 x9345 x9344 -x9343 -x9342
637.30/639.43 v -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 x9335 x9334 x9333 x9332 -x9331 -x9330 -x9329 x9328 x9327 -x9326 -x9325 -x9324 x9323
637.30/639.43 v x9322 x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 x9312 x9311 x9310 x9309 x9308 -x9307 -x9306 x9305 x9304
637.30/639.43 v -x9303 -x9302 -x9301 -x9300 x9299 x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 x9289 x9288 x9287 x9286 x9285
637.30/639.43 v x9284 -x9283 x9282 x9281 -x9280 -x9279 -x9278 -x9277 -x9276 x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269 -x9268 -x9267
637.30/639.43 v x9266 x9265 x9264 x9263 x9262 x9261 x9260 x9259 x9258 -x9257 -x9256 -x9255 -x9254 -x9253 x9252 -x9251 -x9250 -x9249 -x9248
637.30/639.43 v -x9247 -x9246 -x9245 x9244 x9243 x9242 x9241 x9240 x9239 x9238 x9237 -x9236 x9235 -x9234 -x9233 -x9232 -x9231 -x9230 x9229 x9228
637.30/639.43 v -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 x9221 x9220 x9219 x9218 x9217 x9216 x9215 x9214 -x9213 -x9212 -x9211 -x9210 -x9209
637.30/639.43 v -x9208 -x9207 x9206 x9205 x9204 -x9203 -x9202 -x9201 -x9200 -x9199 x9198 x9197 -x9196 x9195 x9194 x9193 x9192 x9191 -x9190
637.30/639.43 v -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 x9183 x9182 x9181 x9180 -x9179 -x9178 -x9177 -x9176 x9175 x9174 -x9173 -x9172 x9171
637.30/639.43 v x9170 x9169 x9168 -x9167 -x9166 -x9165 -x9164 -x9163 -x9162 -x9161 x9160 x9159 x9158 x9157 x9156 -x9155 -x9154 -x9153 x9152
637.30/639.43 v x9151 -x9150 -x9149 -x9148 x9147 x9146 x9145 -x9144 -x9143 -x9142 -x9141 -x9140 -x9139 -x9138 x9137 x9136 x9135 x9134 x9133
637.30/639.43 v x9132 -x9131 -x9130 x9129 x9128 -x9127 -x9126 -x9125 -x9124 x9123 x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 x9114
637.30/639.43 v x9113 x9112 x9111 x9110 x9109 x9108 -x9107 x9106 x9105 -x9104 -x9103 -x9102 -x9101 -x9100 x9099 -x9098 -x9097 -x9096 -x9095
637.30/639.43 v -x9094 -x9093 -x9092 x9091 x9090 x9089 x9088 x9087 x9086 x9085 -x9084 x9083 x9082 -x9081 -x9080 -x9079 -x9078 -x9077 x9076
637.30/639.43 v -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069 x9068 x9067 x9066 x9065 x9064 x9063 x9062 -x9061 -x9060 x9059 -x9058 -x9057
637.30/639.43 v -x9056 -x9055 -x9054 x9053 x9052 -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 x9045 x9044 x9043 x9042 x9041 x9040 x9039 -x9038 -x9037
637.30/639.43 v -x9036 -x9035 -x9034 -x9033 -x9032 -x9031 x9030 x9029 x9028 -x9027 -x9026 -x9025 -x9024 -x9023 x9022 x9021 -x9020 x9019
637.30/639.43 v x9018 x9017 x9016 -x9015 -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 x9007 x9006 x9005 x9004 -x9003 -x9002 -x9001 -x9000
637.30/639.43 v x8999 x8998 -x8997 -x8996 x8995 x8994 x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 x8984 x8983 x8982 x8981
637.30/639.43 v x8980 -x8979 -x8978 -x8977 x8976 x8975 -x8974 -x8973 -x8972 x8971 x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962
637.30/639.43 v x8961 x8960 x8959 x8958 x8957 x8956 -x8955 -x8954 x8953 x8952 -x8951 -x8950 -x8949 -x8948 x8947 -x8946 -x8945 -x8944 -x8943
637.30/639.43 v -x8942 -x8941 -x8940 -x8939 x8938 x8937 x8936 x8935 x8934 x8933 x8932 -x8931 x8930 x8929 -x8928 -x8927 -x8926 -x8925 -x8924
637.30/639.43 v -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 x8916 x8915 x8914 x8913 x8912 x8911 x8910 x8909 -x8908 x8907 x8906 -x8905
637.30/639.43 v -x8904 -x8903 -x8902 -x8901 x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 x8893 x8892 x8891 x8890 x8889 x8888 x8887 x8886 -x8885
637.30/639.43 v -x8884 x8883 -x8882 -x8881 -x8880 -x8879 -x8878 x8877 x8876 -x8875 -x8874 -x8873 -x8872 -x8871 x8870 x8869 -x8868 x8867
637.30/639.43 v x8866 x8865 x8864 x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 x8854 x8853 x8852 -x8851 -x8850 -x8849 -x8848
637.30/639.43 v x8847 x8846 -x8845 -x8844 x8843 x8842 x8841 x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 x8831 x8830 x8829
637.30/639.43 v x8828 -x8827 -x8826 -x8825 x8824 x8823 -x8822 -x8821 -x8820 x8819 x8818 x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810
637.30/639.43 v -x8809 x8808 x8807 x8806 x8805 x8804 -x8803 -x8802 x8801 x8800 -x8799 -x8798 -x8797 -x8796 x8795 x8794 -x8793 -x8792 -x8791
637.30/639.43 v -x8790 -x8789 -x8788 -x8787 -x8786 x8785 x8784 x8783 x8782 x8781 x8780 -x8779 x8778 x8777 -x8776 -x8775 -x8774 -x8773 -x8772
637.30/639.43 v x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 -x8763 x8762 x8761 x8760 x8759 x8758 x8757 x8756 x8755 x8754 -x8753
637.30/639.43 v -x8752 -x8751 -x8750 -x8749 x8748 -x8747 -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 x8740 x8739 x8738 x8737 x8736 x8735 x8734
637.30/639.43 v x8733 -x8732 x8731 -x8730 -x8729 -x8728 -x8727 -x8726 x8725 x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 x8717 x8716 x8715
637.30/639.43 v x8714 x8713 x8712 x8711 x8710 -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 x8702 x8701 x8700 -x8699 -x8698 -x8697 -x8696
637.30/639.43 v -x8695 x8694 x8693 -x8692 x8691 x8690 x8689 x8688 x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 x8679 x8678 x8677 x8676
637.30/639.43 v -x8675 -x8674 -x8673 -x8672 x8671 x8670 -x8669 -x8668 x8667 x8666 x8665 x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658
637.30/639.43 v -x8657 x8656 x8655 x8654 x8653 x8652 -x8651 -x8650 -x8649 x8648 x8647 -x8646 -x8645 -x8644 x8643 x8642 x8641 -x8640 -x8639 -x8638
637.30/639.43 v -x8637 -x8636 -x8635 -x8634 x8633 x8632 x8631 x8630 x8629 x8628 -x8627 -x8626 x8625 x8624 -x8623 -x8622 -x8621 -x8620 x8619
637.30/639.43 v x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 x8610 x8609 x8608 x8607 x8606 x8605 -x8604 -x8603 x8602 x8601 -x8600
637.30/639.43 v -x8599 -x8598 -x8597 x8596 x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 x8587 x8586 x8585 x8584 x8583 x8582 -x8581
637.30/639.43 v -x8580 x8579 x8578 -x8577 -x8576 -x8575 -x8574 x8573 x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 x8564 x8563 x8562
637.30/639.43 v x8561 x8560 x8559 -x8558 -x8557 -x8556 x8555 -x8554 -x8553 -x8552 -x8551 x8550 x8549 x8548 -x8547 -x8546 -x8545 -x8544 -x8543
637.30/639.43 v -x8542 x8541 x8540 x8539 x8538 x8537 x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 x8527 x8526 x8525 x8524
637.30/639.43 v -x8523 -x8522 -x8521 -x8520 -x8519 x8518 x8517 -x8516 x8515 x8514 x8513 -x8512 -x8511 -x8510 -x8509 -x8508 -x8507 -x8506 -x8505
637.30/639.43 v x8504 x8503 x8502 x8501 x8500 -x8499 -x8498 -x8497 -x8496 x8495 x8494 -x8493 -x8492 x8491 x8490 -x8489 -x8488 -x8487 -x8486
637.30/639.43 v -x8485 -x8484 -x8483 -x8482 x8481 x8480 x8479 x8478 x8477 x8476 -x8475 -x8474 -x8473 x8472 x8471 -x8470 -x8469 -x8468 x8467
637.30/639.43 v -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 x8458 x8457 x8456 x8455 x8454 x8453 x8452 -x8451 -x8450 x8449 x8448
637.30/639.43 v -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 x8436 x8435 x8434 x8433 x8432 x8431 x8430 x8429
637.30/639.43 v -x8428 -x8427 x8426 x8425 -x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 x8413 x8412 x8411 x8410
637.30/639.43 v x8409 x8408 x8407 x8406 -x8405 -x8404 x8403 x8402 -x8401 -x8400 -x8399 -x8398 -x8397 x8396 -x8395 -x8394 -x8393 -x8392 -x8391
637.30/639.43 v x8390 x8389 x8388 x8387 x8386 x8385 x8384 x8383 -x8382 -x8381 -x8380 x8379 -x8378 -x8377 -x8376 -x8375 -x8374 x8373 x8372
637.30/639.43 v -x8371 -x8370 -x8369 -x8368 x8367 x8366 x8365 -x8364 x8363 x8362 x8361 x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353
637.30/639.43 v -x8352 -x8351 x8350 x8349 x8348 -x8347 -x8346 -x8345 x8344 x8343 x8342 -x8341 -x8340 x8339 x8338 x8337 -x8336 -x8335 -x8334
637.30/639.43 v -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 x8327 x8326 x8325 x8324 -x8323 -x8322 x8321 x8320 x8319 -x8318 -x8317 -x8316 x8315
637.30/639.43 v x8314 -x8313 -x8312 -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 x8304 x8303 x8302 x8301 x8300 -x8299 x8298 x8297 x8296
637.30/639.43 v -x8295 -x8294 -x8293 -x8292 x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 x8281 x8280 x8279 x8278 x8277
637.30/639.43 v x8276 x8275 x8274 x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 x8260 -x8259
637.30/639.43 v x8258 x8257 x8256 x8255 x8254 x8253 -x8252 x8251 x8250 -x8249 -x8248 -x8247 -x8246 -x8245 x8244 -x8243 -x8242 -x8241 -x8240 -x8239
637.30/639.43 v -x8238 x8237 x8236 x8235 x8234 x8233 x8232 x8231 x8230 -x8229 -x8228 x8227 -x8226 -x8225 -x8224 -x8223 -x8222 x8221 x8220
637.30/639.43 v -x8219 -x8218 -x8217 -x8216 -x8215 x8214 x8213 x8212 x8211 x8210 x8209 x8208 x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201
637.30/639.43 v -x8200 -x8199 x8198 x8197 x8196 -x8195 -x8194 -x8193 -x8192 x8191 x8190 x8189 -x8188 x8187 x8186 x8185 x8184 -x8183 -x8182
637.30/639.43 v -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 x8175 x8174 x8173 x8172 -x8171 -x8170 -x8169 x8168 x8167 x8166 -x8165 -x8164 x8163
637.30/639.43 v x8162 x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 x8152 x8151 x8150 x8149 x8148 -x8147 -x8146 x8145 x8144
637.30/639.43 v x8143 -x8142 -x8141 -x8140 x8139 x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 x8129 x8128 x8127 x8126 x8125
637.30/639.43 v -x8124 -x8123 x8122 x8121 x8120 -x8119 -x8118 -x8117 -x8116 x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 x8108 -x8107 x8106
637.30/639.43 v x8105 x8104 x8103 x8102 -x8101 -x8100 x8099 x8098 x8097 -x8096 -x8095 -x8094 -x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087
637.30/639.43 v -x8086 x8085 x8084 x8083 x8082 x8081 x8080 x8079 -x8078 -x8077 -x8076 x8075 x8074 -x8073 -x8072 -x8071 -x8070 -x8069 x8068
637.30/639.43 v -x8067 -x8066 -x8065 -x8064 -x8063 x8062 x8061 x8060 x8059 x8058 x8057 x8056 -x8055 -x8054 -x8053 -x8052 x8051 -x8050 -x8049
637.30/639.43 v -x8048 -x8047 -x8046 x8045 x8044 -x8043 -x8042 -x8041 -x8040 x8039 x8038 x8037 x8036 x8035 x8034 x8033 -x8032 -x8031 -x8030
637.30/639.43 v -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 x8022 x8021 x8020 -x8019 -x8018 -x8017 x8016 x8015 x8014 x8013 -x8012 x8011
637.30/639.43 v x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 x7999 x7998 x7997 x7996 -x7995 -x7994 x7993 x7992
637.30/639.43 v x7991 x7990 -x7989 -x7988 x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 x7976 x7975 x7974 x7973
637.30/639.43 v x7972 -x7971 x7970 x7969 x7968 x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7958 -x7957 x7956 -x7955 -x7954
637.30/639.43 v x7953 x7952 x7951 x7950 x7949 -x7948 x7947 x7946 x7945 x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935
637.30/639.43 v -x7934 x7933 x7932 -x7931 x7930 x7929 x7928 x7927 x7926 -x7925 -x7924 x7923 x7922 x7921 -x7920 -x7919 -x7918 -x7917 -x7916
637.30/639.43 v -x7915 -x7914 -x7913 -x7912 -x7911 x7910 x7909 x7908 x7907 x7906 x7905 x7904 x7903 -x7902 -x7901 -x7900 x7899 x7898 -x7897 -x7896
637.30/639.43 v -x7895 -x7894 -x7893 x7892 -x7891 -x7890 -x7889 -x7888 x7887 x7886 x7885 x7884 x7883 x7882 x7881 x7880 -x7879 -x7878 -x7877
637.30/639.43 v -x7876 x7875 -x7874 -x7873 -x7872 -x7871 -x7870 x7869 x7868 -x7867 -x7866 -x7865 x7864 x7863 x7862 x7861 -x7860 x7859 x7858
637.30/639.43 v x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 x7846 x7845 x7844 -x7843 -x7842 x7841 x7840 x7839
637.30/639.43 v x7838 -x7837 -x7836 x7835 x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 x7823 x7822 x7821
637.30/639.43 v x7820 -x7819 x7818 x7817 x7816 x7815 -x7814 -x7813 -x7812 x7811 -x7810 -x7809 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802
637.30/639.43 v -x7801 x7800 x7799 x7798 x7797 x7796 x7795 x7794 x7793 x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783
637.30/639.43 v -x7782 -x7781 x7780 -x7779 -x7778 x7777 x7776 x7775 x7774 x7773 -x7772 x7771 x7770 x7769 -x7768 -x7767 -x7766 -x7765 -x7764
637.30/639.43 v -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 x7757 x7756 -x7755 x7754 x7753 x7752 x7751 x7750 -x7749 -x7748 x7747 x7746 -x7745 -x7744
637.30/639.43 v -x7743 -x7742 -x7741 x7740 -x7739 -x7738 -x7737 -x7736 -x7735 x7734 x7733 x7732 x7731 x7730 x7729 x7728 x7727 -x7726 -x7725
637.30/639.43 v -x7724 x7723 -x7722 -x7721 -x7720 -x7719 -x7718 x7717 x7716 -x7715 -x7714 -x7713 -x7712 x7711 x7710 x7709 x7708 x7707 x7706
637.30/639.43 v x7705 x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 x7694 x7693 x7692 -x7691 -x7690 -x7689 x7688 x7687
637.30/639.43 v x7686 x7685 -x7684 x7683 x7682 x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 x7671 x7670 x7669 x7668
637.30/639.43 v -x7667 -x7666 x7665 x7664 x7663 x7662 -x7661 -x7660 x7659 x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649
637.30/639.43 v x7648 x7647 x7646 x7645 x7644 -x7643 x7642 x7641 x7640 x7639 -x7638 -x7637 -x7636 x7635 -x7634 -x7633 -x7632 -x7631 -x7630
637.30/639.43 v -x7629 -x7628 -x7627 -x7626 x7625 x7624 x7623 x7622 x7621 -x7620 x7619 x7618 x7617 x7616 -x7615 -x7614 -x7613 -x7612 -x7611
637.30/639.43 v -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 x7604 -x7603 x7602 x7601 x7600 x7599 x7598 -x7597 -x7596 x7595 x7594 x7593 -x7592
637.30/639.43 v -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 x7581 x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574
637.30/639.43 v -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 x7564 -x7563 -x7562 x7561 -x7560 -x7559 -x7558 -x7557 -x7556
637.30/639.43 v -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538
637.30/639.43 v x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 x7520
637.30/639.43 v x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502
637.30/639.43 v -x7501 -x7500 -x7499 -x7498 x7497 -x7496 -x7495 x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483
637.30/639.43 v -x7482 -x7481 -x7480 -x7479 -x7478 x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465
637.30/639.43 v -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447
637.30/639.43 v -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430
637.30/639.43 v -x7429 -x7428 x7427 -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 x7412 -x7411
637.30/639.43 v -x7410 x7409 -x7408 x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393
637.30/639.43 v -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375
637.30/639.43 v -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357
637.30/639.43 v -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 x7342 -x7341 -x7340 x7339
637.30/639.43 v -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 x7322 -x7321
637.30/639.43 v -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303
637.30/639.43 v -x7302 -x7301 -x7300 x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285
637.30/639.43 v -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267
637.30/639.43 v -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 x7259 -x7258 -x7257 x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249
637.30/639.43 v -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 x7232 -x7231
637.30/639.43 v -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 x7215 -x7214 -x7213
637.30/639.43 v -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195
637.30/639.43 v -x7194 -x7193 -x7192 x7191 -x7190 -x7189 -x7188 -x7187 x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177
637.30/639.43 v -x7176 -x7175 -x7174 -x7173 -x7172 x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159
637.30/639.43 v -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 x7146 -x7145 -x7144 -x7143 -x7142 -x7141
637.30/639.43 v -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 x7123
637.30/639.43 v -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105
637.30/639.43 v x7104 -x7103 x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087
637.30/639.43 v -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069
637.30/639.43 v -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051
637.30/639.43 v -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 x7038 -x7037 -x7036 x7035 -x7034 -x7033
637.30/639.43 v -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 x7018 -x7017 -x7016 -x7015
637.30/639.43 v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997
637.30/639.43 v -x6996 -x6995 x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979
637.30/639.43 v -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961
637.30/639.43 v -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 x6953 -x6952 -x6951 x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943
637.30/639.43 v -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 x6925
637.30/639.43 v -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 x6908 -x6907
637.30/639.43 v -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889
637.30/639.43 v -x6888 -x6887 -x6886 x6885 -x6884 -x6883 -x6882 -x6881 x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871
637.30/639.43 v -x6870 -x6869 -x6868 -x6867 -x6866 x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853
637.30/639.43 v -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835
637.30/639.43 v -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 x6817
637.30/639.43 v -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 x6800 -x6799
637.30/639.43 v -x6798 x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781
637.30/639.43 v -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763
637.30/639.43 v -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745
637.30/639.43 v -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 x6732 -x6731 -x6730 x6729 -x6728 -x6727
637.30/639.43 v -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 x6712 -x6711 -x6710 -x6709
637.30/639.43 v -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691
637.30/639.43 v -x6690 -x6689 -x6688 x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673
637.30/639.43 v -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655
637.30/639.43 v -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 x6647 -x6646 -x6645 -x6644 x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637
637.30/639.43 v -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 x6620 -x6619
637.30/639.43 v -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 x6603 -x6602 -x6601
637.30/639.43 v -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583
637.30/639.43 v -x6582 -x6581 -x6580 x6579 -x6578 -x6577 -x6576 x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565
637.30/639.43 v -x6564 -x6563 -x6562 -x6561 -x6560 x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
637.30/639.43 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529
637.30/639.43 v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 x6511
637.30/639.43 v -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 x6494 -x6493
637.30/639.43 v -x6492 x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475
637.30/639.43 v -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 x6457
637.30/639.43 v -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 x6446 -x6445 -x6444 -x6443 x6442 -x6441 -x6440 -x6439
637.30/639.43 v -x6438 -x6437 x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 x6422 -x6421 x6420
637.30/639.43 v -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402
637.30/639.43 v -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 x6391 -x6390 -x6389 -x6388 x6387 -x6386 -x6385 -x6384
637.30/639.43 v -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366
637.30/639.43 v -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 x6358 -x6357 x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348
637.30/639.43 v -x6347 -x6346 -x6345 -x6344 -x6343 x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330
637.30/639.43 v -x6329 -x6328 -x6327 -x6326 x6325 x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312
637.30/639.43 v -x6311 -x6310 -x6309 -x6308 x6307 -x6306 -x6305 -x6304 x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 x6294
637.30/639.43 v -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 x6285 x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 x6275
637.30/639.43 v -x6274 -x6273 -x6272 x6271 -x6270 -x6269 x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 x6257
637.30/639.43 v -x6256 -x6255 -x6254 -x6253 x6252 -x6251 -x6250 -x6249 -x6248 x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239
637.30/639.43 v -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 x6230 -x6229 x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221
637.30/639.43 v -x6220 -x6219 -x6218 -x6217 -x6216 x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203
637.30/639.43 v -x6202 -x6201 -x6200 -x6199 -x6198 x6197 -x6196 -x6195 -x6194 x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185
637.30/639.43 v x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167
637.30/639.43 v -x6166 -x6165 x6164 -x6163 x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 x6149 -x6148
637.30/639.43 v -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 x6131 -x6130
637.30/639.43 v -x6129 -x6128 -x6127 x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 x6117 -x6116 -x6115 -x6114 -x6113 x6112
637.30/639.43 v -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 x6102 -x6101 -x6100 -x6099 -x6098 x6097 x6096 -x6095 -x6094
637.30/639.43 v -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 x6086 -x6085 -x6084 -x6083 x6082 -x6081 -x6080 x6079 -x6078 -x6077 -x6076 -x6075
637.30/639.43 v -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 x6065 -x6064 x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057
637.30/639.43 v -x6056 -x6055 -x6054 -x6053 x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039
637.30/639.43 v -x6038 -x6037 x6036 -x6035 -x6034 -x6033 x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 x6023 -x6022 -x6021
637.30/639.43 v -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 x6003
637.30/639.43 v -x6002 -x6001 -x6000 -x5999 x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985
637.30/639.43 v -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 x5970 -x5969 -x5968 -x5967
637.30/639.43 v -x5966 x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949
637.30/639.43 v -x5948 -x5947 -x5946 x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 x5933 -x5932 -x5931
637.30/639.43 v -x5930 -x5929 x5928 -x5927 -x5926 -x5925 -x5924 x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 x5914 -x5913 -x5912
637.30/639.43 v -x5911 -x5910 x5909 x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 x5897 -x5896 -x5895 -x5894
637.30/639.43 v x5893 -x5892 -x5891 -x5890 -x5889 -x5888 x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876
637.30/639.43 v -x5875 -x5874 x5873 -x5872 x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 x5859 -x5858
637.30/639.43 v -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 x5842 x5841 -x5840 -x5839
637.30/639.43 v -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 x5826 -x5825 -x5824 -x5823 -x5822 -x5821
637.30/639.43 v -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 x5809 x5808 -x5807 -x5806 -x5805 -x5804 -x5803
637.30/639.43 v -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785
637.30/639.43 v -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 x5776 -x5775 -x5774 -x5773 x5772 -x5771 -x5770 -x5769 -x5768 -x5767
637.30/639.43 v -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 x5760 -x5759 -x5758 -x5757 -x5756 -x5755 x5754 -x5753 -x5752 -x5751 -x5750 -x5749
637.30/639.43 v -x5748 -x5747 -x5746 -x5745 -x5744 x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 x5736 x5735 -x5734 -x5733 -x5732 -x5731
637.30/639.43 v -x5730 -x5729 -x5728 -x5727 x5726 -x5725 -x5724 -x5723 x5722 -x5721 -x5720 x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712
637.30/639.43 v -x5711 -x5710 -x5709 x5708 -x5707 -x5706 -x5705 -x5704 x5703 -x5702 -x5701 -x5700 -x5699 x5698 -x5697 -x5696 -x5695 -x5694
637.30/639.43 v -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 x5681 -x5680 x5679 -x5678 -x5677 -x5676
637.30/639.43 v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658
637.30/639.43 v -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 x5648 -x5647 -x5646 -x5645 x5644 -x5643 -x5642 -x5641 -x5640
637.30/639.43 v -x5639 -x5638 -x5637 -x5636 x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622
637.30/639.43 v -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 x5615 -x5614 -x5613 -x5612 -x5611 x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604
637.30/639.43 v x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586
637.30/639.43 v -x5585 -x5584 -x5583 x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 x5575 -x5574 -x5573 -x5572 -x5571 x5570 -x5569 -x5568 -x5567
637.30/639.43 v -x5566 -x5565 -x5564 x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 x5553 -x5552 -x5551 -x5550 -x5549
637.30/639.43 v x5548 x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 x5537 -x5536 -x5535 -x5534 x5533 -x5532 -x5531
637.30/639.43 v x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 x5516 -x5515 x5514 -x5513
637.30/639.43 v -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495
637.30/639.43 v -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 x5487 x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476
637.30/639.43 v -x5475 -x5474 -x5473 -x5472 x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458
637.30/639.43 v -x5457 -x5456 -x5455 x5454 x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440
637.30/639.43 v -x5439 x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422
637.30/639.43 v x5421 -x5420 -x5419 -x5418 x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 x5408 -x5407 -x5406 -x5405 -x5404
637.30/639.43 v -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386
637.30/639.43 v x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 x5378 -x5377 -x5376 -x5375 x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368
637.30/639.43 v -x5367 -x5366 x5365 -x5364 -x5363 -x5362 -x5361 x5360 x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349
637.30/639.43 v x5348 -x5347 -x5346 -x5345 x5344 -x5343 -x5342 -x5341 -x5340 -x5339 x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331
637.30/639.43 v -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 x5324 -x5323 x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 x5313
637.30/639.43 v -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295
637.30/639.43 v -x5294 x5293 -x5292 -x5291 -x5290 x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 x5281 -x5280 -x5279 -x5278 -x5277
637.30/639.43 v -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 x5260 -x5259
637.30/639.43 v -x5258 -x5257 -x5256 x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 x5245 -x5244 -x5243 -x5242 -x5241
637.30/639.43 v -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 x5227 -x5226 x5225 -x5224 -x5223 -x5222
637.30/639.43 v -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 x5210 -x5209 -x5208 -x5207 -x5206 x5205 -x5204
637.30/639.43 v -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 x5187 x5186
637.30/639.43 v -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 x5177 -x5176 -x5175 -x5174 x5173 -x5172 -x5171 x5170 -x5169 -x5168
637.30/639.43 v -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 x5159 -x5158 x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150
637.30/639.43 v -x5149 -x5148 -x5147 x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 x5132 -x5131
637.30/639.43 v -x5130 -x5129 x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113
637.30/639.43 v -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 x5099 -x5098 -x5097 -x5096 -x5095
637.30/639.43 v x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077
637.30/639.43 v -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 x5066 -x5065 x5064 -x5063 -x5062 -x5061 -x5060 -x5059
637.30/639.43 v -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041
637.30/639.43 v -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 x5033 -x5032 -x5031 -x5030 -x5029 x5028 -x5027 -x5026 -x5025 -x5024 -x5023
637.30/639.43 v -x5022 -x5021 -x5020 x5019 -x5018 -x5017 -x5016 -x5015 x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005
637.30/639.43 v x5004 -x5003 -x5002 -x5001 -x5000 x4999 x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 x4988 -x4987 -x4986
637.30/639.43 v -x4985 x4984 -x4983 -x4982 x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968
637.30/639.43 v x4967 -x4966 x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 x4954 -x4953 -x4952 -x4951 -x4950
637.30/639.43 v -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 x4938 x4937 -x4936 -x4935 -x4934 -x4933 -x4932
637.30/639.43 v -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914
637.30/639.43 v -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 x4905 x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896
637.30/639.43 v -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878
637.30/639.43 v -x4877 -x4876 -x4875 -x4874 -x4873 x4872 x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859
637.30/639.43 v -x4858 -x4857 x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841
637.30/639.43 v -x4840 -x4839 x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 x4827 -x4826 x4825 -x4824 -x4823
637.30/639.43 v -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 x4816 -x4815 -x4814 -x4813 -x4812 x4811 x4810 -x4809 -x4808 -x4807 -x4806 -x4805
637.30/639.43 v -x4804 -x4803 -x4802 -x4801 -x4800 x4799 -x4798 -x4797 -x4796 x4795 -x4794 -x4793 -x4792 -x4791 -x4790 x4789 -x4788 -x4787 -x4786
637.30/639.43 v -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 x4775 -x4774 x4773 -x4772 -x4771 -x4770 -x4769 -x4768
637.30/639.43 v -x4767 -x4766 -x4765 x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750
637.30/639.43 v -x4749 -x4748 -x4747 -x4746 -x4745 x4744 -x4743 -x4742 -x4741 x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 x4732
637.30/639.43 v -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714
637.30/639.43 v -x4713 -x4712 x4711 -x4710 -x4709 -x4708 -x4707 x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 x4699 -x4698 -x4697 -x4696
637.30/639.43 v -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 x4678
637.30/639.43 v -x4677 -x4676 -x4675 -x4674 x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 x4663 -x4662 -x4661 -x4660
637.30/639.43 v -x4659 -x4658 -x4657 x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 x4644 -x4643 -x4642
637.30/639.43 v -x4641 -x4640 -x4639 x4638 x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 x4628 -x4627 -x4626 -x4625 x4624 -x4623
637.30/639.43 v -x4622 x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 x4610 -x4609 x4608 -x4607 -x4606 -x4605
637.30/639.43 v -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587
637.30/639.43 v -x4586 -x4585 -x4584 x4583 x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569
637.30/639.43 v -x4568 x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551
637.30/639.43 v x4550 -x4549 -x4548 -x4547 x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 x4537 -x4536 -x4535 -x4534 -x4533 -x4532
637.30/639.43 v -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 x4517 -x4516 -x4515 -x4514
637.30/639.43 v -x4513 x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496
637.30/639.43 v -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478
637.30/639.43 v x4477 -x4476 -x4475 -x4474 -x4473 x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 x4465 -x4464 -x4463 -x4462 -x4461 -x4460
637.30/639.43 v -x4459 -x4458 -x4457 -x4456 x4455 -x4454 -x4453 -x4452 -x4451 x4450 x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442
637.30/639.43 v -x4441 -x4440 x4439 -x4438 -x4437 -x4436 x4435 -x4434 -x4433 x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423
637.30/639.43 v -x4422 -x4421 -x4420 -x4419 x4418 -x4417 -x4416 -x4415 -x4414 x4413 -x4412 -x4411 -x4410 -x4409 x4408 -x4407 -x4406 -x4405
637.30/639.43 v -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 x4389 -x4388 x4387
637.30/639.43 v -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 x4374 -x4373 -x4372 -x4371 -x4370 -x4369
637.30/639.43 v -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 x4356 x4355 -x4354 -x4353 -x4352 -x4351
637.30/639.43 v -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333
637.30/639.43 v -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 x4323 -x4322 -x4321 -x4320 x4319 -x4318 -x4317 -x4316 -x4315
637.30/639.43 v -x4314 -x4313 -x4312 -x4311 x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 x4298 -x4297
637.30/639.43 v -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 x4280 -x4279 -x4278
637.30/639.43 v -x4277 x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 x4267 -x4266 -x4265 -x4264 -x4263 x4262 x4261 -x4260
637.30/639.43 v -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 x4250 -x4249 -x4248 -x4247 x4246 -x4245 -x4244 -x4243 -x4242
637.30/639.43 v -x4241 x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 x4226 -x4225 x4224
637.30/639.43 v -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206
637.30/639.43 v -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 x4195 x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
637.30/639.43 v -x4186 -x4185 -x4184 -x4183 x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169
637.30/639.43 v -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 x4162 -x4161 -x4160 -x4159 x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151
637.30/639.43 v x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133
637.30/639.43 v -x4132 -x4131 -x4130 x4129 -x4128 -x4127 -x4126 -x4125 x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115
637.30/639.43 v x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097
637.30/639.43 v -x4096 x4095 -x4094 -x4093 -x4092 -x4091 -x4090 x4089 x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 x4079
637.30/639.43 v -x4078 -x4077 -x4076 x4075 -x4074 -x4073 x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 x4061 -x4060
637.30/639.43 v x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042
637.30/639.43 v -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 x4034 x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024
637.30/639.43 v -x4023 -x4022 -x4021 -x4020 -x4019 x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006
637.30/639.43 v -x4005 -x4004 -x4003 -x4002 x4001 x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988
637.30/639.43 v -x3987 -x3986 x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
637.30/639.43 v -x3969 x3968 x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 x3952
637.30/639.43 v -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 x3935 -x3934
637.30/639.43 v -x3933 -x3932 x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 x3920 -x3919 -x3918 -x3917 x3916 -x3915
637.30/639.43 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 x3906 -x3905 -x3904 -x3903 -x3902 x3901 x3900 -x3899 -x3898 -x3897
637.30/639.43 v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 x3890 -x3889 -x3888 -x3887 x3886 -x3885 -x3884 x3883 -x3882 -x3881 -x3880 -x3879
637.30/639.43 v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 x3869 -x3868 x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861
637.30/639.43 v -x3860 -x3859 -x3858 -x3857 x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843
637.30/639.43 v -x3842 -x3841 x3840 x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 x3824
637.30/639.43 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 x3807 x3806
637.30/639.43 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 x3791 -x3790 -x3789 -x3788
637.30/639.43 v -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 x3774 x3773 -x3772 -x3771 -x3770
637.30/639.43 v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752
637.30/639.43 v -x3751 -x3750 x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734
637.30/639.43 v -x3733 -x3732 -x3731 -x3730 x3729 -x3728 x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 x3718 -x3717 -x3716
637.30/639.43 v -x3715 -x3714 x3713 x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 x3701 -x3700 -x3699 -x3698 x3697
637.30/639.43 v -x3696 -x3695 -x3694 -x3693 -x3692 x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679
637.30/639.43 v -x3678 x3677 -x3676 x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 x3663 -x3662 -x3661
637.30/639.43 v -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 x3646 x3645 -x3644 -x3643
637.30/639.43 v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625
637.30/639.43 v -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 x3613 -x3612 -x3611 -x3610 x3609 -x3608 -x3607
637.30/639.43 v -x3606 -x3605 -x3604 -x3603 -x3602 x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589
637.30/639.43 v -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 x3580 -x3579 -x3578 -x3577 -x3576 x3575 -x3574 -x3573 -x3572 -x3571 -x3570
637.30/639.43 v -x3569 -x3568 -x3567 -x3566 x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552
637.30/639.43 v -x3551 -x3550 -x3549 -x3548 -x3547 x3546 -x3545 -x3544 -x3543 -x3542 -x3541 x3540 x3539 -x3538 -x3537 -x3536 -x3535 -x3534
637.30/639.43 v -x3533 -x3532 -x3531 x3530 -x3529 -x3528 -x3527 x3526 -x3525 -x3524 x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516
637.30/639.43 v -x3515 -x3514 -x3513 x3512 -x3511 -x3510 -x3509 -x3508 x3507 -x3506 -x3505 -x3504 -x3503 x3502 -x3501 -x3500 -x3499 -x3498 -x3497
637.30/639.43 v -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 x3485 -x3484 x3483 -x3482 -x3481 -x3480 -x3479
637.30/639.43 v -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461
637.30/639.43 v -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 x3452 -x3451 -x3450 -x3449 x3448 -x3447 -x3446 -x3445 -x3444 -x3443
637.30/639.43 v -x3442 -x3441 -x3440 x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425
637.30/639.43 v -x3424 -x3423 -x3422 -x3421 -x3420 x3419 -x3418 -x3417 -x3416 -x3415 x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 x3407
637.30/639.43 v -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389
637.30/639.43 v -x3388 -x3387 x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 x3379 -x3378 -x3377 -x3376 -x3375 x3374 -x3373 -x3372 -x3371
637.30/639.43 v -x3370 -x3369 -x3368 x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 x3357 -x3356 -x3355 -x3354 -x3353
637.30/639.43 v x3352 x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 x3341 -x3340 -x3339 -x3338 x3337 -x3336 -x3335 x3334
637.30/639.43 v -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 x3320 -x3319 x3318 -x3317 -x3316
637.30/639.43 v -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298
637.30/639.43 v -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 x3291 x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280
637.30/639.43 v -x3279 -x3278 -x3277 -x3276 x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262
637.30/639.43 v -x3261 -x3260 -x3259 x3258 -x3257 -x3256 -x3255 x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 x3245 -x3244 -x3243
637.30/639.43 v -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 x3230 -x3229 -x3228 -x3227 -x3226 -x3225
637.30/639.43 v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 x3216 -x3215 -x3214 x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207
637.30/639.43 v -x3206 -x3205 -x3204 -x3203 -x3202 x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189
637.30/639.43 v -x3188 x3187 -x3186 -x3185 -x3184 x3183 -x3182 -x3181 -x3180 -x3179 x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171
637.30/639.43 v -x3170 x3169 -x3168 -x3167 -x3166 -x3165 x3164 x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153
637.30/639.43 v x3152 -x3151 -x3150 -x3149 x3148 -x3147 -x3146 -x3145 -x3144 -x3143 x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134
637.30/639.43 v -x3133 -x3132 -x3131 -x3130 -x3129 x3128 -x3127 x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116
637.30/639.43 v -x3115 x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098
637.30/639.43 v x3097 x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 x3084 -x3083 -x3082 -x3081 -x3080
637.30/639.43 v -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 x3064 -x3063 -x3062
637.30/639.43 v -x3061 x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 x3045 -x3044
637.30/639.43 v -x3043 -x3042 -x3041 -x3040 x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 x3026
637.30/639.43 v -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 x3012 x3011 -x3010 -x3009 -x3008
637.30/639.43 v -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 x2997 -x2996 -x2995 -x2994 -x2993 -x2992 x2991 x2990 -x2989
637.30/639.43 v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 x2981 -x2980 -x2979 -x2978 x2977 -x2976 -x2975 x2974 -x2973 -x2972 -x2971
637.30/639.43 v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 x2963 -x2962 x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953
637.30/639.43 v -x2952 -x2951 x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 x2936 x2935
637.30/639.43 v -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 x2920 -x2919 -x2918 -x2917
637.30/639.43 v -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 x2903 -x2902 -x2901 -x2900 x2899 -x2898
637.30/639.43 v -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880
637.30/639.43 v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 x2870 -x2869 x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862
637.30/639.43 v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844
637.30/639.43 v -x2843 x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826
637.30/639.43 v -x2825 -x2824 -x2823 -x2822 x2821 -x2820 x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 x2808
637.30/639.43 v -x2807 -x2806 -x2805 -x2804 x2803 x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 x2792 -x2791 -x2790
637.30/639.43 v -x2789 x2788 -x2787 -x2786 x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 x2771
637.30/639.43 v -x2770 -x2769 -x2768 -x2767 x2766 -x2765 -x2764 -x2763 -x2762 x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753
637.30/639.43 v -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 x2742 -x2741 x2740 -x2739 -x2738 -x2737 -x2736 -x2735
637.30/639.43 v -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 x2717
637.30/639.43 v -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699
637.30/639.43 v -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 x2689 -x2688 -x2687 x2686 -x2685 -x2684 -x2683 -x2682 -x2681
637.30/639.43 v -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663
637.30/639.43 v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 x2654 x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645
637.30/639.43 v -x2644 -x2643 -x2642 -x2641 -x2640 x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 x2630 x2629 -x2628 -x2627 -x2626
637.30/639.43 v -x2625 -x2624 -x2623 -x2622 -x2621 x2620 -x2619 -x2618 -x2617 -x2616 x2615 x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608
637.30/639.43 v -x2607 -x2606 -x2605 -x2604 x2603 -x2602 -x2601 -x2600 x2599 -x2598 -x2597 x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590
637.30/639.43 v -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 x2579 -x2578 -x2577 -x2576 -x2575 x2574 -x2573 -x2572
637.30/639.43 v -x2571 -x2570 -x2569 -x2568 -x2567 x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554
637.30/639.43 v -x2553 -x2552 -x2551 -x2550 -x2549 x2548 -x2547 x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535
637.30/639.43 v -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 x2520 -x2519 -x2518 -x2517
637.30/639.43 v -x2516 -x2515 x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499
637.30/639.43 v -x2498 -x2497 -x2496 -x2495 -x2494 x2493 -x2492 x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481
637.30/639.43 v -x2480 -x2479 x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 x2463
637.30/639.43 v x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 x2449 -x2448 -x2447 -x2446 -x2445
637.30/639.43 v -x2444 -x2443 x2442 x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 x2432 -x2431 -x2430 -x2429 x2428 -x2427 -x2426
637.30/639.43 v x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 x2414 -x2413 -x2412 -x2411 -x2410 x2409 -x2408
637.30/639.43 v -x2407 -x2406 -x2405 x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390
637.30/639.43 v -x2389 -x2388 x2387 -x2386 -x2385 -x2384 -x2383 x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 x2375 -x2374 -x2373 -x2372
637.30/639.43 v -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 x2354
637.30/639.43 v -x2353 x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 x2336
637.30/639.43 v -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318
637.30/639.43 v x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300
637.30/639.43 v x2299 -x2298 x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 x2282 -x2281
637.30/639.43 v -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263
637.30/639.43 v -x2262 -x2261 -x2260 x2259 -x2258 -x2257 -x2256 -x2255 x2254 x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245
637.30/639.43 v -x2244 x2243 -x2242 -x2241 -x2240 x2239 -x2238 -x2237 x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227
637.30/639.43 v -x2226 -x2225 -x2224 -x2223 x2222 -x2221 x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 x2209 -x2208
637.30/639.43 v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 x2192 -x2191 -x2190
637.30/639.43 v -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 x2177 -x2176 -x2175 -x2174 -x2173 -x2172
637.30/639.43 v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160 x2159 -x2158 -x2157 -x2156 -x2155 -x2154
637.30/639.43 v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 x2139 -x2138 -x2137 x2136
637.30/639.43 v -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 x2123 -x2122 -x2121 -x2120 -x2119 -x2118
637.30/639.43 v -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 x2105 x2102 -x2103 -x2104 -x2099 x2100
637.30/639.43 v -x2101 -x2096 -x2097 x2098 x2093 -x2094 -x2095 -x2090 -x2091 x2092 -x2087 x2088 -x2089 -x2084 x2085 -x2086 -x2081 -x2082 x2083
637.30/639.43 v x2078 -x2079 -x2080 x2075 -x2076 -x2077 -x2072 -x2073 x2074 -x2069 x2070 -x2071 -x2066 x2067 -x2068 -x2063 -x2064 x2065 x2060
637.30/639.43 v -x2061 -x2062 -x2057 x2058 -x2059 -x2054 -x2055 x2056 x2051 -x2052 -x2053 -x2048 x2049 -x2050 x2045 -x2046 -x2047 -x2042
637.30/639.43 v -x2043 x2044 -x2039 x2040 -x2041 x2036 -x2037 -x2038 -x2033 -x2034 x2035 x2030 -x2031 -x2032 -x2027 x2028 -x2029 -x2024 -x2025
637.30/639.43 v x2026 -x2021 x2022 -x2023 x2018 -x2019 -x2020 -x2015 -x2016 x2017 x2012 -x2013 -x2014 -x2009 x2010 -x2011 -x2006 -x2007 x2008
637.30/639.43 v -x2003 -x2004 x2005 -x2000 x2001 -x2002 x1997 -x1998 -x1999 -x1994 -x1995 x1996 x1991 -x1992 -x1993 -x1988 x1989 -x1990 -x1985
637.30/639.43 v -x1986 x1987 -x1982 x1983 -x1984 x1979 -x1980 -x1981 -x1976 -x1977 x1978 -x1973 x1974 -x1975 x1970 -x1971 -x1972 -x1967
637.30/639.43 v -x1968 x1969 -x1964 x1965 -x1966 x1961 -x1962 -x1963 x1958 -x1959 -x1960 -x1955 -x1956 x1957 -x1952 x1953 -x1954 -x1949 x1950
637.30/639.43 v -x1951 -x1946 -x1947 x1948 x1943 -x1944 -x1945 -x1940 x1941 -x1942 -x1937 -x1938 x1939 x1934 -x1935 -x1936 -x1931 x1932 -x1933
637.30/639.43 v -x1928 -x1929 x1930 x1925 -x1926 -x1927 x1922 -x1923 -x1924 -x1919 -x1920 x1921 -x1916 x1917 -x1918 -x1913 x1914 -x1915 x1910
637.30/639.43 v -x1911 -x1912 -x1907 -x1908 x1909 -x1904 x1905 -x1906 x1901 -x1902 -x1903 -x1898 -x1899 x1900 x1895 -x1896 -x1897 -x1892
637.30/639.43 v x1893 -x1894 -x1889 -x1890 x1891 -x1886 x1887 -x1888 x1883 -x1884 -x1885 -x1880 -x1881 x1882 -x1877 x1878 -x1879 x1874 -x1875
637.30/639.43 v -x1876 -x1871 -x1872 x1873 -x1868 -x1869 x1870 -x1865 x1866 -x1867 x1862 -x1863 -x1864 -x1859 -x1860 x1861 x1856 -x1857 -x1858
637.30/639.43 v -x1853 x1854 -x1855 -x1850 -x1851 x1852 x1847 -x1848 -x1849 -x1844 x1845 -x1846 -x1841 -x1842 x1843 x1838 -x1839 -x1840 -x1835
637.30/639.43 v x1836 -x1837 -x1832 -x1833 x1834 -x1829 x1830 -x1831 x1826 -x1827 -x1828 x1823 -x1824 -x1825 -x1820 -x1821 x1822 -x1817
637.30/639.43 v x1818 -x1819 -x1814 x1815 -x1816 -x1811 -x1812 x1813 x1808 -x1809 -x1810 x1805 -x1806 -x1807 -x1802 -x1803 x1804 -x1799 x1800
637.30/639.43 v -x1801 x1796 -x1797 -x1798 -x1793 -x1794 x1795 -x1790 x1791 -x1792 -x1787 x1788 -x1789 -x1784 -x1785 x1786 x1781 -x1782 -x1783
637.30/639.43 v -x1778 x1779 -x1780 x1775 -x1776 -x1777 -x1772 -x1773 x1774 x1769 -x1770 -x1771 -x1766 x1767 -x1768 -x1763 -x1764 x1765 -x1760
637.30/639.43 v x1761 -x1762 x1757 -x1758 -x1759 -x1754 -x1755 x1756 -x1751 x1752 -x1753 x1748 -x1749 -x1750 -x1745 -x1746 x1747 x1742 -x1743
637.30/639.43 v -x1744 -x1739 x1740 -x1741 -x1736 -x1737 x1738 -x1733 -x1734 x1735 -x1730 x1731 -x1732 x1727 -x1728 -x1729 -x1724 -x1725
637.30/639.43 v x1726 x1721 -x1722 -x1723 -x1718 x1719 -x1720 -x1715 -x1716 x1717 x1712 -x1713 -x1714 -x1709 x1710 -x1711 -x1706 -x1707 x1708
637.30/639.43 v x1703 -x1704 -x1705 -x1700 x1701 -x1702 -x1697 -x1698 x1699 x1694 -x1695 -x1696 -x1691 x1692 -x1693 x1688 -x1689 -x1690 -x1685
637.30/639.43 v -x1686 x1687 -x1682 x1683 -x1684 -x1679 x1680 -x1681 -x1676 -x1677 x1678 x1673 -x1674 -x1675 x1670 -x1671 -x1672 -x1667
637.30/639.43 v -x1668 x1669 -x1664 x1665 -x1666 x1661 -x1662 -x1663 -x1658 -x1659 x1660 -x1655 x1656 -x1657 x1652 -x1653 -x1654 -x1649 -x1650
637.30/639.43 v x1651 -x1646 x1647 -x1648 -x1643 x1644 -x1645 x1640 -x1641 -x1642 -x1637 -x1638 x1639 x1634 -x1635 -x1636 -x1631 x1632 -x1633
637.30/639.43 v -x1628 -x1629 x1630 x1625 -x1626 -x1627 -x1622 x1623 -x1624 -x1619 -x1620 x1621 -x1616 x1617 -x1618 x1613 -x1614 -x1615 -x1610
637.30/639.43 v -x1611 x1612 -x1607 x1608 -x1609 x1604 -x1605 -x1606 -x1601 -x1602 x1603 -x1598 -x1599 x1600 -x1595 x1596 -x1597 x1592 -x1593
637.30/639.43 v -x1594 -x1589 -x1590 x1591 -x1586 x1587 -x1588 x1583 -x1584 -x1585 -x1580 -x1581 x1582 x1577 -x1578 -x1579 -x1574 x1575
637.30/639.43 v -x1576 -x1571 -x1572 x1573 x1568 -x1569 -x1570 -x1565 x1566 -x1567 -x1562 -x1563 x1564 -x1559 x1560 -x1561 x1556 -x1557 -x1558
637.30/639.43 v x1553 -x1554 -x1555 -x1550 -x1551 x1552 -x1547 x1548 -x1549 -x1544 x1545 -x1546 -x1541 -x1542 x1543 x1538 -x1539 -x1540 -x1535
637.30/639.43 v x1536 -x1537 -x1532 -x1533 x1534 x1529 -x1530 -x1531 x1526 -x1527 -x1528 -x1523 -x1524 x1525 -x1520 x1521 -x1522 x1517 -x1518
637.30/639.43 v -x1519 -x1514 -x1515 x1516 -x1511 x1512 -x1513 -x1508 x1509 -x1510 x1505 -x1506 -x1507 -x1502 -x1503 x1504 x1499 -x1500
637.30/639.43 v -x1501 -x1496 x1497 -x1498 -x1493 -x1494 x1495 x1490 -x1491 -x1492 -x1487 x1488 -x1489 -x1484 -x1485 x1486 x1481 -x1482 -x1483
637.30/639.43 v -x1478 x1479 -x1480 -x1475 -x1476 x1477 x1472 -x1473 -x1474 -x1469 x1470 -x1471 -x1466 -x1467 x1468 -x1463 -x1464 x1465 -x1460
637.30/639.43 v x1461 -x1462 x1457 -x1458 -x1459 -x1454 -x1455 x1456 x1451 -x1452 -x1453 -x1448 x1449 -x1450 -x1445 -x1446 x1447 x1442 -x1443
637.30/639.43 v -x1444 -x1439 x1440 -x1441 -x1436 -x1437 x1438 x1433 -x1434 -x1435 -x1430 x1431 -x1432 -x1427 -x1428 x1429 x1424 -x1425
637.30/639.43 v -x1426 -x1421 x1422 -x1423 x1418 -x1419 -x1420 -x1415 -x1416 x1417 -x1412 x1413 -x1414 -x1409 x1410 -x1411 -x1406 -x1407 x1408
637.30/639.43 v x1403 -x1404 -x1405 -x1400 x1401 -x1402 -x1397 -x1398 x1399 x1394 -x1395 -x1396 x1391 -x1392 -x1393 -x1388 -x1389 x1390 -x1385
637.30/639.43 v x1386 -x1387 x1382 -x1383 -x1384 -x1379 -x1380 x1381 -x1376 x1377 -x1378 -x1373 x1374 -x1375 x1370 -x1371 -x1372 -x1367
637.30/639.43 v -x1368 x1369 -x1364 x1365 -x1366 x1361 -x1362 -x1363 -x1358 -x1359 x1360 x1355 -x1356 -x1357 -x1352 x1353 -x1354 -x1349 -x1350
637.30/639.43 v x1351 -x1346 x1347 -x1348 x1343 -x1344 -x1345 -x1340 -x1341 x1342 -x1337 x1338 -x1339 x1334 -x1335 -x1336 -x1331 -x1332 x1333
637.30/639.43 v -x1328 -x1329 x1330 -x1325 x1326 -x1327 x1322 -x1323 -x1324 -x1319 -x1320 x1321 x1316 -x1317 -x1318 -x1313 x1314 -x1315 -x1310
637.30/639.43 v -x1311 x1312 x1307 -x1308 -x1309 -x1304 x1305 -x1306 -x1301 -x1302 x1303 -x1298 x1299 -x1300 x1295 -x1296 -x1297 -x1292
637.30/639.43 v x1293 -x1294 -x1289 -x1290 x1291 x1286 -x1287 -x1288 x1283 -x1284 -x1285 -x1280 -x1281 x1282 -x1277 x1278 -x1279 -x1274 x1275
637.30/639.43 v -x1276 -x1271 -x1272 x1273 x1268 -x1269 -x1270 -x1265 x1266 -x1267 -x1262 -x1263 x1264 x1259 -x1260 -x1261 x1256 -x1257 -x1258
637.30/639.43 v -x1253 -x1254 x1255 -x1250 x1251 -x1252 -x1247 -x1248 x1249 x1244 -x1245 -x1246 -x1241 x1242 -x1243 -x1238 x1239 -x1240 x1235
637.30/639.43 v -x1236 -x1237 -x1232 -x1233 x1234 x1229 -x1230 -x1231 -x1226 x1227 -x1228 -x1223 -x1224 x1225 x1220 -x1221 -x1222 -x1217
637.30/639.43 v x1218 -x1219 -x1214 -x1215 x1216 -x1211 x1212 -x1213 x1208 -x1209 -x1210 -x1205 -x1206 x1207 x1202 -x1203 -x1204 -x1199 -x1200
637.30/639.43 v x1201 -x1196 x1197 -x1198 -x1193 -x1194 x1195 -x1190 x1191 -x1192 x1187 -x1188 -x1189 -x1184 -x1185 x1186 -x1181 x1182 -x1183
637.30/639.43 v x1178 -x1179 -x1180 -x1175 -x1176 x1177 x1172 -x1173 -x1174 -x1169 x1170 -x1171 x1166 -x1167 -x1168 -x1163 x1164 -x1165 -x1160
637.30/639.43 v -x1161 x1162 x1157 -x1158 -x1159 -x1154 x1155 -x1156 -x1151 -x1152 x1153 x1148 -x1149 -x1150 -x1145 -x1146 x1147 -x1142
637.30/639.43 v x1143 -x1144 x1139 -x1140 -x1141 -x1136 -x1137 x1138 -x1133 x1134 -x1135 -x1130 x1131 -x1132 -x1127 -x1128 x1129 x1124 -x1125
637.30/639.43 v -x1126 -x1121 -x1122 x1123 -x1118 x1119 -x1120 x1115 -x1116 -x1117 -x1112 -x1113 x1114 x1109 -x1110 -x1111 -x1106 x1107 -x1108
637.30/639.43 v -x1103 x1104 -x1105 x1100 -x1101 -x1102 -x1097 -x1098 x1099 -x1094 x1095 -x1096 x1091 -x1092 -x1093 -x1088 -x1089 x1090 -x1085
637.30/639.43 v x1086 -x1087 x1082 -x1083 -x1084 -x1079 -x1080 x1081 x1076 -x1077 -x1078 -x1073 -x1074 x1075 -x1070 x1071 -x1072 -x1067
637.30/639.43 v x1068 -x1069 -x1064 -x1065 x1066 x1061 -x1062 -x1063 -x1058 -x1059 x1060 -x1055 x1056 -x1057 x1052 -x1053 -x1054 -x1049 -x1050
637.30/639.43 v x1051 x1046 -x1047 -x1048 -x1043 x1044 -x1045 -x1040 -x1041 x1042 x1037 -x1038 -x1039 -x1034 x1035 -x1036 -x1031 x1032 -x1033
637.30/639.43 v x1028 -x1029 -x1030 -x1025 -x1026 x1027 x1022 -x1023 -x1024 -x1019 x1020 -x1021 -x1016 -x1017 x1018 x1014 -x1015 -x1012 x1013
637.30/639.43 v -x1010 -x1011 -x1009 x1007 x1005 -x1003 -x1000 x1001 x999 x986 -x987 x967 -x965 x963 x961 -x959 x957 x925 x923 -x921 x919
637.30/639.43 v x917 -x915 -x883 x881 x879 -x877 x875 x873 x841 -x839 x837 x835 -x833 x831 x799 x797 -x795 x793 x791 -x789 -x757 x755 x753 -x751
637.30/639.43 v x749 x747 x715 -x713 x711 x709 -x707 x705 x673 x671 -x669 x667 x665 -x663 -x631 x629 x627 -x625 x623 x621 x589 -x587 x585
637.30/639.43 v x583 -x581 x579 x547 x545 -x543 x541 -x538 x539 -x537 -x505 x503 x501 -x499 x497 x495 x463 -x461 x459 x457 -x455 x453 x421
637.30/639.43 v x419 -x417 x415 x413 -x411 -x379 x377 x375 -x373 x371 x369 x337 -x335 x333 x331 -x329 x327 x295 x293 -x291 x289 x287 -x285 -x253
637.30/639.43 v x251 x249 -x247 x245 x243 x211 -x209 x207 x205 -x203 x201 x169 x167 -x165 x163 x161 -x159 -x127 x125 x123 -x121 x119 x117
637.30/639.43 v x85 -x83 x81 x79 -x77 x75 x43 x41 -x39 x37 x35 -x33 x22 -x23 x1 x1008 x1002 x996 -x997 -x990 x991 x984 -x985 -x978 x979 -x972
637.30/639.43 v x973 -x966 -x960 -x954 x955 -x948 x949 x942 -x943 -x936 x937 x930 -x931 -x924 -x918 -x912 -x913 -x906 -x907 -x900 -x901 -x894
637.30/639.43 v -x895 -x888 -x889 x882 x876 x870 -x871 -x864 x865 -x858 x859 -x852 x853 x846 -x847 -x840 -x834 -x828 x829 -x822 x823 x816
637.30/639.43 v -x817 -x810 x811 -x804 x805 -x798 -x792 -x786 -x787 -x780 -x781 -x774 -x775 -x768 -x769 -x762 -x763 x756 x750 x744 -x745 -x738
637.30/639.43 v x739 x732 -x733 x726 -x727 -x720 x721 -x714 -x708 -x702 x703 x696 -x697 -x690 x691 -x684 x685 x678 -x679 -x672 -x666 -x660
637.30/639.43 v -x661 -x654 -x655 -x648 -x649 -x642 -x643 -x636 -x637 x630 x624 x618 -x619 -x612 x613 x606 -x607 x600 -x601 x594 -x595 -x588
637.30/639.43 v -x582 -x576 x577 x570 -x571 x564 -x565 -x558 x559 -x552 x553 -x546 -x540 -x534 -x535 -x528 -x529 -x522 -x523 -x516 -x517 -x510
637.30/639.43 v -x511 x504 x498 x492 -x493 -x486 x487 -x480 x481 x474 -x475 x468 -x469 -x462 -x456 -x450 x451 x444 -x445 x438 -x439 x432 -x433
637.30/639.43 v x426 -x427 -x420 -x414 -x408 -x409 -x402 -x403 -x396 -x397 -x390 -x391 -x384 -x385 x378 x372 x366 -x367 -x360 x361 -x354
637.30/639.43 v x355 x348 -x349 x342 -x343 -x336 -x330 -x324 x325 -x318 x319 x312 -x313 -x306 x307 -x300 x301 -x294 -x288 -x282 -x283 -x276 -x277
637.30/639.43 v -x270 -x271 -x264 -x265 -x258 x259 x252 x246 x240 -x241 -x234 x235 -x228 x229 x222 -x223 -x216 -x217 -x210 -x204 -x198 x199
637.30/639.43 v x192 -x193 x186 -x187 -x180 x181 x174 -x175 -x168 -x162 -x156 -x157 -x150 -x151 -x144 -x145 x138 -x139 x132 -x133 x126 x120
637.30/639.43 v x114 -x115 x108 -x109 -x102 x103 -x96 -x97 -x90 -x91 -x84 -x78 -x72 x73 -x66 x67 -x60 x61 x54 -x55 -x48 x49 -x42 -x36 -x30
637.30/639.43 v -x31 -x24 -x25 -x18 -x19 -x12 x13 x6 -x7 -x1006 -x994 -x995 -x988 -x989 -x982 -x983 -x976 -x977 -x970 -x971 x964 x958 x952 -x953
637.30/639.43 v x946 -x947 -x940 x941 x934 -x935 -x928 x929 -x922 -x916 -x910 x911 x904 -x905 -x898 x899 -x892 x893 -x886 x887 -x880 -x874
637.30/639.43 v -x868 -x869 -x862 -x863 -x856 -x857 -x850 -x851 -x844 -x845 x838 x832 x826 -x827 x820 -x821 -x814 x815 x808 -x809 x802 -x803
637.30/639.43 v -x796 -x790 -x784 x785 x778 -x779 x772 -x773 x766 -x767 -x760 x761 -x754 -x748 -x742 -x743 -x736 -x737 -x730 -x731 -x724 -x725
637.30/639.43 v -x718 -x719 x712 x706 x700 -x701 -x694 x695 x688 -x689 x682 -x683 -x676 x677 -x670 -x664 -x658 x659 x652 -x653 x646 -x647
637.30/639.43 v x640 -x641 x634 -x635 -x628 -x622 -x616 -x617 -x610 -x611 -x604 -x605 -x598 -x599 -x592 -x593 x586 x580 x574 -x575 -x568 x569
637.30/639.43 v -x562 x563 x556 -x557 x550 -x551 -x544 -x532 x533 -x526 x527 x520 -x521 x514 -x515 -x508 x509 -x502 -x496 -x490 -x491 -x484
637.30/639.43 v -x485 -x478 -x479 -x472 -x473 -x466 -x467 x460 x454 x448 -x449 -x442 x443 -x436 x437 -x430 x431 -x424 x425 -x418 -x412 -x406
637.30/639.43 v x407 x400 -x401 x394 -x395 x388 -x389 x382 -x383 -x376 -x370 -x364 -x365 -x358 -x359 -x352 -x353 -x346 -x347 -x340 -x341 x334
637.30/639.43 v x328 x322 -x323 x316 -x317 -x310 x311 x304 -x305 x298 -x299 -x292 -x286 -x280 x281 x274 -x275 x268 -x269 -x262 x263 -x256
637.30/639.43 v -x257 -x250 -x244 -x238 -x239 -x232 -x233 -x226 -x227 -x220 -x221 x214 -x215 x208 x202 x196 -x197 -x190 x191 -x184 x185 x178
637.30/639.43 v -x179 -x172 -x173 -x166 -x160 -x154 x155 -x148 x149 x142 -x143 -x136 x137 -x130 x131 -x124 -x118 -x112 -x113 -x106 -x107 -x100
637.30/639.43 v -x101 -x94 x95 x88 -x89 x82 x76 x70 -x71 x64 -x65 x58 -x59 -x52 -x53 -x46 -x47 -x40 -x34 -x28 x29 x16 -x17 x10 -x11 -x4 x5
637.30/639.43 v -x1004 -x998 -x992 x993 -x980 x981 x974 -x975 x968 -x969 -x962 -x956 -x950 -x951 -x944 -x945 -x938 -x939 -x932 -x933 -x926 -x927
637.30/639.43 v x920 x914 x908 -x909 -x902 x903 x896 -x897 x890 -x891 x884 -x885 -x878 -x872 -x866 x867 x860 -x861 x854 -x855 x848 -x849
637.30/639.43 v -x842 x843 -x836 -x830 -x824 -x825 -x818 -x819 -x812 -x813 -x806 -x807 -x800 -x801 x794 x788 x782 -x783 -x776 x777 -x770 x771
637.30/639.43 v -x764 x765 x758 -x759 -x752 -x746 -x740 x741 x734 -x735 -x728 x729 -x722 x723 x716 -x717 -x710 -x704 -x698 -x699 -x692 -x693
637.30/639.43 v -x686 -x687 -x680 -x681 -x674 -x675 x668 x662 x656 -x657 -x650 x651 -x644 x645 -x638 x639 -x632 x633 -x626 -x620 -x614 x615
637.30/639.43 v x608 -x609 -x602 x603 -x596 x597 -x590 x591 -x584 -x578 -x572 -x573 -x566 -x567 -x560 -x561 -x554 -x555 -x548 -x549 x542 x536
637.30/639.43 v x530 -x531 x524 -x525 -x518 x519 -x512 x513 x506 -x507 -x500 -x494 -x488 x489 x482 -x483 x476 -x477 -x470 x471 -x464 x465 -x458
637.30/639.43 v -x452 -x446 -x447 -x440 -x441 -x434 -x435 -x428 -x429 -x422 -x423 x416 x410 x404 -x405 -x398 x399 -x392 x393 -x386 x387 -x380
637.30/639.43 v x381 -x374 -x368 -x362 x363 x356 -x357 x350 -x351 -x344 x345 -x338 x339 -x332 -x326 -x320 -x321 -x314 -x315 -x308 -x309
637.30/639.43 v -x302 -x303 -x296 -x297 x290 x284 x278 -x279 -x272 x273 -x266 x267 x260 -x261 x254 -x255 -x248 -x242 -x236 x237 x230 -x231 x224
637.30/639.43 v -x225 -x218 x219 -x212 x213 -x206 -x200 -x194 -x195 -x188 -x189 -x182 -x183 -x176 -x177 -x170 x171 x164 x158 x152 -x153 x146
637.30/639.43 v -x147 -x140 x141 -x134 -x135 -x128 -x129 -x122 -x116 -x110 x111 -x104 x105 x98 -x99 x92 -x93 -x86 x87 -x80 -x74 -x68 -x69
637.30/639.43 v -x62 -x63 -x56 -x57 -x50 x51 x44 -x45 x38 x32 x26 -x27 -x20 x21 -x14 x15 -x8 -x9 -x2 -x3
637.30/639.43 c SCIP Status : problem is solved [optimal solution found]
637.30/639.43 c Total Time : 639.40
637.30/639.43 c solving : 639.40
637.30/639.43 c presolving : 0.94 (included in solving)
637.30/639.43 c reading : 0.09 (included in solving)
637.30/639.43 c copying : 0.34 (9 #copies) (minimal 0.03, maximal 0.05, average 0.04)
637.30/639.43 c Original Problem :
637.30/639.43 c Problem name : HOME/instance-4524078-1751601825.opb
637.30/639.43 c Variables : 11443 (11443 binary, 0 integer, 0 implicit integer, 0 continuous)
637.30/639.43 c Constraints : 12271 initial, 12271 maximal
637.30/639.43 c Objective : minimize, 858 non-zeros (abs.min = 1, abs.max = 200)
637.30/639.43 c Presolved Problem :
637.30/639.43 c Problem name : t_HOME/instance-4524078-1751601825.opb
637.30/639.43 c Variables : 6708 (6708 binary, 0 integer, 0 implicit integer, 0 continuous)
637.30/639.43 c Constraints : 18657 initial, 20173 maximal
637.30/639.43 c Objective : minimize, 858 non-zeros (abs.min = 1, abs.max = 200)
637.30/639.43 c Nonzeros : 45285 constraint, 36726 clique table
637.30/639.43 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
637.30/639.43 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c domcol : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
637.30/639.43 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c dualsparsify : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
637.30/639.43 c gateextraction : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
637.30/639.43 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
637.30/639.43 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c milp : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
637.30/639.43 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
637.30/639.43 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
637.30/639.43 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c dualfix : 0.00 0.00 6 1 0 0 0 0 0 0 0 0
637.30/639.43 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c probing : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
637.30/639.43 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
637.30/639.43 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
637.30/639.43 c knapsack : 0.09 0.00 2 0 0 0 0 0 5475 16668 0 0
637.30/639.43 c setppc : 0.07 0.00 8 0 0 0 0 0 0 0 0 0
637.30/639.43 c linear : 0.19 0.01 8 0 4734 0 0 0 4807 0 726 363
637.30/639.43 c logicor : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
637.30/639.43 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
637.30/639.43 c root node : - - - 1615 - - 1615 - - - - -
637.30/639.43 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
637.30/639.43 c benderslp : 0 0 0 0 1039 0 0 35 0 0 0 0 0 0 0
637.30/639.43 c integral : 0 0 0 0 1039 0 0 35 0 0 6491 0 0 600 1674
637.30/639.43 c knapsack : 0+ 37 0 32413 0 0 0 0 52 5 101 0 0 0 0
637.30/639.43 c setppc : 17610+ 17636 22 34559 3 0 0 29 78610 217 321053 0 0 0 0
637.30/639.43 c linear : 0+ 116 0 32257 0 0 0 3 137 30 1193 0 0 0 0
637.30/639.43 c logicor : 1047+ 2386 22 22815 3 0 0 1 7238 553 17433 22 12 0 0
637.30/639.43 c benders : 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0
637.30/639.43 c fixedvar : 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0
637.30/639.43 c countsols : 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0
637.30/639.43 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
637.30/639.43 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c integral : 212.11 0.00 0.00 0.00 212.11 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c knapsack : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
637.30/639.43 c setppc : 1.90 0.00 0.03 1.11 0.00 0.00 0.00 0.00 0.03 0.74
637.30/639.43 c linear : 0.24 0.01 0.00 0.15 0.00 0.00 0.00 0.00 0.01 0.08
637.30/639.43 c logicor : 0.42 0.00 0.00 0.29 0.00 0.00 0.00 0.00 0.01 0.12
637.30/639.43 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c Propagators : #Propagate #ResProp Cutoffs DomReds
637.30/639.43 c dualfix : 1 0 0 0
637.30/639.43 c genvbounds : 0 0 0 0
637.30/639.43 c nlobbt : 0 0 0 0
637.30/639.43 c obbt : 0 0 0 0
637.30/639.43 c probing : 0 0 0 0
637.30/639.43 c pseudoobj : 13892 0 0 0
637.30/639.43 c redcost : 2369 0 0 9192
637.30/639.43 c rootredcost : 4 0 0 0
637.30/639.43 c symmetry : 0 0 0 0
637.30/639.43 c vbounds : 28471 0 0 0
637.30/639.43 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
637.30/639.43 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c genvbounds : 0.01 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c probing : 0.18 0.00 0.18 0.00 0.00 0.00
637.30/639.43 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
637.30/639.43 c redcost : 0.47 0.00 0.00 0.47 0.00 0.00
637.30/639.43 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
637.30/639.43 c symmetry : 0.04 0.00 0.03 0.00 0.00 0.00
637.30/639.43 c vbounds : 0.41 0.00 0.01 0.39 0.00 0.01
637.30/639.43 c Symmetry :
637.30/639.43 c orbitopal red. : 0 reductions applied, 0 cutoffs
637.30/639.43 c orbital reduction: 0 reductions applied, 0 cutoffs
637.30/639.43 c lexicographic red: 0 reductions applied, 0 cutoffs
637.30/639.43 c shadow tree time : 0.00 s
637.30/639.43 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
637.30/639.43 c propagation : 0.06 771 747 - 2866 40.5 164 19.5 - - -
637.30/639.43 c infeasible LP : 0.10 90 90 - 604 63.9 24 17.2 92 52.5 0
637.30/639.43 c bound exceed. LP : 0.88 187 187 - 231 292.5 4 10.5 185 624.5 1580
637.30/639.43 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
637.30/639.43 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
637.30/639.43 c applied globally : 0.02 - - 0 2707 34.4 - - 277 - -
637.30/639.43 c applied locally : - - - 0 0 0.0 - - 0 - -
637.30/639.43 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
637.30/639.43 c cut pool : 2.57 - 1018 41 - - 20549 92615 - - - - - (maximal pool size: 4461)
637.30/639.43 c aggregation : 8.17 0.00 549 22 0 0 0 0 0 0 0 0 0
637.30/639.43 c > cmir : - - - - - - - 0 0 0 0 0 -
637.30/639.43 c > flowcover : - - - - - - - 0 0 0 0 0 -
637.30/639.43 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
637.30/639.43 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c clique : 2.11 0.00 22 22 0 0 0 0 0 0 0 0 0
637.30/639.43 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c gomory : 51.30 0.00 323 10 0 0 17439 58358 0 2501 2501 0 0
637.30/639.43 c > gomorymi : - - - - - - - 28032 0 727 727 0 -
637.30/639.43 c > strongcg : - - - - - - - 30326 0 1774 1774 0 -
637.30/639.43 c impliedbounds : 0.48 0.00 549 22 0 0 6 43 0 28 28 0 0
637.30/639.43 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c mcf : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
637.30/639.43 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c multilinear : 0.00 0.00 88 22 0 0 0 0 0 0 0 0 0
637.30/639.43 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
637.30/639.43 c rlt : 0.00 0.00 110 10 0 0 0 0 0 0 0 0 0
637.30/639.43 c zerohalf : 8.31 0.00 333 20 0 0 3102 34214 0 17756 17756 0 0
637.30/639.43 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
637.30/639.43 c hybrid : 0.25 0.00 654 21 20297 0 72252 231 0 3480
637.30/639.43 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c Pricers : ExecTime SetupTime Calls Vars
637.30/639.43 c problem variables: 0.00 - 0 0
637.30/639.43 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
637.30/639.43 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c random : 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c relpscost : 212.11 0.00 1036 0 0 0 6491 0 790 1674
637.30/639.43 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
637.30/639.43 c Primal Heuristics : ExecTime SetupTime Calls Found Best
637.30/639.43 c LP solutions : 0.00 - - 3 3
637.30/639.43 c relax solutions : 0.00 - - 0 0
637.30/639.43 c pseudo solutions : 0.00 - - 0 0
637.30/639.43 c strong branching : 0.01 - - 0 0
637.30/639.43 c actconsdiving : 0.00 0.00 0 0 0
637.30/639.43 c adaptivediving : 2.88 0.00 14 0 0
637.30/639.43 c alns : 0.38 0.00 4 0 0
637.30/639.43 c bound : 0.00 0.00 0 0 0
637.30/639.43 c clique : 0.05 0.00 1 0 0
637.30/639.43 c coefdiving : 0.00 0.00 0 0 0
637.30/639.43 c completesol : 0.00 0.00 0 0 0
637.30/639.43 c conflictdiving : 1.95 0.00 14 0 0
637.30/639.43 c crossover : 0.12 0.00 1 0 0
637.30/639.43 c dins : 0.00 0.00 0 0 0
637.30/639.43 c distributiondivin: 3.52 0.00 9 0 0
637.30/639.43 c dps : 0.00 0.00 0 0 0
637.30/639.43 c dualval : 0.00 0.00 0 0 0
637.30/639.43 c farkasdiving : 8.09 0.00 1 0 0
637.30/639.43 c feasjump : 0.03 0.00 1 0 0
637.30/639.43 c feaspump : 11.34 0.00 3 0 0
637.30/639.43 c fixandinfer : 0.00 0.00 0 0 0
637.30/639.43 c fracdiving : 1.40 0.00 12 0 0
637.30/639.43 c gins : 0.20 0.00 2 0 0
637.30/639.43 c guideddiving : 1.16 0.00 14 0 0
637.30/639.43 c indcoefdiving : 0.00 0.00 0 0 0
637.30/639.43 c indicator : 0.00 0.00 0 0 0
637.30/639.43 c indicatordiving : 0.00 0.00 0 0 0
637.30/639.43 c indoneopt : 0.00 0.00 0 0 0
637.30/639.43 c indrounding : 0.00 0.00 0 0 0
637.30/639.43 c indtwoopt : 0.00 0.00 0 0 0
637.30/639.43 c intdiving : 0.00 0.00 0 0 0
637.30/639.43 c intshifting : 0.00 0.00 0 0 0
637.30/639.43 c linesearchdiving : 0.93 0.00 14 0 0
637.30/639.43 c localbranching : 0.00 0.00 0 0 0
637.30/639.43 c locks : 0.02 0.00 1 0 0
637.30/639.43 c lpface : 0.00 0.00 0 0 0
637.30/639.43 c mpec : 0.00 0.00 0 0 0
637.30/639.43 c multistart : 0.00 0.00 0 0 0
637.30/639.43 c mutation : 0.00 0.00 0 0 0
637.30/639.43 c nlpdiving : 0.00 0.00 0 0 0
637.30/639.43 c objpscostdiving : 22.49 0.00 3 0 0
637.30/639.43 c octane : 0.00 0.00 0 0 0
637.30/639.43 c ofins : 0.00 0.00 0 0 0
637.30/639.43 c oneopt : 0.01 0.00 3 0 0
637.30/639.43 c padm : 0.00 0.00 0 0 0
637.30/639.43 c proximity : 0.00 0.00 0 0 0
637.30/639.43 c pscostdiving : 2.12 0.00 12 0 0
637.30/639.43 c randrounding : 0.15 0.00 47 0 0
637.30/639.43 c rens : 0.16 0.00 1 0 0
637.30/639.43 c reoptsols : 0.00 0.00 0 0 0
637.30/639.43 c repair : 0.00 0.00 0 0 0
637.30/639.43 c rins : 0.17 0.00 1 0 0
637.30/639.43 c rootsoldiving : 4.96 0.00 3 0 0
637.30/639.43 c rounding : 0.35 0.00 503 0 0
637.30/639.43 c scheduler : 0.00 0.00 0 0 0
637.30/639.43 c shiftandpropagate: 0.01 0.00 1 0 0
637.30/639.43 c shifting : 1.82 0.00 349 0 0
637.30/639.43 c simplerounding : 0.00 0.00 0 0 0
637.30/639.43 c smallcard : 0.00 0.00 0 0 0
637.30/639.43 c subnlp : 0.00 0.00 0 0 0
637.30/639.43 c trivial : 0.01 0.00 2 0 0
637.30/639.43 c trivialnegation : 0.00 0.00 0 0 0
637.30/639.43 c trustregion : 0.00 0.00 0 0 0
637.30/639.43 c trysol : 0.00 0.00 0 0 0
637.30/639.43 c twoopt : 0.00 0.00 0 0 0
637.30/639.43 c undercover : 0.00 0.00 0 0 0
637.30/639.43 c vbounds : 0.03 0.00 1 0 0
637.30/639.43 c veclendiving : 1.28 0.00 12 0 0
637.30/639.43 c zeroobj : 0.00 0.00 0 0 0
637.30/639.43 c zirounding : 0.37 0.00 837 0 0
637.30/639.43 c other solutions : - - - 0 -
637.30/639.43 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
637.30/639.43 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
637.30/639.43 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
637.30/639.43 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
637.30/639.43 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
637.30/639.43 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
637.30/639.43 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
637.30/639.43 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
637.30/639.43 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
637.30/639.43 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
637.30/639.43 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
637.30/639.43 c primal LP : 0.74 229 0 0.00 0.00 0.74 229
637.30/639.43 c dual LP : 274.23 2676 1334760 628.71 4867.33 2.07 553
637.30/639.43 c lex dual LP : 0.00 0 0 0.00 -
637.30/639.43 c barrier LP : 0.00 0 0 0.00 - 0.00 0
637.30/639.43 c resolve instable : 0.00 0 0 0.00 -
637.30/639.43 c diving/probing LP: 86.54 706 366600 519.26 4236.22
637.30/639.43 c strong branching : 175.62 1705 798183 468.14 4544.84 - - 808
637.30/639.43 c (at root node) : - 20 18745 937.25 -
637.30/639.43 c conflict analysis: 0.50 160 1580 9.88 3184.62
637.30/639.43 c B&B Tree :
637.30/639.43 c number of runs : 1
637.30/639.43 c nodes : 1435 (837 internal, 598 leaves)
637.30/639.43 c feasible leaves : 3
637.30/639.43 c infeas. leaves : 247
637.30/639.43 c objective leaves : 348
637.30/639.43 c nodes (total) : 1435 (837 internal, 598 leaves)
637.30/639.43 c nodes left : 0
637.30/639.43 c max depth : 40
637.30/639.43 c max depth (total): 40
637.30/639.43 c backtracks : 460 (32.1%)
637.30/639.43 c early backtracks : 0 (0.0%)
637.30/639.43 c nodes exc. ref. : 0 (0.0%)
637.30/639.43 c delayed cutoffs : 240
637.30/639.43 c repropagations : 1282 (80886 domain reductions, 97 cutoffs)
637.30/639.43 c avg switch length: 5.22
637.30/639.43 c switching time : 3.22
637.30/639.43 c Root Node :
637.30/639.43 c First LP value : +1.79027213656977e+04
637.30/639.43 c First LP Iters : 12555 (5441.77 Iter/sec)
637.30/639.43 c First LP Time : 2.31
637.30/639.43 c Final Dual Bound : +1.83512605326060e+04
637.30/639.43 c Final Root Iters : 57011
637.30/639.43 c Root LP Estimate : +2.38596486915744e+04
637.30/639.43 c Solution :
637.30/639.43 c Solutions found : 3 (3 improvements)
637.30/639.43 c First Solution : +2.12740000000000e+04 (in run 1, after 241 nodes, 143.59 seconds, depth 20, found by <relaxation>)
637.30/639.43 c Gap First Sol. : 13.66 %
637.30/639.43 c Gap Last Sol. : 7.20 %
637.30/639.43 c Primal Bound : +2.03240000000000e+04 (in run 1, after 383 nodes, 174.59 seconds, depth 11, found by <relaxation>)
637.30/639.43 c Dual Bound : +2.03240000000000e+04
637.30/639.43 c Gap : 0.00 %
637.30/639.43 c Integrals : Total Avg%
637.30/639.43 c primal-dual : 16982.79 26.56
637.30/639.43 c primal-ref : - - (not evaluated)
637.30/639.43 c dual-ref : - - (not evaluated)
637.50/639.69 c Time complete: 637.6.
OK 20324
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (58985 MiB free)
memory of node 1: 64507 MiB (58350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524078-1751601825/watcher-4524078-1751601825 -o /tmp/evaluation-result-4524078-1751601825/solver-4524078-1751601825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89441 --watchdog 3760 pbscip -f HOME/instance-4524078-1751601825.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=90340, runsolver pid=90337
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 4.21 4.13 4.14 5/253 90341
/proc/meminfo: memFree=120128220/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=62632 memory=35072 CPUtime=0.09 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 5803 0 0 0 8 1 0 0 20 0 1 0 75862259 64135168 8768 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 15658 8768 3264 3530 0 7109 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62632 KiB
Current children cumulated memory: 35072 KiB
[startup+0.214104 s]*
/proc/loadavg: 4.21 4.13 4.14 5/253 90341
/proc/meminfo: memFree=120104280/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=90052 memory=62336 CPUtime=0.21 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 12312 0 0 0 18 3 0 0 20 0 1 0 75862259 92213248 15584 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 22513 15584 3616 3530 0 13964 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 90052 KiB
Current children cumulated memory: 62336 KiB
[startup+0.313999 s]*
/proc/loadavg: 4.21 4.13 4.14 5/253 90341
/proc/meminfo: memFree=120088152/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=100112 memory=72732 CPUtime=0.3 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 15683 0 0 0 26 4 0 0 20 0 1 0 75862259 102514688 18183 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 25028 18183 3744 3530 0 16479 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100112 KiB
Current children cumulated memory: 72732 KiB
[startup+0.700341 s]
/proc/loadavg: 4.21 4.13 4.14 5/253 90341
/proc/meminfo: memFree=120088152/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=113336 memory=85992 CPUtime=0.68 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 20339 0 0 0 62 6 0 0 20 0 1 0 75862259 116056064 21498 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 28334 21498 3776 3530 0 19785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113336 KiB
Current children cumulated memory: 85992 KiB
[startup+1.50036 s]
/proc/loadavg: 4.21 4.13 4.14 5/253 90341
/proc/meminfo: memFree=120064716/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=179116 memory=138652 CPUtime=1.47 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 33816 0 0 0 139 8 0 0 20 0 1 0 75862259 183414784 34663 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 44779 34663 3968 3530 0 36230 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 179116 KiB
Current children cumulated memory: 138652 KiB
[startup+3.11362 s]
/proc/loadavg: 4.21 4.13 4.14 5/253 90341
/proc/meminfo: memFree=120037108/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=180864 memory=140828 CPUtime=3.09 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 34335 0 0 0 300 9 0 0 20 0 1 0 75862259 185204736 35207 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 45216 35207 4000 3530 0 36667 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 180864 KiB
Current children cumulated memory: 140828 KiB
[startup+6.30035 s]
/proc/loadavg: 4.27 4.15 4.14 5/253 90341
/proc/meminfo: memFree=120037260/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=181212 memory=141212 CPUtime=6.26 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 34434 0 0 0 617 9 0 0 20 0 1 0 75862259 185561088 35303 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 45303 35303 4000 3530 0 36754 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 181212 KiB
Current children cumulated memory: 141212 KiB
[startup+12.7004 s]
/proc/loadavg: 4.33 4.16 4.15 5/253 90342
/proc/meminfo: memFree=119642488/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=222700 memory=173448 CPUtime=12.64 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 40988 0 0 0 1254 10 0 0 20 0 1 0 75862259 228044800 43362 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 55675 43362 4000 3530 0 47126 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222700 KiB
Current children cumulated memory: 173448 KiB
[startup+25.5004 s]
/proc/loadavg: 4.48 4.20 4.16 5/253 90342
/proc/meminfo: memFree=118310884/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=299340 memory=222344 CPUtime=25.4 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 53234 0 0 0 2528 12 0 0 20 0 1 0 75862259 306524160 55586 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 74835 55586 4000 3530 0 66286 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 299340 KiB
Current children cumulated memory: 222344 KiB
[startup+51.1138 s]
/proc/loadavg: 4.72 4.29 4.19 5/252 90342
/proc/meminfo: memFree=118182532/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=348612 memory=272008 CPUtime=50.94 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 65653 0 0 0 5080 14 0 0 20 0 1 0 75862259 356978688 68002 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 87153 68002 4000 3530 0 78604 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 348612 KiB
Current children cumulated memory: 272008 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.27 4.19 5/251 90344
/proc/meminfo: memFree=118116936/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=348612 memory=272904 CPUtime=101.96 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 65882 0 0 0 10182 14 0 0 20 0 1 0 75862259 356978688 68226 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 87153 68226 4000 3530 0 78604 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 348612 KiB
Current children cumulated memory: 272904 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.27 4.19 5/252 90347
/proc/meminfo: memFree=117931300/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=402448 memory=317192 CPUtime=161.78 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 76981 0 0 0 16161 17 0 0 20 0 1 0 75862259 412106752 79298 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 100612 79298 4000 3530 0 92063 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 402448 KiB
Current children cumulated memory: 317192 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/252 90349
/proc/meminfo: memFree=117849112/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=469016 memory=360992 CPUtime=221.58 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 88826 0 0 0 22137 21 0 0 20 0 1 0 75862259 480272384 90248 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 117254 90248 4000 3530 0 108705 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 469016 KiB
Current children cumulated memory: 360992 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/252 90351
/proc/meminfo: memFree=117687160/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=533152 memory=412704 CPUtime=281.39 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 101748 0 0 0 28115 24 0 0 20 0 1 0 75862259 545947648 103176 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 133288 103176 4000 3530 0 124739 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 533152 KiB
Current children cumulated memory: 412704 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.20 4.17 5/251 90353
/proc/meminfo: memFree=115732372/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=608112 memory=448256 CPUtime=341.21 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 113213 0 0 0 34095 26 0 0 20 0 1 0 75862259 622706688 112064 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 152028 112064 4000 3530 0 143479 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 608112 KiB
Current children cumulated memory: 448256 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/251 90355
/proc/meminfo: memFree=115844400/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=676984 memory=463872 CPUtime=401.01 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 117160 0 0 0 40074 27 0 0 20 0 1 0 75862259 693231616 115968 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 169246 115968 4000 3530 0 160697 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 676984 KiB
Current children cumulated memory: 463872 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/251 90359
/proc/meminfo: memFree=115833716/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=743252 memory=476800 CPUtime=460.8 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 120444 0 0 0 46051 29 0 0 20 0 1 0 75862259 761090048 119200 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 185813 119200 4000 3530 0 177264 0
Current children cumulated CPU time: 460.8 s
Current children cumulated vsize: 743252 KiB
Current children cumulated memory: 476800 KiB
[startup+522.3 s]
/proc/loadavg: 4.06 4.14 4.16 5/250 90365
/proc/meminfo: memFree=115768720/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519040 CPUtime=520.59 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 131001 0 0 0 52028 31 0 0 20 0 1 0 75862259 839876608 129760 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129760 4000 3530 0 196499 0
Current children cumulated CPU time: 520.59 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519040 KiB
[startup+582.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/250 90367
/proc/meminfo: memFree=115776920/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519680 CPUtime=580.39 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 131995 0 0 0 58007 32 0 0 20 0 1 0 75862259 839876608 129920 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129920 4000 3530 0 196499 0
Current children cumulated CPU time: 580.39 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519680 KiB
[startup+639.717 s]
# the end of solver process 90340 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=637.263 s, system=0.361685 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.06 4.12 4.15 5/250 90367
/proc/meminfo: memFree=115775384/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519680 CPUtime=586.87 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 131995 0 0 0 58655 32 0 0 20 0 1 0 75862259 839876608 129920 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129920 4000 3530 0 196499 0
Current children cumulated CPU time: 586.87 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519680 KiB
[startup+614.4 s]
/proc/loadavg: 4.10 4.13 4.15 5/251 90371
/proc/meminfo: memFree=115778684/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519936 CPUtime=612.39 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 132036 0 0 0 61206 33 0 0 20 0 1 0 75862259 839876608 129984 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129984 4000 3530 0 196499 0
Current children cumulated CPU time: 612.39 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519936 KiB
[startup+627.2 s]
/proc/loadavg: 4.07 4.12 4.15 5/251 90372
/proc/meminfo: memFree=115762556/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519936 CPUtime=625.14 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 132038 0 0 0 62481 33 0 0 20 0 1 0 75862259 839876608 129984 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129984 4000 3530 0 196499 0
Current children cumulated CPU time: 625.14 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519936 KiB
[startup+633.6 s]
/proc/loadavg: 4.07 4.12 4.15 5/251 90372
/proc/meminfo: memFree=115762792/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519936 CPUtime=631.52 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 132038 0 0 0 63119 33 0 0 20 0 1 0 75862259 839876608 129984 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129984 4000 3530 0 196499 0
Current children cumulated CPU time: 631.52 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519936 KiB
[startup+636.8 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 90372
/proc/meminfo: memFree=115762792/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519936 CPUtime=634.71 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 132038 0 0 0 63437 34 0 0 20 0 1 0 75862259 839876608 129984 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129984 4000 3530 0 196499 0
Current children cumulated CPU time: 634.71 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519936 KiB
[startup+638.4 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 90372
/proc/meminfo: memFree=115764660/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519936 CPUtime=636.31 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 132038 0 0 0 63597 34 0 0 20 0 1 0 75862259 839876608 129984 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129984 4000 3530 0 196499 0
Current children cumulated CPU time: 636.31 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519936 KiB
[startup+639.2 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 90372
/proc/meminfo: memFree=115764884/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=820192 memory=519936 CPUtime=637.1 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 132038 0 0 0 63676 34 0 0 20 0 1 0 75862259 839876608 129984 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 205048 129984 4000 3530 0 196499 0
Current children cumulated CPU time: 637.1 s
Current children cumulated vsize: 820192 KiB
Current children cumulated memory: 519936 KiB
[startup+639.6 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 90372
/proc/meminfo: memFree=115764884/131382116 swapFree=33010684/33010684
[pid=90340] ppid=90337 vsize=812504 memory=512252 CPUtime=637.5 cores=1,3
/proc/90340/stat : 90340 (pbscip) R 90337 90340 89429 0 -1 4194304 132205 0 0 0 63716 34 0 0 20 0 1 0 75862259 832004096 128063 18446744073709551615 4235264 18693293 140723566357488 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48660480 140723566360969 140723566361068 140723566361068 140723566366670 0
/proc/90340/statm: 203126 128063 4000 3530 0 194577 0
Current children cumulated CPU time: 637.5 s
Current children cumulated vsize: 812504 KiB
Current children cumulated memory: 512252 KiB
[startup+639.7 s]*
/proc/loadavg: 4.13 4.13 4.15 5/251 90372
/proc/meminfo: memFree=115841780/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 639.717
CPU time (s): 637.624
CPU user time (s): 637.263
CPU system time (s): 0.361685
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 820192
Max. memory (cumulated for all children) (KiB): 519936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 637.262
system time used= 0.361685
maximum resident set size= 519936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132211
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= 107
involuntary context switches= 604
# summary of solver processes directly reported to runsolver:
# pid: 90340
# total CPU time (s): 637.624
# total CPU user time (s): 637.263
# total CPU system time (s): 0.361685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69841 second user time and 6.11364 second system time
The end
Begin job on nodeC011 at 2025-07-04 06:03:45 IDJOB=4524078 IDBENCH=180479 IDSOLVER=3365 FILE ID=nodeC011/4524078-1751601825 RUNJOBID= nodeC011-1751594361-89441 SLURM_JOB_ID= 9598860 Free space on /tmp= 430408 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Charlotte-mini-24-2_c24.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524078-1751601825/watcher-4524078-1751601825 -o /tmp/evaluation-result-4524078-1751601825/solver-4524078-1751601825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89441 --watchdog 3760 pbscip -f HOME/instance-4524078-1751601825.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7a0e4e925858bc3ae1a84eaa7212c221 RANDOM SEED=2043974467 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.631 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.468 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.290 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.101 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.078 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.533 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 120151740 kB MemAvailable: 122972112 kB Buffers: 3276 kB Cached: 3615640 kB SwapCached: 0 kB Active: 7390332 kB Inactive: 3173868 kB Active(anon): 6961140 kB Inactive(anon): 2104 kB Active(file): 429192 kB Inactive(file): 3171764 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19176 kB Writeback: 4 kB AnonPages: 6946744 kB Mapped: 136812 kB Shmem: 17960 kB KReclaimable: 117704 kB Slab: 203356 kB SReclaimable: 117704 kB SUnreclaim: 85652 kB KernelStack: 4080 kB PageTables: 17168 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7549804 kB VmallocTotal: 34359738367 kB VmallocUsed: 149464 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1138688 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430388 MiB End job on nodeC011 at 2025-07-04 06:14:25