Trace number 3303325

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
glucose 2SAT 190.931 190.928

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
MD5SUMc848a5766cfcc1d1c3f26c7818e48eb2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.8495
Satisfiable
(Un)Satisfiability was proved
Number of variables1473
Number of clauses11563
Sum of the clauses size37576
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22381
Number of clauses of size 37024
Number of clauses of size 4708
Number of clauses of size 51300
Number of clauses of size over 5150

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |   11563    37576 |    3468       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |   11563    37600 |      --       0       --      -- |     --   | 0/24
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 1465   #clauses: 11563   #literals: 37600
0.00/0.01	c CPU time:   0.010998 s
0.00/0.01	c ==============================================================================
0.00/0.02	c
0.00/0.02	c Starting glucose
0.00/0.02	c
0.01/0.33	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.01/0.33	c WARNING: for repeatability, setting FPU to use double precision
0.01/0.33	c ============================[ Problem Statistics ]=============================
0.01/0.33	c |                                                                             |
0.01/0.33	c |  Number of variables:          1465                                         |
0.01/0.33	c |  Number of clauses:           11563                                         |
0.01/0.33	c |  Parse time:                   0.00 s                                       |
0.01/0.33	c |                                                                             |
0.01/0.33	c ============================[ Search Statistics ]==============================
0.01/0.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.33	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.01/0.33	c ===============================================================================
0.01/0.33	c |       688 |    1427    11563    37600 |        1      683     21 |  2.594 % |
0.01/0.33	c |      1015 |    1414    11563    37600 |        1     1008     22 |  3.481 % |
0.01/0.33	c |      1551 |    1406    11563    37600 |        1     1536     22 |  4.027 % |
0.01/0.33	c |      1665 |    1398    11527    37476 |        1     1646     23 |  4.573 % |
0.01/0.33	c |      2910 |    1394    11499    37384 |        1     2880     21 |  4.846 % |
0.01/0.33	c |      3011 |    1394    11499    37384 |        1     2981     21 |  4.846 % |
0.01/0.33	c |      3113 |    1394    11499    37384 |        1     3083     22 |  4.846 % |
0.01/0.33	c |      3213 |    1393    11499    37384 |        1     3182     22 |  4.915 % |
0.01/0.33	c |      3748 |    1393    11499    37384 |        1     3717     23 |  4.915 % |
0.01/0.33	c |      4127 |    1389    11499    37384 |        1     2118     16 |  5.188 % |
0.01/0.33	c |      4228 |    1389    11499    37384 |        1     2219     18 |  5.188 % |
0.01/0.33	c |      4328 |    1388    11499    37384 |        1     2318     19 |  5.256 % |
0.01/0.33	c |      5053 |    1386    11499    37384 |        1     3041     20 |  5.392 % |
0.01/0.33	c |      5497 |    1386    11499    37384 |        1     3485     20 |  5.392 % |
0.01/0.33	c |      5793 |    1386    11499    37384 |        1     3781     20 |  5.392 % |
0.01/0.33	c |      5893 |    1386    11476    37307 |        1     3878     22 |  5.392 % |
0.01/0.33	c |      5995 |    1386    11476    37307 |        1     3980     23 |  5.392 % |
0.01/0.33	c |      6095 |    1385    11476    37307 |        1     4079     23 |  5.461 % |
0.01/0.33	c |      6355 |    1385    11476    37307 |        1     4339     24 |  5.461 % |
0.01/0.33	c |      6958 |    1385    11476    37307 |        1     4942     24 |  5.461 % |
0.01/0.33	c |      7058 |    1385    11476    37307 |        1     5042     25 |  5.461 % |
0.01/0.33	c |      7159 |    1385    11476    37307 |        1     5143     26 |  5.461 % |
0.01/0.33	c |      7260 |    1385    11476    37307 |        1     5244     26 |  5.461 % |
0.01/0.33	c |      7372 |    1385    11476    37307 |        1     5356     27 |  5.461 % |
0.01/0.33	c |      7558 |    1381    11476    37307 |        1     5541     27 |  5.734 % |
0.01/0.33	c |      7658 |    1381    11476    37307 |        1     5641     28 |  5.734 % |
0.01/0.33	c |      7759 |    1381    11476    37307 |        1     5742     29 |  5.734 % |
0.01/0.33	c |      8431 |    1381    11476    37307 |        1     6414     28 |  5.734 % |
0.01/0.33	c |      8593 |    1381    11471    37292 |        1     6574     28 |  5.734 % |
0.01/0.33	c |     10567 |    1381    11471    37292 |        1     8548     29 |  5.734 % |
0.01/0.33	c |     10667 |    1381    11471    37292 |        1     4366     16 |  5.734 % |
0.01/0.33	c |     11452 |    1381    11471    37292 |        1     5151     17 |  5.734 % |
0.01/0.33	c |     11552 |    1381    11471    37292 |        1     5251     18 |  5.734 % |
0.01/0.33	c |     11882 |    1381    11471    37292 |        1     5581     18 |  5.734 % |
0.01/0.33	c |     11983 |    1381    11471    37292 |        1     5682     19 |  5.734 % |
0.01/0.33	c |     12725 |    1381    11471    37292 |        1     6424     20 |  5.734 % |
0.01/0.33	c |     12872 |    1381    11471    37292 |        1     6571     20 |  5.734 % |
0.01/0.33	c |     13509 |    1381    11471    37292 |        1     7208     21 |  5.734 % |
0.01/0.33	c |     13609 |    1381    11471    37292 |        1     7308     22 |  5.734 % |
0.99/1.02	c |     14222 |    1381    11471    37292 |        1     7921     23 |  5.734 % |
0.99/1.02	c |     14361 |    1381    11471    37292 |        1     8060     23 |  5.734 % |
0.99/1.02	c |     14815 |    1381    11471    37292 |        1     8514     23 |  5.734 % |
0.99/1.02	c |     14915 |    1381    11471    37292 |        1     8614     24 |  5.734 % |
0.99/1.02	c |     15224 |    1381    11471    37292 |        1     8923     24 |  5.734 % |
0.99/1.02	c |     15687 |    1381    11471    37292 |        1     9386     25 |  5.734 % |
0.99/1.02	c |     16860 |    1381    11471    37292 |        1    10559     25 |  5.734 % |
0.99/1.02	c |     17151 |    1381    11471    37292 |        1    10850     25 |  5.734 % |
0.99/1.02	c |     17859 |    1381    11471    37292 |        1    11558     26 |  5.734 % |
0.99/1.02	c |     18268 |    1381    11471    37292 |        1    11967     26 |  5.734 % |
0.99/1.02	c |     18379 |    1381    11471    37292 |        1    12078     26 |  5.734 % |
0.99/1.02	c |     18858 |    1381    11471    37292 |        1    12557     26 |  5.734 % |
0.99/1.02	c |     19330 |    1381    11471    37292 |        1    13029     27 |  5.734 % |
0.99/1.02	c |     19517 |    1381    11471    37292 |        1    13216     27 |  5.734 % |
0.99/1.02	c |     19618 |    1381    11471    37292 |        1    13317     27 |  5.734 % |
0.99/1.02	c |     20801 |    1381    11471    37292 |        1     7758     15 |  5.734 % |
0.99/1.02	c |     20978 |    1381    11471    37292 |        1     7935     16 |  5.734 % |
0.99/1.02	c |     21081 |    1381    11471    37292 |        1     8038     17 |  5.734 % |
0.99/1.02	c |     21181 |    1381    11471    37292 |        1     8138     17 |  5.734 % |
0.99/1.02	c |     21363 |    1381    11471    37292 |        1     8320     18 |  5.734 % |
0.99/1.02	c |     21556 |    1381    11471    37292 |        1     8513     19 |  5.734 % |
0.99/1.02	c |     21824 |    1381    11471    37292 |        1     8781     19 |  5.734 % |
0.99/1.02	c |     22440 |    1381    11471    37292 |        1     9397     20 |  5.734 % |
0.99/1.02	c |     22568 |    1381    11471    37292 |        1     9525     20 |  5.734 % |
0.99/1.02	c |     22921 |    1381    11471    37292 |        1     9878     21 |  5.734 % |
0.99/1.02	c |     23197 |    1381    11471    37292 |        1    10154     21 |  5.734 % |
0.99/1.02	c |     23552 |    1381    11471    37292 |        1    10509     22 |  5.734 % |
0.99/1.02	c |     23795 |    1381    11471    37292 |        1    10752     22 |  5.734 % |
0.99/1.02	c |     24622 |    1381    11471    37292 |        1    11579     23 |  5.734 % |
0.99/1.02	c |     24775 |    1381    11471    37292 |        1    11732     23 |  5.734 % |
0.99/1.02	c |     25009 |    1381    11471    37292 |        1    11966     23 |  5.734 % |
0.99/1.02	c |     25240 |    1381    11471    37292 |        1    12197     24 |  5.734 % |
0.99/1.02	c |     26029 |    1381    11471    37292 |        1    12986     24 |  5.734 % |
0.99/1.02	c |     26673 |    1381    11471    37292 |        1    13630     25 |  5.734 % |
0.99/1.02	c |     26919 |    1381    11471    37292 |        1    13876     25 |  5.734 % |
0.99/1.02	c |     27019 |    1381    11471    37292 |        1    13976     25 |  5.734 % |
0.99/1.02	c |     27120 |    1381    11471    37292 |        1    14077     26 |  5.734 % |
0.99/1.02	c |     27342 |    1381    11471    37292 |        1    14299     26 |  5.734 % |
0.99/1.02	c |     27792 |    1381    11471    37292 |        1    14749     26 |  5.734 % |
0.99/1.02	c |     27895 |    1381    11471    37292 |        1    14852     26 |  5.734 % |
0.99/1.02	c |     28877 |    1381    11471    37292 |        1    15834     27 |  5.734 % |
0.99/1.02	c |     29199 |    1381    11471    37292 |        1    16156     27 |  5.734 % |
0.99/1.02	c |     29426 |    1381    11471    37292 |        1    16383     27 |  5.734 % |
0.99/1.02	c |     30765 |    1381    11471    37292 |        1    17722     28 |  5.734 % |
0.99/1.02	c |     31298 |    1381    11471    37292 |        1    18255     29 |  5.734 % |
0.99/1.02	c |     31398 |    1381    11471    37292 |        1    18355     29 |  5.734 % |
0.99/1.02	c |     31576 |    1381    11471    37292 |        1    18533     29 |  5.734 % |
0.99/1.02	c |     32037 |    1381    11471    37292 |        1     9729     16 |  5.734 % |
0.99/1.02	c |     32166 |    1381    11471    37292 |        1     9858     16 |  5.734 % |
0.99/1.02	c |     32761 |    1381    11471    37292 |        1    10453     19 |  5.734 % |
1.88/1.98	c |     33607 |    1381    11471    37292 |        1    11299     19 |  5.734 % |
1.88/1.98	c |     33960 |    1381    11471    37292 |        1    11652     20 |  5.734 % |
1.88/1.98	c |     34399 |    1381    11471    37292 |        1    12091     20 |  5.734 % |
1.88/1.98	c |     35046 |    1381    11471    37292 |        1    12738     21 |  5.734 % |
1.88/1.98	c |     35258 |    1381    11471    37292 |        1    12950     22 |  5.734 % |
1.88/1.98	c |     36011 |    1381    11471    37292 |        1    13703     22 |  5.734 % |
1.88/1.98	c |     37101 |    1381    11471    37292 |        1    14793     23 |  5.734 % |
1.88/1.98	c |     37201 |    1381    11471    37292 |        1    14893     23 |  5.734 % |
1.88/1.98	c |     37332 |    1381    11471    37292 |        1    15024     24 |  5.734 % |
1.88/1.98	c |     37746 |    1381    11471    37292 |        1    15438     24 |  5.734 % |
1.88/1.98	c |     37847 |    1381    11471    37292 |        1    15539     24 |  5.734 % |
1.88/1.98	c |     37973 |    1381    11471    37292 |        1    15665     24 |  5.734 % |
1.88/1.98	c |     39776 |    1381    11471    37292 |        1    17468     27 |  5.734 % |
1.88/1.98	c |     39876 |    1381    11471    37292 |        1    17568     27 |  5.734 % |
1.88/1.98	c |     40081 |    1381    11471    37292 |        1    17773     27 |  5.734 % |
1.88/1.98	c |     40662 |    1381    11471    37292 |        1    18354     28 |  5.734 % |
1.88/1.98	c |     41520 |    1381    11471    37292 |        1    19212     28 |  5.734 % |
1.88/1.98	c |     41880 |    1381    11471    37292 |        1    19572     28 |  5.734 % |
1.88/1.98	c |     41980 |    1381    11471    37292 |        1    19672     28 |  5.734 % |
1.88/1.98	c |     42657 |    1381    11471    37292 |        1    20349     29 |  5.734 % |
1.88/1.98	c |     42797 |    1381    11471    37292 |        1    20489     29 |  5.734 % |
1.88/1.98	c |     43042 |    1381    11471    37292 |        1    20734     29 |  5.734 % |
1.88/1.98	c |     43355 |    1381    11471    37292 |        1    21047     29 |  5.734 % |
1.88/1.98	c |     44123 |    1381    11471    37292 |        1    21815     30 |  5.734 % |
1.88/1.98	c |     44223 |    1381    11471    37292 |        1    21915     30 |  5.734 % |
1.88/1.98	c |     44325 |    1381    11471    37292 |        1    22017     30 |  5.734 % |
1.88/1.98	c |     44498 |    1381    11471    37292 |        1    22190     30 |  5.734 % |
1.88/1.98	c |     44606 |    1381    11471    37292 |        1    22298     31 |  5.734 % |
1.88/1.98	c |     45424 |    1381    11471    37292 |        1    23116     31 |  5.734 % |
1.88/1.98	c |     45585 |    1381    11471    37292 |        1    23277     31 |  5.734 % |
1.88/1.98	c |     45957 |    1381    11471    37292 |        1    23649     31 |  5.734 % |
1.88/1.98	c |     46057 |    1381    11471    37292 |        1    12187     15 |  5.734 % |
1.88/1.98	c |     46170 |    1381    11471    37292 |        1    12300     15 |  5.734 % |
1.88/1.98	c |     46271 |    1381    11471    37292 |        1    12401     15 |  5.734 % |
1.88/1.98	c |     46410 |    1381    11471    37292 |        1    12540     16 |  5.734 % |
1.88/1.98	c |     46703 |    1381    11471    37292 |        1    12833     16 |  5.734 % |
1.88/1.98	c |     46811 |    1381    11471    37292 |        1    12941     17 |  5.734 % |
1.88/1.98	c |     46911 |    1381    11471    37292 |        1    13041     17 |  5.734 % |
1.88/1.98	c |     48122 |    1381    11471    37292 |        1    14252     19 |  5.734 % |
1.88/1.98	c |     49465 |    1381    11471    37292 |        1    15595     21 |  5.734 % |
1.88/1.98	c |     49870 |    1381    11471    37292 |        1    16000     21 |  5.734 % |
1.88/1.98	c |     50052 |    1381    11471    37292 |        1    16182     22 |  5.734 % |
1.88/1.98	c |     50215 |    1381    11471    37292 |        1    16345     22 |  5.734 % |
1.88/1.98	c |     50324 |    1381    11471    37292 |        1    16454     22 |  5.734 % |
1.88/1.98	c |     52127 |    1381    11471    37292 |        1    18257     26 |  5.734 % |
1.88/1.98	c |     52265 |    1381    11471    37292 |        1    18395     26 |  5.734 % |
1.88/1.98	c |     52365 |    1381    11471    37292 |        1    18495     26 |  5.734 % |
1.88/1.98	c |     52481 |    1381    11471    37292 |        1    18611     26 |  5.734 % |
1.88/1.98	c |     53323 |    1381    11471    37292 |        1    19453     27 |  5.734 % |
1.88/1.98	c |     53543 |    1381    11471    37292 |        1    19673     27 |  5.734 % |
2.88/2.93	c |     53657 |    1381    11471    37292 |        1    19787     27 |  5.734 % |
2.88/2.93	c |     53859 |    1381    11471    37292 |        1    19989     27 |  5.734 % |
2.88/2.93	c |     54424 |    1381    11471    37292 |        1    20554     28 |  5.734 % |
2.88/2.93	c |     54686 |    1381    11471    37292 |        1    20816     28 |  5.734 % |
2.88/2.93	c |     55089 |    1381    11471    37292 |        1    21219     28 |  5.734 % |
2.88/2.93	c |     55614 |    1381    11471    37292 |        1    21744     29 |  5.734 % |
2.88/2.93	c |     56267 |    1381    11471    37292 |        1    22397     30 |  5.734 % |
2.88/2.93	c |     56382 |    1381    11471    37292 |        1    22512     30 |  5.734 % |
2.88/2.93	c |     56808 |    1381    11471    37292 |        1    22938     30 |  5.734 % |
2.88/2.93	c |     57007 |    1381    11471    37292 |        1    23137     30 |  5.734 % |
2.88/2.93	c |     57216 |    1381    11471    37292 |        1    23346     30 |  5.734 % |
2.88/2.93	c |     57316 |    1381    11471    37292 |        1    23446     30 |  5.734 % |
2.88/2.93	c |     57467 |    1381    11471    37292 |        1    23597     30 |  5.734 % |
2.88/2.93	c |     58222 |    1381    11471    37292 |        1    24352     31 |  5.734 % |
2.88/2.93	c |     58358 |    1381    11471    37292 |        1    24488     31 |  5.734 % |
2.88/2.93	c |     58603 |    1381    11471    37292 |        1    24733     31 |  5.734 % |
2.88/2.93	c |     58838 |    1381    11471    37292 |        1    24968     31 |  5.734 % |
2.88/2.93	c |     58939 |    1381    11471    37292 |        1    25069     32 |  5.734 % |
2.88/2.93	c |     59207 |    1381    11471    37292 |        1    25337     32 |  5.734 % |
2.88/2.93	c |     59384 |    1381    11471    37292 |        1    25514     32 |  5.734 % |
2.88/2.93	c |     59806 |    1381    11471    37292 |        1    25936     32 |  5.734 % |
2.88/2.93	c |     60066 |    1381    11471    37292 |        1    26196     32 |  5.734 % |
2.88/2.93	c |     60338 |    1381    11471    37292 |        1    26468     33 |  5.734 % |
2.88/2.93	c |     60767 |    1381    11471    37292 |        1    26897     33 |  5.734 % |
2.88/2.93	c |     60987 |    1381    11471    37292 |        1    27117     33 |  5.734 % |
2.88/2.93	c |     61123 |    1381    11471    37292 |        1    27253     33 |  5.734 % |
2.88/2.93	c |     61223 |    1381    11471    37292 |        1    27353     33 |  5.734 % |
2.88/2.93	c |     61323 |    1381    11471    37292 |        1    27453     33 |  5.734 % |
2.88/2.93	c |     61725 |    1381    11471    37292 |        1    27855     33 |  5.734 % |
2.88/2.93	c |     62012 |    1381    11471    37292 |        1    28142     34 |  5.734 % |
2.88/2.93	c |     63255 |    1381    11471    37292 |        1    15293     16 |  5.734 % |
2.88/2.93	c |     63435 |    1381    11471    37292 |        1    15473     16 |  5.734 % |
2.88/2.93	c |     63693 |    1381    11471    37292 |        1    15731     17 |  5.734 % |
2.88/2.93	c |     64225 |    1381    11471    37292 |        1    16263     18 |  5.734 % |
2.88/2.93	c |     64398 |    1381    11471    37292 |        1    16436     18 |  5.734 % |
2.88/2.93	c |     64856 |    1381    11471    37292 |        1    16894     19 |  5.734 % |
2.88/2.93	c |     64981 |    1381    11471    37292 |        1    17019     19 |  5.734 % |
2.88/2.93	c |     65463 |    1381    11471    37292 |        1    17501     20 |  5.734 % |
2.88/2.93	c |     65783 |    1381    11471    37292 |        1    17821     21 |  5.734 % |
2.88/2.93	c |     65955 |    1381    11471    37292 |        1    17993     21 |  5.734 % |
2.88/2.93	c |     66067 |    1381    11471    37292 |        1    18105     21 |  5.734 % |
2.88/2.93	c |     66574 |    1381    11471    37292 |        1    18612     22 |  5.734 % |
2.88/2.93	c |     67332 |    1381    11471    37292 |        1    19370     23 |  5.734 % |
2.88/2.93	c |     67432 |    1381    11471    37292 |        1    19470     23 |  5.734 % |
2.88/2.93	c |     67990 |    1381    11471    37292 |        1    20028     24 |  5.734 % |
2.88/2.93	c |     68091 |    1381    11471    37292 |        1    20129     24 |  5.734 % |
2.88/2.93	c |     68191 |    1381    11471    37292 |        1    20229     24 |  5.734 % |
2.88/2.93	c |     68291 |    1381    11471    37292 |        1    20329     24 |  5.734 % |
2.88/2.93	c |     68993 |    1381    11471    37292 |        1    21031     25 |  5.734 % |
2.88/2.93	c |     69629 |    1381    11471    37292 |        1    21667     26 |  5.734 % |
4.38/4.45	c |     69762 |    1381    11471    37292 |        1    21800     26 |  5.734 % |
4.38/4.45	c |     69875 |    1381    11471    37292 |        1    21913     26 |  5.734 % |
4.38/4.45	c |     70492 |    1381    11471    37292 |        1    22530     27 |  5.734 % |
4.38/4.45	c |     70667 |    1381    11471    37292 |        1    22705     28 |  5.734 % |
4.38/4.45	c |     70773 |    1381    11471    37292 |        1    22811     28 |  5.734 % |
4.38/4.45	c |     70889 |    1381    11471    37292 |        1    22927     28 |  5.734 % |
4.38/4.45	c |     70990 |    1381    11471    37292 |        1    23028     28 |  5.734 % |
4.38/4.45	c |     72041 |    1381    11471    37292 |        1    24079     29 |  5.734 % |
4.38/4.45	c |     72650 |    1381    11471    37292 |        1    24688     30 |  5.734 % |
4.38/4.45	c |     72751 |    1381    11471    37292 |        1    24789     30 |  5.734 % |
4.38/4.45	c |     77805 |    1381    11471    37292 |        1    29843     36 |  5.734 % |
4.38/4.45	c |     78244 |    1381    11471    37292 |        1    30282     36 |  5.734 % |
4.38/4.45	c |     78449 |    1381    11471    37292 |        1    30487     36 |  5.734 % |
4.38/4.45	c |     78616 |    1381    11471    37292 |        1    30654     36 |  5.734 % |
4.38/4.45	c |     78718 |    1381    11471    37292 |        1    30756     36 |  5.734 % |
4.38/4.45	c |     78819 |    1381    11471    37292 |        1    30857     36 |  5.734 % |
4.38/4.45	c |     79188 |    1381    11471    37292 |        1    31226     37 |  5.734 % |
4.38/4.45	c |     79355 |    1381    11471    37292 |        1    31393     37 |  5.734 % |
4.38/4.45	c |     79458 |    1381    11471    37292 |        1    31496     37 |  5.734 % |
4.38/4.45	c |     79651 |    1381    11471    37292 |        1    31689     37 |  5.734 % |
4.38/4.45	c |     79861 |    1381    11471    37292 |        1    31899     37 |  5.734 % |
4.38/4.45	c |     79961 |    1381    11471    37292 |        1    31999     37 |  5.734 % |
4.38/4.45	c |     80061 |    1381    11471    37292 |        1    32099     37 |  5.734 % |
4.38/4.45	c |     80331 |    1381    11471    37292 |        1    32369     37 |  5.734 % |
4.38/4.45	c |     80499 |    1381    11471    37292 |        1    32537     37 |  5.734 % |
4.38/4.45	c |     81630 |    1381    11471    37292 |        1    33668     38 |  5.734 % |
4.38/4.45	c |     82032 |    1381    11471    37292 |        1    34070     38 |  5.734 % |
4.38/4.45	c |     83514 |    1381    11471    37292 |        1    18690     20 |  5.734 % |
4.38/4.45	c |     83614 |    1381    11471    37292 |        1    18790     20 |  5.734 % |
4.38/4.45	c |     83849 |    1381    11471    37292 |        1    19025     21 |  5.734 % |
4.38/4.45	c |     84478 |    1381    11471    37292 |        1    19654     21 |  5.734 % |
4.38/4.45	c |     84880 |    1381    11471    37292 |        1    20056     22 |  5.734 % |
4.38/4.45	c |     85242 |    1381    11471    37292 |        1    20418     22 |  5.734 % |
4.38/4.45	c |     85706 |    1381    11471    37292 |        1    20882     23 |  5.734 % |
4.38/4.45	c |     86274 |    1381    11471    37292 |        1    21450     23 |  5.734 % |
4.38/4.45	c |     86801 |    1381    11471    37292 |        1    21977     24 |  5.734 % |
4.38/4.45	c |     86951 |    1381    11471    37292 |        1    22127     24 |  5.734 % |
4.38/4.45	c |     87595 |    1381    11471    37292 |        1    22771     25 |  5.734 % |
4.38/4.45	c |     87913 |    1381    11471    37292 |        1    23089     25 |  5.734 % |
4.38/4.45	c |     88545 |    1381    11471    37292 |        1    23721     26 |  5.734 % |
4.38/4.45	c |     88655 |    1381    11471    37292 |        1    23831     26 |  5.734 % |
4.38/4.45	c |     88835 |    1381    11471    37292 |        1    24011     26 |  5.734 % |
4.38/4.45	c |     89075 |    1381    11471    37292 |        1    24251     27 |  5.734 % |
4.38/4.45	c |     89655 |    1381    11471    37292 |        1    24831     27 |  5.734 % |
4.38/4.45	c |     90442 |    1381    11471    37292 |        1    25618     29 |  5.734 % |
4.38/4.45	c |     91141 |    1381    11471    37292 |        1    26317     29 |  5.734 % |
4.38/4.45	c |     91435 |    1381    11471    37292 |        1    26611     29 |  5.734 % |
4.38/4.45	c |     91535 |    1381    11471    37292 |        1    26711     29 |  5.734 % |
4.38/4.45	c |     91768 |    1381    11471    37292 |        1    26944     30 |  5.734 % |
4.38/4.45	c |     92158 |    1381    11471    37292 |        1    27334     30 |  5.734 % |
5.58/5.61	c |     92655 |    1381    11471    37292 |        1    27831     30 |  5.734 % |
5.58/5.61	c |     92755 |    1381    11471    37292 |        1    27931     30 |  5.734 % |
5.58/5.61	c |     93012 |    1381    11471    37292 |        1    28188     31 |  5.734 % |
5.58/5.61	c |     93113 |    1381    11471    37292 |        1    28289     31 |  5.734 % |
5.58/5.61	c |     93401 |    1381    11471    37292 |        1    28577     31 |  5.734 % |
5.58/5.61	c |     93782 |    1381    11471    37292 |        1    28958     32 |  5.734 % |
5.58/5.61	c |     94063 |    1381    11471    37292 |        1    29239     32 |  5.734 % |
5.58/5.61	c |     94235 |    1381    11471    37292 |        1    29411     32 |  5.734 % |
5.58/5.61	c |     94481 |    1381    11471    37292 |        1    29657     32 |  5.734 % |
5.58/5.61	c |     94581 |    1381    11471    37292 |        1    29757     32 |  5.734 % |
5.58/5.61	c |     95335 |    1381    11471    37292 |        1    30511     33 |  5.734 % |
5.58/5.61	c |     95438 |    1381    11471    37292 |        1    30614     33 |  5.734 % |
5.58/5.61	c |     95579 |    1381    11471    37292 |        1    30755     33 |  5.734 % |
5.58/5.61	c |     95967 |    1381    11471    37292 |        1    31143     33 |  5.734 % |
5.58/5.61	c |     96215 |    1381    11471    37292 |        1    31391     33 |  5.734 % |
5.58/5.61	c |     96316 |    1381    11471    37292 |        1    31492     33 |  5.734 % |
5.58/5.61	c |     96452 |    1381    11471    37292 |        1    31628     33 |  5.734 % |
5.58/5.61	c |     97217 |    1381    11471    37292 |        1    32393     34 |  5.734 % |
5.58/5.61	c |     97391 |    1381    11471    37292 |        1    32567     34 |  5.734 % |
5.58/5.61	c |     97602 |    1381    11471    37292 |        1    32778     34 |  5.734 % |
5.58/5.61	c |     97899 |    1381    11471    37292 |        1    33075     34 |  5.734 % |
5.58/5.61	c |     98398 |    1381    11471    37292 |        1    33574     35 |  5.734 % |
5.58/5.61	c |     98498 |    1381    11471    37292 |        1    33674     35 |  5.734 % |
5.58/5.61	c |     98898 |    1381    11471    37292 |        1    34074     35 |  5.734 % |
5.58/5.61	c |     98998 |    1381    11471    37292 |        1    34174     35 |  5.734 % |
5.58/5.61	c |     99252 |    1381    11471    37292 |        1    34428     35 |  5.734 % |
5.58/5.61	c |     99352 |    1381    11471    37292 |        1    34528     35 |  5.734 % |
5.58/5.61	c |     99481 |    1381    11471    37292 |        1    34657     35 |  5.734 % |
5.58/5.61	c |    100775 |    1381    11471    37292 |        1    35951     36 |  5.734 % |
5.58/5.61	c |    100907 |    1381    11471    37292 |        1    36083     36 |  5.734 % |
5.58/5.61	c |    101007 |    1381    11471    37292 |        1    36183     36 |  5.734 % |
5.58/5.61	c |    101113 |    1381    11471    37292 |        1    36289     36 |  5.734 % |
5.58/5.61	c |    101231 |    1381    11471    37292 |        1    36407     36 |  5.734 % |
5.58/5.61	c |    101332 |    1381    11471    37292 |        1    36508     36 |  5.734 % |
5.58/5.61	c |    101441 |    1381    11471    37292 |        1    36617     37 |  5.734 % |
5.58/5.61	c |    101556 |    1381    11471    37292 |        1    36732     37 |  5.734 % |
5.58/5.61	c |    101657 |    1381    11471    37292 |        1    36833     37 |  5.734 % |
5.58/5.61	c |    101802 |    1381    11471    37292 |        1    36978     37 |  5.734 % |
5.58/5.61	c |    101960 |    1381    11471    37292 |        1    37136     37 |  5.734 % |
5.58/5.61	c |    102456 |    1381    11471    37292 |        1    37632     37 |  5.734 % |
5.58/5.61	c |    104061 |    1381    11471    37292 |        1    39237     38 |  5.734 % |
5.58/5.61	c |    104199 |    1381    11471    37292 |        1    39375     38 |  5.734 % |
5.58/5.61	c |    104358 |    1381    11471    37292 |        1    39534     38 |  5.734 % |
5.58/5.61	c |    104460 |    1381    11471    37292 |        1    39636     38 |  5.734 % |
5.58/5.61	c |    104843 |    1381    11471    37292 |        1    20544     14 |  5.734 % |
5.58/5.61	c |    104950 |    1381    11471    37292 |        1    20651     14 |  5.734 % |
5.58/5.61	c |    105158 |    1381    11471    37292 |        1    20859     15 |  5.734 % |
5.58/5.61	c |    105258 |    1381    11471    37292 |        1    20959     15 |  5.734 % |
5.58/5.61	c |    105684 |    1381    11471    37292 |        1    21385     16 |  5.734 % |
5.58/5.61	c |    105862 |    1381    11471    37292 |        1    21563     16 |  5.734 % |
6.48/6.52	c |    106226 |    1381    11471    37292 |        1    21927     17 |  5.734 % |
6.48/6.52	c |    106568 |    1381    11471    37292 |        1    22269     17 |  5.734 % |
6.48/6.52	c |    106668 |    1381    11471    37292 |        1    22369     17 |  5.734 % |
6.48/6.52	c |    106952 |    1381    11471    37292 |        1    22653     18 |  5.734 % |
6.48/6.52	c |    107052 |    1381    11471    37292 |        1    22753     18 |  5.734 % |
6.48/6.52	c |    107669 |    1381    11471    37292 |        1    23370     19 |  5.734 % |
6.48/6.52	c |    107862 |    1381    11471    37292 |        1    23563     19 |  5.734 % |
6.48/6.52	c |    108066 |    1381    11471    37292 |        1    23767     20 |  5.734 % |
6.48/6.52	c |    108182 |    1381    11471    37292 |        1    23883     20 |  5.734 % |
6.48/6.52	c |    108321 |    1381    11471    37292 |        1    24022     20 |  5.734 % |
6.48/6.52	c |    108422 |    1381    11471    37292 |        1    24123     20 |  5.734 % |
6.48/6.52	c |    109588 |    1381    11471    37292 |        1    25289     22 |  5.734 % |
6.48/6.52	c |    109740 |    1381    11471    37292 |        1    25441     22 |  5.734 % |
6.48/6.52	c |    109975 |    1381    11471    37292 |        1    25676     22 |  5.734 % |
6.48/6.52	c |    110124 |    1381    11471    37292 |        1    25825     22 |  5.734 % |
6.48/6.52	c |    110224 |    1381    11471    37292 |        1    25925     23 |  5.734 % |
6.48/6.52	c |    110441 |    1381    11471    37292 |        1    26142     23 |  5.734 % |
6.48/6.52	c |    110543 |    1381    11471    37292 |        1    26244     23 |  5.734 % |
6.48/6.52	c |    110812 |    1381    11471    37292 |        1    26513     23 |  5.734 % |
6.48/6.52	c |    112406 |    1381    11471    37292 |        1    28107     26 |  5.734 % |
6.48/6.52	c |    112606 |    1381    11471    37292 |        1    28307     26 |  5.734 % |
6.48/6.52	c |    112948 |    1381    11471    37292 |        1    28649     26 |  5.734 % |
6.48/6.52	c |    113136 |    1381    11471    37292 |        1    28837     27 |  5.734 % |
6.48/6.52	c |    113313 |    1381    11471    37292 |        1    29014     27 |  5.734 % |
6.48/6.52	c |    113413 |    1381    11471    37292 |        1    29114     27 |  5.734 % |
6.48/6.52	c |    113515 |    1381    11471    37292 |        1    29216     27 |  5.734 % |
6.48/6.52	c |    113617 |    1381    11471    37292 |        1    29318     27 |  5.734 % |
6.48/6.52	c |    113867 |    1381    11471    37292 |        1    29568     27 |  5.734 % |
6.48/6.52	c |    113967 |    1381    11471    37292 |        1    29668     27 |  5.734 % |
6.48/6.52	c |    114394 |    1381    11471    37292 |        1    30095     28 |  5.734 % |
6.48/6.52	c |    114964 |    1381    11471    37292 |        1    30665     28 |  5.734 % |
6.48/6.52	c |    115440 |    1381    11471    37292 |        1    31141     29 |  5.734 % |
6.48/6.52	c |    115643 |    1381    11471    37292 |        1    31344     29 |  5.734 % |
6.48/6.52	c |    115924 |    1381    11471    37292 |        1    31625     29 |  5.734 % |
6.48/6.52	c |    116149 |    1381    11471    37292 |        1    31850     29 |  5.734 % |
6.48/6.52	c |    116447 |    1381    11471    37292 |        1    32148     30 |  5.734 % |
6.48/6.52	c |    116547 |    1381    11471    37292 |        1    32248     30 |  5.734 % |
6.48/6.52	c |    116844 |    1381    11471    37292 |        1    32545     30 |  5.734 % |
6.48/6.52	c |    117068 |    1381    11471    37292 |        1    32769     30 |  5.734 % |
6.48/6.52	c |    117321 |    1381    11471    37292 |        1    33022     30 |  5.734 % |
6.48/6.52	c |    117423 |    1381    11471    37292 |        1    33124     31 |  5.734 % |
6.48/6.52	c |    117586 |    1381    11471    37292 |        1    33287     31 |  5.734 % |
6.48/6.52	c |    117884 |    1381    11471    37292 |        1    33585     31 |  5.734 % |
6.48/6.52	c |    118194 |    1381    11471    37292 |        1    33895     31 |  5.734 % |
6.48/6.52	c |    118296 |    1381    11471    37292 |        1    33997     31 |  5.734 % |
6.48/6.52	c |    118397 |    1381    11471    37292 |        1    34098     31 |  5.734 % |
6.48/6.52	c |    118497 |    1381    11471    37292 |        1    34198     32 |  5.734 % |
6.48/6.52	c |    118603 |    1381    11471    37292 |        1    34304     32 |  5.734 % |
6.48/6.52	c |    118985 |    1381    11471    37292 |        1    34686     32 |  5.734 % |
7.88/7.95	c |    119188 |    1381    11471    37292 |        1    34889     32 |  5.734 % |
7.88/7.95	c |    119376 |    1381    11471    37292 |        1    35077     32 |  5.734 % |
7.88/7.95	c |    120393 |    1381    11471    37292 |        1    36094     33 |  5.734 % |
7.88/7.95	c |    120513 |    1381    11471    37292 |        1    36214     33 |  5.734 % |
7.88/7.95	c |    120613 |    1381    11471    37292 |        1    36314     33 |  5.734 % |
7.88/7.95	c |    120761 |    1381    11471    37292 |        1    36462     33 |  5.734 % |
7.88/7.95	c |    120861 |    1381    11471    37292 |        1    36562     33 |  5.734 % |
7.88/7.95	c |    121023 |    1381    11471    37292 |        1    36724     34 |  5.734 % |
7.88/7.95	c |    121179 |    1381    11471    37292 |        1    36880     34 |  5.734 % |
7.88/7.95	c |    121345 |    1381    11471    37292 |        1    37046     34 |  5.734 % |
7.88/7.95	c |    121446 |    1381    11471    37292 |        1    37147     34 |  5.734 % |
7.88/7.95	c |    121546 |    1381    11471    37292 |        1    37247     34 |  5.734 % |
7.88/7.95	c |    121655 |    1381    11471    37292 |        1    37356     34 |  5.734 % |
7.88/7.95	c |    121820 |    1381    11471    37292 |        1    37521     34 |  5.734 % |
7.88/7.95	c |    122011 |    1381    11471    37292 |        1    37712     34 |  5.734 % |
7.88/7.95	c |    122144 |    1381    11471    37292 |        1    37845     34 |  5.734 % |
7.88/7.95	c |    122359 |    1381    11471    37292 |        1    38060     35 |  5.734 % |
7.88/7.95	c |    122637 |    1381    11471    37292 |        1    38338     35 |  5.734 % |
7.88/7.95	c |    122768 |    1381    11471    37292 |        1    38469     35 |  5.734 % |
7.88/7.95	c |    122870 |    1381    11471    37292 |        1    38571     35 |  5.734 % |
7.88/7.95	c |    123081 |    1381    11471    37292 |        1    38782     35 |  5.734 % |
7.88/7.95	c |    124426 |    1381    11471    37292 |        1    40127     36 |  5.734 % |
7.88/7.95	c |    124530 |    1381    11471    37292 |        1    40231     36 |  5.734 % |
7.88/7.95	c |    124747 |    1381    11471    37292 |        1    40448     36 |  5.734 % |
7.88/7.95	c |    125171 |    1381    11471    37292 |        1    40872     37 |  5.734 % |
7.88/7.95	c |    125273 |    1381    11471    37292 |        1    40974     37 |  5.734 % |
7.88/7.95	c |    130707 |    1381    11471    37292 |        1    25006     17 |  5.734 % |
7.88/7.95	c |    130807 |    1381    11471    37292 |        1    25106     18 |  5.734 % |
7.88/7.95	c |    130907 |    1381    11471    37292 |        1    25206     18 |  5.734 % |
7.88/7.95	c |    131133 |    1381    11471    37292 |        1    25432     18 |  5.734 % |
7.88/7.95	c |    131312 |    1381    11471    37292 |        1    25611     18 |  5.734 % |
7.88/7.95	c |    131664 |    1381    11471    37292 |        1    25963     19 |  5.734 % |
7.88/7.95	c |    131799 |    1381    11471    37292 |        1    26098     19 |  5.734 % |
7.88/7.95	c |    131900 |    1381    11471    37292 |        1    26199     20 |  5.734 % |
7.88/7.95	c |    132020 |    1381    11471    37292 |        1    26319     20 |  5.734 % |
7.88/7.95	c |    132129 |    1381    11471    37292 |        1    26428     20 |  5.734 % |
7.88/7.95	c |    133599 |    1381    11471    37292 |        1    27898     23 |  5.734 % |
7.88/7.95	c |    133701 |    1381    11471    37292 |        1    28000     23 |  5.734 % |
7.88/7.95	c |    133826 |    1381    11471    37292 |        1    28125     23 |  5.734 % |
7.88/7.95	c |    134069 |    1381    11471    37292 |        1    28368     23 |  5.734 % |
7.88/7.95	c |    134171 |    1381    11471    37292 |        1    28470     24 |  5.734 % |
7.88/7.95	c |    134852 |    1381    11471    37292 |        1    29151     24 |  5.734 % |
7.88/7.95	c |    134953 |    1381    11471    37292 |        1    29252     24 |  5.734 % |
7.88/7.95	c |    136028 |    1381    11471    37292 |        1    30327     26 |  5.734 % |
7.88/7.95	c |    137017 |    1381    11471    37292 |        1    31316     27 |  5.734 % |
7.88/7.95	c |    137118 |    1381    11471    37292 |        1    31417     27 |  5.734 % |
7.88/7.95	c |    137240 |    1381    11471    37292 |        1    31539     27 |  5.734 % |
7.88/7.95	c |    137340 |    1381    11471    37292 |        1    31639     28 |  5.734 % |
7.88/7.95	c |    138004 |    1381    11471    37292 |        1    32303     28 |  5.734 % |
7.88/7.95	c |    138141 |    1381    11471    37292 |        1    32440     28 |  5.734 % |
9.28/9.30	c |    138550 |    1381    11471    37292 |        1    32849     29 |  5.734 % |
9.28/9.30	c |    140649 |    1381    11471    37292 |        1    34948     31 |  5.734 % |
9.28/9.30	c |    140886 |    1381    11471    37292 |        1    35185     31 |  5.734 % |
9.28/9.30	c |    141227 |    1381    11471    37292 |        1    35526     31 |  5.734 % |
9.28/9.30	c |    141502 |    1381    11471    37292 |        1    35801     32 |  5.734 % |
9.28/9.30	c |    141669 |    1381    11471    37292 |        1    35968     32 |  5.734 % |
9.28/9.30	c |    142719 |    1381    11471    37292 |        1    37018     33 |  5.734 % |
9.28/9.30	c |    143030 |    1381    11471    37292 |        1    37329     33 |  5.734 % |
9.28/9.30	c |    143133 |    1381    11471    37292 |        1    37432     33 |  5.734 % |
9.28/9.30	c |    143472 |    1381    11471    37292 |        1    37771     33 |  5.734 % |
9.28/9.30	c |    143594 |    1381    11471    37292 |        1    37893     33 |  5.734 % |
9.28/9.30	c |    143696 |    1381    11471    37292 |        1    37995     33 |  5.734 % |
9.28/9.30	c |    143852 |    1381    11471    37292 |        1    38151     33 |  5.734 % |
9.28/9.30	c |    143953 |    1381    11471    37292 |        1    38252     34 |  5.734 % |
9.28/9.30	c |    144091 |    1381    11471    37292 |        1    38390     34 |  5.734 % |
9.28/9.30	c |    144193 |    1381    11471    37292 |        1    38492     34 |  5.734 % |
9.28/9.30	c |    144293 |    1381    11471    37292 |        1    38592     34 |  5.734 % |
9.28/9.30	c |    145044 |    1381    11471    37292 |        1    39343     34 |  5.734 % |
9.28/9.30	c |    145153 |    1381    11471    37292 |        1    39452     35 |  5.734 % |
9.28/9.30	c |    145327 |    1381    11471    37292 |        1    39626     35 |  5.734 % |
9.28/9.30	c |    145428 |    1381    11471    37292 |        1    39727     35 |  5.734 % |
9.28/9.30	c |    145533 |    1381    11471    37292 |        1    39832     35 |  5.734 % |
9.28/9.30	c |    145733 |    1381    11471    37292 |        1    40032     35 |  5.734 % |
9.28/9.30	c |    145833 |    1381    11471    37292 |        1    40132     35 |  5.734 % |
9.28/9.30	c |    146065 |    1381    11471    37292 |        1    40364     35 |  5.734 % |
9.28/9.30	c |    146180 |    1381    11471    37292 |        1    40479     36 |  5.734 % |
9.28/9.30	c |    146281 |    1381    11471    37292 |        1    40580     36 |  5.734 % |
9.28/9.30	c |    146450 |    1381    11471    37292 |        1    40749     36 |  5.734 % |
9.28/9.30	c |    148911 |    1381    11471    37292 |        1    43210     38 |  5.734 % |
9.28/9.30	c |    149842 |    1381    11471    37292 |        1    44141     38 |  5.734 % |
9.28/9.30	c |    150076 |    1381    11471    37292 |        1    44375     38 |  5.734 % |
9.28/9.30	c |    150177 |    1381    11471    37292 |        1    44476     38 |  5.734 % |
9.28/9.30	c |    150627 |    1381    11471    37292 |        1    44926     39 |  5.734 % |
9.28/9.30	c |    150858 |    1381    11471    37292 |        1    45157     39 |  5.734 % |
9.28/9.30	c |    150959 |    1381    11471    37292 |        1    45258     39 |  5.734 % |
9.28/9.30	c |    151384 |    1381    11471    37292 |        1    45683     39 |  5.734 % |
9.28/9.30	c |    151485 |    1381    11471    37292 |        1    45784     39 |  5.734 % |
9.28/9.30	c |    151604 |    1381    11471    37292 |        1    45903     39 |  5.734 % |
9.28/9.30	c |    151704 |    1381    11471    37292 |        1    46003     39 |  5.734 % |
9.28/9.30	c |    151856 |    1381    11471    37292 |        1    46155     39 |  5.734 % |
9.28/9.30	c |    152147 |    1381    11471    37292 |        1    46446     40 |  5.734 % |
9.28/9.30	c |    152306 |    1381    11471    37292 |        1    46605     40 |  5.734 % |
9.28/9.30	c |    152443 |    1381    11471    37292 |        1    46742     40 |  5.734 % |
9.28/9.30	c |    152543 |    1381    11471    37292 |        1    46842     40 |  5.734 % |
9.28/9.30	c |    152646 |    1381    11471    37292 |        1    46945     40 |  5.734 % |
9.28/9.30	c |    152768 |    1381    11471    37292 |        1    47067     40 |  5.734 % |
9.28/9.30	c |    152929 |    1381    11471    37292 |        1    47228     40 |  5.734 % |
9.28/9.30	c |    153030 |    1381    11471    37292 |        1    47329     40 |  5.734 % |
9.28/9.30	c |    153141 |    1381    11471    37292 |        1    47440     40 |  5.734 % |
9.28/9.30	c |    153279 |    1381    11471    37292 |        1    47578     40 |  5.734 % |
10.08/10.19	c |    153624 |    1381    11471    37292 |        1    47923     41 |  5.734 % |
10.08/10.19	c |    153724 |    1381    11471    37292 |        1    48023     41 |  5.734 % |
10.08/10.19	c |    154266 |    1381    11471    37292 |        1    48565     41 |  5.734 % |
10.08/10.19	c |    154607 |    1381    11471    37292 |        1    48906     41 |  5.734 % |
10.08/10.19	c |    154708 |    1381    11471    37292 |        1    49007     41 |  5.734 % |
10.08/10.19	c |    154845 |    1381    11471    37292 |        1    49144     41 |  5.734 % |
10.08/10.19	c |    154947 |    1381    11471    37292 |        1    49246     41 |  5.734 % |
10.08/10.19	c |    155131 |    1381    11471    37292 |        1    49430     41 |  5.734 % |
10.08/10.19	c |    155290 |    1381    11471    37292 |        1    49589     41 |  5.734 % |
10.08/10.19	c |    155392 |    1381    11471    37292 |        1    49691     41 |  5.734 % |
10.08/10.19	c |    155492 |    1381    11471    37292 |        1    49791     42 |  5.734 % |
10.08/10.19	c |    155592 |    1381    11471    37292 |        1    49891     42 |  5.734 % |
10.08/10.19	c |    155692 |    1381    11471    37292 |        1    49991     42 |  5.734 % |
10.08/10.19	c |    155798 |    1381    11471    37292 |        1    50097     42 |  5.734 % |
10.08/10.19	c |    155898 |    1381    11471    37292 |        1    50197     42 |  5.734 % |
10.08/10.19	c |    155998 |    1381    11471    37292 |        1    50297     42 |  5.734 % |
10.08/10.19	c |    156205 |    1381    11471    37292 |        1    50504     42 |  5.734 % |
10.08/10.19	c |    156308 |    1381    11471    37292 |        1    50607     42 |  5.734 % |
10.08/10.19	c |    156440 |    1381    11471    37292 |        1    50739     42 |  5.734 % |
10.08/10.19	c |    156541 |    1381    11471    37292 |        1    50840     42 |  5.734 % |
10.08/10.19	c |    156641 |    1381    11471    37292 |        1    50940     42 |  5.734 % |
10.08/10.19	c |    156743 |    1381    11471    37292 |        1    51042     42 |  5.734 % |
10.08/10.19	c |    156844 |    1381    11471    37292 |        1    51143     42 |  5.734 % |
10.08/10.19	c |    156945 |    1381    11471    37292 |        1    51244     42 |  5.734 % |
10.08/10.19	c |    157153 |    1381    11471    37292 |        1    26990     16 |  5.734 % |
10.08/10.19	c |    157257 |    1381    11471    37292 |        1    27094     17 |  5.734 % |
10.08/10.19	c |    158497 |    1381    11471    37292 |        1    28334     19 |  5.734 % |
10.08/10.19	c |    158598 |    1381    11471    37292 |        1    28435     19 |  5.734 % |
10.08/10.19	c |    158790 |    1381    11471    37292 |        1    28627     19 |  5.734 % |
10.08/10.19	c |    159382 |    1381    11471    37292 |        1    29219     20 |  5.734 % |
10.08/10.19	c |    159672 |    1381    11471    37292 |        1    29509     21 |  5.734 % |
10.08/10.19	c |    159772 |    1381    11471    37292 |        1    29609     21 |  5.734 % |
10.08/10.19	c |    159887 |    1381    11471    37292 |        1    29724     21 |  5.734 % |
10.08/10.19	c |    160003 |    1381    11471    37292 |        1    29840     21 |  5.734 % |
10.08/10.19	c |    160105 |    1381    11471    37292 |        1    29942     21 |  5.734 % |
10.08/10.19	c |    160231 |    1381    11471    37292 |        1    30068     22 |  5.734 % |
10.08/10.19	c |    160332 |    1381    11471    37292 |        1    30169     22 |  5.734 % |
10.08/10.19	c |    160520 |    1381    11471    37292 |        1    30357     22 |  5.734 % |
10.08/10.19	c |    160668 |    1381    11471    37292 |        1    30505     22 |  5.734 % |
10.08/10.19	c |    160772 |    1381    11471    37292 |        1    30609     22 |  5.734 % |
10.08/10.19	c |    160873 |    1381    11471    37292 |        1    30710     23 |  5.734 % |
10.08/10.19	c |    161014 |    1381    11471    37292 |        1    30851     23 |  5.734 % |
10.08/10.19	c |    161114 |    1381    11471    37292 |        1    30951     23 |  5.734 % |
10.08/10.19	c |    161215 |    1381    11471    37292 |        1    31052     23 |  5.734 % |
10.08/10.19	c |    161383 |    1381    11471    37292 |        1    31220     23 |  5.734 % |
10.08/10.19	c |    161654 |    1381    11471    37292 |        1    31491     24 |  5.734 % |
10.08/10.19	c |    161897 |    1381    11471    37292 |        1    31734     24 |  5.734 % |
10.08/10.19	c |    162217 |    1381    11471    37292 |        1    32054     25 |  5.734 % |
10.08/10.19	c |    162317 |    1381    11471    37292 |        1    32154     25 |  5.734 % |
10.08/10.19	c |    162742 |    1381    11471    37292 |        1    32579     25 |  5.734 % |
11.08/11.15	c |    163071 |    1381    11471    37292 |        1    32908     26 |  5.734 % |
11.08/11.15	c |    163177 |    1381    11471    37292 |        1    33014     26 |  5.734 % |
11.08/11.15	c |    163647 |    1381    11471    37292 |        1    33484     26 |  5.734 % |
11.08/11.15	c |    163750 |    1381    11471    37292 |        1    33587     26 |  5.734 % |
11.08/11.15	c |    164181 |    1381    11471    37292 |        1    34018     27 |  5.734 % |
11.08/11.15	c |    164315 |    1381    11471    37292 |        1    34152     27 |  5.734 % |
11.08/11.15	c |    164418 |    1381    11471    37292 |        1    34255     27 |  5.734 % |
11.08/11.15	c |    164518 |    1381    11471    37292 |        1    34355     27 |  5.734 % |
11.08/11.15	c |    164643 |    1381    11471    37292 |        1    34480     28 |  5.734 % |
11.08/11.15	c |    164789 |    1381    11471    37292 |        1    34626     28 |  5.734 % |
11.08/11.15	c |    165748 |    1381    11471    37292 |        1    35585     29 |  5.734 % |
11.08/11.15	c |    165848 |    1381    11471    37292 |        1    35685     29 |  5.734 % |
11.08/11.15	c |    165970 |    1381    11471    37292 |        1    35807     29 |  5.734 % |
11.08/11.15	c |    166125 |    1381    11471    37292 |        1    35962     30 |  5.734 % |
11.08/11.15	c |    166329 |    1381    11471    37292 |        1    36166     30 |  5.734 % |
11.08/11.15	c |    166429 |    1381    11471    37292 |        1    36266     30 |  5.734 % |
11.08/11.15	c |    166616 |    1381    11471    37292 |        1    36453     30 |  5.734 % |
11.08/11.15	c |    166773 |    1381    11471    37292 |        1    36610     30 |  5.734 % |
11.08/11.15	c |    166874 |    1381    11471    37292 |        1    36711     31 |  5.734 % |
11.08/11.15	c |    166974 |    1381    11471    37292 |        1    36811     31 |  5.734 % |
11.08/11.15	c |    167214 |    1381    11471    37292 |        1    37051     31 |  5.734 % |
11.08/11.15	c |    167316 |    1381    11471    37292 |        1    37153     31 |  5.734 % |
11.08/11.15	c |    167921 |    1381    11471    37292 |        1    37758     31 |  5.734 % |
11.08/11.15	c |    168021 |    1381    11471    37292 |        1    37858     32 |  5.734 % |
11.08/11.15	c |    168121 |    1381    11471    37292 |        1    37958     32 |  5.734 % |
11.08/11.15	c |    168340 |    1381    11471    37292 |        1    38177     32 |  5.734 % |
11.08/11.15	c |    169322 |    1381    11471    37292 |        1    39159     33 |  5.734 % |
11.08/11.15	c |    169422 |    1381    11471    37292 |        1    39259     33 |  5.734 % |
11.08/11.15	c |    169609 |    1381    11471    37292 |        1    39446     33 |  5.734 % |
11.08/11.15	c |    169881 |    1381    11471    37292 |        1    39718     33 |  5.734 % |
11.08/11.15	c |    169982 |    1381    11471    37292 |        1    39819     33 |  5.734 % |
11.08/11.15	c |    170083 |    1381    11471    37292 |        1    39920     34 |  5.734 % |
11.08/11.15	c |    170183 |    1381    11471    37292 |        1    40020     34 |  5.734 % |
11.08/11.15	c |    170286 |    1381    11471    37292 |        1    40123     34 |  5.734 % |
11.08/11.15	c |    170387 |    1381    11471    37292 |        1    40224     34 |  5.734 % |
11.08/11.15	c |    170675 |    1381    11471    37292 |        1    40512     34 |  5.734 % |
11.08/11.15	c |    170776 |    1381    11471    37292 |        1    40613     34 |  5.734 % |
11.08/11.15	c |    170877 |    1381    11471    37292 |        1    40714     34 |  5.734 % |
11.08/11.15	c |    170977 |    1381    11471    37292 |        1    40814     35 |  5.734 % |
11.08/11.15	c |    171303 |    1381    11471    37292 |        1    41140     35 |  5.734 % |
11.08/11.15	c |    171404 |    1381    11471    37292 |        1    41241     35 |  5.734 % |
11.08/11.15	c |    171504 |    1381    11471    37292 |        1    41341     35 |  5.734 % |
11.08/11.15	c |    171854 |    1381    11471    37292 |        1    41691     36 |  5.734 % |
11.08/11.15	c |    172186 |    1381    11471    37292 |        1    42023     36 |  5.734 % |
11.08/11.15	c |    172307 |    1381    11471    37292 |        1    42144     36 |  5.734 % |
11.08/11.15	c |    172407 |    1381    11471    37292 |        1    42244     36 |  5.734 % |
11.08/11.15	c |    172850 |    1381    11471    37292 |        1    42687     36 |  5.734 % |
11.08/11.15	c |    172951 |    1381    11471    37292 |        1    42788     36 |  5.734 % |
11.08/11.15	c |    173051 |    1381    11471    37292 |        1    42888     37 |  5.734 % |
11.08/11.15	c |    173170 |    1381    11471    37292 |        1    43007     37 |  5.734 % |
12.77/12.85	c |    175860 |    1381    11471    37292 |        1    45697     39 |  5.734 % |
12.77/12.85	c |    175960 |    1381    11471    37292 |        1    45797     39 |  5.734 % |
12.77/12.85	c |    176474 |    1381    11471    37292 |        1    46311     39 |  5.734 % |
12.77/12.85	c |    177113 |    1381    11471    37292 |        1    46950     40 |  5.734 % |
12.77/12.85	c |    177313 |    1381    11471    37292 |        1    47150     40 |  5.734 % |
12.77/12.85	c |    177598 |    1381    11471    37292 |        1    47435     40 |  5.734 % |
12.77/12.85	c |    177703 |    1381    11471    37292 |        1    47540     40 |  5.734 % |
12.77/12.85	c |    177824 |    1381    11471    37292 |        1    47661     40 |  5.734 % |
12.77/12.85	c |    178088 |    1381    11471    37292 |        1    47925     40 |  5.734 % |
12.77/12.85	c |    178188 |    1381    11471    37292 |        1    48025     40 |  5.734 % |
12.77/12.85	c |    178310 |    1381    11471    37292 |        1    48147     40 |  5.734 % |
12.77/12.85	c |    179039 |    1381    11471    37292 |        1    48876     41 |  5.734 % |
12.77/12.85	c |    179278 |    1381    11471    37292 |        1    49115     41 |  5.734 % |
12.77/12.85	c |    179385 |    1381    11471    37292 |        1    49222     41 |  5.734 % |
12.77/12.85	c |    179559 |    1381    11471    37292 |        1    49396     41 |  5.734 % |
12.77/12.85	c |    180049 |    1381    11471    37292 |        1    49886     42 |  5.734 % |
12.77/12.85	c |    180150 |    1381    11471    37292 |        1    49987     42 |  5.734 % |
12.77/12.85	c |    180256 |    1381    11471    37292 |        1    50093     42 |  5.734 % |
12.77/12.85	c |    180362 |    1381    11471    37292 |        1    50199     42 |  5.734 % |
12.77/12.85	c |    180494 |    1381    11471    37292 |        1    50331     42 |  5.734 % |
12.77/12.85	c |    180656 |    1381    11471    37292 |        1    50493     42 |  5.734 % |
12.77/12.85	c |    180757 |    1381    11471    37292 |        1    50594     42 |  5.734 % |
12.77/12.85	c |    180877 |    1381    11471    37292 |        1    50714     42 |  5.734 % |
12.77/12.85	c |    181039 |    1381    11471    37292 |        1    50876     42 |  5.734 % |
12.77/12.85	c |    181161 |    1381    11471    37292 |        1    50998     42 |  5.734 % |
12.77/12.85	c |    181374 |    1381    11471    37292 |        1    51211     42 |  5.734 % |
12.77/12.85	c |    181505 |    1381    11471    37292 |        1    51342     42 |  5.734 % |
12.77/12.85	c |    182118 |    1381    11471    37292 |        1    51955     43 |  5.734 % |
12.77/12.85	c |    183818 |    1381    11471    37292 |        1    53655     44 |  5.734 % |
12.77/12.85	c |    183919 |    1381    11471    37292 |        1    53756     44 |  5.734 % |
12.77/12.85	c |    184450 |    1381    11471    37292 |        1    54287     44 |  5.734 % |
12.77/12.85	c |    184550 |    1381    11471    37292 |        1    54387     44 |  5.734 % |
12.77/12.85	c |    184650 |    1381    11471    37292 |        1    54487     44 |  5.734 % |
12.77/12.85	c |    184750 |    1381    11471    37292 |        1    54587     44 |  5.734 % |
12.77/12.85	c |    184851 |    1381    11471    37292 |        1    54688     44 |  5.734 % |
12.77/12.85	c |    184951 |    1381    11471    37292 |        1    54788     44 |  5.734 % |
12.77/12.85	c |    185054 |    1381    11471    37292 |        1    54891     45 |  5.734 % |
12.77/12.85	c |    185557 |    1381    11471    37292 |        1    55394     45 |  5.734 % |
12.77/12.85	c |    185692 |    1381    11471    37292 |        1    55529     45 |  5.734 % |
12.77/12.85	c |    186012 |    1381    11471    37292 |        1    55849     45 |  5.734 % |
12.77/12.85	c |    186279 |    1381    11471    37292 |        1    56116     45 |  5.734 % |
12.77/12.85	c |    186379 |    1381    11471    37292 |        1    56216     45 |  5.734 % |
12.77/12.85	c |    187303 |    1381    11471    37292 |        1    29721     15 |  5.734 % |
12.77/12.85	c |    187468 |    1381    11471    37292 |        1    29886     15 |  5.734 % |
12.77/12.85	c |    187691 |    1381    11471    37292 |        1    30109     16 |  5.734 % |
12.77/12.85	c |    187791 |    1381    11471    37292 |        1    30209     16 |  5.734 % |
12.77/12.85	c |    187893 |    1381    11471    37292 |        1    30311     16 |  5.734 % |
12.77/12.85	c |    187994 |    1381    11471    37292 |        1    30412     17 |  5.734 % |
12.77/12.85	c |    188442 |    1381    11471    37292 |        1    30860     17 |  5.734 % |
12.77/12.85	c |    188719 |    1381    11471    37292 |        1    31137     18 |  5.734 % |
13.47/13.54	c |    188819 |    1381    11471    37292 |        1    31237     18 |  5.734 % |
13.47/13.54	c |    188920 |    1381    11471    37292 |        1    31338     18 |  5.734 % |
13.47/13.54	c |    189020 |    1381    11471    37292 |        1    31438     18 |  5.734 % |
13.47/13.54	c |    189123 |    1381    11471    37292 |        1    31541     18 |  5.734 % |
13.47/13.54	c |    189357 |    1381    11471    37292 |        1    31775     19 |  5.734 % |
13.47/13.54	c |    190166 |    1381    11471    37292 |        1    32584     20 |  5.734 % |
13.47/13.54	c |    190275 |    1381    11471    37292 |        1    32693     20 |  5.734 % |
13.47/13.54	c |    190375 |    1381    11471    37292 |        1    32793     20 |  5.734 % |
13.47/13.54	c |    190475 |    1381    11471    37292 |        1    32893     21 |  5.734 % |
13.47/13.54	c |    190575 |    1381    11471    37292 |        1    32993     21 |  5.734 % |
13.47/13.54	c |    190950 |    1381    11471    37292 |        1    33368     21 |  5.734 % |
13.47/13.54	c |    191050 |    1381    11471    37292 |        1    33468     22 |  5.734 % |
13.47/13.54	c |    191150 |    1381    11471    37292 |        1    33568     22 |  5.734 % |
13.47/13.54	c |    191254 |    1381    11471    37292 |        1    33672     22 |  5.734 % |
13.47/13.54	c |    191507 |    1381    11471    37292 |        1    33925     22 |  5.734 % |
13.47/13.54	c |    191608 |    1381    11471    37292 |        1    34026     22 |  5.734 % |
13.47/13.54	c |    191708 |    1381    11471    37292 |        1    34126     23 |  5.734 % |
13.47/13.54	c |    191984 |    1381    11471    37292 |        1    34402     23 |  5.734 % |
13.47/13.54	c |    192093 |    1381    11471    37292 |        1    34511     23 |  5.734 % |
13.47/13.54	c |    192334 |    1381    11471    37292 |        1    34752     23 |  5.734 % |
13.47/13.54	c |    192434 |    1381    11471    37292 |        1    34852     24 |  5.734 % |
13.47/13.54	c |    192535 |    1381    11471    37292 |        1    34953     24 |  5.734 % |
13.47/13.54	c |    192832 |    1381    11471    37292 |        1    35250     24 |  5.734 % |
13.47/13.54	c |    192932 |    1381    11471    37292 |        1    35350     24 |  5.734 % |
13.47/13.54	c |    193142 |    1381    11471    37292 |        1    35560     25 |  5.734 % |
13.47/13.54	c |    193244 |    1381    11471    37292 |        1    35662     25 |  5.734 % |
13.47/13.54	c |    193344 |    1381    11471    37292 |        1    35762     25 |  5.734 % |
13.47/13.54	c |    193654 |    1381    11471    37292 |        1    36072     26 |  5.734 % |
13.47/13.54	c |    193802 |    1381    11471    37292 |        1    36220     26 |  5.734 % |
13.47/13.54	c |    194078 |    1381    11471    37292 |        1    36496     26 |  5.734 % |
13.47/13.54	c |    194259 |    1381    11471    37292 |        1    36677     26 |  5.734 % |
13.47/13.54	c |    194361 |    1381    11471    37292 |        1    36779     26 |  5.734 % |
13.47/13.54	c |    194469 |    1381    11471    37292 |        1    36887     27 |  5.734 % |
13.47/13.54	c |    194724 |    1381    11471    37292 |        1    37142     27 |  5.734 % |
13.47/13.54	c |    194825 |    1381    11471    37292 |        1    37243     27 |  5.734 % |
13.47/13.54	c |    194926 |    1381    11471    37292 |        1    37344     27 |  5.734 % |
13.47/13.54	c |    195028 |    1381    11471    37292 |        1    37446     27 |  5.734 % |
13.47/13.54	c |    195128 |    1381    11471    37292 |        1    37546     27 |  5.734 % |
13.47/13.54	c |    195228 |    1381    11471    37292 |        1    37646     28 |  5.734 % |
13.47/13.54	c |    195329 |    1381    11471    37292 |        1    37747     28 |  5.734 % |
13.47/13.54	c |    195429 |    1381    11471    37292 |        1    37847     28 |  5.734 % |
13.47/13.54	c |    195926 |    1381    11471    37292 |        1    38344     29 |  5.734 % |
13.47/13.54	c |    196027 |    1381    11471    37292 |        1    38445     29 |  5.734 % |
13.47/13.54	c |    196244 |    1381    11471    37292 |        1    38662     29 |  5.734 % |
13.47/13.54	c |    196505 |    1381    11471    37292 |        1    38923     29 |  5.734 % |
13.47/13.54	c |    196622 |    1381    11471    37292 |        1    39040     29 |  5.734 % |
13.47/13.54	c |    196734 |    1381    11471    37292 |        1    39152     29 |  5.734 % |
13.47/13.54	c |    196834 |    1381    11471    37292 |        1    39252     30 |  5.734 % |
13.47/13.54	c |    196974 |    1381    11471    37292 |        1    39392     30 |  5.734 % |
13.47/13.54	c |    197234 |    1381    11471    37292 |        1    39652     30 |  5.734 % |
14.28/14.34	c |    197634 |    1381    11471    37292 |        1    40052     31 |  5.734 % |
14.28/14.34	c |    197915 |    1381    11471    37292 |        1    40333     31 |  5.734 % |
14.28/14.34	c |    198015 |    1381    11471    37292 |        1    40433     31 |  5.734 % |
14.28/14.34	c |    198119 |    1381    11471    37292 |        1    40537     31 |  5.734 % |
14.28/14.34	c |    198335 |    1381    11471    37292 |        1    40753     31 |  5.734 % |
14.28/14.34	c |    198436 |    1381    11471    37292 |        1    40854     31 |  5.734 % |
14.28/14.34	c |    198536 |    1381    11471    37292 |        1    40954     31 |  5.734 % |
14.28/14.34	c |    198637 |    1381    11471    37292 |        1    41055     32 |  5.734 % |
14.28/14.34	c |    198738 |    1381    11471    37292 |        1    41156     32 |  5.734 % |
14.28/14.34	c |    198838 |    1381    11471    37292 |        1    41256     32 |  5.734 % |
14.28/14.34	c |    198938 |    1381    11471    37292 |        1    41356     32 |  5.734 % |
14.28/14.34	c |    199038 |    1381    11471    37292 |        1    41456     32 |  5.734 % |
14.28/14.34	c |    199152 |    1381    11471    37292 |        1    41570     32 |  5.734 % |
14.28/14.34	c |    199371 |    1381    11471    37292 |        1    41789     32 |  5.734 % |
14.28/14.34	c |    199473 |    1381    11471    37292 |        1    41891     32 |  5.734 % |
14.28/14.34	c |    199573 |    1381    11471    37292 |        1    41991     33 |  5.734 % |
14.28/14.34	c |    200012 |    1381    11471    37292 |        1    42430     33 |  5.734 % |
14.28/14.34	c |    200220 |    1381    11471    37292 |        1    42638     33 |  5.734 % |
14.28/14.34	c |    200407 |    1381    11471    37292 |        1    42825     33 |  5.734 % |
14.28/14.34	c |    200509 |    1381    11471    37292 |        1    42927     33 |  5.734 % |
14.28/14.34	c |    200847 |    1381    11471    37292 |        1    43265     34 |  5.734 % |
14.28/14.34	c |    200947 |    1381    11471    37292 |        1    43365     34 |  5.734 % |
14.28/14.34	c |    201047 |    1381    11471    37292 |        1    43465     34 |  5.734 % |
14.28/14.34	c |    201149 |    1381    11471    37292 |        1    43567     34 |  5.734 % |
14.28/14.34	c |    201394 |    1381    11471    37292 |        1    43812     34 |  5.734 % |
14.28/14.34	c |    201987 |    1381    11471    37292 |        1    44405     35 |  5.734 % |
14.28/14.34	c |    202087 |    1381    11471    37292 |        1    44505     35 |  5.734 % |
14.28/14.34	c |    202309 |    1381    11471    37292 |        1    44727     35 |  5.734 % |
14.28/14.34	c |    202412 |    1381    11471    37292 |        1    44830     35 |  5.734 % |
14.28/14.34	c |    202514 |    1381    11471    37292 |        1    44932     35 |  5.734 % |
14.28/14.34	c |    202615 |    1381    11471    37292 |        1    45033     35 |  5.734 % |
14.28/14.34	c |    202715 |    1381    11471    37292 |        1    45133     35 |  5.734 % |
14.28/14.34	c |    202815 |    1381    11471    37292 |        1    45233     36 |  5.734 % |
14.28/14.34	c |    202916 |    1381    11471    37292 |        1    45334     36 |  5.734 % |
14.28/14.34	c |    203022 |    1381    11471    37292 |        1    45440     36 |  5.734 % |
14.28/14.34	c |    203292 |    1381    11471    37292 |        1    45710     36 |  5.734 % |
14.28/14.34	c |    203393 |    1381    11471    37292 |        1    45811     36 |  5.734 % |
14.28/14.34	c |    203493 |    1381    11471    37292 |        1    45911     36 |  5.734 % |
14.28/14.34	c |    203593 |    1381    11471    37292 |        1    46011     36 |  5.734 % |
14.28/14.34	c |    203904 |    1381    11471    37292 |        1    46322     36 |  5.734 % |
14.28/14.34	c |    204004 |    1381    11471    37292 |        1    46422     36 |  5.734 % |
14.28/14.34	c |    204104 |    1381    11471    37292 |        1    46522     37 |  5.734 % |
14.28/14.34	c |    204205 |    1381    11471    37292 |        1    46623     37 |  5.734 % |
14.28/14.34	c |    204306 |    1381    11471    37292 |        1    46724     37 |  5.734 % |
14.28/14.34	c |    204811 |    1381    11471    37292 |        1    47229     37 |  5.734 % |
14.28/14.34	c |    204913 |    1381    11471    37292 |        1    47331     37 |  5.734 % |
14.28/14.34	c |    205013 |    1381    11471    37292 |        1    47431     37 |  5.734 % |
14.28/14.34	c |    205113 |    1381    11471    37292 |        1    47531     37 |  5.734 % |
14.28/14.34	c |    205214 |    1381    11471    37292 |        1    47632     38 |  5.734 % |
14.28/14.34	c |    205423 |    1381    11471    37292 |        1    47841     38 |  5.734 % |
29.69/29.75	c |    205526 |    1381    11471    37292 |        1    47944     38 |  5.734 % |
29.69/29.75	c |    205655 |    1381    11471    37292 |        1    48073     38 |  5.734 % |
29.69/29.75	c |    205910 |    1381    11471    37292 |        1    48328     38 |  5.734 % |
29.69/29.75	c |    206010 |    1381    11471    37292 |        1    48428     38 |  5.734 % |
29.69/29.75	c |    206111 |    1381    11471    37292 |        1    48529     38 |  5.734 % |
29.69/29.75	c |    206211 |    1381    11471    37292 |        1    48629     38 |  5.734 % |
29.69/29.75	c |    206311 |    1381    11471    37292 |        1    48729     38 |  5.734 % |
29.69/29.75	c |    206413 |    1381    11471    37292 |        1    48831     39 |  5.734 % |
29.69/29.75	c |    206531 |    1381    11471    37292 |        1    48949     39 |  5.734 % |
29.69/29.75	c |    206634 |    1381    11471    37292 |        1    49052     39 |  5.734 % |
29.69/29.75	c |    207257 |    1381    11471    37292 |        1    49675     39 |  5.734 % |
29.69/29.75	c |    208630 |    1381    11471    37292 |        1    51048     40 |  5.734 % |
29.69/29.75	c |    208732 |    1381    11471    37292 |        1    51150     40 |  5.734 % |
29.69/29.75	c |    208833 |    1381    11471    37292 |        1    51251     40 |  5.734 % |
29.69/29.75	c |    209201 |    1381    11471    37292 |        1    51619     41 |  5.734 % |
29.69/29.75	c |    319009 |    1381    11471    37292 |        1    63333     45 |  5.734 % |
29.69/29.75	c |    320557 |    1381    11471    37292 |        1    64881     46 |  5.734 % |
29.69/29.75	c |    320659 |    1381    11471    37292 |        1    64983     46 |  5.734 % |
29.69/29.75	c |    320780 |    1381    11471    37292 |        1    65104     46 |  5.734 % |
29.69/29.75	c |    322177 |    1381    11471    37292 |        1    66501     47 |  5.734 % |
29.69/29.75	c |    322278 |    1381    11471    37292 |        1    66602     47 |  5.734 % |
29.69/29.75	c |    322891 |    1381    11471    37292 |        1    67215     47 |  5.734 % |
29.69/29.75	c |    323228 |    1381    11471    37292 |        1    67552     47 |  5.734 % |
29.69/29.75	c |    323334 |    1381    11471    37292 |        1    67658     47 |  5.734 % |
29.69/29.75	c |    323519 |    1381    11471    37292 |        1    67843     47 |  5.734 % |
29.69/29.75	c |    323667 |    1381    11471    37292 |        1    67991     47 |  5.734 % |
29.69/29.75	c |    323774 |    1381    11471    37292 |        1    68098     47 |  5.734 % |
29.69/29.75	c |    323881 |    1381    11471    37292 |        1    68205     47 |  5.734 % |
29.69/29.75	c |    323981 |    1381    11471    37292 |        1    68305     47 |  5.734 % |
29.69/29.75	c |    324081 |    1381    11471    37292 |        1    68405     47 |  5.734 % |
29.69/29.75	c |    324443 |    1381    11471    37292 |        1    68767     48 |  5.734 % |
29.69/29.75	c |    324545 |    1381    11471    37292 |        1    68869     48 |  5.734 % |
29.69/29.75	c |    324715 |    1381    11471    37292 |        1    69039     48 |  5.734 % |
29.69/29.75	c |    324918 |    1381    11471    37292 |        1    69242     48 |  5.734 % |
29.69/29.75	c |    326168 |    1381    11471    37292 |        1    70492     48 |  5.734 % |
29.69/29.75	c |    326361 |    1381    11471    37292 |        1    70685     48 |  5.734 % |
29.69/29.75	c |    326463 |    1381    11471    37292 |        1    70787     48 |  5.734 % |
29.69/29.75	c |    326654 |    1381    11471    37292 |        1    70978     48 |  5.734 % |
29.69/29.75	c |    327030 |    1381    11471    37292 |        1    71354     49 |  5.734 % |
29.69/29.75	c |    327780 |    1381    11471    37292 |        1    72104     49 |  5.734 % |
29.69/29.75	c |    328075 |    1381    11471    37292 |        1    72399     49 |  5.734 % |
29.69/29.75	c |    328475 |    1381    11471    37292 |        1    72799     49 |  5.734 % |
29.69/29.75	c |    328575 |    1381    11471    37292 |        1    72899     49 |  5.734 % |
29.69/29.75	c |    328826 |    1381    11471    37292 |        1    73150     49 |  5.734 % |
29.69/29.75	c |    329297 |    1381    11471    37292 |        1    73621     49 |  5.734 % |
29.69/29.75	c |    329397 |    1381    11471    37292 |        1    73721     50 |  5.734 % |
29.69/29.75	c |    329505 |    1381    11471    37292 |        1    73829     50 |  5.734 % |
29.69/29.75	c |    329605 |    1381    11471    37292 |        1    73929     50 |  5.734 % |
29.69/29.75	c |    329705 |    1381    11471    37292 |        1    74029     50 |  5.734 % |
29.69/29.75	c |    330341 |    1381    11471    37292 |        1    74665     50 |  5.734 % |
31.48/31.53	c |    332273 |    1381    11471    37292 |        1    76597     51 |  5.734 % |
31.48/31.53	c |    332479 |    1381    11471    37292 |        1    76803     51 |  5.734 % |
31.48/31.53	c |    332748 |    1381    11471    37292 |        1    77072     52 |  5.734 % |
31.48/31.53	c |    334235 |    1381    11471    37292 |        1    39902     23 |  5.734 % |
31.48/31.53	c |    334335 |    1381    11471    37292 |        1    40002     23 |  5.734 % |
31.48/31.53	c |    334435 |    1381    11471    37292 |        1    40102     23 |  5.734 % |
31.48/31.53	c |    334628 |    1381    11471    37292 |        1    40295     24 |  5.734 % |
31.48/31.53	c |    334733 |    1381    11471    37292 |        1    40400     24 |  5.734 % |
31.48/31.53	c |    334873 |    1381    11471    37292 |        1    40540     24 |  5.734 % |
31.48/31.53	c |    334975 |    1381    11471    37292 |        1    40642     24 |  5.734 % |
31.48/31.53	c |    335168 |    1381    11471    37292 |        1    40835     24 |  5.734 % |
31.48/31.53	c |    335290 |    1381    11471    37292 |        1    40957     24 |  5.734 % |
31.48/31.53	c |    335390 |    1381    11471    37292 |        1    41057     25 |  5.734 % |
31.48/31.53	c |    336242 |    1381    11471    37292 |        1    41909     26 |  5.734 % |
31.48/31.53	c |    336379 |    1381    11471    37292 |        1    42046     26 |  5.734 % |
31.48/31.53	c |    336537 |    1381    11471    37292 |        1    42204     26 |  5.734 % |
31.48/31.53	c |    336637 |    1381    11471    37292 |        1    42304     26 |  5.734 % |
31.48/31.53	c |    336738 |    1381    11471    37292 |        1    42405     26 |  5.734 % |
31.48/31.53	c |    336838 |    1381    11471    37292 |        1    42505     27 |  5.734 % |
31.48/31.53	c |    337725 |    1381    11471    37292 |        1    43392     27 |  5.734 % |
31.48/31.53	c |    337825 |    1381    11471    37292 |        1    43492     27 |  5.734 % |
31.48/31.53	c |    337926 |    1381    11471    37292 |        1    43593     27 |  5.734 % |
31.48/31.53	c |    338184 |    1381    11471    37292 |        1    43851     28 |  5.734 % |
31.48/31.53	c |    338284 |    1381    11471    37292 |        1    43951     28 |  5.734 % |
31.48/31.53	c |    338406 |    1381    11471    37292 |        1    44073     28 |  5.734 % |
31.48/31.53	c |    338507 |    1381    11471    37292 |        1    44174     28 |  5.734 % |
31.48/31.53	c |    338608 |    1381    11471    37292 |        1    44275     28 |  5.734 % |
31.48/31.53	c |    338708 |    1381    11471    37292 |        1    44375     28 |  5.734 % |
31.48/31.53	c |    338808 |    1381    11471    37292 |        1    44475     28 |  5.734 % |
31.48/31.53	c |    339246 |    1381    11471    37292 |        1    44913     29 |  5.734 % |
31.48/31.53	c |    339368 |    1381    11471    37292 |        1    45035     29 |  5.734 % |
31.48/31.53	c |    340131 |    1381    11471    37292 |        1    45798     30 |  5.734 % |
31.48/31.53	c |    340458 |    1381    11471    37292 |        1    46125     30 |  5.734 % |
31.48/31.53	c |    341062 |    1381    11471    37292 |        1    46729     31 |  5.734 % |
31.48/31.53	c |    341162 |    1381    11471    37292 |        1    46829     31 |  5.734 % |
31.48/31.53	c |    341263 |    1381    11471    37292 |        1    46930     31 |  5.734 % |
31.48/31.53	c |    341682 |    1381    11471    37292 |        1    47349     31 |  5.734 % |
31.48/31.53	c |    341788 |    1381    11471    37292 |        1    47455     31 |  5.734 % |
31.48/31.53	c |    343359 |    1381    11471    37292 |        1    49026     33 |  5.734 % |
31.48/31.53	c |    343460 |    1381    11471    37292 |        1    49127     33 |  5.734 % |
31.48/31.53	c |    344142 |    1381    11471    37292 |        1    49809     34 |  5.734 % |
31.48/31.53	c |    344303 |    1381    11471    37292 |        1    49970     34 |  5.734 % |
31.48/31.53	c |    347649 |    1381    11471    37292 |        1    53316     37 |  5.734 % |
31.48/31.53	c |    348125 |    1381    11471    37292 |        1    53792     38 |  5.734 % |
31.48/31.53	c |    348310 |    1381    11471    37292 |        1    53977     38 |  5.734 % |
31.48/31.53	c |    348410 |    1381    11471    37292 |        1    54077     38 |  5.734 % |
31.48/31.53	c |    348566 |    1381    11471    37292 |        1    54233     38 |  5.734 % |
31.48/31.53	c |    348708 |    1381    11471    37292 |        1    54375     38 |  5.734 % |
31.48/31.53	c |    349304 |    1381    11471    37292 |        1    54971     39 |  5.734 % |
31.48/31.53	c |    349409 |    1381    11471    37292 |        1    55076     39 |  5.734 % |
32.98/33.07	c |    349509 |    1381    11471    37292 |        1    55176     39 |  5.734 % |
32.98/33.07	c |    349714 |    1381    11471    37292 |        1    55381     39 |  5.734 % |
32.98/33.07	c |    349814 |    1381    11471    37292 |        1    55481     39 |  5.734 % |
32.98/33.07	c |    349914 |    1381    11471    37292 |        1    55581     39 |  5.734 % |
32.98/33.07	c |    350014 |    1381    11471    37292 |        1    55681     39 |  5.734 % |
32.98/33.07	c |    350364 |    1381    11471    37292 |        1    56031     39 |  5.734 % |
32.98/33.07	c |    350754 |    1381    11471    37292 |        1    56421     40 |  5.734 % |
32.98/33.07	c |    350914 |    1381    11471    37292 |        1    56581     40 |  5.734 % |
32.98/33.07	c |    351255 |    1381    11471    37292 |        1    56922     40 |  5.734 % |
32.98/33.07	c |    351357 |    1381    11471    37292 |        1    57024     40 |  5.734 % |
32.98/33.07	c |    352457 |    1381    11471    37292 |        1    58124     41 |  5.734 % |
32.98/33.07	c |    353497 |    1381    11471    37292 |        1    59164     41 |  5.734 % |
32.98/33.07	c |    353868 |    1381    11471    37292 |        1    59535     42 |  5.734 % |
32.98/33.07	c |    353970 |    1381    11471    37292 |        1    59637     42 |  5.734 % |
32.98/33.07	c |    354085 |    1381    11471    37292 |        1    59752     42 |  5.734 % |
32.98/33.07	c |    354838 |    1381    11471    37292 |        1    60505     42 |  5.734 % |
32.98/33.07	c |    355535 |    1381    11471    37292 |        1    61202     43 |  5.734 % |
32.98/33.07	c |    356517 |    1381    11471    37292 |        1    62184     43 |  5.734 % |
32.98/33.07	c |    356617 |    1381    11471    37292 |        1    62284     43 |  5.734 % |
32.98/33.07	c |    356796 |    1381    11471    37292 |        1    62463     44 |  5.734 % |
32.98/33.07	c |    356897 |    1381    11471    37292 |        1    62564     44 |  5.734 % |
32.98/33.07	c |    356998 |    1381    11471    37292 |        1    62665     44 |  5.734 % |
32.98/33.07	c |    357357 |    1381    11471    37292 |        1    63024     44 |  5.734 % |
32.98/33.07	c |    357457 |    1381    11471    37292 |        1    63124     44 |  5.734 % |
32.98/33.07	c |    357583 |    1381    11471    37292 |        1    63250     44 |  5.734 % |
32.98/33.07	c |    358469 |    1381    11471    37292 |        1    64136     45 |  5.734 % |
32.98/33.07	c |    358773 |    1381    11471    37292 |        1    64440     45 |  5.734 % |
32.98/33.07	c |    358873 |    1381    11471    37292 |        1    64540     45 |  5.734 % |
32.98/33.07	c |    358990 |    1381    11471    37292 |        1    64657     45 |  5.734 % |
32.98/33.07	c |    359090 |    1381    11471    37292 |        1    64757     45 |  5.734 % |
32.98/33.07	c |    359231 |    1381    11471    37292 |        1    64898     45 |  5.734 % |
32.98/33.07	c |    359388 |    1381    11471    37292 |        1    65055     45 |  5.734 % |
32.98/33.07	c |    359495 |    1381    11471    37292 |        1    65162     45 |  5.734 % |
32.98/33.07	c |    359634 |    1381    11471    37292 |        1    65301     45 |  5.734 % |
32.98/33.07	c |    359984 |    1381    11471    37292 |        1    65651     45 |  5.734 % |
32.98/33.07	c |    360160 |    1381    11471    37292 |        1    65827     46 |  5.734 % |
32.98/33.07	c |    360263 |    1381    11471    37292 |        1    65930     46 |  5.734 % |
32.98/33.07	c |    360365 |    1381    11471    37292 |        1    66032     46 |  5.734 % |
32.98/33.07	c |    360465 |    1381    11471    37292 |        1    66132     46 |  5.734 % |
32.98/33.07	c |    360566 |    1381    11471    37292 |        1    66233     46 |  5.734 % |
32.98/33.07	c |    360722 |    1381    11471    37292 |        1    66389     46 |  5.734 % |
32.98/33.07	c |    360991 |    1381    11471    37292 |        1    66658     46 |  5.734 % |
32.98/33.07	c |    361091 |    1381    11471    37292 |        1    66758     46 |  5.734 % |
32.98/33.07	c |    361349 |    1381    11471    37292 |        1    67016     46 |  5.734 % |
32.98/33.07	c |    361477 |    1381    11471    37292 |        1    67144     46 |  5.734 % |
32.98/33.07	c |    361579 |    1381    11471    37292 |        1    67246     46 |  5.734 % |
32.98/33.07	c |    361693 |    1381    11471    37292 |        1    67360     46 |  5.734 % |
32.98/33.07	c |    361793 |    1381    11471    37292 |        1    67460     46 |  5.734 % |
32.98/33.07	c |    361897 |    1381    11471    37292 |        1    67564     46 |  5.734 % |
32.98/33.07	c |    362873 |    1381    11471    37292 |        1    68540     47 |  5.734 % |
34.58/34.67	c |    362974 |    1381    11471    37292 |        1    68641     47 |  5.734 % |
34.58/34.67	c |    363446 |    1381    11471    37292 |        1    69113     47 |  5.734 % |
34.58/34.67	c |    363546 |    1381    11471    37292 |        1    69213     47 |  5.734 % |
34.58/34.67	c |    363651 |    1381    11471    37292 |        1    69318     47 |  5.734 % |
34.58/34.67	c |    363823 |    1381    11471    37292 |        1    69490     47 |  5.734 % |
34.58/34.67	c |    363988 |    1381    11471    37292 |        1    69655     48 |  5.734 % |
34.58/34.67	c |    364088 |    1381    11471    37292 |        1    69755     48 |  5.734 % |
34.58/34.67	c |    364190 |    1381    11471    37292 |        1    69857     48 |  5.734 % |
34.58/34.67	c |    364482 |    1381    11471    37292 |        1    70149     48 |  5.734 % |
34.58/34.67	c |    364583 |    1381    11471    37292 |        1    70250     48 |  5.734 % |
34.58/34.67	c |    364683 |    1381    11471    37292 |        1    70350     48 |  5.734 % |
34.58/34.67	c |    364842 |    1381    11471    37292 |        1    70509     48 |  5.734 % |
34.58/34.67	c |    364942 |    1381    11471    37292 |        1    70609     48 |  5.734 % |
34.58/34.67	c |    365083 |    1381    11471    37292 |        1    70750     48 |  5.734 % |
34.58/34.67	c |    365257 |    1381    11471    37292 |        1    70924     48 |  5.734 % |
34.58/34.67	c |    365360 |    1381    11471    37292 |        1    71027     48 |  5.734 % |
34.58/34.67	c |    365614 |    1381    11471    37292 |        1    71281     48 |  5.734 % |
34.58/34.67	c |    365716 |    1381    11471    37292 |        1    71383     48 |  5.734 % |
34.58/34.67	c |    365912 |    1381    11471    37292 |        1    71579     48 |  5.734 % |
34.58/34.67	c |    366014 |    1381    11471    37292 |        1    71681     48 |  5.734 % |
34.58/34.67	c |    366114 |    1381    11471    37292 |        1    71781     48 |  5.734 % |
34.58/34.67	c |    366499 |    1381    11471    37292 |        1    72166     49 |  5.734 % |
34.58/34.67	c |    366712 |    1381    11471    37292 |        1    72379     49 |  5.734 % |
34.58/34.67	c |    367149 |    1381    11471    37292 |        1    72816     49 |  5.734 % |
34.58/34.67	c |    367254 |    1381    11471    37292 |        1    72921     49 |  5.734 % |
34.58/34.67	c |    367356 |    1381    11471    37292 |        1    73023     49 |  5.734 % |
34.58/34.67	c |    367458 |    1381    11471    37292 |        1    73125     49 |  5.734 % |
34.58/34.67	c |    367558 |    1381    11471    37292 |        1    73225     49 |  5.734 % |
34.58/34.67	c |    367659 |    1381    11471    37292 |        1    73326     49 |  5.734 % |
34.58/34.67	c |    367759 |    1381    11471    37292 |        1    73426     49 |  5.734 % |
34.58/34.67	c |    367893 |    1381    11471    37292 |        1    73560     49 |  5.734 % |
34.58/34.67	c |    367993 |    1381    11471    37292 |        1    73660     49 |  5.734 % |
34.58/34.67	c |    368093 |    1381    11471    37292 |        1    73760     49 |  5.734 % |
34.58/34.67	c |    368194 |    1381    11471    37292 |        1    73861     49 |  5.734 % |
34.58/34.67	c |    368294 |    1381    11471    37292 |        1    73961     49 |  5.734 % |
34.58/34.67	c |    368893 |    1381    11471    37292 |        1    74560     50 |  5.734 % |
34.58/34.67	c |    368994 |    1381    11471    37292 |        1    74661     50 |  5.734 % |
34.58/34.67	c |    369101 |    1381    11471    37292 |        1    74768     50 |  5.734 % |
34.58/34.67	c |    369201 |    1381    11471    37292 |        1    74868     50 |  5.734 % |
34.58/34.67	c |    369431 |    1381    11471    37292 |        1    75098     50 |  5.734 % |
34.58/34.67	c |    369531 |    1381    11471    37292 |        1    75198     50 |  5.734 % |
34.58/34.67	c |    369888 |    1381    11471    37292 |        1    75555     50 |  5.734 % |
34.58/34.67	c |    370375 |    1381    11471    37292 |        1    76042     50 |  5.734 % |
34.58/34.67	c |    371195 |    1381    11471    37292 |        1    76862     51 |  5.734 % |
34.58/34.67	c |    371296 |    1381    11471    37292 |        1    76963     51 |  5.734 % |
34.58/34.67	c |    373825 |    1381    11471    37292 |        1    79492     52 |  5.734 % |
34.58/34.67	c |    373925 |    1381    11471    37292 |        1    79592     52 |  5.734 % |
34.58/34.67	c |    374088 |    1381    11471    37292 |        1    79755     52 |  5.734 % |
34.58/34.67	c |    374191 |    1381    11471    37292 |        1    79858     52 |  5.734 % |
34.58/34.67	c |    374601 |    1381    11471    37292 |        1    80268     52 |  5.734 % |
42.68/42.78	c |    374701 |    1381    11471    37292 |        1    80368     52 |  5.734 % |
42.68/42.78	c |    374864 |    1381    11471    37292 |        1    80531     52 |  5.734 % |
42.68/42.78	c |    374964 |    1381    11471    37292 |        1    80631     52 |  5.734 % |
42.68/42.78	c |    375149 |    1381    11471    37292 |        1    80816     52 |  5.734 % |
42.68/42.78	c |    377532 |    1381    11471    37292 |        1    42370     18 |  5.734 % |
42.68/42.78	c |    377669 |    1381    11471    37292 |        1    42507     18 |  5.734 % |
42.68/42.78	c |    377770 |    1381    11471    37292 |        1    42608     18 |  5.734 % |
42.68/42.78	c |    377939 |    1381    11471    37292 |        1    42777     19 |  5.734 % |
42.68/42.78	c |    378530 |    1381    11471    37292 |        1    43368     20 |  5.734 % |
42.68/42.78	c |    378780 |    1381    11471    37292 |        1    43618     20 |  5.734 % |
42.68/42.78	c |    378902 |    1381    11471    37292 |        1    43740     20 |  5.734 % |
42.68/42.78	c |    379261 |    1381    11471    37292 |        1    44099     21 |  5.734 % |
42.68/42.78	c |    379405 |    1381    11471    37292 |        1    44243     21 |  5.734 % |
42.68/42.78	c |    379508 |    1381    11471    37292 |        1    44346     21 |  5.734 % |
42.68/42.78	c |    379608 |    1381    11471    37292 |        1    44446     21 |  5.734 % |
42.68/42.78	c |    379709 |    1381    11471    37292 |        1    44547     21 |  5.734 % |
42.68/42.78	c |    380197 |    1381    11471    37292 |        1    45035     22 |  5.734 % |
42.68/42.78	c |    380318 |    1381    11471    37292 |        1    45156     22 |  5.734 % |
42.68/42.78	c |    380419 |    1381    11471    37292 |        1    45257     22 |  5.734 % |
42.68/42.78	c |    380519 |    1381    11471    37292 |        1    45357     22 |  5.734 % |
42.68/42.78	c |    380822 |    1381    11471    37292 |        1    45660     23 |  5.734 % |
42.68/42.78	c |    381037 |    1381    11471    37292 |        1    45875     23 |  5.734 % |
42.68/42.78	c |    381137 |    1381    11471    37292 |        1    45975     23 |  5.734 % |
42.68/42.78	c |    426110 |    1381    11471    37292 |        1    47769     37 |  5.734 % |
42.68/42.78	c |    426217 |    1381    11471    37292 |        1    47876     37 |  5.734 % |
42.68/42.78	c |    426351 |    1381    11471    37292 |        1    48010     37 |  5.734 % |
42.68/42.78	c |    426754 |    1381    11471    37292 |        1    48413     37 |  5.734 % |
42.68/42.78	c |    427716 |    1381    11471    37292 |        1    49375     38 |  5.734 % |
42.68/42.78	c |    427819 |    1381    11471    37292 |        1    49478     38 |  5.734 % |
42.68/42.78	c |    427942 |    1381    11471    37292 |        1    49601     38 |  5.734 % |
42.68/42.78	c |    428173 |    1381    11471    37292 |        1    49832     39 |  5.734 % |
42.68/42.78	c |    428275 |    1381    11471    37292 |        1    49934     39 |  5.734 % |
42.68/42.78	c |    428375 |    1381    11471    37292 |        1    50034     39 |  5.734 % |
42.68/42.78	c |    428475 |    1381    11471    37292 |        1    50134     39 |  5.734 % |
42.68/42.78	c |    428637 |    1381    11471    37292 |        1    50296     39 |  5.734 % |
42.68/42.78	c |    428811 |    1381    11471    37292 |        1    50470     39 |  5.734 % |
42.68/42.78	c |    428944 |    1381    11471    37292 |        1    50603     39 |  5.734 % |
42.68/42.78	c |    430694 |    1381    11471    37292 |        1    52353     40 |  5.734 % |
42.68/42.78	c |    431238 |    1381    11471    37292 |        1    52897     41 |  5.734 % |
42.68/42.78	c |    431473 |    1381    11471    37292 |        1    53132     41 |  5.734 % |
42.68/42.78	c |    431909 |    1381    11471    37292 |        1    53568     41 |  5.734 % |
42.68/42.78	c |    432009 |    1381    11471    37292 |        1    53668     41 |  5.734 % |
42.68/42.78	c |    432330 |    1381    11471    37292 |        1    53989     42 |  5.734 % |
42.68/42.78	c |    432988 |    1381    11471    37292 |        1    54647     42 |  5.734 % |
42.68/42.78	c |    433089 |    1381    11471    37292 |        1    54748     42 |  5.734 % |
42.68/42.78	c |    433318 |    1381    11471    37292 |        1    54977     42 |  5.734 % |
42.68/42.78	c |    433418 |    1381    11471    37292 |        1    55077     42 |  5.734 % |
42.68/42.78	c |    433721 |    1381    11471    37292 |        1    55380     43 |  5.734 % |
42.68/42.78	c |    433821 |    1381    11471    37292 |        1    55480     43 |  5.734 % |
42.68/42.78	c |    433927 |    1381    11471    37292 |        1    55586     43 |  5.734 % |
44.78/44.88	c |    434027 |    1381    11471    37292 |        1    55686     43 |  5.734 % |
44.78/44.88	c |    434129 |    1381    11471    37292 |        1    55788     43 |  5.734 % |
44.78/44.88	c |    435150 |    1381    11471    37292 |        1    56809     44 |  5.734 % |
44.78/44.88	c |    435350 |    1381    11471    37292 |        1    57009     44 |  5.734 % |
44.78/44.88	c |    435450 |    1381    11471    37292 |        1    57109     44 |  5.734 % |
44.78/44.88	c |    435550 |    1381    11471    37292 |        1    57209     44 |  5.734 % |
44.78/44.88	c |    435650 |    1381    11471    37292 |        1    57309     44 |  5.734 % |
44.78/44.88	c |    435850 |    1381    11471    37292 |        1    57509     45 |  5.734 % |
44.78/44.88	c |    436082 |    1381    11471    37292 |        1    57741     45 |  5.734 % |
44.78/44.88	c |    436185 |    1381    11471    37292 |        1    57844     45 |  5.734 % |
44.78/44.88	c |    436356 |    1381    11471    37292 |        1    58015     45 |  5.734 % |
44.78/44.88	c |    436508 |    1381    11471    37292 |        1    58167     45 |  5.734 % |
44.78/44.88	c |    436609 |    1381    11471    37292 |        1    58268     45 |  5.734 % |
44.78/44.88	c |    438917 |    1381    11471    37292 |        1    60576     47 |  5.734 % |
44.78/44.88	c |    439018 |    1381    11471    37292 |        1    60677     47 |  5.734 % |
44.78/44.88	c |    440026 |    1381    11471    37292 |        1    61685     47 |  5.734 % |
44.78/44.88	c |    440126 |    1381    11471    37292 |        1    61785     48 |  5.734 % |
44.78/44.88	c |    440852 |    1381    11471    37292 |        1    62511     48 |  5.734 % |
44.78/44.88	c |    441090 |    1381    11471    37292 |        1    62749     48 |  5.734 % |
44.78/44.88	c |    441440 |    1381    11471    37292 |        1    63099     48 |  5.734 % |
44.78/44.88	c |    441541 |    1381    11471    37292 |        1    63200     48 |  5.734 % |
44.78/44.88	c |    441953 |    1381    11471    37292 |        1    63612     48 |  5.734 % |
44.78/44.88	c |    442203 |    1381    11471    37292 |        1    63862     48 |  5.734 % |
44.78/44.88	c |    442430 |    1381    11471    37292 |        1    64089     49 |  5.734 % |
44.78/44.88	c |    442555 |    1381    11471    37292 |        1    64214     49 |  5.734 % |
44.78/44.88	c |    442732 |    1381    11471    37292 |        1    64391     49 |  5.734 % |
44.78/44.88	c |    442960 |    1381    11471    37292 |        1    64619     49 |  5.734 % |
44.78/44.88	c |    443075 |    1381    11471    37292 |        1    64734     49 |  5.734 % |
44.78/44.88	c |    443307 |    1381    11471    37292 |        1    64966     49 |  5.734 % |
44.78/44.88	c |    443409 |    1381    11471    37292 |        1    65068     49 |  5.734 % |
44.78/44.88	c |    446371 |    1381    11471    37292 |        1    68030     51 |  5.734 % |
44.78/44.88	c |    447097 |    1381    11471    37292 |        1    68756     51 |  5.734 % |
44.78/44.88	c |    447208 |    1381    11471    37292 |        1    68867     51 |  5.734 % |
44.78/44.88	c |    447309 |    1381    11471    37292 |        1    68968     51 |  5.734 % |
44.78/44.88	c |    448206 |    1381    11471    37292 |        1    69865     51 |  5.734 % |
44.78/44.88	c |    448306 |    1381    11471    37292 |        1    69965     52 |  5.734 % |
44.78/44.88	c |    448548 |    1381    11471    37292 |        1    70207     52 |  5.734 % |
44.78/44.88	c |    448827 |    1381    11471    37292 |        1    70486     52 |  5.734 % |
44.78/44.88	c |    450083 |    1381    11471    37292 |        1    71742     52 |  5.734 % |
44.78/44.88	c |    450183 |    1381    11471    37292 |        1    71842     52 |  5.734 % |
44.78/44.88	c |    450366 |    1381    11471    37292 |        1    72025     52 |  5.734 % |
44.78/44.88	c |    450466 |    1381    11471    37292 |        1    72125     52 |  5.734 % |
44.78/44.88	c |    450568 |    1381    11471    37292 |        1    72227     52 |  5.734 % |
44.78/44.88	c |    450668 |    1381    11471    37292 |        1    72327     52 |  5.734 % |
44.78/44.88	c |    450917 |    1381    11471    37292 |        1    72576     53 |  5.734 % |
44.78/44.88	c |    451576 |    1381    11471    37292 |        1    73235     53 |  5.734 % |
44.78/44.88	c |    451678 |    1381    11471    37292 |        1    73337     53 |  5.734 % |
44.78/44.88	c |    451779 |    1381    11471    37292 |        1    73438     53 |  5.734 % |
44.78/44.88	c |    451880 |    1381    11471    37292 |        1    73539     53 |  5.734 % |
44.78/44.88	c |    452254 |    1381    11471    37292 |        1    73913     53 |  5.734 % |
49.18/49.23	c |    452457 |    1381    11471    37292 |        1    74116     53 |  5.734 % |
49.18/49.23	c |    452632 |    1381    11471    37292 |        1    74291     53 |  5.734 % |
49.18/49.23	c |    452740 |    1381    11471    37292 |        1    74399     53 |  5.734 % |
49.18/49.23	c |    452844 |    1381    11471    37292 |        1    74503     53 |  5.734 % |
49.18/49.23	c |    452945 |    1381    11471    37292 |        1    74604     53 |  5.734 % |
49.18/49.23	c |    453106 |    1381    11471    37292 |        1    74765     53 |  5.734 % |
49.18/49.23	c |    453207 |    1381    11471    37292 |        1    74866     53 |  5.734 % |
49.18/49.23	c |    453307 |    1381    11471    37292 |        1    74966     53 |  5.734 % |
49.18/49.23	c |    453417 |    1381    11471    37292 |        1    75076     53 |  5.734 % |
49.18/49.23	c |    454983 |    1381    11471    37292 |        1    76642     54 |  5.734 % |
49.18/49.23	c |    455091 |    1381    11471    37292 |        1    76750     55 |  5.734 % |
49.18/49.23	c |    455253 |    1381    11471    37292 |        1    76912     55 |  5.734 % |
49.18/49.23	c |    455462 |    1381    11471    37292 |        1    77121     55 |  5.734 % |
49.18/49.23	c |    455562 |    1381    11471    37292 |        1    77221     55 |  5.734 % |
49.18/49.23	c |    455664 |    1381    11471    37292 |        1    77323     55 |  5.734 % |
49.18/49.23	c |    455881 |    1381    11471    37292 |        1    77540     55 |  5.734 % |
49.18/49.23	c |    458830 |    1381    11471    37292 |        1    80489     56 |  5.734 % |
49.18/49.23	c |    458930 |    1381    11471    37292 |        1    80589     56 |  5.734 % |
49.18/49.23	c |    459824 |    1381    11471    37292 |        1    81483     56 |  5.734 % |
49.18/49.23	c |    460873 |    1381    11471    37292 |        1    82532     56 |  5.734 % |
49.18/49.23	c |    461748 |    1381    11471    37292 |        1    83407     57 |  5.734 % |
49.18/49.23	c |    462147 |    1381    11471    37292 |        1    83806     57 |  5.734 % |
49.18/49.23	c |    462249 |    1381    11471    37292 |        1    83908     57 |  5.734 % |
49.18/49.23	c |    462499 |    1381    11471    37292 |        1    84158     57 |  5.734 % |
49.18/49.23	c |    462600 |    1381    11471    37292 |        1    84259     57 |  5.734 % |
49.18/49.23	c |    462889 |    1381    11471    37292 |        1    84548     57 |  5.734 % |
49.18/49.23	c |    462990 |    1381    11471    37292 |        1    84649     57 |  5.734 % |
49.18/49.23	c |    463090 |    1381    11471    37292 |        1    84749     57 |  5.734 % |
49.18/49.23	c |    463547 |    1381    11471    37292 |        1    85206     57 |  5.734 % |
49.18/49.23	c |    464482 |    1381    11471    37292 |        1    86141     57 |  5.734 % |
49.18/49.23	c |    471650 |    1381    11471    37292 |        1    47585     20 |  5.734 % |
49.18/49.23	c |    474124 |    1381    11471    37292 |        1    50059     23 |  5.734 % |
49.18/49.23	c |    475437 |    1381    11471    37292 |        1    51372     24 |  5.734 % |
49.18/49.23	c |    476556 |    1381    11471    37292 |        1    52491     25 |  5.734 % |
49.18/49.23	c |    476832 |    1381    11471    37292 |        1    52767     26 |  5.734 % |
49.18/49.23	c |    476933 |    1381    11471    37292 |        1    52868     26 |  5.734 % |
49.18/49.23	c |    477449 |    1381    11471    37292 |        1    53384     26 |  5.734 % |
49.18/49.23	c |    477549 |    1381    11471    37292 |        1    53484     26 |  5.734 % |
49.18/49.23	c |    477651 |    1381    11471    37292 |        1    53586     26 |  5.734 % |
49.18/49.23	c |    477751 |    1381    11471    37292 |        1    53686     27 |  5.734 % |
49.18/49.23	c |    478419 |    1381    11471    37292 |        1    54354     27 |  5.734 % |
49.18/49.23	c |    479255 |    1381    11471    37292 |        1    55190     28 |  5.734 % |
49.18/49.23	c |    479357 |    1381    11471    37292 |        1    55292     28 |  5.734 % |
49.18/49.23	c |    480224 |    1381    11471    37292 |        1    56159     29 |  5.734 % |
49.18/49.23	c |    481261 |    1381    11471    37292 |        1    57196     30 |  5.734 % |
49.18/49.23	c |    484382 |    1381    11471    37292 |        1    60317     33 |  5.734 % |
49.18/49.23	c |    484601 |    1381    11471    37292 |        1    60536     34 |  5.734 % |
49.18/49.23	c |    484910 |    1381    11471    37292 |        1    60845     34 |  5.734 % |
49.18/49.23	c |    489118 |    1381    11471    37292 |        1    65053     37 |  5.734 % |
49.18/49.23	c |    489219 |    1381    11471    37292 |        1    65154     37 |  5.734 % |
52.79/52.88	c |    489596 |    1381    11471    37292 |        1    65531     37 |  5.734 % |
52.79/52.88	c |    491577 |    1381    11471    37292 |        1    67512     39 |  5.734 % |
52.79/52.88	c |    491677 |    1381    11471    37292 |        1    67612     39 |  5.734 % |
52.79/52.88	c |    492041 |    1381    11471    37292 |        1    67976     39 |  5.734 % |
52.79/52.88	c |    492142 |    1381    11471    37292 |        1    68077     39 |  5.734 % |
52.79/52.88	c |    492704 |    1381    11471    37292 |        1    68639     40 |  5.734 % |
52.79/52.88	c |    492805 |    1381    11471    37292 |        1    68740     40 |  5.734 % |
52.79/52.88	c |    493467 |    1381    11471    37292 |        1    69402     40 |  5.734 % |
52.79/52.88	c |    493644 |    1381    11471    37292 |        1    69579     40 |  5.734 % |
52.79/52.88	c |    494380 |    1381    11471    37292 |        1    70315     41 |  5.734 % |
52.79/52.88	c |    494480 |    1381    11471    37292 |        1    70415     41 |  5.734 % |
52.79/52.88	c |    495062 |    1381    11471    37292 |        1    70997     41 |  5.734 % |
52.79/52.88	c |    495229 |    1381    11471    37292 |        1    71164     41 |  5.734 % |
52.79/52.88	c |    495485 |    1381    11471    37292 |        1    71420     41 |  5.734 % |
52.79/52.88	c |    496124 |    1381    11471    37292 |        1    72059     42 |  5.734 % |
52.79/52.88	c |    496226 |    1381    11471    37292 |        1    72161     42 |  5.734 % |
52.79/52.88	c |    496328 |    1381    11471    37292 |        1    72263     42 |  5.734 % |
52.79/52.88	c |    496429 |    1381    11471    37292 |        1    72364     42 |  5.734 % |
52.79/52.88	c |    496876 |    1381    11471    37292 |        1    72811     42 |  5.734 % |
52.79/52.88	c |    497563 |    1381    11471    37292 |        1    73498     43 |  5.734 % |
52.79/52.88	c |    497668 |    1381    11471    37292 |        1    73603     43 |  5.734 % |
52.79/52.88	c |    498842 |    1381    11471    37292 |        1    74777     44 |  5.734 % |
52.79/52.88	c |    498942 |    1381    11471    37292 |        1    74877     44 |  5.734 % |
52.79/52.88	c |    499262 |    1381    11471    37292 |        1    75197     44 |  5.734 % |
52.79/52.88	c |    499606 |    1381    11471    37292 |        1    75541     44 |  5.734 % |
52.79/52.88	c |    509316 |    1381    11471    37292 |        1    85251     52 |  5.734 % |
52.79/52.88	c |    509417 |    1381    11471    37292 |        1    85352     53 |  5.734 % |
52.79/52.88	c |    509531 |    1381    11471    37292 |        1    85466     53 |  5.734 % |
52.79/52.88	c |    509631 |    1381    11471    37292 |        1    85566     53 |  5.734 % |
52.79/52.88	c |    510379 |    1381    11471    37292 |        1    86314     53 |  5.734 % |
52.79/52.88	c |    511762 |    1381    11471    37292 |        1    87697     53 |  5.734 % |
52.79/52.88	c |    511862 |    1381    11471    37292 |        1    87797     53 |  5.734 % |
52.79/52.88	c |    511963 |    1381    11471    37292 |        1    87898     53 |  5.734 % |
52.79/52.88	c |    512066 |    1381    11471    37292 |        1    88001     53 |  5.734 % |
52.79/52.88	c |    512166 |    1381    11471    37292 |        1    88101     53 |  5.734 % |
52.79/52.88	c |    512389 |    1381    11471    37292 |        1    88324     54 |  5.734 % |
52.79/52.88	c |    513614 |    1381    11471    37292 |        1    89549     54 |  5.734 % |
52.79/52.88	c |    513714 |    1381    11471    37292 |        1    89649     54 |  5.734 % |
52.79/52.88	c |    513814 |    1381    11471    37292 |        1    89749     54 |  5.734 % |
52.79/52.88	c |    513916 |    1381    11471    37292 |        1    89851     54 |  5.734 % |
52.79/52.88	c |    514016 |    1381    11471    37292 |        1    89951     54 |  5.734 % |
52.79/52.88	c |    514116 |    1381    11471    37292 |        1    90051     54 |  5.734 % |
52.79/52.88	c |    514216 |    1381    11471    37292 |        1    90151     54 |  5.734 % |
52.79/52.88	c |    514603 |    1381    11471    37292 |        1    90538     54 |  5.734 % |
52.79/52.88	c |    514726 |    1381    11471    37292 |        1    90661     54 |  5.734 % |
52.79/52.88	c |    514827 |    1381    11471    37292 |        1    90762     54 |  5.734 % |
52.79/52.88	c |    514930 |    1381    11471    37292 |        1    90865     54 |  5.734 % |
52.79/52.88	c |    516981 |    1381    11471    37292 |        1    92916     55 |  5.734 % |
52.79/52.88	c |    517081 |    1381    11471    37292 |        1    93016     55 |  5.734 % |
52.79/52.88	c |    517181 |    1381    11471    37292 |        1    93116     55 |  5.734 % |
54.58/54.60	c |    517689 |    1381    11471    37292 |        1    93624     55 |  5.734 % |
54.58/54.60	c |    517791 |    1381    11471    37292 |        1    93726     55 |  5.734 % |
54.58/54.60	c |    517917 |    1381    11471    37292 |        1    93852     55 |  5.734 % |
54.58/54.60	c |    518017 |    1381    11471    37292 |        1    93952     55 |  5.734 % |
54.58/54.60	c |    518117 |    1381    11471    37292 |        1    94052     55 |  5.734 % |
54.58/54.60	c |    518317 |    1381    11471    37292 |        1    94252     56 |  5.734 % |
54.58/54.60	c |    518417 |    1381    11471    37292 |        1    94352     56 |  5.734 % |
54.58/54.60	c |    519520 |    1381    11471    37292 |        1    95455     56 |  5.734 % |
54.58/54.60	c |    519620 |    1381    11471    37292 |        1    95555     56 |  5.734 % |
54.58/54.60	c |    519735 |    1381    11471    37292 |        1    95670     56 |  5.734 % |
54.58/54.60	c |    520249 |    1381    11471    37292 |        1    96184     56 |  5.734 % |
54.58/54.60	c |    520349 |    1381    11471    37292 |        1    96284     56 |  5.734 % |
54.58/54.60	c |    520827 |    1381    11471    37292 |        1    48496     20 |  5.734 % |
54.58/54.60	c |    520928 |    1381    11471    37292 |        1    48597     20 |  5.734 % |
54.58/54.60	c |    521028 |    1381    11471    37292 |        1    48697     20 |  5.734 % |
54.58/54.60	c |    521129 |    1381    11471    37292 |        1    48798     20 |  5.734 % |
54.58/54.60	c |    521516 |    1381    11471    37292 |        1    49185     21 |  5.734 % |
54.58/54.60	c |    522881 |    1381    11471    37292 |        1    50550     23 |  5.734 % |
54.58/54.60	c |    522984 |    1381    11471    37292 |        1    50653     23 |  5.734 % |
54.58/54.60	c |    523107 |    1381    11471    37292 |        1    50776     23 |  5.734 % |
54.58/54.60	c |    523392 |    1381    11471    37292 |        1    51061     23 |  5.734 % |
54.58/54.60	c |    524230 |    1381    11471    37292 |        1    51899     24 |  5.734 % |
54.58/54.60	c |    524511 |    1381    11471    37292 |        1    52180     24 |  5.734 % |
54.58/54.60	c |    524611 |    1381    11471    37292 |        1    52280     24 |  5.734 % |
54.58/54.60	c |    524740 |    1381    11471    37292 |        1    52409     25 |  5.734 % |
54.58/54.60	c |    524938 |    1381    11471    37292 |        1    52607     25 |  5.734 % |
54.58/54.60	c |    526412 |    1381    11471    37292 |        1    54081     26 |  5.734 % |
54.58/54.60	c |    526711 |    1381    11471    37292 |        1    54380     27 |  5.734 % |
54.58/54.60	c |    526811 |    1381    11471    37292 |        1    54480     27 |  5.734 % |
54.58/54.60	c |    526912 |    1381    11471    37292 |        1    54581     27 |  5.734 % |
54.58/54.60	c |    527022 |    1381    11471    37292 |        1    54691     27 |  5.734 % |
54.58/54.60	c |    527751 |    1381    11471    37292 |        1    55420     28 |  5.734 % |
54.58/54.60	c |    527879 |    1381    11471    37292 |        1    55548     28 |  5.734 % |
54.58/54.60	c |    528440 |    1381    11471    37292 |        1    56109     29 |  5.734 % |
54.58/54.60	c |    528540 |    1381    11471    37292 |        1    56209     29 |  5.734 % |
54.58/54.60	c |    528914 |    1381    11471    37292 |        1    56583     29 |  5.734 % |
54.58/54.60	c |    529015 |    1381    11471    37292 |        1    56684     29 |  5.734 % |
54.58/54.60	c |    530119 |    1381    11471    37292 |        1    57788     30 |  5.734 % |
54.58/54.60	c |    530221 |    1381    11471    37292 |        1    57890     31 |  5.734 % |
54.58/54.60	c |    530469 |    1381    11471    37292 |        1    58138     31 |  5.734 % |
54.58/54.60	c |    531013 |    1381    11471    37292 |        1    58682     31 |  5.734 % |
54.58/54.60	c |    531263 |    1381    11471    37292 |        1    58932     32 |  5.734 % |
54.58/54.60	c |    531537 |    1381    11471    37292 |        1    59206     32 |  5.734 % |
54.58/54.60	c |    531638 |    1381    11471    37292 |        1    59307     32 |  5.734 % |
54.58/54.60	c |    531738 |    1381    11471    37292 |        1    59407     32 |  5.734 % |
54.58/54.60	c |    531840 |    1381    11471    37292 |        1    59509     32 |  5.734 % |
54.58/54.60	c |    531999 |    1381    11471    37292 |        1    59668     32 |  5.734 % |
54.58/54.60	c |    532107 |    1381    11471    37292 |        1    59776     32 |  5.734 % |
54.58/54.60	c |    532207 |    1381    11471    37292 |        1    59876     32 |  5.734 % |
54.58/54.60	c |    532308 |    1381    11471    37292 |        1    59977     33 |  5.734 % |
59.18/59.25	c |    532413 |    1381    11471    37292 |        1    60082     33 |  5.734 % |
59.18/59.25	c |    532517 |    1381    11471    37292 |        1    60186     33 |  5.734 % |
59.18/59.25	c |    533493 |    1381    11471    37292 |        1    61162     34 |  5.734 % |
59.18/59.25	c |    533701 |    1381    11471    37292 |        1    61370     34 |  5.734 % |
59.18/59.25	c |    533808 |    1381    11471    37292 |        1    61477     34 |  5.734 % |
59.18/59.25	c |    533908 |    1381    11471    37292 |        1    61577     34 |  5.734 % |
59.18/59.25	c |    534008 |    1381    11471    37292 |        1    61677     34 |  5.734 % |
59.18/59.25	c |    534109 |    1381    11471    37292 |        1    61778     34 |  5.734 % |
59.18/59.25	c |    534209 |    1381    11471    37292 |        1    61878     34 |  5.734 % |
59.18/59.25	c |    549508 |    1381    11471    37292 |        1    77177     47 |  5.734 % |
59.18/59.25	c |    549608 |    1381    11471    37292 |        1    77277     47 |  5.734 % |
59.18/59.25	c |    549710 |    1381    11471    37292 |        1    77379     47 |  5.734 % |
59.18/59.25	c |    549811 |    1381    11471    37292 |        1    77480     47 |  5.734 % |
59.18/59.25	c |    549951 |    1381    11471    37292 |        1    77620     47 |  5.734 % |
59.18/59.25	c |    550051 |    1381    11471    37292 |        1    77720     47 |  5.734 % |
59.18/59.25	c |    550158 |    1381    11471    37292 |        1    77827     47 |  5.734 % |
59.18/59.25	c |    553537 |    1381    11471    37292 |        1    81206     49 |  5.734 % |
59.18/59.25	c |    553665 |    1381    11471    37292 |        1    81334     49 |  5.734 % |
59.18/59.25	c |    553883 |    1381    11471    37292 |        1    81552     49 |  5.734 % |
59.18/59.25	c |    556043 |    1381    11471    37292 |        1    83712     50 |  5.734 % |
59.18/59.25	c |    556144 |    1381    11471    37292 |        1    83813     50 |  5.734 % |
59.18/59.25	c |    556258 |    1381    11471    37292 |        1    83927     50 |  5.734 % |
59.18/59.25	c |    556358 |    1381    11471    37292 |        1    84027     50 |  5.734 % |
59.18/59.25	c |    556459 |    1381    11471    37292 |        1    84128     50 |  5.734 % |
59.18/59.25	c |    557075 |    1381    11471    37292 |        1    84744     51 |  5.734 % |
59.18/59.25	c |    562554 |    1381    11471    37292 |        1    90223     53 |  5.734 % |
59.18/59.25	c |    562656 |    1381    11471    37292 |        1    90325     53 |  5.734 % |
59.18/59.25	c |    563008 |    1381    11471    37292 |        1    90677     53 |  5.734 % |
59.18/59.25	c |    563110 |    1381    11471    37292 |        1    90779     53 |  5.734 % |
59.18/59.25	c |    563458 |    1381    11471    37292 |        1    91127     53 |  5.734 % |
59.18/59.25	c |    563558 |    1381    11471    37292 |        1    91227     53 |  5.734 % |
59.18/59.25	c |    566426 |    1381    11471    37292 |        1    94095     54 |  5.734 % |
59.18/59.25	c |    566529 |    1381    11471    37292 |        1    94198     54 |  5.734 % |
59.18/59.25	c |    566630 |    1381    11471    37292 |        1    94299     54 |  5.734 % |
59.18/59.25	c |    566730 |    1381    11471    37292 |        1    94399     54 |  5.734 % |
59.18/59.25	c |    566836 |    1381    11471    37292 |        1    94505     54 |  5.734 % |
59.18/59.25	c |    566940 |    1381    11471    37292 |        1    94609     54 |  5.734 % |
59.18/59.25	c |    567043 |    1381    11471    37292 |        1    94712     54 |  5.734 % |
59.18/59.25	c |    567143 |    1381    11471    37292 |        1    94812     54 |  5.734 % |
59.18/59.25	c |    567302 |    1381    11471    37292 |        1    94971     54 |  5.734 % |
59.18/59.25	c |    567404 |    1381    11471    37292 |        1    95073     54 |  5.734 % |
59.18/59.25	c |    567533 |    1381    11471    37292 |        1    95202     54 |  5.734 % |
59.18/59.25	c |    567636 |    1381    11471    37292 |        1    95305     54 |  5.734 % |
59.18/59.25	c |    567737 |    1381    11471    37292 |        1    95406     54 |  5.734 % |
59.18/59.25	c |    567837 |    1381    11471    37292 |        1    95506     54 |  5.734 % |
59.18/59.25	c |    568410 |    1381    11471    37292 |        1    96079     55 |  5.734 % |
59.18/59.25	c |    568512 |    1381    11471    37292 |        1    96181     55 |  5.734 % |
59.18/59.25	c |    568612 |    1381    11471    37292 |        1    96281     55 |  5.734 % |
59.18/59.25	c |    568712 |    1381    11471    37292 |        1    96381     55 |  5.734 % |
59.18/59.25	c |    568820 |    1381    11471    37292 |        1    96489     55 |  5.734 % |
63.28/63.37	c |    569775 |    1381    11471    37292 |        1    97444     55 |  5.734 % |
63.28/63.37	c |    570531 |    1381    11471    37292 |        1    98200     55 |  5.734 % |
63.28/63.37	c |    570688 |    1381    11471    37292 |        1    98357     55 |  5.734 % |
63.28/63.37	c |    570839 |    1381    11471    37292 |        1    98508     55 |  5.734 % |
63.28/63.37	c |    572326 |    1381    11471    37292 |        1    99995     56 |  5.734 % |
63.28/63.37	c |    572460 |    1381    11471    37292 |        1   100129     56 |  5.734 % |
63.28/63.37	c |    572594 |    1381    11471    37292 |        1   100263     56 |  5.734 % |
63.28/63.37	c |    572726 |    1381    11471    37292 |        1   100395     56 |  5.734 % |
63.28/63.37	c |    572826 |    1381    11471    37292 |        1   100495     56 |  5.734 % |
63.28/63.37	c |    575448 |    1381    11471    37292 |        1    52295     20 |  5.734 % |
63.28/63.37	c |    577011 |    1381    11471    37292 |        1    53858     22 |  5.734 % |
63.28/63.37	c |    578255 |    1381    11471    37292 |        1    55102     23 |  5.734 % |
63.28/63.37	c |    581215 |    1381    11471    37292 |        1    58062     27 |  5.734 % |
63.28/63.37	c |    582056 |    1381    11471    37292 |        1    58903     28 |  5.734 % |
63.28/63.37	c |    582157 |    1381    11471    37292 |        1    59004     28 |  5.734 % |
63.28/63.37	c |    582835 |    1381    11471    37292 |        1    59682     28 |  5.734 % |
63.28/63.37	c |    583099 |    1381    11471    37292 |        1    59946     29 |  5.734 % |
63.28/63.37	c |    583394 |    1381    11471    37292 |        1    60241     29 |  5.734 % |
63.28/63.37	c |    583494 |    1381    11471    37292 |        1    60341     29 |  5.734 % |
63.28/63.37	c |    583594 |    1381    11471    37292 |        1    60441     29 |  5.734 % |
63.28/63.37	c |    583694 |    1381    11471    37292 |        1    60541     29 |  5.734 % |
63.28/63.37	c |    583795 |    1381    11471    37292 |        1    60642     29 |  5.734 % |
63.28/63.37	c |    583934 |    1381    11471    37292 |        1    60781     30 |  5.734 % |
63.28/63.37	c |    584111 |    1381    11471    37292 |        1    60958     30 |  5.734 % |
63.28/63.37	c |    584333 |    1381    11471    37292 |        1    61180     30 |  5.734 % |
63.28/63.37	c |    584433 |    1381    11471    37292 |        1    61280     30 |  5.734 % |
63.28/63.37	c |    584738 |    1381    11471    37292 |        1    61585     30 |  5.734 % |
63.28/63.37	c |    585057 |    1381    11471    37292 |        1    61904     31 |  5.734 % |
63.28/63.37	c |    585229 |    1381    11471    37292 |        1    62076     31 |  5.734 % |
63.28/63.37	c |    585329 |    1381    11471    37292 |        1    62176     31 |  5.734 % |
63.28/63.37	c |    597676 |    1381    11471    37292 |        1    74523     41 |  5.734 % |
63.28/63.37	c |    597776 |    1381    11471    37292 |        1    74623     41 |  5.734 % |
63.28/63.37	c |    597877 |    1381    11471    37292 |        1    74724     41 |  5.734 % |
63.28/63.37	c |    598999 |    1381    11471    37292 |        1    75846     42 |  5.734 % |
63.28/63.37	c |    599099 |    1381    11471    37292 |        1    75946     42 |  5.734 % |
63.28/63.37	c |    599199 |    1381    11471    37292 |        1    76046     42 |  5.734 % |
63.28/63.37	c |    599934 |    1381    11471    37292 |        1    76781     42 |  5.734 % |
63.28/63.37	c |    600050 |    1381    11471    37292 |        1    76897     42 |  5.734 % |
63.28/63.37	c |    600151 |    1381    11471    37292 |        1    76998     42 |  5.734 % |
63.28/63.37	c |    600251 |    1381    11471    37292 |        1    77098     42 |  5.734 % |
63.28/63.37	c |    600352 |    1381    11471    37292 |        1    77199     42 |  5.734 % |
63.28/63.37	c |    600453 |    1381    11471    37292 |        1    77300     42 |  5.734 % |
63.28/63.37	c |    600553 |    1381    11471    37292 |        1    77400     42 |  5.734 % |
63.28/63.37	c |    600820 |    1381    11471    37292 |        1    77667     43 |  5.734 % |
63.28/63.37	c |    601100 |    1381    11471    37292 |        1    77947     43 |  5.734 % |
63.28/63.37	c |    601203 |    1381    11471    37292 |        1    78050     43 |  5.734 % |
63.28/63.37	c |    601305 |    1381    11471    37292 |        1    78152     43 |  5.734 % |
63.28/63.37	c |    601405 |    1381    11471    37292 |        1    78252     43 |  5.734 % |
63.28/63.37	c |    601506 |    1381    11471    37292 |        1    78353     43 |  5.734 % |
63.28/63.37	c |    602172 |    1381    11471    37292 |        1    79019     43 |  5.734 % |
66.08/66.17	c |    602278 |    1381    11471    37292 |        1    79125     43 |  5.734 % |
66.08/66.17	c |    602823 |    1381    11471    37292 |        1    79670     44 |  5.734 % |
66.08/66.17	c |    603047 |    1381    11471    37292 |        1    79894     44 |  5.734 % |
66.08/66.17	c |    603147 |    1381    11471    37292 |        1    79994     44 |  5.734 % |
66.08/66.17	c |    603247 |    1381    11471    37292 |        1    80094     44 |  5.734 % |
66.08/66.17	c |    603347 |    1381    11471    37292 |        1    80194     44 |  5.734 % |
66.08/66.17	c |    603488 |    1381    11471    37292 |        1    80335     44 |  5.734 % |
66.08/66.17	c |    603588 |    1381    11471    37292 |        1    80435     44 |  5.734 % |
66.08/66.17	c |    603689 |    1381    11471    37292 |        1    80536     44 |  5.734 % |
66.08/66.17	c |    603791 |    1381    11471    37292 |        1    80638     44 |  5.734 % |
66.08/66.17	c |    603945 |    1381    11471    37292 |        1    80792     44 |  5.734 % |
66.08/66.17	c |    604423 |    1381    11471    37292 |        1    81270     44 |  5.734 % |
66.08/66.17	c |    605063 |    1381    11471    37292 |        1    81910     45 |  5.734 % |
66.08/66.17	c |    605179 |    1381    11471    37292 |        1    82026     45 |  5.734 % |
66.08/66.17	c |    605279 |    1381    11471    37292 |        1    82126     45 |  5.734 % |
66.08/66.17	c |    605517 |    1381    11471    37292 |        1    82364     45 |  5.734 % |
66.08/66.17	c |    605915 |    1381    11471    37292 |        1    82762     45 |  5.734 % |
66.08/66.17	c |    606017 |    1381    11471    37292 |        1    82864     45 |  5.734 % |
66.08/66.17	c |    606563 |    1381    11471    37292 |        1    83410     46 |  5.734 % |
66.08/66.17	c |    606664 |    1381    11471    37292 |        1    83511     46 |  5.734 % |
66.08/66.17	c |    607719 |    1381    11471    37292 |        1    84566     46 |  5.734 % |
66.08/66.17	c |    608034 |    1381    11471    37292 |        1    84881     46 |  5.734 % |
66.08/66.17	c |    608134 |    1381    11471    37292 |        1    84981     46 |  5.734 % |
66.08/66.17	c |    608416 |    1381    11471    37292 |        1    85263     47 |  5.734 % |
66.08/66.17	c |    608570 |    1381    11471    37292 |        1    85417     47 |  5.734 % |
66.08/66.17	c |    608671 |    1381    11471    37292 |        1    85518     47 |  5.734 % |
66.08/66.17	c |    608771 |    1381    11471    37292 |        1    85618     47 |  5.734 % |
66.08/66.17	c |    608994 |    1381    11471    37292 |        1    85841     47 |  5.734 % |
66.08/66.17	c |    610484 |    1381    11471    37292 |        1    87331     48 |  5.734 % |
66.08/66.17	c |    610584 |    1381    11471    37292 |        1    87431     48 |  5.734 % |
66.08/66.17	c |    610686 |    1381    11471    37292 |        1    87533     48 |  5.734 % |
66.08/66.17	c |    610786 |    1381    11471    37292 |        1    87633     48 |  5.734 % |
66.08/66.17	c |    610966 |    1381    11471    37292 |        1    87813     48 |  5.734 % |
66.08/66.17	c |    611067 |    1381    11471    37292 |        1    87914     48 |  5.734 % |
66.08/66.17	c |    611461 |    1381    11471    37292 |        1    88308     48 |  5.734 % |
66.08/66.17	c |    611804 |    1381    11471    37292 |        1    88651     48 |  5.734 % |
66.08/66.17	c |    612016 |    1381    11471    37292 |        1    88863     48 |  5.734 % |
66.08/66.17	c |    612116 |    1381    11471    37292 |        1    88963     49 |  5.734 % |
66.08/66.17	c |    612219 |    1381    11471    37292 |        1    89066     49 |  5.734 % |
66.08/66.17	c |    612319 |    1381    11471    37292 |        1    89166     49 |  5.734 % |
66.08/66.17	c |    612420 |    1381    11471    37292 |        1    89267     49 |  5.734 % |
66.08/66.17	c |    612520 |    1381    11471    37292 |        1    89367     49 |  5.734 % |
66.08/66.17	c |    613921 |    1381    11471    37292 |        1    90768     49 |  5.734 % |
66.08/66.17	c |    614865 |    1381    11471    37292 |        1    91712     50 |  5.734 % |
66.08/66.17	c |    615540 |    1381    11471    37292 |        1    92387     50 |  5.734 % |
66.08/66.17	c |    615769 |    1381    11471    37292 |        1    92616     50 |  5.734 % |
66.08/66.17	c |    615922 |    1381    11471    37292 |        1    92769     50 |  5.734 % |
66.08/66.17	c |    617696 |    1381    11471    37292 |        1    94543     51 |  5.734 % |
66.08/66.17	c |    621282 |    1381    11471    37292 |        1    98129     53 |  5.734 % |
66.08/66.17	c |    621653 |    1381    11471    37292 |        1    98500     53 |  5.734 % |
72.48/72.52	c |    621755 |    1381    11471    37292 |        1    98602     53 |  5.734 % |
72.48/72.52	c |    622888 |    1381    11471    37292 |        1    99735     53 |  5.734 % |
72.48/72.52	c |    623005 |    1381    11471    37292 |        1    99852     53 |  5.734 % |
72.48/72.52	c |    626749 |    1381    11471    37292 |        1   103596     55 |  5.734 % |
72.48/72.52	c |    626912 |    1381    11471    37292 |        1   103759     55 |  5.734 % |
72.48/72.52	c |    627176 |    1381    11471    37292 |        1   104023     55 |  5.734 % |
72.48/72.52	c |    636337 |    1381    11471    37292 |        1    59771     25 |  5.734 % |
72.48/72.52	c |    636949 |    1381    11471    37292 |        1    60383     25 |  5.734 % |
72.48/72.52	c |    648641 |    1381    11471    37292 |        1    72075     33 |  5.734 % |
72.48/72.52	c |    651007 |    1381    11471    37292 |        1    74441     35 |  5.734 % |
72.48/72.52	c |    651264 |    1381    11471    37292 |        1    74698     35 |  5.734 % |
72.48/72.52	c |    651365 |    1381    11471    37292 |        1    74799     35 |  5.734 % |
72.48/72.52	c |    651467 |    1381    11471    37292 |        1    74901     35 |  5.734 % |
72.48/72.52	c |    651904 |    1381    11471    37292 |        1    75338     36 |  5.734 % |
72.48/72.52	c |    652174 |    1381    11471    37292 |        1    75608     36 |  5.734 % |
72.48/72.52	c |    652274 |    1381    11471    37292 |        1    75708     36 |  5.734 % |
72.48/72.52	c |    652379 |    1381    11471    37292 |        1    75813     36 |  5.734 % |
72.48/72.52	c |    652627 |    1381    11471    37292 |        1    76061     36 |  5.734 % |
72.48/72.52	c |    653120 |    1381    11471    37292 |        1    76554     37 |  5.734 % |
72.48/72.52	c |    654095 |    1381    11471    37292 |        1    77529     37 |  5.734 % |
72.48/72.52	c |    654196 |    1381    11471    37292 |        1    77630     37 |  5.734 % |
72.48/72.52	c |    654296 |    1381    11471    37292 |        1    77730     37 |  5.734 % |
72.48/72.52	c |    654615 |    1381    11471    37292 |        1    78049     38 |  5.734 % |
72.48/72.52	c |    654715 |    1381    11471    37292 |        1    78149     38 |  5.734 % |
72.48/72.52	c |    654815 |    1381    11471    37292 |        1    78249     38 |  5.734 % |
72.48/72.52	c |    654915 |    1381    11471    37292 |        1    78349     38 |  5.734 % |
72.48/72.52	c |    655222 |    1381    11471    37292 |        1    78656     38 |  5.734 % |
72.48/72.52	c |    655898 |    1381    11471    37292 |        1    79332     39 |  5.734 % |
72.48/72.52	c |    657579 |    1381    11471    37292 |        1    81013     39 |  5.734 % |
72.48/72.52	c |    657680 |    1381    11471    37292 |        1    81114     39 |  5.734 % |
72.48/72.52	c |    657780 |    1381    11471    37292 |        1    81214     39 |  5.734 % |
72.48/72.52	c |    657880 |    1381    11471    37292 |        1    81314     40 |  5.734 % |
72.48/72.52	c |    657982 |    1381    11471    37292 |        1    81416     40 |  5.734 % |
72.48/72.52	c |    658085 |    1381    11471    37292 |        1    81519     40 |  5.734 % |
72.48/72.52	c |    658691 |    1381    11471    37292 |        1    82125     40 |  5.734 % |
72.48/72.52	c |    660003 |    1381    11471    37292 |        1    83437     41 |  5.734 % |
72.48/72.52	c |    660170 |    1381    11471    37292 |        1    83604     41 |  5.734 % |
72.48/72.52	c |    660270 |    1381    11471    37292 |        1    83704     41 |  5.734 % |
72.48/72.52	c |    662437 |    1381    11471    37292 |        1    85871     43 |  5.734 % |
72.48/72.52	c |    662537 |    1381    11471    37292 |        1    85971     43 |  5.734 % |
72.48/72.52	c |    662678 |    1381    11471    37292 |        1    86112     43 |  5.734 % |
72.48/72.52	c |    662778 |    1381    11471    37292 |        1    86212     43 |  5.734 % |
72.48/72.52	c |    662881 |    1381    11471    37292 |        1    86315     43 |  5.734 % |
72.48/72.52	c |    665043 |    1381    11471    37292 |        1    88477     44 |  5.734 % |
72.48/72.52	c |    667762 |    1381    11471    37292 |        1    91196     45 |  5.734 % |
72.48/72.52	c |    667902 |    1381    11471    37292 |        1    91336     45 |  5.734 % |
72.48/72.52	c |    668146 |    1381    11471    37292 |        1    91580     45 |  5.734 % |
72.48/72.52	c |    668259 |    1381    11471    37292 |        1    91693     45 |  5.734 % |
72.48/72.52	c |    669876 |    1381    11471    37292 |        1    93310     46 |  5.734 % |
98.09/98.19	c |    670054 |    1381    11471    37292 |        1    93488     46 |  5.734 % |
98.09/98.19	c |    670430 |    1381    11471    37292 |        1    93864     46 |  5.734 % |
98.09/98.19	c |    670530 |    1381    11471    37292 |        1    93964     46 |  5.734 % |
98.09/98.19	c |    670814 |    1381    11471    37292 |        1    94248     46 |  5.734 % |
98.09/98.19	c |    784532 |    1381    11471    37292 |        1    93365     38 |  5.734 % |
98.09/98.19	c |    786048 |    1381    11471    37292 |        1    94881     38 |  5.734 % |
98.09/98.19	c |    788621 |    1381    11471    37292 |        1    97454     40 |  5.734 % |
98.09/98.19	c |    788727 |    1381    11471    37292 |        1    97560     40 |  5.734 % |
98.09/98.19	c |    788828 |    1381    11471    37292 |        1    97661     40 |  5.734 % |
98.09/98.19	c |    800736 |    1381    11471    37292 |        1   109569     48 |  5.734 % |
98.09/98.19	c |    800915 |    1381    11471    37292 |        1   109748     48 |  5.734 % |
98.09/98.19	c |    801058 |    1381    11471    37292 |        1   109891     48 |  5.734 % |
98.09/98.19	c |    801288 |    1381    11471    37292 |        1   110121     48 |  5.734 % |
98.09/98.19	c |    801399 |    1381    11471    37292 |        1   110232     48 |  5.734 % |
98.09/98.19	c |    801499 |    1381    11471    37292 |        1   110332     48 |  5.734 % |
98.09/98.19	c |    801599 |    1381    11471    37292 |        1   110432     48 |  5.734 % |
98.09/98.19	c |    801970 |    1381    11471    37292 |        1   110803     48 |  5.734 % |
98.09/98.19	c |    802500 |    1381    11471    37292 |        1   111333     48 |  5.734 % |
98.09/98.19	c |    802601 |    1381    11471    37292 |        1   111434     48 |  5.734 % |
98.09/98.19	c |    802744 |    1381    11471    37292 |        1   111577     48 |  5.734 % |
98.09/98.19	c |    802849 |    1381    11471    37292 |        1   111682     48 |  5.734 % |
98.09/98.19	c |    803060 |    1381    11471    37292 |        1   111893     48 |  5.734 % |
98.09/98.19	c |    803160 |    1381    11471    37292 |        1   111993     48 |  5.734 % |
98.09/98.19	c |    803333 |    1381    11471    37292 |        1   112166     49 |  5.734 % |
98.09/98.19	c |    803433 |    1381    11471    37292 |        1   112266     49 |  5.734 % |
98.09/98.19	c |    803544 |    1381    11471    37292 |        1   112377     49 |  5.734 % |
98.09/98.19	c |    803644 |    1381    11471    37292 |        1   112477     49 |  5.734 % |
98.09/98.19	c |    803747 |    1381    11471    37292 |        1   112580     49 |  5.734 % |
98.09/98.19	c |    803912 |    1381    11471    37292 |        1   112745     49 |  5.734 % |
98.09/98.19	c |    805212 |    1381    11471    37292 |        1   114045     49 |  5.734 % |
98.09/98.19	c |    805645 |    1381    11471    37292 |        1   114478     49 |  5.734 % |
98.09/98.19	c |    805854 |    1381    11471    37292 |        1   114687     49 |  5.734 % |
98.09/98.19	c |    805954 |    1381    11471    37292 |        1   114787     50 |  5.734 % |
98.09/98.19	c |    806514 |    1381    11471    37292 |        1   115347     50 |  5.734 % |
98.09/98.19	c |    807139 |    1381    11471    37292 |        1   115972     50 |  5.734 % |
98.09/98.19	c |    807239 |    1381    11471    37292 |        1   116072     50 |  5.734 % |
98.09/98.19	c |    807416 |    1381    11471    37292 |        1   116249     50 |  5.734 % |
98.09/98.19	c |    807750 |    1381    11471    37292 |        1   116583     50 |  5.734 % |
98.09/98.19	c |    808312 |    1381    11471    37292 |        1   117145     50 |  5.734 % |
98.09/98.19	c |    808413 |    1381    11471    37292 |        1   117246     50 |  5.734 % |
98.09/98.19	c |    817560 |    1381    11471    37292 |        1    65185     24 |  5.734 % |
98.09/98.19	c |    817853 |    1381    11471    37292 |        1    65478     24 |  5.734 % |
98.09/98.19	c |    818040 |    1381    11471    37292 |        1    65665     24 |  5.734 % |
98.09/98.19	c |    818142 |    1381    11471    37292 |        1    65767     24 |  5.734 % |
98.09/98.19	c |    818243 |    1381    11471    37292 |        1    65868     24 |  5.734 % |
98.09/98.19	c |    818571 |    1381    11471    37292 |        1    66196     25 |  5.734 % |
98.09/98.19	c |    820771 |    1381    11471    37292 |        1    68396     26 |  5.734 % |
98.09/98.19	c |    821552 |    1381    11471    37292 |        1    69177     27 |  5.734 % |
98.09/98.19	c |    822486 |    1381    11471    37292 |        1    70111     28 |  5.734 % |
98.09/98.19	c |    822626 |    1381    11471    37292 |        1    70251     28 |  5.734 % |
120.89/121.00	c |    822819 |    1381    11471    37292 |        1    70444     28 |  5.734 % |
120.89/121.00	c |    822919 |    1381    11471    37292 |        1    70544     28 |  5.734 % |
120.89/121.00	c |    823707 |    1381    11471    37292 |        1    71332     29 |  5.734 % |
120.89/121.00	c |    823834 |    1381    11471    37292 |        1    71459     29 |  5.734 % |
120.89/121.00	c |    834031 |    1381    11471    37292 |        1    81656     39 |  5.734 % |
120.89/121.00	c |    834131 |    1381    11471    37292 |        1    81756     39 |  5.734 % |
120.89/121.00	c |    834327 |    1381    11471    37292 |        1    81952     39 |  5.734 % |
120.89/121.00	c |    834477 |    1381    11471    37292 |        1    82102     40 |  5.734 % |
120.89/121.00	c |    834879 |    1381    11471    37292 |        1    82504     40 |  5.734 % |
120.89/121.00	c |    835093 |    1381    11471    37292 |        1    82718     40 |  5.734 % |
120.89/121.00	c |    836541 |    1381    11471    37292 |        1    84166     41 |  5.734 % |
120.89/121.00	c |    836641 |    1381    11471    37292 |        1    84266     41 |  5.734 % |
120.89/121.00	c |    836741 |    1381    11471    37292 |        1    84366     41 |  5.734 % |
120.89/121.00	c |    836842 |    1381    11471    37292 |        1    84467     41 |  5.734 % |
120.89/121.00	c |    838114 |    1381    11471    37292 |        1    85739     42 |  5.734 % |
120.89/121.00	c |    838306 |    1381    11471    37292 |        1    85931     42 |  5.734 % |
120.89/121.00	c |    839604 |    1381    11471    37292 |        1    87229     43 |  5.734 % |
120.89/121.00	c |    839734 |    1381    11471    37292 |        1    87359     43 |  5.734 % |
120.89/121.00	c |    840221 |    1381    11471    37292 |        1    87846     43 |  5.734 % |
120.89/121.00	c |    840341 |    1381    11471    37292 |        1    87966     43 |  5.734 % |
120.89/121.00	c |    905012 |    1381    11471    37292 |        1    88835     36 |  5.734 % |
120.89/121.00	c |    907211 |    1381    11471    37292 |        1    91034     37 |  5.734 % |
120.89/121.00	c |    907720 |    1381    11471    37292 |        1    91543     37 |  5.734 % |
120.89/121.00	c |    907832 |    1381    11471    37292 |        1    91655     37 |  5.734 % |
120.89/121.00	c |    908548 |    1381    11471    37292 |        1    92371     38 |  5.734 % |
120.89/121.00	c |    908695 |    1381    11471    37292 |        1    92518     38 |  5.734 % |
120.89/121.00	c |    908978 |    1381    11471    37292 |        1    92801     38 |  5.734 % |
120.89/121.00	c |    909348 |    1381    11471    37292 |        1    93171     38 |  5.734 % |
120.89/121.00	c |    909451 |    1381    11471    37292 |        1    93274     38 |  5.734 % |
120.89/121.00	c |    909943 |    1381    11471    37292 |        1    93766     38 |  5.734 % |
120.89/121.00	c |    910055 |    1381    11471    37292 |        1    93878     38 |  5.734 % |
120.89/121.00	c |    910205 |    1381    11471    37292 |        1    94028     39 |  5.734 % |
120.89/121.00	c |    911134 |    1381    11471    37292 |        1    94957     39 |  5.734 % |
120.89/121.00	c |    911234 |    1381    11471    37292 |        1    95057     39 |  5.734 % |
120.89/121.00	c |    911525 |    1381    11471    37292 |        1    95348     39 |  5.734 % |
120.89/121.00	c |    911625 |    1381    11471    37292 |        1    95448     39 |  5.734 % |
120.89/121.00	c |    911731 |    1381    11471    37292 |        1    95554     39 |  5.734 % |
120.89/121.00	c |    911831 |    1381    11471    37292 |        1    95654     40 |  5.734 % |
120.89/121.00	c |    911931 |    1381    11471    37292 |        1    95754     40 |  5.734 % |
120.89/121.00	c |    912460 |    1381    11471    37292 |        1    96283     40 |  5.734 % |
120.89/121.00	c |    912684 |    1381    11471    37292 |        1    96507     40 |  5.734 % |
120.89/121.00	c |    916251 |    1381    11471    37292 |        1   100074     41 |  5.734 % |
120.89/121.00	c |    916354 |    1381    11471    37292 |        1   100177     41 |  5.734 % |
120.89/121.00	c |    918299 |    1381    11471    37292 |        1   102122     42 |  5.734 % |
120.89/121.00	c |    918414 |    1381    11471    37292 |        1   102237     42 |  5.734 % |
120.89/121.00	c |    918514 |    1381    11471    37292 |        1   102337     42 |  5.734 % |
120.89/121.00	c |    918616 |    1381    11471    37292 |        1   102439     42 |  5.734 % |
120.89/121.00	c |    918716 |    1381    11471    37292 |        1   102539     42 |  5.734 % |
120.89/121.00	c |    976076 |    1381    11471    37292 |        1    93502     44 |  5.734 % |
120.89/121.00	c |    976601 |    1381    11471    37292 |        1    94027     45 |  5.734 % |
143.39/143.43	c |    979737 |    1381    11471    37292 |        1    97163     46 |  5.734 % |
143.39/143.43	c |    980137 |    1381    11471    37292 |        1    97563     46 |  5.734 % |
143.39/143.43	c |    980515 |    1381    11471    37292 |        1    97941     46 |  5.734 % |
143.39/143.43	c |    980718 |    1381    11471    37292 |        1    98144     46 |  5.734 % |
143.39/143.43	c |    983895 |    1381    11471    37292 |        1   101321     47 |  5.734 % |
143.39/143.43	c |    983995 |    1381    11471    37292 |        1   101421     47 |  5.734 % |
143.39/143.43	c |    984096 |    1381    11471    37292 |        1   101522     47 |  5.734 % |
143.39/143.43	c |   1005070 |    1381    11471    37292 |        1   122496     58 |  5.734 % |
143.39/143.43	c |   1005211 |    1381    11471    37292 |        1   122637     58 |  5.734 % |
143.39/143.43	c |   1005425 |    1381    11471    37292 |        1   122851     58 |  5.734 % |
143.39/143.43	c |   1005529 |    1381    11471    37292 |        1   122955     58 |  5.734 % |
143.39/143.43	c |   1005631 |    1381    11471    37292 |        1   123057     58 |  5.734 % |
143.39/143.43	c |   1005953 |    1381    11471    37292 |        1   123379     58 |  5.734 % |
143.39/143.43	c |   1006505 |    1381    11471    37292 |        1   123931     58 |  5.734 % |
143.39/143.43	c |   1009323 |    1381    11471    37292 |        1   126749     59 |  5.734 % |
143.39/143.43	c |   1009513 |    1381    11471    37292 |        1   126939     59 |  5.734 % |
143.39/143.43	c |   1009698 |    1381    11471    37292 |        1   127124     59 |  5.734 % |
143.39/143.43	c |   1009798 |    1381    11471    37292 |        1   127224     59 |  5.734 % |
143.39/143.43	c |   1044179 |    1381    11471    37292 |        1    92594     43 |  5.734 % |
143.39/143.43	c |   1079003 |    1381    11471    37292 |        1   127418     54 |  5.734 % |
143.39/143.43	c |   1079106 |    1381    11471    37292 |        1   127521     54 |  5.734 % |
143.39/143.43	c |   1079764 |    1381    11471    37292 |        1   128179     54 |  5.734 % |
143.39/143.43	c |   1080099 |    1381    11471    37292 |        1   128514     54 |  5.734 % |
143.39/143.43	c |   1080205 |    1381    11471    37292 |        1   128620     55 |  5.734 % |
143.39/143.43	c |   1080911 |    1381    11471    37292 |        1   129326     55 |  5.734 % |
143.39/143.43	c |   1081011 |    1381    11471    37292 |        1   129426     55 |  5.734 % |
143.39/143.43	c |   1081515 |    1381    11471    37292 |        1   129930     55 |  5.734 % |
143.39/143.43	c |   1081615 |    1381    11471    37292 |        1   130030     55 |  5.734 % |
143.39/143.43	c |   1081723 |    1381    11471    37292 |        1   130138     55 |  5.734 % |
143.39/143.43	c |   1099115 |    1381    11471    37292 |        1    75930     28 |  5.734 % |
143.39/143.43	c |   1099215 |    1381    11471    37292 |        1    76030     28 |  5.734 % |
143.39/143.43	c |   1117946 |    1381    11471    37292 |        1    94761     46 |  5.734 % |
143.39/143.43	c |   1118046 |    1381    11471    37292 |        1    94861     46 |  5.734 % |
143.39/143.43	c |   1118150 |    1381    11471    37292 |        1    94965     46 |  5.734 % |
143.39/143.43	c |   1118258 |    1381    11471    37292 |        1    95073     46 |  5.734 % |
143.39/143.43	c |   1119382 |    1381    11471    37292 |        1    96197     47 |  5.734 % |
143.39/143.43	c |   1119687 |    1381    11471    37292 |        1    96502     47 |  5.734 % |
143.39/143.43	c |   1119788 |    1381    11471    37292 |        1    96603     47 |  5.734 % |
143.39/143.43	c |   1119888 |    1381    11471    37292 |        1    96703     47 |  5.734 % |
143.39/143.43	c |   1122777 |    1381    11471    37292 |        1    99592     48 |  5.734 % |
143.39/143.43	c |   1123468 |    1381    11471    37292 |        1   100283     49 |  5.734 % |
143.39/143.43	c |   1123569 |    1381    11471    37292 |        1   100384     49 |  5.734 % |
143.39/143.43	c |   1124515 |    1381    11471    37292 |        1   101330     49 |  5.734 % |
143.39/143.43	c |   1128594 |    1381    11471    37292 |        1   105409     50 |  5.734 % |
143.39/143.43	c |   1130331 |    1381    11471    37292 |        1   107146     51 |  5.734 % |
143.39/143.43	c |   1130432 |    1381    11471    37292 |        1   107247     51 |  5.734 % |
143.39/143.43	c |   1130556 |    1381    11471    37292 |        1   107371     51 |  5.734 % |
143.39/143.43	c |   1130657 |    1381    11471    37292 |        1   107472     51 |  5.734 % |
143.39/143.43	c |   1130759 |    1381    11471    37292 |        1   107574     51 |  5.734 % |
143.39/143.43	c |   1131706 |    1381    11471    37292 |        1   108521     52 |  5.734 % |
167.49/167.59	c |   1131837 |    1381    11471    37292 |        1   108652     52 |  5.734 % |
167.49/167.59	c |   1151569 |    1381    11471    37292 |        1   128384     58 |  5.734 % |
167.49/167.59	c |   1154246 |    1381    11471    37292 |        1   131061     59 |  5.734 % |
167.49/167.59	c |   1160155 |    1381    11471    37292 |        1   136970     60 |  5.734 % |
167.49/167.59	c |   1160258 |    1381    11471    37292 |        1   137073     60 |  5.734 % |
167.49/167.59	c |   1160359 |    1381    11471    37292 |        1   137174     60 |  5.734 % |
167.49/167.59	c |   1160535 |    1381    11471    37292 |        1   137350     60 |  5.734 % |
167.49/167.59	c |   1160791 |    1381    11471    37292 |        1   137606     60 |  5.734 % |
167.49/167.59	c |   1161463 |    1381    11471    37292 |        1   138278     60 |  5.734 % |
167.49/167.59	c |   1164242 |    1381    11471    37292 |        1   141057     61 |  5.734 % |
167.49/167.59	c |   1164739 |    1381    11471    37292 |        1   141554     61 |  5.734 % |
167.49/167.59	c |   1166741 |    1381    11471    37292 |        1   143556     61 |  5.734 % |
167.49/167.59	c |   1166841 |    1381    11471    37292 |        1   143656     61 |  5.734 % |
167.49/167.59	c |   1167040 |    1381    11471    37292 |        1   143855     61 |  5.734 % |
167.49/167.59	c |   1167294 |    1381    11471    37292 |        1   144109     61 |  5.734 % |
167.49/167.59	c |   1167408 |    1381    11471    37292 |        1   144223     61 |  5.734 % |
167.49/167.59	c |   1167581 |    1381    11471    37292 |        1   144396     61 |  5.734 % |
167.49/167.59	c |   1180350 |    1381    11471    37292 |        1    82962     29 |  5.734 % |
167.49/167.59	c |   1181113 |    1381    11471    37292 |        1    83725     29 |  5.734 % |
167.49/167.59	c |   1181214 |    1381    11471    37292 |        1    83826     29 |  5.734 % |
167.49/167.59	c |   1181314 |    1381    11471    37292 |        1    83926     29 |  5.734 % |
167.49/167.59	c |   1240526 |    1381    11471    37292 |        1   143138     57 |  5.734 % |
167.49/167.59	c |   1240629 |    1381    11471    37292 |        1   143241     57 |  5.734 % |
167.49/167.59	c |   1240730 |    1381    11471    37292 |        1   143342     57 |  5.734 % |
167.49/167.59	c |   1240832 |    1381    11471    37292 |        1   143444     57 |  5.734 % |
167.49/167.59	c |   1241786 |    1381    11471    37292 |        1   144398     57 |  5.734 % |
167.49/167.59	c |   1242247 |    1381    11471    37292 |        1   144859     57 |  5.734 % |
167.49/167.59	c |   1242453 |    1381    11471    37292 |        1   145065     57 |  5.734 % |
167.49/167.59	c |   1244361 |    1381    11471    37292 |        1   146973     58 |  5.734 % |
167.49/167.59	c |   1244463 |    1381    11471    37292 |        1   147075     58 |  5.734 % |
167.49/167.59	c |   1244564 |    1381    11471    37292 |        1   147176     58 |  5.734 % |
167.49/167.59	c |   1245686 |    1381    11471    37292 |        1   148298     58 |  5.734 % |
167.49/167.59	c |   1245884 |    1381    11471    37292 |        1   148496     58 |  5.734 % |
167.49/167.59	c |   1245987 |    1381    11471    37292 |        1   148599     58 |  5.734 % |
167.49/167.59	c |   1246087 |    1381    11471    37292 |        1   148699     58 |  5.734 % |
167.49/167.59	c |   1260205 |    1381    11471    37292 |        1    86015     29 |  5.734 % |
167.49/167.59	c |   1260305 |    1381    11471    37292 |        1    86115     29 |  5.734 % |
167.49/167.59	c |   1260406 |    1381    11471    37292 |        1    86216     29 |  5.734 % |
167.49/167.59	c |   1260895 |    1381    11471    37292 |        1    86705     30 |  5.734 % |
167.49/167.59	c |   1260995 |    1381    11471    37292 |        1    86805     30 |  5.734 % |
167.49/167.59	c |   1261732 |    1381    11471    37292 |        1    87542     31 |  5.734 % |
167.49/167.59	c |   1261833 |    1381    11471    37292 |        1    87643     31 |  5.734 % |
167.49/167.59	c |   1262488 |    1381    11471    37292 |        1    88298     31 |  5.734 % |
167.49/167.59	c |   1265227 |    1381    11471    37292 |        1    91037     33 |  5.734 % |
167.49/167.59	c |   1265327 |    1381    11471    37292 |        1    91137     33 |  5.734 % |
167.49/167.59	c |   1265463 |    1381    11471    37292 |        1    91273     33 |  5.734 % |
167.49/167.59	c |   1265564 |    1381    11471    37292 |        1    91374     33 |  5.734 % |
167.49/167.59	c |   1266334 |    1381    11471    37292 |        1    92144     33 |  5.734 % |
167.49/167.59	c |   1267053 |    1381    11471    37292 |        1    92863     34 |  5.734 % |
167.49/167.59	c |   1267293 |    1381    11471    37292 |        1    93103     34 |  5.734 % |
190.89/190.91	c |   1267454 |    1381    11471    37292 |        1    93264     34 |  5.734 % |
190.89/190.91	c |   1267567 |    1381    11471    37292 |        1    93377     34 |  5.734 % |
190.89/190.91	c |   1268226 |    1381    11471    37292 |        1    94036     34 |  5.734 % |
190.89/190.91	c |   1269457 |    1381    11471    37292 |        1    95267     35 |  5.734 % |
190.89/190.91	c |   1269796 |    1381    11471    37292 |        1    95606     35 |  5.734 % |
190.89/190.91	c |   1282959 |    1381    11471    37292 |        1   108769     43 |  5.734 % |
190.89/190.91	c |   1291003 |    1381    11471    37292 |        1   116813     46 |  5.734 % |
190.89/190.91	c |   1291964 |    1381    11471    37292 |        1   117774     46 |  5.734 % |
190.89/190.91	c |   1292169 |    1381    11471    37292 |        1   117979     46 |  5.734 % |
190.89/190.91	c |   1304405 |    1381    11471    37292 |        1   130215     51 |  5.734 % |
190.89/190.91	c |   1304505 |    1381    11471    37292 |        1   130315     51 |  5.734 % |
190.89/190.91	c |   1304607 |    1381    11471    37292 |        1   130417     51 |  5.734 % |
190.89/190.91	c |   1305855 |    1381    11471    37292 |        1   131665     51 |  5.734 % |
190.89/190.91	c |   1306901 |    1381    11471    37292 |        1   132711     52 |  5.734 % |
190.89/190.91	c |   1307902 |    1381    11471    37292 |        1   133712     52 |  5.734 % |
190.89/190.91	c |   1319093 |    1381    11471    37292 |        1   144903     55 |  5.734 % |
190.89/190.91	c |   1319203 |    1381    11471    37292 |        1   145013     55 |  5.734 % |
190.89/190.91	c |   1342013 |    1381    11471    37292 |        1    88423     28 |  5.734 % |
190.89/190.91	c |   1342148 |    1381    11471    37292 |        1    88558     28 |  5.734 % |
190.89/190.91	c |   1343440 |    1381    11471    37292 |        1    89850     29 |  5.734 % |
190.89/190.91	c |   1343565 |    1381    11471    37292 |        1    89975     30 |  5.734 % |
190.89/190.91	c |   1352480 |    1381    11471    37292 |        1    98890     36 |  5.734 % |
190.89/190.91	c |   1406626 |    1381    11471    37292 |        1   153036     49 |  5.734 % |
190.89/190.91	c ===============================================================================
190.89/190.91	c restarts              : 1560
190.89/190.91	c nb ReduceDB           : 31
190.89/190.91	c nb removed Clauses    : 1253548
190.89/190.91	c nb learnts DL2        : 6919
190.89/190.91	c nb learnts size 2     : 4009
190.89/190.91	c nb learnts size 1     : 28
190.89/190.91	c conflicts             : 1406626        (7373 /sec)
190.89/190.91	c decisions             : 2539134        (0.00 % random) (13310 /sec)
190.89/190.91	c propagations          : 152922411      (801602 /sec)
190.89/190.91	c conflict literals     : 117149522      (36.67 % deleted)
190.89/190.91	c nb reduced Clauses    : 13507
190.89/190.91	c CPU time              : 190.771 s
190.89/190.91	
190.89/190.92	s SATISFIABLE
190.89/190.92	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 251 -252 -253 254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 858 -859 -860 -861 -862 -863 -864 865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 994 -995 -996 -997 -998 -999 1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 1037 -1038 -1039 -1040 1041 1042 -1043 -1044 -1045 1046 -1047 1048 -1049 -1050 -1051 1052 -1053 -1054 1055 -1056 -1057 1058 -1059 -1060 1061 -1062 -1063 -1064 -1065 -1066 -1067 1068 -1069 1070 -1071 -1072 -1073 -1074 -1075 1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 1084 -1085 -1086 -1087 -1088 1089 -1090 -1091 -1092 1093 -1094 -1095 -1096 -1097 -1098 1099 -1100 -1101 -1102 1103 -1104 -1105 -1106 -1107 1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 1118 -1119 -1120 -1121 1122 -1123 -1124 -1125 -1126 1127 -1128 -1129 -1130 -1131 -1132 1133 -1134 -1135 -1136 -1137 1138 -1139 -1140 -1141 -1142 1143 -1144 -1145 -1146 -1147 -1148 -1149 1150 -1151 -1152 1153 -1154 -1155 -1156 -1157 -1158 -1159 1160 -1161 -1162 -1163 -1164 -1165 1166 -1167 -1168 1169 -1170 -1171 -1172 -1173 -1174 1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 1185 -1186 -1187 1188 -1189 -1190 -1191 -1192 1193 -1194 -1195 -1196 -1197 1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 1206 -1207 -1208 1209 -1210 -1211 -1212 -1213 -1214 -1215 1216 -1217 -1218 -1219 1220 -1221 -1222 -1223 -1224 1225 -1226 -1227 -1228 -1229 -1230 -1231 1232 -1233 -1234 -1235 -1236 1237 -1238 -1239 1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 1249 -1250 -1251 -1252 -1253 -1254 1255 -1256 -1257 1258 -1259 -1260 -1261 -1262 -1263 -1264 1265 -1266 -1267 -1268 -1269 1270 -1271 -1272 -1273 -1274 -1275 -1276 1277 -1278 -1279 -1280 -1281 1282 -1283 -1284 1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 1293 -1294 -1295 -1296 -1297 -1298 -1299 1300 -1301 -1302 1303 -1304 -1305 -1306 -1307 -1308 -1309 1310 -1311 -1312 -1313 1314 -1315 -1316 -1317 -1318 -1319 -1320 1321 -1322 -1323 -1324 -1325 -1326 1327 -1328 -1329 1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 1340 -1341 1342 -1343 -1344 -1345 -1346 -1347 -1348 1349 -1350 1351 -1352 -1353 -1354 -1355 -1356 1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 1365 -1366 -1367 -1368 1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 1379 -1380 -1381 -1382 1383 -1384 -1385 1386 -1387 -1388 -1389 -1390 -1391 -1392 1393 -1394 -1395 -1396 -1397 -1398 1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 1407 -1408 -1409 -1410 -1411 1412 -1413 -1414 -1415 1416 -1417 -1418 -1419 -1420 -1421 1422 -1423 -1424 -1425 1426 -1427 -1428 -1429 -1430 -1431 -1432 1433 -1434 -1435 1436 -1437 -1438 -1439 -1440 -1441 1442 -1443 -1444 -1445 -1446 -1447 -1448 1449 -1450 -1451 -1452 -1453 1454 -1455 -1456 -1457 1458 -1459 1460 -1461 -1462 1463 -1464 -1465 1466 -1467 1468 -1469 -1470 1471 -1472 -1473 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3303325-1303899330/watcher-3303325-1303899330 -o /tmp/evaluation-result-3303325-1303899330/solver-3303325-1303899330 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303325-1303899330.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 0.00 0.00 0.00 3/178 12012
/proc/meminfo: memFree=19118596/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 501529647 8912896 252 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/12012/statm: 2176 252 211 178 0 69 0

