Trace number 1832939

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-18SAT 257.719 257.953

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
MD5SUM43e1914e2baa4366249337eaf6ba76dd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.073988
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses1917
Sum of the clauses size9585
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 51917
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    1917     9585 |     575       0        0     nan |  0.000 % |
0.00/0.00	c ==============================================================================
0.00/0.00	c Result  :   #vars: 90   #clauses: 1917   #literals: 9585
0.00/0.00	c CPU time:   0.001999 s
0.00/0.00	c ==============================================================================
0.00/0.01	c This is MiniSat 2.0 beta
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Number of variables:  90                                                   |
0.00/0.01	c |  Number of clauses:    1917                                                 |
0.00/0.01	c |  Parsing time:         0.00         s                                       |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |      90     1917     9585 |      639        0    nan |  0.000 % |
0.00/0.01	c |       101 |      90     1917     9585 |      639      101     21 |  0.012 % |
0.00/0.01	c |       202 |      90     1917     9585 |      639      202     21 |  0.012 % |
0.00/0.02	c |       302 |      90     1917     9585 |      639      302     20 |  0.012 % |
0.00/0.02	c |       414 |      90     1917     9585 |      639      414     20 |  0.012 % |
0.00/0.02	c |       514 |      90     1917     9585 |      639      514     21 |  0.012 % |
0.00/0.02	c |       624 |      90     1917     9585 |      639      624     20 |  0.012 % |
0.00/0.03	c |       745 |      90     1917     9585 |      639      614     20 |  0.012 % |
0.00/0.03	c |       845 |      90     1917     9585 |      639      650     20 |  0.012 % |
0.00/0.03	c |       956 |      90     1917     9585 |      639      631     20 |  0.012 % |
0.00/0.04	c |      1077 |      90     1917     9585 |      639      624     19 |  0.012 % |
0.00/0.04	c |      1211 |      90     1917     9585 |      639      628     19 |  0.012 % |
0.00/0.04	c |      1312 |      90     1917     9585 |      639      664     19 |  0.012 % |
0.00/0.05	c |      1422 |      90     1917     9585 |      639      644     19 |  0.012 % |
0.00/0.05	c |      1543 |      90     1917     9585 |      639      636     19 |  0.012 % |
0.00/0.05	c |      1677 |      90     1917     9585 |      639      641     19 |  0.012 % |
0.00/0.06	c |      1826 |      90     1917     9585 |      639      662     19 |  0.012 % |
0.00/0.06	c |      1928 |      90     1917     9585 |      639      633     19 |  0.012 % |
0.00/0.06	c |      2039 |      90     1917     9585 |      639      614     19 |  0.012 % |
0.00/0.06	c |      2161 |      90     1917     9585 |      639      607     19 |  0.012 % |
0.00/0.07	c |      2295 |      90     1917     9585 |      639      613     19 |  0.012 % |
0.00/0.07	c |      2443 |      90     1917     9585 |      639      633     19 |  0.012 % |
0.00/0.08	c |      2605 |      90     1917     9585 |      639      666     19 |  0.012 % |
0.00/0.08	c |      2706 |      90     1917     9585 |      639      637     19 |  0.012 % |
0.00/0.08	c |      2817 |      90     1917     9585 |      639      621     19 |  0.012 % |
0.00/0.09	c |      2939 |      90     1917     9585 |      639      614     19 |  0.012 % |
0.00/0.09	c |      3073 |      90     1917     9585 |      639      621     19 |  0.012 % |
0.00/0.09	c |      3221 |      90     1917     9585 |      639      639     19 |  0.012 % |
0.00/0.10	c |      3382 |      90     1917     9585 |      639      609     18 |  0.012 % |
0.00/0.10	c |      3559 |      90     1917     9585 |      639      660     19 |  0.012 % |
0.00/0.11	c |      3660 |      90     1917     9585 |      639      629     18 |  0.012 % |
0.00/0.11	c |      3770 |      90     1917     9585 |      639      611     18 |  0.012 % |
0.00/0.11	c |      3891 |      90     1917     9585 |      639      603     18 |  0.012 % |
0.00/0.12	c |      4024 |      90     1917     9585 |      639      608     18 |  0.012 % |
0.00/0.12	c |      4172 |      90     1917     9585 |      639      628     18 |  0.012 % |
0.00/0.12	c |      4332 |      90     1917     9585 |      639      659     19 |  0.012 % |
0.00/0.13	c |      4508 |      90     1917     9585 |      639      644     19 |  0.012 % |
0.00/0.13	c |      4701 |      90     1917     9585 |      639      643     19 |  0.012 % |
0.00/0.14	c |      4802 |      90     1917     9585 |      639      616     19 |  0.012 % |
0.00/0.14	c |      4912 |      90     1917     9585 |      639      662     19 |  0.012 % |
0.00/0.14	c |      5033 |      90     1917     9585 |      639      652     18 |  0.012 % |
0.00/0.15	c |      5167 |      90     1917     9585 |      639      656     18 |  0.012 % |
0.00/0.15	c |      5314 |      90     1917     9585 |      639      611     18 |  0.012 % |
0.00/0.15	c |      5474 |      90     1917     9585 |      639      642     18 |  0.012 % |
0.00/0.16	c |      5651 |      90     1917     9585 |      639      627     19 |  0.012 % |
0.00/0.16	c |      5844 |      90     1917     9585 |      639      629     18 |  0.012 % |
0.00/0.17	c |      6056 |      90     1917     9585 |      639      651     18 |  0.012 % |
0.00/0.17	c |      6156 |      90     1917     9585 |      639      623     18 |  0.012 % |
0.00/0.17	c |      6266 |      90     1917     9585 |      639      668     18 |  0.012 % |
0.00/0.18	c |      6389 |      90     1917     9585 |      639      663     18 |  0.012 % |
0.00/0.18	c |      6522 |      90     1917     9585 |      639      604     18 |  0.012 % |
0.00/0.19	c |      6669 |      90     1917     9585 |      639      622     18 |  0.012 % |
0.00/0.19	c |      6830 |      90     1917     9585 |      639      654     18 |  0.012 % |
0.00/0.19	c |      7006 |      90     1917     9585 |      639      637     18 |  0.012 % |
0.00/0.20	c |      7199 |      90     1917     9585 |      639      641     19 |  0.012 % |
0.00/0.21	c |      7411 |      90     1917     9585 |      639      662     18 |  0.012 % |
0.00/0.21	c |      7646 |      90     1917     9585 |      639      639     18 |  0.012 % |
0.00/0.21	c |      7746 |      90     1917     9585 |      639      611     18 |  0.012 % |
0.00/0.22	c |      7857 |      90     1917     9585 |      639      659     18 |  0.012 % |
0.00/0.22	c |      7978 |      90     1917     9585 |      639      651     18 |  0.012 % |
0.00/0.22	c |      8114 |      90     1917     9585 |      639      657     18 |  0.012 % |
0.00/0.23	c |      8261 |      90     1917     9585 |      639      610     18 |  0.012 % |
0.00/0.23	c |      8423 |      90     1917     9585 |      639      642     18 |  0.012 % |
0.00/0.24	c |      8599 |      90     1917     9585 |      639      624     17 |  0.012 % |
0.00/0.24	c |      8792 |      90     1917     9585 |      639      624     18 |  0.012 % |
0.00/0.25	c |      9006 |      90     1917     9585 |      639      643     18 |  0.012 % |
0.00/0.25	c |      9239 |      90     1917     9585 |      639      626     17 |  0.012 % |
0.00/0.26	c |      9498 |      90     1917     9585 |      639      629     17 |  0.012 % |
0.00/0.26	c |      9598 |      90     1917     9585 |      639      601     17 |  0.012 % |
0.00/0.27	c |      9708 |      90     1917     9585 |      639      646     17 |  0.012 % |
0.00/0.27	c |      9829 |      90     1917     9585 |      639      638     17 |  0.012 % |
0.00/0.27	c |      9963 |      90     1917     9585 |      639      644     18 |  0.012 % |
0.00/0.28	c |     10110 |      90     1917     9585 | 2147483647      727     18 |  0.012 % |
0.00/0.28	c |     10271 |      90     1917     9585 | 2147483647      888     18 |  0.012 % |
0.00/0.29	c |     10447 |      90     1917     9585 | 2147483647     1064     18 |  0.012 % |
0.00/0.29	c |     10640 |      90     1917     9585 | 2147483647     1257     19 |  0.012 % |
0.00/0.30	c |     10854 |      90     1917     9585 | 2147483647     1471     19 |  0.012 % |
0.00/0.31	c |     11087 |      90     1917     9585 | 2147483647     1704     19 |  0.012 % |
0.00/0.31	c |     11344 |      90     1917     9585 | 2147483647     1961     20 |  0.012 % |
0.00/0.32	c |     11625 |      90     1917     9585 | 2147483647     2242     20 |  0.012 % |
0.00/0.33	c |     11726 |      90     1917     9585 | 2147483647     2343     20 |  0.012 % |
0.00/0.33	c |     11836 |      90     1917     9585 | 2147483647     2453     20 |  0.012 % |
0.00/0.33	c |     11957 |      90     1917     9585 | 2147483647     2574     20 |  0.012 % |
0.00/0.34	c |     12090 |      90     1917     9585 | 2147483647     2707     20 |  0.012 % |
0.00/0.34	c |     12239 |      90     1917     9585 | 2147483647     2856     20 |  0.012 % |
0.00/0.35	c |     12399 |      90     1917     9585 | 2147483647     3016     20 |  0.012 % |
0.00/0.36	c |     12578 |      90     1917     9585 | 2147483647     3195     20 |  0.012 % |
0.00/0.37	c |     12772 |      90     1917     9585 | 2147483647     3389     20 |  0.012 % |
0.00/0.38	c |     12986 |      90     1917     9585 | 2147483647     3603     20 |  0.012 % |
0.00/0.38	c |     13221 |      90     1917     9585 | 2147483647     3838     20 |  0.012 % |
0.00/0.40	c |     13477 |      90     1917     9585 | 2147483647     4094     20 |  0.012 % |
0.00/0.41	c |     13761 |      90     1917     9585 | 2147483647     4378     20 |  0.012 % |
0.00/0.42	c |     14070 |      90     1917     9585 | 2147483647     4687     20 |  0.012 % |
0.00/0.43	c |     14170 |      90     1917     9585 | 2147483647     4787     20 |  0.012 % |
0.00/0.43	c |     14281 |      90     1917     9585 | 2147483647     4898     20 |  0.012 % |
0.00/0.44	c |     14405 |      90     1917     9585 | 2147483647     5022     20 |  0.012 % |
0.00/0.45	c |     14539 |      90     1917     9585 | 2147483647     5156     20 |  0.012 % |
0.00/0.45	c |     14686 |      90     1917     9585 | 2147483647     5303     20 |  0.012 % |
0.00/0.46	c |     14846 |      90     1917     9585 | 2147483647     5463     20 |  0.012 % |
0.00/0.47	c |     15022 |      90     1917     9585 | 2147483647     5639     20 |  0.012 % |
0.00/0.48	c |     15215 |      90     1917     9585 | 2147483647     5832     20 |  0.012 % |
0.00/0.50	c |     15428 |      90     1917     9585 | 2147483647     6045     20 |  0.012 % |
0.00/0.51	c |     15662 |      90     1917     9585 | 2147483647     6279     20 |  0.012 % |
0.00/0.53	c |     15920 |      90     1917     9585 | 2147483647     6537     20 |  0.012 % |
0.00/0.55	c |     16201 |      90     1917     9585 | 2147483647     6818     20 |  0.012 % |
0.00/0.57	c |     16512 |      90     1917     9585 | 2147483647     7129     20 |  0.012 % |
0.00/0.59	c |     16852 |      90     1917     9585 | 2147483647     7469     20 |  0.012 % |
0.00/0.60	c |     16952 |      90     1917     9585 | 2147483647     7569     20 |  0.012 % |
0.00/0.60	c |     17065 |      90     1917     9585 | 2147483647     7682     20 |  0.012 % |
0.00/0.61	c |     17188 |      90     1917     9585 | 2147483647     7805     20 |  0.012 % |
0.00/0.62	c |     17324 |      90     1917     9585 | 2147483647     7941     20 |  0.012 % |
0.00/0.63	c |     17472 |      90     1917     9585 | 2147483647     8089     20 |  0.012 % |
0.00/0.64	c |     17632 |      90     1917     9585 | 2147483647     8249     20 |  0.012 % |
0.00/0.66	c |     17809 |      90     1917     9585 | 2147483647     8426     20 |  0.012 % |
0.00/0.67	c |     18003 |      90     1917     9585 | 2147483647     8620     20 |  0.012 % |
0.00/0.69	c |     18215 |      90     1917     9585 | 2147483647     8832     20 |  0.012 % |
0.00/0.71	c |     18448 |      90     1917     9585 | 2147483647     9065     20 |  0.012 % |
0.00/0.73	c |     18705 |      90     1917     9585 | 2147483647     9322     20 |  0.012 % |
0.00/0.75	c |     18987 |      90     1917     9585 | 2147483647     9604     20 |  0.012 % |
0.00/0.77	c |     19297 |      90     1917     9585 | 2147483647     9914     20 |  0.012 % |
0.00/0.79	c |     19637 |      90     1917     9585 | 2147483647    10254     20 |  0.012 % |
0.00/0.82	c |     20012 |      90     1917     9585 | 2147483647    10629     20 |  0.012 % |
0.00/0.83	c |     20113 |      90     1917     9585 | 2147483647    10730     20 |  0.012 % |
0.00/0.85	c |     20223 |      90     1917     9585 | 2147483647    10840     20 |  0.012 % |
0.00/0.86	c |     20344 |      90     1917     9585 | 2147483647    10961     20 |  0.012 % |
0.00/0.87	c |     20477 |      90     1917     9585 | 2147483647    11094     20 |  0.012 % |
0.00/0.88	c |     20623 |      90     1917     9585 | 2147483647    11240     20 |  0.012 % |
0.00/0.89	c |     20783 |      90     1917     9585 | 2147483647    11400     20 |  0.012 % |
0.00/0.91	c |     20960 |      90     1917     9585 | 2147483647    11577     20 |  0.012 % |
0.00/0.93	c |     21153 |      90     1917     9585 | 2147483647    11770     20 |  0.012 % |
0.00/0.94	c |     21365 |      90     1917     9585 | 2147483647    11982     20 |  0.012 % |
0.00/0.96	c |     21599 |      90     1917     9585 | 2147483647    12216     20 |  0.012 % |
0.00/0.99	c |     21855 |      90     1917     9585 | 2147483647    12472     20 |  0.012 % |
0.98/1.02	c |     22136 |      90     1917     9585 | 2147483647    12753     20 |  0.012 % |
0.98/1.05	c |     22445 |      90     1917     9585 | 2147483647    13062     20 |  0.012 % |
0.98/1.08	c |     22784 |      90     1917     9585 | 2147483647    13401     20 |  0.012 % |
1.08/1.11	c |     23156 |      90     1917     9585 | 2147483647    13773     20 |  0.012 % |
1.08/1.15	c |     23565 |      90     1917     9585 | 2147483647    14182     20 |  0.012 % |
1.08/1.17	c |     23666 |      90     1917     9585 | 2147483647    14283     20 |  0.012 % |
1.08/1.18	c |     23776 |      90     1917     9585 | 2147483647    14393     20 |  0.012 % |
1.08/1.20	c |     23898 |      90     1917     9585 | 2147483647    14515     20 |  0.012 % |
1.17/1.21	c |     24032 |      90     1917     9585 | 2147483647    14649     20 |  0.012 % |
1.17/1.23	c |     24178 |      90     1917     9585 | 2147483647    14795     20 |  0.012 % |
1.17/1.25	c |     24339 |      90     1917     9585 | 2147483647    14956     20 |  0.012 % |
1.17/1.27	c |     24515 |      90     1917     9585 | 2147483647    15132     20 |  0.012 % |
1.17/1.30	c |     24709 |      90     1917     9585 | 2147483647    15326     20 |  0.012 % |
1.27/1.32	c |     24922 |      90     1917     9585 | 2147483647    15539     20 |  0.012 % |
1.27/1.35	c |     25155 |      90     1917     9585 | 2147483647    15772     20 |  0.012 % |
1.27/1.38	c |     25412 |      90     1917     9585 | 2147483647    16029     20 |  0.012 % |
1.37/1.41	c |     25693 |      90     1917     9585 | 2147483647    16310     20 |  0.012 % |
1.37/1.45	c |     26004 |      90     1917     9585 | 2147483647    16621     20 |  0.012 % |
1.37/1.50	c |     26343 |      90     1917     9585 | 2147483647    16960     20 |  0.012 % |
1.47/1.54	c |     26716 |      90     1917     9585 | 2147483647    17333     20 |  0.012 % |
1.47/1.59	c |     27127 |      90     1917     9585 | 2147483647    17744     20 |  0.012 % |
1.57/1.65	c |     27576 |      90     1917     9585 | 2147483647    18193     20 |  0.012 % |
1.57/1.67	c |     27679 |      90     1917     9585 | 2147483647    18296     20 |  0.012 % |
1.57/1.69	c |     27790 |      90     1917     9585 | 2147483647    18407     20 |  0.012 % |
1.67/1.71	c |     27911 |      90     1917     9585 | 2147483647    18528     20 |  0.012 % |
1.67/1.73	c |     28045 |      90     1917     9585 | 2147483647    18662     20 |  0.012 % |
1.67/1.76	c |     28194 |      90     1917     9585 | 2147483647    18811     20 |  0.012 % |
1.67/1.79	c |     28354 |      90     1917     9585 | 2147483647    18971     20 |  0.012 % |
1.77/1.82	c |     28532 |      90     1917     9585 | 2147483647    19149     20 |  0.012 % |
1.77/1.85	c |     28726 |      90     1917     9585 | 2147483647    19343     20 |  0.012 % |
1.77/1.89	c |     28940 |      90     1917     9585 | 2147483647    19557     20 |  0.012 % |
1.87/1.94	c |     29173 |      90     1917     9585 | 2147483647    19790     20 |  0.012 % |
1.87/1.98	c |     29434 |      90     1917     9585 | 2147483647    20051     20 |  0.012 % |
1.97/2.04	c |     29717 |      90     1917     9585 | 2147483647    20334     20 |  0.012 % |
1.97/2.09	c |     30026 |      90     1917     9585 |    20618    20643     20 |  0.012 % |
2.07/2.15	c |     30365 |      90     1917     9585 |    20618    16218     20 |  0.012 % |
2.07/2.20	c |     30738 |      90     1917     9585 |    20618    16591     20 |  0.012 % |
2.17/2.25	c |     31149 |      90     1917     9585 |    20618    17002     20 |  0.012 % |
2.27/2.30	c |     31598 |      90     1917     9585 |    20618    17451     20 |  0.012 % |
2.27/2.37	c |     32092 |      90     1917     9585 |    20618    17945     20 |  0.012 % |
2.27/2.39	c |     32192 |      90     1917     9585 |    20618    18045     20 |  0.012 % |
2.37/2.40	c |     32303 |      90     1917     9585 |    20618    18156     20 |  0.012 % |
2.37/2.42	c |     32424 |      90     1917     9585 |    20618    18277     20 |  0.012 % |
2.37/2.44	c |     32557 |      90     1917     9585 |    20618    18410     20 |  0.012 % |
2.37/2.47	c |     32704 |      90     1917     9585 |    20618    18557     20 |  0.012 % |
2.37/2.49	c |     32864 |      90     1917     9585 |    20618    18717     20 |  0.012 % |
2.47/2.52	c |     33040 |      90     1917     9585 |    20618    18893     20 |  0.012 % |
2.47/2.55	c |     33233 |      90     1917     9585 |    20618    19086     20 |  0.012 % |
2.47/2.59	c |     33447 |      90     1917     9585 |    20618    19300     20 |  0.012 % |
2.57/2.62	c |     33682 |      90     1917     9585 |    20618    19535     20 |  0.012 % |
2.57/2.67	c |     33939 |      90     1917     9585 |    20618    19792     20 |  0.012 % |
2.67/2.72	c |     34220 |      90     1917     9585 |    20618    20073     20 |  0.012 % |
2.67/2.77	c |     34530 |      90     1917     9585 |    20618    20383     20 |  0.012 % |
2.77/2.85	c |     34870 |      90     1917     9585 |    20618    14742     20 |  0.012 % |
2.77/2.89	c |     35242 |      90     1917     9585 |    20618    15114     20 |  0.012 % |
2.87/2.94	c |     35652 |      90     1917     9585 |    20618    15524     20 |  0.012 % |
2.87/2.99	c |     36102 |      90     1917     9585 |    20618    15974     20 |  0.012 % |
2.97/3.06	c |     36597 |      90     1917     9585 |    20618    16469     20 |  0.012 % |
3.07/3.12	c |     37139 |      90     1917     9585 |    20618    17011     20 |  0.012 % |
3.07/3.14	c |     37239 |      90     1917     9585 |    20618    17111     20 |  0.012 % |
3.07/3.15	c |     37349 |      90     1917     9585 |    20618    17221     20 |  0.012 % |
3.07/3.17	c |     37470 |      90     1917     9585 |    20618    17342     20 |  0.012 % |
3.07/3.18	c |     37603 |      90     1917     9585 |    20618    17475     20 |  0.012 % |
3.17/3.20	c |     37752 |      90     1917     9585 |    20618    17624     20 |  0.012 % |
3.17/3.23	c |     37912 |      90     1917     9585 |    20618    17784     20 |  0.012 % |
3.17/3.26	c |     38088 |      90     1917     9585 |    20618    17960     20 |  0.012 % |
3.17/3.30	c |     38281 |      90     1917     9585 |    20618    18153     20 |  0.012 % |
3.27/3.33	c |     38493 |      90     1917     9585 |    20618    18365     20 |  0.012 % |
3.27/3.36	c |     38726 |      90     1917     9585 |    20618    18598     20 |  0.012 % |
3.36/3.40	c |     38983 |      90     1917     9585 |    20618    18855     20 |  0.012 % |
3.36/3.44	c |     39266 |      90     1917     9585 |    20618    19138     20 |  0.012 % |
3.36/3.48	c |     39575 |      90     1917     9585 |    20618    19447     20 |  0.012 % |
3.46/3.54	c |     39914 |      90     1917     9585 |    20618    19786     20 |  0.012 % |
3.56/3.61	c |     40287 |      90     1917     9585 |    19872    14213     19 |  0.012 % |
3.56/3.64	c |     40696 |      90     1917     9585 |    19872    14622     19 |  0.012 % |
3.56/3.69	c |     41146 |      90     1917     9585 |    19872    15072     19 |  0.012 % |
3.66/3.74	c |     41640 |      90     1917     9585 |    19872    15566     19 |  0.012 % |
3.76/3.80	c |     42184 |      90     1917     9585 |    19872    16110     19 |  0.012 % |
3.76/3.88	c |     42783 |      90     1917     9585 |    19872    16709     19 |  0.012 % |
3.76/3.89	c |     42885 |      90     1917     9585 |    19872    16811     19 |  0.012 % |
3.86/3.91	c |     42995 |      90     1917     9585 |    19872    16921     19 |  0.012 % |
3.86/3.92	c |     43118 |      90     1917     9585 |    19872    17044     19 |  0.012 % |
3.86/3.94	c |     43252 |      90     1917     9585 |    19872    17178     19 |  0.012 % |
3.86/3.96	c |     43400 |      90     1917     9585 |    19872    17326     19 |  0.012 % |
3.86/3.98	c |     43560 |      90     1917     9585 |    19872    17486     19 |  0.012 % |
3.96/4.01	c |     43737 |      90     1917     9585 |    19872    17663     19 |  0.012 % |
3.96/4.03	c |     43930 |      90     1917     9585 |    19872    17856     19 |  0.012 % |
3.96/4.06	c |     44144 |      90     1917     9585 |    19872    18070     19 |  0.012 % |
4.06/4.10	c |     44377 |      90     1917     9585 |    19872    18303     19 |  0.012 % |
4.06/4.13	c |     44633 |      90     1917     9585 |    19872    18559     19 |  0.012 % |
4.06/4.17	c |     44914 |      90     1917     9585 |    19872    18840     19 |  0.012 % |
4.16/4.21	c |     45224 |      90     1917     9585 |    19872    19150     19 |  0.012 % |
4.16/4.26	c |     45564 |      90     1917     9585 |    19872    19490     19 |  0.012 % |
4.27/4.33	c |     45937 |      90     1917     9585 |    19872    19863     19 |  0.012 % |
4.27/4.39	c |     46347 |      90     1917     9585 |    19872    14436     19 |  0.012 % |
4.37/4.43	c |     46797 |      90     1917     9585 |    19872    14886     19 |  0.012 % |
4.37/4.49	c |     47290 |      90     1917     9585 |    19872    15379     19 |  0.012 % |
4.46/4.55	c |     47832 |      90     1917     9585 |    19872    15921     19 |  0.012 % |
4.56/4.62	c |     48430 |      90     1917     9585 |    19872    16519     19 |  0.012 % |
4.66/4.70	c |     49085 |      90     1917     9585 |    19872    17174     19 |  0.012 % |
4.66/4.72	c |     49185 |      90     1917     9585 |    19872    17274     19 |  0.012 % |
4.66/4.73	c |     49297 |      90     1917     9585 |    19872    17386     19 |  0.012 % |
4.66/4.75	c |     49418 |      90     1917     9585 |    19872    17507     19 |  0.012 % |
4.66/4.77	c |     49551 |      90     1917     9585 |    19872    17640     19 |  0.012 % |
4.66/4.79	c |     49698 |      90     1917     9585 |    19872    17787     19 |  0.012 % |
4.77/4.82	c |     49859 |      90     1917     9585 |    19872    17948     19 |  0.012 % |
4.77/4.85	c |     50035 |      90     1917     9585 |    18091    12912     19 |  0.012 % |
4.77/4.87	c |     50228 |      90     1917     9585 |    18091    13105     19 |  0.012 % |
4.77/4.89	c |     50442 |      90     1917     9585 |    18091    13319     19 |  0.012 % |
4.87/4.91	c |     50675 |      90     1917     9585 |    18091    13552     19 |  0.012 % |
4.87/4.94	c |     50932 |      90     1917     9585 |    18091    13809     19 |  0.012 % |
4.87/4.98	c |     51213 |      90     1917     9585 |    18091    14090     19 |  0.012 % |
4.97/5.01	c |     51523 |      90     1917     9585 |    18091    14400     19 |  0.012 % |
4.97/5.05	c |     51863 |      90     1917     9585 |    18091    14740     19 |  0.012 % |
4.97/5.09	c |     52237 |      90     1917     9585 |    18091    15114     19 |  0.012 % |
5.07/5.14	c |     52646 |      90     1917     9585 |    18091    15523     19 |  0.012 % |
5.07/5.20	c |     53096 |      90     1917     9585 |    18091    15973     19 |  0.012 % |
5.17/5.25	c |     53591 |      90     1917     9585 |    18091    16468     19 |  0.012 % |
5.27/5.32	c |     54134 |      90     1917     9585 |    18091    17011     19 |  0.012 % |
5.27/5.39	c |     54731 |      90     1917     9585 |    18091    17608     19 |  0.012 % |
5.37/5.49	c |     55387 |      90     1917     9585 |    18091    13256     19 |  0.012 % |
5.47/5.57	c |     56107 |      90     1917     9585 |    18091    13976     19 |  0.012 % |
5.47/5.58	c |     56207 |      90     1917     9585 |    18091    14076     19 |  0.012 % |
5.47/5.59	c |     56317 |      90     1917     9585 |    18091    14186     19 |  0.012 % |
5.56/5.60	c |     56439 |      90     1917     9585 |    18091    14308     19 |  0.012 % |
5.56/5.62	c |     56574 |      90     1917     9585 |    18091    14443     19 |  0.012 % |
5.56/5.64	c |     56721 |      90     1917     9585 |    18091    14590     19 |  0.012 % |
5.56/5.66	c |     56881 |      90     1917     9585 |    18091    14750     19 |  0.012 % |
5.56/5.68	c |     57059 |      90     1917     9585 |    18091    14928     19 |  0.012 % |
5.66/5.70	c |     57252 |      90     1917     9585 |    18091    15121     19 |  0.012 % |
5.66/5.73	c |     57466 |      90     1917     9585 |    18091    15335     19 |  0.012 % |
5.66/5.76	c |     57699 |      90     1917     9585 |    18091    15568     19 |  0.012 % |
5.66/5.79	c |     57956 |      90     1917     9585 |    18091    15825     19 |  0.012 % |
5.76/5.82	c |     58238 |      90     1917     9585 |    18091    16107     19 |  0.012 % |
5.76/5.86	c |     58547 |      90     1917     9585 |    18091    16416     19 |  0.012 % |
5.86/5.91	c |     58887 |      90     1917     9585 |    18091    16756     19 |  0.012 % |
5.86/5.95	c |     59259 |      90     1917     9585 |    18091    17128     19 |  0.012 % |
5.96/6.01	c |     59668 |      90     1917     9585 |    18091    17537     19 |  0.012 % |
5.96/6.08	c |     60117 |      90     1917     9585 |    17870    13033     19 |  0.012 % |
6.06/6.13	c |     60611 |      90     1917     9585 |    17870    13527     19 |  0.012 % |
6.06/6.18	c |     61153 |      90     1917     9585 |    17870    14069     19 |  0.012 % |
6.16/6.25	c |     61752 |      90     1917     9585 |    17870    14668     19 |  0.012 % |
6.26/6.33	c |     62407 |      90     1917     9585 |    17870    15323     19 |  0.012 % |
6.36/6.42	c |     63128 |      90     1917     9585 |    17870    16044     19 |  0.012 % |
6.47/6.51	c |     63921 |      90     1917     9585 |    17870    16837     19 |  0.012 % |
6.47/6.53	c |     64021 |      90     1917     9585 |    17870    16937     19 |  0.012 % |
6.47/6.54	c |     64131 |      90     1917     9585 |    17870    17047     19 |  0.012 % |
6.47/6.56	c |     64252 |      90     1917     9585 |    17870    17168     19 |  0.012 % |
6.47/6.57	c |     64386 |      90     1917     9585 |    17870    17302     19 |  0.012 % |
6.47/6.59	c |     64532 |      90     1917     9585 |    17870    17448     19 |  0.012 % |
6.57/6.62	c |     64694 |      90     1917     9585 |    17870    17610     19 |  0.012 % |
6.57/6.64	c |     64870 |      90     1917     9585 |    17870    17786     19 |  0.012 % |
6.57/6.68	c |     65063 |      90     1917     9585 |    17870    13087     19 |  0.012 % |
6.66/6.71	c |     65275 |      90     1917     9585 |    17870    13299     19 |  0.012 % |
6.66/6.73	c |     65508 |      90     1917     9585 |    17870    13532     19 |  0.012 % |
6.66/6.76	c |     65767 |      90     1917     9585 |    17870    13791     19 |  0.012 % |
6.66/6.79	c |     66051 |      90     1917     9585 |    17870    14075     19 |  0.012 % |
6.76/6.83	c |     66362 |      90     1917     9585 |    17870    14386     19 |  0.012 % |
6.76/6.87	c |     66701 |      90     1917     9585 |    17870    14725     19 |  0.012 % |
6.86/6.91	c |     67076 |      90     1917     9585 |    17870    15100     19 |  0.012 % |
6.86/6.95	c |     67485 |      90     1917     9585 |    17870    15509     19 |  0.012 % |
6.96/7.01	c |     67937 |      90     1917     9585 |    17870    15961     19 |  0.012 % |
6.96/7.07	c |     68431 |      90     1917     9585 |    17870    16455     19 |  0.012 % |
7.06/7.14	c |     68974 |      90     1917     9585 |    17870    16998     19 |  0.012 % |
7.16/7.22	c |     69572 |      90     1917     9585 |    17870    17596     19 |  0.012 % |
7.26/7.33	c |     70228 |      90     1917     9585 |    13122     9751     18 |  0.012 % |
7.26/7.37	c |     70949 |      90     1917     9585 |    13122    10472     18 |  0.012 % |
7.36/7.43	c |     71742 |      90     1917     9585 |    13122    11265     19 |  0.012 % |
7.46/7.51	c |     72615 |      90     1917     9585 |    13122    12138     19 |  0.012 % |
7.46/7.52	c |     72717 |      90     1917     9585 |    13122    12240     19 |  0.012 % |
7.46/7.53	c |     72828 |      90     1917     9585 |    13122    12351     19 |  0.012 % |
7.46/7.54	c |     72949 |      90     1917     9585 |    13122    12472     19 |  0.012 % |
7.46/7.56	c |     73084 |      90     1917     9585 |    13122    12607     19 |  0.012 % |
7.46/7.58	c |     73230 |      90     1917     9585 |    13122    12753     19 |  0.012 % |
7.46/7.60	c |     73392 |      90     1917     9585 |    13122    12915     19 |  0.012 % |
7.56/7.62	c |     73568 |      90     1917     9585 |    13122    13091     19 |  0.012 % |
7.56/7.65	c |     73761 |      90     1917     9585 |    13122    10299     19 |  0.012 % |
7.56/7.66	c |     73975 |      90     1917     9585 |    13122    10513     19 |  0.012 % |
7.56/7.68	c |     74208 |      90     1917     9585 |    13122    10746     19 |  0.012 % |
7.66/7.70	c |     74464 |      90     1917     9585 |    13122    11002     19 |  0.012 % |
7.66/7.73	c |     74746 |      90     1917     9585 |    13122    11284     19 |  0.012 % |
7.66/7.75	c |     75055 |      90     1917     9585 |    13122    11593     19 |  0.012 % |
7.66/7.78	c |     75395 |      90     1917     9585 |    13122    11933     19 |  0.012 % |
7.75/7.82	c |     75769 |      90     1917     9585 |    13122    12307     19 |  0.012 % |
7.75/7.86	c |     76180 |      90     1917     9585 |    13122    12718     19 |  0.012 % |
7.85/7.91	c |     76629 |      90     1917     9585 |    13122    10338     19 |  0.012 % |
7.85/7.96	c |     77123 |      90     1917     9585 |    13122    10832     19 |  0.012 % |
7.95/8.00	c |     77665 |      90     1917     9585 |    13122    11374     19 |  0.012 % |
7.95/8.04	c |     78261 |      90     1917     9585 |    13122    11970     19 |  0.012 % |
8.05/8.10	c |     78916 |      90     1917     9585 |    13122    12625     19 |  0.012 % |
8.05/8.18	c |     79636 |      90     1917     9585 |    13122    10676     19 |  0.012 % |
8.15/8.25	c |     80428 |      90     1917     9585 |    11040     9240     19 |  0.012 % |
8.25/8.32	c |     81299 |      90     1917     9585 |    11040    10111     19 |  0.012 % |
8.35/8.41	c |     82257 |      90     1917     9585 |    11040     9215     19 |  0.012 % |
8.35/8.42	c |     82357 |      90     1917     9585 |    11040     9315     19 |  0.012 % |
8.35/8.43	c |     82467 |      90     1917     9585 |    11040     9425     19 |  0.012 % |
8.35/8.44	c |     82589 |      90     1917     9585 |    11040     9547     19 |  0.012 % |
8.35/8.45	c |     82723 |      90     1917     9585 |    11040     9681     19 |  0.012 % |
8.35/8.46	c |     82869 |      90     1917     9585 |    11040     9827     19 |  0.012 % |
8.35/8.47	c |     83029 |      90     1917     9585 |    11040     9987     19 |  0.012 % |
8.35/8.49	c |     83206 |      90     1917     9585 |    11040    10164     19 |  0.012 % |
8.45/8.50	c |     83399 |      90     1917     9585 |    11040    10357     19 |  0.012 % |
8.45/8.51	c |     83611 |      90     1917     9585 |    11040    10569     19 |  0.012 % |
8.45/8.53	c |     83844 |      90     1917     9585 |    11040    10802     19 |  0.012 % |
8.45/8.56	c |     84102 |      90     1917     9585 |    11040    11060     19 |  0.012 % |
8.45/8.59	c |     84385 |      90     1917     9585 |    11040     9567     19 |  0.012 % |
8.55/8.62	c |     84694 |      90     1917     9585 |    11040     9876     19 |  0.012 % |
8.55/8.65	c |     85034 |      90     1917     9585 |    11040    10216     19 |  0.012 % |
8.55/8.67	c |     85406 |      90     1917     9585 |    11040    10588     19 |  0.012 % |
8.66/8.71	c |     85818 |      90     1917     9585 |    11040    11000     19 |  0.012 % |
8.66/8.75	c |     86268 |      90     1917     9585 |    11040     9730     19 |  0.012 % |
8.66/8.80	c |     86763 |      90     1917     9585 |    11040    10225     19 |  0.012 % |
8.76/8.84	c |     87306 |      90     1917     9585 |    11040    10768     19 |  0.012 % |
8.76/8.89	c |     87902 |      90     1917     9585 |    11040     9642     19 |  0.012 % |
8.85/8.94	c |     88559 |      90     1917     9585 |    11040    10299     19 |  0.012 % |
8.85/8.99	c |     89279 |      90     1917     9585 |    11040    11019     19 |  0.012 % |
8.95/9.06	c |     90071 |      90     1917     9585 |    10072     8657     19 |  0.012 % |
9.05/9.13	c |     90943 |      90     1917     9585 |    10072     9529     19 |  0.012 % |
9.15/9.20	c |     91903 |      90     1917     9585 |    10072     9158     19 |  0.012 % |
9.15/9.29	c |     92956 |      90     1917     9585 |    10072     8964     19 |  0.012 % |
9.15/9.30	c |     93057 |      90     1917     9585 |    10072     9065     19 |  0.012 % |
9.25/9.31	c |     93167 |      90     1917     9585 |    10072     9175     19 |  0.012 % |
9.25/9.32	c |     93291 |      90     1917     9585 |    10072     9299     19 |  0.012 % |
9.25/9.33	c |     93424 |      90     1917     9585 |    10072     9432     19 |  0.012 % |
9.25/9.34	c |     93570 |      90     1917     9585 |    10072     9578     19 |  0.012 % |
9.25/9.35	c |     93732 |      90     1917     9585 |    10072     9740     19 |  0.012 % |
9.25/9.36	c |     93908 |      90     1917     9585 |    10072     9916     19 |  0.012 % |
9.25/9.38	c |     94101 |      90     1917     9585 |    10072     8873     19 |  0.012 % |
9.35/9.40	c |     94313 |      90     1917     9585 |    10072     9085     19 |  0.012 % |
9.35/9.41	c |     94547 |      90     1917     9585 |    10072     9319     19 |  0.012 % |
9.35/9.44	c |     94803 |      90     1917     9585 |    10072     9575     19 |  0.012 % |
9.35/9.46	c |     95084 |      90     1917     9585 |    10072     9856     19 |  0.012 % |
9.35/9.49	c |     95395 |      90     1917     9585 |    10072     8931     19 |  0.012 % |
9.45/9.52	c |     95734 |      90     1917     9585 |    10072     9270     19 |  0.012 % |
9.45/9.55	c |     96107 |      90     1917     9585 |    10072     9643     19 |  0.012 % |
9.45/9.59	c |     96518 |      90     1917     9585 |    10072    10054     19 |  0.012 % |
9.55/9.63	c |     96968 |      90     1917     9585 |    10072     9252     19 |  0.012 % |
9.55/9.66	c |     97461 |      90     1917     9585 |    10072     9745     19 |  0.012 % |
9.65/9.71	c |     98004 |      90     1917     9585 |    10072     9067     19 |  0.012 % |
9.65/9.76	c |     98600 |      90     1917     9585 |    10072     9663     19 |  0.012 % |
9.76/9.81	c |     99257 |      90     1917     9585 |    10072     9127     19 |  0.012 % |
9.76/9.85	c |     99977 |      90     1917     9585 |    10072     9847     19 |  0.012 % |
9.86/9.92	c |    100769 |      90     1917     9585 |     9870     9497     19 |  0.012 % |
9.86/9.99	c |    101642 |      90     1917     9585 |     9870     9273     19 |  0.012 % |
9.95/10.06	c |    102602 |      90     1917     9585 |     9870     9184     19 |  0.012 % |
10.05/10.14	c |    103657 |      90     1917     9585 |     9870     9239     19 |  0.012 % |
10.15/10.23	c |    104815 |      90     1917     9585 |     9870     9384     19 |  0.012 % |
10.15/10.24	c |    104916 |      90     1917     9585 |     9870     9485     19 |  0.012 % |
10.15/10.25	c |    105026 |      90     1917     9585 |     9870     9595     19 |  0.012 % |
10.15/10.26	c |    105148 |      90     1917     9585 |     9870     9717     19 |  0.012 % |
10.15/10.27	c |    105281 |      90     1917     9585 |     9870     9850     19 |  0.012 % |
10.15/10.29	c |    105427 |      90     1917     9585 |     9870     8951     19 |  0.012 % |
10.25/10.30	c |    105587 |      90     1917     9585 |     9870     9111     19 |  0.012 % |
10.25/10.31	c |    105764 |      90     1917     9585 |     9870     9288     19 |  0.012 % |
10.25/10.33	c |    105958 |      90     1917     9585 |     9870     9482     19 |  0.012 % |
10.25/10.35	c |    106170 |      90     1917     9585 |     9870     9694     19 |  0.012 % |
10.25/10.37	c |    106403 |      90     1917     9585 |     9870     8863     19 |  0.012 % |
10.25/10.39	c |    106659 |      90     1917     9585 |     9870     9119     19 |  0.012 % |
10.35/10.40	c |    106940 |      90     1917     9585 |     9870     9400     19 |  0.012 % |
10.35/10.43	c |    107251 |      90     1917     9585 |     9870     9711     19 |  0.012 % |
10.35/10.45	c |    107590 |      90     1917     9585 |     9870     9001     19 |  0.012 % |
10.35/10.49	c |    107962 |      90     1917     9585 |     9870     9373     19 |  0.012 % |
10.45/10.52	c |    108371 |      90     1917     9585 |     9870     9782     19 |  0.012 % |
10.45/10.56	c |    108820 |      90     1917     9585 |     9870     9167     19 |  0.012 % |
10.55/10.61	c |    109315 |      90     1917     9585 |     9870     9662     19 |  0.012 % |
10.55/10.65	c |    109859 |      90     1917     9585 |     9870     9117     19 |  0.012 % |
10.65/10.70	c |    110456 |      90     1917     9585 |     9259     8706     19 |  0.012 % |
10.65/10.75	c |    111112 |      90     1917     9585 |     9259     8419     19 |  0.012 % |
10.75/10.81	c |    111832 |      90     1917     9585 |     9259     9139     19 |  0.012 % |
10.75/10.87	c |    112626 |      90     1917     9585 |     9259     9005     19 |  0.012 % |
10.86/10.94	c |    113497 |      90     1917     9585 |     9259     8947     19 |  0.012 % |
10.96/11.01	c |    114455 |      90     1917     9585 |     9259     8977     19 |  0.012 % |
10.96/11.09	c |    115509 |      90     1917     9585 |     9259     9103     19 |  0.012 % |
11.05/11.17	c |    116668 |      90     1917     9585 |     9259     8405     19 |  0.012 % |
11.15/11.26	c |    117942 |      90     1917     9585 |     9259     8751     20 |  0.012 % |
11.15/11.27	c |    118042 |      90     1917     9585 |     9259     8851     20 |  0.012 % |
11.15/11.28	c |    118152 |      90     1917     9585 |     9259     8961     20 |  0.012 % |
11.15/11.29	c |    118274 |      90     1917     9585 |     9259     9083     20 |  0.012 % |
11.25/11.30	c |    118409 |      90     1917     9585 |     9259     9218     20 |  0.012 % |
11.25/11.31	c |    118559 |      90     1917     9585 |     9259     8440     20 |  0.012 % |
11.25/11.33	c |    118720 |      90     1917     9585 |     9259     8601     20 |  0.012 % |
11.25/11.34	c |    118896 |      90     1917     9585 |     9259     8777     20 |  0.012 % |
11.25/11.35	c |    119089 |      90     1917     9585 |     9259     8970     20 |  0.012 % |
11.25/11.37	c |    119302 |      90     1917     9585 |     9259     9183     20 |  0.012 % |
11.25/11.39	c |    119535 |      90     1917     9585 |     9259     8488     20 |  0.012 % |
11.35/11.41	c |    119791 |      90     1917     9585 |     9259     8744     20 |  0.012 % |
11.35/11.43	c |    120072 |      90     1917     9585 | 2147483647     9025     20 |  0.012 % |
11.35/11.45	c |    120382 |      90     1917     9585 | 2147483647     9335     20 |  0.012 % |
11.35/11.47	c |    120723 |      90     1917     9585 | 2147483647     9676     20 |  0.012 % |
11.45/11.50	c |    121095 |      90     1917     9585 | 2147483647    10048     20 |  0.012 % |
11.45/11.53	c |    121504 |      90     1917     9585 | 2147483647    10457     20 |  0.012 % |
11.45/11.57	c |    121953 |      90     1917     9585 | 2147483647    10906     20 |  0.012 % |
11.55/11.61	c |    122447 |      90     1917     9585 | 2147483647    11400     20 |  0.012 % |
11.55/11.65	c |    122990 |      90     1917     9585 | 2147483647    11943     20 |  0.012 % |
11.65/11.70	c |    123587 |      90     1917     9585 | 2147483647    12540     20 |  0.012 % |
11.65/11.77	c |    124243 |      90     1917     9585 | 2147483647    13196     20 |  0.012 % |
11.75/11.83	c |    124965 |      90     1917     9585 | 2147483647    13918     20 |  0.012 % |
11.85/11.90	c |    125760 |      90     1917     9585 | 2147483647    14713     20 |  0.012 % |
11.85/11.98	c |    126631 |      90     1917     9585 | 2147483647    15584     20 |  0.012 % |
11.95/12.08	c |    127590 |      90     1917     9585 | 2147483647    16543     20 |  0.012 % |
12.15/12.22	c |    128644 |      90     1917     9585 | 2147483647    17597     20 |  0.012 % |
12.25/12.37	c |    129802 |      90     1917     9585 | 2147483647    18755     20 |  0.012 % |
12.45/12.51	c |    131075 |      90     1917     9585 |    18954    16184     20 |  0.012 % |
12.55/12.67	c |    132475 |      90     1917     9585 |    18954    17584     20 |  0.012 % |
12.55/12.69	c |    132575 |      90     1917     9585 |    18954    17684     20 |  0.012 % |
12.65/12.71	c |    132686 |      90     1917     9585 |    18954    17795     20 |  0.012 % |
12.65/12.72	c |    132807 |      90     1917     9585 |    18954    17916     20 |  0.012 % |
12.65/12.75	c |    132940 |      90     1917     9585 |    18954    18049     20 |  0.012 % |
12.65/12.77	c |    133086 |      90     1917     9585 |    18954    18195     20 |  0.012 % |
12.75/12.80	c |    133247 |      90     1917     9585 |    18954    18356     20 |  0.012 % |
12.75/12.82	c |    133423 |      90     1917     9585 |    18954    18532     20 |  0.012 % |
12.75/12.85	c |    133616 |      90     1917     9585 |    18954    18725     20 |  0.012 % |
12.75/12.88	c |    133828 |      90     1917     9585 |    18954    18937     20 |  0.012 % |
12.85/12.92	c |    134061 |      90     1917     9585 |    18954    14263     20 |  0.012 % |
12.85/12.95	c |    134317 |      90     1917     9585 |    18954    14519     20 |  0.012 % |
12.85/12.99	c |    134598 |      90     1917     9585 |    18954    14800     20 |  0.012 % |
12.95/13.03	c |    134909 |      90     1917     9585 |    18954    15111     20 |  0.012 % |
12.95/13.07	c |    135248 |      90     1917     9585 |    18954    15450     20 |  0.012 % |
13.05/13.12	c |    135620 |      90     1917     9585 |    18954    15822     20 |  0.012 % |
13.05/13.16	c |    136029 |      90     1917     9585 |    18954    16231     20 |  0.012 % |
13.15/13.22	c |    136478 |      90     1917     9585 |    18954    16680     20 |  0.012 % |
13.15/13.29	c |    136971 |      90     1917     9585 |    18954    17173     20 |  0.012 % |
13.25/13.34	c |    137513 |      90     1917     9585 |    18954    17715     20 |  0.012 % |
13.35/13.43	c |    138109 |      90     1917     9585 |    18954    18311     20 |  0.012 % |
13.44/13.52	c |    138764 |      90     1917     9585 |    18954    18966     20 |  0.012 % |
13.54/13.61	c |    139486 |      90     1917     9585 |    18954    14466     19 |  0.012 % |
13.64/13.71	c |    140278 |      90     1917     9585 |    14981    11170     19 |  0.012 % |
13.64/13.78	c |    141149 |      90     1917     9585 |    14981    12041     20 |  0.012 % |
13.74/13.86	c |    142108 |      90     1917     9585 |    14981    13000     20 |  0.012 % |
13.84/13.94	c |    143161 |      90     1917     9585 |    14981    14053     20 |  0.012 % |
13.94/14.06	c |    144319 |      90     1917     9585 |    14981    11732     19 |  0.012 % |
14.04/14.16	c |    145593 |      90     1917     9585 |    14981    13006     20 |  0.012 % |
14.15/14.30	c |    146993 |      90     1917     9585 |    14981    14406     20 |  0.012 % |
14.34/14.44	c |    148533 |      90     1917     9585 |    14981    12587     20 |  0.012 % |
14.34/14.45	c |    148633 |      90     1917     9585 |    14981    12687     20 |  0.012 % |
14.34/14.46	c |    148745 |      90     1917     9585 |    14981    12799     20 |  0.012 % |
14.34/14.48	c |    148866 |      90     1917     9585 |    14981    12920     20 |  0.012 % |
14.34/14.49	c |    149000 |      90     1917     9585 |    14981    13054     20 |  0.012 % |
14.44/14.50	c |    149147 |      90     1917     9585 |    14981    13201     20 |  0.012 % |
14.44/14.52	c |    149308 |      90     1917     9585 |    14981    13362     20 |  0.012 % |
14.44/14.55	c |    149484 |      90     1917     9585 |    14981    13538     20 |  0.012 % |
14.44/14.57	c |    149679 |      90     1917     9585 |    14981    13733     20 |  0.012 % |
14.44/14.59	c |    149891 |      90     1917     9585 |    14981    13945     20 |  0.012 % |
14.54/14.63	c |    150124 |      90     1917     9585 |    14055    11049     20 |  0.012 % |
14.54/14.65	c |    150381 |      90     1917     9585 |    14055    11306     20 |  0.012 % |
14.54/14.68	c |    150663 |      90     1917     9585 |    14055    11588     20 |  0.012 % |
14.64/14.71	c |    150973 |      90     1917     9585 |    14055    11898     20 |  0.012 % |
14.64/14.75	c |    151313 |      90     1917     9585 |    14055    12238     20 |  0.012 % |
14.64/14.79	c |    151686 |      90     1917     9585 |    14055    12611     20 |  0.012 % |
14.74/14.83	c |    152097 |      90     1917     9585 |    14055    13022     20 |  0.012 % |
14.74/14.88	c |    152549 |      90     1917     9585 |    14055    13474     20 |  0.012 % |
14.84/14.93	c |    153045 |      90     1917     9585 |    14055    13970     20 |  0.012 % |
14.84/14.98	c |    153587 |      90     1917     9585 |    14055    11433     20 |  0.012 % |
14.94/15.03	c |    154187 |      90     1917     9585 |    14055    12033     20 |  0.012 % |
14.94/15.08	c |    154842 |      90     1917     9585 |    14055    12688     20 |  0.012 % |
15.04/15.16	c |    155564 |      90     1917     9585 |    14055    13410     20 |  0.012 % |
15.14/15.24	c |    156358 |      90     1917     9585 |    14055    11236     19 |  0.012 % |
15.25/15.33	c |    157231 |      90     1917     9585 |    14055    12109     19 |  0.012 % |
15.35/15.44	c |    158191 |      90     1917     9585 |    14055    13069     19 |  0.012 % |
15.44/15.55	c |    159244 |      90     1917     9585 |    14055    11141     19 |  0.012 % |
15.54/15.66	c |    160402 |      90     1917     9585 |    11897     9809     19 |  0.012 % |
15.64/15.78	c |    161675 |      90     1917     9585 |    11897    11082     19 |  0.012 % |
15.84/15.93	c |    163076 |      90     1917     9585 |    11897    10171     19 |  0.012 % |
15.94/16.06	c |    164617 |      90     1917     9585 |    11897    11712     19 |  0.012 % |
16.14/16.21	c |    166313 |      90     1917     9585 |    11897    11183     19 |  0.012 % |
16.14/16.22	c |    166415 |      90     1917     9585 |    11897    11285     19 |  0.012 % |
16.14/16.23	c |    166526 |      90     1917     9585 |    11897    11396     19 |  0.012 % |
16.14/16.24	c |    166648 |      90     1917     9585 |    11897    11518     19 |  0.012 % |
16.14/16.26	c |    166782 |      90     1917     9585 |    11897    11652     19 |  0.012 % |
16.14/16.27	c |    166928 |      90     1917     9585 |    11897    11798     19 |  0.012 % |
16.14/16.29	c |    167089 |      90     1917     9585 |    11897     9795     19 |  0.012 % |
16.25/16.30	c |    167267 |      90     1917     9585 |    11897     9973     19 |  0.012 % |
16.25/16.31	c |    167462 |      90     1917     9585 |    11897    10168     19 |  0.012 % |
16.25/16.33	c |    167675 |      90     1917     9585 |    11897    10381     19 |  0.012 % |
16.25/16.35	c |    167912 |      90     1917     9585 |    11897    10618     19 |  0.012 % |
16.25/16.37	c |    168169 |      90     1917     9585 |    11897    10875     19 |  0.012 % |
16.25/16.40	c |    168450 |      90     1917     9585 |    11897    11156     19 |  0.012 % |
16.35/16.43	c |    168759 |      90     1917     9585 |    11897    11465     19 |  0.012 % |
16.35/16.46	c |    169098 |      90     1917     9585 |    11897    11804     19 |  0.012 % |
16.45/16.51	c |    169470 |      90     1917     9585 |    11897    10026     19 |  0.012 % |
16.45/16.55	c |    169880 |      90     1917     9585 |    11897    10436     19 |  0.012 % |
16.45/16.58	c |    170329 |      90     1917     9585 |    10556     8995     19 |  0.012 % |
16.55/16.63	c |    170823 |      90     1917     9585 |    10556     9489     19 |  0.012 % |
16.55/16.67	c |    171366 |      90     1917     9585 |    10556    10032     19 |  0.012 % |
16.65/16.72	c |    171964 |      90     1917     9585 |    10556     8971     19 |  0.012 % |
16.65/16.77	c |    172621 |      90     1917     9585 |    10556     9628     19 |  0.012 % |
16.75/16.83	c |    173341 |      90     1917     9585 |    10556    10348     19 |  0.012 % |
16.85/16.90	c |    174137 |      90     1917     9585 |    10556     9546     19 |  0.012 % |
16.85/16.96	c |    175008 |      90     1917     9585 |    10556    10417     19 |  0.012 % |
16.95/17.05	c |    175968 |      90     1917     9585 |    10556     9845     19 |  0.012 % |
17.05/17.14	c |    177021 |      90     1917     9585 |    10556     9406     19 |  0.012 % |
17.15/17.22	c |    178179 |      90     1917     9585 |    10556    10564     19 |  0.012 % |
17.25/17.32	c |    179452 |      90     1917     9585 |    10556    10400     19 |  0.012 % |
17.35/17.43	c |    180852 |      90     1917     9585 |     9527     9109     19 |  0.012 % |
17.45/17.54	c |    182394 |      90     1917     9585 |     9527     8664     19 |  0.012 % |
17.55/17.65	c |    184089 |      90     1917     9585 |     9527     9404     19 |  0.012 % |
17.65/17.78	c |    185955 |      90     1917     9585 |     9527     9359     19 |  0.012 % |
17.65/17.79	c |    186057 |      90     1917     9585 |     9527     9461     19 |  0.012 % |
17.75/17.80	c |    186167 |      90     1917     9585 |     9527     8616     19 |  0.012 % |
17.75/17.81	c |    186289 |      90     1917     9585 |     9527     8738     19 |  0.012 % |
17.75/17.82	c |    186424 |      90     1917     9585 |     9527     8873     19 |  0.012 % |
17.75/17.83	c |    186570 |      90     1917     9585 |     9527     9019     19 |  0.012 % |
17.75/17.85	c |    186730 |      90     1917     9585 |     9527     9179     19 |  0.012 % |
17.75/17.86	c |    186907 |      90     1917     9585 |     9527     9356     19 |  0.012 % |
17.75/17.87	c |    187100 |      90     1917     9585 |     9527     9549     19 |  0.012 % |
17.75/17.89	c |    187312 |      90     1917     9585 |     9527     8807     19 |  0.012 % |
17.85/17.91	c |    187545 |      90     1917     9585 |     9527     9040     19 |  0.012 % |
17.85/17.92	c |    187801 |      90     1917     9585 |     9527     9296     19 |  0.012 % |
17.85/17.95	c |    188082 |      90     1917     9585 |     9527     8622     19 |  0.012 % |
17.85/17.97	c |    188392 |      90     1917     9585 |     9527     8932     19 |  0.012 % |
17.95/18.00	c |    188731 |      90     1917     9585 |     9527     9271     19 |  0.012 % |
17.95/18.03	c |    189103 |      90     1917     9585 |     9527     8688     19 |  0.012 % |
17.95/18.06	c |    189513 |      90     1917     9585 |     9527     9098     19 |  0.012 % |
18.05/18.11	c |    189963 |      90     1917     9585 |     9527     8594     20 |  0.012 % |
18.05/18.14	c |    190457 |      90     1917     9585 | 2147483647     9088     20 |  0.012 % |
18.05/18.18	c |    191003 |      90     1917     9585 | 2147483647     9634     20 |  0.012 % |
18.15/18.23	c |    191599 |      90     1917     9585 | 2147483647    10230     20 |  0.012 % |
18.15/18.28	c |    192256 |      90     1917     9585 | 2147483647    10887     20 |  0.012 % |
18.25/18.35	c |    192976 |      90     1917     9585 | 2147483647    11607     20 |  0.012 % |
18.35/18.42	c |    193768 |      90     1917     9585 | 2147483647    12399     20 |  0.012 % |
18.45/18.50	c |    194639 |      90     1917     9585 | 2147483647    13270     20 |  0.012 % |
18.45/18.59	c |    195598 |      90     1917     9585 | 2147483647    14229     20 |  0.012 % |
18.65/18.71	c |    196651 |      90     1917     9585 | 2147483647    15282     20 |  0.012 % |
18.75/18.85	c |    197811 |      90     1917     9585 | 2147483647    16442     20 |  0.012 % |
18.95/19.02	c |    199084 |      90     1917     9585 | 2147483647    17715     20 |  0.012 % |
19.15/19.20	c |    200484 |      90     1917     9585 |    18631    15223     20 |  0.012 % |
19.25/19.38	c |    202025 |      90     1917     9585 |    18631    16764     19 |  0.012 % |
19.55/19.60	c |    203721 |      90     1917     9585 |    18631    18460     20 |  0.012 % |
19.75/19.81	c |    205584 |      90     1917     9585 |    18631    15502     19 |  0.012 % |
19.94/20.03	c |    207634 |      90     1917     9585 |    18631    17552     19 |  0.012 % |
19.94/20.05	c |    207737 |      90     1917     9585 |    18631    17655     19 |  0.012 % |
19.94/20.07	c |    207847 |      90     1917     9585 |    18631    17765     19 |  0.012 % |
19.94/20.08	c |    207968 |      90     1917     9585 |    18631    17886     19 |  0.012 % |
20.04/20.11	c |    208103 |      90     1917     9585 |    18631    18021     19 |  0.012 % |
20.04/20.13	c |    208249 |      90     1917     9585 |    18631    18167     19 |  0.012 % |
20.04/20.16	c |    208410 |      90     1917     9585 |    18631    18328     19 |  0.012 % |
20.04/20.19	c |    208586 |      90     1917     9585 |    18631    18504     19 |  0.012 % |
20.14/20.24	c |    208780 |      90     1917     9585 |    18631    13740     19 |  0.012 % |
20.14/20.26	c |    208992 |      90     1917     9585 |    18631    13952     19 |  0.012 % |
20.14/20.29	c |    209225 |      90     1917     9585 |    18631    14185     19 |  0.012 % |
20.24/20.32	c |    209482 |      90     1917     9585 |    18631    14442     19 |  0.012 % |
20.24/20.34	c |    209765 |      90     1917     9585 |    18631    14725     19 |  0.012 % |
20.24/20.39	c |    210075 |      90     1917     9585 |    14963    11078     19 |  0.012 % |
20.34/20.42	c |    210414 |      90     1917     9585 |    14963    11417     19 |  0.012 % |
20.34/20.45	c |    210787 |      90     1917     9585 |    14963    11790     19 |  0.012 % |
20.34/20.48	c |    211196 |      90     1917     9585 |    14963    12199     19 |  0.012 % |
20.44/20.51	c |    211645 |      90     1917     9585 |    14963    12648     19 |  0.012 % |
20.44/20.55	c |    212138 |      90     1917     9585 |    14963    13141     19 |  0.012 % |
20.54/20.61	c |    212681 |      90     1917     9585 |    14963    13684     19 |  0.012 % |
20.54/20.67	c |    213279 |      90     1917     9585 |    14963    14282     19 |  0.012 % |
20.64/20.74	c |    213934 |      90     1917     9585 |    14963    14937     19 |  0.012 % |
20.75/20.81	c |    214654 |      90     1917     9585 |    14963    12131     19 |  0.012 % |
20.75/20.88	c |    215448 |      90     1917     9585 |    14963    12925     19 |  0.012 % |
20.85/20.95	c |    216320 |      90     1917     9585 |    14963    13797     20 |  0.012 % |
20.94/21.04	c |    217280 |      90     1917     9585 |    14963    14757     20 |  0.012 % |
21.04/21.14	c |    218333 |      90     1917     9585 |    14963    12470     19 |  0.012 % |
21.14/21.23	c |    219494 |      90     1917     9585 |    14963    13631     20 |  0.012 % |
21.24/21.34	c |    220768 |      90     1917     9585 |    14137    11819     20 |  0.012 % |
21.34/21.47	c |    222168 |      90     1917     9585 |    14137    13219     20 |  0.012 % |
21.54/21.62	c |    223708 |      90     1917     9585 |    14137    11844     20 |  0.012 % |
21.64/21.78	c |    225402 |      90     1917     9585 |    14137    13538     20 |  0.012 % |
21.85/21.98	c |    227266 |      90     1917     9585 |    14137    12540     20 |  0.012 % |
22.04/22.18	c |    229317 |      90     1917     9585 |    14137    11718     20 |  0.012 % |
22.24/22.36	c |    231571 |      90     1917     9585 |    12403    11496     19 |  0.012 % |
22.24/22.37	c |    231671 |      90     1917     9585 |    12403    11596     19 |  0.012 % |
22.24/22.38	c |    231781 |      90     1917     9585 |    12403    11706     19 |  0.012 % |
22.24/22.39	c |    231902 |      90     1917     9585 |    12403    11827     19 |  0.012 % |
22.34/22.40	c |    232035 |      90     1917     9585 |    12403    11960     19 |  0.012 % |
22.34/22.41	c |    232181 |      90     1917     9585 |    12403    12106     19 |  0.012 % |
22.34/22.43	c |    232342 |      90     1917     9585 |    12403    12267     19 |  0.012 % |
22.34/22.45	c |    232518 |      90     1917     9585 |    12403    10203     19 |  0.012 % |
22.34/22.46	c |    232712 |      90     1917     9585 |    12403    10397     19 |  0.012 % |
22.34/22.48	c |    232924 |      90     1917     9585 |    12403    10609     19 |  0.012 % |
22.34/22.49	c |    233159 |      90     1917     9585 |    12403    10844     19 |  0.012 % |
22.44/22.51	c |    233419 |      90     1917     9585 |    12403    11104     19 |  0.012 % |
22.44/22.54	c |    233700 |      90     1917     9585 |    12403    11385     19 |  0.012 % |
22.44/22.57	c |    234009 |      90     1917     9585 |    12403    11694     19 |  0.012 % |
22.44/22.59	c |    234351 |      90     1917     9585 |    12403    12036     19 |  0.012 % |
22.54/22.63	c |    234724 |      90     1917     9585 |    12403    12409     19 |  0.012 % |
22.54/22.67	c |    235134 |      90     1917     9585 |    12403    10635     19 |  0.012 % |
22.64/22.72	c |    235583 |      90     1917     9585 |    12403    11084     19 |  0.012 % |
22.64/22.76	c |    236076 |      90     1917     9585 |    12403    11577     19 |  0.012 % |
22.74/22.81	c |    236618 |      90     1917     9585 |    12403    12119     19 |  0.012 % |
22.74/22.87	c |    237215 |      90     1917     9585 |    12403    10503     19 |  0.012 % |
22.84/22.92	c |    237872 |      90     1917     9585 |    12403    11160     19 |  0.012 % |
22.84/22.99	c |    238593 |      90     1917     9585 |    12403    11881     19 |  0.012 % |
22.94/23.07	c |    239385 |      90     1917     9585 |    12403    10442     19 |  0.012 % |
23.05/23.14	c |    240257 |      90     1917     9585 |    11057     9364     19 |  0.012 % |
23.14/23.21	c |    241217 |      90     1917     9585 |    11057    10324     19 |  0.012 % |
23.24/23.30	c |    242271 |      90     1917     9585 |    11057     9718     20 |  0.012 % |
23.24/23.39	c |    243430 |      90     1917     9585 |    11057    10877     20 |  0.012 % |
23.34/23.49	c |    244704 |      90     1917     9585 |    11057    10569     20 |  0.012 % |
23.54/23.60	c |    246106 |      90     1917     9585 |    11057    10394     20 |  0.012 % |
23.64/23.74	c |    247646 |      90     1917     9585 |    11057    10388     20 |  0.012 % |
23.74/23.87	c |    249340 |      90     1917     9585 |    11057    10558     20 |  0.012 % |
23.94/24.00	c |    251206 |      90     1917     9585 |     9734     9629     19 |  0.012 % |
24.04/24.15	c |    253257 |      90     1917     9585 |     9734     9446     19 |  0.012 % |
24.24/24.32	c |    255510 |      90     1917     9585 |     9734     9679     19 |  0.012 % |
24.34/24.46	c |    257989 |      90     1917     9585 |     9734     9224     20 |  0.012 % |
24.34/24.47	c |    258089 |      90     1917     9585 |     9734     9324     20 |  0.012 % |
24.34/24.47	c |    258201 |      90     1917     9585 |     9734     9436     20 |  0.012 % |
24.34/24.48	c |    258322 |      90     1917     9585 |     9734     9557     20 |  0.012 % |
24.34/24.49	c |    258455 |      90     1917     9585 |     9734     9690     20 |  0.012 % |
24.44/24.51	c |    258601 |      90     1917     9585 |     9734     8860     20 |  0.012 % |
24.44/24.52	c |    258762 |      90     1917     9585 |     9734     9021     20 |  0.012 % |
24.44/24.53	c |    258940 |      90     1917     9585 |     9734     9199     20 |  0.012 % |
24.44/24.54	c |    259133 |      90     1917     9585 |     9734     9392     20 |  0.012 % |
24.44/24.56	c |    259347 |      90     1917     9585 |     9734     9606     20 |  0.012 % |
24.44/24.59	c |    259580 |      90     1917     9585 |     9734     8864     20 |  0.012 % |
24.54/24.60	c |    259836 |      90     1917     9585 |     9734     9120     20 |  0.012 % |
24.54/24.63	c |    260117 |      90     1917     9585 | 2147483647     9401     20 |  0.012 % |
24.54/24.65	c |    260427 |      90     1917     9585 | 2147483647     9711     20 |  0.012 % |
24.54/24.68	c |    260766 |      90     1917     9585 | 2147483647    10050     20 |  0.012 % |
24.64/24.71	c |    261138 |      90     1917     9585 | 2147483647    10422     20 |  0.012 % |
24.64/24.74	c |    261548 |      90     1917     9585 | 2147483647    10832     20 |  0.012 % |
24.64/24.78	c |    261998 |      90     1917     9585 | 2147483647    11282     20 |  0.012 % |
24.73/24.83	c |    262491 |      90     1917     9585 | 2147483647    11775     20 |  0.012 % |
24.73/24.88	c |    263033 |      90     1917     9585 | 2147483647    12317     20 |  0.012 % |
24.83/24.93	c |    263630 |      90     1917     9585 | 2147483647    12914     20 |  0.012 % |
24.83/25.00	c |    264286 |      90     1917     9585 | 2147483647    13570     20 |  0.012 % |
24.93/25.07	c |    265007 |      90     1917     9585 | 2147483647    14291     20 |  0.012 % |
25.03/25.14	c |    265800 |      90     1917     9585 | 2147483647    15084     20 |  0.012 % |
25.14/25.23	c |    266671 |      90     1917     9585 | 2147483647    15955     20 |  0.012 % |
25.24/25.35	c |    267630 |      90     1917     9585 | 2147483647    16914     20 |  0.012 % |
25.33/25.48	c |    268683 |      90     1917     9585 | 2147483647    17967     20 |  0.012 % |
25.53/25.63	c |    269842 |      90     1917     9585 | 2147483647    19126     20 |  0.012 % |
25.63/25.78	c |    271118 |      90     1917     9585 |    19285    16352     20 |  0.012 % |
25.83/25.95	c |    272518 |      90     1917     9585 |    19285    17752     20 |  0.012 % |
26.03/26.17	c |    274060 |      90     1917     9585 |    19285    19294     20 |  0.012 % |
26.24/26.37	c |    275754 |      90     1917     9585 |    19285    15955     20 |  0.012 % |
26.43/26.56	c |    277619 |      90     1917     9585 |    19285    17820     20 |  0.012 % |
26.73/26.82	c |    279668 |      90     1917     9585 |    19285    14722     20 |  0.012 % |
26.93/27.03	c |    281921 |      90     1917     9585 |    15054    12973     20 |  0.012 % |
27.13/27.30	c |    284399 |      90     1917     9585 |    15054    11748     20 |  0.012 % |
27.44/27.53	c |    287124 |      90     1917     9585 |    15054    14473     20 |  0.012 % |
27.44/27.54	c |    287224 |      90     1917     9585 |    15054    14573     20 |  0.012 % |
27.44/27.54	c |    287335 |      90     1917     9585 |    15054    14684     20 |  0.012 % |
27.44/27.56	c |    287457 |      90     1917     9585 |    15054    14806     20 |  0.012 % |
27.44/27.57	c |    287590 |      90     1917     9585 |    15054    14939     20 |  0.012 % |
27.53/27.60	c |    287736 |      90     1917     9585 |    15054    11565     20 |  0.012 % |
27.53/27.62	c |    287898 |      90     1917     9585 |    15054    11727     20 |  0.012 % |
27.53/27.63	c |    288074 |      90     1917     9585 |    15054    11903     20 |  0.012 % |
27.53/27.65	c |    288269 |      90     1917     9585 |    15054    12098     20 |  0.012 % |
27.53/27.67	c |    288482 |      90     1917     9585 |    15054    12311     20 |  0.012 % |
27.53/27.69	c |    288716 |      90     1917     9585 |    15054    12545     20 |  0.012 % |
27.63/27.72	c |    288974 |      90     1917     9585 |    15054    12803     20 |  0.012 % |
27.63/27.74	c |    289256 |      90     1917     9585 |    15054    13085     20 |  0.012 % |
27.63/27.77	c |    289566 |      90     1917     9585 |    15054    13395     20 |  0.012 % |
27.73/27.81	c |    289906 |      90     1917     9585 |    15054    13735     20 |  0.012 % |
27.73/27.86	c |    290279 |      90     1917     9585 |    13829    10894     19 |  0.012 % |
27.73/27.89	c |    290689 |      90     1917     9585 |    13829    11304     20 |  0.012 % |
27.83/27.93	c |    291138 |      90     1917     9585 |    13829    11753     20 |  0.012 % |
27.83/27.98	c |    291633 |      90     1917     9585 |    13829    12248     20 |  0.012 % |
27.93/28.03	c |    292175 |      90     1917     9585 |    13829    12790     20 |  0.012 % |
27.93/28.08	c |    292773 |      90     1917     9585 |    13829    13388     20 |  0.012 % |
28.03/28.16	c |    293428 |      90     1917     9585 |    13829    11143     20 |  0.012 % |
28.13/28.21	c |    294148 |      90     1917     9585 |    13829    11863     20 |  0.012 % |
28.13/28.28	c |    294941 |      90     1917     9585 |    13829    12656     20 |  0.012 % |
28.23/28.35	c |    295812 |      90     1917     9585 |    13829    13527     20 |  0.012 % |
28.33/28.44	c |    296771 |      90     1917     9585 |    13829    11682     20 |  0.012 % |
28.43/28.54	c |    297824 |      90     1917     9585 |    13829    12735     20 |  0.012 % |
28.53/28.67	c |    298982 |      90     1917     9585 |    13829    11102     20 |  0.012 % |
28.63/28.78	c |    300256 |      90     1917     9585 |    12122     9968     20 |  0.012 % |
28.83/28.90	c |    301656 |      90     1917     9585 |    12122    11368     19 |  0.012 % |
28.93/29.04	c |    303196 |      90     1917     9585 |    12122    10751     20 |  0.012 % |
29.03/29.18	c |    304890 |      90     1917     9585 |    12122    10343     19 |  0.012 % |
29.23/29.36	c |    306756 |      90     1917     9585 |    12122    10146     19 |  0.012 % |
29.43/29.55	c |    308807 |      90     1917     9585 |    12122    10144     19 |  0.012 % |
29.63/29.75	c |    311060 |      90     1917     9585 |    11337    10481     19 |  0.012 % |
29.83/29.94	c |    313538 |      90     1917     9585 |    11337    11165     19 |  0.012 % |
30.03/30.15	c |    316263 |      90     1917     9585 |    11337    10480     19 |  0.012 % |
30.23/30.36	c |    319263 |      90     1917     9585 |    11337    10305     19 |  0.012 % |
30.23/30.37	c |    319365 |      90     1917     9585 |    11337    10407     19 |  0.012 % |
30.23/30.38	c |    319475 |      90     1917     9585 |    11337    10517     19 |  0.012 % |
30.23/30.39	c |    319596 |      90     1917     9585 |    11337    10638     19 |  0.012 % |
30.33/30.41	c |    319729 |      90     1917     9585 |    11337    10771     19 |  0.012 % |
30.33/30.42	c |    319875 |      90     1917     9585 |    11337    10917     19 |  0.012 % |
30.33/30.44	c |    320038 |      90     1917     9585 |    11044     9536     19 |  0.012 % |
30.33/30.46	c |    320215 |      90     1917     9585 |    11044     9713     19 |  0.012 % |
30.33/30.47	c |    320408 |      90     1917     9585 |    11044     9906     19 |  0.012 % |
30.33/30.49	c |    320623 |      90     1917     9585 |    11044    10121     19 |  0.012 % |
30.43/30.51	c |    320856 |      90     1917     9585 |    11044    10354     19 |  0.012 % |
30.43/30.53	c |    321114 |      90     1917     9585 |    11044    10612     19 |  0.012 % |
30.43/30.55	c |    321397 |      90     1917     9585 |    11044    10895     19 |  0.012 % |
30.43/30.58	c |    321707 |      90     1917     9585 |    11044     9606     19 |  0.012 % |
30.53/30.60	c |    322046 |      90     1917     9585 |    11044     9945     20 |  0.012 % |
30.53/30.63	c |    322419 |      90     1917     9585 |    11044    10318     20 |  0.012 % |
30.53/30.67	c |    322828 |      90     1917     9585 |    11044    10727     20 |  0.012 % |
30.63/30.71	c |    323281 |      90     1917     9585 |    11044     9573     20 |  0.012 % |
30.63/30.75	c |    323774 |      90     1917     9585 |    11044    10066     20 |  0.012 % |
30.63/30.78	c |    324317 |      90     1917     9585 |    11044    10609     20 |  0.012 % |
30.73/30.83	c |    324913 |      90     1917     9585 |    11044     9688     20 |  0.012 % |
30.73/30.89	c |    325569 |      90     1917     9585 |    11044    10344     20 |  0.012 % |
30.83/30.96	c |    326290 |      90     1917     9585 |    11044    11065     20 |  0.012 % |
30.93/31.02	c |    327082 |      90     1917     9585 |    11044    10318     20 |  0.012 % |
31.03/31.11	c |    327953 |      90     1917     9585 |    11044     9624     19 |  0.012 % |
31.03/31.19	c |    328911 |      90     1917     9585 |    11044    10582     19 |  0.012 % |
31.13/31.28	c |    329966 |      90     1917     9585 |    11044    10090     19 |  0.012 % |
31.23/31.36	c |    331124 |      90     1917     9585 |    10125     9855     19 |  0.012 % |
31.33/31.46	c |    332397 |      90     1917     9585 |    10125     9914     19 |  0.012 % |
31.43/31.57	c |    333797 |      90     1917     9585 |    10125     9026     19 |  0.012 % |
31.53/31.68	c |    335338 |      90     1917     9585 |    10125     9470     20 |  0.012 % |
31.73/31.81	c |    337033 |      90     1917     9585 |    10125    10082     20 |  0.012 % |
31.83/31.94	c |    338897 |      90     1917     9585 |    10125     9804     20 |  0.012 % |
31.93/32.08	c |    340946 |      90     1917     9585 | 2147483647    10839     20 |  0.012 % |
32.13/32.27	c |    343199 |      90     1917     9585 | 2147483647    13092     20 |  0.012 % |
32.33/32.49	c |    345678 |      90     1917     9585 | 2147483647    15571     20 |  0.012 % |
32.73/32.83	c |    348403 |      90     1917     9585 | 2147483647    18296     20 |  0.012 % |
33.13/33.21	c |    351401 |      90     1917     9585 |    19894    17227     19 |  0.012 % |
33.52/33.65	c |    354700 |      90     1917     9585 |    19894    15382     19 |  0.012 % |
33.52/33.66	c |    354800 |      90     1917     9585 |    19894    15482     19 |  0.012 % |
33.52/33.67	c |    354910 |      90     1917     9585 |    19894    15592     19 |  0.012 % |
33.52/33.68	c |    355033 |      90     1917     9585 |    19894    15715     19 |  0.012 % |
33.62/33.70	c |    355166 |      90     1917     9585 |    19894    15848     19 |  0.012 % |
33.62/33.71	c |    355312 |      90     1917     9585 |    19894    15994     19 |  0.012 % |
33.62/33.74	c |    355472 |      90     1917     9585 |    19894    16154     19 |  0.012 % |
33.62/33.76	c |    355650 |      90     1917     9585 |    19894    16332     19 |  0.012 % |
33.62/33.78	c |    355844 |      90     1917     9585 |    19894    16526     19 |  0.012 % |
33.72/33.81	c |    356056 |      90     1917     9585 |    19894    16738     19 |  0.012 % |
33.72/33.84	c |    356289 |      90     1917     9585 |    19894    16971     19 |  0.012 % |
33.72/33.87	c |    356546 |      90     1917     9585 |    19894    17228     19 |  0.012 % |
33.82/33.91	c |    356828 |      90     1917     9585 |    19894    17510     19 |  0.012 % |
33.82/33.95	c |    357138 |      90     1917     9585 |    19894    17820     19 |  0.012 % |
33.92/34.01	c |    357477 |      90     1917     9585 |    19894    18159     19 |  0.012 % |
33.92/34.07	c |    357849 |      90     1917     9585 |    19894    18531     19 |  0.012 % |
34.02/34.12	c |    358259 |      90     1917     9585 |    19894    18941     19 |  0.012 % |
34.02/34.19	c |    358711 |      90     1917     9585 |    19894    19393     19 |  0.012 % |
34.12/34.25	c |    359205 |      90     1917     9585 |    19894    19887     19 |  0.012 % |
34.22/34.33	c |    359748 |      90     1917     9585 |    19894    15002     19 |  0.012 % |
34.32/34.41	c |    360344 |      90     1917     9585 |    15255    11462     19 |  0.012 % |
34.32/34.47	c |    361002 |      90     1917     9585 |    15255    12120     19 |  0.012 % |
34.42/34.54	c |    361724 |      90     1917     9585 |    15255    12842     19 |  0.012 % |
34.52/34.63	c |    362517 |      90     1917     9585 |    15255    13635     19 |  0.012 % |
34.62/34.72	c |    363388 |      90     1917     9585 |    15255    14506     19 |  0.012 % |
34.71/34.83	c |    364346 |      90     1917     9585 |    15255    11728     19 |  0.012 % |
34.81/34.93	c |    365400 |      90     1917     9585 |    15255    12782     19 |  0.012 % |
34.91/35.04	c |    366559 |      90     1917     9585 |    15255    13941     19 |  0.012 % |
35.02/35.18	c |    367833 |      90     1917     9585 |    15255    15215     19 |  0.012 % |
35.21/35.33	c |    369234 |      90     1917     9585 |    15255    13006     19 |  0.012 % |
35.31/35.48	c |    370775 |      90     1917     9585 |    13773    11343     19 |  0.012 % |
35.51/35.63	c |    372470 |      90     1917     9585 |    13773    13038     19 |  0.012 % |
35.71/35.80	c |    374335 |      90     1917     9585 |    13773    12030     19 |  0.012 % |
35.91/36.00	c |    376384 |      90     1917     9585 |    13773    11339     19 |  0.012 % |
36.12/36.23	c |    378638 |      90     1917     9585 |    13773    13593     19 |  0.012 % |
36.31/36.47	c |    381117 |      90     1917     9585 |    12220    10949     19 |  0.012 % |
36.51/36.69	c |    383843 |      90     1917     9585 |    12220    11513     19 |  0.012 % |
36.81/36.95	c |    386842 |      90     1917     9585 |    12220    10401     19 |  0.012 % |
37.11/37.25	c |    390138 |      90     1917     9585 |    11486     9716     19 |  0.012 % |
37.41/37.54	c |    393765 |      90     1917     9585 |    11486     9938     19 |  0.012 % |
37.41/37.55	c |    393865 |      90     1917     9585 |    11486    10038     19 |  0.012 % |
37.41/37.56	c |    393975 |      90     1917     9585 |    11486    10148     19 |  0.012 % |
37.41/37.57	c |    394096 |      90     1917     9585 |    11486    10269     19 |  0.012 % |
37.41/37.58	c |    394231 |      90     1917     9585 |    11486    10404     19 |  0.012 % |
37.41/37.59	c |    394377 |      90     1917     9585 |    11486    10550     19 |  0.012 % |
37.51/37.60	c |    394537 |      90     1917     9585 |    11486    10710     19 |  0.012 % |
37.51/37.62	c |    394714 |      90     1917     9585 |    11486    10887     19 |  0.012 % |
37.51/37.63	c |    394907 |      90     1917     9585 |    11486    11080     19 |  0.012 % |
37.51/37.65	c |    395121 |      90     1917     9585 |    11486    11294     19 |  0.012 % |
37.51/37.68	c |    395354 |      90     1917     9585 |    11486     9837     19 |  0.012 % |
37.61/37.70	c |    395611 |      90     1917     9585 |    11486    10094     19 |  0.012 % |
37.61/37.72	c |    395893 |      90     1917     9585 |    11486    10376     19 |  0.012 % |
37.61/37.74	c |    396202 |      90     1917     9585 |    11486    10685     19 |  0.012 % |
37.61/37.77	c |    396541 |      90     1917     9585 |    11486    11024     19 |  0.012 % |
37.71/37.80	c |    396913 |      90     1917     9585 |    11486    11396     19 |  0.012 % |
37.71/37.84	c |    397325 |      90     1917     9585 |    11486    10139     19 |  0.012 % |
37.71/37.87	c |    397775 |      90     1917     9585 |    11486    10589     19 |  0.012 % |
37.81/37.91	c |    398269 |      90     1917     9585 |    11486    11083     19 |  0.012 % |
37.81/37.97	c |    398811 |      90     1917     9585 |    11486     9973     19 |  0.012 % |
37.91/38.02	c |    399407 |      90     1917     9585 |    11486    10569     19 |  0.012 % |
37.91/38.08	c |    400064 |      90     1917     9585 |    11162     9610     19 |  0.012 % |
38.01/38.13	c |    400784 |      90     1917     9585 |    11162    10330     19 |  0.012 % |
38.01/38.19	c |    401576 |      90     1917     9585 |    11162    11122     19 |  0.012 % |
38.11/38.27	c |    402449 |      90     1917     9585 |    11162    10433     19 |  0.012 % |
38.21/38.36	c |    403408 |      90     1917     9585 |    11162     9756     20 |  0.012 % |
38.32/38.45	c |    404461 |      90     1917     9585 |    11162    10809     20 |  0.012 % |
38.42/38.55	c |    405620 |      90     1917     9585 |    11162    10342     20 |  0.012 % |
38.51/38.65	c |    406894 |      90     1917     9585 |    11162    10029     19 |  0.012 % |
38.61/38.75	c |    408294 |      90     1917     9585 |    11162     9892     19 |  0.012 % |
38.81/38.90	c |    409835 |      90     1917     9585 |    11162     9887     19 |  0.012 % |
38.91/39.03	c |    411529 |      90     1917     9585 |    10052     8935     19 |  0.012 % |
39.01/39.16	c |    413392 |      90     1917     9585 |    10052     9602     19 |  0.012 % |
39.21/39.30	c |    415442 |      90     1917     9585 |    10052     9495     19 |  0.012 % |
39.31/39.49	c |    417698 |      90     1917     9585 |    10052     9623     19 |  0.012 % |
39.61/39.70	c |    420177 |      90     1917     9585 |     9764     8905     20 |  0.012 % |
39.81/39.91	c |    422903 |      90     1917     9585 |     9764     9673     20 |  0.012 % |
40.01/40.15	c |    425900 |      90     1917     9585 |     9764     9735     19 |  0.012 % |
40.31/40.45	c |    429196 |      90     1917     9585 |     9764     9117     19 |  0.012 % |
40.61/40.73	c |    432821 |      90     1917     9585 | 2147483647    11763     19 |  0.012 % |
41.01/41.11	c |    436808 |      90     1917     9585 | 2147483647    15750     19 |  0.012 % |
41.01/41.12	c |    436908 |      90     1917     9585 | 2147483647    15850     19 |  0.012 % |
41.01/41.13	c |    437021 |      90     1917     9585 | 2147483647    15963     19 |  0.012 % |
41.01/41.14	c |    437143 |      90     1917     9585 | 2147483647    16085     19 |  0.012 % |
41.01/41.16	c |    437277 |      90     1917     9585 | 2147483647    16219     19 |  0.012 % |
41.01/41.18	c |    437423 |      90     1917     9585 | 2147483647    16365     19 |  0.012 % |
41.11/41.21	c |    437585 |      90     1917     9585 | 2147483647    16527     19 |  0.012 % |
41.11/41.23	c |    437761 |      90     1917     9585 | 2147483647    16703     19 |  0.012 % |
41.11/41.25	c |    437955 |      90     1917     9585 | 2147483647    16897     19 |  0.012 % |
41.11/41.28	c |    438169 |      90     1917     9585 | 2147483647    17111     19 |  0.012 % |
41.21/41.32	c |    438402 |      90     1917     9585 | 2147483647    17344     19 |  0.012 % |
41.21/41.36	c |    438658 |      90     1917     9585 | 2147483647    17600     19 |  0.012 % |
41.21/41.40	c |    438941 |      90     1917     9585 | 2147483647    17883     19 |  0.012 % |
41.31/41.44	c |    439251 |      90     1917     9585 | 2147483647    18193     19 |  0.012 % |
41.31/41.48	c |    439591 |      90     1917     9585 | 2147483647    18533     19 |  0.012 % |
41.41/41.54	c |    439965 |      90     1917     9585 | 2147483647    18907     19 |  0.012 % |
41.51/41.60	c |    440376 |      90     1917     9585 |    18944    15243     19 |  0.012 % |
41.51/41.66	c |    440825 |      90     1917     9585 |    18944    15692     19 |  0.012 % |
41.61/41.72	c |    441319 |      90     1917     9585 |    18944    16186     19 |  0.012 % |
41.61/41.79	c |    441862 |      90     1917     9585 |    18944    16729     19 |  0.012 % |
41.71/41.86	c |    442460 |      90     1917     9585 |    18944    17327     19 |  0.012 % |
41.81/41.92	c |    443117 |      90     1917     9585 |    18944    17984     19 |  0.012 % |
41.91/42.02	c |    443837 |      90     1917     9585 |    18944    18704     19 |  0.012 % |
42.01/42.12	c |    444629 |      90     1917     9585 |    18944    14720     20 |  0.012 % |
42.11/42.20	c |    445500 |      90     1917     9585 |    18944    15591     20 |  0.012 % |
42.20/42.31	c |    446458 |      90     1917     9585 |    18944    16549     20 |  0.012 % |
42.30/42.43	c |    447513 |      90     1917     9585 |    18944    17604     20 |  0.012 % |
42.40/42.57	c |    448671 |      90     1917     9585 |    18944    18762     20 |  0.012 % |
42.60/42.72	c |    449945 |      90     1917     9585 |    18944    15110     20 |  0.012 % |
42.71/42.85	c |    451347 |      90     1917     9585 |    15168    12592     19 |  0.012 % |
42.90/43.00	c |    452888 |      90     1917     9585 |    15168    14133     19 |  0.012 % |
43.00/43.19	c |    454582 |      90     1917     9585 |    15168    12263     19 |  0.012 % |
43.20/43.34	c |    456446 |      90     1917     9585 |    15168    14127     19 |  0.012 % |
43.40/43.57	c |    458495 |      90     1917     9585 |    15168    12642     19 |  0.012 % |
43.60/43.79	c |    460748 |      90     1917     9585 |    14147    11632     19 |  0.012 % |
43.81/43.99	c |    463227 |      90     1917     9585 |    14147    14111     20 |  0.012 % |
44.10/44.23	c |    465953 |      90     1917     9585 |    14147    13908     20 |  0.012 % |
44.40/44.52	c |    468950 |      90     1917     9585 |    14147    14029     20 |  0.012 % |
44.70/44.82	c |    472247 |      90     1917     9585 |    12188    11963     20 |  0.012 % |
45.01/45.14	c |    475873 |      90     1917     9585 |    12188    11201     20 |  0.012 % |
45.30/45.49	c |    479861 |      90     1917     9585 |    12188    10927     20 |  0.012 % |
45.70/45.83	c |    484246 |      90     1917     9585 |    11066     9977     20 |  0.012 % |
45.70/45.84	c |    484346 |      90     1917     9585 |    11066    10077     20 |  0.012 % |
45.70/45.85	c |    484456 |      90     1917     9585 |    11066    10187     20 |  0.012 % |
45.70/45.86	c |    484577 |      90     1917     9585 |    11066    10308     20 |  0.012 % |
45.70/45.87	c |    484710 |      90     1917     9585 |    11066    10441     20 |  0.012 % |
45.70/45.88	c |    484856 |      90     1917     9585 |    11066    10587     20 |  0.012 % |
45.70/45.89	c |    485016 |      90     1917     9585 |    11066    10747     20 |  0.012 % |
45.80/45.91	c |    485194 |      90     1917     9585 |    11066    10925     20 |  0.012 % |
45.80/45.93	c |    485389 |      90     1917     9585 |    11066     9434     20 |  0.012 % |
45.80/45.95	c |    485601 |      90     1917     9585 |    11066     9646     20 |  0.012 % |
45.80/45.96	c |    485837 |      90     1917     9585 |    11066     9882     20 |  0.012 % |
45.80/45.98	c |    486093 |      90     1917     9585 |    11066    10138     20 |  0.012 % |
45.90/46.00	c |    486374 |      90     1917     9585 |    11066    10419     20 |  0.012 % |
45.90/46.02	c |    486684 |      90     1917     9585 |    11066    10729     20 |  0.012 % |
45.90/46.05	c |    487024 |      90     1917     9585 |    11066    11069     20 |  0.012 % |
45.90/46.08	c |    487396 |      90     1917     9585 |    11066     9813     20 |  0.012 % |
46.01/46.10	c |    487806 |      90     1917     9585 |    11066    10223     20 |  0.012 % |
46.01/46.14	c |    488258 |      90     1917     9585 |    11066    10675     20 |  0.012 % |
46.01/46.19	c |    488751 |      90     1917     9585 |    11066     9570     20 |  0.012 % |
46.10/46.23	c |    489293 |      90     1917     9585 |    11066    10112     20 |  0.012 % |
46.10/46.28	c |    489890 |      90     1917     9585 |    11066    10709     20 |  0.012 % |
46.20/46.34	c |    490547 |      90     1917     9585 |    10821     9829     20 |  0.012 % |
46.20/46.39	c |    491268 |      90     1917     9585 |    10821    10550     20 |  0.012 % |
46.30/46.45	c |    492060 |      90     1917     9585 |    10821     9845     20 |  0.012 % |
46.40/46.52	c |    492933 |      90     1917     9585 |    10821    10718     20 |  0.012 % |
46.40/46.60	c |    493892 |      90     1917     9585 |    10821    10220     20 |  0.012 % |
46.50/46.69	c |    494946 |      90     1917     9585 |    10821     9846     19 |  0.012 % |
46.60/46.78	c |    496105 |      90     1917     9585 |    10821     9612     19 |  0.012 % |
46.70/46.87	c |    497380 |      90     1917     9585 |    10821     9529     19 |  0.012 % |
46.80/46.97	c |    498781 |      90     1917     9585 |    10821     9627     19 |  0.012 % |
46.90/47.08	c |    500321 |      90     1917     9585 |    10847     9884     19 |  0.012 % |
47.00/47.20	c |    502015 |      90     1917     9585 |    10847    10355     19 |  0.012 % |
47.20/47.34	c |    503878 |      90     1917     9585 |    10847     9742     19 |  0.012 % |
47.40/47.50	c |    505928 |      90     1917     9585 |    10847    10549     19 |  0.012 % |
47.50/47.68	c |    508182 |      90     1917     9585 |    10847    10328     19 |  0.012 % |
47.70/47.88	c |    510662 |      90     1917     9585 |     9668     9222     19 |  0.012 % |
47.90/48.09	c |    513387 |      90     1917     9585 |     9668     8894     19 |  0.012 % |
48.20/48.34	c |    516385 |      90     1917     9585 |     9668     8984     18 |  0.012 % |
48.40/48.59	c |    519683 |      90     1917     9585 |     9668     9376     19 |  0.012 % |
48.69/48.85	c |    523308 |      90     1917     9585 | 2147483647    13001     19 |  0.012 % |
49.09/49.22	c |    527296 |      90     1917     9585 | 2147483647    16989     19 |  0.012 % |
49.60/49.75	c |    531681 |      90     1917     9585 |    19693    17268     19 |  0.012 % |
50.10/50.29	c |    536504 |      90     1917     9585 |    19693    17091     19 |  0.012 % |
50.20/50.31	c |    536604 |      90     1917     9585 |    19693    17191     19 |  0.012 % |
50.20/50.32	c |    536714 |      90     1917     9585 |    19693    17301     19 |  0.012 % |
50.20/50.34	c |    536835 |      90     1917     9585 |    19693    17422     19 |  0.012 % |
50.20/50.36	c |    536968 |      90     1917     9585 |    19693    17555     19 |  0.012 % |
50.20/50.37	c |    537115 |      90     1917     9585 |    19693    17702     19 |  0.012 % |
50.29/50.40	c |    537275 |      90     1917     9585 |    19693    17862     19 |  0.012 % |
50.29/50.43	c |    537453 |      90     1917     9585 |    19693    18040     19 |  0.012 % |
50.29/50.45	c |    537646 |      90     1917     9585 |    19693    18233     19 |  0.012 % |
50.29/50.48	c |    537859 |      90     1917     9585 |    19693    18446     19 |  0.012 % |
50.40/50.52	c |    538092 |      90     1917     9585 |    19693    18679     19 |  0.012 % |
50.40/50.56	c |    538348 |      90     1917     9585 |    19693    18935     19 |  0.012 % |
50.40/50.60	c |    538629 |      90     1917     9585 |    19693    19216     19 |  0.012 % |
50.50/50.64	c |    538939 |      90     1917     9585 |    19693    19526     19 |  0.012 % |
50.59/50.71	c |    539279 |      90     1917     9585 |    19693    14565     19 |  0.012 % |
50.59/50.76	c |    539652 |      90     1917     9585 |    19693    14938     19 |  0.012 % |
50.69/50.82	c |    540061 |      90     1917     9585 |    15287    11254     19 |  0.012 % |
50.69/50.87	c |    540510 |      90     1917     9585 |    15287    11703     19 |  0.012 % |
50.79/50.91	c |    541003 |      90     1917     9585 |    15287    12196     19 |  0.012 % |
50.79/50.96	c |    541546 |      90     1917     9585 |    15287    12739     19 |  0.012 % |
50.89/51.01	c |    542142 |      90     1917     9585 |    15287    13335     19 |  0.012 % |
50.89/51.07	c |    542797 |      90     1917     9585 |    15287    13990     19 |  0.012 % |
50.99/51.13	c |    543517 |      90     1917     9585 |    15287    14710     19 |  0.012 % |
51.09/51.24	c |    544309 |      90     1917     9585 |    15287    11876     19 |  0.012 % |
51.19/51.32	c |    545180 |      90     1917     9585 |    15287    12747     19 |  0.012 % |
51.29/51.40	c |    546138 |      90     1917     9585 |    15287    13705     19 |  0.012 % |
51.39/51.50	c |    547191 |      90     1917     9585 |    15287    14758     19 |  0.012 % |
51.50/51.62	c |    548349 |      90     1917     9585 |    15287    12432     19 |  0.012 % |
51.60/51.73	c |    549622 |      90     1917     9585 |    15287    13705     19 |  0.012 % |
51.69/51.88	c |    551023 |      90     1917     9585 |    14083    11984     19 |  0.012 % |
51.89/52.02	c |    552563 |      90     1917     9585 |    14083    13524     19 |  0.012 % |
51.99/52.19	c |    554258 |      90     1917     9585 |    14083    12178     19 |  0.012 % |
52.19/52.36	c |    556121 |      90     1917     9585 |    14083    14041     19 |  0.012 % |
52.39/52.55	c |    558172 |      90     1917     9585 |    14083    13157     20 |  0.012 % |
52.60/52.74	c |    560425 |      90     1917     9585 |    12101    10105     19 |  0.012 % |
52.79/52.93	c |    562904 |      90     1917     9585 |    12101    10482     19 |  0.012 % |
52.99/53.14	c |    565629 |      90     1917     9585 |    12101    11242     19 |  0.012 % |
53.19/53.35	c |    568628 |      90     1917     9585 |    12101    10562     19 |  0.012 % |
53.49/53.62	c |    571924 |      90     1917     9585 |    11934    10306     19 |  0.012 % |
53.79/53.94	c |    575549 |      90     1917     9585 |    11934    10207     20 |  0.012 % |
54.09/54.24	c |    579536 |      90     1917     9585 |    11934    10506     20 |  0.012 % |
54.39/54.59	c |    583924 |      90     1917     9585 |    10974    10147     19 |  0.012 % |
54.79/54.98	c |    588748 |      90     1917     9585 |    10974    10420     20 |  0.012 % |
55.19/55.35	c |    594053 |      90     1917     9585 |    10196     9546     20 |  0.012 % |
55.19/55.36	c |    594153 |      90     1917     9585 |    10196     9646     20 |  0.012 % |
55.19/55.36	c |    594264 |      90     1917     9585 |    10196     9757     20 |  0.012 % |
55.19/55.37	c |    594385 |      90     1917     9585 |    10196     9878     20 |  0.012 % |
55.19/55.39	c |    594518 |      90     1917     9585 |    10196    10011     20 |  0.012 % |
55.29/55.40	c |    594665 |      90     1917     9585 |    10196    10158     20 |  0.012 % |
55.29/55.41	c |    594826 |      90     1917     9585 |    10196     9217     20 |  0.012 % |
55.29/55.43	c |    595003 |      90     1917     9585 |    10196     9394     20 |  0.012 % |
55.29/55.44	c |    595196 |      90     1917     9585 |    10196     9587     20 |  0.012 % |
55.29/55.46	c |    595408 |      90     1917     9585 |    10196     9799     20 |  0.012 % |
55.29/55.48	c |    595642 |      90     1917     9585 |    10196    10033     20 |  0.012 % |
55.39/55.50	c |    595901 |      90     1917     9585 |    10196     9164     20 |  0.012 % |
55.39/55.52	c |    596182 |      90     1917     9585 |    10196     9445     20 |  0.012 % |
55.39/55.55	c |    596491 |      90     1917     9585 |    10196     9754     20 |  0.012 % |
55.39/55.58	c |    596830 |      90     1917     9585 |    10196    10093     20 |  0.012 % |
55.49/55.61	c |    597202 |      90     1917     9585 |    10196     9359     20 |  0.012 % |
55.49/55.64	c |    597611 |      90     1917     9585 |    10196     9768     20 |  0.012 % |
55.49/55.68	c |    598060 |      90     1917     9585 |    10196    10217     20 |  0.012 % |
55.59/55.72	c |    598554 |      90     1917     9585 |    10196     9600     20 |  0.012 % |
55.59/55.76	c |    599097 |      90     1917     9585 |    10196    10143     20 |  0.012 % |
55.69/55.80	c |    599695 |      90     1917     9585 |    10196     9626     20 |  0.012 % |
55.69/55.86	c |    600350 |      90     1917     9585 |     9932     9199     20 |  0.012 % |
55.79/55.92	c |    601073 |      90     1917     9585 |     9932     9922     20 |  0.012 % |
55.79/55.99	c |    601866 |      90     1917     9585 |     9932     9615     20 |  0.012 % |
55.89/56.05	c |    602738 |      90     1917     9585 |     9932     9386     20 |  0.012 % |
55.99/56.13	c |    603696 |      90     1917     9585 |     9932     9257     20 |  0.012 % |
56.09/56.23	c |    604750 |      90     1917     9585 |     9932     9214     20 |  0.012 % |
56.19/56.32	c |    605908 |      90     1917     9585 |     9932     9304     20 |  0.012 % |
56.29/56.42	c |    607181 |      90     1917     9585 |     9932     9507     20 |  0.012 % |
56.39/56.54	c |    608581 |      90     1917     9585 |     9932     9838     20 |  0.012 % |
56.49/56.65	c |    610122 |      90     1917     9585 |     9145     8314     19 |  0.012 % |
56.59/56.79	c |    611818 |      90     1917     9585 |     9145     9048     19 |  0.012 % |
56.79/56.91	c |    613683 |      90     1917     9585 |     9145     9051     19 |  0.012 % |
56.89/57.06	c |    615733 |      90     1917     9585 |     9145     8351     19 |  0.012 % |
57.09/57.23	c |    617986 |      90     1917     9585 |     9145     8769     19 |  0.012 % |
57.29/57.41	c |    620465 |      90     1917     9585 | 2147483647     9414     19 |  0.012 % |
57.49/57.65	c |    623190 |      90     1917     9585 | 2147483647    12139     19 |  0.012 % |
57.79/57.97	c |    626188 |      90     1917     9585 | 2147483647    15137     19 |  0.012 % |
58.19/58.34	c |    629484 |      90     1917     9585 | 2147483647    18433     19 |  0.012 % |
58.59/58.73	c |    633110 |      90     1917     9585 |    18949    18156     19 |  0.012 % |
59.09/59.20	c |    637097 |      90     1917     9585 |    18949    17493     19 |  0.012 % |
59.48/59.62	c |    641483 |      90     1917     9585 |    15411    12887     19 |  0.012 % |
59.98/60.10	c |    646306 |      90     1917     9585 |    15411    14004     19 |  0.012 % |
60.39/60.59	c |    651613 |      90     1917     9585 |    14080    12451     20 |  0.012 % |
60.98/61.12	c |    657448 |      90     1917     9585 |    14080    12496     19 |  0.012 % |
60.98/61.13	c |    657548 |      90     1917     9585 |    14080    12596     19 |  0.012 % |
60.98/61.14	c |    657658 |      90     1917     9585 |    14080    12706     19 |  0.012 % |
60.98/61.15	c |    657781 |      90     1917     9585 |    14080    12829     19 |  0.012 % |
60.98/61.16	c |    657914 |      90     1917     9585 |    14080    12962     19 |  0.012 % |
60.98/61.17	c |    658062 |      90     1917     9585 |    14080    13110     19 |  0.012 % |
60.98/61.19	c |    658224 |      90     1917     9585 |    14080    13272     19 |  0.012 % |
61.08/61.20	c |    658400 |      90     1917     9585 |    14080    13448     19 |  0.012 % |
61.08/61.22	c |    658593 |      90     1917     9585 |    14080    13641     19 |  0.012 % |
61.08/61.24	c |    658807 |      90     1917     9585 |    14080    13855     19 |  0.012 % |
61.08/61.26	c |    659040 |      90     1917     9585 |    14080    14088     19 |  0.012 % |
61.08/61.29	c |    659296 |      90     1917     9585 |    14080    11577     19 |  0.012 % |
61.18/61.31	c |    659578 |      90     1917     9585 |    14080    11859     19 |  0.012 % |
61.18/61.34	c |    659888 |      90     1917     9585 |    14080    12169     19 |  0.012 % |
61.18/61.37	c |    660227 |      90     1917     9585 |    12283    10103     19 |  0.012 % |
61.18/61.40	c |    660601 |      90     1917     9585 |    12283    10477     19 |  0.012 % |
61.28/61.43	c |    661010 |      90     1917     9585 |    12283    10886     19 |  0.012 % |
61.28/61.47	c |    661459 |      90     1917     9585 |    12283    11335     19 |  0.012 % |
61.39/61.51	c |    661956 |      90     1917     9585 |    12283    11832     19 |  0.012 % |
61.39/61.56	c |    662498 |      90     1917     9585 |    12283    10196     19 |  0.012 % |
61.49/61.61	c |    663094 |      90     1917     9585 |    12283    10792     19 |  0.012 % |
61.49/61.66	c |    663751 |      90     1917     9585 |    12283    11449     19 |  0.012 % |
61.58/61.71	c |    664471 |      90     1917     9585 |    12283    12169     19 |  0.012 % |
61.58/61.78	c |    665263 |      90     1917     9585 |    12283    10900     19 |  0.012 % |
61.68/61.85	c |    666134 |      90     1917     9585 |    12283    11771     19 |  0.012 % |
61.78/61.94	c |    667092 |      90     1917     9585 |    12283    10717     19 |  0.012 % |
61.88/62.03	c |    668145 |      90     1917     9585 |    12283    11770     19 |  0.012 % |
61.98/62.12	c |    669305 |      90     1917     9585 |    12283    10914     19 |  0.012 % |
62.08/62.22	c |    670582 |      90     1917     9585 |    11609    10333     19 |  0.012 % |
62.18/62.34	c |    671982 |      90     1917     9585 |    11609     9959     19 |  0.012 % |
62.28/62.46	c |    673523 |      90     1917     9585 |    11609    11500     19 |  0.012 % |
62.38/62.58	c |    675217 |      90     1917     9585 |    11609    11432     19 |  0.012 % |
62.59/62.74	c |    677081 |      90     1917     9585 |    11609    11579     19 |  0.012 % |
62.78/62.92	c |    679130 |      90     1917     9585 |    11609    10196     19 |  0.012 % |
62.98/63.12	c |    681383 |      90     1917     9585 |    11066    10791     19 |  0.012 % |
63.18/63.32	c |    683862 |      90     1917     9585 |    11066    10178     19 |  0.012 % |
63.38/63.52	c |    686587 |      90     1917     9585 |    11066     9991     19 |  0.012 % |
63.59/63.73	c |    689584 |      90     1917     9585 |    11066    10173     19 |  0.012 % |
63.78/63.98	c |    692881 |      90     1917     9585 |    10589     9436     19 |  0.012 % |
64.08/64.29	c |    696509 |      90     1917     9585 |    10589    10329     19 |  0.012 % |
64.48/64.62	c |    700497 |      90     1917     9585 |     9622     8858     19 |  0.012 % |
64.78/64.94	c |    704882 |      90     1917     9585 |     9622     8904     19 |  0.012 % |
65.08/65.27	c |    709705 |      90     1917     9585 |     9622     8866     19 |  0.012 % |
65.48/65.64	c |    715010 |      90     1917     9585 | 2147483647    14171     19 |  0.012 % |
66.08/66.21	c |    720845 |      90     1917     9585 |    19162    16380     19 |  0.012 % |
66.78/66.93	c |    727263 |      90     1917     9585 |    19162    18151     18 |  0.012 % |
66.78/66.94	c |    727363 |      90     1917     9585 |    19162    18251     18 |  0.012 % |
66.78/66.95	c |    727473 |      90     1917     9585 |    19162    18361     18 |  0.012 % |
66.78/66.97	c |    727594 |      90     1917     9585 |    19162    18482     18 |  0.012 % |
66.78/66.99	c |    727727 |      90     1917     9585 |    19162    18615     18 |  0.012 % |
66.88/67.01	c |    727874 |      90     1917     9585 |    19162    18762     18 |  0.012 % |
66.88/67.03	c |    728035 |      90     1917     9585 |    19162    18923     18 |  0.012 % |
66.88/67.06	c |    728212 |      90     1917     9585 |    19162    19100     18 |  0.012 % |
66.88/67.10	c |    728406 |      90     1917     9585 |    19162    14288     18 |  0.012 % |
66.98/67.11	c |    728620 |      90     1917     9585 |    19162    14502     18 |  0.012 % |
66.98/67.14	c |    728853 |      90     1917     9585 |    19162    14735     18 |  0.012 % |
66.98/67.17	c |    729110 |      90     1917     9585 |    19162    14992     18 |  0.012 % |
66.98/67.20	c |    729392 |      90     1917     9585 |    19162    15274     18 |  0.012 % |
67.08/67.23	c |    729701 |      90     1917     9585 |    19162    15583     18 |  0.012 % |
67.08/67.28	c |    730042 |      90     1917     9585 |    15882    11811     18 |  0.012 % |
67.18/67.31	c |    730415 |      90     1917     9585 |    15882    12184     18 |  0.012 % |
67.18/67.35	c |    730826 |      90     1917     9585 |    15882    12595     18 |  0.012 % |
67.28/67.40	c |    731275 |      90     1917     9585 |    15882    13044     18 |  0.012 % |
67.28/67.45	c |    731768 |      90     1917     9585 |    15882    13537     18 |  0.012 % |
67.38/67.50	c |    732312 |      90     1917     9585 |    15882    14081     18 |  0.012 % |
67.38/67.57	c |    732909 |      90     1917     9585 |    15882    14678     18 |  0.012 % |
67.48/67.64	c |    733565 |      90     1917     9585 |    15882    15334     18 |  0.012 % |
67.58/67.73	c |    734286 |      90     1917     9585 |    15882    12129     19 |  0.012 % |
67.58/67.79	c |    735079 |      90     1917     9585 |    15882    12922     19 |  0.012 % |
67.68/67.88	c |    735951 |      90     1917     9585 |    15882    13794     19 |  0.012 % |
67.78/67.98	c |    736909 |      90     1917     9585 |    15882    14752     19 |  0.012 % |
67.88/68.10	c |    737964 |      90     1917     9585 |    15882    15807     19 |  0.012 % |
68.08/68.22	c |    739124 |      90     1917     9585 |    15882    13111     20 |  0.012 % |
68.18/68.35	c |    740397 |      90     1917     9585 |    13988    11070     20 |  0.012 % |
68.28/68.49	c |    741797 |      90     1917     9585 |    13988    12470     20 |  0.012 % |
68.48/68.66	c |    743337 |      90     1917     9585 |    13988    14010     20 |  0.012 % |
68.68/68.82	c |    745031 |      90     1917     9585 |    13988    12621     19 |  0.012 % |
68.88/69.02	c |    746894 |      90     1917     9585 |    13988    11431     19 |  0.012 % |
68.98/69.20	c |    748944 |      90     1917     9585 |    13988    13481     19 |  0.012 % |
69.18/69.39	c |    751198 |      90     1917     9585 |    11542    10290     19 |  0.012 % |
69.48/69.60	c |    753678 |      90     1917     9585 |    11542    10644     19 |  0.012 % |
69.68/69.82	c |    756403 |      90     1917     9585 |    11542    11321     20 |  0.012 % |
69.88/70.09	c |    759401 |      90     1917     9585 |    11542    10435     19 |  0.012 % |
70.18/70.33	c |    762699 |      90     1917     9585 |    11035    10291     19 |  0.012 % |
70.48/70.65	c |    766324 |      90     1917     9585 |    11035    10790     19 |  0.012 % |
70.78/70.98	c |    770312 |      90     1917     9585 |     9829     8790     19 |  0.012 % |
71.08/71.29	c |    774697 |      90     1917     9585 |     9829     9075     19 |  0.012 % |
71.48/71.68	c |    779520 |      90     1917     9585 |     9829     8900     19 |  0.012 % |
71.88/72.01	c |    784825 |      90     1917     9585 |     9380     8564     19 |  0.012 % |
72.28/72.45	c |    790664 |      90     1917     9585 | 2147483647     9700     19 |  0.012 % |
72.88/73.08	c |    797083 |      90     1917     9585 | 2147483647    16119     19 |  0.012 % |
73.67/73.89	c |    804142 |      90     1917     9585 |    19036    14352     19 |  0.012 % |
73.77/73.90	c |    804242 |      90     1917     9585 |    19036    14452     19 |  0.012 % |
73.77/73.92	c |    804354 |      90     1917     9585 |    19036    14564     19 |  0.012 % |
73.77/73.93	c |    804475 |      90     1917     9585 |    19036    14685     19 |  0.012 % |
73.77/73.95	c |    804608 |      90     1917     9585 |    19036    14818     19 |  0.012 % |
73.77/73.96	c |    804754 |      90     1917     9585 |    19036    14964     19 |  0.012 % |
73.77/73.97	c |    804914 |      90     1917     9585 |    19036    15124     19 |  0.012 % |
73.77/73.99	c |    805091 |      90     1917     9585 |    19036    15301     19 |  0.012 % |
73.87/74.01	c |    805284 |      90     1917     9585 |    19036    15494     19 |  0.012 % |
73.87/74.03	c |    805499 |      90     1917     9585 |    19036    15709     19 |  0.012 % |
73.87/74.06	c |    805735 |      90     1917     9585 |    19036    15945     19 |  0.012 % |
73.97/74.10	c |    805992 |      90     1917     9585 |    19036    16202     19 |  0.012 % |
73.97/74.13	c |    806274 |      90     1917     9585 |    19036    16484     19 |  0.012 % |
73.97/74.17	c |    806584 |      90     1917     9585 |    19036    16794     19 |  0.012 % |
74.07/74.22	c |    806924 |      90     1917     9585 |    19036    17134     19 |  0.012 % |
74.07/74.27	c |    807296 |      90     1917     9585 |    19036    17506     19 |  0.012 % |
74.17/74.32	c |    807707 |      90     1917     9585 |    19036    17917     19 |  0.012 % |
74.17/74.39	c |    808157 |      90     1917     9585 |    19036    18367     19 |  0.012 % |
74.27/74.46	c |    808651 |      90     1917     9585 |    19036    18861     19 |  0.012 % |
74.37/74.55	c |    809194 |      90     1917     9585 |    19036    14263     19 |  0.012 % |
74.47/74.62	c |    809791 |      90     1917     9585 |    19036    14860     19 |  0.012 % |
74.58/74.70	c |    810446 |      90     1917     9585 |    15069    11468     19 |  0.012 % |
74.58/74.77	c |    811167 |      90     1917     9585 |    15069    12189     19 |  0.012 % |
74.68/74.83	c |    811959 |      90     1917     9585 |    15069    12981     19 |  0.012 % |
74.77/74.92	c |    812832 |      90     1917     9585 |    15069    13854     19 |  0.012 % |
74.87/75.02	c |    813791 |      90     1917     9585 |    15069    14813     19 |  0.012 % |
74.97/75.14	c |    814844 |      90     1917     9585 |    15069    12240     19 |  0.012 % |
75.07/75.24	c |    816003 |      90     1917     9585 |    15069    13399     19 |  0.012 % |
75.17/75.37	c |    817277 |      90     1917     9585 |    15069    14673     19 |  0.012 % |
75.37/75.51	c |    818678 |      90     1917     9585 |    15069    12577     19 |  0.012 % |
75.47/75.66	c |    820219 |      90     1917     9585 |    13899    10984     19 |  0.012 % |
75.68/75.83	c |    821914 |      90     1917     9585 |    13899    12679     19 |  0.012 % |
75.87/76.02	c |    823777 |      90     1917     9585 |    13899    11620     19 |  0.012 % |
76.07/76.20	c |    825826 |      90     1917     9585 |    13899    13669     19 |  0.012 % |
76.17/76.40	c |    828079 |      90     1917     9585 |    13899    13070     20 |  0.012 % |
76.47/76.63	c |    830559 |      90     1917     9585 |    12186    10329     19 |  0.012 % |
76.67/76.86	c |    833285 |      90     1917     9585 |    12186    10933     19 |  0.012 % |
76.97/77.12	c |    836282 |      90     1917     9585 |    12186    11884     20 |  0.012 % |
77.27/77.40	c |    839579 |      90     1917     9585 |    12186    11156     20 |  0.012 % |
77.57/77.71	c |    843204 |      90     1917     9585 |    11577    11036     19 |  0.012 % |
77.88/78.01	c |    847192 |      90     1917     9585 |    11577    11522     19 |  0.012 % |
78.17/78.38	c |    851577 |      90     1917     9585 |    11087     9679     19 |  0.012 % |
78.57/78.71	c |    856400 |      90     1917     9585 |    11087    10669     19 |  0.012 % |
78.97/79.17	c |    861705 |      90     1917     9585 |    10328     9641     19 |  0.012 % |
79.47/79.68	c |    867541 |      90     1917     9585 |    10328     9348     19 |  0.012 % |
79.87/80.07	c |    873959 |      90     1917     9585 |     9415     8541     19 |  0.012 % |
80.47/80.65	c |    881020 |      90     1917     9585 | 2147483647     9940     19 |  0.012 % |
81.17/81.39	c |    888785 |      90     1917     9585 | 2147483647    17705     20 |  0.012 % |
81.27/81.41	c |    888885 |      90     1917     9585 | 2147483647    17805     20 |  0.012 % |
81.27/81.42	c |    888995 |      90     1917     9585 | 2147483647    17915     20 |  0.012 % |
81.27/81.44	c |    889116 |      90     1917     9585 | 2147483647    18036     20 |  0.012 % |
81.27/81.45	c |    889249 |      90     1917     9585 | 2147483647    18169     20 |  0.012 % |
81.27/81.47	c |    889396 |      90     1917     9585 | 2147483647    18316     20 |  0.012 % |
81.27/81.48	c |    889556 |      90     1917     9585 | 2147483647    18476     20 |  0.012 % |
81.36/81.52	c |    889733 |      90     1917     9585 | 2147483647    18653     20 |  0.012 % |
81.36/81.56	c |    889927 |      90     1917     9585 | 2147483647    18847     20 |  0.012 % |
81.46/81.61	c |    890139 |      90     1917     9585 |    18920    15051     19 |  0.012 % |
81.46/81.63	c |    890372 |      90     1917     9585 |    18920    15284     19 |  0.012 % |
81.46/81.67	c |    890630 |      90     1917     9585 |    18920    15542     19 |  0.012 % |
81.56/81.70	c |    890911 |      90     1917     9585 |    18920    15823     20 |  0.012 % |
81.56/81.74	c |    891220 |      90     1917     9585 |    18920    16132     20 |  0.012 % |
81.56/81.79	c |    891559 |      90     1917     9585 |    18920    16471     20 |  0.012 % |
81.66/81.84	c |    891932 |      90     1917     9585 |    18920    16844     20 |  0.012 % |
81.76/81.90	c |    892341 |      90     1917     9585 |    18920    17253     20 |  0.012 % |
81.76/81.96	c |    892790 |      90     1917     9585 |    18920    17702     20 |  0.012 % |
81.86/82.04	c |    893283 |      90     1917     9585 |    18920    18195     20 |  0.012 % |
81.96/82.11	c |    893825 |      90     1917     9585 |    18920    18737     20 |  0.012 % |
82.06/82.22	c |    894422 |      90     1917     9585 |    18920    14168     20 |  0.012 % |
82.06/82.29	c |    895078 |      90     1917     9585 |    18920    14824     20 |  0.012 % |
82.16/82.37	c |    895798 |      90     1917     9585 |    18920    15544     20 |  0.012 % |
82.27/82.46	c |    896590 |      90     1917     9585 |    18920    16336     20 |  0.012 % |
82.37/82.59	c |    897461 |      90     1917     9585 |    18920    17207     20 |  0.012 % |
82.56/82.73	c |    898419 |      90     1917     9585 |    18920    18165     20 |  0.012 % |
82.66/82.89	c |    899472 |      90     1917     9585 |    18920    13929     19 |  0.012 % |
82.86/83.00	c |    900632 |      90     1917     9585 |    14457    11093     19 |  0.012 % |
82.96/83.10	c |    901907 |      90     1917     9585 |    14457    12368     19 |  0.012 % |
83.06/83.23	c |    903308 |      90     1917     9585 |    14457    13769     19 |  0.012 % |
83.16/83.38	c |    904850 |      90     1917     9585 |    14457    11925     19 |  0.012 % |
83.37/83.54	c |    906544 |      90     1917     9585 |    14457    13619     19 |  0.012 % |
83.56/83.70	c |    908408 |      90     1917     9585 |    14457    12228     19 |  0.012 % |
83.66/83.88	c |    910458 |      90     1917     9585 |    13821    11276     19 |  0.012 % |
83.86/84.06	c |    912712 |      90     1917     9585 |    13821    13530     20 |  0.012 % |
84.06/84.29	c |    915192 |      90     1917     9585 |    13821    13231     19 |  0.012 % |
84.36/84.52	c |    917917 |      90     1917     9585 |    13821    13203     19 |  0.012 % |
84.57/84.77	c |    920916 |      90     1917     9585 |    12600    11120     19 |  0.012 % |
84.86/85.06	c |    924212 |      90     1917     9585 |    12600    12309     19 |  0.012 % |
85.26/85.41	c |    927840 |      90     1917     9585 |    12600    11680     19 |  0.012 % |
85.57/85.75	c |    931827 |      90     1917     9585 |    11646    11452     19 |  0.012 % |
85.96/86.17	c |    936213 |      90     1917     9585 |    11646    10077     19 |  0.012 % |
86.36/86.56	c |    941036 |      90     1917     9585 |    10252     9739     19 |  0.012 % |
86.77/86.92	c |    946342 |      90     1917     9585 |    10252     9884     19 |  0.012 % |
87.16/87.36	c |    952178 |      90     1917     9585 |    10074    10070     19 |  0.012 % |
87.66/87.84	c |    958596 |      90     1917     9585 |    10074     9304     19 |  0.012 % |
88.16/88.32	c |    965655 |      90     1917     9585 | 2147483647    15353     19 |  0.012 % |
88.96/89.17	c |    973420 |      90     1917     9585 |    19699    18939     19 |  0.012 % |
89.86/90.07	c |    981961 |      90     1917     9585 |    15385    13283     20 |  0.012 % |
89.86/90.08	c |    982061 |      90     1917     9585 |    15385    13383     20 |  0.012 % |
89.86/90.09	c |    982172 |      90     1917     9585 |    15385    13494     20 |  0.012 % |
89.96/90.10	c |    982294 |      90     1917     9585 |    15385    13616     20 |  0.012 % |
89.96/90.12	c |    982427 |      90     1917     9585 |    15385    13749     20 |  0.012 % |
89.96/90.14	c |    982574 |      90     1917     9585 |    15385    13896     20 |  0.012 % |
89.96/90.15	c |    982734 |      90     1917     9585 |    15385    14056     20 |  0.012 % |
89.96/90.17	c |    982910 |      90     1917     9585 |    15385    14232     20 |  0.012 % |
89.96/90.19	c |    983103 |      90     1917     9585 |    15385    14425     20 |  0.012 % |
90.06/90.22	c |    983315 |      90     1917     9585 |    15385    14637     20 |  0.012 % |
90.06/90.25	c |    983549 |      90     1917     9585 |    15385    14871     20 |  0.012 % |
90.06/90.28	c |    983805 |      90     1917     9585 |    15385    15127     20 |  0.012 % |
90.16/90.31	c |    984087 |      90     1917     9585 |    15385    15409     20 |  0.012 % |
90.16/90.35	c |    984396 |      90     1917     9585 |    15385    12104     20 |  0.012 % |
90.16/90.38	c |    984735 |      90     1917     9585 |    15385    12443     20 |  0.012 % |
90.26/90.41	c |    985110 |      90     1917     9585 |    15385    12818     20 |  0.012 % |
90.26/90.45	c |    985520 |      90     1917     9585 |    15385    13228     20 |  0.012 % |
90.36/90.50	c |    985971 |      90     1917     9585 |    15385    13679     20 |  0.012 % |
90.36/90.54	c |    986464 |      90     1917     9585 |    15385    14172     20 |  0.012 % |
90.46/90.60	c |    987007 |      90     1917     9585 |    15385    14715     20 |  0.012 % |
90.46/90.66	c |    987604 |      90     1917     9585 |    15385    15312     20 |  0.012 % |
90.56/90.75	c |    988259 |      90     1917     9585 |    15385    12371     20 |  0.012 % |
90.66/90.82	c |    988981 |      90     1917     9585 |    15385    13093     20 |  0.012 % |
90.76/90.91	c |    989773 |      90     1917     9585 |    15385    13885     20 |  0.012 % |
90.86/91.00	c |    990645 |      90     1917     9585 |    14114    11471     19 |  0.012 % |
90.86/91.07	c |    991603 |      90     1917     9585 |    14114    12429     19 |  0.012 % |
90.96/91.17	c |    992656 |      90     1917     9585 |    14114    13482     20 |  0.012 % |
91.06/91.28	c |    993820 |      90     1917     9585 |    14114    11583     20 |  0.012 % |
91.26/91.40	c |    995093 |      90     1917     9585 |    14114    12856     20 |  0.012 % |
91.36/91.54	c |    996493 |      90     1917     9585 |    14114    11239     20 |  0.012 % |
91.46/91.68	c |    998034 |      90     1917     9585 |    14114    12780     20 |  0.012 % |
91.66/91.85	c |    999729 |      90     1917     9585 |    14114    11492     20 |  0.012 % |
91.86/92.01	c |   1001592 |      90     1917     9585 |    11763    10898     19 |  0.012 % |
92.06/92.20	c |   1003642 |      90     1917     9585 |    11763    10798     19 |  0.012 % |
92.16/92.38	c |   1005899 |      90     1917     9585 |    11763    10969     19 |  0.012 % |
92.36/92.58	c |   1008378 |      90     1917     9585 |    11763    11447     19 |  0.012 % |
92.66/92.82	c |   1011104 |      90     1917     9585 |    11127    10424     19 |  0.012 % |
92.86/93.09	c |   1014103 |      90     1917     9585 |    11127    10148     19 |  0.012 % |
93.16/93.37	c |   1017399 |      90     1917     9585 |    11127    10183     20 |  0.012 % |
93.46/93.66	c |   1021024 |      90     1917     9585 |     9671     9364     19 |  0.012 % |
93.76/93.90	c |   1025012 |      90     1917     9585 |     9671     9282     20 |  0.012 % |
94.06/94.21	c |   1029397 |      90     1917     9585 |     9671     8817     20 |  0.012 % |
94.36/94.60	c |   1034220 |      90     1917     9585 | 2147483647    13640     20 |  0.012 % |
94.96/95.15	c |   1039526 |      90     1917     9585 | 2147483647    18946     20 |  0.012 % |
95.56/95.78	c |   1045363 |      90     1917     9585 |    19420    15771     20 |  0.012 % |
96.26/96.46	c |   1051781 |      90     1917     9585 |    15263    13024     20 |  0.012 % |
96.96/97.13	c |   1058840 |      90     1917     9585 |    15263    12958     19 |  0.012 % |
97.66/97.85	c |   1066605 |      90     1917     9585 |    14118    11965     18 |  0.012 % |
98.45/98.65	c |   1075145 |      90     1917     9585 |    12490    10485     18 |  0.012 % |
99.15/99.38	c |   1084539 |      90     1917     9585 |    11150    10776     18 |  0.012 % |
99.15/99.39	c |   1084641 |      90     1917     9585 |    11150    10878     18 |  0.012 % |
99.25/99.40	c |   1084752 |      90     1917     9585 |    11150    10989     18 |  0.012 % |
99.25/99.41	c |   1084873 |      90     1917     9585 |    11150    11110     18 |  0.012 % |
99.25/99.43	c |   1085006 |      90     1917     9585 |    11150     9776     18 |  0.012 % |
99.25/99.44	c |   1085152 |      90     1917     9585 |    11150     9922     18 |  0.012 % |
99.25/99.45	c |   1085313 |      90     1917     9585 |    11150    10083     18 |  0.012 % |
99.25/99.46	c |   1085491 |      90     1917     9585 |    11150    10261     18 |  0.012 % |
99.25/99.48	c |   1085684 |      90     1917     9585 |    11150    10454     18 |  0.012 % |
99.25/99.49	c |   1085897 |      90     1917     9585 |    11150    10667     18 |  0.012 % |
99.35/99.51	c |   1086130 |      90     1917     9585 |    11150    10900     18 |  0.012 % |
99.35/99.53	c |   1086386 |      90     1917     9585 |    11150    11156     18 |  0.012 % |
99.35/99.56	c |   1086670 |      90     1917     9585 |    11150     9986     18 |  0.012 % |
99.35/99.59	c |   1086980 |      90     1917     9585 |    11150    10296     18 |  0.012 % |
99.45/99.61	c |   1087320 |      90     1917     9585 |    11150    10636     18 |  0.012 % |
99.45/99.64	c |   1087693 |      90     1917     9585 |    11150    11009     18 |  0.012 % |
99.45/99.69	c |   1088103 |      90     1917     9585 |    11150     9973     18 |  0.012 % |
99.55/99.72	c |   1088553 |      90     1917     9585 |    11150    10423     18 |  0.012 % |
99.55/99.76	c |   1089047 |      90     1917     9585 |    11150    10917     18 |  0.012 % |
99.65/99.81	c |   1089591 |      90     1917     9585 |    11150     9989     18 |  0.012 % |
99.65/99.86	c |   1090187 |      90     1917     9585 |    10398     9222     18 |  0.012 % |
99.75/99.91	c |   1090843 |      90     1917     9585 |    10398     9878     18 |  0.012 % |
99.75/99.97	c |   1091566 |      90     1917     9585 |    10398     9345     18 |  0.012 % |
99.86/100.02	c |   1092359 |      90     1917     9585 |    10398    10138     18 |  0.012 % |
99.86/100.09	c |   1093231 |      90     1917     9585 |    10398     9822     19 |  0.012 % |
99.96/100.16	c |   1094190 |      90     1917     9585 |    10398     9635     19 |  0.012 % |
100.05/100.24	c |   1095243 |      90     1917     9585 |    10398     9538     19 |  0.012 % |
100.15/100.33	c |   1096401 |      90     1917     9585 |    10398     9572     19 |  0.012 % |
100.25/100.43	c |   1097676 |      90     1917     9585 |    10398     9750     19 |  0.012 % |
100.35/100.53	c |   1099077 |      90     1917     9585 |    10398    10056     19 |  0.012 % |
100.45/100.64	c |   1100619 |      90     1917     9585 |     9887     9482     20 |  0.012 % |
100.55/100.76	c |   1102313 |      90     1917     9585 |     9887     9194     20 |  0.012 % |
100.65/100.89	c |   1104176 |      90     1917     9585 |     9887     9074     20 |  0.012 % |
100.85/101.04	c |   1106225 |      90     1917     9585 |     9887     9140     20 |  0.012 % |
100.96/101.19	c |   1108478 |      90     1917     9585 |     9887     9410     20 |  0.012 % |
101.15/101.38	c |   1110956 |      90     1917     9585 | 2147483647     9904     20 |  0.012 % |
101.35/101.57	c |   1113681 |      90     1917     9585 | 2147483647    12629     20 |  0.012 % |
101.65/101.83	c |   1116678 |      90     1917     9585 | 2147483647    15626     20 |  0.012 % |
101.95/102.16	c |   1119974 |      90     1917     9585 | 2147483647    18922     20 |  0.012 % |
102.35/102.58	c |   1123602 |      90     1917     9585 |    18949    18897     19 |  0.012 % |
102.85/103.00	c |   1127589 |      90     1917     9585 |    18949    18221     19 |  0.012 % |
103.15/103.39	c |   1131978 |      90     1917     9585 |    15804    13787     18 |  0.012 % |
103.65/103.81	c |   1136803 |      90     1917     9585 |    15804    14987     19 |  0.012 % |
104.05/104.24	c |   1142109 |      90     1917     9585 |    14580    13461     20 |  0.012 % |
104.55/104.79	c |   1147944 |      90     1917     9585 |    14580    13094     20 |  0.012 % |
105.15/105.36	c |   1154363 |      90     1917     9585 |    12055    11739     19 |  0.012 % |
105.85/106.00	c |   1161423 |      90     1917     9585 |    11515    11032     19 |  0.012 % |
106.45/106.68	c |   1169187 |      90     1917     9585 |    11515    10202     19 |  0.012 % |
107.25/107.42	c |   1177730 |      90     1917     9585 |    11017    10751     19 |  0.012 % |
108.05/108.24	c |   1187125 |      90     1917     9585 |     9953     9185     18 |  0.012 % |
108.85/109.01	c |   1197459 |      90     1917     9585 |     9648     9175     19 |  0.012 % |
108.85/109.02	c |   1197561 |      90     1917     9585 |     9648     9277     19 |  0.012 % |
108.85/109.03	c |   1197671 |      90     1917     9585 |     9648     9387     19 |  0.012 % |
108.85/109.04	c |   1197792 |      90     1917     9585 |     9648     9508     19 |  0.012 % |
108.85/109.05	c |   1197926 |      90     1917     9585 |     9648     9642     19 |  0.012 % |
108.85/109.06	c |   1198072 |      90     1917     9585 |     9648     8821     19 |  0.012 % |
108.85/109.07	c |   1198233 |      90     1917     9585 |     9648     8982     19 |  0.012 % |
108.85/109.09	c |   1198409 |      90     1917     9585 |     9648     9158     19 |  0.012 % |
108.95/109.10	c |   1198603 |      90     1917     9585 |     9648     9352     19 |  0.012 % |
108.95/109.12	c |   1198817 |      90     1917     9585 |     9648     9566     19 |  0.012 % |
108.95/109.14	c |   1199051 |      90     1917     9585 |     9648     8833     19 |  0.012 % |
108.95/109.16	c |   1199307 |      90     1917     9585 |     9648     9089     19 |  0.012 % |
108.95/109.18	c |   1199589 |      90     1917     9585 |     9648     9371     19 |  0.012 % |
109.05/109.20	c |   1199898 |      90     1917     9585 |     9648     8713     19 |  0.012 % |
109.05/109.22	c |   1200237 |      90     1917     9585 | 2147483647     9052     19 |  0.012 % |
109.05/109.25	c |   1200611 |      90     1917     9585 | 2147483647     9426     19 |  0.012 % |
109.05/109.29	c |   1201020 |      90     1917     9585 | 2147483647     9835     19 |  0.012 % |
109.14/109.32	c |   1201469 |      90     1917     9585 | 2147483647    10284     19 |  0.012 % |
109.14/109.37	c |   1201965 |      90     1917     9585 | 2147483647    10780     19 |  0.012 % |
109.24/109.41	c |   1202509 |      90     1917     9585 | 2147483647    11324     19 |  0.012 % |
109.24/109.46	c |   1203105 |      90     1917     9585 | 2147483647    11920     19 |  0.012 % |
109.34/109.52	c |   1203764 |      90     1917     9585 | 2147483647    12579     19 |  0.012 % |
109.34/109.59	c |   1204484 |      90     1917     9585 | 2147483647    13299     19 |  0.012 % |
109.44/109.67	c |   1205277 |      90     1917     9585 | 2147483647    14092     19 |  0.012 % |
109.54/109.75	c |   1206148 |      90     1917     9585 | 2147483647    14963     19 |  0.012 % |
109.64/109.86	c |   1207108 |      90     1917     9585 | 2147483647    15923     19 |  0.012 % |
109.75/109.97	c |   1208161 |      90     1917     9585 | 2147483647    16976     19 |  0.012 % |
109.85/110.10	c |   1209320 |      90     1917     9585 | 2147483647    18135     19 |  0.012 % |
110.04/110.27	c |   1210593 |      90     1917     9585 |    18819    15666     19 |  0.012 % |
110.24/110.41	c |   1211993 |      90     1917     9585 |    18819    17066     19 |  0.012 % |
110.34/110.57	c |   1213534 |      90     1917     9585 |    18819    18607     19 |  0.012 % |
110.54/110.77	c |   1215228 |      90     1917     9585 |    18819    15660     19 |  0.012 % |
110.74/110.99	c |   1217091 |      90     1917     9585 |    18819    17523     19 |  0.012 % |
111.04/111.24	c |   1219140 |      90     1917     9585 |    18819    14571     19 |  0.012 % |
111.24/111.45	c |   1221397 |      90     1917     9585 |    15432    12785     19 |  0.012 % |
111.44/111.66	c |   1223875 |      90     1917     9585 |    15432    15263     19 |  0.012 % |
111.74/111.96	c |   1226600 |      90     1917     9585 |    15432    14503     19 |  0.012 % |
112.04/112.25	c |   1229598 |      90     1917     9585 |    15432    14027     19 |  0.012 % |
112.34/112.53	c |   1232895 |      90     1917     9585 |    14430    14113     19 |  0.012 % |
112.64/112.87	c |   1236520 |      90     1917     9585 |    14430    11752     19 |  0.012 % |
112.94/113.20	c |   1240507 |      90     1917     9585 |    12285    10298     19 |  0.012 % |
113.34/113.54	c |   1244892 |      90     1917     9585 |    12285    10568     19 |  0.012 % |
113.74/113.93	c |   1249718 |      90     1917     9585 |    12285    11547     18 |  0.012 % |
114.14/114.32	c |   1255025 |      90     1917     9585 |    11829    11680     18 |  0.012 % |
114.54/114.75	c |   1260860 |      90     1917     9585 |    11732    10969     19 |  0.012 % |
115.04/115.29	c |   1267281 |      90     1917     9585 |    11732    10612     19 |  0.012 % |
115.74/115.91	c |   1274341 |      90     1917     9585 |    11663    11059     18 |  0.012 % |
116.34/116.53	c |   1282107 |      90     1917     9585 |    10096     9591     18 |  0.012 % |
117.04/117.23	c |   1290648 |      90     1917     9585 |     9495     9144     19 |  0.012 % |
117.74/117.97	c |   1300044 |      90     1917     9585 | 2147483647     8917     18 |  0.012 % |
118.64/118.85	c |   1310378 |      90     1917     9585 |    18874    15444     19 |  0.012 % |
119.94/120.11	c |   1321747 |      90     1917     9585 |    15031    12744     19 |  0.012 % |
119.94/120.11	c |   1321847 |      90     1917     9585 |    15031    12844     19 |  0.012 % |
119.94/120.12	c |   1321957 |      90     1917     9585 |    15031    12954     19 |  0.012 % |
119.94/120.15	c |   1322078 |      90     1917     9585 |    15031    13075     19 |  0.012 % |
119.94/120.16	c |   1322211 |      90     1917     9585 |    15031    13208     19 |  0.012 % |
119.94/120.17	c |   1322359 |      90     1917     9585 |    15031    13356     19 |  0.012 % |
119.94/120.18	c |   1322519 |      90     1917     9585 |    15031    13516     19 |  0.012 % |
120.04/120.20	c |   1322696 |      90     1917     9585 |    15031    13693     19 |  0.012 % |
120.04/120.22	c |   1322889 |      90     1917     9585 |    15031    13886     19 |  0.012 % |
120.04/120.24	c |   1323101 |      90     1917     9585 |    15031    14098     19 |  0.012 % |
120.04/120.26	c |   1323334 |      90     1917     9585 |    15031    14331     19 |  0.012 % |
120.04/120.29	c |   1323590 |      90     1917     9585 |    15031    14587     19 |  0.012 % |
120.14/120.32	c |   1323874 |      90     1917     9585 |    15031    14871     19 |  0.012 % |
120.14/120.37	c |   1324184 |      90     1917     9585 |    15031    11486     19 |  0.012 % |
120.24/120.40	c |   1324525 |      90     1917     9585 |    15031    11827     19 |  0.012 % |
120.24/120.43	c |   1324898 |      90     1917     9585 |    15031    12200     19 |  0.012 % |
120.24/120.46	c |   1325308 |      90     1917     9585 |    15031    12610     19 |  0.012 % |
120.34/120.51	c |   1325757 |      90     1917     9585 |    15031    13059     19 |  0.012 % |
120.34/120.56	c |   1326251 |      90     1917     9585 |    15031    13553     19 |  0.012 % |
120.44/120.62	c |   1326793 |      90     1917     9585 |    15031    14095     19 |  0.012 % |
120.44/120.68	c |   1327389 |      90     1917     9585 |    15031    14691     19 |  0.012 % |
120.54/120.76	c |   1328045 |      90     1917     9585 |    15031    11784     19 |  0.012 % |
120.64/120.82	c |   1328765 |      90     1917     9585 |    15031    12504     19 |  0.012 % |
120.64/120.89	c |   1329559 |      90     1917     9585 |    15031    13298     19 |  0.012 % |
120.75/120.99	c |   1330431 |      90     1917     9585 |    13739    11004     20 |  0.012 % |
120.85/121.08	c |   1331390 |      90     1917     9585 |    13739    11963     20 |  0.012 % |
120.95/121.18	c |   1332447 |      90     1917     9585 |    13739    13020     20 |  0.012 % |
121.15/121.31	c |   1333608 |      90     1917     9585 |    13739    11281     20 |  0.012 % |
121.25/121.43	c |   1334881 |      90     1917     9585 |    13739    12554     20 |  0.012 % |
121.35/121.58	c |   1336281 |      90     1917     9585 |    13739    11100     19 |  0.012 % |
121.55/121.71	c |   1337821 |      90     1917     9585 |    13739    12640     19 |  0.012 % |
121.65/121.87	c |   1339515 |      90     1917     9585 |    13739    11566     19 |  0.012 % |
121.85/122.01	c |   1341378 |      90     1917     9585 |    12051    11053     19 |  0.012 % |
122.05/122.21	c |   1343427 |      90     1917     9585 |    12051    11025     19 |  0.012 % |
122.25/122.41	c |   1345680 |      90     1917     9585 |    12051    11204     19 |  0.012 % |
122.45/122.63	c |   1348160 |      90     1917     9585 |    12051    11632     19 |  0.012 % |
122.65/122.86	c |   1350885 |      90     1917     9585 |    11445    10439     19 |  0.012 % |
122.95/123.12	c |   1353882 |      90     1917     9585 |    11445     9852     19 |  0.012 % |
123.24/123.40	c |   1357178 |      90     1917     9585 |    11445    11373     19 |  0.012 % |
123.44/123.66	c |   1360804 |      90     1917     9585 |    10827    10102     19 |  0.012 % |
123.74/123.96	c |   1364791 |      90     1917     9585 |    10827     9968     19 |  0.012 % |
124.14/124.30	c |   1369176 |      90     1917     9585 |    10827    10415     20 |  0.012 % |
124.54/124.71	c |   1374000 |      90     1917     9585 |     9928     9260     19 |  0.012 % |
124.84/125.06	c |   1379307 |      90     1917     9585 |     9928     8994     20 |  0.012 % |
125.34/125.50	c |   1385143 |      90     1917     9585 |     9688     8883     19 |  0.012 % |
125.84/126.01	c |   1391562 |      90     1917     9585 | 2147483647    10445     18 |  0.012 % |
126.34/126.56	c |   1398621 |      90     1917     9585 | 2147483647    17504     19 |  0.012 % |
127.14/127.34	c |   1406385 |      90     1917     9585 |    18883    17024     19 |  0.012 % |
127.94/128.18	c |   1414926 |      90     1917     9585 |    15960    13215     19 |  0.012 % |
128.94/129.13	c |   1424322 |      90     1917     9585 |    14566    12353     19 |  0.012 % |
129.84/130.01	c |   1434655 |      90     1917     9585 |    11827    11849     19 |  0.012 % |
130.74/130.97	c |   1446021 |      90     1917     9585 |    11119    10313     19 |  0.012 % |
131.63/131.89	c |   1458523 |      90     1917     9585 |     9795     9621     19 |  0.012 % |
131.63/131.90	c |   1458623 |      90     1917     9585 |     9795     9721     19 |  0.012 % |
131.74/131.91	c |   1458734 |      90     1917     9585 |     9795     8737     19 |  0.012 % |
131.74/131.92	c |   1458855 |      90     1917     9585 |     9795     8858     19 |  0.012 % |
131.74/131.93	c |   1458988 |      90     1917     9585 |     9795     8991     19 |  0.012 % |
131.74/131.94	c |   1459134 |      90     1917     9585 |     9795     9137     19 |  0.012 % |
131.74/131.95	c |   1459294 |      90     1917     9585 |     9795     9297     19 |  0.012 % |
131.74/131.97	c |   1459472 |      90     1917     9585 |     9795     9475     19 |  0.012 % |
131.74/131.98	c |   1459667 |      90     1917     9585 |     9795     9670     19 |  0.012 % |
131.84/132.01	c |   1459881 |      90     1917     9585 |     9795     8789     19 |  0.012 % |
131.84/132.03	c |   1460116 |      90     1917     9585 |     8908     8037     19 |  0.012 % |
131.84/132.05	c |   1460373 |      90     1917     9585 |     8908     8294     19 |  0.012 % |
131.84/132.07	c |   1460654 |      90     1917     9585 |     8908     8575     19 |  0.012 % |
131.84/132.09	c |   1460963 |      90     1917     9585 |     8908     8884     19 |  0.012 % |
131.93/132.12	c |   1461302 |      90     1917     9585 |     8908     8326     19 |  0.012 % |
131.93/132.15	c |   1461674 |      90     1917     9585 |     8908     8698     19 |  0.012 % |
131.93/132.19	c |   1462084 |      90     1917     9585 |     8908     8215     19 |  0.012 % |
132.03/132.22	c |   1462533 |      90     1917     9585 |     8908     8664     19 |  0.012 % |
132.03/132.25	c |   1463028 |      90     1917     9585 |     8908     8266     19 |  0.012 % |
132.03/132.29	c |   1463571 |      90     1917     9585 |     8908     8809     19 |  0.012 % |
132.13/132.34	c |   1464168 |      90     1917     9585 |     8908     8513     19 |  0.012 % |
132.13/132.40	c |   1464824 |      90     1917     9585 |     8908     8276     19 |  0.012 % |
132.23/132.45	c |   1465547 |      90     1917     9585 |     8908     8105     19 |  0.012 % |
132.33/132.51	c |   1466341 |      90     1917     9585 |     8908     8899     19 |  0.012 % |
132.33/132.58	c |   1467212 |      90     1917     9585 |     8908     8877     20 |  0.012 % |
132.43/132.65	c |   1468170 |      90     1917     9585 |     8908     8048     19 |  0.012 % |
132.53/132.74	c |   1469224 |      90     1917     9585 |     8908     8209     20 |  0.012 % |
132.63/132.82	c |   1470382 |      90     1917     9585 | 2147483647     8474     20 |  0.012 % |
132.73/132.91	c |   1471656 |      90     1917     9585 | 2147483647     9748     20 |  0.012 % |
132.83/133.03	c |   1473056 |      90     1917     9585 | 2147483647    11148     20 |  0.012 % |
132.93/133.17	c |   1474596 |      90     1917     9585 | 2147483647    12688     20 |  0.012 % |
133.13/133.33	c |   1476293 |      90     1917     9585 | 2147483647    14385     20 |  0.012 % |
133.33/133.54	c |   1478156 |      90     1917     9585 | 2147483647    16248     20 |  0.012 % |
133.63/133.80	c |   1480207 |      90     1917     9585 |    18092    14879     20 |  0.012 % |
133.83/134.03	c |   1482461 |      90     1917     9585 |    18092    17133     20 |  0.012 % |
134.03/134.29	c |   1484939 |      90     1917     9585 |    18092    15431     20 |  0.012 % |
134.43/134.61	c |   1487665 |      90     1917     9585 |    18092    13784     19 |  0.012 % |
134.73/134.97	c |   1490663 |      90     1917     9585 |    16119    12821     19 |  0.012 % |
135.13/135.33	c |   1493959 |      90     1917     9585 |    16119    16117     19 |  0.012 % |
135.43/135.69	c |   1497585 |      90     1917     9585 |    16119    15892     19 |  0.012 % |
135.83/136.06	c |   1501572 |      90     1917     9585 |    14513    12687     19 |  0.012 % |
136.23/136.43	c |   1505957 |      90     1917     9585 |    14513    13913     19 |  0.012 % |
136.63/136.88	c |   1510780 |      90     1917     9585 |    11854    10167     19 |  0.012 % |
137.13/137.32	c |   1516085 |      90     1917     9585 |    11854    11351     18 |  0.012 % |
137.53/137.73	c |   1521920 |      90     1917     9585 |    11562    10174     19 |  0.012 % |
138.03/138.22	c |   1528339 |      90     1917     9585 |    11562    10344     19 |  0.012 % |
138.53/138.75	c |   1535398 |      90     1917     9585 |    10437     9860     19 |  0.012 % |
139.13/139.39	c |   1543163 |      90     1917     9585 | 2147483647    13422     19 |  0.012 % |
140.13/140.36	c |   1551705 |      90     1917     9585 |    20259    17408     18 |  0.012 % |
141.32/141.50	c |   1561099 |      90     1917     9585 |    20135    15567     19 |  0.012 % |
142.22/142.46	c |   1571435 |      90     1917     9585 |    18954    15192     20 |  0.012 % |
143.53/143.79	c |   1582801 |      90     1917     9585 |    18663    16347     19 |  0.012 % |
144.93/145.18	c |   1595306 |      90     1917     9585 |    18591    13987     18 |  0.012 % |
146.32/146.50	c |   1609058 |      90     1917     9585 |    13694    12926     18 |  0.012 % |
146.32/146.51	c |   1609158 |      90     1917     9585 |    13694    13026     18 |  0.012 % |
146.32/146.53	c |   1609268 |      90     1917     9585 |    13694    13136     18 |  0.012 % |
146.32/146.54	c |   1609390 |      90     1917     9585 |    13694    13258     18 |  0.012 % |
146.32/146.56	c |   1609523 |      90     1917     9585 |    13694    13391     18 |  0.012 % |
146.32/146.57	c |   1609669 |      90     1917     9585 |    13694    13537     18 |  0.012 % |
146.32/146.59	c |   1609829 |      90     1917     9585 |    13694    13697     18 |  0.012 % |
146.42/146.61	c |   1610006 |      90     1917     9585 |    10920    10925     18 |  0.012 % |
146.42/146.64	c |   1610199 |      90     1917     9585 |    10920     8780     18 |  0.012 % |
146.42/146.65	c |   1610411 |      90     1917     9585 |    10920     8992     18 |  0.012 % |
146.42/146.67	c |   1610644 |      90     1917     9585 |    10920     9225     18 |  0.012 % |
146.42/146.69	c |   1610900 |      90     1917     9585 |    10920     9481     18 |  0.012 % |
146.52/146.71	c |   1611181 |      90     1917     9585 |    10920     9762     18 |  0.012 % |
146.52/146.73	c |   1611491 |      90     1917     9585 |    10920    10072     19 |  0.012 % |
146.52/146.75	c |   1611830 |      90     1917     9585 |    10920    10411     19 |  0.012 % |
146.52/146.78	c |   1612202 |      90     1917     9585 |    10920    10783     19 |  0.012 % |
146.62/146.82	c |   1612612 |      90     1917     9585 |    10920     9254     19 |  0.012 % |
146.62/146.86	c |   1613063 |      90     1917     9585 |    10920     9705     19 |  0.012 % |
146.62/146.89	c |   1613557 |      90     1917     9585 |    10920    10199     19 |  0.012 % |
146.72/146.92	c |   1614103 |      90     1917     9585 |    10920    10745     19 |  0.012 % |
146.72/146.98	c |   1614699 |      90     1917     9585 |    10920     9562     19 |  0.012 % |
146.82/147.03	c |   1615354 |      90     1917     9585 |    10920    10217     19 |  0.012 % |
146.82/147.08	c |   1616075 |      90     1917     9585 |    10920    10938     19 |  0.012 % |
146.92/147.14	c |   1616868 |      90     1917     9585 |    10920    10063     19 |  0.012 % |
147.02/147.21	c |   1617739 |      90     1917     9585 |    10920    10934     19 |  0.012 % |
147.02/147.28	c |   1618698 |      90     1917     9585 |    10920    10293     19 |  0.012 % |
147.12/147.37	c |   1619751 |      90     1917     9585 |    10920     9776     19 |  0.012 % |
147.22/147.46	c |   1620910 |      90     1917     9585 |    10025     9506     19 |  0.012 % |
147.32/147.55	c |   1622184 |      90     1917     9585 |    10025     9509     19 |  0.012 % |
147.42/147.66	c |   1623584 |      90     1917     9585 |    10025     9717     19 |  0.012 % |
147.52/147.77	c |   1625126 |      90     1917     9585 |    10025     8980     19 |  0.012 % |
147.62/147.89	c |   1626820 |      90     1917     9585 |    10025     9577     19 |  0.012 % |
147.82/148.05	c |   1628683 |      90     1917     9585 |    10025     9269     19 |  0.012 % |
148.02/148.20	c |   1630732 |      90     1917     9585 |     9504     9215     19 |  0.012 % |
148.12/148.38	c |   1632985 |      90     1917     9585 |     9504     8609     19 |  0.012 % |
148.32/148.58	c |   1635463 |      90     1917     9585 |     9504     9182     19 |  0.012 % |
148.62/148.82	c |   1638188 |      90     1917     9585 |     9504     9048     19 |  0.012 % |
148.82/149.06	c |   1641186 |      90     1917     9585 | 2147483647    10140     20 |  0.012 % |
149.12/149.35	c |   1644482 |      90     1917     9585 | 2147483647    13436     20 |  0.012 % |
149.52/149.77	c |   1648107 |      90     1917     9585 | 2147483647    17061     20 |  0.012 % |
150.02/150.25	c |   1652094 |      90     1917     9585 |    18954    17189     20 |  0.012 % |
150.42/150.67	c |   1656480 |      90     1917     9585 |    18954    16960     20 |  0.012 % |
150.92/151.19	c |   1661304 |      90     1917     9585 |    15690    13044     19 |  0.012 % |
151.52/151.72	c |   1666609 |      90     1917     9585 |    15690    14713     19 |  0.012 % |
152.12/152.36	c |   1672444 |      90     1917     9585 |    14386    13462     19 |  0.012 % |
152.72/152.99	c |   1678862 |      90     1917     9585 |    14386    13702     19 |  0.012 % |
153.32/153.60	c |   1685921 |      90     1917     9585 |    11819    11217     19 |  0.012 % |
154.22/154.43	c |   1693686 |      90     1917     9585 |    11344    10961     19 |  0.012 % |
155.02/155.24	c |   1702226 |      90     1917     9585 |     9509     8833     19 |  0.012 % |
155.72/155.97	c |   1711622 |      90     1917     9585 |     8930     8696     18 |  0.012 % |
156.52/156.75	c |   1721955 |      90     1917     9585 | 2147483647    10073     19 |  0.012 % |
157.71/157.99	c |   1733322 |      90     1917     9585 |    18118    18040     19 |  0.012 % |
159.22/159.43	c |   1745824 |      90     1917     9585 |    15663    13534     19 |  0.012 % |
160.51/160.75	c |   1759576 |      90     1917     9585 |    13950    11268     19 |  0.012 % |
161.61/161.84	c |   1774703 |      90     1917     9585 |    11387    10722     19 |  0.012 % |
161.61/161.84	c |   1774805 |      90     1917     9585 |    11387    10824     19 |  0.012 % |
161.61/161.86	c |   1774916 |      90     1917     9585 |    11387    10935     19 |  0.012 % |
161.61/161.87	c |   1775037 |      90     1917     9585 |    11387    11056     19 |  0.012 % |
161.61/161.88	c |   1775170 |      90     1917     9585 |    11387    11189     19 |  0.012 % |
161.61/161.89	c |   1775317 |      90     1917     9585 |    11387    11336     19 |  0.012 % |
161.71/161.91	c |   1775479 |      90     1917     9585 |    11387     9793     19 |  0.012 % |
161.71/161.93	c |   1775656 |      90     1917     9585 |    11387     9970     19 |  0.012 % |
161.71/161.94	c |   1775850 |      90     1917     9585 |    11387    10164     19 |  0.012 % |
161.71/161.96	c |   1776064 |      90     1917     9585 |    11387    10378     19 |  0.012 % |
161.71/161.98	c |   1776297 |      90     1917     9585 |    11387    10611     19 |  0.012 % |
161.71/162.00	c |   1776554 |      90     1917     9585 |    11387    10868     19 |  0.012 % |
161.81/162.03	c |   1776837 |      90     1917     9585 |    11387    11151     19 |  0.012 % |
161.81/162.06	c |   1777146 |      90     1917     9585 |    11387     9726     19 |  0.012 % |
161.81/162.08	c |   1777485 |      90     1917     9585 |    11387    10065     19 |  0.012 % |
161.91/162.11	c |   1777858 |      90     1917     9585 |    11387    10438     19 |  0.012 % |
161.91/162.15	c |   1778269 |      90     1917     9585 |    11387    10849     19 |  0.012 % |
161.91/162.19	c |   1778719 |      90     1917     9585 |    11387    11299     19 |  0.012 % |
162.01/162.24	c |   1779215 |      90     1917     9585 |    11387    10076     19 |  0.012 % |
162.01/162.28	c |   1779757 |      90     1917     9585 |    11387    10618     19 |  0.012 % |
162.11/162.33	c |   1780353 |      90     1917     9585 |    10863     9613     19 |  0.012 % |
162.11/162.38	c |   1781008 |      90     1917     9585 |    10863    10268     19 |  0.012 % |
162.21/162.44	c |   1781728 |      90     1917     9585 |    10863     9460     19 |  0.012 % |
162.31/162.50	c |   1782521 |      90     1917     9585 |    10863    10253     19 |  0.012 % |
162.31/162.58	c |   1783393 |      90     1917     9585 |    10863     9609     19 |  0.012 % |
162.41/162.65	c |   1784351 |      90     1917     9585 |    10863    10567     19 |  0.012 % |
162.52/162.74	c |   1785404 |      90     1917     9585 |    10863    10148     19 |  0.012 % |
162.62/162.84	c |   1786562 |      90     1917     9585 |    10863     9851     19 |  0.012 % |
162.71/162.95	c |   1787837 |      90     1917     9585 |    10863     9682     19 |  0.012 % |
162.81/163.06	c |   1789238 |      90     1917     9585 |    10863     9665     19 |  0.012 % |
162.91/163.17	c |   1790778 |      90     1917     9585 |    10428     9883     19 |  0.012 % |
163.11/163.32	c |   1792472 |      90     1917     9585 |    10428    10285     19 |  0.012 % |
163.21/163.47	c |   1794335 |      90     1917     9585 |    10428     9572     19 |  0.012 % |
163.41/163.62	c |   1796385 |      90     1917     9585 |    10428    10360     19 |  0.012 % |
163.61/163.80	c |   1798638 |      90     1917     9585 |    10428    10112     19 |  0.012 % |
163.81/164.02	c |   1801116 |      90     1917     9585 |    10193    10040     20 |  0.012 % |
164.01/164.24	c |   1803842 |      90     1917     9585 |    10193    10176     20 |  0.012 % |
164.21/164.48	c |   1806839 |      90     1917     9585 |    10193     9441     20 |  0.012 % |
164.51/164.71	c |   1810135 |      90     1917     9585 |     9147     8269     20 |  0.012 % |
164.71/164.97	c |   1813761 |      90     1917     9585 |     9147     9144     19 |  0.012 % |
165.01/165.28	c |   1817751 |      90     1917     9585 |     9147     8550     20 |  0.012 % |
165.41/165.62	c |   1822136 |      90     1917     9585 | 2147483647    11101     19 |  0.012 % |
165.81/166.01	c |   1826960 |      90     1917     9585 | 2147483647    15925     19 |  0.012 % |
166.31/166.56	c |   1832265 |      90     1917     9585 |    18965    17703     19 |  0.012 % |
167.01/167.25	c |   1838100 |      90     1917     9585 |    18965    14292     19 |  0.012 % |
167.61/167.85	c |   1844520 |      90     1917     9585 |    16193    12874     19 |  0.012 % |
168.21/168.49	c |   1851581 |      90     1917     9585 |    14682    12915     19 |  0.012 % |
168.90/169.16	c |   1859345 |      90     1917     9585 |    14682    14415     20 |  0.012 % |
169.60/169.88	c |   1867885 |      90     1917     9585 |    11972    10991     19 |  0.012 % |
170.40/170.65	c |   1877280 |      90     1917     9585 |    11071     9682     21 |  0.012 % |
171.20/171.47	c |   1887614 |      90     1917     9585 |    10750     9346     19 |  0.012 % |
172.10/172.35	c |   1898981 |      90     1917     9585 |    10314    10171     19 |  0.012 % |
173.10/173.37	c |   1911483 |      90     1917     9585 |     9062     8650     19 |  0.012 % |
174.20/174.43	c |   1925235 |      90     1917     9585 | 2147483647    14221     19 |  0.012 % |
176.00/176.23	c |   1940363 |      90     1917     9585 |    15566    11946     18 |  0.012 % |
177.60/177.89	c |   1957005 |      90     1917     9585 |    14520    11777     18 |  0.012 % |
177.70/177.90	c |   1957105 |      90     1917     9585 |    14520    11877     18 |  0.012 % |
177.70/177.91	c |   1957216 |      90     1917     9585 |    14520    11988     18 |  0.012 % |
177.70/177.92	c |   1957338 |      90     1917     9585 |    14520    12110     18 |  0.012 % |
177.70/177.94	c |   1957471 |      90     1917     9585 |    14520    12243     18 |  0.012 % |
177.70/177.95	c |   1957617 |      90     1917     9585 |    14520    12389     18 |  0.012 % |
177.70/177.97	c |   1957777 |      90     1917     9585 |    14520    12549     18 |  0.012 % |
177.70/178.00	c |   1957953 |      90     1917     9585 |    14520    12725     18 |  0.012 % |
177.80/178.02	c |   1958147 |      90     1917     9585 |    14520    12919     18 |  0.012 % |
177.80/178.04	c |   1958359 |      90     1917     9585 |    14520    13131     18 |  0.012 % |
177.80/178.07	c |   1958593 |      90     1917     9585 |    14520    13365     18 |  0.012 % |
177.90/178.11	c |   1958849 |      90     1917     9585 |    14520    13621     18 |  0.012 % |
177.90/178.14	c |   1959131 |      90     1917     9585 |    14520    13903     18 |  0.012 % |
177.90/178.17	c |   1959441 |      90     1917     9585 |    14520    14213     18 |  0.012 % |
178.00/178.22	c |   1959780 |      90     1917     9585 |    14520    11235     18 |  0.012 % |
178.00/178.26	c |   1960152 |      90     1917     9585 |    11457     9012     18 |  0.012 % |
178.00/178.29	c |   1960562 |      90     1917     9585 |    11457     9422     18 |  0.012 % |
178.10/178.33	c |   1961011 |      90     1917     9585 |    11457     9871     18 |  0.012 % |
178.10/178.38	c |   1961504 |      90     1917     9585 |    11457    10364     19 |  0.012 % |
178.20/178.42	c |   1962047 |      90     1917     9585 |    11457    10907     19 |  0.012 % |
178.20/178.49	c |   1962643 |      90     1917     9585 |    11457     9272     19 |  0.012 % |
178.30/178.54	c |   1963298 |      90     1917     9585 |    11457     9927     19 |  0.012 % |
178.40/178.60	c |   1964018 |      90     1917     9585 |    11457    10647     19 |  0.012 % |
178.40/178.68	c |   1964810 |      90     1917     9585 |    11457    11439     19 |  0.012 % |
178.50/178.76	c |   1965682 |      90     1917     9585 |    11457    10207     19 |  0.012 % |
178.60/178.84	c |   1966641 |      90     1917     9585 |    11457    11166     19 |  0.012 % |
178.70/178.93	c |   1967694 |      90     1917     9585 |    11457    10216     20 |  0.012 % |
178.80/179.03	c |   1968852 |      90     1917     9585 |    11457    11374     20 |  0.012 % |
178.90/179.15	c |   1970125 |      90     1917     9585 |    10616     8992     19 |  0.012 % |
179.00/179.26	c |   1971526 |      90     1917     9585 |    10616    10393     19 |  0.012 % |
179.10/179.37	c |   1973067 |      90     1917     9585 |    10616    10396     19 |  0.012 % |
179.30/179.51	c |   1974762 |      90     1917     9585 |    10616    10633     20 |  0.012 % |
179.40/179.66	c |   1976625 |      90     1917     9585 |    10616     9592     19 |  0.012 % |
179.60/179.83	c |   1978674 |      90     1917     9585 |    10616    10212     19 |  0.012 % |
179.80/180.02	c |   1980928 |      90     1917     9585 |    10122     9708     20 |  0.012 % |
180.00/180.22	c |   1983407 |      90     1917     9585 |    10122     9819     20 |  0.012 % |
180.20/180.49	c |   1986134 |      90     1917     9585 |    10122     8962     19 |  0.012 % |
180.50/180.73	c |   1989133 |      90     1917     9585 |    10122     9523     19 |  0.012 % |
180.70/180.97	c |   1992430 |      90     1917     9585 |     9212     8741     19 |  0.012 % |
181.00/181.23	c |   1996055 |      90     1917     9585 |     9212     8671     19 |  0.012 % |
181.20/181.50	c |   2000042 |      90     1917     9585 | 2147483647     8963     19 |  0.012 % |
181.60/181.86	c |   2004429 |      90     1917     9585 | 2147483647    13350     20 |  0.012 % |
182.20/182.41	c |   2009252 |      90     1917     9585 | 2147483647    18173     20 |  0.012 % |
182.90/183.10	c |   2014558 |      90     1917     9585 |    18921    14459     20 |  0.012 % |
183.40/183.70	c |   2020393 |      90     1917     9585 |    14803    11264     20 |  0.012 % |
183.99/184.25	c |   2026811 |      90     1917     9585 |    14803    14325     20 |  0.012 % |
184.69/184.95	c |   2033870 |      90     1917     9585 |    14181    11890     20 |  0.012 % |
185.49/185.70	c |   2041636 |      90     1917     9585 |    11990    11091     19 |  0.012 % |
186.19/186.45	c |   2050176 |      90     1917     9585 |    10740     9125     18 |  0.012 % |
186.89/187.18	c |   2059571 |      90     1917     9585 |    10740     9779     19 |  0.012 % |
187.69/187.93	c |   2069904 |      90     1917     9585 |    10209     9924     20 |  0.012 % |
188.59/188.80	c |   2081270 |      90     1917     9585 |     9531     8795     19 |  0.012 % |
189.49/189.74	c |   2093774 |      90     1917     9585 | 2147483647    12699     19 |  0.012 % |
190.99/191.28	c |   2107527 |      90     1917     9585 |    18925    17600     19 |  0.012 % |
192.39/192.66	c |   2122654 |      90     1917     9585 |    14179    13636     19 |  0.012 % |
193.89/194.17	c |   2139294 |      90     1917     9585 |    12594    10715     18 |  0.012 % |
195.39/195.68	c |   2157598 |      90     1917     9585 |    10656     9539     19 |  0.012 % |
195.39/195.68	c |   2157699 |      90     1917     9585 |    10656     9640     19 |  0.012 % |
195.39/195.69	c |   2157809 |      90     1917     9585 |    10656     9750     19 |  0.012 % |
195.39/195.70	c |   2157931 |      90     1917     9585 |    10656     9872     19 |  0.012 % |
195.49/195.71	c |   2158066 |      90     1917     9585 |    10656    10007     19 |  0.012 % |
195.49/195.72	c |   2158212 |      90     1917     9585 |    10656    10153     19 |  0.012 % |
195.49/195.73	c |   2158372 |      90     1917     9585 |    10656    10313     19 |  0.012 % |
195.49/195.74	c |   2158548 |      90     1917     9585 |    10656    10489     19 |  0.012 % |
195.49/195.76	c |   2158743 |      90     1917     9585 |    10656     9320     19 |  0.012 % |
195.49/195.78	c |   2158957 |      90     1917     9585 |    10656     9534     19 |  0.012 % |
195.49/195.79	c |   2159191 |      90     1917     9585 |    10656     9768     19 |  0.012 % |
195.59/195.81	c |   2159447 |      90     1917     9585 |    10656    10024     19 |  0.012 % |
195.59/195.82	c |   2159728 |      90     1917     9585 |    10656    10305     19 |  0.012 % |
195.59/195.85	c |   2160039 |      90     1917     9585 |    10577     9314     19 |  0.012 % |
195.59/195.87	c |   2160380 |      90     1917     9585 |    10577     9655     19 |  0.012 % |
195.69/195.90	c |   2160752 |      90     1917     9585 |    10577    10027     19 |  0.012 % |
195.69/195.93	c |   2161162 |      90     1917     9585 |    10577    10437     19 |  0.012 % |
195.69/195.98	c |   2161612 |      90     1917     9585 |    10577     9615     19 |  0.012 % |
195.79/196.02	c |   2162105 |      90     1917     9585 |    10577    10108     19 |  0.012 % |
195.79/196.07	c |   2162648 |      90     1917     9585 |    10577     9383     19 |  0.012 % |
195.89/196.11	c |   2163246 |      90     1917     9585 |    10577     9981     19 |  0.012 % |
195.89/196.17	c |   2163901 |      90     1917     9585 |    10577     9385     19 |  0.012 % |
195.99/196.23	c |   2164623 |      90     1917     9585 |    10577    10107     19 |  0.012 % |
196.09/196.30	c |   2165416 |      90     1917     9585 |    10577     9631     19 |  0.012 % |
196.09/196.36	c |   2166287 |      90     1917     9585 |    10577    10502     19 |  0.012 % |
196.19/196.44	c |   2167247 |      90     1917     9585 |    10577    10239     19 |  0.012 % |
196.29/196.53	c |   2168301 |      90     1917     9585 |    10577    10076     19 |  0.012 % |
196.39/196.61	c |   2169460 |      90     1917     9585 |    10577    10023     19 |  0.012 % |
196.49/196.71	c |   2170734 |      90     1917     9585 |    10563    10095     20 |  0.012 % |
196.59/196.83	c |   2172136 |      90     1917     9585 |    10563    10314     20 |  0.012 % |
196.69/196.96	c |   2173676 |      90     1917     9585 |    10563     9450     20 |  0.012 % |
196.79/197.08	c |   2175371 |      90     1917     9585 |    10563     9999     20 |  0.012 % |
196.99/197.22	c |   2177235 |      90     1917     9585 |    10563     9667     20 |  0.012 % |
197.09/197.38	c |   2179285 |      90     1917     9585 |    10563     9485     20 |  0.012 % |
197.29/197.56	c |   2181539 |      90     1917     9585 |    10200     9608     20 |  0.012 % |
197.48/197.74	c |   2184017 |      90     1917     9585 |    10200    10007     20 |  0.012 % |
197.69/197.94	c |   2186743 |      90     1917     9585 |    10200     9598     20 |  0.012 % |
197.88/198.19	c |   2189740 |      90     1917     9585 |    10200     9444     19 |  0.012 % |
198.18/198.47	c |   2193036 |      90     1917     9585 |     9704     8812     19 |  0.012 % |
198.48/198.73	c |   2196662 |      90     1917     9585 |     9704     9519     19 |  0.012 % |
198.79/199.02	c |   2200649 |      90     1917     9585 | 2147483647     9613     19 |  0.012 % |
199.18/199.41	c |   2205036 |      90     1917     9585 | 2147483647    14000     19 |  0.012 % |
199.68/199.91	c |   2209859 |      90     1917     9585 | 2147483647    18823     19 |  0.012 % |
200.18/200.49	c |   2215167 |      90     1917     9585 |    18965    15763     19 |  0.012 % |
200.99/201.24	c |   2221004 |      90     1917     9585 |    15607    12461     19 |  0.012 % |
201.68/201.91	c |   2227423 |      90     1917     9585 |    15607    14959     19 |  0.012 % |
202.28/202.57	c |   2234482 |      90     1917     9585 |    13764    12106     19 |  0.012 % |
202.98/203.22	c |   2242246 |      90     1917     9585 |    12015    11847     19 |  0.012 % |
203.68/203.91	c |   2250788 |      90     1917     9585 |    11309    10199     19 |  0.012 % |
204.38/204.69	c |   2260182 |      90     1917     9585 |    10424     9038     19 |  0.012 % |
205.18/205.48	c |   2270515 |      90     1917     9585 |    10403     9721     20 |  0.012 % |
206.08/206.35	c |   2281883 |      90     1917     9585 |    10217     9854     18 |  0.012 % |
207.08/207.30	c |   2294386 |      90     1917     9585 | 2147483647    13926     19 |  0.012 % |
208.48/208.78	c |   2308139 |      90     1917     9585 |    19540    18494     19 |  0.012 % |
209.98/210.24	c |   2323266 |      90     1917     9585 |    14285    14318     20 |  0.012 % |
211.48/211.70	c |   2339905 |      90     1917     9585 |    12134    11324     19 |  0.012 % |
212.98/213.27	c |   2358208 |      90     1917     9585 |    10569    10313     19 |  0.012 % |
214.67/214.96	c |   2378344 |      90     1917     9585 | 2147483647    17662     20 |  0.012 % |
214.67/214.97	c |   2378444 |      90     1917     9585 | 2147483647    17762     20 |  0.012 % |
214.67/214.98	c |   2378555 |      90     1917     9585 | 2147483647    17873     20 |  0.012 % |
214.77/215.00	c |   2378676 |      90     1917     9585 | 2147483647    17994     20 |  0.012 % |
214.77/215.02	c |   2378810 |      90     1917     9585 | 2147483647    18128     20 |  0.012 % |
214.77/215.04	c |   2378958 |      90     1917     9585 | 2147483647    18276     20 |  0.012 % |
214.77/215.06	c |   2379120 |      90     1917     9585 | 2147483647    18438     20 |  0.012 % |
214.77/215.09	c |   2379297 |      90     1917     9585 | 2147483647    18615     20 |  0.012 % |
214.87/215.13	c |   2379490 |      90     1917     9585 | 2147483647    18808     20 |  0.012 % |
214.87/215.16	c |   2379703 |      90     1917     9585 | 2147483647    19021     20 |  0.012 % |
214.97/215.20	c |   2379936 |      90     1917     9585 | 2147483647    19254     20 |  0.012 % |
214.97/215.25	c |   2380192 |      90     1917     9585 |    19318    15208     19 |  0.012 % |
214.97/215.28	c |   2380473 |      90     1917     9585 |    19318    15489     19 |  0.012 % |
215.07/215.33	c |   2380782 |      90     1917     9585 |    19318    15798     19 |  0.012 % |
215.07/215.37	c |   2381121 |      90     1917     9585 |    19318    16137     19 |  0.012 % |
215.17/215.42	c |   2381495 |      90     1917     9585 |    19318    16511     19 |  0.012 % |
215.17/215.47	c |   2381904 |      90     1917     9585 |    19318    16920     19 |  0.012 % |
215.27/215.53	c |   2382353 |      90     1917     9585 |    19318    17369     19 |  0.012 % |
215.27/215.59	c |   2382846 |      90     1917     9585 |    19318    17862     20 |  0.012 % |
215.37/215.67	c |   2383390 |      90     1917     9585 |    19318    18406     20 |  0.012 % |
215.47/215.75	c |   2383987 |      90     1917     9585 |    19318    19003     20 |  0.012 % |
215.57/215.86	c |   2384643 |      90     1917     9585 |    19318    14433     19 |  0.012 % |
215.67/215.94	c |   2385364 |      90     1917     9585 |    19318    15154     19 |  0.012 % |
215.77/216.04	c |   2386157 |      90     1917     9585 |    19318    15947     20 |  0.012 % |
215.87/216.14	c |   2387028 |      90     1917     9585 |    19318    16818     20 |  0.012 % |
215.97/216.27	c |   2387986 |      90     1917     9585 |    19318    17776     20 |  0.012 % |
216.17/216.41	c |   2389041 |      90     1917     9585 |    19318    18831     20 |  0.012 % |
216.27/216.59	c |   2390201 |      90     1917     9585 |    14422    10635     20 |  0.012 % |
216.37/216.70	c |   2391474 |      90     1917     9585 |    14422    11908     20 |  0.012 % |
216.57/216.84	c |   2392875 |      90     1917     9585 |    14422    13309     20 |  0.012 % |
216.67/216.99	c |   2394415 |      90     1917     9585 |    14422    11471     20 |  0.012 % |
216.87/217.15	c |   2396110 |      90     1917     9585 |    14422    13166     19 |  0.012 % |
217.07/217.35	c |   2397975 |      90     1917     9585 |    14422    11810     19 |  0.012 % |
217.27/217.53	c |   2400024 |      90     1917     9585 |    13836    13859     19 |  0.012 % |
217.47/217.75	c |   2402278 |      90     1917     9585 |    13836    13133     19 |  0.012 % |
217.76/218.01	c |   2404758 |      90     1917     9585 |    13836    12732     19 |  0.012 % |
218.06/218.32	c |   2407483 |      90     1917     9585 |    13836    12558     19 |  0.012 % |
218.36/218.64	c |   2410480 |      90     1917     9585 |    12187    10176     19 |  0.012 % |
218.67/218.96	c |   2413776 |      90     1917     9585 |    12187    11105     19 |  0.012 % |
218.96/219.28	c |   2417403 |      90     1917     9585 |    12187    10394     19 |  0.012 % |
219.36/219.66	c |   2421391 |      90     1917     9585 |    10850    10353     19 |  0.012 % |
219.67/220.00	c |   2425776 |      90     1917     9585 |    10850     9797     20 |  0.012 % |
220.06/220.39	c |   2430599 |      90     1917     9585 |     9474     8760     20 |  0.012 % |
220.46/220.76	c |   2435904 |      90     1917     9585 |     9474     8886     19 |  0.012 % |
220.87/221.18	c |   2441739 |      90     1917     9585 | 2147483647    10921     19 |  0.012 % |
221.46/221.79	c |   2448157 |      90     1917     9585 | 2147483647    17339     19 |  0.012 % |
222.36/222.62	c |   2455218 |      90     1917     9585 |    19183    15820     19 |  0.012 % |
223.37/223.65	c |   2462982 |      90     1917     9585 |    15383    14224     20 |  0.012 % |
224.27/224.55	c |   2471523 |      90     1917     9585 |    13588    11854     20 |  0.012 % |
224.97/225.27	c |   2480918 |      90     1917     9585 |    12235    10844     20 |  0.012 % |
225.77/226.08	c |   2491251 |      90     1917     9585 |    11728    11078     20 |  0.012 % |
226.87/227.17	c |   2502617 |      90     1917     9585 |    10230     9486     19 |  0.012 % |
227.87/228.18	c |   2515119 |      90     1917     9585 |     9875     8981     19 |  0.012 % |
228.97/229.28	c |   2528871 |      90     1917     9585 |     9179     8613     19 |  0.012 % |
230.67/230.91	c |   2543998 |      90     1917     9585 |    18822    18781     18 |  0.012 % |
232.37/232.67	c |   2560637 |      90     1917     9585 |    13860    11358     19 |  0.012 % |
234.07/234.34	c |   2578939 |      90     1917     9585 |    12340    12086     18 |  0.012 % |
235.76/236.04	c |   2599073 |      90     1917     9585 |    10656     9854     18 |  0.012 % |
237.56/237.85	c |   2621220 |      90     1917     9585 |    18834    16164     20 |  0.012 % |
237.56/237.86	c |   2621320 |      90     1917     9585 |    18834    16264     20 |  0.012 % |
237.56/237.88	c |   2621430 |      90     1917     9585 |    18834    16374     20 |  0.012 % |
237.56/237.89	c |   2621553 |      90     1917     9585 |    18834    16497     20 |  0.012 % |
237.66/237.91	c |   2621687 |      90     1917     9585 |    18834    16631     20 |  0.012 % |
237.66/237.94	c |   2621835 |      90     1917     9585 |    18834    16779     20 |  0.012 % |
237.66/237.95	c |   2621995 |      90     1917     9585 |    18834    16939     20 |  0.012 % |
237.66/237.97	c |   2622173 |      90     1917     9585 |    18834    17117     20 |  0.012 % |
237.76/238.00	c |   2622367 |      90     1917     9585 |    18834    17311     20 |  0.012 % |
237.76/238.02	c |   2622580 |      90     1917     9585 |    18834    17524     20 |  0.012 % |
237.76/238.07	c |   2622815 |      90     1917     9585 |    18834    17759     20 |  0.012 % |
237.86/238.11	c |   2623071 |      90     1917     9585 |    18834    18015     20 |  0.012 % |
237.86/238.17	c |   2623354 |      90     1917     9585 |    18834    18298     20 |  0.012 % |
237.96/238.22	c |   2623664 |      90     1917     9585 |    18834    18608     20 |  0.012 % |
237.96/238.30	c |   2624004 |      90     1917     9585 |    18834    13809     20 |  0.012 % |
238.06/238.35	c |   2624378 |      90     1917     9585 |    18834    14183     20 |  0.012 % |
238.06/238.39	c |   2624788 |      90     1917     9585 |    18834    14593     20 |  0.012 % |
238.16/238.44	c |   2625237 |      90     1917     9585 |    18834    15042     20 |  0.012 % |
238.26/238.51	c |   2625730 |      90     1917     9585 |    18834    15535     20 |  0.012 % |
238.26/238.58	c |   2626273 |      90     1917     9585 |    18834    16078     20 |  0.012 % |
238.37/238.66	c |   2626870 |      90     1917     9585 |    18834    16675     20 |  0.012 % |
238.47/238.75	c |   2627526 |      90     1917     9585 |    18834    17331     20 |  0.012 % |
238.56/238.87	c |   2628247 |      90     1917     9585 |    18834    18052     20 |  0.012 % |
238.66/238.99	c |   2629040 |      90     1917     9585 |    18834    18845     20 |  0.012 % |
238.86/239.12	c |   2629913 |      90     1917     9585 |    18834    14376     20 |  0.012 % |
238.96/239.22	c |   2630871 |      90     1917     9585 |    14465    11259     19 |  0.012 % |
239.06/239.32	c |   2631926 |      90     1917     9585 |    14465    12314     19 |  0.012 % |
239.16/239.44	c |   2633085 |      90     1917     9585 |    14465    13473     19 |  0.012 % |
239.26/239.59	c |   2634358 |      90     1917     9585 |    14465    11213     19 |  0.012 % |
239.46/239.74	c |   2635759 |      90     1917     9585 |    14465    12614     19 |  0.012 % |
239.56/239.89	c |   2637300 |      90     1917     9585 |    14465    14155     19 |  0.012 % |
239.76/240.07	c |   2638994 |      90     1917     9585 |    14465    12463     19 |  0.012 % |
239.96/240.26	c |   2640857 |      90     1917     9585 |    13469    11305     19 |  0.012 % |
240.16/240.46	c |   2642906 |      90     1917     9585 |    13469    13354     19 |  0.012 % |
240.36/240.65	c |   2645159 |      90     1917     9585 |    13469    12851     19 |  0.012 % |
240.56/240.85	c |   2647637 |      90     1917     9585 |    13469    12716     19 |  0.012 % |
240.76/241.08	c |   2650364 |      90     1917     9585 |    12535    10579     19 |  0.012 % |
241.06/241.32	c |   2653361 |      90     1917     9585 |    12535    11415     20 |  0.012 % |
241.36/241.64	c |   2656658 |      90     1917     9585 |    12535    10510     20 |  0.012 % |
241.66/241.96	c |   2660283 |      90     1917     9585 |    11729    10034     19 |  0.012 % |
241.96/242.26	c |   2664271 |      90     1917     9585 |    11729    10644     19 |  0.012 % |
242.36/242.62	c |   2668657 |      90     1917     9585 |    11729    10215     19 |  0.012 % |
242.76/243.03	c |   2673480 |      90     1917     9585 |    11559    10051     19 |  0.012 % |
243.16/243.45	c |   2678787 |      90     1917     9585 |    11559    10677     18 |  0.012 % |
243.66/243.95	c |   2684624 |      90     1917     9585 |    10356     9719     18 |  0.012 % |
244.16/244.42	c |   2691042 |      90     1917     9585 |    10225    10111     18 |  0.012 % |
244.56/244.88	c |   2698102 |      90     1917     9585 |    10225     9787     19 |  0.012 % |
245.16/245.48	c |   2705868 |      90     1917     9585 | 2147483647    15503     20 |  0.012 % |
246.36/246.67	c |   2714409 |      90     1917     9585 |    19635    14450     19 |  0.012 % |
247.35/247.67	c |   2723804 |      90     1917     9585 |    14595    14366     19 |  0.012 % |
248.45/248.71	c |   2734137 |      90     1917     9585 |    13813    11881     19 |  0.012 % |
249.46/249.72	c |   2745503 |      90     1917     9585 |    12129    10937     19 |  0.012 % |
250.35/250.67	c |   2758005 |      90     1917     9585 |    11377    10915     20 |  0.012 % |
251.45/251.78	c |   2771758 |      90     1917     9585 |    10481     9519     19 |  0.012 % |
252.66/252.97	c |   2786885 |      90     1917     9585 |    10008     9498     18 |  0.012 % |
254.35/254.64	c |   2803526 |      90     1917     9585 |    19605    18729     19 |  0.012 % |
256.15/256.48	c |   2821828 |      90     1917     9585 |    14155    12690     19 |  0.012 % |
257.65/257.94	c ===============================================================================
257.65/257.94	c restarts              : 1769
257.65/257.94	c conflicts             : 2837727        (11014 /sec)
257.65/257.94	c decisions             : 3221824        (1.79 % random) (12504 /sec)
257.65/257.94	c propagations          : 44345980       (172113 /sec)
257.65/257.94	c conflict literals     : 55636227       (13.58 % deleted)
257.65/257.94	c Memory used           : 6.54 MB
257.65/257.94	c CPU time              : 257.657 s
257.65/257.94	c 
257.65/257.94	s SATISFIABLE
257.65/257.94	s SATISFIABLE
257.65/257.94	v -1 2 3 4 5 -6 7 -8 -9 10 11 12 -13 -14 15 -16 17 -18 19 -20 -21 22 -23 -24 -25 26 -27 -28 29 -30 -31 32 33 34 -35 36 -37 38 39 -40 -41 42 -43 44 45 -46 47 48 49 50 -51 -52 53 -54 -55 -56 -57 58 59 -60 -61 62 63 -64 65 -66 67 -68 -69 -70 71 72 -73 74 75 -76 77 78 -79 80 -81 82 -83 84 85 -86 87 88 89 90 0

