Trace number 1820776

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
minisat_cumr p-2009-03-18UNSAT 1049.99 1049.92

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1049.99
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
1.31/1.36	c ==============================================================================
1.31/1.36	c |           |     ORIGINAL     |              LEARNT              |          |
1.31/1.36	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.31/1.36	c ==============================================================================
1.31/1.36	c |         0 | 1291713  3013997 |  387513       0        0     nan |  0.000 % |
8.91/8.92	c |         0 |  547995  2160666 |      --       0       --      -- |     --   | -743716/-853326
8.91/8.92	c ==============================================================================
8.91/8.92	c Result  :   #vars: 68748   #clauses: 547995   #literals: 2160666
8.91/8.92	c CPU time:   8.64 s
8.91/8.92	c ==============================================================================
9.61/9.68	c This is MiniSat 2.0 beta
9.61/9.68	c WARNING: for repeatability, setting FPU to use double precision
9.61/9.68	c ============================[ Problem Statistics ]=============================
9.61/9.68	c |                                                                             |
9.61/9.69	c |  Number of variables:  68748                                                |
9.61/9.69	c |  Number of clauses:    547995                                               |
10.01/10.11	c |  Parsing time:         0.32         s                                       |
10.11/10.14	c ============================[ Search Statistics ]==============================
10.11/10.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.11/10.14	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.11/10.14	c ===============================================================================
10.11/10.14	c |         0 |   68748   547995  2160666 |   182665        0    nan |  0.000 % |
10.11/10.19	c |       100 |   68748   547995  2160666 |   182665      100     17 |  0.000 % |
10.21/10.26	c |       200 |   68748   547995  2160666 |   182665      200     15 |  0.000 % |
10.41/10.43	c |       301 |   68748   547995  2160666 |   182665      301     15 |  0.000 % |
10.61/10.64	c |       412 |   68748   547995  2160666 |   182665      412     15 |  0.000 % |
10.61/10.68	c |       514 |   68748   547995  2160666 |   182665      514     16 |  0.000 % |
10.71/10.73	c |       625 |   68744   547995  2160666 |   182665      624     14 |  0.019 % |
10.71/10.77	c |       746 |   68744   547995  2160666 |   182665      745     16 |  0.019 % |
10.71/10.78	c |       846 |   68743   547995  2160666 |   182665      844     16 |  0.028 % |
10.81/10.87	c |       957 |   68743   547995  2160666 |   182665      955     16 |  0.028 % |
10.81/10.88	c |      1078 |   68743   547995  2160666 |   182665     1076     16 |  0.028 % |
10.91/10.95	c |      1213 |   68743   547995  2160666 |   182665     1211     18 |  0.028 % |
10.91/10.97	c |      1313 |   68743   547995  2160666 |   182665     1311     18 |  0.028 % |
11.01/11.03	c |      1424 |   68743   547995  2160666 |   182665     1422     18 |  0.028 % |
11.01/11.05	c |      1545 |   68743   547995  2160666 |   182665     1543     17 |  0.028 % |
11.01/11.11	c |      1678 |   68742   547995  2160666 |   182665     1675     17 |  0.038 % |
11.11/11.16	c |      1824 |   68742   547995  2160666 |   182665     1821     17 |  0.038 % |
11.11/11.19	c |      1925 |   68742   547995  2160666 |   182665     1922     18 |  0.038 % |
11.21/11.23	c |      2035 |   68742   547995  2160666 |   182665     2032     18 |  0.038 % |
11.21/11.25	c |      2158 |   68703   547995  2160666 |   182665     2154     19 |  0.516 % |
11.21/11.29	c |      2292 |   68688   547995  2160666 |   182665     2288     19 |  0.516 % |
11.31/11.40	c |      2438 |   68685   547995  2160666 |   182665     2434     19 |  0.516 % |
11.41/11.44	c |      2598 |   68685   547995  2160666 |   182665     2594     19 |  0.516 % |
11.41/11.50	c |      2699 |   68685   547995  2160666 |   182665     2695     19 |  0.516 % |
11.51/11.56	c |      2809 |   68684   547995  2160666 |   182665     2804     19 |  0.525 % |
11.51/11.57	c |      2930 |   68679   547995  2160666 |   182665     2924     19 |  0.534 % |
11.51/11.59	c |      3064 |   68679   547995  2160666 |   182665     3058     19 |  0.534 % |
11.61/11.66	c |      3210 |   68679   547995  2160666 |   182665     3204     19 |  0.534 % |
11.71/11.75	c |      3371 |   68679   547995  2160666 |   182665     3365     19 |  0.534 % |
11.71/11.79	c |      3547 |   68679   547995  2160666 |   182665     3541     18 |  0.534 % |
11.81/11.88	c |      3647 |   68377   539255  2127496 |   182665     3630     18 |  0.541 % |
11.91/11.95	c |      3758 |   68377   539255  2127496 |   182665     3741     19 |  0.541 % |
11.91/11.99	c |      3879 |   68375   539255  2127496 |   182665     3861     18 |  0.636 % |
12.01/12.06	c |      4012 |   68375   539255  2127496 |   182665     3994     19 |  0.636 % |
12.01/12.09	c |      4158 |   68375   539255  2127496 |   182665     4140     19 |  0.636 % |
12.11/12.14	c |      4319 |   68375   539255  2127496 |   182665     4301     19 |  0.636 % |
12.11/12.15	c |      4496 |   68375   539255  2127496 |   182665     4478     19 |  0.636 % |
12.21/12.24	c |      4689 |   68375   539255  2127496 |   182665     4671     19 |  0.636 % |
12.21/12.28	c |      4791 |   68373   539255  2127496 |   182665     4772     19 |  0.643 % |
12.31/12.33	c |      4901 |   68373   539255  2127496 |   182665     4882     19 |  0.643 % |
12.31/12.39	c |      5022 |   68373   539255  2127496 |   182665     5003     19 |  0.643 % |
12.41/12.47	c |      5155 |   68373   539255  2127496 |   182665     5136     19 |  0.643 % |
12.51/12.52	c |      5303 |   68373   539255  2127496 |   182665     5284     19 |  0.643 % |
12.51/12.56	c |      5463 |   68373   539255  2127496 |   182665     5444     19 |  0.643 % |
12.51/12.58	c |      5641 |   68373   539255  2127496 |   182665     5622     19 |  0.643 % |
12.61/12.62	c |      5834 |   68373   539255  2127496 |   182665     5815     19 |  0.643 % |
12.61/12.68	c |      6046 |   68372   539255  2127496 |   182665     6026     19 |  0.644 % |
12.61/12.69	c |      6146 |   68370   539255  2127496 |   182665     6124     19 |  0.650 % |
12.71/12.73	c |      6256 |   68370   539255  2127496 |   182665     6234     19 |  0.650 % |
12.71/12.75	c |      6377 |   68370   539255  2127496 |   182665     6355     19 |  0.650 % |
12.71/12.77	c |      6510 |   68370   539255  2127496 |   182665     6488     19 |  0.650 % |
12.81/12.83	c |      6656 |   68366   539255  2127496 |   182665     6633     20 |  0.655 % |
12.81/12.86	c |      6816 |   68366   539255  2127496 |   182665     6793     20 |  0.655 % |
12.81/12.88	c |      6993 |   68366   539255  2127496 |   182665     6970     20 |  0.655 % |
12.91/12.94	c |      7186 |   68366   539255  2127496 |   182665     7163     20 |  0.655 % |
12.91/12.99	c |      7398 |   68366   539255  2127496 |   182665     7375     20 |  0.655 % |
13.01/13.01	c |      7634 |   68366   539255  2127496 |   182665     7611     19 |  0.655 % |
13.01/13.03	c |      7734 |   68366   539255  2127496 |   182665     7711     19 |  0.655 % |
13.01/13.03	c |      7844 |   68366   539255  2127496 |   182665     7821     19 |  0.655 % |
13.01/13.04	c |      7965 |   68366   539255  2127496 |   182665     7942     19 |  0.655 % |
13.11/13.13	c |      8099 |   68366   539255  2127496 |   182665     8076     20 |  0.655 % |
13.11/13.16	c |      8247 |   68365   539255  2127496 |   182665     8223     20 |  0.666 % |
13.11/13.18	c |      8407 |   68365   539255  2127496 |   182665     8383     20 |  0.666 % |
13.21/13.25	c |      8584 |   68358   539255  2127496 |   182665     8559     20 |  0.676 % |
13.21/13.26	c |      8778 |   68358   539255  2127496 |   182665     8753     20 |  0.676 % |
13.21/13.29	c |      8990 |   68358   539255  2127496 |   182665     8965     19 |  0.676 % |
13.31/13.34	c |      9224 |   68358   539255  2127496 |   182665     9199     19 |  0.676 % |
13.41/13.45	c |      9481 |   68282   538344  2123858 |   182665     9364     20 |  0.681 % |
13.41/13.45	c |      9581 |   68282   538344  2123858 |   182665     9464     20 |  0.681 % |
13.41/13.48	c |      9691 |   68282   538344  2123858 |   182665     9574     20 |  0.681 % |
13.41/13.51	c |      9812 |   68282   538344  2123858 |   182665     9695     20 |  0.681 % |
13.51/13.53	c |      9945 |   68282   538344  2123858 |   182665     9828     20 |  0.681 % |
13.51/13.56	c |     10093 |   68282   538344  2123858 | 2147483647     9976     20 |  0.681 % |
13.51/13.58	c |     10253 |   68282   538344  2123858 | 2147483647    10136     20 |  0.681 % |
13.71/13.74	c |     10429 |   68281   538344  2123858 | 2147483647    10312     20 |  0.681 % |
13.81/13.82	c |     10622 |   68281   538344  2123858 | 2147483647    10505     20 |  0.681 % |
13.91/13.97	c |     10834 |   68275   538344  2123858 | 2147483647    10716     20 |  0.689 % |
14.01/14.03	c |     11070 |   68275   538344  2123858 | 2147483647    10952     19 |  0.689 % |
14.01/14.11	c |     11326 |   68275   538344  2123858 | 2147483647    11208     19 |  0.689 % |
14.11/14.17	c |     11607 |   68275   538344  2123858 | 2147483647    11489     19 |  0.689 % |
14.21/14.23	c |     11708 |   68275   538344  2123858 | 2147483647    11590     19 |  0.689 % |
14.21/14.24	c |     11819 |   68275   538344  2123858 | 2147483647    11701     19 |  0.689 % |
14.21/14.28	c |     11940 |   68275   538344  2123858 | 2147483647    11822     19 |  0.689 % |
14.31/14.34	c |     12074 |   68275   538344  2123858 | 2147483647    11956     19 |  0.689 % |
14.31/14.35	c |     12220 |   68275   538344  2123858 | 2147483647    12102     19 |  0.689 % |
14.41/14.49	c |     12380 |   68275   538344  2123858 | 2147483647    12262     19 |  0.689 % |
14.51/14.53	c |     12557 |   68275   538344  2123858 | 2147483647    12439     19 |  0.689 % |
14.61/14.63	c |     12751 |   68275   538344  2123858 | 2147483647    12633     19 |  0.689 % |
14.61/14.66	c |     12963 |   68275   538344  2123858 | 2147483647    12845     19 |  0.689 % |
14.71/14.72	c |     13197 |   68251   538344  2123858 | 2147483647    13076     19 |  0.967 % |
14.71/14.74	c |     13453 |   68251   538344  2123858 | 2147483647    13332     19 |  0.967 % |
14.71/14.80	c |     13734 |   68251   538344  2123858 | 2147483647    13613     19 |  0.967 % |
14.91/14.91	c |     14043 |   68251   538344  2123858 | 2147483647    13922     20 |  0.967 % |
14.91/14.94	c |     14144 |   68251   538344  2123858 | 2147483647    14023     20 |  0.967 % |
14.91/15.00	c |     14254 |   68251   538344  2123858 | 2147483647    14133     20 |  0.967 % |
15.01/15.03	c |     14375 |   68251   538344  2123858 | 2147483647    14254     20 |  0.967 % |
15.01/15.09	c |     14509 |   68251   538344  2123858 | 2147483647    14388     20 |  0.967 % |
15.11/15.18	c |     14655 |   68083   533804  2107424 | 2147483647    14529     20 |  0.967 % |
15.21/15.22	c |     14816 |   68083   533804  2107424 | 2147483647    14690     20 |  0.967 % |
15.21/15.25	c |     14992 |   68083   533804  2107424 | 2147483647    14866     20 |  0.967 % |
15.21/15.28	c |     15186 |   68083   533804  2107424 | 2147483647    15060     20 |  0.967 % |
15.21/15.30	c |     15398 |   68083   533804  2107424 | 2147483647    15272     20 |  0.967 % |
15.31/15.39	c |     15633 |   68083   533804  2107424 | 2147483647    15507     20 |  0.967 % |
15.41/15.43	c |     15889 |   68083   533804  2107424 | 2147483647    15763     20 |  0.967 % |
15.51/15.52	c |     16171 |   68083   533804  2107424 | 2147483647    16045     20 |  0.967 % |
15.51/15.59	c |     16481 |   68083   533804  2107424 | 2147483647    16355     20 |  0.967 % |
15.61/15.65	c |     16820 |   68083   533804  2107424 | 2147483647    16694     21 |  0.967 % |
15.61/15.66	c |     16920 |   68081   533804  2107424 | 2147483647    16793     21 |  0.976 % |
15.61/15.68	c |     17031 |   68078   533804  2107424 | 2147483647    16904     21 |  0.976 % |
15.71/15.75	c |     17154 |   68078   533804  2107424 | 2147483647    17027     21 |  0.976 % |
15.71/15.81	c |     17287 |   68078   533804  2107424 | 2147483647    17160     21 |  0.976 % |
15.81/15.88	c |     17435 |   68078   533804  2107424 | 2147483647    17308     21 |  0.976 % |
15.91/15.94	c |     17595 |   68078   533804  2107424 | 2147483647    17468     21 |  0.976 % |
16.01/16.02	c |     17772 |   68078   533804  2107424 | 2147483647    17645     21 |  0.976 % |
16.01/16.07	c |     17966 |   68078   533804  2107424 | 2147483647    17839     21 |  0.976 % |
16.01/16.10	c |     18178 |   68078   533804  2107424 | 2147483647    18051     21 |  0.976 % |
16.11/16.13	c |     18413 |   68078   533804  2107424 | 2147483647    18286     21 |  0.976 % |
16.11/16.21	c |     18669 |   68078   533804  2107424 | 2147483647    18542     21 |  0.976 % |
16.21/16.26	c |     18951 |   68078   533804  2107424 | 2147483647    18824     21 |  0.976 % |
16.21/16.28	c |     19261 |   68077   533804  2107424 | 2147483647    19133     21 |  0.977 % |
16.41/16.46	c |     19600 |   68076   533804  2107424 | 2147483647    19472     21 |  0.977 % |
16.51/16.61	c |     19973 |   68076   533804  2107424 | 2147483647    19845     21 |  0.977 % |
16.61/16.62	c |     20074 |   68076   533804  2107424 | 2147483647    19946     21 |  0.977 % |
16.61/16.65	c |     20186 |   68076   533804  2107424 | 2147483647    20058     21 |  0.977 % |
16.61/16.69	c |     20307 |   68076   533804  2107424 | 2147483647    20179     21 |  0.977 % |
16.71/16.73	c |     20441 |   68076   533804  2107424 | 2147483647    20313     21 |  0.977 % |
16.71/16.77	c |     20588 |   68076   533804  2107424 | 2147483647    20460     21 |  0.977 % |
16.81/16.82	c |     20748 |   68076   533804  2107424 | 2147483647    20620     21 |  0.977 % |
16.81/16.85	c |     20926 |   68076   533804  2107424 | 2147483647    20798     21 |  0.977 % |
16.81/16.86	c |     21120 |   68076   533804  2107424 | 2147483647    20992     21 |  0.977 % |
16.81/16.87	c |     21333 |   68076   533804  2107424 | 2147483647    21205     21 |  0.977 % |
17.01/17.06	c |     21566 |   68076   533644  2106951 | 2147483647    21437     21 |  0.977 % |
17.11/17.19	c |     21822 |   68076   533644  2106951 | 2147483647    21693     21 |  0.977 % |
17.21/17.25	c |     22105 |   68075   533644  2106951 | 2147483647    21975     20 |  0.982 % |
17.31/17.32	c |     22415 |   68075   533644  2106951 | 2147483647    22285     21 |  0.982 % |
17.31/17.40	c |     22754 |   68072   533644  2106951 | 2147483647    22622     21 |  1.235 % |
17.41/17.45	c |     23126 |   68072   533644  2106951 | 2147483647    22994     21 |  1.235 % |
17.71/17.77	c |     23535 |   68008   533644  2106951 | 2147483647    23403     21 |  1.235 % |
17.81/17.84	c |     23635 |   68008   533644  2106951 | 2147483647    23503     21 |  1.235 % |
17.91/17.95	c |     23745 |   68008   533644  2106951 | 2147483647    23613     21 |  1.235 % |
18.01/18.06	c |     23867 |   68008   533644  2106951 | 2147483647    23735     21 |  1.235 % |
18.11/18.13	c |     24000 |   68008   533644  2106951 | 2147483647    23868     21 |  1.235 % |
18.11/18.20	c |     24146 |   68008   533644  2106951 | 2147483647    24014     21 |  1.235 % |
18.21/18.22	c |     24307 |   68008   533644  2106951 | 2147483647    24175     21 |  1.235 % |
18.31/18.32	c |     24484 |   68008   533644  2106951 | 2147483647    24352     21 |  1.235 % |
18.31/18.33	c |     24678 |   68008   533644  2106951 | 2147483647    24546     21 |  1.235 % |
18.41/18.48	c |     24891 |   68008   533644  2106951 | 2147483647    24759     21 |  1.235 % |
18.51/18.61	c |     25125 |   68008   533644  2106951 | 2147483647    24993     21 |  1.235 % |
18.61/18.69	c |     25382 |   68008   533644  2106951 | 2147483647    25250     21 |  1.235 % |
18.61/18.71	c |     25664 |   68008   533644  2106951 | 2147483647    25532     21 |  1.235 % |
18.71/18.81	c |     25974 |   68008   533644  2106951 | 2147483647    25842     21 |  1.235 % |
18.81/18.86	c |     26313 |   68008   533644  2106951 | 2147483647    26181     22 |  1.235 % |
18.81/18.89	c |     26685 |   68008   533644  2106951 | 2147483647    26553     22 |  1.235 % |
18.91/18.99	c |     27095 |   68007   533644  2106951 | 2147483647    26962     22 |  1.236 % |
19.11/19.19	c |     27544 |   67898   529337  2091025 | 2147483647    27405     22 |  1.236 % |
19.21/19.23	c |     27644 |   67889   529337  2091025 | 2147483647    27503     22 |  1.251 % |
19.31/19.31	c |     27758 |   67889   529337  2091025 | 2147483647    27617     22 |  1.251 % |
19.31/19.40	c |     27879 |   67887   529337  2091025 | 2147483647    27737     22 |  1.260 % |
19.41/19.45	c |     28012 |   67887   529337  2091025 | 2147483647    27870     22 |  1.260 % |
19.51/19.55	c |     28159 |   67887   529337  2091025 | 2147483647    28017     22 |  1.260 % |
19.51/19.58	c |     28321 |   67887   529337  2091025 | 2147483647    28179     22 |  1.260 % |
19.61/19.67	c |     28498 |   67887   529337  2091025 | 2147483647    28356     22 |  1.260 % |
19.71/19.72	c |     28692 |   67887   529337  2091025 | 2147483647    28550     22 |  1.260 % |
19.71/19.79	c |     28904 |   67887   529337  2091025 | 2147483647    28762     22 |  1.260 % |
19.81/19.87	c |     29138 |   67887   529337  2091025 | 2147483647    28996     22 |  1.260 % |
19.81/19.91	c |     29394 |   67887   529337  2091025 | 2147483647    29252     22 |  1.260 % |
19.91/20.01	c |     29676 |   67887   529337  2091025 | 2147483647    29534     22 |  1.260 % |
20.01/20.07	c |     29985 |   67887   529337  2091025 | 2147483647    29843     22 |  1.260 % |
20.11/20.13	c |     30324 |   67887   529337  2091025 | 2147483647    30182     22 |  1.260 % |
20.21/20.31	c |     30698 |   67869   529337  2091025 | 2147483647    30554     23 |  1.360 % |
20.41/20.43	c |     31108 |   67869   529337  2091025 | 2147483647    30964     22 |  1.360 % |
20.51/20.58	c |     31557 |   67869   529337  2091025 | 2147483647    31413     22 |  1.360 % |
20.61/20.61	c |     32052 |   67869   529337  2091025 | 2147483647    31908     22 |  1.360 % |
20.61/20.65	c |     32153 |   67869   529337  2091025 | 2147483647    32009     22 |  1.360 % |
20.61/20.70	c |     32263 |   67869   529337  2091025 | 2147483647    32119     22 |  1.360 % |
20.71/20.78	c |     32385 |   67869   529337  2091025 | 2147483647    32241     22 |  1.360 % |
20.71/20.80	c |     32518 |   67869   529337  2091025 | 2147483647    32374     22 |  1.360 % |
20.81/20.83	c |     32664 |   67869   529337  2091025 | 2147483647    32520     22 |  1.360 % |
20.81/20.88	c |     32824 |   67869   529337  2091025 | 2147483647    32680     22 |  1.360 % |
20.81/20.89	c |     33000 |   67869   529337  2091025 | 2147483647    32856     22 |  1.360 % |
20.91/20.92	c |     33193 |   67869   529337  2091025 | 2147483647    33049     22 |  1.360 % |
20.91/20.96	c |     33405 |   67869   529337  2091025 | 2147483647    33261     22 |  1.360 % |
21.01/21.02	c |     33638 |   67869   529337  2091025 | 2147483647    33494     22 |  1.360 % |
21.01/21.05	c |     33894 |   67869   529337  2091025 | 2147483647    33750     22 |  1.360 % |
21.11/21.15	c |     34175 |   67869   529337  2091025 | 2147483647    34031     22 |  1.360 % |
21.31/21.35	c |     34485 |   67869   529337  2091025 | 2147483647    34341     22 |  1.360 % |
21.51/21.56	c |     34826 |   67813   527424  2083797 | 2147483647    34660     22 |  1.360 % |
21.61/21.63	c |     35198 |   67813   527424  2083797 | 2147483647    35032     23 |  1.360 % |
21.61/21.66	c |     35608 |   67813   527424  2083797 | 2147483647    35442     23 |  1.360 % |
21.71/21.72	c |     36058 |   67813   527424  2083797 | 2147483647    35892     23 |  1.360 % |
21.81/21.82	c |     36551 |   67813   527424  2083797 | 2147483647    36385     23 |  1.360 % |
22.01/22.02	c |     37093 |   67813   527424  2083797 | 2147483647    36927     23 |  1.360 % |
22.01/22.06	c |     37193 |   67813   527424  2083797 | 2147483647    37027     23 |  1.360 % |
22.01/22.11	c |     37303 |   67813   527424  2083797 | 2147483647    37137     23 |  1.360 % |
22.11/22.16	c |     37426 |   67813   527424  2083797 | 2147483647    37260     23 |  1.360 % |
22.11/22.18	c |     37560 |   67813   527424  2083797 | 2147483647    37394     23 |  1.360 % |
22.21/22.24	c |     37707 |   67813   527424  2083797 | 2147483647    37541     23 |  1.360 % |
22.21/22.31	c |     37869 |   67813   527424  2083797 | 2147483647    37703     23 |  1.360 % |
22.41/22.44	c |     38047 |   67813   527424  2083797 | 2147483647    37881     23 |  1.360 % |
22.51/22.52	c |     38240 |   67809   527424  2083797 | 2147483647    38072     23 |  1.369 % |
22.51/22.59	c |     38453 |   67807   527424  2083797 | 2147483647    38285     23 |  1.369 % |
22.61/22.65	c |     38686 |   67807   527424  2083797 | 2147483647    38518     23 |  1.369 % |
22.81/22.81	c |     38942 |   67807   527424  2083797 | 2147483647    38774     23 |  1.369 % |
22.81/22.83	c |     39224 |   67807   527424  2083797 | 2147483647    39056     23 |  1.369 % |
22.91/22.97	c |     39533 |   67807   527424  2083797 | 2147483647    39365     23 |  1.369 % |
23.11/23.17	c |     39872 |   67804   527424  2083797 | 2147483647    39703     23 |  1.402 % |
23.31/23.32	c |     40245 |   67802   527424  2083797 | 2147483647    40076     23 |  1.402 % |
23.41/23.43	c |     40655 |   67799   527424  2083797 | 2147483647    40483     23 |  1.409 % |
23.71/23.79	c |     41104 |   67773   526398  2080023 | 2147483647    40923     23 |  1.418 % |
24.01/24.03	c |     41598 |   67773   526398  2080023 | 2147483647    41417     23 |  1.418 % |
24.01/24.04	c |     42140 |   67767   526398  2080023 | 2147483647    41958     23 |  1.481 % |
24.31/24.37	c |     42736 |   67764   526398  2080023 | 2147483647    42554     23 |  1.481 % |
24.41/24.42	c |     42839 |   67744   526398  2080023 | 2147483647    42655     23 |  1.682 % |
24.41/24.45	c |     42950 |   67744   526398  2080023 | 2147483647    42766     23 |  1.682 % |
24.51/24.52	c |     43074 |   67744   526398  2080023 | 2147483647    42890     23 |  1.682 % |
24.51/24.53	c |     43207 |   67744   526398  2080023 | 2147483647    43023     23 |  1.682 % |
24.51/24.55	c |     43353 |   67744   526398  2080023 | 2147483647    43169     23 |  1.682 % |
24.61/24.68	c |     43513 |   67692   526398  2080023 | 2147483647    43329     23 |  1.682 % |
24.71/24.79	c |     43690 |   67691   526398  2080023 | 2147483647    43505     23 |  1.683 % |
24.81/24.86	c |     43883 |   67691   526398  2080023 | 2147483647    43698     23 |  1.683 % |
24.81/24.91	c |     44095 |   67688   526398  2080023 | 2147483647    43909     23 |  1.687 % |
24.91/25.01	c |     44328 |   67688   526398  2080023 | 2147483647    44142     23 |  1.687 % |
25.01/25.08	c |     44587 |   67688   526398  2080023 | 2147483647    44401     23 |  1.687 % |
25.31/25.33	c |     44868 |   67688   526398  2080023 | 2147483647    44682     23 |  1.687 % |
25.41/25.50	c |     45177 |   67688   526398  2080023 | 2147483647    44991     23 |  1.687 % |
25.61/25.65	c |     45516 |   67688   526398  2080023 | 2147483647    45330     23 |  1.687 % |
25.61/25.68	c |     45889 |   67688   526398  2080023 | 2147483647    45703     23 |  1.687 % |
25.81/25.91	c |     46299 |   67687   526398  2080023 | 2147483647    46112     24 |  1.689 % |
25.91/25.96	c |     46749 |   67687   526398  2080023 | 2147483647    46562     23 |  1.689 % |
26.11/26.18	c |     47242 |   67687   526398  2080023 | 2147483647    47055     23 |  1.689 % |
26.21/26.24	c |     47784 |   67687   526398  2080023 | 2147483647    47597     23 |  1.689 % |
26.41/26.43	c |     48381 |   67687   526398  2080023 | 2147483647    48194     24 |  1.689 % |
26.71/26.77	c |     49037 |   67587   522195  2064145 | 2147483647    48808     24 |  1.689 % |
26.81/26.83	c |     49140 |   67587   522195  2064145 | 2147483647    48911     24 |  1.689 % |
26.81/26.85	c |     49250 |   67587   522195  2064145 | 2147483647    49021     24 |  1.689 % |
26.81/26.86	c |     49372 |   67587   522195  2064145 | 2147483647    49143     24 |  1.689 % |
26.91/26.93	c |     49507 |   67587   522195  2064145 | 2147483647    49278     24 |  1.689 % |
26.91/27.01	c |     49653 |   67587   522195  2064145 | 2147483647    49424     24 |  1.689 % |
27.01/27.04	c |     49813 |   67587   522195  2064145 | 2147483647    49584     24 |  1.689 % |
27.11/27.14	c |     49989 |   67587   522195  2064145 | 2147483647    49760     24 |  1.689 % |
27.11/27.20	c |     50182 |   67587   522195  2064145 | 2147483647    49953     24 |  1.689 % |
27.21/27.23	c |     50395 |   67587   522195  2064145 | 2147483647    50166     24 |  1.689 % |
27.21/27.30	c |     50628 |   67587   522195  2064145 | 2147483647    50399     24 |  1.689 % |
27.31/27.35	c |     50885 |   67587   522195  2064145 | 2147483647    50656     24 |  1.689 % |
27.41/27.44	c |     51166 |   67587   522195  2064145 | 2147483647    50937     24 |  1.689 % |
27.41/27.51	c |     51475 |   67587   522195  2064145 | 2147483647    51246     24 |  1.689 % |
27.51/27.61	c |     51815 |   67587   522195  2064145 | 2147483647    51586     24 |  1.689 % |
27.61/27.69	c |     52188 |   67587   522195  2064145 | 2147483647    51959     24 |  1.689 % |
28.01/28.10	c |     52598 |   67587   522195  2064145 | 2147483647    52369     24 |  1.689 % |
28.21/28.29	c |     53047 |   67587   522195  2064145 | 2147483647    52818     24 |  1.689 % |
28.51/28.59	c |     53540 |   67587   522195  2064145 | 2147483647    53311     24 |  1.689 % |
28.61/28.68	c |     54082 |   67587   522195  2064145 | 2147483647    53853     24 |  1.689 % |
28.81/28.90	c |     54678 |   67587   522195  2064145 | 2147483647    54449     24 |  1.689 % |
28.91/28.95	c |     55333 |   67587   522195  2064145 | 2147483647    55104     24 |  1.689 % |
29.21/29.31	c |     56054 |   67587   522195  2064145 | 2147483647    55825     24 |  1.689 % |
29.31/29.40	c |     56154 |   67583   522142  2064002 | 2147483647    55923     24 |  1.695 % |
29.41/29.47	c |     56265 |   67583   522142  2064002 | 2147483647    56034     24 |  1.695 % |
29.51/29.54	c |     56386 |   67583   522142  2064002 | 2147483647    56155     24 |  1.695 % |
29.61/29.66	c |     56520 |   67583   522142  2064002 | 2147483647    56289     24 |  1.695 % |
29.61/29.70	c |     56666 |   67583   522142  2064002 | 2147483647    56435     24 |  1.695 % |
29.71/29.76	c |     56828 |   67583   522142  2064002 | 2147483647    56597     24 |  1.695 % |
29.71/29.79	c |     57004 |   67583   522142  2064002 | 2147483647    56773     24 |  1.695 % |
29.81/29.89	c |     57198 |   67583   522142  2064002 | 2147483647    56967     24 |  1.695 % |
29.91/29.98	c |     57410 |   67583   522142  2064002 | 2147483647    57179     24 |  1.695 % |
30.01/30.04	c |     57643 |   67583   522142  2064002 | 2147483647    57412     24 |  1.695 % |
30.11/30.12	c |     57899 |   67583   522142  2064002 | 2147483647    57668     24 |  1.695 % |
30.21/30.25	c |     58181 |   67583   522142  2064002 | 2147483647    57950     24 |  1.695 % |
30.31/30.33	c |     58490 |   67583   522142  2064002 | 2147483647    58259     24 |  1.695 % |
30.41/30.45	c |     58830 |   67583   522142  2064002 | 2147483647    58599     24 |  1.695 % |
30.51/30.53	c |     59203 |   67583   522142  2064002 | 2147483647    58972     24 |  1.695 % |
30.71/30.72	c |     59612 |   67583   522142  2064002 | 2147483647    59381     24 |  1.695 % |
30.91/30.95	c |     60062 |   67583   522142  2064002 | 2147483647    59831     24 |  1.695 % |
31.01/31.06	c |     60555 |   67576   522142  2064002 | 2147483647    60322     24 |  1.708 % |
31.21/31.25	c |     61100 |   67576   522142  2064002 | 2147483647    60867     24 |  1.708 % |
31.51/31.51	c |     61696 |   67576   522142  2064002 | 2147483647    61463     24 |  1.708 % |
31.61/31.64	c |     62352 |   67576   522142  2064002 | 2147483647    62119     24 |  1.708 % |
31.71/31.73	c |     63073 |   67576   522142  2064002 | 2147483647    62840     24 |  1.708 % |
31.91/31.93	c |     63867 |   67576   522142  2064002 | 2147483647    63634     24 |  1.708 % |
31.91/31.95	c |     63967 |   67576   522142  2064002 | 2147483647    63734     24 |  1.708 % |
31.91/31.99	c |     64077 |   67575   522142  2064002 | 2147483647    63843     24 |  1.709 % |
32.01/32.02	c |     64199 |   67575   522142  2064002 | 2147483647    63965     24 |  1.709 % |
32.01/32.09	c |     64332 |   67575   522142  2064002 | 2147483647    64098     24 |  1.709 % |
32.11/32.17	c |     64479 |   67575   522142  2064002 | 2147483647    64245     24 |  1.709 % |
32.21/32.27	c |     64639 |   67575   522142  2064002 | 2147483647    64405     24 |  1.709 % |
32.31/32.31	c |     64816 |   67575   522142  2064002 | 2147483647    64582     24 |  1.709 % |
32.31/32.32	c |     65010 |   67575   522142  2064002 | 2147483647    64776     24 |  1.709 % |
32.31/32.34	c |     65222 |   67575   522142  2064002 | 2147483647    64988     24 |  1.709 % |
32.41/32.44	c |     65456 |   67575   522142  2064002 | 2147483647    65222     24 |  1.709 % |
32.61/32.65	c |     65712 |   67573   521736  2062762 | 2147483647    65478     24 |  1.709 % |
32.81/32.82	c |     65993 |   67573   521736  2062762 | 2147483647    65759     24 |  1.709 % |
32.91/33.00	c |     66302 |   67573   521736  2062762 | 2147483647    66068     24 |  1.709 % |
33.01/33.08	c |     66641 |   67573   521736  2062762 | 2147483647    66407     24 |  1.709 % |
33.11/33.14	c |     67014 |   67573   521736  2062762 | 2147483647    66780     24 |  1.709 % |
33.21/33.22	c |     67423 |   67573   521736  2062762 | 2147483647    67189     24 |  1.709 % |
33.31/33.31	c |     67872 |   67573   521736  2062762 | 2147483647    67638     24 |  1.709 % |
33.41/33.49	c |     68366 |   67573   521736  2062762 | 2147483647    68132     24 |  1.709 % |
33.61/33.70	c |     68909 |   67568   521736  2062762 | 2147483647    68674     24 |  1.716 % |
34.01/34.11	c |     69507 |   67568   521736  2062762 | 2147483647    69272     24 |  1.716 % |
34.31/34.32	c |     70163 |   67555   521736  2062762 | 2147483647    69926     24 |  1.991 % |
34.31/34.39	c |     70883 |   67555   521736  2062762 | 2147483647    70646     24 |  1.991 % |
34.51/34.55	c |     71675 |   67555   521736  2062762 | 2147483647    71438     25 |  1.991 % |
34.71/34.72	c |     72547 |   67555   521736  2062762 | 2147483647    72310     25 |  1.991 % |
34.71/34.76	c |     72647 |   67555   521736  2062762 | 2147483647    72410     25 |  1.991 % |
34.71/34.80	c |     72757 |   67555   521736  2062762 | 2147483647    72520     25 |  1.991 % |
34.81/34.87	c |     72878 |   67555   521736  2062762 | 2147483647    72641     25 |  1.991 % |
34.91/35.00	c |     73011 |   67542   521736  2062762 | 2147483647    72774     25 |  1.991 % |
35.01/35.07	c |     73158 |   67542   521736  2062762 | 2147483647    72921     25 |  1.991 % |
35.11/35.19	c |     73318 |   67542   521736  2062762 | 2147483647    73081     25 |  1.991 % |
35.21/35.27	c |     73494 |   67542   521736  2062762 | 2147483647    73257     25 |  1.991 % |
35.31/35.32	c |     73687 |   67542   521736  2062762 | 2147483647    73450     25 |  1.991 % |
35.31/35.40	c |     73899 |   67542   521736  2062762 | 2147483647    73662     25 |  1.991 % |
35.51/35.52	c |     74133 |   67542   521736  2062762 | 2147483647    73896     25 |  1.991 % |
35.51/35.59	c |     74389 |   67542   521736  2062762 | 2147483647    74152     25 |  1.991 % |
35.81/35.81	c |     74670 |   67497   521736  2062762 | 2147483647    74433     25 |  1.991 % |
35.91/36.00	c |     74979 |   67497   521736  2062762 | 2147483647    74742     25 |  1.991 % |
36.21/36.21	c |     75319 |   67379   517305  2046106 | 2147483647    75067     25 |  1.991 % |
36.31/36.40	c |     75691 |   67379   517305  2046106 | 2147483647    75439     25 |  1.991 % |
36.61/36.61	c |     76101 |   67379   517305  2046106 | 2147483647    75849     25 |  1.991 % |
36.81/36.83	c |     76550 |   67379   517305  2046106 | 2147483647    76298     25 |  1.991 % |
37.01/37.08	c |     77043 |   67379   517305  2046106 | 2147483647    76791     25 |  1.991 % |
37.21/37.27	c |     77586 |   67379   517305  2046106 | 2147483647    77334     25 |  1.991 % |
37.41/37.45	c |     78184 |   67379   517305  2046106 | 2147483647    77932     25 |  1.991 % |
37.71/37.75	c |     78840 |   67379   517305  2046106 | 2147483647    78588     25 |  1.991 % |
37.81/37.86	c |     79560 |   67377   517305  2046106 | 2147483647    79307     25 |  2.000 % |
38.01/38.08	c |     80353 |   67374   517305  2046106 | 2147483647    80100     25 |  2.000 % |
38.21/38.24	c |     81225 |   67374   517305  2046106 | 2147483647    80972     25 |  2.000 % |
38.61/38.70	c |     82184 |   67374   517305  2046106 | 2147483647    81931     25 |  2.000 % |
38.71/38.76	c |     82284 |   67374   517305  2046106 | 2147483647    82031     25 |  2.000 % |
38.71/38.78	c |     82395 |   67372   517305  2046106 | 2147483647    82141     25 |  2.004 % |
38.81/38.81	c |     82517 |   67372   517305  2046106 | 2147483647    82263     25 |  2.004 % |
38.81/38.90	c |     82651 |   67372   517305  2046106 | 2147483647    82397     25 |  2.004 % |
38.91/38.92	c |     82797 |   67372   517305  2046106 | 2147483647    82543     25 |  2.004 % |
38.91/38.97	c |     82958 |   67372   517305  2046106 | 2147483647    82704     25 |  2.004 % |
39.01/39.04	c |     83135 |   67372   517305  2046106 | 2147483647    82881     25 |  2.004 % |
39.01/39.06	c |     83328 |   67372   517305  2046106 | 2147483647    83074     25 |  2.004 % |
39.11/39.14	c |     83540 |   67371   517305  2046106 | 2147483647    83286     25 |  2.004 % |
39.51/39.58	c |     83774 |   67370   517305  2046106 | 2147483647    83520     25 |  2.004 % |
39.71/39.73	c |     84031 |   67368   517305  2046106 | 2147483647    83776     25 |  2.007 % |
39.71/39.76	c |     84314 |   67368   517305  2046106 | 2147483647    84059     25 |  2.007 % |
40.01/40.03	c |     84623 |   67365   517128  2045498 | 2147483647    84356     25 |  2.012 % |
40.11/40.12	c |     84962 |   67365   517128  2045498 | 2147483647    84695     25 |  2.012 % |
40.41/40.50	c |     85334 |   67365   517128  2045498 | 2147483647    85067     25 |  2.012 % |
40.71/40.72	c |     85744 |   67365   517128  2045498 | 2147483647    85477     25 |  2.012 % |
40.81/40.87	c |     86194 |   67365   517128  2045498 | 2147483647    85927     25 |  2.012 % |
40.81/40.89	c |     86687 |   67365   517128  2045498 | 2147483647    86420     25 |  2.012 % |
41.01/41.03	c |     87229 |   67365   517128  2045498 | 2147483647    86962     25 |  2.012 % |
41.11/41.18	c |     87828 |   67365   517128  2045498 | 2147483647    87561     25 |  2.012 % |
41.41/41.49	c |     88483 |   67365   517128  2045498 | 2147483647    88216     25 |  2.012 % |
41.71/41.79	c |     89203 |   67364   517128  2045498 | 2147483647    88935     25 |  2.013 % |
41.81/41.88	c |     89995 |   67364   517128  2045498 | 2147483647    89727     25 |  2.013 % |
42.01/42.10	c |     90866 |   67362   517128  2045498 | 2147483647    90597     25 |  2.018 % |
42.51/42.54	c |     91825 |   67361   517128  2045498 | 2147483647    91556     25 |  2.018 % |
42.91/43.00	c |     92879 |   67361   517128  2045498 | 2147483647    92610     25 |  2.018 % |
43.11/43.14	c |     92979 |   67361   517128  2045498 | 2147483647    92710     25 |  2.018 % |
43.11/43.19	c |     93089 |   67361   517128  2045498 | 2147483647    92820     25 |  2.018 % |
43.21/43.26	c |     93210 |   67361   517128  2045498 | 2147483647    92941     25 |  2.018 % |
43.21/43.30	c |     93343 |   67361   517128  2045498 | 2147483647    93074     25 |  2.018 % |
43.41/43.44	c |     93489 |   67361   517128  2045498 | 2147483647    93220     25 |  2.018 % |
43.41/43.50	c |     93650 |   67361   517128  2045498 | 2147483647    93381     25 |  2.018 % |
43.51/43.55	c |     93826 |   67361   517128  2045498 | 2147483647    93557     25 |  2.018 % |
43.61/43.62	c |     94019 |   67361   517128  2045498 | 2147483647    93750     25 |  2.018 % |
43.61/43.69	c |     94233 |   67361   517128  2045498 | 2147483647    93964     25 |  2.018 % |
44.01/44.04	c |     94466 |   67361   517128  2045498 | 2147483647    94197     25 |  2.018 % |
44.01/44.10	c |     94723 |   67361   517128  2045498 | 2147483647    94454     25 |  2.018 % |
44.11/44.15	c |     95004 |   67361   517128  2045498 | 2147483647    94735     25 |  2.018 % |
44.21/44.27	c |     95313 |   67361   517097  2045375 | 2147483647    95039     25 |  2.018 % |
44.31/44.37	c |     95652 |   67361   517097  2045375 | 2147483647    95378     25 |  2.018 % |
44.41/44.50	c |     96025 |   67361   517097  2045375 | 2147483647    95751     25 |  2.018 % |
44.51/44.59	c |     96434 |   67361   517097  2045375 | 2147483647    96160     25 |  2.018 % |
44.71/44.81	c |     96884 |   67361   517097  2045375 | 2147483647    96610     25 |  2.018 % |
45.11/45.18	c |     97377 |   67361   517097  2045375 | 2147483647    97103     25 |  2.018 % |
45.41/45.50	c |     97920 |   67361   517097  2045375 | 2147483647    97646     25 |  2.018 % |
45.81/45.81	c |     98516 |   67358   517097  2045375 | 2147483647    98241     25 |  2.022 % |
46.01/46.03	c |     99171 |   67358   517097  2045375 | 2147483647    98896     25 |  2.022 % |
46.11/46.16	c |     99892 |   67358   517097  2045375 | 2147483647    99617     25 |  2.022 % |
46.61/46.68	c |    100684 |   67358   517097  2045375 | 2147483647   100409     25 |  2.022 % |
47.21/47.22	c |    101555 |   67358   517097  2045375 | 2147483647   101280     25 |  2.022 % |
47.31/47.36	c |    102513 |   67358   517097  2045375 | 2147483647   102238     25 |  2.022 % |
47.41/47.43	c |    103566 |   67358   517097  2045375 | 2147483647   103291     25 |  2.022 % |
47.91/47.96	c |    104724 |   67358   517097  2045375 | 2147483647   104449     25 |  2.022 % |
48.01/48.03	c |    104824 |   67358   517097  2045375 | 2147483647   104549     25 |  2.022 % |
48.01/48.10	c |    104934 |   67358   517097  2045375 | 2147483647   104659     25 |  2.022 % |
48.11/48.14	c |    105055 |   67358   517097  2045375 | 2147483647   104780     25 |  2.022 % |
48.11/48.20	c |    105188 |   67358   517097  2045375 | 2147483647   104913     25 |  2.022 % |
48.21/48.28	c |    105335 |   67358   517097  2045375 | 2147483647   105060     25 |  2.022 % |
48.31/48.33	c |    105495 |   67358   517097  2045375 | 2147483647   105220     25 |  2.022 % |
48.52/48.52	c |    105671 |   67358   517097  2045375 | 2147483647   105396     25 |  2.022 % |
48.61/48.67	c |    105864 |   67358   517074  2045278 | 2147483647   105588     25 |  2.022 % |
48.81/48.82	c |    106076 |   67358   517074  2045278 | 2147483647   105800     25 |  2.022 % |
48.81/48.86	c |    106309 |   67356   517074  2045278 | 2147483647   106032     25 |  2.026 % |
48.91/48.96	c |    106565 |   67356   517074  2045278 | 2147483647   106288     25 |  2.026 % |
49.01/49.10	c |    106847 |   67356   517074  2045278 | 2147483647   106570     25 |  2.026 % |
49.11/49.16	c |    107157 |   67356   517074  2045278 | 2147483647   106880     25 |  2.026 % |
49.21/49.26	c |    107496 |   67356   517074  2045278 | 2147483647   107219     25 |  2.026 % |
49.41/49.43	c |    107868 |   67356   517074  2045278 | 2147483647   107591     25 |  2.026 % |
49.51/49.54	c |    108277 |   67356   517074  2045278 | 2147483647   108000     25 |  2.026 % |
49.62/49.68	c |    108726 |   67356   517074  2045278 | 2147483647   108449     25 |  2.026 % |
49.91/50.00	c |    109220 |   67356   517074  2045278 | 2147483647   108943     25 |  2.026 % |
50.21/50.21	c |    109763 |   67312   517074  2045278 | 2147483647   109484     25 |  2.236 % |
50.41/50.49	c |    110359 |   67305   517074  2045278 | 2147483647   110080     25 |  2.236 % |
50.91/50.96	c |    111015 |   67305   517074  2045278 | 2147483647   110736     25 |  2.236 % |
51.31/51.32	c |    111736 |   67305   517074  2045278 | 2147483647   111457     25 |  2.236 % |
51.71/51.79	c |    112528 |   67277   517074  2045278 | 2147483647   112249     25 |  2.236 % |
52.11/52.13	c |    113399 |   67275   517074  2045278 | 2147483647   113118     25 |  2.239 % |
52.21/52.22	c |    114357 |   67275   517074  2045278 | 2147483647   114076     25 |  2.239 % |
52.31/52.37	c |    115411 |   67275   517074  2045278 | 2147483647   115130     25 |  2.239 % |
52.71/52.74	c |    116571 |   67275   517074  2045278 | 2147483647   116290     25 |  2.239 % |
52.92/52.95	c |    117844 |   67275   517074  2045278 | 2147483647   117563     25 |  2.239 % |
52.92/52.99	c |    117944 |   67275   517074  2045278 | 2147483647   117663     25 |  2.239 % |
52.92/52.99	c |    118055 |   67275   517074  2045278 | 2147483647   117774     25 |  2.239 % |
52.92/53.00	c |    118178 |   67275   517074  2045278 | 2147483647   117897     25 |  2.239 % |
53.11/53.11	c |    118312 |   67275   517074  2045278 | 2147483647   118031     25 |  2.239 % |
53.21/53.22	c |    118459 |   67275   517074  2045278 | 2147483647   118178     25 |  2.239 % |
53.21/53.29	c |    118620 |   67275   517074  2045278 | 2147483647   118339     25 |  2.239 % |
53.31/53.41	c |    118797 |   67209   513608  2032479 | 2147483647   118492     25 |  2.239 % |
53.41/53.45	c |    118991 |   67209   513608  2032479 | 2147483647   118686     25 |  2.239 % |
53.41/53.51	c |    119203 |   67209   513608  2032479 | 2147483647   118898     25 |  2.239 % |
53.81/53.83	c |    119436 |   67209   513608  2032479 | 2147483647   119131     25 |  2.239 % |
53.81/53.84	c |    119695 |   67209   513608  2032479 | 2147483647   119390     25 |  2.239 % |
54.02/54.02	c |    119976 |   67209   513608  2032479 | 2147483647   119671     25 |  2.239 % |
54.02/54.09	c |    120285 |   67209   513608  2032479 | 2147483647   119980     25 |  2.239 % |
54.21/54.27	c |    120625 |   67209   513608  2032479 | 2147483647   120320     25 |  2.239 % |
54.41/54.47	c |    120997 |   67209   513608  2032479 | 2147483647   120692     25 |  2.239 % |
54.71/54.74	c |    121407 |   67209   513608  2032479 | 2147483647   121102     25 |  2.239 % |
54.91/54.91	c |    121858 |   67209   513608  2032479 | 2147483647   121553     25 |  2.239 % |
54.91/54.99	c |    122352 |   67207   513608  2032479 | 2147483647   122046     25 |  2.243 % |
55.12/55.20	c |    122895 |   67206   513608  2032479 | 2147483647   122589     25 |  2.243 % |
55.41/55.43	c |    123491 |   67206   513608  2032479 | 2147483647   123185     25 |  2.243 % |
55.61/55.65	c |    124147 |   67206   513608  2032479 | 2147483647   123841     25 |  2.243 % |
55.91/55.96	c |    124869 |   67206   513608  2032479 | 2147483647   124563     25 |  2.243 % |
56.31/56.36	c |    125662 |   67206   513608  2032479 | 2147483647   125356     25 |  2.243 % |
56.51/56.52	c |    126534 |   67206   513608  2032479 | 2147483647   126228     25 |  2.243 % |
56.91/57.01	c |    127493 |   67206   513608  2032479 | 2147483647   127187     25 |  2.243 % |
57.21/57.31	c |    128546 |   67206   513608  2032479 | 2147483647   128240     25 |  2.243 % |
58.11/58.12	c |    129704 |   67206   513608  2032479 | 2147483647   129398     25 |  2.243 % |
58.51/58.56	c |    130978 |   67206   513608  2032479 | 2147483647   130672     25 |  2.243 % |
59.01/59.03	c |    132380 |   67200   513608  2032479 | 2147483647   132073     25 |  2.330 % |
59.11/59.20	c |    132483 |   67146   512235  2027440 | 2147483647   132166     25 |  2.330 % |
59.21/59.21	c |    132594 |   67146   512235  2027440 | 2147483647   132277     25 |  2.330 % |
59.21/59.25	c |    132716 |   67145   512235  2027440 | 2147483647   132398     25 |  2.438 % |
59.21/59.26	c |    132850 |   67145   512235  2027440 | 2147483647   132532     25 |  2.438 % |
59.21/59.28	c |    132996 |   67145   512235  2027440 | 2147483647   132678     25 |  2.438 % |
59.31/59.39	c |    133156 |   67145   512235  2027440 | 2147483647   132838     25 |  2.438 % |
59.41/59.47	c |    133332 |   67145   512235  2027440 | 2147483647   133014     25 |  2.438 % |
59.52/59.53	c |    133526 |   67145   512235  2027440 | 2147483647   133208     25 |  2.438 % |
59.52/59.61	c |    133739 |   67145   512235  2027440 | 2147483647   133421     25 |  2.438 % |
59.61/59.64	c |    133972 |   67145   512235  2027440 | 2147483647   133654     25 |  2.438 % |
59.71/59.72	c |    134228 |   67142   512235  2027440 | 2147483647   133908     25 |  2.452 % |
59.71/59.76	c |    134510 |   67142   512235  2027440 | 2147483647   134190     25 |  2.452 % |
60.01/60.01	c |    134819 |   67134   512235  2027440 | 2147483647   134499     25 |  2.452 % |
60.21/60.22	c |    135158 |   67134   512235  2027440 | 2147483647   134838     25 |  2.452 % |
60.41/60.43	c |    135530 |   67133   512235  2027440 | 2147483647   135210     25 |  2.452 % |
60.51/60.54	c |    135939 |   67133   512235  2027440 | 2147483647   135619     25 |  2.452 % |
60.71/60.72	c |    136389 |   67133   512235  2027440 | 2147483647   136069     25 |  2.452 % |
60.71/60.81	c |    136884 |   67133   512235  2027440 | 2147483647   136564     25 |  2.452 % |
61.01/61.05	c |    137426 |   67133   512235  2027440 | 2147483647   137106     25 |  2.452 % |
61.21/61.26	c |    138023 |   67133   512235  2027440 | 2147483647   137703     25 |  2.452 % |
61.61/61.63	c |    138679 |   67120   512235  2027440 | 2147483647   138359     25 |  2.452 % |
61.91/61.97	c |    139399 |   67116   512235  2027440 | 2147483647   139078     25 |  2.461 % |
62.21/62.23	c |    140191 |   67116   512235  2027440 | 2147483647   139870     25 |  2.461 % |
62.31/62.39	c |    141062 |   67116   512235  2027440 | 2147483647   140741     25 |  2.461 % |
62.51/62.59	c |    142021 |   67116   512235  2027440 | 2147483647   141700     25 |  2.461 % |
63.01/63.03	c |    143074 |   67116   512235  2027440 | 2147483647   142753     25 |  2.461 % |
63.11/63.14	c |    144233 |   67116   512235  2027440 | 2147483647   143912     25 |  2.461 % |
63.71/63.75	c |    145506 |   67116   512235  2027440 | 2147483647   145185     25 |  2.461 % |
64.51/64.52	c |    146907 |   67111   512235  2027440 | 2147483647   146584     25 |  2.468 % |
64.81/64.90	c |    148447 |   67107   512235  2027440 | 2147483647   148123     25 |  2.492 % |
64.91/64.95	c |    148549 |   67105   512235  2027440 | 2147483647   148224     25 |  2.496 % |
65.02/65.08	c |    148659 |   67105   512235  2027440 | 2147483647   148334     25 |  2.496 % |
65.21/65.25	c |    148782 |   67032   510060  2019494 | 2147483647   142231     26 |  2.496 % |
65.31/65.36	c |    148916 |   67032   510060  2019494 | 2147483647   142365     26 |  2.496 % |
65.41/65.46	c |    149062 |   67032   510060  2019494 | 2147483647   142511     26 |  2.496 % |
65.51/65.57	c |    149222 |   67032   510060  2019494 | 2147483647   142671     26 |  2.496 % |
65.61/65.63	c |    149399 |   67032   510060  2019494 | 2147483647   142848     26 |  2.496 % |
65.71/65.74	c |    149594 |   67032   510060  2019494 | 2147483647   143043     26 |  2.496 % |
65.81/65.83	c |    149807 |   67032   510060  2019494 | 2147483647   143256     26 |  2.496 % |
65.91/65.97	c |    150041 |   67032   510060  2019494 | 2147483647   143490     26 |  2.496 % |
66.12/66.13	c |    150297 |   67032   510060  2019494 | 2147483647   143746     26 |  2.496 % |
66.31/66.38	c |    150578 |   66993   510060  2019494 | 2147483647   144025     26 |  2.653 % |
66.51/66.52	c |    150887 |   66993   510060  2019494 | 2147483647   144334     25 |  2.653 % |
66.61/66.61	c |    151226 |   66993   510060  2019494 | 2147483647   144673     25 |  2.653 % |
66.71/66.74	c |    151599 |   66969   510060  2019494 | 2147483647   145046     25 |  2.653 % |
66.81/66.90	c |    152008 |   66969   510060  2019494 | 2147483647   145455     25 |  2.653 % |
67.01/67.05	c |    152458 |   66969   510060  2019494 | 2147483647   145905     25 |  2.653 % |
67.22/67.26	c |    152951 |   66965   510060  2019494 | 2147483647   146397     25 |  2.659 % |
67.31/67.41	c |    153493 |   66960   510060  2019494 | 2147483647   146937     25 |  2.671 % |
67.61/67.64	c |    154091 |   66960   510060  2019494 | 2147483647   147535     25 |  2.671 % |
67.91/67.93	c |    154748 |   66960   510060  2019494 | 2147483647   148192     25 |  2.671 % |
68.21/68.22	c |    155469 |   66960   510060  2019494 | 2147483647   148913     25 |  2.671 % |
68.51/68.60	c |    156262 |   66960   510060  2019494 | 2147483647   149706     25 |  2.671 % |
68.91/68.99	c |    157134 |   66959   510060  2019494 | 2147483647   150577     25 |  2.676 % |
69.61/69.62	c |    158092 |   66959   510060  2019494 | 2147483647   151535     25 |  2.676 % |
69.91/69.97	c |    159146 |   66959   510060  2019494 | 2147483647   152589     25 |  2.676 % |
71.01/71.01	c |    160305 |   66959   510060  2019494 | 2147483647   153748     26 |  2.676 % |
71.41/71.43	c |    161580 |   66959   510060  2019494 | 2147483647   155023     26 |  2.676 % |
71.91/71.92	c |    162982 |   66959   510060  2019494 | 2147483647   156425     26 |  2.676 % |
72.51/72.60	c |    164524 |   66943   510060  2019494 | 2147483647   157967     26 |  2.676 % |
73.51/73.55	c |    166218 |   66908   508405  2012504 | 2147483647   157639     26 |  2.676 % |
73.61/73.63	c |    166318 |   66908   508405  2012504 | 2147483647   157739     26 |  2.676 % |
73.61/73.69	c |    166430 |   66908   508405  2012504 | 2147483647   157851     26 |  2.676 % |
73.71/73.74	c |    166551 |   66908   508405  2012504 | 2147483647   157972     26 |  2.676 % |
73.82/73.89	c |    166684 |   66908   508405  2012504 | 2147483647   158105     26 |  2.676 % |
74.01/74.05	c |    166834 |   66908   508405  2012504 | 2147483647   158255     26 |  2.676 % |
74.11/74.18	c |    166995 |   66908   508405  2012504 | 2147483647   158416     26 |  2.676 % |
74.21/74.29	c |    167171 |   66908   508405  2012504 | 2147483647   158592     26 |  2.676 % |
74.31/74.39	c |    167366 |   66908   508405  2012504 | 2147483647   158787     26 |  2.676 % |
74.41/74.47	c |    167578 |   66908   508405  2012504 | 2147483647   158999     26 |  2.676 % |
74.51/74.59	c |    167812 |   66908   508405  2012504 | 2147483647   159233     26 |  2.676 % |
74.61/74.65	c |    168068 |   66908   508405  2012504 | 2147483647   159489     26 |  2.676 % |
74.71/74.76	c |    168349 |   66908   508405  2012504 | 2147483647   159770     26 |  2.676 % |
75.01/75.05	c |    168660 |   66908   508405  2012504 | 2147483647   160081     26 |  2.676 % |
75.11/75.16	c |    168999 |   66908   508405  2012504 | 2147483647   160420     26 |  2.676 % |
75.21/75.29	c |    169371 |   66908   508405  2012504 | 2147483647   160792     26 |  2.676 % |
75.41/75.45	c |    169780 |   66908   508405  2012504 | 2147483647   161201     26 |  2.676 % |
75.61/75.67	c |    170230 |   66908   508405  2012504 | 2147483647   161651     26 |  2.676 % |
75.81/75.87	c |    170723 |   66908   508405  2012504 | 2147483647   162144     26 |  2.676 % |
76.11/76.12	c |    171265 |   66908   508405  2012504 | 2147483647   162686     26 |  2.676 % |
76.51/76.51	c |    171861 |   66908   508405  2012504 | 2147483647   163282     26 |  2.676 % |
76.71/76.80	c |    172517 |   66908   508405  2012504 | 2147483647   163938     26 |  2.676 % |
77.01/77.06	c |    173237 |   66908   508405  2012504 | 2147483647   164658     26 |  2.676 % |
77.31/77.33	c |    174029 |   66908   508405  2012504 | 2147483647   165450     26 |  2.676 % |
77.71/77.72	c |    174901 |   66908   508405  2012504 | 2147483647   166322     26 |  2.676 % |
77.91/77.94	c |    175859 |   66908   508405  2012504 | 2147483647   167280     26 |  2.676 % |
78.11/78.20	c |    176913 |   66908   508405  2012504 | 2147483647   168334     26 |  2.676 % |
78.71/78.75	c |    178073 |   66908   508405  2012504 | 2147483647   169494     26 |  2.676 % |
79.41/79.48	c |    179346 |   66908   508405  2012504 | 2147483647   170767     26 |  2.676 % |
80.21/80.23	c |    180748 |   66908   508405  2012504 | 2147483647   172169     26 |  2.676 % |
80.71/80.77	c |    182288 |   66908   508405  2012504 | 2147483647   173709     26 |  2.676 % |
81.31/81.36	c |    183983 |   66908   508405  2012504 | 2147483647   175404     26 |  2.676 % |
81.61/81.64	c |    185846 |   66908   508405  2012504 | 2147483647   177267     26 |  2.676 % |
81.61/81.65	c |    185946 |   66908   508405  2012504 | 2147483647   177367     26 |  2.676 % |
81.71/81.74	c |    186056 |   66908   508405  2012504 | 2147483647   177477     26 |  2.676 % |
81.71/81.78	c |    186177 |   66908   508405  2012504 | 2147483647   177598     26 |  2.676 % |
81.81/81.90	c |    186311 |   66908   508405  2012504 | 2147483647   177732     26 |  2.676 % |
82.01/82.01	c |    186457 |   66908   508405  2012504 | 2147483647   177878     26 |  2.676 % |
82.11/82.13	c |    186617 |   66908   508405  2012504 | 2147483647   178038     26 |  2.676 % |
82.21/82.24	c |    186793 |   66908   508405  2012504 | 2147483647   178214     26 |  2.676 % |
82.31/82.32	c |    186986 |   66908   508405  2012504 | 2147483647   178407     26 |  2.676 % |
82.41/82.42	c |    187198 |   66908   508405  2012504 | 2147483647   178619     26 |  2.676 % |
82.51/82.52	c |    187432 |   66908   508405  2012504 | 2147483647   178853     26 |  2.676 % |
82.51/82.59	c |    187689 |   66908   508405  2012504 | 2147483647   179110     26 |  2.676 % |
82.71/82.76	c |    187970 |   66908   508405  2012504 | 2147483647   179391     26 |  2.676 % |
82.81/82.85	c |    188279 |   66908   508405  2012504 | 2147483647   179700     26 |  2.676 % |
82.91/82.99	c |    188618 |   66908   508405  2012504 | 2147483647   180039     26 |  2.676 % |
83.11/83.16	c |    188991 |   66908   508405  2012504 | 2147483647   180412     26 |  2.676 % |
83.21/83.31	c |    189400 |   66908   508405  2012504 | 2147483647   180821     26 |  2.676 % |
83.41/83.48	c |    189850 |   66908   508405  2012504 | 2147483647   181271     26 |  2.676 % |
83.61/83.68	c |    190343 |   66908   508405  2012504 | 2147483647   181764     26 |  2.676 % |
83.91/83.97	c |    190885 |   66908   508405  2012504 | 2147483647   182306     26 |  2.676 % |
84.31/84.34	c |    191481 |   66908   508405  2012504 | 2147483647   182902     26 |  2.676 % |
84.71/84.78	c |    192136 |   66908   508405  2012504 | 2147483647   183557     26 |  2.676 % |
85.11/85.19	c |    192856 |   66908   508405  2012504 | 2147483647   184277     26 |  2.676 % |
85.31/85.33	c |    193649 |   66908   508405  2012504 | 2147483647   185070     26 |  2.676 % |
85.71/85.76	c |    194520 |   66908   508405  2012504 | 2147483647   185941     26 |  2.676 % |
86.01/86.08	c |    195478 |   66908   508405  2012504 | 2147483647   186899     26 |  2.676 % |
86.21/86.29	c |    196531 |   66908   508405  2012504 | 2147483647   187952     26 |  2.676 % |
87.11/87.16	c |    197689 |   66908   508405  2012504 | 2147483647   189110     26 |  2.676 % |
87.91/87.98	c |    198963 |   66908   508405  2012504 | 2147483647   190384     26 |  2.676 % |
88.01/88.05	c |    200364 |   66908   508405  2012504 | 2147483647   191785     26 |  2.676 % |
89.11/89.15	c |    201904 |   66908   508405  2012504 | 2147483647   193325     26 |  2.676 % |
90.11/90.17	c |    203599 |   66908   508405  2012504 | 2147483647   195020     26 |  2.676 % |
91.11/91.18	c |    205463 |   66907   508394  2012474 | 2147483647   196882     26 |  2.678 % |
92.31/92.35	c |    207513 |   66895   508394  2012474 | 2147483647   198931     26 |  2.735 % |
92.41/92.44	c |    207614 |   66895   508394  2012474 | 2147483647   199032     26 |  2.735 % |
92.41/92.50	c |    207724 |   66895   508394  2012474 | 2147483647   199142     26 |  2.735 % |
92.52/92.57	c |    207845 |   66895   508394  2012474 | 2147483647   199263     26 |  2.735 % |
92.71/92.73	c |    207979 |   66895   508394  2012474 | 2147483647   199397     26 |  2.735 % |
92.81/92.82	c |    208125 |   66895   508394  2012474 | 2147483647   199543     26 |  2.735 % |
92.91/92.94	c |    208286 |   66885   508394  2012474 | 2147483647   199704     26 |  2.735 % |
93.11/93.19	c |    208462 |   66885   508394  2012474 | 2147483647   199880     26 |  2.735 % |
93.21/93.24	c |    208656 |   66885   508394  2012474 | 2147483647   200074     26 |  2.735 % |
93.21/93.30	c |    208868 |   66885   508394  2012474 | 2147483647   200286     26 |  2.735 % |
93.31/93.32	c |    209102 |   66885   508394  2012474 | 2147483647   200520     26 |  2.735 % |
93.41/93.49	c |    209359 |   66881   508394  2012474 | 2147483647   200775     26 |  2.740 % |
93.91/93.96	c |    209640 |   66881   508394  2012474 | 2147483647   201056     26 |  2.740 % |
94.11/94.11	c |    209949 |   66881   508394  2012474 | 2147483647   201365     26 |  2.740 % |
94.11/94.12	c |    210288 |   66881   508394  2012474 | 2147483647   201704     26 |  2.740 % |
94.31/94.37	c |    210660 |   66881   508394  2012474 | 2147483647   202076     26 |  2.740 % |
94.41/94.47	c |    211069 |   66881   508394  2012474 | 2147483647   202485     26 |  2.740 % |
94.72/94.75	c |    211518 |   66881   508394  2012474 | 2147483647   202934     26 |  2.740 % |
95.02/95.02	c |    212012 |   66881   508394  2012474 | 2147483647   203428     26 |  2.740 % |
95.42/95.45	c |    212554 |   66881   508394  2012474 | 2147483647   203970     26 |  2.740 % |
95.62/95.69	c |    213150 |   66880   508394  2012474 | 2147483647   204565     26 |  2.745 % |
96.32/96.39	c |    213806 |   66870   508394  2012474 | 2147483647   205221     26 |  2.745 % |
96.62/96.70	c |    214526 |   66870   508394  2012474 | 2147483647   205941     26 |  2.745 % |
96.92/96.96	c |    215318 |   66870   508394  2012474 | 2147483647   206733     26 |  2.745 % |
97.32/97.39	c |    216190 |   66869   508394  2012474 | 2147483647   207604     26 |  2.746 % |
97.92/98.01	c |    217148 |   66869   508394  2012474 | 2147483647   208562     26 |  2.746 % |
98.42/98.49	c |    218201 |   66869   508394  2012474 | 2147483647   209615     26 |  2.746 % |
98.92/98.99	c |    219360 |   66866   508394  2012474 | 2147483647   210772     26 |  2.756 % |
99.42/99.46	c |    220633 |   66863   508394  2012474 | 2147483647   212043     26 |  2.771 % |
100.52/100.52	c |    222034 |   66853   508394  2012474 | 2147483647   213444     26 |  2.771 % |
101.12/101.20	c |    223574 |   66843   507071  2006882 | 2147483647   199472     24 |  2.771 % |
101.42/101.48	c |    225268 |   66843   507071  2006882 | 2147483647   201166     24 |  2.771 % |
102.62/102.65	c |    227133 |   66843   507071  2006882 | 2147483647   203031     24 |  2.771 % |
103.82/103.84	c |    229182 |   66843   507071  2006882 | 2147483647   205080     24 |  2.771 % |
104.32/104.33	c |    231435 |   66843   507071  2006882 | 2147483647   207333     24 |  2.771 % |
104.42/104.43	c |    231535 |   66843   507071  2006882 | 2147483647   207433     24 |  2.771 % |
104.52/104.54	c |    231645 |   66843   507071  2006882 | 2147483647   207543     24 |  2.771 % |
104.62/104.67	c |    231766 |   66805   507071  2006882 | 2147483647   207663     24 |  2.962 % |
104.72/104.81	c |    231899 |   66805   507071  2006882 | 2147483647   207796     24 |  2.962 % |
104.92/104.92	c |    232045 |   66805   507071  2006882 | 2147483647   207942     24 |  2.962 % |
105.02/105.03	c |    232206 |   66805   507071  2006882 | 2147483647   208103     24 |  2.962 % |
105.12/105.15	c |    232382 |   66805   507071  2006882 | 2147483647   208279     24 |  2.962 % |
105.12/105.19	c |    232576 |   66805   507071  2006882 | 2147483647   208473     24 |  2.962 % |
105.22/105.30	c |    232788 |   66799   507071  2006882 | 2147483647   208684     24 |  2.979 % |
105.42/105.45	c |    233021 |   66797   507071  2006882 | 2147483647   208917     24 |  2.979 % |
105.52/105.59	c |    233278 |   66797   507071  2006882 | 2147483647   209174     24 |  2.979 % |
105.72/105.79	c |    233560 |   66797   507071  2006882 | 2147483647   209456     24 |  2.979 % |
106.12/106.17	c |    233870 |   66787   507071  2006882 | 2147483647   209766     24 |  2.979 % |
106.32/106.41	c |    234209 |   66787   507071  2006882 | 2147483647   210105     24 |  2.979 % |
106.62/106.67	c |    234581 |   66787   507071  2006882 | 2147483647   210477     24 |  2.979 % |
106.92/106.96	c |    234993 |   66787   507071  2006882 | 2147483647   210889     24 |  2.979 % |
107.52/107.59	c |    235444 |   66754   507071  2006882 | 2147483647   211340     24 |  2.979 % |
107.62/107.62	c |    235937 |   66754   507071  2006882 | 2147483647   211833     24 |  2.979 % |
107.72/107.81	c |    236482 |   66750   507071  2006882 | 2147483647   212376     24 |  2.985 % |
107.92/107.95	c |    237085 |   66750   507071  2006882 | 2147483647   212979     24 |  2.985 % |
108.32/108.39	c |    237740 |   66750   507071  2006882 | 2147483647   213634     24 |  2.985 % |
108.52/108.56	c |    238462 |   66750   507071  2006882 | 2147483647   214356     24 |  2.985 % |
108.72/108.78	c |    239254 |   66750   507071  2006882 | 2147483647   215148     24 |  2.985 % |
109.02/109.03	c |    240125 |   66750   507071  2006882 | 2147483647   216019     24 |  2.985 % |
109.42/109.47	c |    241085 |   66750   507071  2006882 | 2147483647   216979     24 |  2.985 % |
110.22/110.24	c |    242138 |   66696   504197  1994989 | 2147483647   199854     23 |  2.985 % |
111.02/111.03	c |    243296 |   66696   504197  1994989 | 2147483647   201012     23 |  2.985 % |
111.32/111.34	c |    244572 |   66696   504197  1994989 | 2147483647   202288     23 |  2.985 % |
112.72/112.75	c |    245972 |   66684   504197  1994989 | 2147483647   203685     23 |  3.007 % |
113.22/113.24	c |    247513 |   66683   504197  1994989 | 2147483647   205225     23 |  3.023 % |
113.62/113.69	c |    249207 |   66682   504197  1994989 | 2147483647   206919     23 |  3.023 % |
114.02/114.05	c |    251072 |   66682   504197  1994989 | 2147483647   208784     23 |  3.023 % |
114.92/114.92	c |    253121 |   66682   504197  1994989 | 2147483647   210833     23 |  3.023 % |
115.12/115.12	c |    255378 |   66682   504197  1994989 | 2147483647   213090     23 |  3.023 % |
116.22/116.22	c |    257857 |   66682   504197  1994989 | 2147483647   215569     23 |  3.023 % |
116.32/116.33	c |    257958 |   66682   504197  1994989 | 2147483647   215670     23 |  3.023 % |
116.42/116.45	c |    258068 |   66672   504197  1994989 | 2147483647   215777     23 |  3.066 % |
116.52/116.54	c |    258189 |   66663   504197  1994989 | 2147483647   215898     23 |  3.066 % |
116.62/116.63	c |    258323 |   66655   504197  1994989 | 2147483647   216032     23 |  3.066 % |
116.72/116.75	c |    258470 |   66655   504197  1994989 | 2147483647   216179     23 |  3.066 % |
116.82/116.84	c |    258632 |   66655   504197  1994989 | 2147483647   216341     23 |  3.066 % |
116.92/117.01	c |    258809 |   66655   504197  1994989 | 2147483647   216518     23 |  3.066 % |
117.02/117.05	c |    259003 |   66655   504197  1994989 | 2147483647   216712     23 |  3.066 % |
117.12/117.19	c |    259215 |   66655   504197  1994989 | 2147483647   216924     23 |  3.066 % |
117.32/117.32	c |    259449 |   66655   504197  1994989 | 2147483647   217158     23 |  3.066 % |
117.32/117.36	c |    259705 |   66655   504197  1994989 | 2147483647   217414     23 |  3.066 % |
117.42/117.47	c |    259988 |   66655   504197  1994989 | 2147483647   217697     23 |  3.066 % |
117.62/117.65	c |    260298 |   66655   504197  1994989 | 2147483647   218007     23 |  3.066 % |
117.72/117.78	c |    260638 |   66640   503543  1992288 | 2147483647   214091     23 |  3.066 % |
117.92/117.93	c |    261010 |   66640   503543  1992288 | 2147483647   214463     23 |  3.066 % |
118.22/118.22	c |    261420 |   66637   503543  1992288 | 2147483647   214872     23 |  3.071 % |
118.52/118.53	c |    261869 |   66637   503543  1992288 | 2147483647   215321     23 |  3.071 % |
118.82/118.86	c |    262362 |   66637   503543  1992288 | 2147483647   215814     23 |  3.071 % |
119.12/119.20	c |    262904 |   66637   503543  1992288 | 2147483647   216356     23 |  3.071 % |
119.62/119.70	c |    263502 |   66637   503543  1992288 | 2147483647   216954     23 |  3.071 % |
119.92/119.96	c |    264158 |   66637   503543  1992288 | 2147483647   217610     23 |  3.071 % |
120.12/120.16	c |    264878 |   66637   503543  1992288 | 2147483647   218330     23 |  3.071 % |
120.22/120.31	c |    265670 |   66637   503543  1992288 | 2147483647   219122     23 |  3.071 % |
120.72/120.76	c |    266542 |   66637   503543  1992288 | 2147483647   219994     23 |  3.071 % |
120.92/120.92	c |    267500 |   66637   503543  1992288 | 2147483647   220952     23 |  3.071 % |
121.22/121.27	c |    268554 |   66637   503543  1992288 | 2147483647   222006     23 |  3.071 % |
121.52/121.59	c |    269712 |   66637   503543  1992288 | 2147483647   223164     23 |  3.071 % |
121.82/121.84	c |    270985 |   66637   503543  1992288 | 2147483647   224437     23 |  3.071 % |
122.52/122.57	c |    272386 |   66637   503543  1992288 | 2147483647   225838     23 |  3.071 % |
123.02/123.09	c |    273927 |   66637   503543  1992288 | 2147483647   227379     23 |  3.071 % |
123.32/123.40	c |    275621 |   66637   503543  1992288 | 2147483647   229073     23 |  3.071 % |
124.22/124.22	c |    277485 |   66637   503543  1992288 | 2147483647   230937     23 |  3.071 % |
124.62/124.70	c |    279535 |   66637   503543  1992288 | 2147483647   232987     23 |  3.071 % |
125.12/125.14	c |    281788 |   66637   503543  1992288 | 2147483647   235240     23 |  3.071 % |
126.72/126.79	c |    284266 |   66634   503543  1992288 | 2147483647   237717     23 |  3.078 % |
128.42/128.48	c |    286991 |   66626   503505  1992103 | 2147483647   240023     23 |  3.087 % |
128.52/128.56	c |    287091 |   66622   503505  1992103 | 2147483647   240121     23 |  3.122 % |
128.72/128.72	c |    287201 |   66618   503505  1992103 | 2147483647   240231     23 |  3.122 % |
128.82/128.84	c |    287322 |   66618   503505  1992103 | 2147483647   240352     23 |  3.122 % |
129.02/129.04	c |    287455 |   66618   503505  1992103 | 2147483647   240485     23 |  3.122 % |
129.12/129.12	c |    287602 |   66618   503505  1992103 | 2147483647   240632     23 |  3.122 % |
129.22/129.25	c |    287763 |   66617   503505  1992103 | 2147483647   240792     23 |  3.123 % |
129.32/129.40	c |    287940 |   66617   503505  1992103 | 2147483647   240969     23 |  3.123 % |
129.52/129.57	c |    288134 |   66617   503505  1992103 | 2147483647   241163     23 |  3.123 % |
129.72/129.77	c |    288347 |   66617   503505  1992103 | 2147483647   241376     23 |  3.123 % |
130.02/130.07	c |    288581 |   66613   503505  1992103 | 2147483647   241610     23 |  3.123 % |
130.22/130.27	c |    288837 |   66613   503505  1992103 | 2147483647   241866     23 |  3.123 % |
130.52/130.55	c |    289118 |   66613   503505  1992103 | 2147483647   242147     23 |  3.123 % |
130.72/130.80	c |    289428 |   66613   503505  1992103 | 2147483647   242457     23 |  3.123 % |
130.92/130.98	c |    289768 |   66613   503505  1992103 | 2147483647   242797     23 |  3.123 % |
131.32/131.36	c |    290141 |   66613   503505  1992103 | 2147483647   243170     23 |  3.123 % |
131.82/131.81	c |    290552 |   66608   503505  1992103 | 2147483647   243580     23 |  3.130 % |
132.02/132.11	c |    291002 |   66608   503505  1992103 | 2147483647   244030     23 |  3.130 % |
132.32/132.36	c |    291495 |   66607   503505  1992103 | 2147483647   244522     23 |  3.132 % |
132.82/132.82	c |    292037 |   66607   503505  1992103 | 2147483647   245064     23 |  3.132 % |
133.02/133.03	c |    292633 |   66607   503505  1992103 | 2147483647   245660     23 |  3.132 % |
133.12/133.21	c |    293289 |   66607   503505  1992103 | 2147483647   246316     23 |  3.132 % |
133.62/133.63	c |    294010 |   66607   503505  1992103 | 2147483647   247037     23 |  3.132 % |
134.42/134.47	c |    294802 |   66607   503505  1992103 | 2147483647   247829     23 |  3.132 % |
134.92/134.92	c |    295673 |   66607   503505  1992103 | 2147483647   248700     23 |  3.132 % |
135.12/135.17	c |    296631 |   66607   503505  1992103 | 2147483647   249658     23 |  3.132 % |
136.42/136.44	c |    297684 |   66603   503505  1992103 | 2147483647   250710     23 |  3.138 % |
136.62/136.69	c |    298842 |   66603   503505  1992103 | 2147483647   251868     23 |  3.138 % |
137.12/137.17	c |    300115 |   66591   502920  1989674 | 2147483647   251475     23 |  3.138 % |
137.82/137.87	c |    301516 |   66591   502920  1989674 | 2147483647   252876     23 |  3.138 % |
138.82/138.85	c |    303056 |   66588   502920  1989674 | 2147483647   254415     23 |  3.142 % |
139.52/139.51	c |    304750 |   66588   502920  1989674 | 2147483647   256109     23 |  3.142 % |
139.82/139.83	c |    306613 |   66588   502920  1989674 | 2147483647   257972     23 |  3.142 % |
140.82/140.89	c |    308663 |   66586   502920  1989674 | 2147483647   260021     23 |  3.145 % |
141.92/142.01	c |    310919 |   66584   502920  1989674 | 2147483647   262275     23 |  3.148 % |
142.32/142.32	c |    313397 |   66584   502920  1989674 | 2147483647   264753     23 |  3.148 % |
144.32/144.37	c |    316122 |   66584   502920  1989674 | 2147483647   267478     24 |  3.148 % |
145.42/145.44	c |    319120 |   66584   502920  1989674 | 2147483647   270476     24 |  3.148 % |
145.42/145.50	c |    319220 |   66584   502920  1989674 | 2147483647   270576     24 |  3.148 % |
145.52/145.59	c |    319331 |   66584   502920  1989674 | 2147483647   270687     24 |  3.148 % |
145.62/145.68	c |    319452 |   66584   502920  1989674 | 2147483647   270808     24 |  3.148 % |
145.82/145.87	c |    319587 |   66579   502920  1989674 | 2147483647   270941     24 |  3.155 % |
145.92/146.00	c |    319735 |   66579   502920  1989674 | 2147483647   271089     24 |  3.155 % |
146.12/146.19	c |    319895 |   66579   502920  1989674 | 2147483647   271249     24 |  3.155 % |
146.32/146.39	c |    320071 |   66579   502920  1989674 | 2147483647   271425     24 |  3.155 % |
146.52/146.59	c |    320264 |   66579   502920  1989674 | 2147483647   271618     24 |  3.155 % |
146.92/147.01	c |    320477 |   66579   502920  1989674 | 2147483647   271831     24 |  3.155 % |
147.22/147.21	c |    320712 |   66578   502920  1989674 | 2147483647   272065     24 |  3.156 % |
147.52/147.55	c |    320969 |   66578   502920  1989674 | 2147483647   272322     24 |  3.156 % |
147.62/147.69	c |    321251 |   66578   502920  1989674 | 2147483647   272604     24 |  3.156 % |
148.12/148.11	c |    321561 |   66578   502920  1989674 | 2147483647   272914     24 |  3.156 % |
148.52/148.52	c |    321901 |   66578   502741  1988832 | 2147483647   270831     23 |  3.156 % |
148.72/148.80	c |    322273 |   66578   502741  1988832 | 2147483647   271203     23 |  3.156 % |
149.02/149.03	c |    322682 |   66578   502741  1988832 | 2147483647   271612     23 |  3.156 % |
149.32/149.33	c |    323131 |   66578   502741  1988832 | 2147483647   272061     23 |  3.156 % |
149.52/149.54	c |    323625 |   66578   502741  1988832 | 2147483647   272555     23 |  3.156 % |
149.82/149.86	c |    324168 |   66578   502741  1988832 | 2147483647   273098     23 |  3.156 % |
150.02/150.08	c |    324764 |   66578   502741  1988832 | 2147483647   273694     23 |  3.156 % |
150.22/150.25	c |    325419 |   66578   502741  1988832 | 2147483647   274349     23 |  3.156 % |
150.82/150.91	c |    326139 |   66578   502741  1988832 | 2147483647   275069     23 |  3.156 % |
151.22/151.21	c |    326931 |   66578   502741  1988832 | 2147483647   275861     23 |  3.156 % |
151.72/151.74	c |    327802 |   66578   502741  1988832 | 2147483647   276732     24 |  3.156 % |
152.02/152.02	c |    328763 |   66578   502741  1988832 | 2147483647   277693     24 |  3.156 % |
152.22/152.30	c |    329818 |   66578   502741  1988832 | 2147483647   278748     24 |  3.156 % |
152.62/152.67	c |    330978 |   66573   502741  1988832 | 2147483647   279906     24 |  3.165 % |
152.92/152.97	c |    332253 |   66573   502741  1988832 | 2147483647   281181     24 |  3.165 % |
153.52/153.59	c |    333654 |   66572   502741  1988832 | 2147483647   282582     24 |  3.165 % |
154.12/154.16	c |    335194 |   66566   502741  1988832 | 2147483647   284121     24 |  3.263 % |
154.72/154.72	c |    336889 |   66557   502741  1988832 | 2147483647   285816     24 |  3.263 % |
156.02/156.10	c |    338753 |   66557   502741  1988832 | 2147483647   287680     24 |  3.263 % |
157.42/157.42	c |    340803 |   66557   502741  1988832 | 2147483647   289730     24 |  3.263 % |
158.32/158.38	c |    343058 |   66557   502741  1988832 | 2147483647   291985     24 |  3.263 % |
160.12/160.16	c |    345537 |   66557   502741  1988832 | 2147483647   294464     24 |  3.263 % |
161.72/161.76	c |    348262 |   66504   501213  1983252 | 2147483647   296959     24 |  3.264 % |
163.32/163.40	c |    351259 |   66487   501213  1983252 | 2147483647   299955     24 |  3.289 % |
165.32/165.37	c |    354555 |   66487   501213  1983252 | 2147483647   303251     24 |  3.289 % |
165.42/165.45	c |    354655 |   66487   501213  1983252 | 2147483647   303351     24 |  3.289 % |
165.42/165.49	c |    354766 |   66487   501213  1983252 | 2147483647   303462     24 |  3.289 % |
165.52/165.54	c |    354890 |   66487   501213  1983252 | 2147483647   303586     24 |  3.289 % |
165.52/165.56	c |    355024 |   66487   501213  1983252 | 2147483647   303720     24 |  3.289 % |
165.72/165.79	c |    355170 |   66487   501213  1983252 | 2147483647   303866     24 |  3.289 % |
165.92/165.91	c |    355334 |   66487   501213  1983252 | 2147483647   304030     24 |  3.289 % |
166.02/166.07	c |    355510 |   66487   501213  1983252 | 2147483647   304206     24 |  3.289 % |
166.12/166.19	c |    355707 |   66483   501213  1983252 | 2147483647   304402     24 |  3.298 % |
166.42/166.43	c |    355919 |   66482   501213  1983252 | 2147483647   304614     24 |  3.298 % |
166.62/166.65	c |    356152 |   66482   501213  1983252 | 2147483647   304847     24 |  3.298 % |
166.82/166.83	c |    356408 |   66482   501213  1983252 | 2147483647   305103     24 |  3.298 % |
167.02/167.03	c |    356690 |   66482   501213  1983252 | 2147483647   305385     24 |  3.298 % |
167.33/167.34	c |    357000 |   66482   501213  1983252 | 2147483647   305695     24 |  3.298 % |
167.52/167.57	c |    357339 |   66482   501213  1983252 | 2147483647   306034     24 |  3.298 % |
167.82/167.85	c |    357711 |   66482   501213  1983252 | 2147483647   306406     24 |  3.298 % |
168.22/168.27	c |    358121 |   66482   501213  1983252 | 2147483647   306816     24 |  3.298 % |
168.52/168.54	c |    358576 |   66482   501213  1983252 | 2147483647   307271     24 |  3.298 % |
168.92/168.92	c |    359070 |   66482   501213  1983252 | 2147483647   307765     24 |  3.298 % |
169.32/169.37	c |    359612 |   66482   501213  1983252 | 2147483647   308307     24 |  3.298 % |
169.53/169.59	c |    360209 |   66482   501213  1983252 | 2147483647   308904     24 |  3.298 % |
170.02/170.08	c |    360865 |   66482   501213  1983252 | 2147483647   309560     24 |  3.298 % |
170.63/170.63	c |    361588 |   66482   501213  1983252 | 2147483647   310283     24 |  3.298 % |
171.22/171.22	c |    362380 |   66481   501213  1983252 | 2147483647   311074     24 |  3.299 % |
171.62/171.64	c |    363253 |   66481   501213  1983252 | 2147483647   311947     24 |  3.299 % |
172.02/172.07	c |    364211 |   66481   501213  1983252 | 2147483647   312905     24 |  3.299 % |
173.12/173.20	c |    365264 |   66481   501213  1983252 | 2147483647   313958     24 |  3.299 % |
173.62/173.70	c |    366422 |   66481   501213  1983252 | 2147483647   315116     24 |  3.299 % |
174.52/174.52	c |    367695 |   66479   500847  1981765 | 2147483647   312268     24 |  3.300 % |
175.22/175.29	c |    369095 |   66476   500847  1981765 | 2147483647   313666     24 |  3.305 % |
175.92/175.98	c |    370635 |   66476   500847  1981765 | 2147483647   315206     24 |  3.305 % |
176.42/176.42	c |    372330 |   66476   500847  1981765 | 2147483647   316901     24 |  3.305 % |
177.02/177.08	c |    374193 |   66476   500847  1981765 | 2147483647   318764     25 |  3.305 % |
178.02/178.08	c |    376244 |   66476   500847  1981765 | 2147483647   320815     24 |  3.305 % |
179.52/179.55	c |    378497 |   66476   500847  1981765 | 2147483647   323068     25 |  3.305 % |
180.22/180.21	c |    380976 |   66476   500847  1981765 | 2147483647   325547     25 |  3.305 % |
180.92/180.95	c |    383701 |   66476   500847  1981765 | 2147483647   328272     25 |  3.305 % |
182.62/182.64	c |    386699 |   66476   500847  1981765 | 2147483647   331270     25 |  3.305 % |
184.02/184.10	c |    389997 |   66471   500847  1981765 | 2147483647   334566     25 |  3.312 % |
185.72/185.77	c |    393623 |   66469   500847  1981765 | 2147483647   338190     25 |  3.315 % |
185.82/185.88	c |    393723 |   66469   500847  1981765 | 2147483647   338290     25 |  3.315 % |
185.92/185.94	c |    393833 |   66469   500847  1981765 | 2147483647   338400     25 |  3.315 % |
186.12/186.13	c |    393954 |   66469   500847  1981765 | 2147483647   338521     25 |  3.315 % |
186.22/186.23	c |    394087 |   66469   500847  1981765 | 2147483647   338654     25 |  3.315 % |
186.32/186.39	c |    394233 |   66469   500847  1981765 | 2147483647   338800     25 |  3.315 % |
186.52/186.55	c |    394396 |   66469   500847  1981765 | 2147483647   338963     25 |  3.315 % |
186.62/186.61	c |    394572 |   66469   500847  1981765 | 2147483647   339139     25 |  3.315 % |
186.72/186.77	c |    394766 |   66469   500847  1981765 | 2147483647   339333     25 |  3.315 % |
187.02/187.10	c |    394980 |   66469   500847  1981765 | 2147483647   339547     25 |  3.315 % |
187.32/187.33	c |    395213 |   66469   500847  1981765 | 2147483647   339780     25 |  3.315 % |
187.52/187.54	c |    395470 |   66469   500847  1981765 | 2147483647   340037     25 |  3.315 % |
187.92/188.00	c |    395752 |   66468   500847  1981765 | 2147483647   340318     25 |  3.318 % |
188.23/188.28	c |    396062 |   66468   500847  1981765 | 2147483647   340628     25 |  3.318 % |
188.62/188.65	c |    396401 |   66467   500847  1981765 | 2147483647   340966     25 |  3.319 % |
188.92/188.96	c |    396773 |   66467   500847  1981765 | 2147483647   341338     25 |  3.319 % |
189.22/189.23	c |    397182 |   66467   500847  1981765 | 2147483647   341747     25 |  3.319 % |
189.62/189.65	c |    397631 |   66467   500847  1981765 | 2147483647   342196     25 |  3.319 % |
190.02/190.08	c |    398124 |   66466   500714  1981116 | 2147483647   340627     25 |  3.319 % |
190.32/190.37	c |    398666 |   66466   500714  1981116 | 2147483647   341169     25 |  3.319 % |
190.82/190.86	c |    399262 |   66466   500714  1981116 | 2147483647   341765     25 |  3.319 % |
191.42/191.46	c |    399917 |   66466   500714  1981116 | 2147483647   342420     25 |  3.319 % |
191.82/191.87	c |    400638 |   66466   500714  1981116 | 2147483647   343141     25 |  3.319 % |
192.32/192.40	c |    401430 |   66466   500714  1981116 | 2147483647   343933     25 |  3.319 % |
193.12/193.19	c |    402304 |   66466   500714  1981116 | 2147483647   344807     25 |  3.319 % |
193.92/194.00	c |    403263 |   66463   500714  1981116 | 2147483647   345764     25 |  3.324 % |
195.22/195.21	c |    404316 |   66460   500714  1981116 | 2147483647   346816     25 |  3.331 % |
195.82/195.89	c |    405475 |   66458   500714  1981116 | 2147483647   347975     25 |  3.331 % |
196.42/196.44	c |    406750 |   66458   500714  1981116 | 2147483647   349250     25 |  3.331 % |
197.72/197.75	c |    408150 |   66458   500714  1981116 | 2147483647   350650     25 |  3.331 % |
199.02/199.04	c |    409690 |   66458   500714  1981116 | 2147483647   352190     25 |  3.331 % |
200.02/200.04	c |    411384 |   66458   500714  1981116 | 2147483647   353884     25 |  3.331 % |
200.72/200.75	c |    413248 |   66458   500714  1981116 | 2147483647   355748     25 |  3.331 % |
201.22/201.23	c |    415298 |   66458   500714  1981116 | 2147483647   357798     25 |  3.331 % |
203.42/203.44	c |    417551 |   66458   500714  1981116 | 2147483647   360051     25 |  3.331 % |
205.32/205.38	c |    420030 |   66458   500714  1981116 | 2147483647   362530     25 |  3.331 % |
206.12/206.22	c |    422756 |   66458   500714  1981116 | 2147483647   365256     25 |  3.331 % |
207.23/207.27	c |    425754 |   66458   500714  1981116 | 2147483647   368254     25 |  3.331 % |
209.73/209.74	c |    429051 |   66458   500714  1981116 | 2147483647   371551     25 |  3.331 % |
211.32/211.38	c |    432678 |   66458   500637  1980865 | 2147483647   374925     26 |  3.331 % |
213.52/213.56	c |    436665 |   66458   500637  1980865 | 2147483647   378912     26 |  3.331 % |
213.62/213.65	c |    436766 |   66458   500637  1980865 | 2147483647   379013     26 |  3.331 % |
213.82/213.81	c |    436876 |   66458   500637  1980865 | 2147483647   379123     26 |  3.331 % |
214.02/214.02	c |    436998 |   66458   500637  1980865 | 2147483647   379245     26 |  3.331 % |
214.02/214.10	c |    437132 |   66458   500637  1980865 | 2147483647   379379     26 |  3.331 % |
214.22/214.24	c |    437278 |   66458   500637  1980865 | 2147483647   379525     26 |  3.331 % |
214.42/214.45	c |    437438 |   66458   500637  1980865 | 2147483647   379685     26 |  3.331 % |
214.72/214.79	c |    437614 |   66458   500637  1980865 | 2147483647   379861     26 |  3.331 % |
215.02/215.02	c |    437807 |   66458   500637  1980865 | 2147483647   380054     26 |  3.331 % |
215.12/215.14	c |    438019 |   66458   500637  1980865 | 2147483647   380266     26 |  3.331 % |
215.32/215.34	c |    438255 |   66458   500637  1980865 | 2147483647   380502     26 |  3.331 % |
215.52/215.56	c |    438514 |   66458   500637  1980865 | 2147483647   380761     26 |  3.331 % |
215.72/215.74	c |    438795 |   66458   500637  1980865 | 2147483647   381042     26 |  3.331 % |
216.02/216.03	c |    439107 |   66458   500637  1980865 | 2147483647   381354     26 |  3.331 % |
216.62/216.68	c |    439447 |   66457   500637  1980865 | 2147483647   381693     26 |  3.332 % |
216.92/216.96	c |    439819 |   66457   500637  1980865 | 2147483647   382065     26 |  3.332 % |
217.32/217.38	c |    440229 |   66457   500637  1980865 | 2147483647   382475     26 |  3.332 % |
217.62/217.69	c |    440681 |   66457   500637  1980865 | 2147483647   382927     26 |  3.332 % |
218.02/218.10	c |    441176 |   66456   500637  1980865 | 2147483647   383421     26 |  3.334 % |
218.52/218.59	c |    441718 |   66456   500637  1980865 | 2147483647   383963     26 |  3.334 % |
218.62/218.69	c |    442314 |   66456   500637  1980865 | 2147483647   384559     26 |  3.334 % |
219.32/219.36	c |    442969 |   66456   500637  1980865 | 2147483647   385214     26 |  3.334 % |
219.72/219.80	c |    443689 |   66456   500637  1980865 | 2147483647   385934     26 |  3.334 % |
220.02/220.09	c |    444481 |   66454   500637  1980865 | 2147483647   386724     26 |  3.337 % |
220.82/220.87	c |    445352 |   66454   500637  1980865 | 2147483647   387595     26 |  3.337 % |
221.82/221.81	c |    446310 |   66454   500637  1980865 | 2147483647   388553     26 |  3.337 % |
222.42/222.47	c |    447364 |   66454   500637  1980865 | 2147483647   389607     26 |  3.337 % |
222.92/222.97	c |    448523 |   66454   500637  1980865 | 2147483647   390766     26 |  3.337 % |
223.72/223.75	c |    449796 |   66454   500637  1980865 | 2147483647   392039     26 |  3.337 % |
224.92/224.98	c |    451196 |   66449   500637  1980865 | 2147483647   393438     26 |  3.353 % |
226.02/226.10	c |    452737 |   66449   500637  1980865 | 2147483647   394979     26 |  3.353 % |
226.52/226.58	c |    454431 |   66449   500637  1980865 | 2147483647   396673     26 |  3.353 % |
227.82/227.85	c |    456294 |   66449   500637  1980865 | 2147483647   398536     26 |  3.353 % |
229.52/229.58	c |    458343 |   66443   500637  1980865 | 2147483647   400585     26 |  3.353 % |
231.62/231.64	c |    460597 |   66443   500321  1979829 | 2147483647   402666     26 |  3.353 % |
232.12/232.19	c |    463075 |   66443   500321  1979829 | 2147483647   405144     26 |  3.353 % |
234.72/234.77	c |    465800 |   66443   500321  1979829 | 2147483647   407869     26 |  3.353 % |
235.92/235.96	c |    468797 |   66443   500321  1979829 | 2147483647   410866     26 |  3.353 % |
236.52/236.56	c |    472093 |   66443   500321  1979829 | 2147483647   414162     26 |  3.353 % |
237.62/237.62	c |    475718 |   66443   500321  1979829 | 2147483647   417787     26 |  3.353 % |
240.32/240.37	c |    479706 |   66443   500321  1979829 | 2147483647   421775     26 |  3.353 % |
243.32/243.34	c |    484092 |   66443   500321  1979829 | 2147483647   426161     26 |  3.353 % |
243.42/243.48	c |    484193 |   66443   500321  1979829 | 2147483647   426262     26 |  3.353 % |
243.62/243.61	c |    484303 |   66443   500321  1979829 | 2147483647   426372     26 |  3.353 % |
243.82/243.81	c |    484424 |   66443   500321  1979829 | 2147483647   426493     26 |  3.353 % |
243.82/243.86	c |    484559 |   66443   500321  1979829 | 2147483647   426628     26 |  3.353 % |
243.92/243.91	c |    484705 |   66440   500321  1979829 | 2147483647   426773     26 |  3.357 % |
244.02/244.09	c |    484866 |   66440   500321  1979829 | 2147483647   426934     26 |  3.357 % |
244.22/244.27	c |    485043 |   66440   500321  1979829 | 2147483647   427111     26 |  3.357 % |
244.42/244.41	c |    485236 |   66440   500321  1979829 | 2147483647   427304     26 |  3.357 % |
244.42/244.49	c |    485448 |   66440   500321  1979829 | 2147483647   427516     26 |  3.357 % |
244.62/244.67	c |    485682 |   66440   500321  1979829 | 2147483647   427750     26 |  3.357 % |
244.72/244.80	c |    485941 |   66440   500321  1979829 | 2147483647   428009     26 |  3.357 % |
245.12/245.12	c |    486222 |   66440   500321  1979829 | 2147483647   428290     26 |  3.357 % |
245.42/245.46	c |    486531 |   66440   500321  1979829 | 2147483647   428599     26 |  3.357 % |
245.62/245.65	c |    486871 |   66440   500321  1979829 | 2147483647   428939     26 |  3.357 % |
246.02/246.02	c |    487247 |   66440   500321  1979829 | 2147483647   429315     26 |  3.357 % |
246.42/246.43	c |    487656 |   66440   500321  1979829 | 2147483647   429724     26 |  3.357 % |
246.82/246.88	c |    488106 |   66440   500321  1979829 | 2147483647   430174     26 |  3.357 % |
247.22/247.27	c |    488599 |   66440   500321  1979829 | 2147483647   430667     26 |  3.357 % |
247.92/247.93	c |    489141 |   66440   500321  1979829 | 2147483647   431209     26 |  3.357 % |
248.52/248.53	c |    489741 |   66440   500321  1979829 | 2147483647   431809     26 |  3.357 % |
249.12/249.15	c |    490398 |   66440   500321  1979829 | 2147483647   432466     26 |  3.357 % |
249.92/249.96	c |    491118 |   66440   500321  1979829 | 2147483647   433186     26 |  3.357 % |
251.32/251.38	c |    491910 |   66440   500321  1979829 | 2147483647   433978     26 |  3.357 % |
251.52/251.54	c |    492784 |   66440   500321  1979829 | 2147483647   434852     26 |  3.357 % |
252.42/252.47	c |    493742 |   66440   500321  1979829 | 2147483647   435810     26 |  3.357 % |
253.42/253.41	c |    494795 |   66440   500321  1979829 | 2147483647   436863     26 |  3.357 % |
254.52/254.53	c |    495953 |   66440   500218  1979503 | 2147483647   438013     26 |  3.357 % |
254.92/254.99	c |    497226 |   66440   500218  1979503 | 2147483647   439286     26 |  3.357 % |
255.72/255.74	c |    498627 |   66432   500218  1979503 | 2147483647   440686     26 |  3.369 % |
256.22/256.23	c |    500167 |   66432   500218  1979503 | 2147483647   442226     26 |  3.369 % |
258.42/258.45	c |    501861 |   66432   500218  1979503 | 2147483647   443920     26 |  3.369 % |
259.52/259.56	c |    503724 |   66432   500218  1979503 | 2147483647   445783     26 |  3.369 % |
260.22/260.28	c |    505776 |   66432   500218  1979503 | 2147483647   447835     26 |  3.369 % |
262.53/262.53	c |    508031 |   66432   500218  1979503 | 2147483647   450090     26 |  3.369 % |
263.13/263.17	c |    510512 |   66432   500218  1979503 | 2147483647   452571     26 |  3.369 % |
264.73/264.73	c |    513238 |   66432   500218  1979503 | 2147483647   455297     26 |  3.369 % |
265.73/265.79	c |    516235 |   66432   500218  1979503 | 2147483647   458294     26 |  3.369 % |
268.73/268.72	c |    519531 |   66432   500218  1979503 | 2147483647   461590     27 |  3.369 % |
271.13/271.17	c |    523156 |   66427   500218  1979503 | 2147483647   465214     27 |  3.376 % |
273.23/273.23	c |    527143 |   66427   500218  1979503 | 2147483647   469201     27 |  3.376 % |
276.33/276.40	c |    531528 |   66427   500218  1979503 | 2147483647   473586     27 |  3.376 % |
278.53/278.59	c |    536353 |   66427   500218  1979503 | 2147483647   478411     27 |  3.376 % |
279.03/279.03	c |    536453 |   66427   500030  1978769 | 2147483647   477450     27 |  3.376 % |
279.23/279.27	c |    536564 |   66427   500030  1978769 | 2147483647   477561     27 |  3.376 % |
279.33/279.39	c |    536688 |   66427   500030  1978769 | 2147483647   477685     27 |  3.376 % |
279.43/279.51	c |    536822 |   66427   500030  1978769 | 2147483647   477819     27 |  3.376 % |
279.73/279.79	c |    536969 |   66427   500030  1978769 | 2147483647   477966     27 |  3.376 % |
280.03/280.02	c |    537129 |   66427   500030  1978769 | 2147483647   478126     27 |  3.376 % |
280.13/280.20	c |    537308 |   66427   500030  1978769 | 2147483647   478305     27 |  3.376 % |
280.43/280.50	c |    537503 |   66427   500030  1978769 | 2147483647   478500     27 |  3.376 % |
280.73/280.77	c |    537719 |   66427   500030  1978769 | 2147483647   478716     27 |  3.376 % |
280.93/280.93	c |    537954 |   66427   500030  1978769 | 2147483647   478951     27 |  3.376 % |
281.13/281.17	c |    538210 |   66427   500030  1978769 | 2147483647   479207     27 |  3.376 % |
281.43/281.44	c |    538492 |   66427   500030  1978769 | 2147483647   479489     27 |  3.376 % |
281.74/281.79	c |    538801 |   66427   500030  1978769 | 2147483647   479798     27 |  3.376 % |
282.13/282.17	c |    539141 |   66427   500030  1978769 | 2147483647   480138     27 |  3.376 % |
282.73/282.74	c |    539514 |   66427   500030  1978769 | 2147483647   480511     27 |  3.376 % |
283.23/283.28	c |    539923 |   66427   500030  1978769 | 2147483647   480920     27 |  3.376 % |
283.83/283.82	c |    540373 |   66427   500030  1978769 | 2147483647   481370     27 |  3.376 % |
284.63/284.64	c |    540867 |   66425   500030  1978769 | 2147483647   481863     27 |  3.379 % |
285.23/285.22	c |    541409 |   66425   500030  1978769 | 2147483647   482405     27 |  3.379 % |
285.33/285.41	c |    542005 |   66425   500030  1978769 | 2147483647   483001     27 |  3.379 % |
285.83/285.90	c |    542661 |   66425   500030  1978769 | 2147483647   483657     27 |  3.379 % |
287.33/287.39	c |    543381 |   66425   500030  1978769 | 2147483647   484377     27 |  3.379 % |
287.83/287.91	c |    544173 |   66425   500030  1978769 | 2147483647   485169     27 |  3.379 % |
288.73/288.71	c |    545049 |   66425   500030  1978769 | 2147483647   486045     27 |  3.379 % |
289.13/289.16	c |    546008 |   66425   500030  1978769 | 2147483647   487004     27 |  3.379 % |
289.93/289.99	c |    547061 |   66425   500030  1978769 | 2147483647   488057     27 |  3.379 % |
290.73/290.75	c |    548219 |   66425   500030  1978769 | 2147483647   489215     27 |  3.379 % |
292.13/292.16	c |    549492 |   66425   500030  1978769 | 2147483647   490488     27 |  3.379 % |
293.03/293.09	c |    550892 |   66425   500030  1978769 | 2147483647   491888     27 |  3.379 % |
293.93/293.93	c |    552432 |   66425   500030  1978769 | 2147483647   493428     27 |  3.379 % |
294.83/294.83	c |    554127 |   66425   500030  1978769 | 2147483647   495123     27 |  3.379 % |
296.23/296.22	c |    555990 |   66425   500030  1978769 | 2147483647   496986     27 |  3.379 % |
297.73/297.75	c |    558040 |   66425   500030  1978769 | 2147483647   499036     27 |  3.379 % |
299.03/299.03	c |    560293 |   66425   500030  1978769 | 2147483647   501289     27 |  3.379 % |
302.13/302.11	c |    562774 |   66425   500030  1978769 | 2147483647   503770     27 |  3.379 % |
303.63/303.69	c |    565503 |   66425   500030  1978769 | 2147483647   506499     27 |  3.379 % |
307.23/307.26	c |    568501 |   66425   500030  1978769 | 2147483647   509497     27 |  3.379 % |
310.34/310.35	c |    571797 |   66425   500030  1978769 | 2147483647   512793     27 |  3.379 % |
312.73/312.77	c |    575422 |   66425   500030  1978769 | 2147483647   516418     27 |  3.379 % |
314.43/314.43	c |    579409 |   66425   500020  1978721 | 2147483647   520037     27 |  3.379 % |
318.64/318.69	c |    583796 |   66425   500020  1978721 | 2147483647   524424     27 |  3.379 % |
323.74/323.77	c |    588619 |   66425   500020  1978721 | 2147483647   529247     27 |  3.379 % |
324.24/324.31	c |    593925 |   66425   500020  1978721 | 2147483647   534553     27 |  3.379 % |
324.54/324.54	c |    594026 |   66425   500020  1978721 | 2147483647   534654     27 |  3.379 % |
324.64/324.66	c |    594137 |   66425   500020  1978721 | 2147483647   534765     27 |  3.379 % |
324.84/324.83	c |    594258 |   66425   500020  1978721 | 2147483647   534886     27 |  3.379 % |
325.14/325.13	c |    594391 |   66425   500020  1978721 | 2147483647   535019     27 |  3.379 % |
325.44/325.44	c |    594537 |   66425   500020  1978721 | 2147483647   535165     27 |  3.379 % |
325.64/325.69	c |    594697 |   66425   500020  1978721 | 2147483647   535325     27 |  3.379 % |
326.04/326.02	c |    594873 |   66425   500020  1978721 | 2147483647   535501     27 |  3.379 % |
326.14/326.14	c |    595067 |   66425   500020  1978721 | 2147483647   535695     27 |  3.379 % |
326.54/326.54	c |    595279 |   66425   500020  1978721 | 2147483647   535907     27 |  3.379 % |
326.94/326.98	c |    595514 |   66425   500020  1978721 | 2147483647   536142     27 |  3.379 % |
327.44/327.49	c |    595772 |   66425   500020  1978721 | 2147483647   536400     27 |  3.379 % |
328.04/328.07	c |    596053 |   66425   500020  1978721 | 2147483647   536681     27 |  3.379 % |
328.54/328.62	c |    596362 |   66425   500020  1978721 | 2147483647   536990     27 |  3.379 % |
329.34/329.34	c |    596702 |   66425   500020  1978721 | 2147483647   537330     27 |  3.379 % |
329.74/329.81	c |    597075 |   66425   500020  1978721 | 2147483647   537703     27 |  3.379 % |
330.04/330.09	c |    597486 |   66425   500020  1978721 | 2147483647   538114     27 |  3.379 % |
330.44/330.48	c |    597937 |   66424   500020  1978721 | 2147483647   538564     27 |  3.380 % |
330.94/330.95	c |    598430 |   66424   500020  1978721 | 2147483647   539057     27 |  3.380 % |
331.84/331.82	c |    598972 |   66423   500020  1978721 | 2147483647   539598     27 |  3.382 % |
332.74/332.78	c |    599568 |   66423   500020  1978721 | 2147483647   540194     27 |  3.382 % |
333.44/333.48	c |    600223 |   66423   500020  1978721 | 2147483647   540849     27 |  3.382 % |
334.24/334.28	c |    600943 |   66423   500020  1978721 | 2147483647   541569     27 |  3.382 % |
335.94/336.00	c |    601737 |   66423   500020  1978721 | 2147483647   542363     27 |  3.382 % |
337.54/337.56	c |    602608 |   66423   500020  1978721 | 2147483647   543234     27 |  3.382 % |
339.04/339.07	c |    603568 |   66418   500020  1978721 | 2147483647   544193     27 |  3.395 % |
340.04/340.11	c |    604623 |   66418   500020  1978721 | 2147483647   545248     27 |  3.395 % |
340.94/340.95	c |    605781 |   66418   500020  1978721 | 2147483647   546406     27 |  3.395 % |
342.44/342.43	c |    607054 |   66418   500020  1978721 | 2147483647   547679     27 |  3.395 % |
343.04/343.07	c |    608454 |   66418   500020  1978721 | 2147483647   549079     27 |  3.395 % |
343.94/343.98	c |    609994 |   66418   500020  1978721 | 2147483647   550619     27 |  3.395 % |
346.04/346.02	c |    611688 |   66418   500020  1978721 | 2147483647   552313     27 |  3.395 % |
348.74/348.80	c |    613551 |   66418   500020  1978721 | 2147483647   554176     27 |  3.395 % |
352.34/352.41	c |    615600 |   66418   500020  1978721 | 2147483647   556225     27 |  3.395 % |
355.14/355.16	c |    617853 |   66417   500020  1978721 | 2147483647   558477     27 |  3.396 % |
358.64/358.63	c |    620331 |   66413   499850  1978073 | 2147483647   560773     27 |  3.396 % |
363.14/363.11	c |    623056 |   66413   499850  1978073 | 2147483647   563498     28 |  3.396 % |
366.04/366.02	c |    626055 |   66413   499850  1978073 | 2147483647   566497     28 |  3.396 % |
367.64/367.63	c |    629353 |   66413   499850  1978073 | 2147483647   569795     28 |  3.396 % |
368.34/368.33	c |    632979 |   66413   499850  1978073 | 2147483647   573421     28 |  3.396 % |
373.04/373.04	c |    636968 |   66413   499850  1978073 | 2147483647   577410     28 |  3.396 % |
379.64/379.62	c |    641354 |   66412   499850  1978073 | 2147483647   581795     28 |  3.398 % |
387.44/387.42	c |    646177 |   66409   499850  1978073 | 2147483647   586617     28 |  3.402 % |
396.24/396.25	c |    651482 |   66409   499850  1978073 | 2147483647   591922     28 |  3.402 % |
399.45/399.51	c |    657317 |   66409   499850  1978073 | 2147483647   597757     28 |  3.402 % |
399.64/399.64	c |    657417 |   66409   499850  1978073 | 2147483647   597857     28 |  3.402 % |
399.84/399.88	c |    657527 |   66409   499850  1978073 | 2147483647   597967     28 |  3.402 % |
400.04/400.05	c |    657648 |   66409   499850  1978073 | 2147483647   598088     28 |  3.402 % |
400.04/400.07	c |    657781 |   66409   499850  1978073 | 2147483647   598221     28 |  3.402 % |
400.04/400.10	c |    657930 |   66409   499850  1978073 | 2147483647   598370     28 |  3.402 % |
400.24/400.31	c |    658091 |   66409   499850  1978073 | 2147483647   598531     28 |  3.402 % |
400.34/400.39	c |    658267 |   66409   499850  1978073 | 2147483647   598707     28 |  3.402 % |
400.64/400.68	c |    658460 |   66409   499850  1978073 | 2147483647   598900     28 |  3.402 % |
401.34/401.35	c |    658676 |   66409   499850  1978073 | 2147483647   599116     28 |  3.402 % |
402.04/402.06	c |    658910 |   66409   499850  1978073 | 2147483647   599350     28 |  3.402 % |
402.44/402.42	c |    659166 |   66409   499850  1978073 | 2147483647   599606     28 |  3.402 % |
403.04/403.02	c |    659447 |   66409   499850  1978073 | 2147483647   599887     28 |  3.402 % |
403.24/403.25	c |    659756 |   66409   499850  1978073 | 2147483647   600196     28 |  3.402 % |
403.94/403.98	c |    660096 |   66409   499850  1978073 | 2147483647   600536     28 |  3.402 % |
404.54/404.56	c |    660470 |   66409   499813  1977950 | 2147483647   600909     28 |  3.402 % |
405.14/405.11	c |    660880 |   66409   499813  1977950 | 2147483647   601319     28 |  3.402 % |
405.54/405.55	c |    661329 |   66409   499813  1977950 | 2147483647   601768     28 |  3.402 % |
406.24/406.23	c |    661823 |   66409   499813  1977950 | 2147483647   602262     28 |  3.402 % |
407.34/407.35	c |    662366 |   66409   499813  1977950 | 2147483647   602805     28 |  3.402 % |
408.14/408.13	c |    662966 |   66409   499813  1977950 | 2147483647   603405     28 |  3.402 % |
408.54/408.53	c |    663624 |   66409   499813  1977950 | 2147483647   604063     28 |  3.402 % |
409.14/409.12	c |    664344 |   66409   499813  1977950 | 2147483647   604783     28 |  3.402 % |
409.74/409.78	c |    665136 |   66409   499813  1977950 | 2147483647   605575     28 |  3.402 % |
411.34/411.33	c |    666009 |   66409   499813  1977950 | 2147483647   606448     28 |  3.402 % |
412.94/412.92	c |    666967 |   66409   499813  1977950 | 2147483647   607406     28 |  3.402 % |
413.84/413.86	c |    668020 |   66409   499813  1977950 | 2147483647   608459     28 |  3.402 % |
415.04/415.06	c |    669180 |   66409   499813  1977950 | 2147483647   609619     28 |  3.402 % |
417.24/417.27	c |    670454 |   66408   499813  1977950 | 2147483647   610892     28 |  3.404 % |
418.34/418.32	c |    671854 |   66408   499813  1977950 | 2147483647   612292     28 |  3.404 % |
420.35/420.37	c |    673394 |   66408   499813  1977950 | 2147483647   613832     28 |  3.404 % |
421.94/421.98	c |    675088 |   66408   499813  1977950 | 2147483647   615526     28 |  3.404 % |
423.54/423.59	c |    676951 |   66405   499813  1977950 | 2147483647   617388     28 |  3.408 % |
424.94/424.99	c |    679000 |   66405   499813  1977950 | 2147483647   619437     28 |  3.408 % |
426.44/426.45	c |    681253 |   66405   499813  1977950 | 2147483647   621690     28 |  3.408 % |
431.45/431.48	c |    683731 |   66405   499813  1977950 | 2147483647   624168     28 |  3.408 % |
432.95/432.93	c |    686459 |   66405   499813  1977950 | 2147483647   626896     28 |  3.408 % |
436.15/436.15	c |    689456 |   66405   499813  1977950 | 2147483647   629893     28 |  3.408 % |
441.25/441.23	c |    692752 |   66405   499813  1977950 | 2147483647   633189     28 |  3.408 % |
443.95/443.92	c |    696377 |   66405   499813  1977950 | 2147483647   636814     28 |  3.408 % |
448.85/448.88	c |    700364 |   66405   499813  1977950 | 2147483647   640801     28 |  3.408 % |
455.45/455.46	c |    704751 |   66405   499813  1977950 | 2147483647   645188     28 |  3.408 % |
459.55/459.59	c |    709574 |   66405   499813  1977950 | 2147483647   650011     28 |  3.408 % |
467.05/467.08	c |    714879 |   66403   499698  1977583 | 2147483647   655044     28 |  3.421 % |
469.95/469.99	c |    720715 |   66403   499698  1977583 | 2147483647   660880     28 |  3.421 % |
474.35/474.39	c |    727134 |   66403   499698  1977583 | 2147483647   667299     28 |  3.421 % |
474.65/474.65	c |    727234 |   66403   499698  1977583 | 2147483647   667399     28 |  3.421 % |
475.05/475.05	c |    727345 |   66403   499698  1977583 | 2147483647   667510     28 |  3.421 % |
475.25/475.31	c |    727466 |   66403   499698  1977583 | 2147483647   667631     28 |  3.421 % |
475.65/475.65	c |    727599 |   66403   499698  1977583 | 2147483647   667764     28 |  3.421 % |
475.85/475.87	c |    727746 |   66403   499698  1977583 | 2147483647   667911     28 |  3.421 % |
476.35/476.35	c |    727907 |   66403   499698  1977583 | 2147483647   668072     28 |  3.421 % |
476.45/476.49	c |    728083 |   66403   499698  1977583 | 2147483647   668248     28 |  3.421 % |
476.75/476.80	c |    728276 |   66403   499698  1977583 | 2147483647   668441     28 |  3.421 % |
477.45/477.42	c |    728488 |   66403   499698  1977583 | 2147483647   668653     28 |  3.421 % |
478.25/478.29	c |    728722 |   66403   499698  1977583 | 2147483647   668887     28 |  3.421 % |
478.95/478.93	c |    728978 |   66403   499698  1977583 | 2147483647   669143     28 |  3.421 % |
479.45/479.43	c |    729259 |   66403   499698  1977583 | 2147483647   669424     28 |  3.421 % |
480.35/480.35	c |    729572 |   66403   499698  1977583 | 2147483647   669737     28 |  3.421 % |
481.25/481.23	c |    729913 |   66403   499698  1977583 | 2147483647   670078     28 |  3.421 % |
481.85/481.82	c |    730287 |   66403   499698  1977583 | 2147483647   670452     28 |  3.421 % |
482.35/482.36	c |    730696 |   66403   499698  1977583 | 2147483647   670861     28 |  3.421 % |
483.15/483.12	c |    731146 |   66403   499698  1977583 | 2147483647   671311     28 |  3.421 % |
483.65/483.69	c |    731639 |   66403   499698  1977583 | 2147483647   671804     28 |  3.421 % |
484.55/484.57	c |    732182 |   66403   499698  1977583 | 2147483647   672347     28 |  3.421 % |
485.45/485.46	c |    732778 |   66403   499698  1977583 | 2147483647   672943     28 |  3.421 % |
487.45/487.51	c |    733434 |   66400   499698  1977583 | 2147483647   673598     28 |  3.426 % |
488.85/488.85	c |    734155 |   66400   499698  1977583 | 2147483647   674319     28 |  3.426 % |
489.65/489.66	c |    734947 |   66400   499698  1977583 | 2147483647   675111     28 |  3.426 % |
490.65/490.63	c |    735818 |   66400   499698  1977583 | 2147483647   675982     28 |  3.426 % |
491.95/491.95	c |    736779 |   66400   499698  1977583 | 2147483647   676943     28 |  3.426 % |
493.55/493.58	c |    737832 |   66400   499698  1977583 | 2147483647   677996     28 |  3.426 % |
497.25/497.22	c |    738991 |   66400   499698  1977583 | 2147483647   679155     28 |  3.426 % |
499.25/499.30	c |    740266 |   66400   499698  1977583 | 2147483647   680430     28 |  3.426 % |
502.15/502.17	c |    741666 |   66397   499698  1977583 | 2147483647   681829     28 |  3.430 % |
504.55/504.60	c |    743207 |   66397   499698  1977583 | 2147483647   683370     28 |  3.430 % |
507.35/507.33	c |    744901 |   66397   499698  1977583 | 2147483647   685064     28 |  3.430 % |
508.45/508.46	c |    746766 |   66397   499698  1977583 | 2147483647   686929     29 |  3.430 % |
511.45/511.44	c |    748815 |   66397   499698  1977583 | 2147483647   688978     29 |  3.430 % |
515.45/515.43	c |    751070 |   66397   499698  1977583 | 2147483647   691233     29 |  3.430 % |
516.95/517.00	c |    753551 |   66397   499698  1977583 | 2147483647   693714     29 |  3.430 % |
519.55/519.51	c |    756276 |   66394   499698  1977583 | 2147483647   696438     29 |  3.440 % |
521.45/521.42	c |    759276 |   66394   499698  1977583 | 2147483647   699438     29 |  3.440 % |
525.15/525.12	c |    762573 |   66394   499698  1977583 | 2147483647   702735     29 |  3.440 % |
527.35/527.33	c |    766204 |   66383   499293  1976164 | 2147483647   706329     29 |  3.440 % |
531.05/531.02	c |    770191 |   66382   499293  1976164 |   710124   710315     29 |  3.444 % |
540.36/540.40	c |    774580 |   66382   499293  1976164 |   710124   643243     28 |  3.444 % |
543.16/543.17	c |    779403 |   66382   499293  1976164 |   710124   648066     28 |  3.444 % |
547.66/547.69	c |    784708 |   66380   499293  1976164 |   648665   653370     28 |  3.449 % |
552.46/552.45	c |    790545 |   66380   499293  1976164 | 2147483647   593870     28 |  3.449 % |
561.16/561.21	c |    796964 |   66377   499293  1976164 | 2147483647   600288     29 |  3.453 % |
565.26/565.30	c |    804023 |   66377   499293  1976164 | 2147483647   607347     29 |  3.453 % |
565.46/565.49	c |    804124 |   66377   499293  1976164 | 2147483647   607448     29 |  3.453 % |
565.76/565.77	c |    804235 |   66377   499293  1976164 | 2147483647   607559     29 |  3.453 % |
566.16/566.16	c |    804356 |   66377   499293  1976164 | 2147483647   607680     29 |  3.453 % |
566.36/566.38	c |    804490 |   66377   499293  1976164 | 2147483647   607814     29 |  3.453 % |
566.66/566.68	c |    804636 |   66377   499293  1976164 | 2147483647   607960     29 |  3.453 % |
567.06/567.03	c |    804797 |   66377   499293  1976164 | 2147483647   608121     29 |  3.453 % |
567.26/567.24	c |    804973 |   66377   499293  1976164 | 2147483647   608297     29 |  3.453 % |
567.75/567.76	c |    805166 |   66377   499293  1976164 | 2147483647   608490     29 |  3.453 % |
568.05/568.07	c |    805378 |   66377   499293  1976164 | 2147483647   608702     29 |  3.453 % |
568.55/568.56	c |    805612 |   66377   499293  1976164 | 2147483647   608936     29 |  3.453 % |
569.15/569.11	c |    805871 |   66377   499293  1976164 | 2147483647   609195     29 |  3.453 % |
569.85/569.83	c |    806152 |   66377   499293  1976164 | 2147483647   609476     29 |  3.453 % |
569.95/569.93	c |    806461 |   66377   499293  1976164 | 2147483647   609785     29 |  3.453 % |
570.55/570.56	c |    806800 |   66377   499293  1976164 | 2147483647   610124     29 |  3.453 % |
571.15/571.18	c |    807173 |   66377   499293  1976164 | 2147483647   610497     29 |  3.453 % |
571.85/571.82	c |    807582 |   66377   499293  1976164 | 2147483647   610906     29 |  3.453 % |
572.95/572.99	c |    808033 |   66377   499293  1976164 | 2147483647   611357     29 |  3.453 % |
574.05/574.07	c |    808528 |   66377   499293  1976164 | 2147483647   611852     29 |  3.453 % |
574.55/574.54	c |    809072 |   66377   499293  1976164 | 2147483647   612396     29 |  3.453 % |
575.15/575.11	c |    809668 |   66377   499293  1976164 | 2147483647   612992     29 |  3.453 % |
576.05/576.03	c |    810323 |   66377   499293  1976164 | 2147483647   613647     29 |  3.453 % |
576.55/576.59	c |    811043 |   66377   499293  1976164 | 2147483647   614367     29 |  3.453 % |
578.45/578.49	c |    811835 |   66377   499293  1976164 | 2147483647   615159     29 |  3.453 % |
579.95/579.92	c |    812706 |   66377   499293  1976164 | 2147483647   616030     29 |  3.453 % |
582.65/582.62	c |    813664 |   66376   499293  1976164 | 2147483647   616987     29 |  3.455 % |
583.95/584.00	c |    814718 |   66376   499293  1976164 | 2147483647   618041     29 |  3.455 % |
585.55/585.58	c |    815878 |   66376   499293  1976164 | 2147483647   619201     29 |  3.455 % |
586.55/586.58	c |    817152 |   66376   499293  1976164 | 2147483647   620475     29 |  3.455 % |
587.85/587.88	c |    818552 |   66376   499293  1976164 | 2147483647   621875     29 |  3.455 % |
589.85/589.90	c |    820092 |   66376   499293  1976164 | 2147483647   623415     29 |  3.455 % |
591.85/591.88	c |    821788 |   66376   499293  1976164 | 2147483647   625111     29 |  3.455 % |
592.25/592.23	c |    823651 |   66376   499293  1976164 | 2147483647   626974     29 |  3.455 % |
593.55/593.54	c |    825700 |   66376   499293  1976164 | 2147483647   629023     29 |  3.455 % |
596.45/596.41	c |    827955 |   66376   499293  1976164 | 2147483647   631278     29 |  3.455 % |
597.35/597.39	c |    830433 |   66373   499184  1975809 | 2147483647   633749     29 |  3.455 % |
603.05/603.03	c |    833158 |   66373   499184  1975809 | 2147483647   636474     29 |  3.455 % |
607.95/607.91	c |    836156 |   66373   499184  1975809 | 2147483647   639472     29 |  3.455 % |
610.45/610.48	c |    839454 |   66373   499184  1975809 | 2147483647   642770     29 |  3.455 % |
616.55/616.56	c |    843082 |   66373   499184  1975809 | 2147483647   646398     29 |  3.455 % |
622.15/622.18	c |    847072 |   66373   499184  1975809 | 2147483647   650388     29 |  3.455 % |
628.95/628.98	c |    851457 |   66373   499184  1975809 | 2147483647   654773     29 |  3.455 % |
632.35/632.36	c |    856283 |   66373   499184  1975809 | 2147483647   659599     29 |  3.455 % |
640.95/640.95	c |    861588 |   66373   499184  1975809 | 2147483647   664904     29 |  3.455 % |
646.85/646.80	c |    867423 |   66373   499184  1975809 | 2147483647   670739     29 |  3.455 % |
659.46/659.44	c |    873841 |   66373   499184  1975809 | 2147483647   677157     29 |  3.455 % |
662.56/662.58	c |    880900 |   66373   499184  1975809 | 2147483647   684216     29 |  3.455 % |
670.36/670.34	c |    888666 |   66373   499184  1975809 | 2147483647   691982     29 |  3.455 % |
670.56/670.54	c |    888766 |   66373   499184  1975809 | 2147483647   692082     29 |  3.455 % |
670.66/670.68	c |    888877 |   66373   499184  1975809 | 2147483647   692193     29 |  3.455 % |
670.96/670.95	c |    888998 |   66373   499184  1975809 | 2147483647   692314     29 |  3.455 % |
671.26/671.29	c |    889133 |   66373   499184  1975809 | 2147483647   692449     29 |  3.455 % |
671.76/671.80	c |    889280 |   66373   499184  1975809 | 2147483647   692596     29 |  3.455 % |
672.26/672.27	c |    889440 |   66373   499184  1975809 | 2147483647   692756     29 |  3.455 % |
672.56/672.59	c |    889619 |   66373   499184  1975809 | 2147483647   692935     29 |  3.455 % |
673.06/673.03	c |    889812 |   66373   499184  1975809 | 2147483647   693128     29 |  3.455 % |
673.46/673.44	c |    890026 |   66373   499184  1975809 | 2147483647   693342     29 |  3.455 % |
673.66/673.68	c |    890265 |   66373   499184  1975809 | 2147483647   693581     29 |  3.455 % |
673.76/673.75	c |    890521 |   66373   499184  1975809 | 2147483647   693837     29 |  3.455 % |
674.26/674.27	c |    890802 |   66373   499184  1975809 | 2147483647   694118     29 |  3.455 % |
674.86/674.89	c |    891111 |   66373   499184  1975809 | 2147483647   694427     29 |  3.455 % |
675.66/675.68	c |    891450 |   66373   499184  1975809 | 2147483647   694766     29 |  3.455 % |
676.56/676.55	c |    891824 |   66373   499184  1975809 | 2147483647   695140     29 |  3.455 % |
676.86/676.86	c |    892233 |   66373   499184  1975809 | 2147483647   695549     29 |  3.455 % |
677.76/677.80	c |    892684 |   66373   499184  1975809 | 2147483647   696000     29 |  3.455 % |
678.06/678.10	c |    893177 |   66373   499184  1975809 | 2147483647   696493     29 |  3.455 % |
680.16/680.11	c |    893720 |   66373   499184  1975809 | 2147483647   697036     29 |  3.455 % |
680.56/680.58	c |    894316 |   66373   499184  1975809 | 2147483647   697632     29 |  3.455 % |
681.66/681.67	c |    894971 |   66373   499184  1975809 | 2147483647   698287     29 |  3.455 % |
682.36/682.35	c |    895692 |   66373   499184  1975809 | 2147483647   699008     29 |  3.455 % |
683.06/683.10	c |    896485 |   66373   499184  1975809 | 2147483647   699801     29 |  3.455 % |
684.16/684.15	c |    897357 |   66373   499184  1975809 | 2147483647   700673     29 |  3.455 % |
685.66/685.65	c |    898315 |   66373   499184  1975809 | 2147483647   701631     29 |  3.455 % |
688.06/688.11	c |    899369 |   66373   499184  1975809 | 2147483647   702685     29 |  3.455 % |
689.36/689.36	c |    900528 |   66373   499184  1975809 | 2147483647   703844     29 |  3.455 % |
691.76/691.74	c |    901804 |   66373   499184  1975809 | 2147483647   705120     29 |  3.455 % |
693.56/693.56	c |    903204 |   66373   499184  1975809 | 2147483647   706520     29 |  3.455 % |
696.06/696.01	c |    904744 |   66373   499184  1975809 | 2147483647   708060     29 |  3.455 % |
698.16/698.13	c |    906439 |   66373   499184  1975809 | 2147483647   709755     29 |  3.455 % |
701.76/701.73	c |    908302 |   66373   499184  1975809 | 2147483647   711618     29 |  3.455 % |
706.76/706.76	c |    910351 |   66373   499184  1975809 | 2147483647   713667     29 |  3.455 % |
709.26/709.27	c |    912605 |   66373   499184  1975809 | 2147483647   715921     29 |  3.455 % |
712.16/712.17	c |    915086 |   66373   499184  1975809 | 2147483647   718402     30 |  3.455 % |
715.96/715.96	c |    917811 |   66373   499184  1975809 | 2147483647   721127     30 |  3.455 % |
719.76/719.79	c |    920808 |   66373   499184  1975809 | 2147483647   724124     30 |  3.455 % |
725.76/725.76	c |    924104 |   66371   499146  1975645 | 2147483647   727402     30 |  3.458 % |
728.26/728.27	c |    927729 |   66371   499146  1975645 | 2147483647   731027     30 |  3.458 % |
731.86/731.85	c |    931720 |   66371   499146  1975645 |   733300   735018     30 |  3.458 % |
738.86/738.87	c |    936105 |   66362   499146  1975645 |   733300   581274     29 |  3.476 % |
745.56/745.55	c |    940930 |   66362   499146  1975645 |   585170   586099     29 |  3.476 % |
750.86/750.89	c |    946236 |   66362   499146  1975645 |   585170   494991     30 |  3.476 % |
753.27/753.29	c |    952071 |   66362   499146  1975645 |   498756   500826     30 |  3.476 % |
758.67/758.68	c |    958490 |   66362   499146  1975645 |   498756   457054     30 |  3.476 % |
766.28/766.31	c |    965550 |   66362   499146  1975645 | 2147483647   464114     30 |  3.476 % |
778.88/778.87	c |    973314 |   66362   499146  1975645 | 2147483647   471878     30 |  3.476 % |
790.58/790.58	c |    981856 |   66362   499146  1975645 | 2147483647   480420     30 |  3.476 % |
791.08/791.02	c |    981957 |   66362   499146  1975645 | 2147483647   480521     30 |  3.476 % |
791.28/791.28	c |    982069 |   66362   499146  1975645 | 2147483647   480633     30 |  3.476 % |
791.58/791.60	c |    982190 |   66362   499146  1975645 | 2147483647   480754     30 |  3.476 % |
791.78/791.77	c |    982323 |   66362   499146  1975645 | 2147483647   480887     30 |  3.476 % |
791.98/792.01	c |    982470 |   66362   499146  1975645 | 2147483647   481034     30 |  3.476 % |
792.28/792.29	c |    982630 |   66362   499146  1975645 | 2147483647   481194     30 |  3.476 % |
792.38/792.32	c |    982807 |   66362   499146  1975645 | 2147483647   481371     30 |  3.476 % |
792.88/792.89	c |    983000 |   66362   499146  1975645 | 2147483647   481564     30 |  3.476 % |
793.18/793.18	c |    983213 |   66362   499146  1975645 | 2147483647   481777     30 |  3.476 % |
793.68/793.68	c |    983446 |   66362   499146  1975645 | 2147483647   482010     30 |  3.476 % |
794.28/794.22	c |    983702 |   66362   499146  1975645 | 2147483647   482266     30 |  3.476 % |
794.58/794.57	c |    983983 |   66362   499146  1975645 | 2147483647   482547     30 |  3.476 % |
795.38/795.34	c |    984292 |   66358   498866  1974787 | 2147483647   482853     30 |  3.476 % |
796.18/796.17	c |    984632 |   66358   498866  1974787 | 2147483647   483193     30 |  3.476 % |
796.78/796.78	c |    985004 |   66358   498866  1974787 | 2147483647   483565     30 |  3.476 % |
797.58/797.56	c |    985414 |   66358   498866  1974787 | 2147483647   483975     30 |  3.476 % |
797.98/797.96	c |    985863 |   66358   498866  1974787 | 2147483647   484424     30 |  3.476 % |
798.58/798.55	c |    986356 |   66358   498866  1974787 | 2147483647   484917     30 |  3.476 % |
799.38/799.36	c |    986898 |   66358   498866  1974787 | 2147483647   485459     30 |  3.476 % |
799.88/799.88	c |    987494 |   66358   498866  1974787 | 2147483647   486055     30 |  3.476 % |
800.68/800.70	c |    988153 |   66358   498866  1974787 | 2147483647   486714     30 |  3.476 % |
802.28/802.32	c |    988873 |   66358   498866  1974787 | 2147483647   487434     30 |  3.476 % |
804.08/804.04	c |    989668 |   66358   498866  1974787 | 2147483647   488229     30 |  3.476 % |
805.38/805.41	c |    990540 |   66358   498866  1974787 | 2147483647   489101     30 |  3.476 % |
805.98/806.01	c |    991499 |   66357   498866  1974787 | 2147483647   490059     30 |  3.478 % |
807.18/807.13	c |    992553 |   66357   498866  1974787 | 2147483647   491113     30 |  3.478 % |
809.28/809.31	c |    993713 |   66357   498866  1974787 | 2147483647   492273     30 |  3.478 % |
811.58/811.57	c |    994986 |   66357   498866  1974787 | 2147483647   493546     30 |  3.478 % |
814.48/814.45	c |    996388 |   66357   498866  1974787 | 2147483647   494948     30 |  3.478 % |
817.58/817.53	c |    997930 |   66357   498866  1974787 | 2147483647   496490     30 |  3.478 % |
820.98/820.97	c |    999626 |   66357   498866  1974787 | 2147483647   498186     30 |  3.478 % |
824.78/824.74	c |   1001489 |   66357   498866  1974787 | 2147483647   500049     30 |  3.478 % |
828.98/828.94	c |   1003539 |   66357   498866  1974787 | 2147483647   502099     30 |  3.478 % |
832.58/832.60	c |   1005793 |   66357   498866  1974787 | 2147483647   504353     30 |  3.478 % |
835.48/835.45	c |   1008272 |   66357   498866  1974787 | 2147483647   506832     30 |  3.478 % |
841.69/841.67	c |   1010997 |   66357   498866  1974787 | 2147483647   509557     30 |  3.478 % |
843.58/843.57	c |   1013996 |   66357   498820  1974647 | 2147483647   512555     30 |  3.478 % |
848.08/848.11	c |   1017292 |   66357   498820  1974647 | 2147483647   515851     31 |  3.478 % |
850.78/850.80	c |   1020919 |   66357   498820  1974647 | 2147483647   519478     31 |  3.478 % |
855.99/855.96	c |   1024906 |   66357   498820  1974647 | 2147483647   523465     31 |  3.478 % |
862.18/862.21	c |   1029291 |   66233   498820  1974647 | 2147483647   527849     31 |  4.098 % |
866.48/866.45	c |   1034115 |   66233   498820  1974647 | 2147483647   532673     31 |  4.098 % |
871.08/871.01	c |   1039421 |   66233   498820  1974647 | 2147483647   537979     31 |  4.098 % |
879.79/879.79	c |   1045259 |   66233   498820  1974647 |   538558   543817     31 |  4.098 % |
888.59/888.55	c |   1051677 |   66209   498820  1974647 | 2147483647   495861     31 |  4.099 % |
894.19/894.14	c |   1058737 |   66206   498820  1974647 | 2147483647   502920     31 |  4.100 % |
911.49/911.44	c |   1066503 |   66206   498820  1974647 | 2147483647   510686     31 |  4.100 % |
921.89/921.86	c |   1075043 |   65929   491131  1944287 | 2147483647   420633     30 |  4.100 % |
935.88/935.82	c |   1084437 |   65929   491131  1944287 | 2147483647   430027     30 |  4.100 % |
936.08/936.06	c |   1084538 |   65929   491131  1944287 | 2147483647   430128     30 |  4.100 % |
936.38/936.32	c |   1084648 |   65929   491131  1944287 | 2147483647   430238     30 |  4.100 % |
936.78/936.74	c |   1084771 |   65929   491131  1944287 | 2147483647   430361     30 |  4.100 % |
936.98/936.94	c |   1084905 |   65929   491131  1944287 | 2147483647   430495     30 |  4.100 % |
937.28/937.21	c |   1085052 |   65929   491131  1944287 | 2147483647   430642     30 |  4.100 % |
937.48/937.48	c |   1085212 |   65924   491131  1944287 | 2147483647   430801     30 |  4.114 % |
937.88/937.81	c |   1085390 |   65924   491131  1944287 | 2147483647   430979     30 |  4.114 % |
938.18/938.14	c |   1085584 |   65924   491131  1944287 | 2147483647   431173     30 |  4.114 % |
938.48/938.49	c |   1085797 |   65924   491131  1944287 | 2147483647   431386     30 |  4.114 % |
938.98/938.97	c |   1086031 |   65920   491131  1944287 | 2147483647   431620     30 |  4.114 % |
939.28/939.27	c |   1086288 |   65920   491131  1944287 | 2147483647   431877     30 |  4.114 % |
939.88/939.84	c |   1086569 |   65920   491131  1944287 | 2147483647   432158     30 |  4.114 % |
940.48/940.48	c |   1086879 |   65920   491131  1944287 | 2147483647   432468     30 |  4.114 % |
941.58/941.51	c |   1087219 |   65920   491131  1944287 | 2147483647   432808     30 |  4.114 % |
941.68/941.67	c |   1087592 |   65920   491131  1944287 | 2147483647   433181     30 |  4.114 % |
942.48/942.47	c |   1088001 |   65913   491131  1944287 | 2147483647   433589     30 |  4.124 % |
943.18/943.18	c |   1088452 |   65913   491131  1944287 | 2147483647   434040     30 |  4.124 % |
944.18/944.11	c |   1088945 |   65913   491131  1944287 | 2147483647   434533     30 |  4.124 % |
944.88/944.81	c |   1089490 |   65913   491131  1944287 | 2147483647   435078     30 |  4.124 % |
945.38/945.38	c |   1090087 |   65913   491131  1944287 | 2147483647   435675     30 |  4.124 % |
946.48/946.44	c |   1090742 |   65913   491131  1944287 | 2147483647   436330     30 |  4.124 % |
947.48/947.42	c |   1091463 |   65913   491131  1944287 | 2147483647   437051     30 |  4.124 % |
949.18/949.19	c |   1092255 |   65913   491131  1944287 | 2147483647   437843     30 |  4.124 % |
950.78/950.74	c |   1093127 |   65913   491131  1944287 | 2147483647   438715     30 |  4.124 % |
952.48/952.42	c |   1094085 |   65913   491131  1944287 | 2147483647   439673     30 |  4.124 % |
953.28/953.27	c |   1095138 |   65913   491131  1944287 | 2147483647   440726     30 |  4.124 % |
955.38/955.39	c |   1096296 |   65913   491131  1944287 | 2147483647   441884     30 |  4.124 % |
956.18/956.19	c |   1097571 |   65913   491131  1944287 | 2147483647   443159     30 |  4.124 % |
958.98/958.92	c |   1098971 |   65913   491131  1944287 | 2147483647   444559     30 |  4.124 % |
961.98/961.91	c |   1100512 |   65900   490974  1943297 | 2147483647   443793     30 |  4.151 % |
963.88/963.87	c |   1102206 |   65900   490974  1943297 | 2147483647   445487     30 |  4.151 % |
968.48/968.44	c |   1104069 |   65898   490974  1943297 | 2147483647   447350     30 |  4.151 % |
971.18/971.17	c |   1106118 |   65898   490974  1943297 | 2147483647   449399     30 |  4.151 % |
975.28/975.27	c |   1108373 |   65898   490974  1943297 | 2147483647   451654     30 |  4.151 % |
977.28/977.28	c |   1110851 |   65898   490974  1943297 | 2147483647   454132     30 |  4.151 % |
979.08/979.10	c |   1113576 |   65898   490974  1943297 | 2147483647   456857     30 |  4.151 % |
986.69/986.66	c |   1116575 |   65898   490974  1943297 | 2147483647   459856     30 |  4.151 % |
990.89/990.86	c |   1119873 |   65877   490974  1943297 | 2147483647   463152     30 |  4.186 % |
997.79/997.78	c |   1123499 |   65877   490974  1943297 | 2147483647   466778     30 |  4.186 % |
1005.99/1006.01	c |   1127486 |   65877   490974  1943297 | 2147483647   470765     30 |  4.186 % |
1011.39/1011.32	c |   1131871 |   65870   490514  1941329 | 2147483647   457462     30 |  4.186 % |
1015.89/1015.83	c |   1136694 |   65870   490514  1941329 | 2147483647   462285     30 |  4.186 % |
1023.09/1023.08	c |   1142001 |   65870   490514  1941329 | 2147483647   467592     30 |  4.186 % |
1031.59/1031.52	c |   1147837 |   65870   490514  1941329 | 2147483647   473428     30 |  4.186 % |
1043.29/1043.27	c |   1154256 |   65870   490514  1941329 |   475592   479847     30 |  4.186 % |
1049.89/1049.88	c ===============================================================================
1049.89/1049.88	c restarts              : 1272
1049.89/1049.88	c conflicts             : 1156886        (1113 /sec)
1049.89/1049.88	c decisions             : 5743147        (1.59 % random) (5525 /sec)
1049.89/1049.88	c propagations          : 459065625      (441600 /sec)
1049.89/1049.88	c conflict literals     : 36133202       (25.83 % deleted)
1049.89/1049.88	c Memory used           : 152.08 MB
1049.89/1049.88	c CPU time              : 1039.55 s
1049.89/1049.88	c 
1049.89/1049.88	s UNSATISFIABLE
1049.89/1049.88	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1820776-1242475922/watcher-1820776-1242475922 -o /tmp/evaluation-result-1820776-1242475922/solver-1820776-1242475922 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820776-1242475922.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=952 CPUtime=0
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 122 0 0 0 0 0 0 0 25 0 1 0 1012093000 974848 57 4294967295 134512640 135223648 3215646192 3215644776 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 238 58 46 174 0 63 0

