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