[startup+0.047831 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 12012
/proc/meminfo: memFree=19118596/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.100823 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 12012
/proc/meminfo: memFree=19118596/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.300784 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 12012
/proc/meminfo: memFree=19118596/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.700708 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 12012
/proc/meminfo: memFree=19118596/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+1.50054 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 12015
/proc/meminfo: memFree=19107668/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=21448 CPUtime=1.47 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 2655 0 0 0 147 0 0 0 25 0 1 0 501529649 21962752 2016 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12015/statm: 5362 2016 251 17 0 2003 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30152

[startup+3.10023 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 12015
/proc/meminfo: memFree=19103204/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=25988 CPUtime=3.07 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 4935 0 0 0 307 0 0 0 25 0 1 0 501529649 26611712 3145 33554432000 4194304 4260849 140733843330848 18446744073709551615 4209306 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12015/statm: 6497 3145 251 17 0 3138 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34692

[startup+6.30058 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 12015
/proc/meminfo: memFree=19095748/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=33060 CPUtime=6.27 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 5542 0 0 0 627 0 0 0 25 0 1 0 501529649 33853440 3744 33554432000 4194304 4260849 140733843330848 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12015/statm: 8265 3744 251 17 0 4906 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41764

[startup+12.7003 s]
/proc/loadavg: 0.44 0.10 0.03 3/180 12015
/proc/meminfo: memFree=19087676/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=35808 CPUtime=12.66 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 7341 0 0 0 1266 0 0 0 25 0 1 0 501529649 36667392 5486 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 8952 5486 251 17 0 5593 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 44512

[startup+25.5007 s]
/proc/loadavg: 0.68 0.16 0.05 3/180 12015
/proc/meminfo: memFree=19066780/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=52024 CPUtime=25.47 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 17423 0 0 0 2545 2 0 0 25 0 1 0 501529649 53272576 8837 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 13006 8837 252 17 0 9647 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60728

[startup+51.1006 s]
/proc/loadavg: 1.13 0.31 0.10 3/180 12016
/proc/meminfo: memFree=19053576/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=82372 CPUtime=51.07 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 24871 0 0 0 5103 4 0 0 25 0 1 0 501529649 84348928 10505 33554432000 4194304 4260849 140733843330848 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 20593 10505 252 17 0 17234 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91076

[startup+102.306 s]
/proc/loadavg: 1.72 0.60 0.21 3/180 12017
/proc/meminfo: memFree=19012884/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=82372 CPUtime=102.28 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 30708 0 0 0 10223 5 0 0 25 0 1 0 501529649 84348928 16244 33554432000 4194304 4260849 140733843330848 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 20593 16244 252 17 0 17234 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 91076

[startup+162.3 s]
/proc/loadavg: 1.89 0.84 0.31 3/180 12019
/proc/meminfo: memFree=18964752/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=143684 CPUtime=162.27 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 77338 0 0 0 16217 10 0 0 25 0 1 0 501529649 147132416 28224 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 35921 28224 252 17 0 32562 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 152388

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

[startup+166.301 s]
/proc/loadavg: 1.90 0.86 0.32 3/180 12019
/proc/meminfo: memFree=18995132/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=94364 CPUtime=166.28 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 78703 0 0 0 16617 11 0 0 25 0 1 0 501529649 96628736 20243 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 23591 20243 252 17 0 20232 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 103068

[startup+179.101 s]
/proc/loadavg: 1.92 0.91 0.35 3/180 12019
/proc/meminfo: memFree=18994636/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=94364 CPUtime=179.08 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 88435 0 0 0 17896 12 0 0 25 0 1 0 501529649 96628736 20243 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 23591 20243 252 17 0 20232 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 103068

[startup+185.501 s]
/proc/loadavg: 1.93 0.93 0.36 3/180 12020
/proc/meminfo: memFree=18994380/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=94364 CPUtime=185.48 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 88435 0 0 0 18536 12 0 0 25 0 1 0 501529649 96628736 20243 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 23591 20243 252 17 0 20232 0
Current children cumulated CPU time (s) 185.49
Current children cumulated vsize (KiB) 103068

[startup+188.701 s]
/proc/loadavg: 1.93 0.95 0.37 3/180 12020
/proc/meminfo: memFree=18994504/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=94364 CPUtime=188.68 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 88435 0 0 0 18856 12 0 0 25 0 1 0 501529649 96628736 20243 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 23591 20243 252 17 0 20232 0
Current children cumulated CPU time (s) 188.69
Current children cumulated vsize (KiB) 103068

[startup+190.307 s]
/proc/loadavg: 1.93 0.95 0.37 3/180 12020
/proc/meminfo: memFree=18964496/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=143684 CPUtime=190.29 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 96109 0 0 0 19016 13 0 0 25 0 1 0 501529649 147132416 27916 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 35921 27916 252 17 0 32562 0
Current children cumulated CPU time (s) 190.3
Current children cumulated vsize (KiB) 152388

[startup+190.701 s]
/proc/loadavg: 1.93 0.95 0.37 3/180 12020
/proc/meminfo: memFree=18964496/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=143684 CPUtime=190.68 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 96215 0 0 0 19055 13 0 0 25 0 1 0 501529649 147132416 28021 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224587 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 35921 28021 252 17 0 32562 0
Current children cumulated CPU time (s) 190.69
Current children cumulated vsize (KiB) 152388

[startup+190.901 s]
/proc/loadavg: 1.93 0.95 0.37 3/180 12020
/proc/meminfo: memFree=18964496/32950928 swapFree=67111528/67111528
[pid=12012] ppid=12010 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/12012/stat : 12012 (glucose.sh) S 12010 12012 11972 0 -1 4202496 359 395 0 0 0 0 1 0 24 0 1 0 501529647 8912896 254 33554432000 4194304 4922060 140736927095312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/12012/statm: 2176 254 211 178 0 69 0
[pid=12015] ppid=12012 vsize=143684 CPUtime=190.88 cores=1,3,5,7
/proc/12015/stat : 12015 (glucose_static) R 12012 12012 11972 0 -1 4202496 96274 0 0 0 19075 13 0 0 25 0 1 0 501529649 147132416 28079 33554432000 4194304 4260849 140733843330848 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12015/statm: 35921 28079 252 17 0 32562 0
Current children cumulated CPU time (s) 190.89
Current children cumulated vsize (KiB) 152388

Child status: 10
Real time (s): 190.928
CPU time (s): 190.931
CPU user time (s): 190.791
CPU system time (s): 0.139978
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 152388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 190.791
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97461
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= 42
involuntary context switches= 608

runsolver used 0.282956 second user time and 0.713891 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-27 12:15:30
IDJOB=3303325
IDBENCH=70907
IDSOLVER=1687
FILE ID=node149/3303325-1303899330
RUNJOBID= node149-1303899329-11991
PBS_JOBID= 13164499
Free space on /tmp= 71944 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303325-1303899330/watcher-3303325-1303899330 -o /tmp/evaluation-result-3303325-1303899330/solver-3303325-1303899330 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303325-1303899330.cnf 

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

MD5SUM BENCH= c848a5766cfcc1d1c3f26c7818e48eb2
RANDOM SEED=1957228046

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19118868 kB
Buffers:       2188480 kB
Cached:       11037936 kB
SwapCached:          0 kB
Active:        3354820 kB
Inactive:      9938956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19118868 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2344 kB
Writeback:           0 kB
AnonPages:       66672 kB
Mapped:          15100 kB
Slab:           473412 kB
PageTables:       5432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   207480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71944 MiB
End job on node149 at 2011-04-27 12:18:41