Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 1767.21 | 1767.49 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb |
| MD5SUM | bd1f23f2ad95dce248911d20ecda08b7 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4397958 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| 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 | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 109215352 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 5000695793 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 109215352 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 5000695793 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-3743969-1338797788.opb>
0.08/0.16 c original problem has 9765 variables (9765 bin, 0 int, 0 impl, 0 cont) and 21293 constraints
0.08/0.16 c problem read
0.08/0.16 c presolving settings loaded
0.18/0.21 c presolving:
0.18/0.28 c (round 1) 1020 del vars, 634 del conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 0 upgd conss, 28590 impls, 1 clqs
0.38/0.40 c (round 2) 1020 del vars, 739 del conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 20551 upgd conss, 28590 impls, 1 clqs
1.09/1.19 c (round 3) 1020 del vars, 739 del conss, 60 chg bounds, 105 chg sides, 3255 chg coeffs, 20551 upgd conss, 1382670 impls, 1 clqs
1.28/1.36 c (round 4) 1020 del vars, 739 del conss, 60 chg bounds, 2835 chg sides, 16905 chg coeffs, 20551 upgd conss, 1382670 impls, 2730 clqs
1.49/1.51 c (round 5) 1020 del vars, 6199 del conss, 60 chg bounds, 8295 chg sides, 33285 chg coeffs, 20551 upgd conss, 1382670 impls, 5461 clqs
1.49/2.35 c (1.6s) probing: 116/8745 (1.3%) - 0 fixings, 0 aggregations, 5880 implications, 0 bound changes
1.49/2.35 c (1.6s) probing aborted: 100/100 successive totally useless probings
1.49/2.35 c presolving (6 rounds):
1.49/2.35 c 1020 deleted vars, 6199 deleted constraints, 60 tightened bounds, 0 added holes, 8295 changed sides, 33285 changed coefficients
1.49/2.35 c 1394430 implications, 5461 cliques
1.49/2.35 c presolved problem has 8745 variables (8745 bin, 0 int, 0 impl, 0 cont) and 23284 constraints
1.49/2.35 c 3300 constraints of type <knapsack>
1.49/2.35 c 13981 constraints of type <setppc>
1.49/2.35 c 3 constraints of type <linear>
1.49/2.35 c 6000 constraints of type <logicor>
1.49/2.35 c transformed objective value is always integral (scale: 1)
1.49/2.35 c Presolving Time: 1.59
1.49/2.35 c - non default parameters ----------------------------------------------------------------------
1.49/2.35 c # SCIP version 1.2.1.3
1.49/2.35 c
1.49/2.35 c # frequency for displaying node information lines
1.49/2.35 c # [type: int, range: [-1,2147483647], default: 100]
1.49/2.35 c display/freq = 10000
1.49/2.35 c
1.49/2.35 c # maximal time in seconds to run
1.49/2.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/2.35 c limits/time = 1789.85
1.49/2.35 c
1.49/2.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/2.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/2.35 c limits/memory = 13950
1.49/2.35 c
1.49/2.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.49/2.35 c # [type: int, range: [1,2], default: 1]
1.49/2.35 c timing/clocktype = 2
1.49/2.35 c
1.49/2.35 c # should presolving try to simplify inequalities
1.49/2.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/2.35 c constraints/linear/simplifyinequalities = TRUE
1.49/2.35 c
1.49/2.35 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.49/2.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/2.35 c constraints/indicator/addCouplingCons = TRUE
1.49/2.35 c
1.49/2.35 c # should presolving try to simplify knapsacks
1.49/2.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/2.35 c constraints/knapsack/simplifyinequalities = TRUE
1.49/2.35 c
1.49/2.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.49/2.35 c # [type: int, range: [-1,2147483647], default: -1]
1.49/2.35 c separating/rapidlearning/freq = 0
1.49/2.35 c
1.49/2.35 c -----------------------------------------------------------------------------------------------
1.49/2.35 c start solving
1.49/2.35 c
1.49/2.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/2.35 c 2.1s| 1 | 0 | 1124 | - | 91M| 0 | 132 |8745 | 23k|8745 | 23k| 0 | 0 | 0 | 2.136052e+06 | -- | Inf
12.38/12.45 c 12.3s| 1 | 0 | 7144 | - | 92M| 0 | 175 |8745 | 23k|8745 | 23k| 19 | 0 | 0 | 2.842597e+06 | -- | Inf
15.88/15.99 c 15.8s| 1 | 0 | 7406 | - | 92M| 0 | 186 |8745 | 23k|8745 | 23k| 30 | 0 | 0 | 2.899395e+06 | -- | Inf
19.68/19.79 c 19.6s| 1 | 0 | 7762 | - | 93M| 0 | 241 |8745 | 23k|8745 | 23k| 38 | 0 | 0 | 2.944656e+06 | -- | Inf
23.08/23.14 c 23.0s| 1 | 0 | 8077 | - | 93M| 0 | 221 |8745 | 23k|8745 | 23k| 44 | 0 | 0 | 3.012114e+06 | -- | Inf
26.88/26.98 c 26.8s| 1 | 0 | 8269 | - | 94M| 0 | 234 |8745 | 23k|8745 | 23k| 53 | 0 | 0 | 3.026615e+06 | -- | Inf
30.68/30.72 c 30.6s| 1 | 0 | 8334 | - | 94M| 0 | 221 |8745 | 23k|8745 | 23k| 57 | 0 | 0 | 3.027103e+06 | -- | Inf
32.59/32.70 c 32.5s| 1 | 0 | 8519 | - | 94M| 0 | 254 |8745 | 23k|8745 | 23k| 64 | 0 | 0 | 3.035252e+06 | -- | Inf
38.28/38.38 c 38.2s| 1 | 0 | 8799 | - | 94M| 0 | 266 |8745 | 23k|8745 | 23k| 69 | 0 | 0 | 3.044539e+06 | -- | Inf
43.78/43.88 c 43.7s| 1 | 0 | 8815 | - | 95M| 0 | 267 |8745 | 23k|8745 | 23k| 70 | 0 | 0 | 3.045197e+06 | -- | Inf
48.88/48.95 c 48.8s| 1 | 0 | 8960 | - | 95M| 0 | 242 |8745 | 23k|8745 | 23k| 71 | 0 | 0 | 3.050920e+06 | -- | Inf
63.18/63.25 c 63.1s| 1 | 2 | 8960 | - | 95M| 0 | 242 |8745 | 23k|8745 | 23k| 71 | 0 | 25 | 3.050920e+06 | -- | Inf
140.16/140.23 o 422398549
140.16/140.23 c z 140s| 14 | 13 | 11537 | 198.2 | 95M| 12 | 2 |8745 | 23k|8745 | 23k| 71 | 2 | 319 | 3.059956e+06 | 4.223985e+08 | Large
144.16/144.21 o 13473561
144.16/144.21 c z 144s| 25 | 15 | 14676 | 238.2 | 96M| 13 | 1 |8745 | 23k|8745 | 23k| 71 | 5 | 333 | 3.059956e+06 | 1.347356e+07 | 340.32%
144.16/144.29 o 12619511
144.16/144.29 c * 144s| 27 | 13 | 14728 | 221.8 | 96M| 13 | - |8745 | 23k|8745 | 23k| 71 | 10 | 333 | 3.059956e+06 | 1.261951e+07 | 312.41%
152.36/152.47 o 6850352
152.36/152.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.36/152.47 c * 152s| 64 | 29 | 20606 | 184.9 | 97M| 13 | - |8745 | 23k|8745 | 23k| 71 | 23 | 347 | 3.067295e+06 | 6.850352e+06 | 123.34%
153.46/153.50 o 5307823
153.46/153.50 c z 153s| 72 | 27 | 21922 | 182.6 | 97M| 13 | 1 |8745 | 22k|8745 | 23k| 71 | 23 | 347 | 3.067295e+06 | 5.307823e+06 | 73.05%
163.76/163.89 o 4983638
163.76/163.89 c * 164s| 154 | 46 | 30809 | 142.8 | 99M| 26 | - |8745 | 22k|8745 | 23k| 71 | 60 | 360 | 3.067295e+06 | 4.983638e+06 | 62.48%
163.96/164.01 o 4852103
163.96/164.01 c * 164s| 156 | 45 | 30855 | 141.3 | 99M| 26 | - |8745 | 22k|8745 | 23k| 71 | 60 | 360 | 3.067295e+06 | 4.852103e+06 | 58.19%
219.75/219.81 o 4821780
219.75/219.81 c R 220s| 856 | 247 | 71069 | 72.6 | 121M| 73 | 12 |8745 | 22k|8745 | 23k| 71 | 425 | 500 | 3.146468e+06 | 4.821780e+06 | 53.24%
224.45/224.59 o 4644880
224.45/224.59 c R 224s| 906 | 235 | 73913 | 71.8 | 121M| 75 | 12 |8745 | 22k|8745 | 23k| 71 | 442 | 510 | 3.220903e+06 | 4.644880e+06 | 44.21%
396.22/396.36 o 4641389
396.22/396.36 c * 396s| 3394 | 892 |182498 | 51.1 | 157M| 114 | - |8745 | 22k|8745 | 23k| 71 |1654 |1124 | 3.464386e+06 | 4.641389e+06 | 33.97%
538.10/538.29 o 4530869
538.10/538.29 c * 538s| 5465 | 1138 |268426 | 47.5 | 167M| 117 | - |8745 | 22k|8745 | 23k| 71 |2981 |1802 | 3.504305e+06 | 4.530869e+06 | 29.29%
562.70/562.83 o 4518604
562.70/562.83 c * 563s| 5799 | 1158 |282629 | 47.2 | 169M| 120 | - |8745 | 22k|8745 | 23k| 71 |3156 |1930 | 3.514749e+06 | 4.518604e+06 | 28.56%
804.56/804.76 o 4512152
804.56/804.76 c * 805s| 9182 | 1453 |451425 | 48.2 | 193M| 120 | - |8745 | 22k|8745 | 23k| 71 |5494 |2827 | 3.582507e+06 | 4.512152e+06 | 25.95%
872.95/873.19 c 873s| 10000 | 1500 |494076 | 48.5 | 197M| 120 | 50 |8745 | 22k|8745 | 23k| 71 |5966 |3202 | 3.587184e+06 | 4.512152e+06 | 25.79%
965.34/965.52 o 4338331
965.34/965.52 c * 965s| 11151 | 1310 |553250 | 48.8 | 183M| 123 | - |8745 | 22k|8745 | 23k| 71 |6586 |3663 | 3.598050e+06 | 4.338331e+06 | 20.57%
1129.71/1129.94 o 4325539
1129.71/1129.94 c *1130s| 13408 | 1219 |678406 | 49.9 | 186M| 123 | - |8745 | 22k|8745 | 23k| 71 |7660 |4069 | 3.661642e+06 | 4.325539e+06 | 18.13%
1641.03/1641.33 c 1641s| 20000 | 575 | 1036k| 51.4 | 166M| 123 | 30 |8745 | 22k|8745 | 23k| 71 | 11k|5832 | 3.860024e+06 | 4.325539e+06 | 12.06%
1653.93/1654.21 o 4323015
1653.93/1654.21 c *1654s| 20202 | 541 | 1044k| 51.2 | 164M| 123 | - |8745 | 22k|8745 | 23k| 71 | 11k|5902 | 3.869333e+06 | 4.323015e+06 | 11.73%
1767.02/1767.34 c
1767.02/1767.34 c SCIP Status : problem is solved [optimal solution found]
1767.02/1767.34 c Solving Time (sec) : 1767.17
1767.02/1767.34 c Solving Nodes : 22015
1767.02/1767.34 c Primal Bound : +4.32301500000000e+06 (31 solutions)
1767.02/1767.34 c Dual Bound : +4.32301500000000e+06
1767.02/1767.34 c Gap : 0.00 %
1767.02/1767.35 s OPTIMUM FOUND
1767.02/1767.35 v -x9165 -x9149 -x9133 -x9117 -x9101 -x9085 -x9294 -x9278 -x9262 -x9246 -x9230 -x9214 -x9198 -x9182 -x9166 -x4365 -x4364 -x4363 -x4362
1767.02/1767.35 v -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345
1767.02/1767.35 v -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327
1767.02/1767.35 v -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309
1767.02/1767.35 v -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473
1767.02/1767.35 v -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455
1767.02/1767.35 v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437
1767.02/1767.35 v -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419
1767.02/1767.35 v -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
1767.02/1767.35 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384
1767.02/1767.35 v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366
1767.02/1767.35 v -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166
1767.02/1767.35 v -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148
1767.02/1767.35 v -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130
1767.02/1767.35 v -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294
1767.02/1767.35 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
1767.02/1767.35 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
1767.02/1767.35 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
1767.02/1767.35 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
1767.02/1767.35 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
1767.02/1767.35 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
1767.02/1767.35 v -x4186 -x4185 -x4184 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
1767.02/1767.35 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
1767.02/1767.35 v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
1767.02/1767.35 v -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x4118 -x4117 -x4116
1767.02/1767.35 v -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098
1767.02/1767.35 v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080
1767.02/1767.35 v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
1767.02/1767.35 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
1767.02/1767.35 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027
1767.02/1767.35 v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009
1767.02/1767.35 v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809
1767.02/1767.35 v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791
1767.02/1767.35 v -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773
1767.02/1767.35 v -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755
1767.02/1767.35 v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919
1767.02/1767.35 v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902
1767.02/1767.35 v -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884
1767.02/1767.35 v -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866
1767.02/1767.35 v -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848
1767.02/1767.35 v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830
1767.02/1767.35 v -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630
1767.02/1767.35 v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612
1767.02/1767.35 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594
1767.02/1767.35 v -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577
1767.02/1767.35 v -x3576 -x3575 -x3574 -x3573 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
1767.02/1767.35 v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723
1767.02/1767.35 v -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705
1767.02/1767.35 v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687
1767.02/1767.35 v -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669
1767.02/1767.35 v -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651
1767.02/1767.35 v -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3455 -x3454 -x3453 -x3452
1767.02/1767.35 v -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434
1767.02/1767.35 v -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416
1767.02/1767.35 v -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398
1767.02/1767.35 v -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562
1767.02/1767.35 v -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544
1767.02/1767.35 v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526
1767.02/1767.35 v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509
1767.02/1767.35 v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491
1767.02/1767.35 v -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473
1767.02/1767.35 v -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x6016
1767.02/1767.35 v -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998
1767.02/1767.35 v -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980
1767.02/1767.35 v -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962
1767.02/1767.35 v -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945
1767.02/1767.35 v -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109
1767.02/1767.35 v -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
1767.02/1767.35 v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073
1767.02/1767.35 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055
1767.02/1767.35 v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037
1767.02/1767.35 v -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019
1767.02/1767.35 v -x6018 -x6017 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820
1767.02/1767.35 v -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802
1767.02/1767.35 v -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784
1767.02/1767.35 v -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766
1767.02/1767.35 v -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930
1767.02/1767.35 v -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912
1767.02/1767.35 v -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894
1767.02/1767.35 v -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877
1767.02/1767.35 v -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859
1767.02/1767.35 v -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841
1767.02/1767.35 v -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641
1767.02/1767.35 v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623
1767.02/1767.35 v -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605
1767.02/1767.35 v -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587
1767.02/1767.35 v -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5756 -x5755 -x5754 -x5753 -x5752
1767.02/1767.35 v -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734
1767.02/1767.35 v -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716
1767.02/1767.35 v -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698
1767.02/1767.35 v -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680
1767.02/1767.35 v -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662
1767.02/1767.35 v -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462
1767.02/1767.35 v -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445
1767.02/1767.35 v -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427
1767.02/1767.35 v -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409
1767.02/1767.35 v -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5574 -x5573
1767.02/1767.35 v -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555
1767.02/1767.35 v -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537
1767.02/1767.35 v -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519
1767.02/1767.35 v -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502
1767.02/1767.35 v -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484
1767.02/1767.35 v -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5288 -x5287 -x5286 -x5285 -x5284
1767.02/1767.35 v -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266
1767.02/1767.35 v -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248
1767.02/1767.35 v -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230
1767.02/1767.35 v -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212
1767.02/1767.35 v -x5211 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377
1767.02/1767.35 v -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359
1767.02/1767.35 v -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341
1767.02/1767.35 v -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323
1767.02/1767.35 v -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305
1767.02/1767.35 v -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5106 -x5105
1767.02/1767.35 v -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087
1767.02/1767.35 v -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070
1767.02/1767.35 v -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052
1767.02/1767.35 v -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034
1767.02/1767.35 v -x5033 -x5032 -x5031 -x5030 -x5029 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198
1767.02/1767.35 v -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180
1767.02/1767.35 v -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162
1767.02/1767.35 v -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144
1767.02/1767.35 v -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127
1767.02/1767.35 v -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109
1767.02/1767.35 v -x5108 -x5107 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909
1767.02/1767.35 v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
1767.02/1767.35 v -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873
1767.02/1767.35 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855
1767.02/1767.35 v -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019
1767.02/1767.35 v -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002
1767.02/1767.35 v -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984
1767.02/1767.35 v -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966
1767.02/1767.35 v -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948
1767.02/1767.35 v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930
1767.02/1767.35 v -x4929 -x4928 -x4927 -x4926 -x4925 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730
1767.02/1767.35 v -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712
1767.02/1767.35 v -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 x4696 -x4695 -x4694
1767.02/1767.35 v -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677
1767.02/1767.35 v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841
1767.02/1767.35 v -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823
1767.02/1767.35 v -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805
1767.02/1767.35 v -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787
1767.02/1767.35 v -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769
1767.02/1767.35 v -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751
1767.02/1767.35 v -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552
1767.02/1767.35 v -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534
1767.02/1767.35 v -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516
1767.02/1767.35 v -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498
1767.02/1767.35 v -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4664 -x4663 -x4662
1767.02/1767.35 v -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644
1767.02/1767.35 v -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626
1767.02/1767.35 v -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609
1767.02/1767.35 v -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591
1767.02/1767.35 v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573
1767.02/1767.35 v -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315
1767.02/1767.35 v -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297
1767.02/1767.35 v -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279
1767.02/1767.35 v -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261
1767.02/1767.35 v -x7260 -x7259 -x7258 -x7257 -x7256 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426
1767.02/1767.35 v -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408
1767.02/1767.35 v -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390
1767.02/1767.35 v -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372
1767.02/1767.35 v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354
1767.02/1767.35 v -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336
1767.02/1767.35 v -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7138 -x7137 -x7136
1767.02/1767.35 v -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119
1767.02/1767.35 v -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101
1767.02/1767.35 v -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083
1767.02/1767.35 v -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247
1767.02/1767.35 v -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229
1767.02/1767.35 v -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211
1767.02/1767.35 v -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193
1767.02/1767.35 v -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176
1767.02/1767.35 v -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158
1767.02/1767.35 v -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140
1767.02/1767.35 v -x7139 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940
1767.02/1767.35 v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922
1767.02/1767.35 v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904
1767.02/1767.35 v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068
1767.02/1767.35 v -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051
1767.02/1767.35 v -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033
1767.02/1767.35 v -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015
1767.02/1767.35 v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997
1767.02/1767.35 v -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979
1767.02/1767.35 v -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961
1767.02/1767.35 v -x6960 -x6959 -x6958 -x6957 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761
1767.02/1767.35 v -x6760 -x6759 -x6758 -x6757 -x6756 x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743
1767.02/1767.35 v -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726
1767.02/1767.35 v -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6891 -x6890
1767.02/1767.35 v -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872
1767.02/1767.35 v -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854
1767.02/1767.35 v -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836
1767.02/1767.35 v -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818
1767.02/1767.35 v -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800
1767.02/1767.35 v -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782
1767.02/1767.35 v -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583
1767.02/1767.35 v -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565
1767.02/1767.35 v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
1767.02/1767.35 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529
1767.02/1767.35 v -x6528 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693
1767.02/1767.35 v -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675
1767.02/1767.35 v -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657
1767.02/1767.35 v -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640
1767.02/1767.35 v -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622
1767.02/1767.35 v -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604
1767.02/1767.35 v -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404
1767.02/1767.35 v -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386
1767.02/1767.35 v -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368
1767.02/1767.35 v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350
1767.02/1767.35 v -x6349 -x6348 -x6347 -x6346 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515
1767.02/1767.35 v -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497
1767.02/1767.35 v -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479
1767.02/1767.35 v -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461
1767.02/1767.35 v -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443
1767.02/1767.35 v -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425
1767.02/1767.35 v -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x8971 -x8970 -x8969 -x8968
1767.02/1767.35 v -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951
1767.02/1767.35 v -x8950 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943 -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933
1767.02/1767.35 v -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925 -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915
1767.02/1767.35 v -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907 -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897
1767.02/1767.35 v -x8896 -x8895 -x8894 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061
1767.02/1767.35 v -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052 -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043
1767.02/1767.35 v -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025
1767.02/1767.35 v -x9024 -x9023 -x9022 -x9021 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015 -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008
1767.02/1767.35 v -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990
1767.02/1767.35 v -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980 -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972
1767.02/1767.35 v -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772
1767.02/1767.35 v -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754
1767.02/1767.35 v -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736
1767.02/1767.35 v -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718
1767.02/1767.35 v -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8893 -x8892 -x8891 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883
1767.02/1767.35 v -x8882 -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865
1767.02/1767.35 v -x8864 -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847
1767.02/1767.35 v -x8846 -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829
1767.02/1767.35 v -x8828 -x8827 -x8826 -x8825 -x8824 -x8823 -x8822 -x8821 -x8820 -x8819 -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811
1767.02/1767.35 v -x8810 -x8809 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793
1767.02/1767.35 v -x8792 -x8791 -x8790 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 -x8601 -x8600 -x8599 -x8598 -x8597 -x8596 -x8595 -x8594 -x8593
1767.02/1767.35 v -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583 -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576
1767.02/1767.35 v -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558
1767.02/1767.35 v -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540
1767.02/1767.35 v -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8711 -x8710 -x8709 -x8708 -x8707 -x8706 -x8705 -x8704
1767.02/1767.35 v -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 -x8691 -x8690 -x8689 -x8688 -x8687 -x8686
1767.02/1767.35 v -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668
1767.02/1767.35 v -x8667 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 -x8654 -x8653 -x8652 -x8651 -x8650
1767.02/1767.35 v -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 -x8637 -x8636 -x8635 -x8634 -x8633
1767.02/1767.35 v -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 -x8619 -x8618 -x8617 -x8616 -x8615
1767.02/1767.35 v -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8425 -x8424 -x8423 -x8422 -x8421 x8420 -x8419 -x8418 -x8417 -x8416 -x8415
1767.02/1767.35 v -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397
1767.02/1767.35 v -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 -x8383 -x8382 -x8381 -x8380 -x8379
1767.02/1767.35 v -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361
1767.02/1767.35 v -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8529 -x8528 -x8527 -x8526 -x8525
1767.02/1767.35 v -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8509 -x8508 -x8507
1767.02/1767.35 v -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 -x8490
1767.02/1767.35 v -x8489 -x8488 -x8487 -x8486 -x8485 x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 -x8474 -x8473 -x8472
1767.02/1767.35 v -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454
1767.02/1767.35 v -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 -x8436
1767.02/1767.35 v -x8435 -x8434 -x8433 x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236
1767.02/1767.35 v -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218
1767.02/1767.35 v -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200
1767.02/1767.35 v -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182
1767.02/1767.35 v -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8347 -x8346
1767.02/1767.35 v -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329
1767.02/1767.35 v -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8312 -x8311
1767.02/1767.35 v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293
1767.02/1767.35 v -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275
1767.02/1767.35 v -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257
1767.02/1767.35 v -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8061 -x8060 -x8059 -x8058 -x8057
1767.02/1767.35 v -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039
1767.02/1767.35 v -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022
1767.02/1767.35 v -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 x8007 -x8006 -x8005 -x8004
1767.02/1767.35 v -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986
1767.02/1767.35 v -x7985 -x7984 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150
1767.02/1767.35 v -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132
1767.02/1767.35 v -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114
1767.02/1767.35 v -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096
1767.02/1767.35 v -x8095 -x8094 -x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078
1767.02/1767.35 v -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x7879 -x7878
1767.02/1767.35 v -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861
1767.02/1767.35 v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843
1767.02/1767.35 v -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825
1767.02/1767.35 v -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807
1767.02/1767.35 v -x7806 -x7805 -x7804 -x7803 -x7802 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971
1767.02/1767.35 v -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953
1767.02/1767.35 v -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935
1767.02/1767.35 v -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918
1767.02/1767.35 v -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900
1767.02/1767.35 v -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882
1767.02/1767.35 v -x7881 -x7880 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682
1767.02/1767.35 v -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664
1767.02/1767.35 v -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646
1767.02/1767.35 v -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628
1767.02/1767.35 v -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793
1767.02/1767.35 v -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775
1767.02/1767.35 v -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757
1767.02/1767.35 v -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739
1767.02/1767.35 v -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721
1767.02/1767.35 v -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703
1767.02/1767.35 v -x7702 -x7701 -x7700 -x7699 -x7698 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503
1767.02/1767.35 v -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486
1767.02/1767.35 v -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468
1767.02/1767.35 v -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450
1767.02/1767.35 v -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614
1767.02/1767.35 v -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596
1767.02/1767.35 v -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578
1767.02/1767.35 v -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560
1767.02/1767.35 v -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543
1767.02/1767.35 v -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525
1767.02/1767.35 v -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x9630 -x9614 -x9598 -x9582 -x9566 -x9550 -x9759 -x9743 -x9727
1767.02/1767.35 v -x9711 -x9695 -x9679 -x9663 -x9647 -x9631 -x6210 -x6194 -x6178 -x6162 -x6146 -x6130 -x6339 -x6323 -x6307 -x6291 -x6275 -x6259
1767.02/1767.35 v -x6243 -x6227 -x6211 -x9390 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217
1767.02/1767.35 v -x1216 -x9374 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x9358 -x750 -x749
1767.02/1767.35 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x9342 -x510 -x509 -x508 -x507 -x506 -x505 -x504
1767.02/1767.35 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x9326 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
1767.02/1767.35 v -x259 -x258 -x257 -x256 -x9310 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x9519 -x3390 -x3389
1767.02/1767.35 v -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x9503 -x3150 -x3149 -x3148 -x3147
1767.02/1767.35 v -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x9487 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905
1767.02/1767.35 v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x9471 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663
1767.02/1767.35 v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x9455 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421
1767.02/1767.35 v -x2420 -x2419 -x2418 -x2417 -x2416 -x9439 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
1767.02/1767.35 v -x2179 -x2178 -x2177 -x2176 -x9423 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938
1767.02/1767.35 v -x1937 -x1936 -x9407 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696
1767.02/1767.35 v -x9391 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x15 -x14 -x13
1767.02/1767.35 v -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619
1767.02/1767.35 v -x9618 -x9617 -x9616 -x9615 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601
1767.02/1767.35 v -x9600 -x9599 -x9597 -x9596 -x9595 -x9594 x9593 x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9581 -x9580
1767.02/1767.35 v -x9579 -x9578 -x9577 -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9565 -x9564 -x9563 -x9562
1767.02/1767.35 v -x9561 -x9560 -x9559 -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543
1767.02/1767.35 v -x9542 -x9541 -x9765 -x9764 -x9763 -x9762 -x9761 -x9760 x9758 x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749
1767.02/1767.35 v x9748 -x9747 -x9746 -x9745 x9744 x9742 -x9741 -x9740 -x9739 -x9738 -x9737 -x9736 -x9735 -x9734 x9733 -x9732 -x9731 -x9730 x9729
1767.02/1767.35 v x9728 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719 -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9710 -x9709
1767.02/1767.35 v -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702 -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9694 -x9693 -x9692 -x9691 -x9690
1767.02/1767.35 v -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 -x9683 -x9682 -x9681 -x9680 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671
1767.02/1767.35 v -x9670 -x9669 -x9668 -x9667 -x9666 -x9665 -x9664 -x9662 -x9661 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654 -x9653 -x9652
1767.02/1767.35 v -x9651 -x9650 -x9649 -x9648 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636 -x9635 -x9634
1767.02/1767.35 v -x9633 -x9632 -x9540 -x9539 x9538 -x9537 -x9536 -x9535 x9534 -x9533 x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9164 -x9163
1767.02/1767.35 v -x9162 -x9161 -x9160 -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9148 -x9147 -x9146 -x9145 -x9144
1767.02/1767.35 v -x9143 -x9142 -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126
1767.02/1767.35 v -x9125 -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 x9107
1767.02/1767.35 v -x9106 -x9105 -x9104 -x9103 -x9102 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9092 -x9091 -x9090 -x9089 -x9088
1767.02/1767.35 v -x9087 -x9086 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9293
1767.02/1767.35 v -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9277 -x9276 -x9275 -x9274
1767.02/1767.35 v -x9273 -x9272 -x9271 -x9270 -x9269 -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255
1767.02/1767.35 v -x9254 -x9253 -x9252 -x9251 -x9250 -x9249 -x9248 -x9247 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236
1767.02/1767.35 v -x9235 -x9234 -x9233 -x9232 -x9231 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217
1767.02/1767.35 v -x9216 -x9215 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199
1767.02/1767.35 v -x9197 -x9196 -x9195 -x9194 -x9193 x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9181 -x9180 -x9179
1767.02/1767.35 v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
1767.02/1767.35 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
1767.02/1767.35 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
1767.02/1767.35 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156
1767.02/1767.35 v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1365 -x1364 -x1363
1767.02/1767.35 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
1767.02/1767.35 v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328
1767.02/1767.35 v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310
1767.02/1767.35 v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292
1767.02/1767.35 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274
1767.02/1767.35 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
1767.02/1767.35 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238
1767.02/1767.35 v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995
1767.02/1767.35 v -x994 -x993 -x992 -x991 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1767.02/1767.35 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1767.02/1767.35 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1767.02/1767.35 v -x916 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124
1767.02/1767.35 v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106
1767.02/1767.35 v -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088
1767.02/1767.35 v -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071
1767.02/1767.35 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053
1767.02/1767.35 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1767.02/1767.35 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017
1767.02/1767.35 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773
1767.02/1767.35 v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752
1767.02/1767.35 v -x751 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
1767.02/1767.35 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696
1767.02/1767.35 v -x695 -x694 -x693 -x692 -x691 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900
1767.02/1767.35 v -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879
1767.02/1767.35 v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858
1767.02/1767.35 v -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837
1767.02/1767.35 v x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816
1767.02/1767.35 v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795
1767.02/1767.35 v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x555 -x554 -x553 -x552 -x551 -x550 -x549
1767.02/1767.35 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
1767.02/1767.35 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x495 -x494 -x493
1767.02/1767.35 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
1767.02/1767.35 v -x471 -x470 -x469 -x468 -x467 -x466 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676
1767.02/1767.35 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
1767.02/1767.35 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
1767.02/1767.35 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
1767.02/1767.35 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1767.02/1767.35 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
1767.02/1767.35 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x330 -x329 -x328 -x327 -x326
1767.02/1767.35 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1767.02/1767.35 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1767.02/1767.35 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1767.02/1767.35 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1767.02/1767.35 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432
1767.02/1767.35 v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1767.02/1767.35 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
1767.02/1767.35 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369
1767.02/1767.35 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1767.02/1767.35 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x105 -x104 -x103
1767.02/1767.35 v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78
1767.02/1767.35 v -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53
1767.02/1767.35 v -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x240 -x239
1767.02/1767.35 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
1767.02/1767.35 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
1767.02/1767.35 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
1767.02/1767.35 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
1767.02/1767.35 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1767.02/1767.35 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1767.02/1767.35 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245
1767.02/1767.35 v -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227
1767.02/1767.35 v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209
1767.02/1767.35 v -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191
1767.02/1767.35 v -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173
1767.02/1767.35 v -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365
1767.02/1767.35 v -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348
1767.02/1767.35 v -x3347 -x3346 x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 x3335 -x3334 -x3333 -x3332 x3331 -x3330 -x3329
1767.02/1767.35 v -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311
1767.02/1767.35 v -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294
1767.02/1767.35 v -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276
1767.02/1767.35 v -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258
1767.02/1767.35 v -x3257 -x3256 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015
1767.02/1767.35 v -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997
1767.02/1767.35 v -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979
1767.02/1767.35 v -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961
1767.02/1767.35 v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944
1767.02/1767.35 v -x2943 -x2942 -x2941 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151
1767.02/1767.35 v -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
1767.02/1767.35 v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
1767.02/1767.35 v -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082
1767.02/1767.35 v -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064
1767.02/1767.35 v -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046
1767.02/1767.35 v -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2805 -x2804
1767.02/1767.35 v -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786
1767.02/1767.35 v -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768
1767.02/1767.35 v -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750
1767.02/1767.35 v -x2749 x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732
1767.02/1767.35 v -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2940 -x2939
1767.02/1767.35 v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921
1767.02/1767.35 v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888
1767.02/1767.35 v -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870
1767.02/1767.35 v -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853
1767.02/1767.35 v -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835
1767.02/1767.35 v -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
1767.02/1767.35 v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574
1767.02/1767.35 v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
1767.02/1767.35 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538
1767.02/1767.35 v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520
1767.02/1767.35 v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503
1767.02/1767.35 v -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710
1767.02/1767.35 v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692
1767.02/1767.35 v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674
1767.02/1767.35 v -x2673 -x2672 -x2671 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641
1767.02/1767.35 v -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623
1767.02/1767.35 v -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605
1767.02/1767.35 v -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588
1767.02/1767.35 v -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345
1767.02/1767.35 v -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327
1767.02/1767.35 v -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309
1767.02/1767.35 v -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291
1767.02/1767.35 v -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273
1767.02/1767.35 v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480
1767.02/1767.35 v -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463
1767.02/1767.35 v -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445
1767.02/1767.35 v -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2415 -x2414 -x2413 -x2412
1767.02/1767.35 v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394
1767.02/1767.35 v -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376
1767.02/1767.35 v -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358
1767.02/1767.35 v -x2357 -x2356 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115
1767.02/1767.35 v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
1767.02/1767.35 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
1767.02/1767.35 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062
1767.02/1767.35 v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044
1767.02/1767.35 v -x2043 -x2042 -x2041 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251
1767.02/1767.35 v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233
1767.02/1767.35 v -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215
1767.02/1767.35 v -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
1767.02/1767.35 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165
1767.02/1767.35 v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147
1767.02/1767.35 v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x1905 -x1904
1767.02/1767.35 v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886
1767.02/1767.35 v -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
1767.02/1767.35 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850
1767.02/1767.35 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
1767.02/1767.35 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x2040
1767.02/1767.35 v -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022
1767.02/1767.35 v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004
1767.02/1767.35 v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986
1767.02/1767.35 v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968
1767.02/1767.35 v -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1935
1767.02/1767.35 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918
1767.02/1767.35 v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675
1767.02/1767.35 v -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657
1767.02/1767.35 v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639
1767.02/1767.35 v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621
1767.02/1767.35 v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603
1767.02/1767.35 v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810
1767.02/1767.35 v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
1767.02/1767.35 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
1767.02/1767.35 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757
1767.02/1767.35 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739
1767.02/1767.35 v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721
1767.02/1767.35 v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688
1767.02/1767.35 v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445
1767.02/1767.35 v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428
1767.02/1767.35 v -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410
1767.02/1767.35 v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
1767.02/1767.35 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
1767.02/1767.35 v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581
1767.02/1767.35 v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563
1767.02/1767.35 v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545
1767.02/1767.35 v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528
1767.02/1767.35 v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510
1767.02/1767.35 v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
1767.02/1767.35 v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474
1767.02/1767.35 v -x1473 -x1472 -x1471 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195
1767.02/1767.35 v -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6177 -x6176 -x6175
1767.02/1767.35 v -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 x6164 -x6163 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156
1767.02/1767.35 v -x6155 -x6154 x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137
1767.02/1767.35 v -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6345 -x6344 -x6343
1767.02/1767.35 v -x6342 -x6341 -x6340 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325
1767.02/1767.35 v -x6324 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6306 -x6305
1767.02/1767.35 v -x6304 -x6303 -x6302 -x6301 x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 x6290 -x6289 -x6288 -x6287 x6286 -x6285
1767.02/1767.35 v -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267
1767.02/1767.35 v x6266 x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247
1767.02/1767.35 v -x6246 -x6245 -x6244 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229
1767.02/1767.35 v -x6228 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x9389 -x9388
1767.02/1767.35 v -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379 -x9378 -x9377 -x9376 -x9375 -x9373 -x9372 -x9371 -x9370 -x9369
1767.02/1767.35 v -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360 -x9359 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350
1767.02/1767.35 v x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9341 -x9340 -x9339 -x9338 x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331
1767.02/1767.35 v -x9330 -x9329 -x9328 -x9327 -x9325 -x9324 -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312
1767.02/1767.35 v -x9311 -x9309 -x9308 -x9307 -x9306 -x9305 -x9304 -x9303 -x9302 -x9301 -x9525 -x9524 -x9523 -x9522 -x9521 -x9520 -x9518 -x9517
1767.02/1767.35 v x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505 -x9504 -x9502 -x9501 -x9500 -x9499 -x9498
1767.02/1767.35 v -x9497 -x9496 -x9495 -x9494 -x9493 x9492 -x9491 -x9490 -x9489 -x9488 -x9486 -x9485 -x9484 -x9483 x9482 -x9481 -x9480 -x9479
1767.02/1767.35 v -x9478 -x9477 -x9476 -x9475 x9474 -x9473 -x9472 -x9470 -x9469 -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460
1767.02/1767.35 v -x9459 -x9458 -x9457 -x9456 -x9454 -x9453 -x9452 -x9451 -x9450 -x9449 x9448 -x9447 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441
1767.02/1767.35 v -x9440 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9422 -x9421
1767.02/1767.35 v -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414 -x9413 x9412 -x9411 -x9410 -x9409 -x9408 -x9406 -x9405 -x9404 -x9403 -x9402
1767.02/1767.35 v -x9401 -x9400 -x9399 -x9398 -x9397 -x9396 -x9395 -x9394 -x9393 -x9392
1767.02/1767.35 c SCIP Status : problem is solved [optimal solution found]
1767.02/1767.35 c Solving Time : 1767.17
1767.02/1767.35 c Original Problem :
1767.02/1767.35 c Problem name : HOME/instance-3743969-1338797788.opb
1767.02/1767.35 c Variables : 9765 (9765 binary, 0 integer, 0 implicit integer, 0 continuous)
1767.02/1767.35 c Constraints : 21293 initial, 21293 maximal
1767.02/1767.35 c Presolved Problem :
1767.02/1767.35 c Problem name : t_HOME/instance-3743969-1338797788.opb
1767.02/1767.35 c Variables : 8745 (8745 binary, 0 integer, 0 implicit integer, 0 continuous)
1767.02/1767.35 c Constraints : 23284 initial, 23307 maximal
1767.02/1767.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1767.02/1767.35 c trivial : 0.00 0 0 0 0 0 0 0 0
1767.02/1767.35 c dualfix : 0.00 645 0 0 0 0 0 0 0
1767.02/1767.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
1767.02/1767.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1767.02/1767.35 c implics : 0.00 0 0 0 0 0 0 0 0
1767.02/1767.35 c probing : 0.20 0 0 0 0 0 0 0 0
1767.02/1767.35 c knapsack : 1.05 0 0 0 0 0 2730 8190 32760
1767.02/1767.35 c setppc : 0.09 0 0 0 0 0 2730 0 0
1767.02/1767.35 c linear : 0.16 60 315 0 60 0 739 105 525
1767.02/1767.35 c logicor : 0.05 0 0 0 0 0 0 0 0
1767.02/1767.35 c root node : - 252 - - 252 - - - -
1767.02/1767.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1767.02/1767.35 c integral : 0 0 0 13156 0 226 2879 0 0 22646
1767.02/1767.35 c knapsack : 3300 11 145131 11 0 308 3333186 68 0 0
1767.02/1767.35 c setppc : 13981 11 144810 10 0 311 2921614 0 0 0
1767.02/1767.35 c linear : 3 11 144510 11 0 16 2932 0 0 0
1767.02/1767.35 c logicor : 6000+ 11 102229 11 0 1456 760342 0 0 0
1767.02/1767.35 c countsols : 0 0 0 11 0 0 0 0 0 0
1767.02/1767.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1767.02/1767.35 c integral : 402.44 0.00 0.00 402.44 0.00
1767.02/1767.35 c knapsack : 25.20 0.06 25.14 0.00 0.00
1767.02/1767.35 c setppc : 10.69 0.01 10.68 0.00 0.00
1767.02/1767.35 c linear : 2.17 0.23 1.95 0.00 0.00
1767.02/1767.35 c logicor : 7.04 0.00 7.03 0.00 0.00
1767.02/1767.35 c countsols : 0.00 0.00 0.00 0.00 0.00
1767.02/1767.35 c Propagators : Time Calls Cutoffs DomReds
1767.02/1767.35 c vbounds : 0.12 2 0 0
1767.02/1767.35 c rootredcost : 0.11 16 0 85
1767.02/1767.35 c pseudoobj : 10.62 145617 451 4794
1767.02/1767.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1767.02/1767.35 c propagation : 1.01 2541 2541 21714 122.2 213 19.8 -
1767.02/1767.35 c infeasible LP : 0.18 71 71 877 149.9 7 12.3 0
1767.02/1767.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1767.02/1767.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1767.02/1767.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1767.02/1767.35 c applied globally : - - - 13168 126.4 - - -
1767.02/1767.35 c applied locally : - - - 0 0.0 - - -
1767.02/1767.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1767.02/1767.35 c cut pool : 0.00 10 - - 69 - (maximal pool size: 710)
1767.02/1767.35 c redcost : 10.30 32428 0 1918525 0 0
1767.02/1767.35 c impliedbounds : 0.01 11 0 0 44 0
1767.02/1767.35 c intobj : 0.00 0 0 0 0 0
1767.02/1767.35 c cgmip : 0.00 0 0 0 0 0
1767.02/1767.35 c gomory : 21.19 11 0 0 1159 0
1767.02/1767.35 c strongcg : 11.24 11 0 0 3751 0
1767.02/1767.35 c cmir : 2.61 10 0 0 20 0
1767.02/1767.35 c flowcover : 5.88 10 0 0 44 0
1767.02/1767.35 c clique : 1.27 11 0 0 37 0
1767.02/1767.35 c zerohalf : 0.00 0 0 0 0 0
1767.02/1767.35 c mcf : 0.01 1 0 0 0 0
1767.02/1767.35 c rapidlearning : 0.00 0 0 0 0 0
1767.02/1767.35 c Pricers : Time Calls Vars
1767.02/1767.35 c problem variables: 0.00 0 0
1767.02/1767.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1767.02/1767.35 c relpscost : 402.40 13145 226 2879 0 0 22646
1767.02/1767.35 c pscost : 0.00 0 0 0 0 0 0
1767.02/1767.35 c inference : 0.00 0 0 0 0 0 0
1767.02/1767.35 c mostinf : 0.00 0 0 0 0 0 0
1767.02/1767.35 c leastinf : 0.00 0 0 0 0 0 0
1767.02/1767.35 c fullstrong : 0.00 0 0 0 0 0 0
1767.02/1767.35 c allfullstrong : 0.00 0 0 0 0 0 0
1767.02/1767.35 c random : 0.00 0 0 0 0 0 0
1767.02/1767.35 c Primal Heuristics : Time Calls Found
1767.02/1767.35 c LP solutions : 0.02 - 11
1767.02/1767.35 c pseudo solutions : 0.00 - 0
1767.02/1767.35 c oneopt : 0.09 15 0
1767.02/1767.35 c feaspump : 7.30 1 0
1767.02/1767.35 c guideddiving : 0.90 29 0
1767.02/1767.35 c pscostdiving : 1.46 29 0
1767.02/1767.35 c fracdiving : 1.35 29 0
1767.02/1767.35 c coefdiving : 3.04 29 0
1767.02/1767.35 c veclendiving : 0.76 29 0
1767.02/1767.35 c objpscostdiving : 4.78 15 3
1767.02/1767.35 c rootsoldiving : 10.45 15 1
1767.02/1767.35 c linesearchdiving : 1.10 30 0
1767.02/1767.35 c crossover : 3.43 22 6
1767.02/1767.35 c trivial : 0.01 2 0
1767.02/1767.35 c simplerounding : 0.07 0 0
1767.02/1767.35 c zirounding : 0.72 1000 7
1767.02/1767.35 c rounding : 7.19 9229 2
1767.02/1767.35 c shifting : 1.25 863 1
1767.02/1767.35 c intshifting : 0.00 0 0
1767.02/1767.35 c twoopt : 0.00 0 0
1767.02/1767.35 c fixandinfer : 0.00 0 0
1767.02/1767.35 c intdiving : 0.00 0 0
1767.02/1767.35 c actconsdiving : 0.00 0 0
1767.02/1767.35 c octane : 0.00 0 0
1767.02/1767.35 c rens : 0.19 1 0
1767.02/1767.35 c rins : 0.00 0 0
1767.02/1767.35 c localbranching : 0.00 0 0
1767.02/1767.35 c mutation : 0.00 0 0
1767.02/1767.35 c dins : 0.00 0 0
1767.02/1767.35 c undercover : 0.00 0 0
1767.02/1767.35 c nlp : 0.02 0 0
1767.02/1767.35 c trysol : 0.04 0 0
1767.02/1767.35 c LP : Time Calls Iterations Iter/call Iter/sec
1767.02/1767.35 c primal LP : 0.01 0 0 0.00 -
1767.02/1767.35 c dual LP : 1040.34 31616 1081780 34.22 1039.84
1767.02/1767.35 c lex dual LP : 0.00 0 0 0.00 -
1767.02/1767.35 c barrier LP : 0.00 0 0 0.00 -
1767.02/1767.35 c diving/probing LP: 28.39 640 24193 37.80 852.24
1767.02/1767.35 c strong branching : 402.01 6536 459332 70.28 1142.59
1767.02/1767.35 c (at root node) : - 25 12776 511.04 -
1767.02/1767.35 c conflict analysis: 0.00 0 0 0.00 -
1767.02/1767.35 c B&B Tree :
1767.02/1767.35 c number of runs : 1
1767.02/1767.35 c nodes : 22015
1767.02/1767.35 c nodes (total) : 22015
1767.02/1767.35 c nodes left : 0
1767.02/1767.35 c max depth : 123
1767.02/1767.35 c max depth (total): 123
1767.02/1767.35 c backtracks : 2973 (13.5%)
1767.02/1767.35 c delayed cutoffs : 143
1767.02/1767.35 c repropagations : 7976 (191947 domain reductions, 140 cutoffs)
1767.02/1767.35 c avg switch length: 8.23
1767.02/1767.35 c switching time : 33.82
1767.02/1767.35 c Solution :
1767.02/1767.35 c Solutions found : 31 (16 improvements)
1767.02/1767.35 c First Solution : +4.22398549000000e+08 (in run 1, after 14 nodes, 140.06 seconds, depth 12, found by <zirounding>)
1767.02/1767.35 c Primal Bound : +4.32301500000000e+06 (in run 1, after 20202 nodes, 1654.05 seconds, depth 85, found by <relaxation>)
1767.02/1767.35 c Dual Bound : +4.32301500000000e+06
1767.02/1767.35 c Gap : 0.00 %
1767.02/1767.35 c Root Dual Bound : +3.05091965321639e+06
1767.02/1767.35 c Root Iterations : 8960
1767.12/1767.48 c Time complete: 1767.2.
OK 4323015
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743969-1338797788/watcher-3743969-1338797788 -o /tmp/evaluation-result-3743969-1338797788/solver-3743969-1338797788 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743969-1338797788.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 3431 /proc/meminfo: memFree=31571992/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/3431/stat : 3431 (runsolver) D 3429 3431 1632 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 345905568 12095488 50 33554432000 4194304 5436572 140735105161472 140735105157768 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/3431/statm: 2953 50 31 304 0 2645 0 [startup+0.016281 s] /proc/loadavg: 2.00 2.00 2.00 3/176 3431 /proc/meminfo: memFree=31571992/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=11504 CPUtime=0 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 2129 0 0 0 0 0 0 0 20 0 1 0 345905568 11780096 2074 33554432000 4194304 8395647 140734189224032 140734189155864 7365088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 2876 2074 386 1026 0 1846 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11504 [startup+0.100244 s] /proc/loadavg: 2.00 2.00 2.00 3/176 3431 /proc/meminfo: memFree=31571992/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=21712 CPUtime=0.08 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 4708 0 0 0 8 0 0 0 20 0 1 0 345905568 22233088 4653 33554432000 4194304 8395647 140734189224032 140734189155864 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 5428 4653 393 1026 0 4398 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 21712 [startup+0.300246 s] /proc/loadavg: 2.00 2.00 2.00 3/176 3431 /proc/meminfo: memFree=31571992/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=62032 CPUtime=0.29 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 14779 0 0 0 27 2 0 0 20 0 1 0 345905568 63520768 14370 33554432000 4194304 8395647 140734189224032 140734189155864 18446744073699066235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 15508 14370 474 1026 0 14478 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 62032 [startup+0.700247 s] /proc/loadavg: 2.00 2.00 2.00 3/176 3431 /proc/meminfo: memFree=31571992/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=105932 CPUtime=0.69 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 26019 0 0 0 65 4 0 0 20 0 1 0 345905568 108474368 25367 33554432000 4194304 8395647 140734189224032 140734189155864 4956124 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 26483 25367 495 1026 0 25453 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105932 [startup+1.50025 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3432 /proc/meminfo: memFree=31397524/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=157700 CPUtime=1.49 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 38988 0 0 0 143 6 0 0 20 0 1 0 345905568 161484800 38336 33554432000 4194304 8395647 140734189224032 140734189219496 18446744073699066235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 39425 38336 499 1026 0 38395 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 157700 [startup+3.10024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3432 /proc/meminfo: memFree=31194972/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=198172 CPUtime=3.09 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 48752 0 0 0 301 8 0 0 20 0 1 0 345905568 202928128 47799 33554432000 4194304 8395647 140734189224032 140734189218248 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 49543 47799 589 1026 0 48513 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 198172 [startup+6.30645 s] /proc/loadavg: 2.00 2.00 2.00 3/176 3432 /proc/meminfo: memFree=30230692/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=199520 CPUtime=6.29 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 49305 0 0 0 621 8 0 0 20 0 1 0 345905568 204308480 48344 33554432000 4194304 8395647 140734189224032 140734189218600 6707999 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 49880 48344 589 1026 0 48850 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 199520 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3433 /proc/meminfo: memFree=30030308/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=205856 CPUtime=12.68 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 51370 0 0 0 1258 10 0 0 20 0 1 0 345905568 210796544 49826 33554432000 4194304 8395647 140734189224032 140734189219960 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 51464 49826 624 1026 0 50434 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 205856 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3433 /proc/meminfo: memFree=29123696/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=215620 CPUtime=25.48 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 53730 0 0 0 2534 14 0 0 20 0 1 0 345905568 220794880 52185 33554432000 4194304 8395647 140734189224032 140734189219272 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 53905 52185 624 1026 0 52875 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 215620 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3433 /proc/meminfo: memFree=28043244/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=231188 CPUtime=51.08 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 55186 0 0 0 5091 17 0 0 20 0 1 0 345905568 236736512 55685 33554432000 4194304 8395647 140734189224032 140734189219224 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 57797 55685 625 1026 0 56767 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 231188 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3433 /proc/meminfo: memFree=27630388/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=231964 CPUtime=102.27 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 67172 0 0 0 10197 30 0 0 20 0 1 0 345905568 237531136 56196 33554432000 4194304 8395647 140734189224032 140734189219336 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 57991 56196 640 1026 0 56961 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 231964 [startup+162.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 3433 /proc/meminfo: memFree=27595448/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=236968 CPUtime=162.26 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 68562 0 0 0 16185 41 0 0 20 0 1 0 345905568 242655232 57586 33554432000 4194304 8395647 140734189224032 140734189219160 6698119 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 59242 57586 645 1026 0 58212 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 236968 [startup+222.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 3436 /proc/meminfo: memFree=27549292/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=270688 CPUtime=222.25 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 101334 0 0 0 22165 60 0 0 20 0 1 0 345905568 277184512 65977 33554432000 4194304 8395647 140734189224032 140734189219384 6652352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 67672 65977 646 1026 0 66642 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 270688 [startup+282.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 3436 /proc/meminfo: memFree=27410976/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=294668 CPUtime=282.25 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 119242 0 0 0 28150 75 0 0 20 0 1 0 345905568 301740032 71857 33554432000 4194304 8395647 140734189224032 140734189219448 6707999 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 73667 71857 646 1026 0 72637 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 294668 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3437 /proc/meminfo: memFree=26327112/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=349640 CPUtime=342.23 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 132968 0 0 0 34136 87 0 0 20 0 1 0 345905568 358031360 85583 33554432000 4194304 8395647 140734189224032 140734189218888 4706801 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 87410 85583 646 1026 0 86380 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 349640 [startup+402.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3437 /proc/meminfo: memFree=26254352/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=348128 CPUtime=402.22 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 136124 0 0 0 40125 97 0 0 20 0 1 0 345905568 356483072 85632 33554432000 4194304 8395647 140734189224032 140734189219496 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 87032 85632 646 1026 0 86002 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 348128 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3437 /proc/meminfo: memFree=26235268/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=350468 CPUtime=462.22 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 136572 0 0 0 46116 106 0 0 20 0 1 0 345905568 358879232 86080 33554432000 4194304 8395647 140734189224032 140734189219496 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 87617 86080 646 1026 0 86587 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 350468 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3437 /proc/meminfo: memFree=26178572/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=352156 CPUtime=522.21 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 147032 0 0 0 52103 118 0 0 20 0 1 0 345905568 360607744 86392 33554432000 4194304 8395647 140734189224032 140734189218888 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 88039 86392 646 1026 0 87009 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 352156 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3437 /proc/meminfo: memFree=26171224/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=359312 CPUtime=582.2 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 161129 0 0 0 58091 129 0 0 20 0 1 0 345905568 367935488 88206 33554432000 4194304 8395647 140734189224032 140734189218888 6574281 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 89828 88206 646 1026 0 88798 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 359312 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26164356/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=440236 CPUtime=1182.11 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 265481 0 0 0 117969 242 0 0 20 0 1 0 345905568 450801664 108463 33554432000 4194304 8395647 140734189224032 140734189219160 5614823 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 110059 108463 646 1026 0 109029 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 440236 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 3444 /proc/meminfo: memFree=26159672/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=444356 CPUtime=1242.09 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 278167 0 0 0 123955 254 0 0 20 0 1 0 345905568 455020544 109588 33554432000 4194304 8395647 140734189224032 140734189219160 6575397 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 111089 109588 646 1026 0 110059 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 444356 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3444 /proc/meminfo: memFree=26154864/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=448856 CPUtime=1302.09 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 279101 0 0 0 129945 264 0 0 20 0 1 0 345905568 459628544 110522 33554432000 4194304 8395647 140734189224032 140734189219240 6574759 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 112214 110522 646 1026 0 111184 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 448856 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3444 /proc/meminfo: memFree=26150180/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=453480 CPUtime=1362.07 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 292243 0 0 0 135932 275 0 0 20 0 1 0 345905568 464363520 111768 33554432000 4194304 8395647 140734189224032 140734189219592 6310748 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 113370 111768 646 1026 0 112340 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 453480 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3447 /proc/meminfo: memFree=26145284/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=457908 CPUtime=1422.07 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 293358 0 0 0 141924 283 0 0 20 0 1 0 345905568 468897792 112883 33554432000 4194304 8395647 140734189224032 140734189219496 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 114477 112883 646 1026 0 113447 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 457908 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3447 /proc/meminfo: memFree=26142556/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=461408 CPUtime=1482.05 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 306130 0 0 0 147909 296 0 0 20 0 1 0 345905568 472481792 113689 33554432000 4194304 8395647 140734189224032 140734189219496 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 115352 113689 646 1026 0 114322 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 461408 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 3448 /proc/meminfo: memFree=26138496/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=465428 CPUtime=1542.05 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 307201 0 0 0 153900 305 0 0 20 0 1 0 345905568 476598272 114760 33554432000 4194304 8395647 140734189224032 140734189219336 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 116357 114760 646 1026 0 115327 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 465428 [startup+1602.3 s] /proc/loadavg: 2.10 2.03 2.01 3/177 3448 /proc/meminfo: memFree=26134060/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=469500 CPUtime=1602.05 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 308250 0 0 0 159890 315 0 0 20 0 1 0 345905568 480768000 115809 33554432000 4194304 8395647 140734189224032 140734189218584 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 117375 115809 646 1026 0 116345 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 469500 [startup+1662.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 3448 /proc/meminfo: memFree=26128632/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=474840 CPUtime=1662.03 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 309587 0 0 0 165880 323 0 0 20 0 1 0 345905568 486236160 117146 33554432000 4194304 8395647 140734189224032 140734189218904 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 118710 117146 646 1026 0 117680 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 474840 [startup+1722.31 s] /proc/loadavg: 2.01 2.02 2.00 3/177 3448 /proc/meminfo: memFree=26116752/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=478536 CPUtime=1722.03 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 334240 0 0 0 171864 339 0 0 20 0 1 0 345905568 490020864 118058 33554432000 4194304 8395647 140734189224032 140734189219384 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 119634 118058 646 1026 0 118604 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 478536 Solver just ended. Dumping a history of the last processes samples [startup+1741.5 s] /proc/loadavg: 2.01 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26114752/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=480172 CPUtime=1741.22 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 334694 0 0 0 173780 342 0 0 20 0 1 0 345905568 491696128 118512 33554432000 4194304 8395647 140734189224032 140734189219160 6586871 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 120043 118512 646 1026 0 119013 0 Current children cumulated CPU time (s) 1741.22 Current children cumulated vsize (KiB) 480172 [startup+1754.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26113976/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=481304 CPUtime=1754.02 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 347060 0 0 0 175055 347 0 0 20 0 1 0 345905568 492855296 118753 33554432000 4194304 8395647 140734189224032 140734189218888 7382031 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 120326 118753 646 1026 0 119296 0 Current children cumulated CPU time (s) 1754.02 Current children cumulated vsize (KiB) 481304 [startup+1760.7 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26113604/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=481548 CPUtime=1760.42 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 347117 0 0 0 175695 347 0 0 20 0 1 0 345905568 493105152 118810 33554432000 4194304 8395647 140734189224032 140734189218888 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 120387 118810 646 1026 0 119357 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (KiB) 481548 [startup+1763.9 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26113712/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=481548 CPUtime=1763.62 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 347147 0 0 0 176014 348 0 0 20 0 1 0 345905568 493105152 118840 33554432000 4194304 8395647 140734189224032 140734189219592 6697250 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 120387 118840 646 1026 0 119357 0 Current children cumulated CPU time (s) 1763.62 Current children cumulated vsize (KiB) 481548 [startup+1765.5 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26113464/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=481548 CPUtime=1765.21 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 347180 0 0 0 176173 348 0 0 20 0 1 0 345905568 493105152 118873 33554432000 4194304 8395647 140734189224032 140734189219160 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 120387 118873 646 1026 0 119357 0 Current children cumulated CPU time (s) 1765.21 Current children cumulated vsize (KiB) 481548 [startup+1766.31 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26113464/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=482028 CPUtime=1766.02 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 347214 0 0 0 176254 348 0 0 20 0 1 0 345905568 493596672 118907 33554432000 4194304 8395647 140734189224032 140734189219288 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 120507 118907 646 1026 0 119477 0 Current children cumulated CPU time (s) 1766.02 Current children cumulated vsize (KiB) 482028 [startup+1767.1 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26113464/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=482508 CPUtime=1766.81 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 347358 0 0 0 176333 348 0 0 20 0 1 0 345905568 494088192 119051 33554432000 4194304 8395647 140734189224032 140734189219432 4706378 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 120627 119051 646 1026 0 119597 0 Current children cumulated CPU time (s) 1766.81 Current children cumulated vsize (KiB) 482508 [startup+1767.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26112968/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=482508 CPUtime=1767.02 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 347365 0 0 0 176354 348 0 0 20 0 1 0 345905568 494088192 119058 33554432000 4194304 8395647 140734189224032 140734189219432 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 120627 119058 646 1026 0 119597 0 Current children cumulated CPU time (s) 1767.02 Current children cumulated vsize (KiB) 482508 [startup+1767.41 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3448 /proc/meminfo: memFree=26112968/32873648 swapFree=6860/6860 [pid=3431] ppid=3429 vsize=476860 CPUtime=1767.12 cores=0,2,4,6 /proc/3431/stat : 3431 (pbscip.linux.x8) R 3429 3431 1632 0 -1 4202496 347367 0 0 0 176364 348 0 0 20 0 1 0 345905568 488304640 117714 33554432000 4194304 8395647 140734189224032 140734189219704 6063713 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3431/statm: 119215 117714 648 1026 0 118185 0 Current children cumulated CPU time (s) 1767.12 Current children cumulated vsize (KiB) 476860 Child status: 0 Real time (s): 1767.49 CPU time (s): 1767.21 CPU user time (s): 1763.69 CPU system time (s): 3.52146 CPU usage (%): 99.9843 Max. virtual memory (cumulated for all children) (KiB): 526816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.69 system time used= 3.52146 maximum resident set size= 520064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 347370 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= 5 involuntary context switches= 2100 runsolver used 3.13652 second user time and 7.29389 second system time The end
Begin job on node115 at 2012-06-04 10:16:28 IDJOB=3743969 IDBENCH=92657 IDSOLVER=2326 FILE ID=node115/3743969-1338797788 RUNJOBID= node115-1338772354-1649 PBS_JOBID= 14636818 Free space on /tmp= 70784 MiB SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743969-1338797788/watcher-3743969-1338797788 -o /tmp/evaluation-result-3743969-1338797788/solver-3743969-1338797788 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743969-1338797788.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd1f23f2ad95dce248911d20ecda08b7 RANDOM SEED=416016882 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 31572892 kB Buffers: 102196 kB Cached: 119072 kB SwapCached: 1016 kB Active: 372088 kB Inactive: 149908 kB Active(anon): 292012 kB Inactive(anon): 11064 kB Active(file): 80076 kB Inactive(file): 138844 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67106440 kB Dirty: 59352 kB Writeback: 0 kB AnonPages: 384696 kB Mapped: 9564 kB Shmem: 96 kB Slab: 642300 kB SReclaimable: 85912 kB SUnreclaim: 556388 kB KernelStack: 1472 kB PageTables: 4892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 419860 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70772 MiB End job on node115 at 2012-06-04 10:45:56