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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT 130.246 130.267

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_1_mh.opb
MD5SUM8032cd9ddf37959390b9864499521c4d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17754249
Best CPU time to get the best result obtained on this benchmark47.4378
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
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 numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

OK	17754249

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