Verifier Data

OK

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832939-1242790065/watcher-1832939-1242790065 -o /tmp/evaluation-result-1832939-1242790065/solver-1832939-1242790065 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832939-1242790065.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12193
/proc/meminfo: memFree=1864456/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) R 12191 12193 11460 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 307040125 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262909651443 0 0 4100 65536 0 0 0 17 0 0 0
/proc/12193/statm: 1339 237 197 169 0 50 0

[startup+0.0886819 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12193
/proc/meminfo: memFree=1864456/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101681 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12193
/proc/meminfo: memFree=1864456/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301704 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12193
/proc/meminfo: memFree=1864456/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70175 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12193
/proc/meminfo: memFree=1864456/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50184 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12199
/proc/meminfo: memFree=1862392/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=3904 CPUtime=1.47
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 643 0 0 0 147 0 0 0 25 0 1 0 307040126 3997696 629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 976 629 76 171 0 803 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9260

[startup+3.10103 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12199
/proc/meminfo: memFree=1861304/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=4440 CPUtime=3.07
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 769 0 0 0 307 0 0 0 25 0 1 0 307040126 4546560 755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1110 755 76 171 0 937 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9796

[startup+6.3014 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12199
/proc/meminfo: memFree=1861112/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=4572 CPUtime=6.26
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 781 0 0 0 625 1 0 0 25 0 1 0 307040126 4681728 767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1143 767 76 171 0 970 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 9928

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12199
/proc/meminfo: memFree=1860920/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=4572 CPUtime=12.65
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 788 0 0 0 1264 1 0 0 25 0 1 0 307040126 4681728 774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1143 774 76 171 0 970 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 9928

[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12199
/proc/meminfo: memFree=1860856/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=4704 CPUtime=25.43
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 818 0 0 0 2541 2 0 0 25 0 1 0 307040126 4816896 804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1176 804 76 171 0 1003 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 10060

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12199
/proc/meminfo: memFree=1860536/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=5104 CPUtime=50.99
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 925 0 0 0 5097 2 0 0 25 0 1 0 307040126 5226496 911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1276 911 76 171 0 1103 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 10460

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12199
/proc/meminfo: memFree=1859704/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=5660 CPUtime=102.15
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1063 0 0 0 10213 2 0 0 25 0 1 0 307040126 5795840 1049 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1415 1049 76 171 0 1242 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 11016

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12199
/proc/meminfo: memFree=1859192/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6088 CPUtime=162.11
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1163 0 0 0 16208 3 0 0 25 0 1 0 307040126 6234112 1149 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1522 1149 76 171 0 1349 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 11444

[startup+222.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858680/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6532 CPUtime=222.06
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1266 0 0 0 22203 3 0 0 25 0 1 0 307040126 6688768 1252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1633 1252 76 171 0 1460 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 11888

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

[startup+230.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858616/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6532 CPUtime=230.07
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1280 0 0 0 23003 4 0 0 25 0 1 0 307040126 6688768 1266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1633 1266 76 171 0 1460 0
Current children cumulated CPU time (s) 230.07
Current children cumulated vsize (KiB) 11888

[startup+243.106 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858552/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6692 CPUtime=242.86
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1298 0 0 0 24282 4 0 0 25 0 1 0 307040126 6852608 1284 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1673 1284 76 171 0 1500 0
Current children cumulated CPU time (s) 242.86
Current children cumulated vsize (KiB) 12048

[startup+249.502 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858552/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6692 CPUtime=249.25
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1298 0 0 0 24921 4 0 0 25 0 1 0 307040126 6852608 1284 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1673 1284 76 171 0 1500 0
Current children cumulated CPU time (s) 249.25
Current children cumulated vsize (KiB) 12048

[startup+252.701 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858552/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6692 CPUtime=252.45
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1299 0 0 0 25241 4 0 0 25 0 1 0 307040126 6852608 1285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1673 1285 76 171 0 1500 0
Current children cumulated CPU time (s) 252.45
Current children cumulated vsize (KiB) 12048

[startup+255.902 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858488/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6692 CPUtime=255.65
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1306 0 0 0 25561 4 0 0 25 0 1 0 307040126 6852608 1292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1673 1292 76 171 0 1500 0
Current children cumulated CPU time (s) 255.65
Current children cumulated vsize (KiB) 12048

[startup+256.702 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858488/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6692 CPUtime=256.45
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1306 0 0 0 25641 4 0 0 25 0 1 0 307040126 6852608 1292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1673 1292 76 171 0 1500 0
Current children cumulated CPU time (s) 256.45
Current children cumulated vsize (KiB) 12048

[startup+257.502 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858488/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6692 CPUtime=257.25
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1306 0 0 0 25721 4 0 0 25 0 1 0 307040126 6852608 1292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1673 1292 76 171 0 1500 0
Current children cumulated CPU time (s) 257.25
Current children cumulated vsize (KiB) 12048

[startup+257.902 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12199
/proc/meminfo: memFree=1858488/2055920 swapFree=4180400/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (SatELiteGTI) S 12191 12193 11460 0 -1 4194304 336 392 0 0 0 0 0 0 16 0 1 0 307040125 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12193/statm: 1339 239 197 169 0 50 0
[pid=12199] ppid=12193 vsize=6692 CPUtime=257.65
/proc/12199/stat : 12199 (minisat_static) R 12193 12193 11460 0 -1 4194304 1306 0 0 0 25761 4 0 0 25 0 1 0 307040126 6852608 1292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 1673 1292 76 171 0 1500 0
Current children cumulated CPU time (s) 257.65
Current children cumulated vsize (KiB) 12048

Child status: 10
Real time (s): 257.953
CPU time (s): 257.719
CPU user time (s): 257.666
CPU system time (s): 0.052991
CPU usage (%): 99.9093
Max. virtual memory (cumulated for all children) (KiB): 12048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.666
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2316
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= 47
involuntary context switches= 4520

runsolver used 0.307953 second user time and 0.761884 second system time

The end

Launcher Data

Begin job on node11 at 2009-05-20 05:27:45
IDJOB=1832939
IDBENCH=70433
IDSOLVER=671
FILE ID=node11/1832939-1242790065
PBS_JOBID= 9322382
Free space on /tmp= 66352 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/90/unif-k5-r21.3-v90-c1917-S47926000-049.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832939-1242790065/watcher-1832939-1242790065 -o /tmp/evaluation-result-1832939-1242790065/solver-1832939-1242790065 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832939-1242790065.cnf

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

MD5SUM BENCH= 43e1914e2baa4366249337eaf6ba76dd
RANDOM SEED=1182890700

node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1864936 kB
Buffers:         31356 kB
Cached:         113216 kB
SwapCached:       6728 kB
Active:          72264 kB
Inactive:        80596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864936 kB
SwapTotal:     4192956 kB
SwapFree:      4180400 kB
Dirty:            1620 kB
Writeback:           0 kB
Mapped:          13564 kB
Slab:            24100 kB
Committed_AS:  1072280 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66348 MiB
End job on node11 at 2009-05-20 05:32:03