Trace number 3744257

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 16.6695 16.6738

General information on the benchmark

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

Verifier Data

OK	4911296

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-3744257-1338803521/watcher-3744257-1338803521 -o /tmp/evaluation-result-3744257-1338803521/solver-3744257-1338803521 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744257-1338803521.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 3772
/proc/meminfo: memFree=28365384/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 1251 0 0 0 0 0 0 0 20 0 1 0 346478892 8105984 1197 33554432000 4194304 8395647 140734494911392 140736030095320 7385025 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 1979 1197 370 1026 0 949 0

[startup+0.0581909 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3772
/proc/meminfo: memFree=28365384/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=18484 CPUtime=0.05 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 3889 0 0 0 5 0 0 0 20 0 1 0 346478892 18927616 3834 33554432000 4194304 8395647 140734494911392 140736030095320 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 4621 3834 393 1026 0 3591 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18484

[startup+0.100339 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3772
/proc/meminfo: memFree=28365384/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=20908 CPUtime=0.09 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 4508 0 0 0 9 0 0 0 20 0 1 0 346478892 21409792 4453 33554432000 4194304 8395647 140734494911392 140736030095320 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 5227 4453 393 1026 0 4197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20908

[startup+0.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3772
/proc/meminfo: memFree=28365384/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=54916 CPUtime=0.29 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 13094 0 0 0 28 1 0 0 20 0 1 0 346478892 56233984 12683 33554432000 4194304 8395647 140734494911392 140736030095320 6349013 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 13729 12683 496 1026 0 12699 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54916

[startup+0.700296 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3772
/proc/meminfo: memFree=28365384/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=97756 CPUtime=0.69 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 23805 0 0 0 66 3 0 0 20 0 1 0 346478892 100102144 23394 33554432000 4194304 8395647 140734494911392 140736030095320 4958425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 24439 23394 496 1026 0 23409 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97756

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3773
/proc/meminfo: memFree=28253116/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=122968 CPUtime=1.49 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 29975 0 0 0 145 4 0 0 20 0 1 0 346478892 125919232 29190 33554432000 4194304 8395647 140734494911392 140734494908488 6707999 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 30742 29190 589 1026 0 29712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 122968

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3773
/proc/meminfo: memFree=28249760/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=129300 CPUtime=3.09 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 31917 0 0 0 305 4 0 0 20 0 1 0 346478892 132403200 31128 33554432000 4194304 8395647 140734494911392 140734494906920 18446744073699066235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 32325 31128 613 1026 0 31295 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 129300

[startup+6.30028 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3773
/proc/meminfo: memFree=28194020/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=178896 CPUtime=6.29 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 43700 0 0 0 620 9 0 0 20 0 1 0 346478892 183189504 43178 33554432000 4194304 8395647 140734494911392 140734494906952 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 44724 43178 639 1026 0 43694 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178896

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3773
/proc/meminfo: memFree=28192224/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=178776 CPUtime=12.69 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 44738 0 0 0 1257 12 0 0 20 0 1 0 346478892 183066624 43503 33554432000 4194304 8395647 140734494911392 140734494906792 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 44694 43503 645 1026 0 43664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178776

Solver just ended. Dumping a history of the last processes samples

[startup+14.3066 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3773
/proc/meminfo: memFree=28192224/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=178776 CPUtime=14.29 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 44738 0 0 0 1415 14 0 0 20 0 1 0 346478892 183066624 43503 33554432000 4194304 8395647 140734494911392 140734494906520 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 44694 43503 645 1026 0 43664 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 178776

[startup+15.9003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3773
/proc/meminfo: memFree=28192348/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=178776 CPUtime=15.89 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 44740 0 0 0 1574 15 0 0 20 0 1 0 346478892 183066624 43505 33554432000 4194304 8395647 140734494911392 140734494906952 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 44694 43505 645 1026 0 43664 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 178776

[startup+16.3003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3773
/proc/meminfo: memFree=28192348/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=178776 CPUtime=16.28 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 44740 0 0 0 1613 15 0 0 20 0 1 0 346478892 183066624 43505 33554432000 4194304 8395647 140734494911392 140734494906952 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 44694 43505 645 1026 0 43664 0
Current children cumulated CPU time (s) 16.28
Current children cumulated vsize (KiB) 178776

[startup+16.5067 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3773
/proc/meminfo: memFree=28192472/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=178776 CPUtime=16.49 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 44740 0 0 0 1634 15 0 0 20 0 1 0 346478892 183066624 43505 33554432000 4194304 8395647 140734494911392 140734494906952 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 44694 43505 645 1026 0 43664 0
Current children cumulated CPU time (s) 16.49
Current children cumulated vsize (KiB) 178776

[startup+16.6003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3773
/proc/meminfo: memFree=28192472/32873648 swapFree=6860/6860
[pid=3772] ppid=3770 vsize=178776 CPUtime=16.58 cores=0,2,4,6
/proc/3772/stat : 3772 (pbscip.linux.x8) R 3770 3772 1632 0 -1 4202496 44740 0 0 0 1643 15 0 0 20 0 1 0 346478892 183066624 43505 33554432000 4194304 8395647 140734494911392 140734494906952 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3772/statm: 44694 43505 645 1026 0 43664 0
Current children cumulated CPU time (s) 16.58
Current children cumulated vsize (KiB) 178776

Child status: 0
Real time (s): 16.6738
CPU time (s): 16.6695
CPU user time (s): 16.4975
CPU system time (s): 0.171973
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 182048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4975
system time used= 0.171973
maximum resident set size= 176752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44745
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= 19

runsolver used 0.030995 second user time and 0.079987 second system time

The end

Launcher Data

Begin job on node115 at 2012-06-04 11:52:01
IDJOB=3744257
IDBENCH=92714
IDSOLVER=2326
FILE ID=node115/3744257-1338803521
RUNJOBID= node115-1338772354-1649
PBS_JOBID= 14636818
Free space on /tmp= 70796 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_3_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-3744257-1338803521/watcher-3744257-1338803521 -o /tmp/evaluation-result-3744257-1338803521/solver-3744257-1338803521 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744257-1338803521.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= cf07fc1cad99b0f245ba698ecbf7dcb2
RANDOM SEED=1018619387

node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28365004 kB
Buffers:          105704 kB
Cached:           118748 kB
SwapCached:         1016 kB
Active:          3537628 kB
Inactive:         187004 kB
Active(anon):    3468736 kB
Inactive(anon):    33548 kB
Active(file):      68892 kB
Inactive(file):   153456 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67106440 kB
Dirty:             10812 kB
Writeback:             0 kB
AnonPages:       3505696 kB
Mapped:            10320 kB
Shmem:                96 kB
Slab:             639068 kB
SReclaimable:      83132 kB
SUnreclaim:       555936 kB
KernelStack:        1456 kB
PageTables:        11076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3717056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70784 MiB
End job on node115 at 2012-06-04 11:52:18