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