[startup+0.118044 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=17072 CPUtime=0.11
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 3719 0 0 0 10 1 0 0 25 0 1 0 1012093000 17481728 3654 4294967295 134512640 135223648 3215646192 3215644692 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 4268 3655 46 174 0 4093 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19484

[startup+0.218034 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=32048 CPUtime=0.21
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 6812 0 0 0 18 3 0 0 25 0 1 0 1012093000 32817152 6747 4294967295 134512640 135223648 3215646192 3215645144 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 8012 6748 46 174 0 7837 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 34460

[startup+0.318026 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=41784 CPUtime=0.31
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 9935 0 0 0 25 6 0 0 25 0 1 0 1012093000 42786816 9870 4294967295 134512640 135223648 3215646192 3215645144 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 10446 9871 46 174 0 10271 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 44196

[startup+0.717993 s]
/proc/loadavg: 0.99 1.00 1.00 3/93 25137
/proc/meminfo: memFree=1574336/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=112664 CPUtime=0.71
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 21889 0 0 0 61 10 0 0 25 0 1 0 1012093000 115367936 21825 4294967295 134512640 135223648 3215646192 3215645072 134543351 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 28166 21830 46 174 0 27991 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 115076

[startup+1.51793 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25142
/proc/meminfo: memFree=1440152/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=190388 CPUtime=1.51
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 46875 0 0 0 130 21 0 0 25 0 1 0 1012093000 194957312 43227 4294967295 134512640 135223648 3215646192 3215643960 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 47597 43227 73 174 0 47422 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 192800

[startup+3.1178 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25142
/proc/meminfo: memFree=1394024/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=198280 CPUtime=3.11
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 48715 0 0 0 288 23 0 0 25 0 1 0 1012093000 203038720 45067 4294967295 134512640 135223648 3215646192 3215643860 134717064 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25141/statm: 49570 45067 73 174 0 49395 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 200692

[startup+6.31754 s]
/proc/loadavg: 0.99 1.00 1.00 4/95 25142
/proc/meminfo: memFree=1359236/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2412 CPUtime=0
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 367 642 0 0 0 0 0 0 25 0 1 0 1012093000 2469888 276 4294967295 134512640 135169312 3216877344 3216875880 3085496046 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25137/statm: 603 276 235 161 0 42 0
[pid=25141] ppid=25137 vsize=211876 CPUtime=6.31
/proc/25141/stat : 25141 (SatELite_releas) R 25137 25137 10436 0 -1 4202496 51817 0 0 0 603 28 0 0 25 0 1 0 1012093000 216961024 48169 4294967295 134512640 135223648 3215646192 3215644192 134548203 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25141/statm: 52969 48169 73 174 0 52794 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 214288

[startup+12.717 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25144
/proc/meminfo: memFree=1490376/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=35528 CPUtime=3.03
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 8520 0 0 0 293 10 0 0 25 0 1 0 1012093968 36380672 8442 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 8882 8442 73 172 0 8709 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 37944

[startup+25.516 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 25146
/proc/meminfo: memFree=1484456/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=41520 CPUtime=15.83
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 9979 0 0 0 1572 11 0 0 25 0 1 0 1012093968 42516480 9901 4294967295 134512640 135215339 3219829328 3219827616 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 10380 9901 73 172 0 10207 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 43936

[startup+51.1139 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25329
/proc/meminfo: memFree=1475156/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=50664 CPUtime=41.43
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 12251 0 0 0 4129 14 0 0 25 0 1 0 1012093968 51879936 12173 4294967295 134512640 135215339 3219829328 3219827616 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 12666 12173 73 172 0 12493 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 53080

[startup+102.32 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25335
/proc/meminfo: memFree=1460632/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=65468 CPUtime=92.64
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 15909 0 0 0 9242 22 0 0 25 0 1 0 1012093968 67039232 15831 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 16367 15831 73 172 0 16194 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 67884

[startup+162.315 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 25522
/proc/meminfo: memFree=1450488/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=75556 CPUtime=152.64
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 18494 0 0 0 15239 25 0 0 25 0 1 0 1012093968 77369344 18416 4294967295 134512640 135215339 3219829328 3219827616 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 18889 18416 73 172 0 18716 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 77972

[startup+222.31 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 25712
/proc/meminfo: memFree=1435540/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=90588 CPUtime=212.64
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 22193 0 0 0 21239 25 0 0 25 0 1 0 1012093968 92762112 22115 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 22647 22115 73 172 0 22474 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 93004

[startup+282.315 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 25900
/proc/meminfo: memFree=1420776/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=106144 CPUtime=272.65
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 25924 0 0 0 27237 28 0 0 25 0 1 0 1012093968 108691456 25846 4294967295 134512640 135215339 3219829328 3219827616 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25143/statm: 26536 25846 73 172 0 26363 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 108560

[startup+342.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26090
/proc/meminfo: memFree=1409632/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=116540 CPUtime=332.66
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 28582 0 0 0 33226 40 0 0 25 0 1 0 1012093968 119336960 28504 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 29135 28504 73 172 0 28962 0
Current children cumulated CPU time (s) 342.34

################
# More data... #
################

/proc/25143/statm: 37640 36800 73 172 0 37467 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 152976

[startup+762.315 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 27413
/proc/meminfo: memFree=1371804/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=154812 CPUtime=752.69
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 37949 0 0 0 75210 59 0 0 25 0 1 0 1012093968 158527488 37871 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38703 37871 73 172 0 38530 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 157228

[startup+822.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27601
/proc/meminfo: memFree=1371680/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=154812 CPUtime=812.7
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 37949 0 0 0 81211 59 0 0 25 0 1 0 1012093968 158527488 37871 4294967295 134512640 135215339 3219829328 3219827424 134527419 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38703 37871 73 172 0 38530 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 157228

[startup+882.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27789
/proc/meminfo: memFree=1371548/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=154976 CPUtime=872.71
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 37986 0 0 0 87210 61 0 0 25 0 1 0 1012093968 158695424 37908 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38744 37908 73 172 0 38571 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 157392

[startup+942.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27976
/proc/meminfo: memFree=1371688/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=154976 CPUtime=932.7
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 37989 0 0 0 93200 70 0 0 25 0 1 0 1012093968 158695424 37911 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38744 37911 73 172 0 38571 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 157392

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 28165
/proc/meminfo: memFree=1371432/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155272 CPUtime=992.71
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38060 0 0 0 99199 72 0 0 25 0 1 0 1012093968 158998528 37982 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38818 37982 73 172 0 38645 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 157688

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

[startup+1024.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28348
/proc/meminfo: memFree=1370964/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155580 CPUtime=1014.41
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38110 0 0 0 101369 72 0 0 25 0 1 0 1012093968 159313920 38032 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38895 38032 73 172 0 38722 0
Current children cumulated CPU time (s) 1024.09
Current children cumulated vsize (KiB) 157996

[startup+1036.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28350
/proc/meminfo: memFree=1371060/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155580 CPUtime=1027.21
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38125 0 0 0 102649 72 0 0 25 0 1 0 1012093968 159313920 38047 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38895 38047 73 172 0 38722 0
Current children cumulated CPU time (s) 1036.89
Current children cumulated vsize (KiB) 157996

[startup+1043.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28350
/proc/meminfo: memFree=1371068/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1033.61
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38143 0 0 0 103289 72 0 0 25 0 1 0 1012093968 159461376 38065 4294967295 134512640 135215339 3219829328 3219827616 134528779 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38065 73 172 0 38758 0
Current children cumulated CPU time (s) 1043.29
Current children cumulated vsize (KiB) 158140

[startup+1046.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1036.81
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38163 0 0 0 103609 72 0 0 25 0 1 0 1012093968 159461376 38085 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38085 73 172 0 38758 0
Current children cumulated CPU time (s) 1046.49
Current children cumulated vsize (KiB) 158140

[startup+1048.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1038.41
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38163 0 0 0 103769 72 0 0 25 0 1 0 1012093968 159461376 38085 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38085 73 172 0 38758 0
Current children cumulated CPU time (s) 1048.09
Current children cumulated vsize (KiB) 158140

[startup+1048.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1039.21
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38165 0 0 0 103849 72 0 0 25 0 1 0 1012093968 159461376 38087 4294967295 134512640 135215339 3219829328 3219827616 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38087 73 172 0 38758 0
Current children cumulated CPU time (s) 1048.89
Current children cumulated vsize (KiB) 158140

[startup+1049.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1040.01
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38165 0 0 0 103929 72 0 0 25 0 1 0 1012093968 159461376 38087 4294967295 134512640 135215339 3219829328 3219827616 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38087 73 172 0 38758 0
Current children cumulated CPU time (s) 1049.69
Current children cumulated vsize (KiB) 158140

[startup+1049.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2416 CPUtime=9.68
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 385 57507 0 0 0 0 935 33 18 0 1 0 1012093000 2473984 277 4294967295 134512640 135169312 3216877344 3216873560 3085496046 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25137/statm: 604 277 235 161 0 43 0
[pid=25143] ppid=25137 vsize=155724 CPUtime=1040.21
/proc/25143/stat : 25143 (minisat_static) R 25137 25137 10436 0 -1 4202496 38165 0 0 0 103949 72 0 0 25 0 1 0 1012093968 159461376 38087 4294967295 134512640 135215339 3219829328 3219827616 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25143/statm: 38931 38087 73 172 0 38758 0
Current children cumulated CPU time (s) 1049.89
Current children cumulated vsize (KiB) 158140

[startup+1049.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28351
/proc/meminfo: memFree=1370936/2074464 swapFree=1948616/1959888
[pid=25137] ppid=25135 vsize=2932 CPUtime=1049.96
/proc/25137/stat : 25137 (SatELiteGTI) S 25135 25137 10436 0 -1 4194304 474 95679 0 0 0 0 104890 106 18 0 1 0 1012093000 3002368 345 4294967295 134512640 135169312 3216877344 3216872728 3085496046 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25137/statm: 733 345 237 161 0 172 0
Current children cumulated CPU time (s) 1049.96
Current children cumulated vsize (KiB) 2932

Child status: 20
Real time (s): 1049.92
CPU time (s): 1049.99
CPU user time (s): 1048.9
CPU system time (s): 1.09
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 230940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1048.9
system time used= 1.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96337
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= 20
involuntary context switches= 2057

runsolver used 0.03 second user time and 0.01 second system time

The end

Launcher Data

Begin job on tipi16 at 2009-05-16 14:12:02
IDJOB=1820776
IDBENCH=69591
IDSOLVER=657
FILE ID=tipi16/1820776-1242475922
PBS_JOBID=
Free space on /tmp= 5153 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820776-1242475922/watcher-1820776-1242475922 -o /tmp/evaluation-result-1820776-1242475922/solver-1820776-1242475922 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820776-1242475922.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED= 156161046

Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1574336 kB
Buffers:         31768 kB
Cached:         387736 kB
SwapCached:       5908 kB
Active:          68940 kB
Inactive:       360504 kB
HighTotal:     1178688 kB
HighFree:       827084 kB
LowTotal:       895776 kB
LowFree:        747252 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:           25740 kB
Writeback:           0 kB
AnonPages:        9328 kB
Mapped:           3260 kB
Slab:            61652 kB
PageTables:        656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90760 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5152 MiB
End job on tipi16 at 2009-05-16 14:29:35