Trace number 1832165

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18UNSAT 375.094 375.355

General information on the benchmark

Namecrafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
MD5SUMf9cdae8890dde718d40830262adc8433
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark62.0236
Satisfiable
(Un)Satisfiability was proved
Number of variables1467
Number of clauses7521
Sum of the clauses size64621
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2247
Number of clauses of size 31130
Number of clauses of size 482
Number of clauses of size 5852
Number of clauses of size over 55183

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |    7309    63695 |    2192       0        0     nan |  0.000 % |
0.00/0.07	c |         0 |    6058    53912 |      --       0       --      -- |     --   | -423/-5172
0.00/0.07	c ==============================================================================
0.00/0.07	c Result  :   #vars: 1343   #clauses: 6058   #literals: 53912
0.00/0.07	c CPU time:   0.05999 s
0.00/0.07	c ==============================================================================
0.00/0.09	c This is MiniSat 2.0 beta
0.00/0.09	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.09	c ============================[ Problem Statistics ]=============================
0.00/0.09	c |                                                                             |
0.00/0.09	c |  Number of variables:  1343                                                 |
0.00/0.09	c |  Number of clauses:    6058                                                 |
0.00/0.09	c |  Parsing time:         0.01         s                                       |
0.00/0.10	c ============================[ Search Statistics ]==============================
0.00/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.10	c ===============================================================================
0.00/0.10	c |         0 |    1343     6058    53912 |     2019        0    nan |  0.000 % |
0.07/0.10	c |       100 |    1343     6058    53912 |     2019      100     15 |  0.000 % |
0.07/0.10	c |       201 |    1343     6058    53912 |     2019      201     15 |  0.000 % |
0.07/0.10	c |       304 |    1343     6058    53912 |     2019      304     17 |  0.000 % |
0.07/0.11	c |       415 |    1343     6058    53912 |     2019      415     16 |  0.000 % |
0.07/0.11	c |       515 |    1343     6058    53912 |     2019      515     16 |  0.000 % |
0.07/0.11	c |       630 |    1343     6058    53912 |     2019      630     15 |  0.000 % |
0.07/0.12	c |       751 |    1343     6058    53912 |     2019      751     16 |  0.000 % |
0.07/0.12	c |       851 |    1343     6058    53912 |     2019      851     18 |  0.000 % |
0.07/0.12	c |       962 |    1343     6058    53912 |     2019      962     19 |  0.000 % |
0.07/0.13	c |      1084 |    1343     6058    53912 |     2019     1084     18 |  0.000 % |
0.07/0.13	c |      1217 |    1343     6058    53912 |     2019     1217     17 |  0.000 % |
0.07/0.13	c |      1317 |    1343     6058    53912 |     2019     1317     18 |  0.000 % |
0.07/0.13	c |      1427 |    1343     6058    53912 |     2019     1427     18 |  0.000 % |
0.07/0.14	c |      1550 |    1343     6058    53912 |     2019     1550     18 |  0.000 % |
0.07/0.14	c |      1683 |    1343     6058    53912 |     2019     1683     17 |  0.000 % |
0.07/0.14	c |      1831 |    1343     6058    53912 |     2019     1831     18 |  0.000 % |
0.07/0.15	c |      1932 |    1343     6058    53912 |     2019     1932     18 |  0.000 % |
0.07/0.15	c |      2042 |    1343     6058    53912 |     2019     2042     18 |  0.000 % |
0.07/0.16	c |      2164 |    1343     6058    53912 |     2019     1960     18 |  0.000 % |
0.07/0.16	c |      2298 |    1343     6058    53912 |     2019     2094     18 |  0.000 % |
0.07/0.17	c |      2444 |    1343     6058    53912 |     2019     2031     18 |  0.000 % |
0.07/0.17	c |      2607 |    1343     6058    53912 |     2019     1991     18 |  0.000 % |
0.07/0.18	c |      2707 |    1343     6058    53912 |     2019     1883     18 |  0.000 % |
0.07/0.18	c |      2817 |    1343     6058    53912 |     2019     1993     18 |  0.000 % |
0.07/0.19	c |      2938 |    1343     6058    53912 |     2019     1907     18 |  0.000 % |
0.07/0.19	c |      3072 |    1343     6058    53912 |     2019     2041     18 |  0.000 % |
0.07/0.19	c |      3218 |    1343     6058    53912 |     2019     1983     18 |  0.000 % |
0.07/0.20	c |      3380 |    1343     6058    53912 |     2019     1932     18 |  0.000 % |
0.07/0.20	c |      3557 |    1343     6058    53912 |     2019     1900     17 |  0.000 % |
0.07/0.21	c |      3658 |    1343     6058    53912 |     2019     2001     17 |  0.000 % |
0.07/0.21	c |      3768 |    1343     6058    53912 |     2019     2111     17 |  0.000 % |
0.07/0.22	c |      3889 |    1343     6058    53912 |     2019     2021     17 |  0.000 % |
0.07/0.22	c |      4023 |    1343     6058    53912 |     2019     1953     17 |  0.000 % |
0.07/0.23	c |      4170 |    1343     6058    53912 |     2019     2100     17 |  0.000 % |
0.07/0.23	c |      4330 |    1343     6058    53912 |     2019     2050     17 |  0.000 % |
0.07/0.24	c |      4506 |    1343     6058    53912 |     2019     2021     18 |  0.000 % |
0.07/0.24	c |      4700 |    1343     6058    53912 |     2019     2013     18 |  0.000 % |
0.07/0.25	c |      4800 |    1343     6058    53912 |     2019     2113     18 |  0.000 % |
0.07/0.25	c |      4915 |    1343     6058    53912 |     2019     2017     18 |  0.000 % |
0.07/0.26	c |      5037 |    1343     6058    53912 |     2019     1928     18 |  0.000 % |
0.07/0.26	c |      5172 |    1343     6058    53912 |     2019     2063     18 |  0.000 % |
0.07/0.26	c |      5318 |    1343     6058    53912 |     2019     2003     18 |  0.000 % |
0.07/0.27	c |      5479 |    1343     6058    53912 |     2019     1952     18 |  0.000 % |
0.07/0.28	c |      5658 |    1343     6058    53912 |     2019     1923     18 |  0.000 % |
0.07/0.28	c |      5853 |    1343     6058    53912 |     2019     2118     18 |  0.000 % |
0.07/0.29	c |      6065 |    1343     6058    53912 |     2019     1908     17 |  0.000 % |
0.07/0.29	c |      6168 |    1343     6058    53912 |     2019     2011     17 |  0.000 % |
0.07/0.30	c |      6278 |    1343     6058    53912 |     2019     2121     17 |  0.000 % |
0.07/0.30	c |      6400 |    1343     6058    53912 |     2019     2031     17 |  0.000 % |
0.07/0.31	c |      6534 |    1343     6058    53912 |     2019     1962     17 |  0.000 % |
0.07/0.31	c |      6680 |    1343     6058    53912 |     2019     2108     17 |  0.000 % |
0.07/0.32	c |      6842 |    1343     6058    53912 |     2019     2060     18 |  0.000 % |
0.07/0.32	c |      7018 |    1343     6058    53912 |     2019     2030     18 |  0.000 % |
0.07/0.33	c |      7211 |    1343     6058    53912 |     2019     2020     17 |  0.000 % |
0.07/0.34	c |      7424 |    1343     6058    53912 |     2019     2031     18 |  0.000 % |
0.07/0.35	c |      7657 |    1343     6058    53912 |     2019     2061     18 |  0.000 % |
0.07/0.35	c |      7757 |    1343     6058    53912 |     2019     1955     18 |  0.000 % |
0.07/0.35	c |      7867 |    1343     6058    53912 |     2019     2065     18 |  0.000 % |
0.07/0.36	c |      7989 |    1343     6058    53912 |     2019     1981     18 |  0.000 % |
0.07/0.36	c |      8122 |    1343     6058    53912 |     2019     2114     18 |  0.000 % |
0.07/0.37	c |      8268 |    1343     6058    53912 |     2019     2049     18 |  0.000 % |
0.07/0.37	c |      8428 |    1343     6058    53912 |     2019     2005     17 |  0.000 % |
0.07/0.38	c |      8606 |    1343     6058    53912 |     2019     1967     18 |  0.000 % |
0.07/0.39	c |      8800 |    1343     6058    53912 |     2019     1947     19 |  0.000 % |
0.07/0.40	c |      9012 |    1343     6058    53912 |     2019     1948     19 |  0.000 % |
0.07/0.41	c |      9246 |    1343     6058    53912 |     2019     1974     18 |  0.000 % |
0.07/0.42	c |      9503 |    1343     6058    53912 |     2019     2018     19 |  0.000 % |
0.07/0.42	c |      9604 |    1343     6058    53912 |     2019     1915     18 |  0.000 % |
0.07/0.42	c |      9714 |    1343     6058    53912 |     2019     2025     18 |  0.000 % |
0.07/0.43	c |      9836 |    1343     6058    53912 |     2019     1945     18 |  0.000 % |
0.07/0.43	c |      9973 |    1343     6058    53912 |     2019     2082     18 |  0.000 % |
0.07/0.44	c |     10121 |    1343     6058    53912 | 2147483647     2022     19 |  0.000 % |
0.07/0.44	c |     10281 |    1343     6058    53912 | 2147483647     2182     19 |  0.000 % |
0.07/0.45	c |     10457 |    1343     6058    53912 | 2147483647     2358     20 |  0.000 % |
0.07/0.46	c |     10650 |    1343     6058    53912 | 2147483647     2551     20 |  0.000 % |
0.07/0.46	c |     10862 |    1343     6058    53912 | 2147483647     2763     20 |  0.000 % |
0.07/0.47	c |     11095 |    1343     6058    53912 | 2147483647     2996     20 |  0.000 % |
0.07/0.48	c |     11351 |    1343     6058    53912 | 2147483647     3252     20 |  0.000 % |
0.07/0.50	c |     11632 |    1343     6058    53912 | 2147483647     3533     21 |  0.000 % |
0.07/0.50	c |     11734 |    1343     6058    53912 | 2147483647     3635     21 |  0.000 % |
0.07/0.51	c |     11846 |    1343     6058    53912 | 2147483647     3747     21 |  0.000 % |
0.07/0.51	c |     11967 |    1343     6058    53912 | 2147483647     3868     22 |  0.000 % |
0.07/0.52	c |     12100 |    1343     6058    53912 | 2147483647     4001     22 |  0.000 % |
0.07/0.53	c |     12247 |    1343     6058    53912 | 2147483647     4148     22 |  0.000 % |
0.07/0.54	c |     12408 |    1343     6058    53912 | 2147483647     4309     22 |  0.000 % |
0.07/0.54	c |     12584 |    1343     6058    53912 | 2147483647     4485     22 |  0.000 % |
0.07/0.55	c |     12777 |    1343     6058    53912 | 2147483647     4678     22 |  0.000 % |
0.07/0.57	c |     12989 |    1343     6058    53912 | 2147483647     4890     23 |  0.000 % |
0.07/0.58	c |     13222 |    1343     6058    53912 | 2147483647     5123     23 |  0.000 % |
0.07/0.59	c |     13478 |    1343     6058    53912 | 2147483647     5379     23 |  0.000 % |
0.07/0.61	c |     13761 |    1343     6058    53912 | 2147483647     5662     23 |  0.000 % |
0.07/0.63	c |     14070 |    1343     6058    53912 | 2147483647     5971     23 |  0.000 % |
0.07/0.64	c |     14171 |    1343     6058    53912 | 2147483647     6072     23 |  0.000 % |
0.07/0.64	c |     14281 |    1343     6058    53912 | 2147483647     6182     23 |  0.000 % |
0.07/0.65	c |     14403 |    1343     6058    53912 | 2147483647     6304     23 |  0.000 % |
0.07/0.66	c |     14537 |    1343     6058    53912 | 2147483647     6438     23 |  0.000 % |
0.07/0.67	c |     14683 |    1343     6058    53912 | 2147483647     6584     23 |  0.000 % |
0.07/0.68	c |     14847 |    1343     6058    53912 | 2147483647     6748     23 |  0.000 % |
0.07/0.69	c |     15023 |    1343     6058    53912 | 2147483647     6924     23 |  0.000 % |
0.07/0.70	c |     15217 |    1343     6058    53912 | 2147483647     7118     23 |  0.000 % |
0.07/0.71	c |     15429 |    1343     6058    53912 | 2147483647     7330     23 |  0.000 % |
0.07/0.73	c |     15662 |    1343     6058    53912 | 2147483647     7563     23 |  0.000 % |
0.07/0.75	c |     15919 |    1343     6058    53912 | 2147483647     7820     23 |  0.000 % |
0.07/0.77	c |     16203 |    1343     6058    53912 | 2147483647     8104     23 |  0.000 % |
0.07/0.79	c |     16514 |    1343     6058    53912 | 2147483647     8415     24 |  0.000 % |
0.07/0.81	c |     16856 |    1343     6058    53912 | 2147483647     8757     23 |  0.000 % |
0.07/0.82	c |     16957 |    1343     6058    53912 | 2147483647     8858     23 |  0.000 % |
0.07/0.83	c |     17067 |    1343     6058    53912 | 2147483647     8968     23 |  0.000 % |
0.07/0.84	c |     17188 |    1343     6058    53912 | 2147483647     9089     23 |  0.000 % |
0.07/0.85	c |     17322 |    1343     6058    53912 | 2147483647     9223     23 |  0.000 % |
0.07/0.85	c |     17468 |    1343     6058    53912 | 2147483647     9369     23 |  0.000 % |
0.07/0.87	c |     17628 |    1343     6058    53912 | 2147483647     9529     23 |  0.000 % |
0.07/0.89	c |     17805 |    1343     6058    53912 | 2147483647     9706     23 |  0.000 % |
0.07/0.90	c |     17998 |    1343     6058    53912 | 2147483647     9899     23 |  0.000 % |
0.07/0.92	c |     18214 |    1343     6058    53912 | 2147483647    10115     23 |  0.000 % |
0.07/0.94	c |     18447 |    1343     6058    53912 | 2147483647    10348     23 |  0.000 % |
0.07/0.96	c |     18703 |    1343     6058    53912 | 2147483647    10604     23 |  0.000 % |
0.07/0.98	c |     18984 |    1343     6058    53912 | 2147483647    10885     23 |  0.000 % |
0.97/1.02	c |     19295 |    1343     6058    53912 | 2147483647    11196     23 |  0.000 % |
0.97/1.05	c |     19634 |    1343     6058    53912 | 2147483647    11535     23 |  0.000 % |
0.97/1.09	c |     20009 |    1343     6058    53912 | 2147483647    11910     23 |  0.000 % |
0.97/1.10	c |     20109 |    1343     6058    53912 | 2147483647    12010     23 |  0.000 % |
1.07/1.11	c |     20219 |    1343     6058    53912 | 2147483647    12120     23 |  0.000 % |
1.07/1.13	c |     20341 |    1343     6058    53912 | 2147483647    12242     23 |  0.000 % |
1.07/1.14	c |     20475 |    1343     6058    53912 | 2147483647    12376     23 |  0.000 % |
1.07/1.16	c |     20621 |    1343     6058    53912 | 2147483647    12522     23 |  0.000 % |
1.07/1.18	c |     20783 |    1343     6058    53912 | 2147483647    12684     23 |  0.000 % |
1.16/1.20	c |     20962 |    1343     6058    53912 | 2147483647    12863     23 |  0.000 % |
1.16/1.22	c |     21157 |    1343     6058    53912 | 2147483647    13058     23 |  0.000 % |
1.16/1.24	c |     21369 |    1343     6058    53912 | 2147483647    13270     24 |  0.000 % |
1.16/1.27	c |     21603 |    1343     6058    53912 | 2147483647    13504     24 |  0.000 % |
1.26/1.30	c |     21859 |    1343     6058    53912 | 2147483647    13760     24 |  0.000 % |
1.26/1.34	c |     22142 |    1343     6058    53912 | 2147483647    14043     24 |  0.000 % |
1.26/1.38	c |     22454 |    1343     6058    53912 | 2147483647    14355     24 |  0.000 % |
1.36/1.43	c |     22793 |    1343     6058    53912 | 2147483647    14694     24 |  0.000 % |
1.36/1.48	c |     23166 |    1343     6058    53912 | 2147483647    15067     25 |  0.000 % |
1.46/1.52	c |     23577 |    1343     6058    53912 | 2147483647    15478     25 |  0.000 % |
1.46/1.54	c |     23679 |    1343     6058    53912 | 2147483647    15580     25 |  0.000 % |
1.46/1.55	c |     23789 |    1343     6058    53912 | 2147483647    15690     25 |  0.000 % |
1.46/1.58	c |     23910 |    1343     6058    53912 | 2147483647    15811     25 |  0.000 % |
1.46/1.60	c |     24043 |    1343     6058    53912 | 2147483647    15944     25 |  0.000 % |
1.56/1.61	c |     24192 |    1343     6058    53912 | 2147483647    16093     25 |  0.000 % |
1.56/1.63	c |     24353 |    1343     6058    53912 | 2147483647    16254     25 |  0.000 % |
1.56/1.65	c |     24529 |    1343     6058    53912 | 2147483647    16430     25 |  0.000 % |
1.56/1.68	c |     24722 |    1343     6058    53912 | 2147483647    16623     24 |  0.000 % |
1.66/1.71	c |     24934 |    1343     6058    53912 | 2147483647    16835     25 |  0.000 % |
1.66/1.75	c |     25169 |    1343     6058    53912 | 2147483647    17070     25 |  0.000 % |
1.66/1.79	c |     25425 |    1343     6058    53912 | 2147483647    17326     25 |  0.000 % |
1.76/1.82	c |     25706 |    1343     6058    53912 | 2147483647    17607     25 |  0.000 % |
1.76/1.87	c |     26016 |    1343     6058    53912 | 2147483647    17917     25 |  0.000 % |
1.86/1.93	c |     26355 |    1343     6058    53912 | 2147483647    18256     25 |  0.000 % |
1.86/2.00	c |     26729 |    1343     6058    53912 | 2147483647    18630     25 |  0.000 % |
1.96/2.06	c |     27139 |    1343     6058    53912 | 2147483647    19040     25 |  0.000 % |
2.07/2.14	c |     27588 |    1343     6058    53912 | 2147483647    19489     25 |  0.000 % |
2.07/2.15	c |     27689 |    1343     6058    53912 | 2147483647    19590     25 |  0.000 % |
2.07/2.17	c |     27799 |    1343     6058    53912 | 2147483647    19700     25 |  0.000 % |
2.07/2.19	c |     27920 |    1343     6058    53912 | 2147483647    19821     25 |  0.000 % |
2.17/2.22	c |     28054 |    1343     6058    53912 | 2147483647    19955     25 |  0.000 % |
2.17/2.25	c |     28200 |    1343     6058    53912 | 2147483647    20101     25 |  0.000 % |
2.17/2.28	c |     28360 |    1343     6058    53912 | 2147483647    20261     25 |  0.000 % |
2.26/2.31	c |     28537 |    1343     6058    53912 | 2147483647    20438     25 |  0.000 % |
2.26/2.34	c |     28731 |    1343     6058    53912 | 2147483647    20632     25 |  0.000 % |
2.26/2.37	c |     28943 |    1343     6058    53912 | 2147483647    20844     25 |  0.000 % |
2.36/2.41	c |     29177 |    1343     6058    53912 | 2147483647    21078     25 |  0.000 % |
2.36/2.46	c |     29433 |    1343     6058    53912 | 2147483647    21334     25 |  0.000 % |
2.46/2.51	c |     29715 |    1343     6058    53912 | 2147483647    21616     25 |  0.000 % |
2.46/2.57	c |     30024 |    1343     6058    53912 |    21904    21925     25 |  0.000 % |
2.56/2.63	c |     30363 |    1343     6058    53912 |    21904    17478     23 |  0.000 % |
2.56/2.68	c |     30735 |    1343     6058    53912 |    21904    17850     23 |  0.000 % |
2.66/2.73	c |     31145 |    1343     6058    53912 |    21904    18260     23 |  0.000 % |
2.76/2.80	c |     31595 |    1343     6058    53912 |    21904    18710     24 |  0.000 % |
2.76/2.88	c |     32088 |    1343     6058    53912 |    21904    19203     24 |  0.000 % |
2.76/2.89	c |     32188 |    1343     6058    53912 |    21904    19303     24 |  0.000 % |
2.86/2.91	c |     32298 |    1343     6058    53912 |    21904    19413     24 |  0.000 % |
2.86/2.93	c |     32419 |    1343     6058    53912 |    21904    19534     24 |  0.000 % |
2.86/2.96	c |     32553 |    1343     6058    53912 |    21904    19668     24 |  0.000 % |
2.86/2.98	c |     32700 |    1343     6058    53912 |    21904    19815     24 |  0.000 % |
2.96/3.01	c |     32860 |    1343     6058    53912 |    21904    19975     24 |  0.000 % |
2.96/3.04	c |     33037 |    1343     6058    53912 |    21904    20152     24 |  0.000 % |
2.96/3.07	c |     33230 |    1343     6058    53912 |    21904    20345     24 |  0.000 % |
3.06/3.11	c |     33443 |    1343     6058    53912 |    21904    20558     24 |  0.000 % |
3.06/3.15	c |     33676 |    1343     6058    53912 |    21904    20791     24 |  0.000 % |
3.06/3.19	c |     33933 |    1343     6058    53912 |    21904    21048     24 |  0.000 % |
3.16/3.24	c |     34214 |    1343     6058    53912 |    21904    21329     24 |  0.000 % |
3.16/3.30	c |     34523 |    1343     6058    53912 |    21904    21638     24 |  0.000 % |
3.26/3.38	c |     34863 |    1343     6058    53912 |    21904    16109     22 |  0.000 % |
3.36/3.43	c |     35235 |    1343     6058    53912 |    21904    16481     22 |  0.000 % |
3.36/3.49	c |     35645 |    1343     6058    53912 |    21904    16891     22 |  0.000 % |
3.46/3.55	c |     36094 |    1343     6058    53912 |    21904    17340     23 |  0.000 % |
3.56/3.62	c |     36587 |    1343     6058    53912 |    21904    17833     23 |  0.000 % |
3.66/3.71	c |     37131 |    1343     6058    53912 |    21904    18377     23 |  0.000 % |
3.66/3.73	c |     37231 |    1343     6058    53912 |    21904    18477     23 |  0.000 % |
3.66/3.74	c |     37341 |    1343     6058    53912 |    21904    18587     23 |  0.000 % |
3.66/3.77	c |     37465 |    1343     6058    53912 |    21904    18711     23 |  0.000 % |
3.66/3.79	c |     37598 |    1343     6058    53912 |    21904    18844     23 |  0.000 % |
3.76/3.82	c |     37744 |    1343     6058    53912 |    21904    18990     23 |  0.000 % |
3.76/3.85	c |     37904 |    1343     6058    53912 |    21904    19150     23 |  0.000 % |
3.76/3.88	c |     38081 |    1343     6058    53912 |    21904    19327     23 |  0.000 % |
3.86/3.91	c |     38276 |    1343     6058    53912 |    21904    19522     23 |  0.000 % |
3.86/3.94	c |     38488 |    1343     6058    53912 |    21904    19734     23 |  0.000 % |
3.86/3.98	c |     38722 |    1343     6058    53912 |    21904    19968     23 |  0.000 % |
3.96/4.02	c |     38978 |    1343     6058    53912 |    21904    20224     24 |  0.000 % |
3.96/4.06	c |     39260 |    1343     6058    53912 |    21904    20506     24 |  0.000 % |
4.06/4.12	c |     39570 |    1343     6058    53912 |    21904    20816     24 |  0.000 % |
4.06/4.17	c |     39911 |    1343     6058    53912 |    21904    21157     24 |  0.000 % |
4.16/4.25	c |     40284 |    1343     6058    53912 |    21247    15734     22 |  0.000 % |
4.16/4.30	c |     40693 |    1343     6058    53912 |    21247    16143     23 |  0.000 % |
4.26/4.37	c |     41142 |    1343     6058    53912 |    21247    16592     23 |  0.000 % |
4.36/4.44	c |     41637 |    1343     6058    53912 |    21247    17087     23 |  0.000 % |
4.46/4.51	c |     42181 |    1343     6058    53912 |    21247    17631     23 |  0.000 % |
4.56/4.62	c |     42777 |    1343     6058    53912 |    21247    18227     23 |  0.000 % |
4.56/4.68	c |     42877 |    1343     6058    53912 |    21247    18327     23 |  0.000 % |
4.56/4.68	c |     42988 |    1343     6058    53912 |    21247    18438     23 |  0.000 % |
4.56/4.68	c |     43113 |    1343     6058    53912 |    21247    18563     23 |  0.000 % |
4.66/4.70	c |     43247 |    1343     6058    53912 |    21247    18697     24 |  0.001 % |
4.66/4.73	c |     43394 |    1343     6058    53912 |    21247    18844     24 |  0.000 % |
4.66/4.75	c |     43555 |    1343     6058    53912 |    21247    19005     24 |  0.000 % |
4.66/4.77	c |     43732 |    1343     6058    53912 |    21247    19182     24 |  0.000 % |
4.76/4.80	c |     43925 |    1343     6058    53912 |    21247    19375     24 |  0.000 % |
4.76/4.82	c |     44137 |    1343     6058    53912 |    21247    19587     24 |  0.000 % |
4.76/4.86	c |     44371 |    1343     6058    53912 |    21247    19821     24 |  0.000 % |
4.86/4.90	c |     44627 |    1343     6058    53912 |    21247    20077     24 |  0.000 % |
4.86/4.95	c |     44908 |    1343     6058    53912 |    21247    20358     24 |  0.000 % |
4.96/5.00	c |     45217 |    1343     6058    53912 |    21247    20667     24 |  0.000 % |
4.96/5.06	c |     45556 |    1343     6058    53912 |    21247    21006     24 |  0.000 % |
5.06/5.14	c |     45929 |    1343     6058    53912 |    21247    15715     22 |  0.000 % |
5.16/5.20	c |     46338 |    1343     6058    53912 |    21247    16124     22 |  0.000 % |
5.16/5.26	c |     46788 |    1343     6058    53912 |    21247    16574     22 |  0.000 % |
5.26/5.33	c |     47282 |    1343     6058    53912 |    21247    17068     23 |  0.000 % |
5.36/5.42	c |     47824 |    1343     6058    53912 |    21247    17610     23 |  0.000 % |
5.46/5.51	c |     48421 |    1343     6058    53912 |    21247    18207     23 |  0.000 % |
5.56/5.61	c |     49078 |    1343     6058    53912 |    21247    18864     23 |  0.000 % |
5.56/5.63	c |     49179 |    1343     6058    53912 |    21247    18965     23 |  0.000 % |
5.56/5.64	c |     49291 |    1343     6058    53912 |    21247    19077     23 |  0.000 % |
5.56/5.66	c |     49412 |    1343     6058    53912 |    21247    19198     24 |  0.000 % |
5.56/5.68	c |     49545 |    1343     6058    53912 |    21247    19331     24 |  0.000 % |
5.66/5.71	c |     49692 |    1343     6058    53912 |    21247    19478     24 |  0.000 % |
5.66/5.74	c |     49852 |    1343     6058    53912 |    21247    19638     24 |  0.000 % |
5.66/5.77	c |     50033 |    1343     6058    53912 |    19787    19819     24 |  0.000 % |
5.76/5.81	c |     50226 |    1343     6058    53912 |    19787    14844     22 |  0.000 % |
5.76/5.84	c |     50438 |    1343     6058    53912 |    19787    15056     22 |  0.000 % |
5.76/5.86	c |     50672 |    1343     6058    53912 |    19787    15290     22 |  0.000 % |
5.76/5.90	c |     50928 |    1343     6058    53912 |    19787    15546     22 |  0.000 % |
5.86/5.93	c |     51210 |    1343     6058    53912 |    19787    15828     22 |  0.000 % |
5.86/5.97	c |     51520 |    1343     6058    53912 |    19787    16138     22 |  0.000 % |
5.96/6.02	c |     51860 |    1343     6058    53912 |    19787    16478     22 |  0.000 % |
5.96/6.07	c |     52233 |    1343     6058    53912 |    19787    16851     22 |  0.000 % |
6.06/6.12	c |     52642 |    1343     6058    53912 |    19787    17260     23 |  0.000 % |
6.06/6.18	c |     53093 |    1343     6058    53912 |    19787    17711     23 |  0.000 % |
6.15/6.25	c |     53586 |    1343     6058    53912 |    19787    18204     23 |  0.000 % |
6.25/6.33	c |     54128 |    1343     6058    53912 |    19787    18746     23 |  0.000 % |
6.35/6.42	c |     54725 |    1343     6058    53912 |    19787    19343     23 |  0.000 % |
6.46/6.52	c |     55380 |    1343     6058    53912 |    19787    15196     23 |  0.000 % |
6.56/6.62	c |     56100 |    1343     6058    53912 |    19787    15916     23 |  0.000 % |
6.56/6.64	c |     56200 |    1343     6058    53912 |    19787    16016     23 |  0.000 % |
6.56/6.65	c |     56312 |    1343     6058    53912 |    19787    16128     23 |  0.000 % |
6.56/6.67	c |     56434 |    1343     6058    53912 |    19787    16250     23 |  0.000 % |
6.56/6.69	c |     56567 |    1343     6058    53912 |    19787    16383     24 |  0.000 % |
6.65/6.71	c |     56716 |    1343     6058    53912 |    19787    16532     24 |  0.000 % |
6.65/6.73	c |     56878 |    1343     6058    53912 |    19787    16694     24 |  0.000 % |
6.65/6.76	c |     57054 |    1343     6058    53912 |    19787    16870     24 |  0.000 % |
6.65/6.79	c |     57248 |    1343     6058    53912 |    19787    17064     24 |  0.000 % |
6.75/6.82	c |     57462 |    1343     6058    53912 |    19787    17278     24 |  0.000 % |
6.75/6.85	c |     57696 |    1343     6058    53912 |    19787    17512     24 |  0.000 % |
6.75/6.88	c |     57957 |    1343     6058    53912 |    19787    17773     24 |  0.000 % |
6.85/6.92	c |     58238 |    1343     6058    53912 |    19787    18054     24 |  0.000 % |
6.85/6.96	c |     58547 |    1343     6058    53912 |    19787    18363     24 |  0.000 % |
6.95/7.01	c |     58886 |    1343     6058    53912 |    19787    18702     24 |  0.000 % |
6.95/7.06	c |     59258 |    1343     6058    53912 |    19787    19074     24 |  0.000 % |
7.05/7.13	c |     59669 |    1343     6058    53912 |    19787    19485     24 |  0.000 % |
7.15/7.23	c |     60119 |    1343     6058    53912 |    19818    15216     23 |  0.000 % |
7.25/7.32	c |     60612 |    1343     6058    53912 |    19818    15709     23 |  0.000 % |
7.25/7.40	c |     61155 |    1343     6058    53912 |    19818    16252     24 |  0.000 % |
7.35/7.49	c |     61751 |    1343     6058    53912 |    19818    16848     24 |  0.000 % |
7.45/7.59	c |     62408 |    1343     6058    53912 |    19818    17505     24 |  0.000 % |
7.55/7.70	c |     63128 |    1343     6058    53912 |    19818    18225     25 |  0.000 % |
7.75/7.81	c |     63920 |    1343     6058    53912 |    19818    19017     25 |  0.000 % |
7.75/7.83	c |     64022 |    1343     6058    53912 |    19818    19119     25 |  0.000 % |
7.75/7.85	c |     64132 |    1343     6058    53912 |    19818    19229     25 |  0.000 % |
7.75/7.87	c |     64253 |    1343     6058    53912 |    19818    19350     25 |  0.000 % |
7.75/7.89	c |     64388 |    1343     6058    53912 |    19818    19485     25 |  0.000 % |
7.85/7.92	c |     64534 |    1343     6058    53912 |    19818    19631     25 |  0.000 % |
7.85/7.94	c |     64694 |    1343     6058    53912 |    19818    19791     25 |  0.000 % |
7.85/7.99	c |     64870 |    1343     6058    53912 |    19818    15302     24 |  0.000 % |
7.95/8.02	c |     65063 |    1343     6058    53912 |    19818    15495     24 |  0.000 % |
7.95/8.04	c |     65275 |    1343     6058    53912 |    19818    15707     24 |  0.000 % |
7.95/8.09	c |     65508 |    1343     6058    53912 |    19818    15940     24 |  0.000 % |
8.05/8.13	c |     65766 |    1343     6058    53912 |    19818    16198     24 |  0.000 % |
8.05/8.16	c |     66050 |    1343     6058    53912 |    19818    16482     24 |  0.000 % |
8.15/8.20	c |     66359 |    1343     6058    53912 |    19818    16791     24 |  0.000 % |
8.15/8.26	c |     66699 |    1343     6058    53912 |    19818    17131     24 |  0.000 % |
8.25/8.31	c |     67071 |    1343     6058    53912 |    19818    17503     24 |  0.000 % |
8.25/8.37	c |     67480 |    1343     6058    53912 |    19818    17912     24 |  0.000 % |
8.35/8.45	c |     67929 |    1343     6058    53912 |    19818    18361     24 |  0.000 % |
8.45/8.53	c |     68422 |    1343     6058    53912 |    19818    18854     25 |  0.000 % |
8.55/8.61	c |     68964 |    1343     6058    53912 |    19818    19396     25 |  0.000 % |
8.65/8.73	c |     69563 |    1343     6058    53912 |    19818    15116     23 |  0.000 % |
8.75/8.83	c |     70219 |    1343     6058    53912 |    15553    11960     21 |  0.000 % |
8.85/8.90	c |     70941 |    1343     6058    53912 |    15553    12682     21 |  0.000 % |
8.95/9.00	c |     71733 |    1343     6058    53912 |    15553    13474     22 |  0.000 % |
9.05/9.10	c |     72607 |    1343     6058    53912 |    15553    14348     22 |  0.000 % |
9.05/9.12	c |     72709 |    1343     6058    53912 |    15553    14450     22 |  0.000 % |
9.05/9.14	c |     72819 |    1343     6058    53912 |    15553    14560     22 |  0.000 % |
9.05/9.15	c |     72944 |    1343     6058    53912 |    15553    14685     22 |  0.000 % |
9.05/9.17	c |     73077 |    1343     6058    53912 |    15553    14818     22 |  0.000 % |
9.05/9.19	c |     73223 |    1343     6058    53912 |    15553    14964     22 |  0.000 % |
9.15/9.21	c |     73384 |    1343     6058    53912 |    15553    15125     22 |  0.000 % |
9.15/9.23	c |     73561 |    1343     6058    53912 |    15553    15302     22 |  0.000 % |
9.15/9.25	c |     73754 |    1343     6058    53912 |    15553    15495     22 |  0.000 % |
9.15/9.29	c |     73966 |    1343     6058    53912 |    15553    12615     21 |  0.000 % |
9.25/9.31	c |     74200 |    1343     6058    53912 |    15553    12849     21 |  0.000 % |
9.25/9.34	c |     74456 |    1343     6058    53912 |    15553    13105     21 |  0.000 % |
9.25/9.37	c |     74737 |    1343     6058    53912 |    15553    13386     21 |  0.000 % |
9.35/9.40	c |     75046 |    1343     6058    53912 |    15553    13695     21 |  0.000 % |
9.35/9.44	c |     75385 |    1343     6058    53912 |    15553    14034     21 |  0.000 % |
9.35/9.48	c |     75759 |    1343     6058    53912 |    15553    14408     22 |  0.000 % |
9.45/9.53	c |     76171 |    1343     6058    53912 |    15553    14820     22 |  0.000 % |
9.45/9.59	c |     76621 |    1343     6058    53912 |    15553    15270     22 |  0.000 % |
9.55/9.65	c |     77115 |    1343     6058    53912 |    15553    12963     21 |  0.000 % |
9.65/9.71	c |     77657 |    1343     6058    53912 |    15553    13505     21 |  0.000 % |
9.65/9.78	c |     78254 |    1343     6058    53912 |    15553    14102     22 |  0.000 % |
9.75/9.86	c |     78909 |    1343     6058    53912 |    15553    14757     22 |  0.000 % |
9.85/9.96	c |     79629 |    1343     6058    53912 |    15553    15477     23 |  0.000 % |
9.95/10.07	c |     80421 |    1343     6058    53912 |    13217    11406     22 |  0.000 % |
10.05/10.18	c |     81292 |    1343     6058    53912 |    13217    12277     23 |  0.000 % |
10.25/10.30	c |     82251 |    1343     6058    53912 |    13217    13236     23 |  0.000 % |
10.25/10.32	c |     82351 |    1343     6058    53912 |    13217    11446     23 |  0.000 % |
10.25/10.33	c |     82461 |    1343     6058    53912 |    13217    11556     23 |  0.000 % |
10.25/10.34	c |     82583 |    1343     6058    53912 |    13217    11678     23 |  0.000 % |
10.25/10.35	c |     82716 |    1343     6058    53912 |    13217    11811     23 |  0.000 % |
10.25/10.37	c |     82865 |    1343     6058    53912 |    13217    11960     24 |  0.000 % |
10.25/10.39	c |     83025 |    1343     6058    53912 |    13217    12120     24 |  0.000 % |
10.34/10.41	c |     83201 |    1343     6058    53912 |    13217    12296     24 |  0.000 % |
10.34/10.44	c |     83398 |    1343     6058    53912 |    13217    12493     24 |  0.000 % |
10.34/10.46	c |     83611 |    1343     6058    53912 |    13217    12706     24 |  0.000 % |
10.34/10.49	c |     83844 |    1343     6058    53912 |    13217    12939     24 |  0.000 % |
10.44/10.52	c |     84100 |    1343     6058    53912 |    13217    13195     24 |  0.000 % |
10.44/10.56	c |     84382 |    1343     6058    53912 |    13217    11648     23 |  0.000 % |
10.44/10.59	c |     84691 |    1343     6058    53912 |    13217    11957     23 |  0.000 % |
10.54/10.63	c |     85030 |    1343     6058    53912 |    13217    12296     23 |  0.000 % |
10.54/10.67	c |     85404 |    1343     6058    53912 |    13217    12670     24 |  0.000 % |
10.64/10.72	c |     85813 |    1343     6058    53912 |    13217    13079     24 |  0.000 % |
10.64/10.78	c |     86263 |    1343     6058    53912 |    13217    11745     23 |  0.000 % |
10.74/10.84	c |     86759 |    1343     6058    53912 |    13217    12241     23 |  0.000 % |
10.85/10.90	c |     87301 |    1343     6058    53912 |    13217    12783     24 |  0.000 % |
10.85/10.98	c |     87897 |    1343     6058    53912 |    13217    11662     23 |  0.000 % |
10.95/11.07	c |     88552 |    1343     6058    53912 |    13217    12317     23 |  0.000 % |
11.05/11.15	c |     89274 |    1343     6058    53912 |    13217    13039     24 |  0.000 % |
11.15/11.24	c |     90066 |    1343     6058    53912 |    12093    12158     23 |  0.000 % |
11.25/11.33	c |     90939 |    1343     6058    53912 |    12093    11561     24 |  0.000 % |
11.35/11.44	c |     91900 |    1343     6058    53912 |    12093    11165     24 |  0.000 % |
11.45/11.57	c |     92954 |    1343     6058    53912 |    12093    10870     24 |  0.000 % |
11.45/11.59	c |     93054 |    1343     6058    53912 |    12093    10970     24 |  0.000 % |
11.45/11.60	c |     93164 |    1343     6058    53912 |    12093    11080     24 |  0.000 % |
11.55/11.61	c |     93287 |    1343     6058    53912 |    12093    11203     24 |  0.000 % |
11.55/11.63	c |     93422 |    1343     6058    53912 |    12093    11338     24 |  0.000 % |
11.55/11.64	c |     93569 |    1343     6058    53912 |    12093    11485     24 |  0.000 % |
11.55/11.66	c |     93732 |    1343     6058    53912 |    12093    11648     24 |  0.000 % |
11.55/11.68	c |     93910 |    1343     6058    53912 |    12093    11826     24 |  0.000 % |
11.65/11.70	c |     94106 |    1343     6058    53912 |    12093    12022     24 |  0.000 % |
11.65/11.73	c |     94318 |    1343     6058    53912 |    12093    10881     24 |  0.000 % |
11.65/11.75	c |     94551 |    1343     6058    53912 |    12093    11114     24 |  0.000 % |
11.65/11.78	c |     94807 |    1343     6058    53912 |    12093    11370     24 |  0.000 % |
11.75/11.81	c |     95089 |    1343     6058    53912 |    12093    11652     24 |  0.000 % |
11.75/11.84	c |     95399 |    1343     6058    53912 |    12093    11962     24 |  0.000 % |
11.75/11.88	c |     95739 |    1343     6058    53912 |    12093    10994     23 |  0.000 % |
11.85/11.92	c |     96111 |    1343     6058    53912 |    12093    11366     23 |  0.000 % |
11.85/11.95	c |     96521 |    1343     6058    53912 |    12093    11776     23 |  0.000 % |
11.96/12.01	c |     96970 |    1343     6058    53912 |    12093    10986     23 |  0.000 % |
11.96/12.07	c |     97466 |    1343     6058    53912 |    12093    11482     23 |  0.000 % |
12.05/12.13	c |     98009 |    1343     6058    53912 |    12093    12025     24 |  0.000 % |
12.05/12.19	c |     98605 |    1343     6058    53912 |    12093    11403     23 |  0.000 % |
12.15/12.24	c |     99260 |    1343     6058    53912 |    12093    12058     23 |  0.000 % |
12.25/12.33	c |     99983 |    1343     6058    53912 |    12093    11565     22 |  0.000 % |
12.35/12.42	c |    100775 |    1343     6058    53912 | 2147483647    12357     23 |  0.000 % |
12.45/12.52	c |    101648 |    1343     6058    53912 | 2147483647    13230     23 |  0.000 % |
12.55/12.62	c |    102606 |    1343     6058    53912 | 2147483647    14188     23 |  0.000 % |
12.65/12.77	c |    103661 |    1343     6058    53912 | 2147483647    15243     23 |  0.000 % |
12.85/12.94	c |    104819 |    1343     6058    53912 | 2147483647    16401     24 |  0.000 % |
12.85/12.96	c |    104919 |    1343     6058    53912 | 2147483647    16501     24 |  0.000 % |
12.85/12.97	c |    105029 |    1343     6058    53912 | 2147483647    16611     24 |  0.000 % |
12.85/12.99	c |    105150 |    1343     6058    53912 | 2147483647    16732     24 |  0.000 % |
12.95/13.02	c |    105285 |    1343     6058    53912 | 2147483647    16867     24 |  0.000 % |
12.95/13.04	c |    105432 |    1343     6058    53912 | 2147483647    17014     25 |  0.000 % |
12.95/13.06	c |    105592 |    1343     6058    53912 | 2147483647    17174     25 |  0.000 % |
12.95/13.09	c |    105768 |    1343     6058    53912 | 2147483647    17350     25 |  0.000 % |
13.05/13.11	c |    105961 |    1343     6058    53912 | 2147483647    17543     25 |  0.000 % |
13.05/13.14	c |    106173 |    1343     6058    53912 | 2147483647    17755     25 |  0.000 % |
13.05/13.18	c |    106406 |    1343     6058    53912 | 2147483647    17988     25 |  0.000 % |
13.15/13.22	c |    106664 |    1343     6058    53912 | 2147483647    18246     25 |  0.000 % |
13.15/13.26	c |    106945 |    1343     6058    53912 | 2147483647    18527     25 |  0.000 % |
13.24/13.31	c |    107254 |    1343     6058    53912 | 2147483647    18836     25 |  0.000 % |
13.24/13.37	c |    107593 |    1343     6058    53912 | 2147483647    19175     25 |  0.000 % |
13.34/13.43	c |    107966 |    1343     6058    53912 | 2147483647    19548     25 |  0.000 % |
13.34/13.48	c |    108375 |    1343     6058    53912 | 2147483647    19957     25 |  0.000 % |
13.44/13.56	c |    108824 |    1343     6058    53912 | 2147483647    20406     26 |  0.000 % |
13.54/13.64	c |    109318 |    1343     6058    53912 | 2147483647    20900     26 |  0.000 % |
13.64/13.73	c |    109860 |    1343     6058    53912 | 2147483647    21442     26 |  0.000 % |
13.74/13.86	c |    110456 |    1343     6058    53912 |    21582    17930     25 |  0.001 % |
13.84/13.96	c |    111112 |    1343     6058    53912 |    21582    18586     25 |  0.000 % |
13.94/14.08	c |    111833 |    1343     6058    53912 |    21582    19307     25 |  0.000 % |
14.15/14.21	c |    112626 |    1343     6058    53912 |    21582    20100     25 |  0.000 % |
14.24/14.38	c |    113499 |    1343     6058    53912 |    21582    20973     25 |  0.000 % |
14.44/14.59	c |    114457 |    1343     6058    53912 |    21582    16721     24 |  0.000 % |
14.74/14.80	c |    115510 |    1343     6058    53912 |    21582    17774     25 |  0.000 % |
14.84/14.98	c |    116668 |    1343     6058    53912 |    21582    18932     25 |  0.000 % |
15.04/15.15	c |    117941 |    1343     6058    53912 |    21582    20205     25 |  0.000 % |
15.04/15.17	c |    118041 |    1343     6058    53912 |    21582    20305     25 |  0.000 % |
15.04/15.19	c |    118151 |    1343     6058    53912 |    21582    20415     25 |  0.000 % |
15.14/15.22	c |    118274 |    1343     6058    53912 |    21582    20538     25 |  0.000 % |
15.14/15.24	c |    118409 |    1343     6058    53912 |    21582    20673     25 |  0.000 % |
15.14/15.27	c |    118555 |    1343     6058    53912 |    21582    20819     25 |  0.000 % |
15.14/15.30	c |    118715 |    1343     6058    53912 |    21582    20979     25 |  0.000 % |
15.24/15.34	c |    118892 |    1343     6058    53912 |    21582    21156     25 |  0.000 % |
15.24/15.38	c |    119085 |    1343     6058    53912 |    21582    21349     25 |  0.000 % |
15.34/15.42	c |    119297 |    1343     6058    53912 |    21582    21561     25 |  0.000 % |
15.34/15.47	c |    119530 |    1343     6058    53912 |    21582    16404     22 |  0.000 % |
15.44/15.50	c |    119786 |    1343     6058    53912 |    21582    16660     22 |  0.000 % |
15.44/15.55	c |    120067 |    1343     6058    53912 |    16875    16941     22 |  0.000 % |
15.44/15.59	c |    120376 |    1343     6058    53912 |    16875    13071     20 |  0.000 % |
15.54/15.63	c |    120715 |    1343     6058    53912 |    16875    13410     20 |  0.000 % |
15.54/15.67	c |    121089 |    1343     6058    53912 |    16875    13784     20 |  0.000 % |
15.64/15.72	c |    121499 |    1343     6058    53912 |    16875    14194     20 |  0.000 % |
15.64/15.77	c |    121948 |    1343     6058    53912 |    16875    14643     20 |  0.000 % |
15.74/15.82	c |    122442 |    1343     6058    53912 |    16875    15137     20 |  0.000 % |
15.74/15.89	c |    122984 |    1343     6058    53912 |    16875    15679     21 |  0.000 % |
15.84/15.96	c |    123580 |    1343     6058    53912 |    16875    16275     21 |  0.000 % |
15.94/16.04	c |    124238 |    1343     6058    53912 |    16875    16933     21 |  0.000 % |
16.04/16.14	c |    124959 |    1343     6058    53912 |    16875    14502     20 |  0.000 % |
16.14/16.23	c |    125752 |    1343     6058    53912 |    16875    15295     21 |  0.000 % |
16.24/16.34	c |    126623 |    1343     6058    53912 |    16875    16166     21 |  0.000 % |
16.34/16.47	c |    127581 |    1343     6058    53912 |    16875    14150     21 |  0.000 % |
16.54/16.61	c |    128634 |    1343     6058    53912 |    16875    15203     21 |  0.000 % |
16.64/16.78	c |    129792 |    1343     6058    53912 |    16875    16361     21 |  0.000 % |
16.84/16.98	c |    131065 |    1343     6058    53912 |    16570    14764     21 |  0.000 % |
17.04/17.16	c |    132465 |    1343     6058    53912 |    16570    16164     22 |  0.000 % |
17.04/17.17	c |    132565 |    1343     6058    53912 |    16570    16264     22 |  0.000 % |
17.04/17.19	c |    132676 |    1343     6058    53912 |    16570    16375     22 |  0.000 % |
17.14/17.20	c |    132797 |    1343     6058    53912 |    16570    16496     22 |  0.000 % |
17.14/17.22	c |    132930 |    1343     6058    53912 |    16570    16629     22 |  0.000 % |
17.14/17.25	c |    133076 |    1343     6058    53912 |    16570    13911     22 |  0.000 % |
17.14/17.27	c |    133236 |    1343     6058    53912 |    16570    14071     22 |  0.000 % |
17.14/17.29	c |    133415 |    1343     6058    53912 |    16570    14250     22 |  0.000 % |
17.23/17.32	c |    133608 |    1343     6058    53912 |    16570    14443     22 |  0.000 % |
17.23/17.34	c |    133820 |    1343     6058    53912 |    16570    14655     22 |  0.000 % |
17.23/17.37	c |    134053 |    1343     6058    53912 |    16570    14888     22 |  0.000 % |
17.33/17.41	c |    134309 |    1343     6058    53912 |    16570    15144     22 |  0.000 % |
17.33/17.45	c |    134591 |    1343     6058    53912 |    16570    15426     22 |  0.000 % |
17.44/17.51	c |    134903 |    1343     6058    53912 |    16570    15738     22 |  0.000 % |
17.44/17.55	c |    135242 |    1343     6058    53912 |    16570    16077     22 |  0.000 % |
17.54/17.61	c |    135614 |    1343     6058    53912 |    16570    16449     22 |  0.000 % |
17.54/17.67	c |    136023 |    1343     6058    53912 |    16570    13976     21 |  0.000 % |
17.63/17.72	c |    136472 |    1343     6058    53912 |    16570    14425     21 |  0.000 % |
17.63/17.77	c |    136966 |    1343     6058    53912 |    16570    14919     22 |  0.000 % |
17.73/17.87	c |    137509 |    1343     6058    53912 |    16570    15462     22 |  0.000 % |
17.83/17.95	c |    138107 |    1343     6058    53912 |    16570    16060     22 |  0.000 % |
17.93/18.05	c |    138762 |    1343     6058    53912 |    16570    13939     22 |  0.000 % |
18.03/18.16	c |    139484 |    1343     6058    53912 |    16570    14661     22 |  0.000 % |
18.13/18.27	c |    140276 |    1343     6058    53912 |    15180    12969     21 |  0.000 % |
18.23/18.40	c |    141148 |    1343     6058    53912 |    15180    13841     22 |  0.000 % |
18.43/18.53	c |    142108 |    1343     6058    53912 |    15180    14801     22 |  0.000 % |
18.63/18.71	c |    143161 |    1343     6058    53912 |    15180    13563     21 |  0.000 % |
18.73/18.87	c |    144320 |    1343     6058    53912 |    15180    14722     21 |  0.000 % |
18.93/19.07	c |    145595 |    1343     6058    53912 |    15180    13747     21 |  0.000 % |
19.13/19.24	c |    146996 |    1343     6058    53912 |    15180    15148     21 |  0.000 % |
19.43/19.50	c |    148536 |    1343     6058    53912 |    15180    14510     20 |  0.000 % |
19.43/19.52	c |    148636 |    1343     6058    53912 |    15180    14610     20 |  0.000 % |
19.43/19.54	c |    148746 |    1343     6058    53912 |    15180    14720     20 |  0.000 % |
19.43/19.56	c |    148867 |    1343     6058    53912 |    15180    14841     20 |  0.000 % |
19.43/19.58	c |    149002 |    1343     6058    53912 |    15180    14976     20 |  0.000 % |
19.53/19.60	c |    149151 |    1343     6058    53912 |    15180    15125     20 |  0.000 % |
19.53/19.62	c |    149311 |    1343     6058    53912 |    15180    15285     20 |  0.000 % |
19.53/19.66	c |    149487 |    1343     6058    53912 |    15180    13177     20 |  0.000 % |
19.53/19.68	c |    149680 |    1343     6058    53912 |    15180    13370     20 |  0.000 % |
19.63/19.71	c |    149895 |    1343     6058    53912 |    15180    13585     20 |  0.000 % |
19.63/19.75	c |    150128 |    1343     6058    53912 |    13695    11835     20 |  0.000 % |
19.63/19.77	c |    150385 |    1343     6058    53912 |    13695    12092     20 |  0.000 % |
19.73/19.80	c |    150670 |    1343     6058    53912 |    13695    12377     20 |  0.000 % |
19.73/19.84	c |    150979 |    1343     6058    53912 |    13695    12686     21 |  0.000 % |
19.73/19.88	c |    151318 |    1343     6058    53912 |    13695    13025     21 |  0.000 % |
19.83/19.93	c |    151691 |    1343     6058    53912 |    13695    13398     21 |  0.000 % |
19.83/19.99	c |    152101 |    1343     6058    53912 |    13695    12036     21 |  0.000 % |
19.93/20.06	c |    152550 |    1343     6058    53912 |    13695    12485     21 |  0.000 % |
20.03/20.13	c |    153045 |    1343     6058    53912 |    13695    12980     21 |  0.000 % |
20.03/20.19	c |    153587 |    1343     6058    53912 |    13695    13522     22 |  0.000 % |
20.13/20.26	c |    154183 |    1343     6058    53912 |    13695    12415     21 |  0.000 % |
20.23/20.33	c |    154839 |    1343     6058    53912 |    13695    13071     22 |  0.000 % |
20.33/20.43	c |    155560 |    1343     6058    53912 |    13695    12178     22 |  0.000 % |
20.43/20.52	c |    156352 |    1343     6058    53912 |    13695    12970     22 |  0.000 % |
20.53/20.64	c |    157223 |    1343     6058    53912 |    13695    12267     23 |  0.000 % |
20.63/20.75	c |    158181 |    1343     6058    53912 |    13695    13225     24 |  0.000 % |
20.73/20.89	c |    159235 |    1343     6058    53912 |    13695    12699     24 |  0.000 % |
20.93/21.02	c |    160394 |    1343     6058    53912 |    13465    12305     23 |  0.000 % |
21.13/21.21	c |    161669 |    1343     6058    53912 |    13465    12022     24 |  0.000 % |
21.23/21.37	c |    163069 |    1343     6058    53912 |    13465    13422     25 |  0.000 % |
21.43/21.55	c |    164610 |    1343     6058    53912 |    13465    13438     24 |  0.000 % |
21.63/21.79	c |    166305 |    1343     6058    53912 |    13465    12175     22 |  0.000 % |
21.73/21.81	c |    166407 |    1343     6058    53912 |    13465    12277     22 |  0.000 % |
21.73/21.83	c |    166517 |    1343     6058    53912 |    13465    12387     22 |  0.000 % |
21.73/21.84	c |    166640 |    1343     6058    53912 |    13465    12510     22 |  0.000 % |
21.73/21.86	c |    166774 |    1343     6058    53912 |    13465    12644     22 |  0.000 % |
21.73/21.88	c |    166922 |    1343     6058    53912 |    13465    12792     22 |  0.000 % |
21.83/21.90	c |    167084 |    1343     6058    53912 |    13465    12954     22 |  0.000 % |
21.83/21.92	c |    167262 |    1343     6058    53912 |    13465    13132     22 |  0.000 % |
21.83/21.95	c |    167455 |    1343     6058    53912 |    13465    13325     23 |  0.000 % |
21.83/21.98	c |    167667 |    1343     6058    53912 |    13465    13537     23 |  0.000 % |
21.93/22.02	c |    167901 |    1343     6058    53912 |    13465    12289     22 |  0.000 % |
21.93/22.05	c |    168157 |    1343     6058    53912 |    13465    12545     22 |  0.000 % |
21.93/22.08	c |    168438 |    1343     6058    53912 |    13465    12826     22 |  0.000 % |
22.03/22.11	c |    168747 |    1343     6058    53912 |    13465    13135     23 |  0.000 % |
22.03/22.15	c |    169086 |    1343     6058    53912 |    13465    13474     23 |  0.000 % |
22.13/22.20	c |    169458 |    1343     6058    53912 |    13465    12412     23 |  0.000 % |
22.13/22.25	c |    169867 |    1343     6058    53912 |    13465    12821     23 |  0.000 % |
22.23/22.31	c |    170316 |    1343     6058    53912 |    12954    11863     22 |  0.000 % |
22.23/22.37	c |    170809 |    1343     6058    53912 |    12954    12356     23 |  0.000 % |
22.32/22.43	c |    171352 |    1343     6058    53912 |    12954    12899     24 |  0.000 % |
22.42/22.51	c |    171949 |    1343     6058    53912 |    12954    12192     23 |  0.000 % |
22.42/22.59	c |    172604 |    1343     6058    53912 |    12954    12847     24 |  0.000 % |
22.52/22.68	c |    173328 |    1343     6058    53912 |    12954    12262     23 |  0.000 % |
22.62/22.79	c |    174120 |    1343     6058    53912 |    12954    11747     24 |  0.000 % |
22.82/22.91	c |    174991 |    1343     6058    53912 |    12954    12618     24 |  0.000 % |
22.93/23.05	c |    175949 |    1343     6058    53912 |    12954    12238     24 |  0.000 % |
23.03/23.17	c |    177002 |    1343     6058    53912 |    12954    11956     24 |  0.000 % |
23.22/23.31	c |    178160 |    1343     6058    53912 |    12954    11812     23 |  0.000 % |
23.32/23.47	c |    179433 |    1343     6058    53912 |    12954    11778     22 |  0.000 % |
23.52/23.64	c |    180835 |    1343     6058    53912 | 2147483647    13180     22 |  0.000 % |
23.72/23.84	c |    182375 |    1343     6058    53912 | 2147483647    14720     22 |  0.000 % |
23.92/24.09	c |    184069 |    1343     6058    53912 | 2147483647    16414     22 |  0.000 % |
24.32/24.43	c |    185933 |    1343     6058    53912 | 2147483647    18278     22 |  0.000 % |
24.32/24.45	c |    186033 |    1343     6058    53912 | 2147483647    18378     22 |  0.000 % |
24.32/24.48	c |    186143 |    1343     6058    53912 | 2147483647    18488     22 |  0.000 % |
24.42/24.50	c |    186264 |    1343     6058    53912 | 2147483647    18609     22 |  0.000 % |
24.42/24.53	c |    186397 |    1343     6058    53912 | 2147483647    18742     23 |  0.000 % |
24.42/24.56	c |    186545 |    1343     6058    53912 | 2147483647    18890     23 |  0.000 % |
24.52/24.60	c |    186707 |    1343     6058    53912 | 2147483647    19052     23 |  0.000 % |
24.52/24.63	c |    186887 |    1343     6058    53912 | 2147483647    19232     23 |  0.000 % |
24.52/24.68	c |    187081 |    1343     6058    53912 | 2147483647    19426     23 |  0.000 % |
24.62/24.72	c |    187293 |    1343     6058    53912 | 2147483647    19638     23 |  0.000 % |
24.62/24.77	c |    187526 |    1343     6058    53912 | 2147483647    19871     23 |  0.000 % |
24.72/24.82	c |    187783 |    1343     6058    53912 | 2147483647    20128     23 |  0.000 % |
24.72/24.87	c |    188064 |    1343     6058    53912 | 2147483647    20409     23 |  0.000 % |
24.82/24.91	c |    188374 |    1343     6058    53912 | 2147483647    20719     23 |  0.000 % |
24.82/24.98	c |    188713 |    1343     6058    53912 | 2147483647    21058     23 |  0.000 % |
24.92/25.05	c |    189085 |    1343     6058    53912 | 2147483647    21430     23 |  0.000 % |
25.02/25.11	c |    189494 |    1343     6058    53912 | 2147483647    21839     23 |  0.000 % |
25.02/25.20	c |    189944 |    1343     6058    53912 | 2147483647    22289     24 |  0.000 % |
25.12/25.30	c |    190437 |    1343     6058    53912 |    22347    18543     22 |  0.000 % |
25.22/25.39	c |    190980 |    1343     6058    53912 |    22347    19086     23 |  0.000 % |
25.42/25.50	c |    191577 |    1343     6058    53912 |    22347    19683     23 |  0.000 % |
25.52/25.64	c |    192232 |    1343     6058    53912 |    22347    20338     23 |  0.000 % |
25.72/25.80	c |    192952 |    1343     6058    53912 |    22347    21058     23 |  0.000 % |
25.82/26.00	c |    193744 |    1343     6058    53912 |    22347    21850     23 |  0.000 % |
26.12/26.21	c |    194616 |    1343     6058    53912 |    22347    17420     22 |  0.000 % |
26.22/26.36	c |    195574 |    1343     6058    53912 |    22347    18378     22 |  0.000 % |
26.42/26.58	c |    196627 |    1343     6058    53912 |    22347    19431     22 |  0.000 % |
26.62/26.78	c |    197785 |    1343     6058    53912 |    22347    20589     23 |  0.000 % |
26.82/26.99	c |    199060 |    1343     6058    53912 |    22347    21864     23 |  0.000 % |
27.12/27.28	c |    200461 |    1343     6058    53912 |    17245    13420     21 |  0.000 % |
27.32/27.49	c |    202001 |    1343     6058    53912 |    17245    14960     23 |  0.000 % |
27.62/27.71	c |    203696 |    1343     6058    53912 |    17245    16655     24 |  0.000 % |
27.82/27.98	c |    205560 |    1343     6058    53912 |    17245    15105     25 |  0.000 % |
28.22/28.33	c |    207609 |    1343     6058    53912 |    17245    17154     24 |  0.000 % |
28.22/28.35	c |    207709 |    1343     6058    53912 |    17245    17254     25 |  0.000 % |
28.22/28.37	c |    207820 |    1343     6058    53912 |    17245    14105     23 |  0.000 % |
28.22/28.39	c |    207942 |    1343     6058    53912 |    17245    14227     23 |  0.000 % |
28.32/28.41	c |    208079 |    1343     6058    53912 |    17245    14364     24 |  0.000 % |
28.32/28.43	c |    208227 |    1343     6058    53912 |    17245    14512     24 |  0.000 % |
28.32/28.46	c |    208390 |    1343     6058    53912 |    17245    14675     24 |  0.000 % |
28.32/28.49	c |    208567 |    1343     6058    53912 |    17245    14852     24 |  0.000 % |
28.43/28.51	c |    208760 |    1343     6058    53912 |    17245    15045     24 |  0.000 % |
28.43/28.55	c |    208973 |    1343     6058    53912 |    17245    15258     24 |  0.000 % |
28.43/28.58	c |    209206 |    1343     6058    53912 |    17245    15491     24 |  0.000 % |
28.53/28.62	c |    209464 |    1343     6058    53912 |    17245    15749     24 |  0.000 % |
28.53/28.66	c |    209745 |    1343     6058    53912 |    17245    16030     24 |  0.000 % |
28.53/28.69	c |    210055 |    1343     6058    53912 |    16286    16340     25 |  0.000 % |
28.62/28.75	c |    210394 |    1343     6058    53912 |    16286    13682     23 |  0.000 % |
28.62/28.79	c |    210766 |    1343     6058    53912 |    16286    14054     23 |  0.000 % |
28.72/28.85	c |    211175 |    1343     6058    53912 |    16286    14463     23 |  0.000 % |
28.82/28.91	c |    211624 |    1343     6058    53912 |    16286    14912     23 |  0.000 % |
28.82/28.99	c |    212119 |    1343     6058    53912 |    16286    15407     24 |  0.000 % |
28.92/29.07	c |    212662 |    1343     6058    53912 |    16286    15950     24 |  0.000 % |
29.02/29.16	c |    213258 |    1343     6058    53912 |    16286    13627     22 |  0.000 % |
29.12/29.24	c |    213913 |    1343     6058    53912 |    16286    14282     22 |  0.000 % |
29.22/29.34	c |    214635 |    1343     6058    53912 |    16286    15004     23 |  0.000 % |
29.32/29.44	c |    215427 |    1343     6058    53912 |    16286    15796     23 |  0.000 % |
29.42/29.59	c |    216300 |    1343     6058    53912 |    16286    13843     23 |  0.000 % |
29.63/29.70	c |    217258 |    1343     6058    53912 |    16286    14801     23 |  0.000 % |
29.72/29.86	c |    218311 |    1343     6058    53912 |    16286    15854     24 |  0.000 % |
29.92/30.04	c |    219470 |    1343     6058    53912 |    16286    14461     24 |  0.000 % |
30.12/30.23	c |    220743 |    1343     6058    53912 |    14993    13482     24 |  0.000 % |
30.32/30.41	c |    222143 |    1343     6058    53912 |    14993    14882     24 |  0.000 % |
30.52/30.62	c |    223684 |    1343     6058    53912 |    14993    14320     25 |  0.000 % |
30.73/30.87	c |    225378 |    1343     6058    53912 |    14993    13820     26 |  0.000 % |
31.12/31.20	c |    227241 |    1343     6058    53912 |    14993    13433     26 |  0.000 % |
31.42/31.57	c |    229290 |    1343     6058    53912 |    14993    13259     26 |  0.000 % |
31.82/31.90	c |    231543 |    1343     6058    53912 |    13970    13508     27 |  0.000 % |
31.82/31.92	c |    231643 |    1343     6058    53912 |    13970    13608     27 |  0.000 % |
31.82/31.94	c |    231754 |    1343     6058    53912 |    13970    13719     27 |  0.000 % |
31.82/31.96	c |    231875 |    1343     6058    53912 |    13970    13840     27 |  0.000 % |
31.82/31.98	c |    232008 |    1343     6058    53912 |    13970    13973     27 |  0.000 % |
31.92/32.00	c |    232155 |    1343     6058    53912 |    13970    12324     26 |  0.000 % |
31.92/32.02	c |    232315 |    1343     6058    53912 |    13970    12484     26 |  0.000 % |
31.92/32.04	c |    232491 |    1343     6058    53912 |    13970    12660     26 |  0.000 % |
31.92/32.07	c |    232684 |    1343     6058    53912 |    13970    12853     26 |  0.000 % |
31.92/32.09	c |    232896 |    1343     6058    53912 |    13970    13065     26 |  0.000 % |
32.02/32.12	c |    233129 |    1343     6058    53912 |    13970    13298     26 |  0.000 % |
32.02/32.16	c |    233385 |    1343     6058    53912 |    13970    13554     26 |  0.000 % |
32.02/32.19	c |    233666 |    1343     6058    53912 |    13970    13835     26 |  0.000 % |
32.12/32.24	c |    233977 |    1343     6058    53912 |    13970    12270     25 |  0.000 % |
32.12/32.27	c |    234317 |    1343     6058    53912 |    13970    12610     25 |  0.000 % |
32.22/32.32	c |    234690 |    1343     6058    53912 |    13970    12983     25 |  0.000 % |
32.22/32.37	c |    235099 |    1343     6058    53912 |    13970    13392     26 |  0.000 % |
32.32/32.43	c |    235549 |    1343     6058    53912 |    13970    13842     26 |  0.000 % |
32.32/32.49	c |    236042 |    1343     6058    53912 |    13970    12453     25 |  0.000 % |
32.42/32.55	c |    236584 |    1343     6058    53912 |    13970    12995     25 |  0.000 % |
32.52/32.62	c |    237180 |    1343     6058    53912 |    13970    13591     25 |  0.000 % |
32.62/32.71	c |    237836 |    1343     6058    53912 |    13970    12421     25 |  0.000 % |
32.72/32.81	c |    238556 |    1343     6058    53912 |    13970    13141     25 |  0.000 % |
32.82/32.92	c |    239348 |    1343     6058    53912 |    13970    13933     26 |  0.000 % |
32.92/33.05	c |    240219 |    1343     6058    53912 |    12750    11316     25 |  0.000 % |
33.02/33.17	c |    241177 |    1343     6058    53912 |    12750    12274     26 |  0.000 % |
33.22/33.31	c |    242230 |    1343     6058    53912 |    12750    11954     25 |  0.000 % |
33.32/33.45	c |    243388 |    1343     6058    53912 |    12750    11831     25 |  0.000 % |
33.42/33.59	c |    244661 |    1343     6058    53912 |    12750    11820     25 |  0.000 % |
33.72/33.81	c |    246061 |    1343     6058    53912 |    12750    11936     25 |  0.000 % |
33.82/34.00	c |    247603 |    1343     6058    53912 |    12750    12192     25 |  0.000 % |
34.12/34.21	c |    249297 |    1343     6058    53912 |    12750    12605     25 |  0.000 % |
34.32/34.44	c |    251160 |    1343     6058    53912 | 2147483647    13187     24 |  0.000 % |
34.62/34.71	c |    253210 |    1343     6058    53912 | 2147483647    15237     24 |  0.000 % |
34.92/35.10	c |    255463 |    1343     6058    53912 | 2147483647    17490     24 |  0.000 % |
35.42/35.56	c |    257941 |    1343     6058    53912 | 2147483647    19968     24 |  0.000 % |
35.42/35.58	c |    258041 |    1343     6058    53912 | 2147483647    20068     24 |  0.000 % |
35.52/35.60	c |    258151 |    1343     6058    53912 | 2147483647    20178     24 |  0.000 % |
35.52/35.62	c |    258272 |    1343     6058    53912 | 2147483647    20299     24 |  0.000 % |
35.52/35.64	c |    258405 |    1343     6058    53912 | 2147483647    20432     24 |  0.000 % |
35.52/35.66	c |    258553 |    1343     6058    53912 | 2147483647    20580     24 |  0.000 % |
35.52/35.69	c |    258713 |    1343     6058    53912 | 2147483647    20740     24 |  0.000 % |
35.62/35.72	c |    258889 |    1343     6058    53912 | 2147483647    20916     24 |  0.000 % |
35.62/35.75	c |    259082 |    1343     6058    53912 | 2147483647    21109     24 |  0.000 % |
35.62/35.77	c |    259294 |    1343     6058    53912 | 2147483647    21321     24 |  0.000 % |
35.72/35.81	c |    259527 |    1343     6058    53912 | 2147483647    21554     24 |  0.000 % |
35.72/35.84	c |    259785 |    1343     6058    53912 | 2147483647    21812     24 |  0.000 % |
35.72/35.89	c |    260066 |    1343     6058    53912 |    22028    22093     24 |  0.000 % |
35.82/35.95	c |    260375 |    1343     6058    53912 |    22028    18252     22 |  0.000 % |
35.82/35.99	c |    260716 |    1343     6058    53912 |    22028    18593     22 |  0.000 % |
35.92/36.03	c |    261088 |    1343     6058    53912 |    22028    18965     22 |  0.000 % |
35.92/36.07	c |    261497 |    1343     6058    53912 |    22028    19374     22 |  0.000 % |
36.02/36.15	c |    261946 |    1343     6058    53912 |    22028    19823     23 |  0.000 % |
36.12/36.25	c |    262440 |    1343     6058    53912 |    22028    20317     23 |  0.000 % |
36.22/36.34	c |    262983 |    1343     6058    53912 |    22028    20860     23 |  0.000 % |
36.32/36.43	c |    263580 |    1343     6058    53912 |    22028    21457     23 |  0.000 % |
36.42/36.53	c |    264235 |    1343     6058    53912 |    22028    22112     24 |  0.000 % |
36.52/36.69	c |    264956 |    1343     6058    53912 |    22028    18152     22 |  0.000 % |
36.72/36.82	c |    265750 |    1343     6058    53912 |    22028    18946     23 |  0.000 % |
36.82/36.96	c |    266621 |    1343     6058    53912 |    22028    19817     24 |  0.000 % |
37.02/37.16	c |    267581 |    1343     6058    53912 |    22028    20777     24 |  0.000 % |
37.22/37.36	c |    268634 |    1343     6058    53912 |    22028    21830     24 |  0.000 % |
37.41/37.58	c |    269792 |    1343     6058    53912 |    22028    18000     23 |  0.000 % |
37.61/37.78	c |    271065 |    1343     6058    53912 |    18208    15147     23 |  0.000 % |
37.81/37.98	c |    272466 |    1343     6058    53912 |    18208    16548     24 |  0.000 % |
38.11/38.27	c |    274006 |    1343     6058    53912 |    18208    18088     25 |  0.000 % |
38.42/38.55	c |    275702 |    1343     6058    53912 |    18208    15677     23 |  0.000 % |
38.71/38.81	c |    277565 |    1343     6058    53912 |    18208    17540     23 |  0.000 % |
39.01/39.19	c |    279614 |    1343     6058    53912 |    18208    15666     22 |  0.000 % |
39.42/39.54	c |    281868 |    1343     6058    53912 |    16052    14544     21 |  0.000 % |
39.81/39.91	c |    284347 |    1343     6058    53912 |    16052    14139     20 |  0.000 % |
40.21/40.38	c |    287073 |    1343     6058    53912 |    16052    13986     19 |  0.000 % |
40.31/40.40	c |    287173 |    1343     6058    53912 |    16052    14086     19 |  0.000 % |
40.31/40.42	c |    287284 |    1343     6058    53912 |    16052    14197     19 |  0.000 % |
40.31/40.43	c |    287405 |    1343     6058    53912 |    16052    14318     19 |  0.000 % |
40.31/40.45	c |    287539 |    1343     6058    53912 |    16052    14452     19 |  0.000 % |
40.31/40.47	c |    287685 |    1343     6058    53912 |    16052    14598     19 |  0.000 % |
40.41/40.50	c |    287847 |    1343     6058    53912 |    16052    14760     20 |  0.000 % |
40.41/40.53	c |    288025 |    1343     6058    53912 |    16052    14938     20 |  0.000 % |
40.41/40.55	c |    288220 |    1343     6058    53912 |    16052    15133     20 |  0.000 % |
40.41/40.58	c |    288434 |    1343     6058    53912 |    16052    15347     20 |  0.000 % |
40.51/40.61	c |    288670 |    1343     6058    53912 |    16052    15583     20 |  0.000 % |
40.51/40.65	c |    288926 |    1343     6058    53912 |    16052    15839     21 |  0.000 % |
40.51/40.68	c |    289207 |    1343     6058    53912 |    16052    16120     21 |  0.000 % |
40.61/40.75	c |    289516 |    1343     6058    53912 |    16052    13570     21 |  0.000 % |
40.71/40.80	c |    289855 |    1343     6058    53912 |    16052    13909     21 |  0.000 % |
40.71/40.85	c |    290227 |    1343     6058    53912 |    14054    11808     21 |  0.000 % |
40.81/40.90	c |    290639 |    1343     6058    53912 |    14054    12220     21 |  0.000 % |
40.81/40.94	c |    291088 |    1343     6058    53912 |    14054    12669     22 |  0.000 % |
40.91/41.00	c |    291582 |    1343     6058    53912 |    14054    13163     22 |  0.000 % |
40.91/41.05	c |    292126 |    1343     6058    53912 |    14054    13707     23 |  0.000 % |
41.01/41.15	c |    292723 |    1343     6058    53912 |    14054    12314     23 |  0.000 % |
41.11/41.22	c |    293379 |    1343     6058    53912 |    14054    12970     24 |  0.000 % |
41.21/41.34	c |    294099 |    1343     6058    53912 |    14054    13690     25 |  0.000 % |
41.31/41.45	c |    294892 |    1343     6058    53912 |    14054    12510     25 |  0.000 % |
41.41/41.58	c |    295765 |    1343     6058    53912 |    14054    13383     26 |  0.000 % |
41.61/41.70	c |    296723 |    1343     6058    53912 |    14054    12378     27 |  0.000 % |
41.71/41.87	c |    297776 |    1343     6058    53912 |    14054    13431     28 |  0.000 % |
41.91/42.06	c |    298934 |    1343     6058    53912 |    14054    12557     27 |  0.000 % |
42.11/42.27	c |    300207 |    1343     6058    53912 |    13626    11840     27 |  0.000 % |
42.31/42.49	c |    301607 |    1343     6058    53912 |    13626    13240     28 |  0.000 % |
42.61/42.75	c |    303149 |    1343     6058    53912 |    13626    12733     28 |  0.000 % |
42.91/43.02	c |    304843 |    1343     6058    53912 |    13626    12435     29 |  0.000 % |
43.11/43.26	c |    306711 |    1343     6058    53912 |    13626    12386     30 |  0.000 % |
43.41/43.52	c |    308760 |    1343     6058    53912 |    13626    12630     31 |  0.000 % |
43.71/43.88	c |    311013 |    1343     6058    53912 |    12048    11425     30 |  0.000 % |
44.11/44.20	c |    313491 |    1343     6058    53912 |    12048    10779     29 |  0.000 % |
44.51/44.62	c |    316218 |    1343     6058    53912 |    12048    11986     30 |  0.000 % |
44.91/45.03	c |    319215 |    1343     6058    53912 |    12048    11888     30 |  0.000 % |
44.91/45.04	c |    319315 |    1343     6058    53912 |    12048    11988     30 |  0.000 % |
44.91/45.06	c |    319426 |    1343     6058    53912 |    12048    12099     30 |  0.000 % |
44.91/45.08	c |    319547 |    1343     6058    53912 |    12048    10673     29 |  0.000 % |
44.91/45.09	c |    319681 |    1343     6058    53912 |    12048    10807     29 |  0.000 % |
45.01/45.11	c |    319829 |    1343     6058    53912 |    12048    10955     29 |  0.000 % |
45.01/45.13	c |    319990 |    1343     6058    53912 |    12048    11116     29 |  0.000 % |
45.01/45.16	c |    320167 |    1343     6058    53912 |    11127     9883     28 |  0.000 % |
45.01/45.19	c |    320360 |    1343     6058    53912 |    11127    10076     28 |  0.000 % |
45.11/45.21	c |    320573 |    1343     6058    53912 |    11127    10289     28 |  0.000 % |
45.11/45.24	c |    320810 |    1343     6058    53912 |    11127    10526     28 |  0.000 % |
45.11/45.27	c |    321066 |    1343     6058    53912 |    11127    10782     28 |  0.000 % |
45.21/45.30	c |    321348 |    1343     6058    53912 |    11127    11064     28 |  0.000 % |
45.21/45.35	c |    321657 |    1343     6058    53912 |    11127    10135     27 |  0.000 % |
45.21/45.39	c |    321996 |    1343     6058    53912 |    11127    10474     28 |  0.000 % |
45.30/45.45	c |    322368 |    1343     6058    53912 |    11127    10846     28 |  0.000 % |
45.40/45.51	c |    322778 |    1343     6058    53912 |    11127    10069     27 |  0.000 % |
45.40/45.56	c |    323227 |    1343     6058    53912 |    11127    10518     27 |  0.000 % |
45.50/45.62	c |    323721 |    1343     6058    53912 |    11127    11012     27 |  0.000 % |
45.50/45.69	c |    324265 |    1343     6058    53912 |    11127    10432     27 |  0.000 % |
45.60/45.77	c |    324862 |    1343     6058    53912 |    11127    11029     27 |  0.000 % |
45.70/45.87	c |    325522 |    1343     6058    53912 |    11127    10569     27 |  0.000 % |
45.80/45.95	c |    326243 |    1343     6058    53912 |    11127    10165     26 |  0.000 % |
45.90/46.04	c |    327035 |    1343     6058    53912 |    11127    10957     27 |  0.000 % |
46.01/46.14	c |    327906 |    1343     6058    53912 |    11127    10704     28 |  0.000 % |
46.11/46.27	c |    328865 |    1343     6058    53912 |    11127    10542     29 |  0.000 % |
46.30/46.40	c |    329918 |    1343     6058    53912 |    11127    10473     29 |  0.000 % |
46.40/46.54	c |    331077 |    1343     6058    53912 | 2147483647    11632     30 |  0.000 % |
46.60/46.71	c |    332350 |    1343     6058    53912 | 2147483647    12905     30 |  0.000 % |
46.70/46.89	c |    333752 |    1343     6058    53912 | 2147483647    14307     29 |  0.000 % |
47.00/47.13	c |    335293 |    1343     6058    53912 | 2147483647    15848     29 |  0.000 % |
47.30/47.44	c |    336987 |    1343     6058    53912 | 2147483647    17542     29 |  0.000 % |
47.70/47.81	c |    338851 |    1343     6058    53912 | 2147483647    19406     29 |  0.000 % |
48.21/48.30	c |    340902 |    1343     6058    53912 |    20555    17407     27 |  0.000 % |
48.60/48.75	c |    343155 |    1343     6058    53912 |    20555    19660     27 |  0.000 % |
49.20/49.31	c |    345633 |    1343     6058    53912 |    20555    17101     24 |  0.000 % |
49.60/49.76	c |    348361 |    1343     6058    53912 |    20555    19829     25 |  0.000 % |
50.20/50.30	c |    351358 |    1343     6058    53912 |    16250    13532     25 |  0.000 % |
50.80/50.90	c |    354658 |    1343     6058    53912 |    16250    13428     27 |  0.000 % |
50.80/50.91	c |    354759 |    1343     6058    53912 |    16250    13529     27 |  0.000 % |
50.80/50.93	c |    354869 |    1343     6058    53912 |    16250    13639     27 |  0.000 % |
50.80/50.95	c |    354990 |    1343     6058    53912 |    16250    13760     27 |  0.000 % |
50.80/50.96	c |    355123 |    1343     6058    53912 |    16250    13893     27 |  0.000 % |
50.80/50.98	c |    355269 |    1343     6058    53912 |    16250    14039     27 |  0.000 % |
50.90/51.00	c |    355430 |    1343     6058    53912 |    16250    14200     27 |  0.000 % |
50.90/51.04	c |    355606 |    1343     6058    53912 |    16250    14376     27 |  0.000 % |
50.90/51.06	c |    355799 |    1343     6058    53912 |    16250    14569     27 |  0.000 % |
50.90/51.10	c |    356011 |    1343     6058    53912 |    16250    14781     27 |  0.000 % |
51.01/51.13	c |    356244 |    1343     6058    53912 |    16250    15014     27 |  0.000 % |
51.01/51.16	c |    356501 |    1343     6058    53912 |    16250    15271     27 |  0.000 % |
51.11/51.20	c |    356782 |    1343     6058    53912 |    16250    15552     27 |  0.000 % |
51.11/51.24	c |    357091 |    1343     6058    53912 |    16250    15861     27 |  0.000 % |
51.11/51.29	c |    357432 |    1343     6058    53912 |    16250    16202     27 |  0.000 % |
51.21/51.35	c |    357804 |    1343     6058    53912 |    16250    13231     26 |  0.000 % |
51.31/51.40	c |    358213 |    1343     6058    53912 |    16250    13640     26 |  0.000 % |
51.31/51.47	c |    358662 |    1343     6058    53912 |    16250    14089     26 |  0.000 % |
51.41/51.54	c |    359156 |    1343     6058    53912 |    16250    14583     26 |  0.000 % |
51.51/51.63	c |    359700 |    1343     6058    53912 |    16250    15127     27 |  0.000 % |
51.61/51.73	c |    360296 |    1343     6058    53912 |    15427    12733     25 |  0.000 % |
51.71/51.80	c |    360953 |    1343     6058    53912 |    15427    13390     25 |  0.000 % |
51.81/51.91	c |    361673 |    1343     6058    53912 |    15427    14110     26 |  0.000 % |
51.91/52.01	c |    362465 |    1343     6058    53912 |    15427    14902     26 |  0.000 % |
52.01/52.15	c |    363337 |    1343     6058    53912 |    15427    13103     25 |  0.000 % |
52.11/52.26	c |    364297 |    1343     6058    53912 |    15427    14063     25 |  0.000 % |
52.31/52.45	c |    365350 |    1343     6058    53912 |    15427    15116     26 |  0.000 % |
52.51/52.61	c |    366508 |    1343     6058    53912 |    15427    13552     26 |  0.000 % |
52.61/52.79	c |    367783 |    1343     6058    53912 |    15427    14827     27 |  0.000 % |
52.80/52.98	c |    369183 |    1343     6058    53912 |    15427    13551     26 |  0.000 % |
53.00/53.20	c |    370725 |    1343     6058    53912 |    14368    12647     25 |  0.000 % |
53.30/53.46	c |    372419 |    1343     6058    53912 |    14368    14341     26 |  0.000 % |
53.60/53.70	c |    374282 |    1343     6058    53912 |    14368    13907     25 |  0.000 % |
53.90/54.02	c |    376336 |    1343     6058    53912 |    14368    13717     25 |  0.000 % |
54.20/54.33	c |    378589 |    1343     6058    53912 |    14368    13770     24 |  0.000 % |
54.50/54.64	c |    381067 |    1343     6058    53912 |    13083    12303     25 |  0.000 % |
54.81/54.96	c |    383793 |    1343     6058    53912 |    13083    12010     24 |  0.000 % |
55.20/55.35	c |    386791 |    1343     6058    53912 |    13083    12341     23 |  0.000 % |
55.60/55.75	c |    390087 |    1343     6058    53912 | 2147483647    13006     22 |  0.000 % |
56.20/56.30	c |    393714 |    1343     6058    53912 | 2147483647    16633     23 |  0.000 % |
56.20/56.32	c |    393817 |    1343     6058    53912 | 2147483647    16736     23 |  0.000 % |
56.20/56.34	c |    393930 |    1343     6058    53912 | 2147483647    16849     23 |  0.000 % |
56.20/56.36	c |    394051 |    1343     6058    53912 | 2147483647    16970     23 |  0.000 % |
56.20/56.39	c |    394186 |    1343     6058    53912 | 2147483647    17105     23 |  0.000 % |
56.30/56.42	c |    394332 |    1343     6058    53912 | 2147483647    17251     23 |  0.000 % |
56.30/56.44	c |    394492 |    1343     6058    53912 | 2147483647    17411     23 |  0.000 % |
56.30/56.49	c |    394668 |    1343     6058    53912 | 2147483647    17587     23 |  0.000 % |
56.40/56.52	c |    394864 |    1343     6058    53912 | 2147483647    17783     23 |  0.000 % |
56.40/56.56	c |    395076 |    1343     6058    53912 | 2147483647    17995     23 |  0.000 % |
56.40/56.60	c |    395310 |    1343     6058    53912 | 2147483647    18229     23 |  0.000 % |
56.50/56.64	c |    395570 |    1343     6058    53912 | 2147483647    18489     23 |  0.000 % |
56.50/56.68	c |    395851 |    1343     6058    53912 | 2147483647    18770     23 |  0.000 % |
56.60/56.74	c |    396160 |    1343     6058    53912 | 2147483647    19079     23 |  0.000 % |
56.70/56.80	c |    396500 |    1343     6058    53912 | 2147483647    19419     23 |  0.000 % |
56.70/56.87	c |    396872 |    1343     6058    53912 | 2147483647    19791     23 |  0.000 % |
56.80/56.93	c |    397281 |    1343     6058    53912 | 2147483647    20200     23 |  0.000 % |
56.80/56.99	c |    397730 |    1343     6058    53912 | 2147483647    20649     24 |  0.000 % |
56.90/57.09	c |    398223 |    1343     6058    53912 | 2147483647    21142     24 |  0.000 % |
57.00/57.18	c |    398769 |    1343     6058    53912 | 2147483647    21688     24 |  0.000 % |
57.10/57.29	c |    399367 |    1343     6058    53912 | 2147483647    22286     24 |  0.000 % |
57.30/57.43	c |    400023 |    1343     6058    53912 |    22919    22942     25 |  0.000 % |
57.40/57.57	c |    400744 |    1343     6058    53912 |    22919    19079     24 |  0.000 % |
57.60/57.73	c |    401536 |    1343     6058    53912 |    22919    19871     25 |  0.000 % |
57.80/57.93	c |    402408 |    1343     6058    53912 |    22919    20743     24 |  0.000 % |
58.00/58.11	c |    403368 |    1343     6058    53912 |    22919    21703     24 |  0.001 % |
58.20/58.39	c |    404422 |    1343     6058    53912 |    22919    22757     24 |  0.000 % |
58.50/58.66	c |    405582 |    1343     6058    53912 |    22919    18244     23 |  0.000 % |
58.70/58.88	c |    406857 |    1343     6058    53912 |    22919    19519     24 |  0.001 % |
59.10/59.20	c |    408258 |    1343     6058    53912 |    22919    20920     24 |  0.000 % |
59.40/59.53	c |    409801 |    1343     6058    53912 |    22919    22463     25 |  0.000 % |
59.70/59.88	c |    411500 |    1343     6058    53912 |    22662    18402     24 |  0.000 % |
60.00/60.18	c |    413364 |    1343     6058    53912 |    22662    20266     24 |  0.001 % |
60.50/60.60	c |    415414 |    1343     6058    53912 |    22662    22316     25 |  0.000 % |
61.00/61.11	c |    417667 |    1343     6058    53912 |    22662    18680     25 |  0.000 % |
61.50/61.65	c |    420145 |    1343     6058    53912 |    21013    15821     25 |  0.000 % |
62.10/62.21	c |    422871 |    1343     6058    53912 |    21013    18547     26 |  0.000 % |
62.80/62.98	c |    425870 |    1343     6058    53912 |    21013    16116     25 |  0.000 % |
63.70/63.82	c |    429166 |    1343     6058    53912 |    21013    19412     26 |  0.000 % |
64.60/64.71	c |    432792 |    1343     6058    53912 |    20248    17773     25 |  0.000 % |
65.30/65.47	c |    436779 |    1343     6058    53912 |    20248    16419     24 |  0.000 % |
65.30/65.49	c |    436879 |    1343     6058    53912 |    20248    16519     24 |  0.000 % |
65.40/65.52	c |    436990 |    1343     6058    53912 |    20248    16630     24 |  0.000 % |
65.40/65.54	c |    437111 |    1343     6058    53912 |    20248    16751     24 |  0.000 % |
65.40/65.57	c |    437244 |    1343     6058    53912 |    20248    16884     24 |  0.000 % |
65.40/65.60	c |    437392 |    1343     6058    53912 |    20248    17032     24 |  0.000 % |
65.49/65.62	c |    437554 |    1343     6058    53912 |    20248    17194     24 |  0.000 % |
65.49/65.64	c |    437730 |    1343     6058    53912 |    20248    17370     24 |  0.000 % |
65.49/65.68	c |    437924 |    1343     6058    53912 |    20248    17564     24 |  0.000 % |
65.59/65.71	c |    438139 |    1343     6058    53912 |    20248    17779     24 |  0.000 % |
65.59/65.74	c |    438373 |    1343     6058    53912 |    20248    18013     24 |  0.000 % |
65.59/65.79	c |    438629 |    1343     6058    53912 |    20248    18269     24 |  0.000 % |
65.69/65.84	c |    438910 |    1343     6058    53912 |    20248    18550     24 |  0.000 % |
65.69/65.88	c |    439219 |    1343     6058    53912 |    20248    18859     24 |  0.000 % |
65.80/65.92	c |    439558 |    1343     6058    53912 |    20248    19198     24 |  0.000 % |
65.80/65.98	c |    439930 |    1343     6058    53912 |    20248    19570     24 |  0.000 % |
65.90/66.08	c |    440340 |    1343     6058    53912 |    19640    14998     23 |  0.000 % |
65.99/66.14	c |    440791 |    1343     6058    53912 |    19640    15449     23 |  0.000 % |
66.09/66.21	c |    441286 |    1343     6058    53912 |    19640    15944     23 |  0.000 % |
66.09/66.28	c |    441830 |    1343     6058    53912 |    19640    16488     24 |  0.000 % |
66.19/66.37	c |    442426 |    1343     6058    53912 |    19640    17084     24 |  0.000 % |
66.29/66.48	c |    443081 |    1343     6058    53912 |    19640    17739     24 |  0.000 % |
66.39/66.58	c |    443802 |    1343     6058    53912 |    19640    18460     25 |  0.000 % |
66.59/66.70	c |    444594 |    1343     6058    53912 |    19640    19252     25 |  0.000 % |
66.69/66.87	c |    445466 |    1343     6058    53912 |    19640    15738     24 |  0.000 % |
66.89/67.00	c |    446424 |    1343     6058    53912 |    19640    16696     24 |  0.000 % |
66.99/67.17	c |    447477 |    1343     6058    53912 |    19640    17749     24 |  0.000 % |
67.19/67.38	c |    448635 |    1343     6058    53912 |    19640    18907     24 |  0.000 % |
67.49/67.61	c |    449908 |    1343     6058    53912 |    19640    16069     24 |  0.000 % |
67.69/67.82	c |    451309 |    1343     6058    53912 |    16161    14121     23 |  0.000 % |
67.89/68.07	c |    452851 |    1343     6058    53912 |    16161    15663     23 |  0.000 % |
68.19/68.36	c |    454547 |    1343     6058    53912 |    16161    14253     22 |  0.000 % |
68.49/68.61	c |    456410 |    1343     6058    53912 |    16161    16116     23 |  0.000 % |
68.69/68.89	c |    458459 |    1343     6058    53912 |    16161    15150     23 |  0.000 % |
69.09/69.25	c |    460712 |    1343     6058    53912 |    13768    12028     23 |  0.000 % |
69.39/69.58	c |    463191 |    1343     6058    53912 |    13768    12373     25 |  0.001 % |
69.79/69.96	c |    465917 |    1343     6058    53912 |    13768    13063     25 |  0.000 % |
70.29/70.47	c |    468915 |    1343     6058    53912 |    13768    11962     24 |  0.000 % |
70.69/70.86	c |    472211 |    1343     6058    53912 |    13047    11842     23 |  0.000 % |
71.19/71.32	c |    475837 |    1343     6058    53912 |    13047    12733     25 |  0.000 % |
71.79/72.00	c |    479826 |    1343     6058    53912 |    13047    12788     28 |  0.000 % |
72.59/72.77	c |    484211 |    1343     6058    53912 | 2147483647    17173     30 |  0.000 % |
72.59/72.79	c |    484311 |    1343     6058    53912 | 2147483647    17273     30 |  0.000 % |
72.68/72.82	c |    484422 |    1343     6058    53912 | 2147483647    17384     30 |  0.000 % |
72.68/72.85	c |    484544 |    1343     6058    53912 | 2147483647    17506     30 |  0.000 % |
72.68/72.88	c |    484679 |    1343     6058    53912 | 2147483647    17641     30 |  0.000 % |
72.78/72.91	c |    484826 |    1343     6058    53912 | 2147483647    17788     30 |  0.000 % |
72.78/72.94	c |    484986 |    1343     6058    53912 | 2147483647    17948     30 |  0.000 % |
72.78/72.97	c |    485162 |    1343     6058    53912 | 2147483647    18124     30 |  0.000 % |
72.88/73.00	c |    485356 |    1343     6058    53912 | 2147483647    18318     30 |  0.000 % |
72.88/73.05	c |    485568 |    1343     6058    53912 | 2147483647    18530     30 |  0.000 % |
72.88/73.09	c |    485801 |    1343     6058    53912 | 2147483647    18763     30 |  0.000 % |
72.98/73.14	c |    486057 |    1343     6058    53912 | 2147483647    19019     30 |  0.000 % |
72.98/73.19	c |    486340 |    1343     6058    53912 | 2147483647    19302     30 |  0.000 % |
73.08/73.25	c |    486649 |    1343     6058    53912 | 2147483647    19611     30 |  0.000 % |
73.18/73.31	c |    486989 |    1343     6058    53912 | 2147483647    19951     31 |  0.000 % |
73.18/73.38	c |    487363 |    1343     6058    53912 | 2147483647    20325     31 |  0.000 % |
73.28/73.47	c |    487776 |    1343     6058    53912 | 2147483647    20738     31 |  0.000 % |
73.48/73.60	c |    488227 |    1343     6058    53912 | 2147483647    21189     31 |  0.000 % |
73.48/73.69	c |    488720 |    1343     6058    53912 | 2147483647    21682     31 |  0.000 % |
73.68/73.83	c |    489264 |    1343     6058    53912 | 2147483647    22226     31 |  0.000 % |
73.78/73.98	c |    489861 |    1343     6058    53912 | 2147483647    22823     31 |  0.000 % |
74.08/74.20	c |    490517 |    1343     6058    53912 |    22964    18812     31 |  0.000 % |
74.18/74.33	c |    491239 |    1343     6058    53912 |    22964    19534     31 |  0.000 % |
74.38/74.51	c |    492032 |    1343     6058    53912 |    22964    20327     31 |  0.000 % |
74.48/74.68	c |    492904 |    1343     6058    53912 |    22964    21199     31 |  0.000 % |
74.68/74.89	c |    493862 |    1343     6058    53912 |    22964    22157     31 |  0.000 % |
74.98/75.15	c |    494915 |    1343     6058    53912 |    22964    17307     27 |  0.000 % |
75.18/75.38	c |    496074 |    1343     6058    53912 |    22964    18466     27 |  0.000 % |
75.48/75.67	c |    497347 |    1343     6058    53912 |    22964    19739     28 |  0.001 % |
75.78/75.97	c |    498747 |    1343     6058    53912 |    22964    21139     29 |  0.000 % |
76.18/76.32	c |    500288 |    1343     6058    53912 |    22393    16792     26 |  0.000 % |
76.48/76.61	c |    501982 |    1343     6058    53912 |    22393    18486     26 |  0.000 % |
76.78/76.99	c |    503848 |    1343     6058    53912 |    22393    20352     26 |  0.000 % |
77.28/77.40	c |    505897 |    1343     6058    53912 |    22393    22401     26 |  0.000 % |
77.68/77.82	c |    508150 |    1343     6058    53912 |    22393    19067     25 |  0.000 % |
78.07/78.25	c |    510628 |    1343     6058    53912 |    20917    16352     24 |  0.000 % |
78.67/78.80	c |    513356 |    1343     6058    53912 |    20917    19080     26 |  0.000 % |
79.27/79.44	c |    516354 |    1343     6058    53912 |    20917    17039     26 |  0.000 % |
79.97/80.10	c |    519651 |    1343     6058    53912 |    20917    20336     26 |  0.000 % |
80.77/80.90	c |    523278 |    1343     6058    53912 |    20685    18854     25 |  0.000 % |
81.67/81.80	c |    527267 |    1343     6058    53912 |    20685    17515     23 |  0.000 % |
82.47/82.66	c |    531652 |    1343     6058    53912 |    20250    16759     22 |  0.000 % |
83.48/83.61	c |    536475 |    1343     6058    53912 |    20250    16556     22 |  0.000 % |
83.48/83.63	c |    536576 |    1343     6058    53912 |    20250    16657     22 |  0.000 % |
83.48/83.64	c |    536686 |    1343     6058    53912 |    20250    16767     22 |  0.000 % |
83.48/83.66	c |    536810 |    1343     6058    53912 |    20250    16891     22 |  0.000 % |
83.48/83.68	c |    536943 |    1343     6058    53912 |    20250    17024     22 |  0.000 % |
83.57/83.70	c |    537089 |    1343     6058    53912 |    20250    17170     22 |  0.000 % |
83.57/83.73	c |    537249 |    1343     6058    53912 |    20250    17330     22 |  0.001 % |
83.57/83.75	c |    537425 |    1343     6058    53912 |    20250    17506     22 |  0.000 % |
83.57/83.78	c |    537618 |    1343     6058    53912 |    20250    17699     22 |  0.000 % |
83.67/83.81	c |    537831 |    1343     6058    53912 |    20250    17912     22 |  0.000 % |
83.67/83.84	c |    538064 |    1343     6058    53912 |    20250    18145     22 |  0.000 % |
83.67/83.88	c |    538320 |    1343     6058    53912 |    20250    18401     22 |  0.001 % |
83.77/83.92	c |    538601 |    1343     6058    53912 |    20250    18682     22 |  0.000 % |
83.77/83.96	c |    538911 |    1343     6058    53912 |    20250    18992     22 |  0.000 % |
83.87/84.02	c |    539250 |    1343     6058    53912 |    20250    19331     22 |  0.000 % |
83.87/84.08	c |    539622 |    1343     6058    53912 |    20250    19703     23 |  0.000 % |
83.97/84.14	c |    540032 |    1343     6058    53912 |    20082    20113     23 |  0.000 % |
84.07/84.24	c |    540481 |    1343     6058    53912 |    20082    16070     22 |  0.000 % |
84.17/84.31	c |    540974 |    1343     6058    53912 |    20082    16563     22 |  0.000 % |
84.17/84.39	c |    541517 |    1343     6058    53912 |    20082    17106     22 |  0.000 % |
84.27/84.48	c |    542116 |    1343     6058    53912 |    20082    17705     22 |  0.000 % |
84.37/84.58	c |    542771 |    1343     6058    53912 |    20082    18360     22 |  0.000 % |
84.47/84.70	c |    543491 |    1343     6058    53912 |    20082    19080     23 |  0.000 % |
84.67/84.81	c |    544283 |    1343     6058    53912 |    20082    19872     23 |  0.000 % |
84.77/84.98	c |    545155 |    1343     6058    53912 |    20082    16737     22 |  0.000 % |
84.97/85.14	c |    546113 |    1343     6058    53912 |    20082    17695     22 |  0.000 % |
85.17/85.32	c |    547167 |    1343     6058    53912 |    20082    18749     22 |  0.000 % |
85.27/85.50	c |    548325 |    1343     6058    53912 |    20082    19907     23 |  0.000 % |
85.57/85.74	c |    549598 |    1343     6058    53912 |    20082    17251     23 |  0.000 % |
85.77/85.94	c |    550998 |    1343     6058    53912 |    17653    15229     23 |  0.000 % |
86.07/86.23	c |    552538 |    1343     6058    53912 |    17653    16769     24 |  0.000 % |
86.37/86.57	c |    554235 |    1343     6058    53912 |    17653    14821     23 |  0.000 % |
86.67/86.87	c |    556098 |    1343     6058    53912 |    17653    16684     23 |  0.000 % |
86.97/87.18	c |    558150 |    1343     6058    53912 |    17653    15143     24 |  0.001 % |
87.37/87.56	c |    560405 |    1343     6058    53912 |    16996    13990     23 |  0.000 % |
87.77/87.93	c |    562885 |    1343     6058    53912 |    16996    16470     24 |  0.000 % |
88.17/88.32	c |    565612 |    1343     6058    53912 |    16996    15990     25 |  0.000 % |
88.67/88.89	c |    568609 |    1343     6058    53912 |    16996    15937     28 |  0.000 % |
89.37/89.50	c |    571907 |    1343     6058    53912 |    14226    13534     30 |  0.000 % |
89.97/90.11	c |    575533 |    1343     6058    53912 |    14226    12524     31 |  0.000 % |
90.47/90.61	c |    579520 |    1343     6058    53912 |    14226    12314     25 |  0.000 % |
90.97/91.17	c |    583905 |    1343     6058    53912 |    12795    12279     21 |  0.000 % |
91.76/91.96	c |    588728 |    1343     6058    53912 |    12795    11534     20 |  0.000 % |
92.56/92.70	c |    594033 |    1343     6058    53912 |    12806    12444     20 |  0.000 % |
92.56/92.72	c |    594134 |    1343     6058    53912 |    12806    12545     20 |  0.000 % |
92.56/92.74	c |    594245 |    1343     6058    53912 |    12806    12656     20 |  0.000 % |
92.56/92.76	c |    594367 |    1343     6058    53912 |    12806    12778     20 |  0.000 % |
92.56/92.78	c |    594502 |    1343     6058    53912 |    12806    11395     20 |  0.000 % |
92.66/92.80	c |    594648 |    1343     6058    53912 |    12806    11541     20 |  0.001 % |
92.66/92.81	c |    594808 |    1343     6058    53912 |    12806    11701     20 |  0.000 % |
92.66/92.83	c |    594985 |    1343     6058    53912 |    12806    11878     20 |  0.000 % |
92.66/92.85	c |    595180 |    1343     6058    53912 |    12806    12073     20 |  0.000 % |
92.66/92.88	c |    595394 |    1343     6058    53912 |    12806    12287     20 |  0.000 % |
92.76/92.90	c |    595627 |    1343     6058    53912 |    12806    12520     20 |  0.000 % |
92.76/92.93	c |    595884 |    1343     6058    53912 |    12806    12777     20 |  0.000 % |
92.76/92.98	c |    596166 |    1343     6058    53912 |    12806    11570     20 |  0.000 % |
92.86/93.01	c |    596476 |    1343     6058    53912 |    12806    11880     20 |  0.000 % |
92.86/93.05	c |    596815 |    1343     6058    53912 |    12806    12219     21 |  0.000 % |
92.86/93.09	c |    597187 |    1343     6058    53912 |    12806    12591     21 |  0.000 % |
92.96/93.16	c |    597596 |    1343     6058    53912 |    12806    11612     21 |  0.000 % |
93.07/93.22	c |    598047 |    1343     6058    53912 |    12806    12063     21 |  0.000 % |
93.07/93.28	c |    598540 |    1343     6058    53912 |    12806    12556     21 |  0.000 % |
93.17/93.38	c |    599082 |    1343     6058    53912 |    12806    11702     21 |  0.000 % |
93.28/93.45	c |    599678 |    1343     6058    53912 |    12806    12298     21 |  0.000 % |
93.37/93.52	c |    600335 |    1343     6058    53912 |    12620    11589     22 |  0.000 % |
93.47/93.60	c |    601056 |    1343     6058    53912 |    12620    12310     22 |  0.000 % |
93.57/93.72	c |    601848 |    1343     6058    53912 |    12620    11734     22 |  0.000 % |
93.67/93.85	c |    602720 |    1343     6058    53912 |    12620    12606     22 |  0.000 % |
93.77/93.99	c |    603678 |    1343     6058    53912 |    12620    12292     22 |  0.000 % |
93.97/94.13	c |    604731 |    1343     6058    53912 |    12620    12076     23 |  0.000 % |
94.07/94.28	c |    605889 |    1343     6058    53912 |    12620    11966     23 |  0.000 % |
94.27/94.44	c |    607162 |    1343     6058    53912 |    12620    11966     24 |  0.000 % |
94.47/94.64	c |    608565 |    1343     6058    53912 |    12620    12097     24 |  0.000 % |
94.67/94.81	c |    610105 |    1343     6058    53912 | 2147483647    12366     25 |  0.000 % |
94.87/95.03	c |    611800 |    1343     6058    53912 | 2147483647    14061     25 |  0.000 % |
95.17/95.34	c |    613664 |    1343     6058    53912 | 2147483647    15925     25 |  0.000 % |
95.47/95.67	c |    615714 |    1343     6058    53912 | 2147483647    17975     26 |  0.000 % |
96.07/96.22	c |    617968 |    1343     6058    53912 | 2147483647    20229     26 |  0.000 % |
96.67/96.85	c |    620446 |    1343     6058    53912 |    22261    18146     25 |  0.000 % |
97.17/97.38	c |    623171 |    1343     6058    53912 |    22261    20871     27 |  0.000 % |
97.87/98.07	c |    626170 |    1343     6058    53912 |    22261    18748     26 |  0.000 % |
98.57/98.74	c |    629466 |    1343     6058    53912 |    22261    22044     28 |  0.000 % |
99.37/99.59	c |    633092 |    1343     6058    53912 |    17842    17128     28 |  0.000 % |
99.97/100.13	c |    637079 |    1343     6058    53912 |    17842    17523     29 |  0.000 % |
100.57/100.79	c |    641465 |    1343     6058    53912 |    17167    15438     27 |  0.000 % |
101.37/101.57	c |    646288 |    1343     6058    53912 |    17167    14564     27 |  0.000 % |
102.27/102.42	c |    651593 |    1343     6058    53912 |    15734    15065     27 |  0.000 % |
103.07/103.27	c |    657429 |    1343     6058    53912 |    15734    14970     26 |  0.000 % |
103.07/103.29	c |    657530 |    1343     6058    53912 |    15734    15071     26 |  0.000 % |
103.17/103.31	c |    657640 |    1343     6058    53912 |    15734    15181     26 |  0.000 % |
103.17/103.32	c |    657761 |    1343     6058    53912 |    15734    15302     26 |  0.000 % |
103.17/103.35	c |    657895 |    1343     6058    53912 |    15734    15436     26 |  0.000 % |
103.17/103.37	c |    658041 |    1343     6058    53912 |    15734    15582     26 |  0.000 % |
103.17/103.39	c |    658203 |    1343     6058    53912 |    15734    15744     26 |  0.000 % |
103.27/103.43	c |    658379 |    1343     6058    53912 |    15734    13866     25 |  0.000 % |
103.27/103.45	c |    658572 |    1343     6058    53912 |    15734    14059     25 |  0.000 % |
103.27/103.48	c |    658784 |    1343     6058    53912 |    15734    14271     25 |  0.000 % |
103.36/103.52	c |    659017 |    1343     6058    53912 |    15734    14504     25 |  0.000 % |
103.36/103.55	c |    659273 |    1343     6058    53912 |    15734    14760     25 |  0.000 % |
103.46/103.61	c |    659554 |    1343     6058    53912 |    15734    15041     25 |  0.000 % |
103.46/103.66	c |    659865 |    1343     6058    53912 |    15734    15352     25 |  0.000 % |
103.56/103.72	c |    660204 |    1343     6058    53912 |    15487    13517     24 |  0.000 % |
103.56/103.77	c |    660577 |    1343     6058    53912 |    15487    13890     24 |  0.000 % |
103.66/103.84	c |    660986 |    1343     6058    53912 |    15487    14299     24 |  0.000 % |
103.76/103.91	c |    661435 |    1343     6058    53912 |    15487    14748     24 |  0.000 % |
103.76/103.97	c |    661930 |    1343     6058    53912 |    15487    15243     24 |  0.000 % |
103.86/104.06	c |    662472 |    1343     6058    53912 |    15487    13539     23 |  0.000 % |
103.96/104.14	c |    663068 |    1343     6058    53912 |    15487    14135     23 |  0.000 % |
104.06/104.26	c |    663725 |    1343     6058    53912 |    15487    14792     23 |  0.000 % |
104.16/104.38	c |    664448 |    1343     6058    53912 |    15487    15515     23 |  0.000 % |
104.36/104.51	c |    665241 |    1343     6058    53912 |    15487    13901     22 |  0.000 % |
104.46/104.64	c |    666112 |    1343     6058    53912 |    15487    14772     24 |  0.000 % |
104.66/104.83	c |    667070 |    1343     6058    53912 |    15487    13310     24 |  0.000 % |
104.76/104.97	c |    668124 |    1343     6058    53912 |    15487    14364     25 |  0.000 % |
104.96/105.17	c |    669283 |    1343     6058    53912 |    15487    15523     25 |  0.000 % |
105.16/105.37	c |    670557 |    1343     6058    53912 |    13773    12157     25 |  0.000 % |
105.36/105.54	c |    671957 |    1343     6058    53912 |    13773    13557     26 |  0.001 % |
105.56/105.75	c |    673497 |    1343     6058    53912 |    13773    13157     26 |  0.000 % |
105.86/106.00	c |    675191 |    1343     6058    53912 |    13773    12949     26 |  0.000 % |
106.06/106.29	c |    677054 |    1343     6058    53912 |    13773    12888     25 |  0.000 % |
106.36/106.54	c |    679103 |    1343     6058    53912 |    13773    13072     25 |  0.001 % |
106.66/106.86	c |    681357 |    1343     6058    53912 |    12140    11902     27 |  0.000 % |
106.96/107.18	c |    683835 |    1343     6058    53912 |    12140    11890     26 |  0.000 % |
107.36/107.56	c |    686560 |    1343     6058    53912 |    12140    12175     25 |  0.000 % |
107.75/107.93	c |    689559 |    1343     6058    53912 |    12140    11512     25 |  0.001 % |
108.16/108.36	c |    692855 |    1343     6058    53912 | 2147483647    14808     27 |  0.001 % |
108.76/108.95	c |    696481 |    1343     6058    53912 | 2147483647    18434     28 |  0.000 % |
109.55/109.79	c |    700469 |    1343     6058    53912 |    21954    18173     28 |  0.000 % |
110.45/110.64	c |    704854 |    1343     6058    53912 |    21954    17612     26 |  0.000 % |
111.45/111.60	c |    709677 |    1343     6058    53912 |    21954    17333     24 |  0.000 % |
112.45/112.64	c |    714982 |    1343     6058    53912 |    17656    14543     22 |  0.000 % |
113.45/113.69	c |    720820 |    1343     6058    53912 |    15758    13340     20 |  0.000 % |
114.45/114.69	c |    727238 |    1343     6058    53912 |    15758    14610     24 |  0.000 % |
114.55/114.71	c |    727341 |    1343     6058    53912 |    15758    14713     24 |  0.000 % |
114.55/114.72	c |    727452 |    1343     6058    53912 |    15758    14824     24 |  0.000 % |
114.55/114.75	c |    727573 |    1343     6058    53912 |    15758    14945     24 |  0.000 % |
114.55/114.77	c |    727706 |    1343     6058    53912 |    15758    15078     24 |  0.000 % |
114.55/114.79	c |    727853 |    1343     6058    53912 |    15758    15225     24 |  0.000 % |
114.65/114.81	c |    728014 |    1343     6058    53912 |    15758    15386     24 |  0.000 % |
114.65/114.84	c |    728190 |    1343     6058    53912 |    15758    15562     24 |  0.000 % |
114.65/114.87	c |    728383 |    1343     6058    53912 |    15758    15755     24 |  0.000 % |
114.75/114.91	c |    728595 |    1343     6058    53912 |    15758    13496     25 |  0.000 % |
114.75/114.94	c |    728828 |    1343     6058    53912 |    15758    13729     25 |  0.000 % |
114.75/114.98	c |    729084 |    1343     6058    53912 |    15758    13985     25 |  0.000 % |
114.85/115.03	c |    729365 |    1343     6058    53912 |    15758    14266     25 |  0.000 % |
114.85/115.08	c |    729674 |    1343     6058    53912 |    15758    14575     25 |  0.000 % |
114.95/115.15	c |    730013 |    1343     6058    53912 |    14902    14914     25 |  0.000 % |
115.05/115.21	c |    730385 |    1343     6058    53912 |    14902    12969     25 |  0.000 % |
115.05/115.28	c |    730795 |    1343     6058    53912 |    14902    13379     25 |  0.000 % |
115.15/115.35	c |    731244 |    1343     6058    53912 |    14902    13828     25 |  0.000 % |
115.25/115.43	c |    731737 |    1343     6058    53912 |    14902    14321     25 |  0.000 % |
115.35/115.51	c |    732279 |    1343     6058    53912 |    14902    14863     26 |  0.000 % |
115.45/115.61	c |    732875 |    1343     6058    53912 |    14902    13140     25 |  0.000 % |
115.55/115.71	c |    733530 |    1343     6058    53912 |    14902    13795     25 |  0.000 % |
115.55/115.79	c |    734250 |    1343     6058    53912 |    14902    14515     25 |  0.001 % |
115.75/115.93	c |    735042 |    1343     6058    53912 |    14902    13021     24 |  0.000 % |
115.85/116.07	c |    735913 |    1343     6058    53912 |    14902    13892     24 |  0.000 % |
116.05/116.21	c |    736873 |    1343     6058    53912 |    14902    14852     24 |  0.000 % |
116.15/116.35	c |    737926 |    1343     6058    53912 |    14902    13635     22 |  0.000 % |
116.35/116.53	c |    739084 |    1343     6058    53912 |    14902    14793     23 |  0.000 % |
116.55/116.73	c |    740357 |    1343     6058    53912 |    13460    11818     20 |  0.000 % |
116.75/116.92	c |    741758 |    1343     6058    53912 |    13460    13219     21 |  0.000 % |
116.95/117.13	c |    743299 |    1343     6058    53912 |    13460    13143     20 |  0.000 % |
117.15/117.35	c |    744994 |    1343     6058    53912 |    13460    13274     21 |  0.000 % |
117.45/117.62	c |    746857 |    1343     6058    53912 |    13460    12181     22 |  0.000 % |
117.75/117.95	c |    748906 |    1343     6058    53912 |    13460    12843     23 |  0.000 % |
118.15/118.36	c |    751160 |    1343     6058    53912 |    12526    12365     24 |  0.000 % |
118.55/118.77	c |    753638 |    1343     6058    53912 |    12526    12086     24 |  0.000 % |
118.94/119.17	c |    756363 |    1343     6058    53912 |    12526    12161     23 |  0.000 % |
119.44/119.69	c |    759360 |    1343     6058    53912 |    12526    12510     22 |  0.000 % |
120.04/120.21	c |    762657 |    1343     6058    53912 |    11794    10797     21 |  0.000 % |
120.44/120.60	c |    766283 |    1343     6058    53912 |    11794    10863     22 |  0.000 % |
120.94/121.13	c |    770270 |    1343     6058    53912 | 2147483647    11279     24 |  0.001 % |
121.64/121.85	c |    774655 |    1343     6058    53912 | 2147483647    15664     26 |  0.000 % |
122.44/122.64	c |    779478 |    1343     6058    53912 | 2147483647    20487     27 |  0.000 % |
123.44/123.64	c |    784784 |    1343     6058    53912 |    21009    18190     25 |  0.000 % |
124.54/124.78	c |    790620 |    1343     6058    53912 |    18860    15280     21 |  0.000 % |
125.94/126.16	c |    797039 |    1343     6058    53912 |    18860    17164     21 |  0.000 % |
126.94/127.15	c |    804098 |    1343     6058    53912 |    15859    13746     22 |  0.000 % |
126.94/127.17	c |    804199 |    1343     6058    53912 |    15859    13847     22 |  0.000 % |
126.94/127.18	c |    804309 |    1343     6058    53912 |    15859    13957     22 |  0.000 % |
127.04/127.21	c |    804430 |    1343     6058    53912 |    15859    14078     22 |  0.000 % |
127.04/127.22	c |    804563 |    1343     6058    53912 |    15859    14211     22 |  0.000 % |
127.04/127.25	c |    804709 |    1343     6058    53912 |    15859    14357     22 |  0.000 % |
127.04/127.27	c |    804871 |    1343     6058    53912 |    15859    14519     22 |  0.000 % |
127.14/127.30	c |    805047 |    1343     6058    53912 |    15859    14695     23 |  0.000 % |
127.14/127.33	c |    805240 |    1343     6058    53912 |    15859    14888     23 |  0.000 % |
127.14/127.36	c |    805452 |    1343     6058    53912 |    15859    15100     23 |  0.000 % |
127.14/127.39	c |    805685 |    1343     6058    53912 |    15859    15333     23 |  0.000 % |
127.24/127.42	c |    805942 |    1343     6058    53912 |    15859    15590     23 |  0.000 % |
127.24/127.47	c |    806224 |    1343     6058    53912 |    15859    15872     23 |  0.000 % |
127.34/127.52	c |    806534 |    1343     6058    53912 |    15859    13552     23 |  0.000 % |
127.34/127.58	c |    806874 |    1343     6058    53912 |    15859    13892     24 |  0.000 % |
127.44/127.63	c |    807247 |    1343     6058    53912 |    15859    14265     23 |  0.000 % |
127.44/127.69	c |    807656 |    1343     6058    53912 |    15859    14674     24 |  0.000 % |
127.54/127.77	c |    808107 |    1343     6058    53912 |    15859    15125     24 |  0.000 % |
127.64/127.84	c |    808601 |    1343     6058    53912 |    15859    15619     24 |  0.000 % |
127.74/127.94	c |    809143 |    1343     6058    53912 |    15859    13627     23 |  0.000 % |
127.84/128.03	c |    809743 |    1343     6058    53912 |    15859    14227     23 |  0.000 % |
127.93/128.14	c |    810398 |    1343     6058    53912 |    14484    12631     23 |  0.000 % |
128.03/128.25	c |    811118 |    1343     6058    53912 |    14484    13351     23 |  0.000 % |
128.13/128.36	c |    811912 |    1343     6058    53912 |    14484    14145     24 |  0.000 % |
128.24/128.48	c |    812783 |    1343     6058    53912 |    14484    13053     23 |  0.000 % |
128.44/128.61	c |    813741 |    1343     6058    53912 |    14484    14011     24 |  0.000 % |
128.54/128.76	c |    814794 |    1343     6058    53912 |    14484    13191     23 |  0.000 % |
128.74/128.92	c |    815954 |    1343     6058    53912 |    14484    14351     23 |  0.000 % |
128.93/129.10	c |    817228 |    1343     6058    53912 |    14484    13799     23 |  0.000 % |
129.13/129.33	c |    818628 |    1343     6058    53912 |    14484    13388     23 |  0.000 % |
129.33/129.59	c |    820168 |    1343     6058    53912 |    12909    11417     22 |  0.000 % |
129.64/129.81	c |    821864 |    1343     6058    53912 |    12909    11755     22 |  0.000 % |
129.83/130.06	c |    823727 |    1343     6058    53912 |    12909    12319     23 |  0.000 % |
130.13/130.33	c |    825777 |    1343     6058    53912 |    12909    11769     24 |  0.000 % |
130.43/130.68	c |    828031 |    1343     6058    53912 |    12909    12726     26 |  0.000 % |
130.74/130.99	c |    830509 |    1343     6058    53912 | 2147483647    12603     26 |  0.000 % |
131.13/131.34	c |    833234 |    1343     6058    53912 | 2147483647    15328     27 |  0.000 % |
131.63/131.90	c |    836234 |    1343     6058    53912 | 2147483647    18328     27 |  0.000 % |
132.33/132.58	c |    839531 |    1343     6058    53912 | 2147483647    21625     26 |  0.000 % |
133.24/133.41	c |    843156 |    1343     6058    53912 |    22094    21410     25 |  0.000 % |
133.95/134.18	c |    847143 |    1343     6058    53912 |    22094    20347     24 |  0.000 % |
135.05/135.21	c |    851530 |    1343     6058    53912 |    17976    15241     23 |  0.000 % |
135.84/136.02	c |    856353 |    1343     6058    53912 |    17976    16274     22 |  0.000 % |
136.84/137.07	c |    861658 |    1343     6058    53912 |    16289    14659     20 |  0.000 % |
137.94/138.12	c |    867494 |    1343     6058    53912 |    16289    13888     20 |  0.000 % |
138.84/139.01	c |    873912 |    1343     6058    53912 |    13363    12929     22 |  0.000 % |
139.84/140.08	c |    880975 |    1343     6058    53912 |    12272    11785     20 |  0.000 % |
140.94/141.18	c |    888741 |    1343     6058    53912 |    12272    12094     30 |  0.000 % |
140.94/141.19	c |    888841 |    1343     6058    53912 |    12272    12194     30 |  0.000 % |
141.04/141.21	c |    888951 |    1343     6058    53912 |    12272    12304     30 |  0.000 % |
141.04/141.23	c |    889072 |    1343     6058    53912 |    12272    11195     31 |  0.000 % |
141.04/141.26	c |    889207 |    1343     6058    53912 |    12272    11330     31 |  0.000 % |
141.04/141.28	c |    889356 |    1343     6058    53912 |    12272    11479     31 |  0.000 % |
141.14/141.31	c |    889516 |    1343     6058    53912 |    12272    11639     31 |  0.000 % |
141.14/141.33	c |    889694 |    1343     6058    53912 |    12272    11817     31 |  0.001 % |
141.14/141.35	c |    889887 |    1343     6058    53912 |    12272    12010     31 |  0.000 % |
141.14/141.38	c |    890102 |    1343     6058    53912 | 2147483647    12225     31 |  0.000 % |
141.24/141.40	c |    890336 |    1343     6058    53912 | 2147483647    12459     31 |  0.000 % |
141.24/141.42	c |    890592 |    1343     6058    53912 | 2147483647    12715     30 |  0.000 % |
141.24/141.45	c |    890874 |    1343     6058    53912 | 2147483647    12997     30 |  0.000 % |
141.24/141.49	c |    891184 |    1343     6058    53912 | 2147483647    13307     30 |  0.000 % |
141.34/141.53	c |    891523 |    1343     6058    53912 | 2147483647    13646     30 |  0.000 % |
141.34/141.59	c |    891895 |    1343     6058    53912 | 2147483647    14018     30 |  0.000 % |
141.44/141.65	c |    892304 |    1343     6058    53912 | 2147483647    14427     30 |  0.000 % |
141.54/141.71	c |    892756 |    1343     6058    53912 | 2147483647    14879     30 |  0.000 % |
141.64/141.81	c |    893249 |    1343     6058    53912 | 2147483647    15372     30 |  0.000 % |
141.74/141.93	c |    893791 |    1343     6058    53912 | 2147483647    15914     30 |  0.000 % |
141.84/142.03	c |    894389 |    1343     6058    53912 | 2147483647    16512     30 |  0.000 % |
141.94/142.16	c |    895044 |    1343     6058    53912 | 2147483647    17167     31 |  0.000 % |
142.04/142.28	c |    895764 |    1343     6058    53912 | 2147483647    17887     30 |  0.000 % |
142.24/142.40	c |    896556 |    1343     6058    53912 | 2147483647    18679     30 |  0.000 % |
142.34/142.54	c |    897429 |    1343     6058    53912 | 2147483647    19552     30 |  0.000 % |
142.54/142.72	c |    898390 |    1343     6058    53912 | 2147483647    20513     29 |  0.000 % |
142.74/142.99	c |    899443 |    1343     6058    53912 | 2147483647    21566     30 |  0.001 % |
143.04/143.22	c |    900601 |    1343     6058    53912 |    22123    18781     28 |  0.000 % |
143.24/143.46	c |    901874 |    1343     6058    53912 |    22123    20054     28 |  0.000 % |
143.54/143.72	c |    903276 |    1343     6058    53912 |    22123    21456     28 |  0.000 % |
143.84/144.05	c |    904818 |    1343     6058    53912 |    22123    18984     26 |  0.000 % |
144.13/144.37	c |    906512 |    1343     6058    53912 |    22123    20678     26 |  0.000 % |
144.53/144.79	c |    908375 |    1343     6058    53912 |    22123    17892     25 |  0.000 % |
145.04/145.21	c |    910425 |    1343     6058    53912 |    19520    15752     24 |  0.000 % |
145.43/145.66	c |    912678 |    1343     6058    53912 |    19520    18005     24 |  0.000 % |
145.93/146.12	c |    915157 |    1343     6058    53912 |    19520    16325     22 |  0.000 % |
146.53/146.77	c |    917882 |    1343     6058    53912 |    19520    19050     23 |  0.000 % |
147.14/147.40	c |    920879 |    1343     6058    53912 |    16808    13940     20 |  0.000 % |
147.73/147.91	c |    924176 |    1343     6058    53912 |    16808    13720     22 |  0.000 % |
148.23/148.47	c |    927801 |    1343     6058    53912 |    16808    14145     23 |  0.000 % |
148.93/149.18	c |    931788 |    1343     6058    53912 |    16346    15001     24 |  0.000 % |
149.83/150.05	c |    936174 |    1343     6058    53912 |    16346    16274     23 |  0.000 % |
150.73/150.92	c |    940997 |    1343     6058    53912 |    13769    12155     22 |  0.000 % |
151.43/151.69	c |    946303 |    1343     6058    53912 |    13769    13127     22 |  0.000 % |
152.33/152.53	c |    952140 |    1343     6058    53912 |    13152    11874     24 |  0.000 % |
153.33/153.51	c |    958558 |    1343     6058    53912 |    13152    11551     28 |  0.000 % |
154.33/154.57	c |    965617 |    1343     6058    53912 |    12994    12584     29 |  0.000 % |
155.43/155.68	c |    973382 |    1343     6058    53912 | 2147483647    16309     27 |  0.000 % |
157.63/157.80	c |    981922 |    1343     6058    53912 |    22927    19668     25 |  0.000 % |
157.63/157.83	c |    982023 |    1343     6058    53912 |    22927    19769     25 |  0.000 % |
157.63/157.85	c |    982133 |    1343     6058    53912 |    22927    19879     25 |  0.000 % |
157.63/157.87	c |    982254 |    1343     6058    53912 |    22927    20000     25 |  0.000 % |
157.63/157.90	c |    982387 |    1343     6058    53912 |    22927    20133     25 |  0.000 % |
157.73/157.93	c |    982534 |    1343     6058    53912 |    22927    20280     25 |  0.000 % |
157.73/157.96	c |    982694 |    1343     6058    53912 |    22927    20440     25 |  0.000 % |
157.73/157.99	c |    982871 |    1343     6058    53912 |    22927    20617     25 |  0.000 % |
157.83/158.02	c |    983064 |    1343     6058    53912 |    22927    20810     25 |  0.000 % |
157.83/158.05	c |    983276 |    1343     6058    53912 |    22927    21022     25 |  0.000 % |
157.83/158.09	c |    983510 |    1343     6058    53912 |    22927    21256     25 |  0.000 % |
157.93/158.14	c |    983766 |    1343     6058    53912 |    22927    21512     25 |  0.000 % |
157.93/158.18	c |    984047 |    1343     6058    53912 |    22927    21793     25 |  0.000 % |
158.03/158.23	c |    984356 |    1343     6058    53912 |    22927    22102     25 |  0.001 % |
158.03/158.29	c |    984696 |    1343     6058    53912 |    22927    22442     25 |  0.000 % |
158.13/158.36	c |    985069 |    1343     6058    53912 |    22927    22815     25 |  0.000 % |
158.33/158.50	c |    985479 |    1343     6058    53912 |    22927    17712     23 |  0.000 % |
158.33/158.57	c |    985928 |    1343     6058    53912 |    22927    18161     24 |  0.000 % |
158.43/158.64	c |    986423 |    1343     6058    53912 |    22927    18656     24 |  0.000 % |
158.53/158.72	c |    986966 |    1343     6058    53912 |    22927    19199     24 |  0.000 % |
158.63/158.81	c |    987562 |    1343     6058    53912 |    22927    19795     24 |  0.000 % |
158.73/158.92	c |    988217 |    1343     6058    53912 |    22927    20450     24 |  0.000 % |
158.83/159.04	c |    988938 |    1343     6058    53912 |    22927    21171     24 |  0.000 % |
158.93/159.20	c |    989733 |    1343     6058    53912 |    22927    21966     24 |  0.000 % |
159.23/159.40	c |    990604 |    1343     6058    53912 |    22234    17751     24 |  0.000 % |
159.43/159.60	c |    991563 |    1343     6058    53912 |    22234    18710     24 |  0.000 % |
159.52/159.79	c |    992616 |    1343     6058    53912 |    22234    19763     24 |  0.000 % |
159.82/160.04	c |    993774 |    1343     6058    53912 |    22234    20921     24 |  0.000 % |
160.12/160.31	c |    995047 |    1343     6058    53912 |    22234    22194     24 |  0.000 % |
160.43/160.69	c |    996449 |    1343     6058    53912 |    22234    18279     24 |  0.000 % |
160.82/161.04	c |    997991 |    1343     6058    53912 |    22234    19821     24 |  0.000 % |
161.12/161.37	c |    999685 |    1343     6058    53912 |    22234    21515     25 |  0.000 % |
161.53/161.76	c |   1001548 |    1343     6058    53912 |    21830    18020     24 |  0.000 % |
161.92/162.14	c |   1003599 |    1343     6058    53912 |    21830    20071     25 |  0.001 % |
162.42/162.65	c |   1005853 |    1343     6058    53912 |    21830    16835     25 |  0.001 % |
162.82/163.07	c |   1008332 |    1343     6058    53912 |    21830    19314     25 |  0.000 % |
163.42/163.61	c |   1011059 |    1343     6058    53912 |    20984    16854     26 |  0.000 % |
164.02/164.24	c |   1014056 |    1343     6058    53912 |    20984    19851     26 |  0.000 % |
164.62/164.84	c |   1017353 |    1343     6058    53912 |    20984    18273     25 |  0.000 % |
165.22/165.45	c |   1020978 |    1343     6058    53912 |    20922    17213     24 |  0.000 % |
165.93/166.18	c |   1024966 |    1343     6058    53912 |    20922    16542     23 |  0.000 % |
166.93/167.18	c |   1029353 |    1343     6058    53912 |    20922    20929     24 |  0.000 % |
167.72/167.94	c |   1034177 |    1343     6058    53912 |    16747    13620     24 |  0.000 % |
168.62/168.85	c |   1039482 |    1343     6058    53912 |    16747    15678     25 |  0.000 % |
169.72/169.99	c |   1045317 |    1343     6058    53912 |    16198    15433     29 |  0.000 % |
170.92/171.11	c |   1051736 |    1343     6058    53912 |    14478    13863     31 |  0.000 % |
172.12/172.32	c |   1058795 |    1343     6058    53912 |    14478    13762     29 |  0.000 % |
173.52/173.75	c |   1066561 |    1343     6058    53912 |    13190    12472     24 |  0.000 % |
174.52/174.73	c |   1075101 |    1343     6058    53912 |    12346    12177     26 |  0.001 % |
175.92/176.17	c |   1084496 |    1343     6058    53912 | 2147483647    16593     28 |  0.000 % |
175.92/176.19	c |   1084596 |    1343     6058    53912 | 2147483647    16693     28 |  0.000 % |
176.02/176.21	c |   1084707 |    1343     6058    53912 | 2147483647    16804     28 |  0.001 % |
176.02/176.23	c |   1084830 |    1343     6058    53912 | 2147483647    16927     28 |  0.000 % |
176.02/176.25	c |   1084963 |    1343     6058    53912 | 2147483647    17060     28 |  0.000 % |
176.02/176.27	c |   1085109 |    1343     6058    53912 | 2147483647    17206     28 |  0.000 % |
176.02/176.29	c |   1085269 |    1343     6058    53912 | 2147483647    17366     28 |  0.000 % |
176.12/176.32	c |   1085445 |    1343     6058    53912 | 2147483647    17542     28 |  0.000 % |
176.12/176.35	c |   1085639 |    1343     6058    53912 | 2147483647    17736     28 |  0.000 % |
176.12/176.39	c |   1085852 |    1343     6058    53912 | 2147483647    17949     28 |  0.000 % |
176.22/176.44	c |   1086085 |    1343     6058    53912 | 2147483647    18182     28 |  0.000 % |
176.22/176.49	c |   1086344 |    1343     6058    53912 | 2147483647    18441     28 |  0.000 % |
176.32/176.54	c |   1086626 |    1343     6058    53912 | 2147483647    18723     28 |  0.000 % |
176.32/176.59	c |   1086935 |    1343     6058    53912 | 2147483647    19032     28 |  0.000 % |
176.42/176.67	c |   1087275 |    1343     6058    53912 | 2147483647    19372     28 |  0.000 % |
176.52/176.74	c |   1087647 |    1343     6058    53912 | 2147483647    19744     28 |  0.000 % |
176.52/176.79	c |   1088056 |    1343     6058    53912 | 2147483647    20153     28 |  0.000 % |
176.62/176.87	c |   1088506 |    1343     6058    53912 | 2147483647    20603     28 |  0.000 % |
176.72/176.97	c |   1089000 |    1343     6058    53912 | 2147483647    21097     28 |  0.001 % |
176.82/177.06	c |   1089543 |    1343     6058    53912 | 2147483647    21640     28 |  0.000 % |
176.92/177.19	c |   1090142 |    1343     6058    53912 |    22098    18623     27 |  0.000 % |
177.12/177.30	c |   1090798 |    1343     6058    53912 |    22098    19279     27 |  0.000 % |
177.22/177.44	c |   1091518 |    1343     6058    53912 |    22098    19999     26 |  0.000 % |
177.42/177.60	c |   1092310 |    1343     6058    53912 |    22098    20791     26 |  0.000 % |
177.52/177.77	c |   1093182 |    1343     6058    53912 |    22098    21663     26 |  0.000 % |
177.81/178.02	c |   1094142 |    1343     6058    53912 |    22098    18616     25 |  0.000 % |
178.02/178.24	c |   1095195 |    1343     6058    53912 |    22098    19669     25 |  0.000 % |
178.31/178.50	c |   1096353 |    1343     6058    53912 |    22098    20827     25 |  0.000 % |
178.61/178.86	c |   1097626 |    1343     6058    53912 |    22098    22100     25 |  0.000 % |
178.91/179.12	c |   1099026 |    1343     6058    53912 |    22098    18795     23 |  0.000 % |
179.31/179.55	c |   1100567 |    1343     6058    53912 |    19769    15890     22 |  0.000 % |
179.71/179.92	c |   1102261 |    1343     6058    53912 |    19769    17584     22 |  0.000 % |
180.12/180.38	c |   1104125 |    1343     6058    53912 |    19769    19448     22 |  0.000 % |
180.61/180.83	c |   1106174 |    1343     6058    53912 |    19769    16763     21 |  0.000 % |
181.11/181.33	c |   1108427 |    1343     6058    53912 |    19769    19016     22 |  0.000 % |
181.51/181.77	c |   1110905 |    1343     6058    53912 |    15845    13023     21 |  0.000 % |
181.91/182.12	c |   1113631 |    1343     6058    53912 |    15845    15749     23 |  0.000 % |
182.32/182.57	c |   1116628 |    1343     6058    53912 |    15845    15677     24 |  0.000 % |
182.91/183.10	c |   1119924 |    1343     6058    53912 |    15845    13652     27 |  0.000 % |
183.42/183.68	c |   1123549 |    1343     6058    53912 |    13728    13425     28 |  0.000 % |
184.01/184.29	c |   1127536 |    1343     6058    53912 |    13728    13821     30 |  0.000 % |
184.71/184.94	c |   1131921 |    1343     6058    53912 |    12385    11091     27 |  0.001 % |
185.31/185.58	c |   1136744 |    1343     6058    53912 |    12385    12149     26 |  0.000 % |
186.11/186.39	c |   1142050 |    1343     6058    53912 | 2147483647    13716     26 |  0.001 % |
187.01/187.24	c |   1147888 |    1343     6058    53912 | 2147483647    19554     27 |  0.000 % |
188.31/188.60	c |   1154306 |    1343     6058    53912 |    21666    17670     26 |  0.000 % |
189.81/190.08	c |   1161365 |    1343     6058    53912 |    18375    15472     25 |  0.000 % |
191.61/191.82	c |   1169131 |    1343     6058    53912 |    18375    14246     21 |  0.000 % |
193.00/193.24	c |   1177672 |    1343     6058    53912 |    15115    12838     27 |  0.000 % |
194.70/194.90	c |   1187067 |    1343     6058    53912 |    15166    14148     28 |  0.000 % |
196.40/196.63	c |   1197400 |    1343     6058    53912 |    14625    13252     23 |  0.001 % |
196.40/196.65	c |   1197502 |    1343     6058    53912 |    14625    13354     23 |  0.000 % |
196.40/196.67	c |   1197613 |    1343     6058    53912 |    14625    13465     23 |  0.000 % |
196.40/196.69	c |   1197734 |    1343     6058    53912 |    14625    13586     23 |  0.000 % |
196.50/196.73	c |   1197867 |    1343     6058    53912 |    14625    13719     23 |  0.000 % |
196.50/196.75	c |   1198016 |    1343     6058    53912 |    14625    13868     23 |  0.000 % |
196.50/196.79	c |   1198177 |    1343     6058    53912 |    14625    14029     23 |  0.000 % |
196.61/196.81	c |   1198354 |    1343     6058    53912 |    14625    14206     23 |  0.000 % |
196.61/196.84	c |   1198549 |    1343     6058    53912 |    14625    14401     23 |  0.000 % |
196.61/196.87	c |   1198763 |    1343     6058    53912 |    14625    14615     23 |  0.000 % |
196.71/196.93	c |   1199000 |    1343     6058    53912 |    14625    12458     22 |  0.000 % |
196.71/196.99	c |   1199256 |    1343     6058    53912 |    14625    12714     22 |  0.000 % |
196.80/197.04	c |   1199538 |    1343     6058    53912 |    14625    12996     22 |  0.000 % |
196.80/197.08	c |   1199848 |    1343     6058    53912 |    14625    13306     22 |  0.000 % |
196.90/197.16	c |   1200188 |    1343     6058    53912 |    13458    11366     20 |  0.000 % |
197.00/197.21	c |   1200560 |    1343     6058    53912 |    13458    11738     21 |  0.000 % |
197.00/197.25	c |   1200969 |    1343     6058    53912 |    13458    12147     21 |  0.000 % |
197.10/197.31	c |   1201418 |    1343     6058    53912 |    13458    12596     21 |  0.000 % |
197.10/197.36	c |   1201913 |    1343     6058    53912 |    13458    13091     21 |  0.000 % |
197.20/197.44	c |   1202457 |    1343     6058    53912 |    13458    11723     21 |  0.000 % |
197.30/197.50	c |   1203054 |    1343     6058    53912 |    13458    12320     21 |  0.000 % |
197.40/197.62	c |   1203709 |    1343     6058    53912 |    13458    12975     21 |  0.000 % |
197.50/197.74	c |   1204429 |    1343     6058    53912 |    13458    11868     21 |  0.000 % |
197.60/197.87	c |   1205221 |    1343     6058    53912 |    13458    12660     21 |  0.000 % |
197.81/198.02	c |   1206093 |    1343     6058    53912 |    13458    13532     21 |  0.000 % |
197.90/198.13	c |   1207052 |    1343     6058    53912 |    13458    12618     21 |  0.000 % |
198.00/198.30	c |   1208105 |    1343     6058    53912 |    13458    11896     22 |  0.000 % |
198.20/198.44	c |   1209263 |    1343     6058    53912 |    13458    13054     22 |  0.000 % |
198.40/198.63	c |   1210537 |    1343     6058    53912 |    12081    11114     22 |  0.000 % |
198.60/198.82	c |   1211939 |    1343     6058    53912 |    12081    11244     22 |  0.000 % |
198.80/199.01	c |   1213479 |    1343     6058    53912 |    12081    11573     23 |  0.000 % |
199.00/199.22	c |   1215173 |    1343     6058    53912 |    12081    12051     24 |  0.000 % |
199.20/199.47	c |   1217036 |    1343     6058    53912 |    12081    11481     24 |  0.000 % |
199.50/199.73	c |   1219090 |    1343     6058    53912 |    12081    11100     24 |  0.000 % |
199.80/200.01	c |   1221343 |    1343     6058    53912 | 2147483647    13353     24 |  0.000 % |
200.10/200.38	c |   1223821 |    1343     6058    53912 | 2147483647    15831     24 |  0.000 % |
200.60/200.85	c |   1226546 |    1343     6058    53912 | 2147483647    18556     25 |  0.000 % |
201.20/201.42	c |   1229543 |    1343     6058    53912 | 2147483647    21553     26 |  0.000 % |
201.90/202.11	c |   1232842 |    1343     6058    53912 |    22010    21117     26 |  0.000 % |
202.60/202.84	c |   1236468 |    1343     6058    53912 |    22010    19625     26 |  0.000 % |
203.40/203.62	c |   1240456 |    1343     6058    53912 |    18319    14859     28 |  0.000 % |
204.19/204.41	c |   1244845 |    1343     6058    53912 |    18319    15862     27 |  0.000 % |
205.09/205.37	c |   1249668 |    1343     6058    53912 |    18319    17303     25 |  0.000 % |
205.99/206.28	c |   1254973 |    1343     6058    53912 |    17637    15737     21 |  0.000 % |
207.09/207.35	c |   1260808 |    1343     6058    53912 |    17192    14547     20 |  0.000 % |
208.29/208.51	c |   1267226 |    1343     6058    53912 |    17192    14209     20 |  0.000 % |
209.59/209.89	c |   1274286 |    1343     6058    53912 |    16985    14594     19 |  0.000 % |
211.09/211.30	c |   1282050 |    1343     6058    53912 |    17051    15783     18 |  0.000 % |
212.19/212.47	c |   1290590 |    1343     6058    53912 |    15146    13329     23 |  0.001 % |
213.79/214.02	c |   1299984 |    1343     6058    53912 |    15146    15091     20 |  0.000 % |
215.59/215.88	c |   1310318 |    1343     6058    53912 |    12978    11216     22 |  0.000 % |
217.59/217.82	c |   1321684 |    1343     6058    53912 |    11907    10765     19 |  0.000 % |
217.59/217.84	c |   1321784 |    1343     6058    53912 |    11907    10865     19 |  0.000 % |
217.59/217.86	c |   1321895 |    1343     6058    53912 |    11907    10976     19 |  0.000 % |
217.59/217.88	c |   1322017 |    1343     6058    53912 |    11907    11098     19 |  0.000 % |
217.59/217.89	c |   1322152 |    1343     6058    53912 |    11907    11233     19 |  0.001 % |
217.69/217.91	c |   1322302 |    1343     6058    53912 |    11907    11383     19 |  0.000 % |
217.69/217.92	c |   1322462 |    1343     6058    53912 |    11907    11543     19 |  0.000 % |
217.69/217.94	c |   1322639 |    1343     6058    53912 |    11907    11720     19 |  0.000 % |
217.69/217.96	c |   1322833 |    1343     6058    53912 |    11907    11914     20 |  0.000 % |
217.69/217.99	c |   1323046 |    1343     6058    53912 |    11907    10902     19 |  0.000 % |
217.79/218.01	c |   1323280 |    1343     6058    53912 |    11907    11136     19 |  0.000 % |
217.79/218.04	c |   1323536 |    1343     6058    53912 |    11907    11392     19 |  0.000 % |
217.79/218.07	c |   1323818 |    1343     6058    53912 |    11907    11674     19 |  0.000 % |
217.89/218.10	c |   1324129 |    1343     6058    53912 |    11907    11985     20 |  0.000 % |
217.89/218.14	c |   1324468 |    1343     6058    53912 |    11907    11126     19 |  0.000 % |
217.89/218.18	c |   1324844 |    1343     6058    53912 |    11907    11502     20 |  0.000 % |
217.99/218.23	c |   1325253 |    1343     6058    53912 |    11907    11911     20 |  0.000 % |
217.99/218.29	c |   1325702 |    1343     6058    53912 |    11907    11169     20 |  0.000 % |
218.09/218.35	c |   1326195 |    1343     6058    53912 |    11907    11662     21 |  0.000 % |
218.19/218.43	c |   1326743 |    1343     6058    53912 |    11907    11008     21 |  0.000 % |
218.29/218.50	c |   1327339 |    1343     6058    53912 |    11907    11604     22 |  0.000 % |
218.29/218.59	c |   1327995 |    1343     6058    53912 |    11907    11062     22 |  0.000 % |
218.39/218.67	c |   1328717 |    1343     6058    53912 |    11907    11784     23 |  0.000 % |
218.48/218.77	c |   1329509 |    1343     6058    53912 |    11907    11376     23 |  0.000 % |
218.59/218.88	c |   1330382 |    1343     6058    53912 | 2147483647    12249     23 |  0.000 % |
218.78/219.00	c |   1331341 |    1343     6058    53912 | 2147483647    13208     23 |  0.000 % |
218.88/219.17	c |   1332394 |    1343     6058    53912 | 2147483647    14261     23 |  0.000 % |
219.08/219.37	c |   1333552 |    1343     6058    53912 | 2147483647    15419     23 |  0.000 % |
219.28/219.59	c |   1334825 |    1343     6058    53912 | 2147483647    16692     23 |  0.000 % |
219.58/219.87	c |   1336227 |    1343     6058    53912 | 2147483647    18094     23 |  0.000 % |
219.98/220.22	c |   1337772 |    1343     6058    53912 | 2147483647    19639     23 |  0.000 % |
220.28/220.56	c |   1339469 |    1343     6058    53912 | 2147483647    21336     24 |  0.000 % |
220.68/220.94	c |   1341333 |    1343     6058    53912 |    21868    19287     24 |  0.000 % |
221.18/221.40	c |   1343382 |    1343     6058    53912 |    21868    21336     24 |  0.000 % |
221.68/221.91	c |   1345636 |    1343     6058    53912 |    21868    18740     23 |  0.000 % |
222.18/222.48	c |   1348115 |    1343     6058    53912 |    21868    21219     23 |  0.000 % |
222.78/223.08	c |   1350840 |    1343     6058    53912 |    17898    14495     22 |  0.000 % |
223.38/223.68	c |   1353840 |    1343     6058    53912 |    17898    17495     23 |  0.000 % |
223.98/224.26	c |   1357136 |    1343     6058    53912 |    17898    16679     22 |  0.000 % |
224.68/224.90	c |   1360761 |    1343     6058    53912 |    15636    13141     21 |  0.000 % |
225.18/225.49	c |   1364748 |    1343     6058    53912 |    15636    14399     22 |  0.000 % |
225.98/226.22	c |   1369133 |    1343     6058    53912 |    15636    13774     20 |  0.000 % |
226.68/226.97	c |   1373957 |    1343     6058    53912 |    14644    14024     23 |  0.000 % |
227.58/227.81	c |   1379262 |    1343     6058    53912 |    14644    13216     26 |  0.000 % |
228.48/228.74	c |   1385097 |    1343     6058    53912 |    13957    13673     25 |  0.000 % |
229.48/229.71	c |   1391516 |    1343     6058    53912 |    13104    12961     24 |  0.000 % |
230.38/230.62	c |   1398576 |    1343     6058    53912 |    13104    11880     22 |  0.000 % |
231.58/231.84	c |   1406340 |    1343     6058    53912 | 2147483647    18327     23 |  0.000 % |
233.58/233.83	c |   1414880 |    1343     6058    53912 |    21988    17902     21 |  0.000 % |
235.28/235.53	c |   1424275 |    1343     6058    53912 |    17735    17759     25 |  0.000 % |
236.97/237.25	c |   1434608 |    1343     6058    53912 |    16662    15599     23 |  0.000 % |
239.27/239.55	c |   1445976 |    1343     6058    53912 |    14749    12683     21 |  0.000 % |
241.37/241.63	c |   1458478 |    1343     6058    53912 |    14235    14326     28 |  0.000 % |
241.37/241.65	c |   1458578 |    1343     6058    53912 |    14235    12328     27 |  0.000 % |
241.37/241.68	c |   1458688 |    1343     6058    53912 |    14235    12438     27 |  0.001 % |
241.37/241.70	c |   1458810 |    1343     6058    53912 |    14235    12560     27 |  0.000 % |
241.47/241.71	c |   1458944 |    1343     6058    53912 |    14235    12694     27 |  0.000 % |
241.47/241.73	c |   1459090 |    1343     6058    53912 |    14235    12840     27 |  0.000 % |
241.47/241.75	c |   1459250 |    1343     6058    53912 |    14235    13000     27 |  0.001 % |
241.47/241.77	c |   1459429 |    1343     6058    53912 |    14235    13179     27 |  0.000 % |
241.57/241.80	c |   1459623 |    1343     6058    53912 |    14235    13373     27 |  0.000 % |
241.57/241.84	c |   1459835 |    1343     6058    53912 |    14235    13585     27 |  0.000 % |
241.57/241.89	c |   1460068 |    1343     6058    53912 |    13750    13818     28 |  0.000 % |
241.68/241.93	c |   1460326 |    1343     6058    53912 |    13750    12052     26 |  0.000 % |
241.68/241.96	c |   1460608 |    1343     6058    53912 |    13750    12334     26 |  0.000 % |
241.68/241.99	c |   1460917 |    1343     6058    53912 |    13750    12643     26 |  0.000 % |
241.78/242.03	c |   1461258 |    1343     6058    53912 |    13750    12984     26 |  0.000 % |
241.78/242.08	c |   1461630 |    1343     6058    53912 |    13750    13356     26 |  0.000 % |
241.88/242.13	c |   1462039 |    1343     6058    53912 |    13750    13765     26 |  0.000 % |
241.88/242.20	c |   1462490 |    1343     6058    53912 |    13750    12705     26 |  0.000 % |
241.98/242.26	c |   1462986 |    1343     6058    53912 |    13750    13201     26 |  0.000 % |
242.08/242.33	c |   1463528 |    1343     6058    53912 |    13750    13743     26 |  0.000 % |
242.18/242.42	c |   1464129 |    1343     6058    53912 |    13750    12964     25 |  0.000 % |
242.28/242.52	c |   1464785 |    1343     6058    53912 |    13750    13620     25 |  0.000 % |
242.38/242.64	c |   1465505 |    1343     6058    53912 |    13750    12959     24 |  0.000 % |
242.48/242.76	c |   1466297 |    1343     6058    53912 |    13750    13751     24 |  0.001 % |
242.58/242.90	c |   1467169 |    1343     6058    53912 |    13750    13248     24 |  0.000 % |
242.78/243.05	c |   1468127 |    1343     6058    53912 |    13750    12824     25 |  0.000 % |
242.98/243.22	c |   1469181 |    1343     6058    53912 |    13750    12499     24 |  0.000 % |
243.18/243.41	c |   1470339 |    1343     6058    53912 | 2147483647    13657     25 |  0.000 % |
243.38/243.62	c |   1471613 |    1343     6058    53912 | 2147483647    14931     25 |  0.000 % |
243.58/243.87	c |   1473014 |    1343     6058    53912 | 2147483647    16332     25 |  0.000 % |
243.88/244.18	c |   1474556 |    1343     6058    53912 | 2147483647    17874     25 |  0.000 % |
244.28/244.56	c |   1476250 |    1343     6058    53912 | 2147483647    19568     24 |  0.000 % |
244.58/244.89	c |   1478115 |    1343     6058    53912 | 2147483647    21433     25 |  0.000 % |
245.08/245.38	c |   1480164 |    1343     6058    53912 |    23318    18810     25 |  0.000 % |
245.58/245.88	c |   1482417 |    1343     6058    53912 |    23318    21063     25 |  0.000 % |
246.18/246.49	c |   1484895 |    1343     6058    53912 |    23318    18621     25 |  0.000 % |
246.88/247.18	c |   1487621 |    1343     6058    53912 |    23318    21347     25 |  0.000 % |
247.78/248.06	c |   1490620 |    1343     6058    53912 |    18007    14208     24 |  0.000 % |
248.58/248.82	c |   1493920 |    1343     6058    53912 |    18007    17508     24 |  0.000 % |
249.28/249.52	c |   1497548 |    1343     6058    53912 |    18007    16692     21 |  0.000 % |
250.08/250.30	c |   1501536 |    1343     6058    53912 |    14766    12746     19 |  0.001 % |
250.67/250.90	c |   1505921 |    1343     6058    53912 |    14766    14529     21 |  0.000 % |
251.47/251.70	c |   1510744 |    1343     6058    53912 |    14048    12659     21 |  0.000 % |
252.17/252.47	c |   1516050 |    1343     6058    53912 |    14048    13725     20 |  0.000 % |
253.07/253.35	c |   1521886 |    1343     6058    53912 |    13804    12401     24 |  0.001 % |
254.17/254.41	c |   1528305 |    1343     6058    53912 |    13804    12763     25 |  0.000 % |
255.17/255.48	c |   1535365 |    1343     6058    53912 |    12837    12860     23 |  0.000 % |
256.27/256.59	c |   1543130 |    1343     6058    53912 | 2147483647    15464     25 |  0.000 % |
258.27/258.59	c |   1551670 |    1343     6058    53912 |    22335    19543     28 |  0.000 % |
260.67/260.90	c |   1561064 |    1343     6058    53912 |    22402    17748     24 |  0.000 % |
262.97/263.28	c |   1571399 |    1343     6058    53912 |    21246    17470     21 |  0.000 % |
265.57/265.82	c |   1582765 |    1343     6058    53912 |    21008    18853     26 |  0.000 % |
269.17/269.43	c |   1595267 |    1343     6058    53912 |    21016    20796     24 |  0.000 % |
272.16/272.41	c |   1609019 |    1343     6058    53912 |    19910    18485     21 |  0.000 % |
272.16/272.43	c |   1609119 |    1343     6058    53912 |    19910    18585     21 |  0.000 % |
272.16/272.45	c |   1609229 |    1343     6058    53912 |    19910    18695     21 |  0.000 % |
272.16/272.47	c |   1609350 |    1343     6058    53912 |    19910    18816     21 |  0.000 % |
272.16/272.50	c |   1609483 |    1343     6058    53912 |    19910    18949     21 |  0.000 % |
272.26/272.52	c |   1609632 |    1343     6058    53912 |    19910    19098     21 |  0.000 % |
272.26/272.55	c |   1609792 |    1343     6058    53912 |    19910    19258     21 |  0.000 % |
272.26/272.58	c |   1609970 |    1343     6058    53912 |    19910    19436     21 |  0.000 % |
272.36/272.65	c |   1610163 |    1343     6058    53912 |    19468    15025     21 |  0.000 % |
272.36/272.68	c |   1610376 |    1343     6058    53912 |    19468    15238     21 |  0.000 % |
272.47/272.71	c |   1610610 |    1343     6058    53912 |    19468    15472     21 |  0.000 % |
272.47/272.75	c |   1610866 |    1343     6058    53912 |    19468    15728     21 |  0.000 % |
272.47/272.79	c |   1611148 |    1343     6058    53912 |    19468    16010     21 |  0.000 % |
272.57/272.83	c |   1611457 |    1343     6058    53912 |    19468    16319     21 |  0.000 % |
272.57/272.89	c |   1611796 |    1343     6058    53912 |    19468    16658     21 |  0.000 % |
272.66/272.95	c |   1612168 |    1343     6058    53912 |    19468    17030     21 |  0.000 % |
272.76/273.02	c |   1612577 |    1343     6058    53912 |    19468    17439     21 |  0.000 % |
272.76/273.09	c |   1613026 |    1343     6058    53912 |    19468    17888     21 |  0.000 % |
272.86/273.18	c |   1613519 |    1343     6058    53912 |    19468    18381     21 |  0.000 % |
272.96/273.27	c |   1614061 |    1343     6058    53912 |    19468    18923     22 |  0.001 % |
273.16/273.40	c |   1614658 |    1343     6058    53912 |    19468    19520     22 |  0.000 % |
273.26/273.55	c |   1615313 |    1343     6058    53912 |    19468    16168     22 |  0.000 % |
273.36/273.68	c |   1616033 |    1343     6058    53912 |    19468    16888     22 |  0.000 % |
273.56/273.83	c |   1616825 |    1343     6058    53912 |    19468    17680     22 |  0.000 % |
273.76/274.02	c |   1617697 |    1343     6058    53912 |    19468    18552     22 |  0.000 % |
273.96/274.25	c |   1618656 |    1343     6058    53912 |    19468    19511     22 |  0.000 % |
274.26/274.51	c |   1619710 |    1343     6058    53912 |    19468    16497     22 |  0.000 % |
274.46/274.77	c |   1620868 |    1343     6058    53912 |    16789    14124     20 |  0.000 % |
274.76/275.05	c |   1622142 |    1343     6058    53912 |    16789    15398     20 |  0.001 % |
274.96/275.27	c |   1623542 |    1343     6058    53912 |    16789    16798     20 |  0.000 % |
275.26/275.51	c |   1625083 |    1343     6058    53912 |    16789    15122     20 |  0.000 % |
275.46/275.72	c |   1626778 |    1343     6058    53912 |    16789    16817     21 |  0.000 % |
275.76/276.00	c |   1628641 |    1343     6058    53912 |    16789    15592     22 |  0.000 % |
276.06/276.34	c |   1630690 |    1343     6058    53912 |    13959    12183     24 |  0.000 % |
276.46/276.72	c |   1632945 |    1343     6058    53912 |    13959    12387     24 |  0.000 % |
276.86/277.19	c |   1635428 |    1343     6058    53912 |    13959    12875     24 |  0.000 % |
277.36/277.65	c |   1638153 |    1343     6058    53912 |    13959    13546     23 |  0.000 % |
277.76/278.06	c |   1641152 |    1343     6058    53912 |    13440    12803     22 |  0.000 % |
278.26/278.55	c |   1644448 |    1343     6058    53912 |    13440    12957     22 |  0.000 % |
278.76/279.07	c |   1648073 |    1343     6058    53912 |    13440    13499     25 |  0.000 % |
279.36/279.63	c |   1652060 |    1343     6058    53912 |    12586    12050     26 |  0.001 % |
279.96/280.29	c |   1656445 |    1343     6058    53912 |    12586    12637     26 |  0.000 % |
280.76/281.02	c |   1661268 |    1343     6058    53912 | 2147483647    13659     25 |  0.000 % |
281.55/281.88	c |   1666574 |    1343     6058    53912 | 2147483647    18965     26 |  0.000 % |
283.35/283.66	c |   1672410 |    1343     6058    53912 |    22393    19867     24 |  0.000 % |
284.75/285.07	c |   1678828 |    1343     6058    53912 |    22393    20457     23 |  0.000 % |
286.55/286.84	c |   1685888 |    1343     6058    53912 |    21629    16303     20 |  0.000 % |
287.86/288.11	c |   1693653 |    1343     6058    53912 |    20418    18976     23 |  0.000 % |
289.55/289.81	c |   1702195 |    1343     6058    53912 |    20490    17881     25 |  0.000 % |
291.65/291.92	c |   1711589 |    1343     6058    53912 |    15438    13156     19 |  0.000 % |
293.35/293.66	c |   1721922 |    1343     6058    53912 |    13003    12623     21 |  0.000 % |
295.25/295.51	c |   1733289 |    1343     6058    53912 |    11646    11038     18 |  0.000 % |
297.05/297.33	c |   1745791 |    1343     6058    53912 | 2147483647    16506     26 |  0.000 % |
299.85/300.15	c |   1759543 |    1343     6058    53912 |    20715    19471     24 |  0.000 % |
302.94/303.29	c |   1774671 |    1343     6058    53912 |    17669    14945     21 |  0.000 % |
303.04/303.31	c |   1774771 |    1343     6058    53912 |    17669    15045     21 |  0.000 % |
303.04/303.34	c |   1774882 |    1343     6058    53912 |    17669    15156     21 |  0.000 % |
303.04/303.37	c |   1775003 |    1343     6058    53912 |    17669    15277     21 |  0.000 % |
303.04/303.39	c |   1775136 |    1343     6058    53912 |    17669    15410     21 |  0.000 % |
303.14/303.42	c |   1775282 |    1343     6058    53912 |    17669    15556     22 |  0.000 % |
303.14/303.44	c |   1775445 |    1343     6058    53912 |    17669    15719     22 |  0.000 % |
303.14/303.46	c |   1775622 |    1343     6058    53912 |    17669    15896     22 |  0.000 % |
303.14/303.49	c |   1775816 |    1343     6058    53912 |    17669    16090     22 |  0.000 % |
303.25/303.52	c |   1776029 |    1343     6058    53912 |    17669    16303     22 |  0.000 % |
303.25/303.57	c |   1776264 |    1343     6058    53912 |    17669    16538     22 |  0.000 % |
303.35/303.61	c |   1776522 |    1343     6058    53912 |    17669    16796     22 |  0.000 % |
303.35/303.66	c |   1776804 |    1343     6058    53912 |    17669    17078     22 |  0.000 % |
303.44/303.70	c |   1777116 |    1343     6058    53912 |    17669    17390     22 |  0.000 % |
303.44/303.79	c |   1777458 |    1343     6058    53912 |    17669    13981     20 |  0.000 % |
303.54/303.84	c |   1777830 |    1343     6058    53912 |    17669    14353     21 |  0.000 % |
303.64/303.90	c |   1778240 |    1343     6058    53912 |    17669    14763     21 |  0.000 % |
303.64/303.97	c |   1778691 |    1343     6058    53912 |    17669    15214     21 |  0.000 % |
303.74/304.03	c |   1779188 |    1343     6058    53912 |    17669    15711     22 |  0.000 % |
303.84/304.10	c |   1779731 |    1343     6058    53912 |    17669    16254     22 |  0.000 % |
303.94/304.21	c |   1780328 |    1343     6058    53912 |    16523    13596     21 |  0.000 % |
304.04/304.31	c |   1780986 |    1343     6058    53912 |    16523    14254     21 |  0.000 % |
304.14/304.42	c |   1781706 |    1343     6058    53912 |    16523    14974     21 |  0.000 % |
304.24/304.54	c |   1782499 |    1343     6058    53912 |    16523    15767     22 |  0.000 % |
304.35/304.70	c |   1783370 |    1343     6058    53912 |    16523    14161     21 |  0.000 % |
304.54/304.86	c |   1784330 |    1343     6058    53912 |    16523    15121     22 |  0.000 % |
304.74/305.02	c |   1785384 |    1343     6058    53912 |    16523    16175     22 |  0.000 % |
304.94/305.25	c |   1786543 |    1343     6058    53912 |    16523    14890     22 |  0.000 % |
305.14/305.43	c |   1787816 |    1343     6058    53912 |    16523    16163     23 |  0.000 % |
305.34/305.65	c |   1789218 |    1343     6058    53912 |    16523    15107     22 |  0.000 % |
305.64/305.92	c |   1790759 |    1343     6058    53912 |    15890    14313     21 |  0.000 % |
305.94/306.20	c |   1792453 |    1343     6058    53912 |    15890    13757     21 |  0.000 % |
306.14/306.46	c |   1794317 |    1343     6058    53912 |    15890    15621     22 |  0.000 % |
306.54/306.83	c |   1796372 |    1343     6058    53912 |    15890    15566     22 |  0.000 % |
306.94/307.22	c |   1798625 |    1343     6058    53912 |    15890    15605     23 |  0.000 % |
307.44/307.71	c |   1801103 |    1343     6058    53912 |    14687    13581     23 |  0.000 % |
307.94/308.20	c |   1803830 |    1343     6058    53912 |    14687    14010     22 |  0.000 % |
308.34/308.68	c |   1806827 |    1343     6058    53912 |    14687    14720     22 |  0.000 % |
308.94/309.24	c |   1810123 |    1343     6058    53912 |    13191    11277     23 |  0.000 % |
309.54/309.86	c |   1813748 |    1343     6058    53912 |    13191    13086     23 |  0.000 % |
310.04/310.39	c |   1817735 |    1343     6058    53912 |    13191    12307     22 |  0.000 % |
310.84/311.20	c |   1822121 |    1343     6058    53912 |    13183    12352     22 |  0.000 % |
311.74/312.07	c |   1826946 |    1343     6058    53912 |    13183    11938     20 |  0.000 % |
312.53/312.81	c |   1832251 |    1343     6058    53912 |    13209    12385     21 |  0.000 % |
313.33/313.69	c |   1838086 |    1343     6058    53912 |    13209    12858     22 |  0.000 % |
314.34/314.62	c |   1844504 |    1343     6058    53912 | 2147483647    16611     24 |  0.001 % |
316.13/316.42	c |   1851563 |    1343     6058    53912 |    22108    19251     25 |  0.000 % |
317.64/317.91	c |   1859327 |    1343     6058    53912 |    22108    22157     26 |  0.000 % |
319.03/319.31	c |   1867869 |    1343     6058    53912 |    18232    16242     25 |  0.000 % |
321.13/321.41	c |   1877264 |    1343     6058    53912 |    15255    15129     24 |  0.000 % |
323.03/323.32	c |   1887598 |    1343     6058    53912 |    15237    14830     22 |  0.000 % |
324.83/325.17	c |   1898965 |    1343     6058    53912 |    14726    13299     22 |  0.000 % |
326.94/327.26	c |   1911467 |    1343     6058    53912 |    13282    12940     20 |  0.000 % |
329.14/329.41	c |   1925220 |    1343     6058    53912 |    12852    12085     24 |  0.000 % |
331.54/331.80	c |   1940347 |    1343     6058    53912 |    11378    10575     19 |  0.000 % |
333.93/334.26	c |   1956986 |    1343     6058    53912 | 2147483647    18037     27 |  0.000 % |
333.93/334.28	c |   1957086 |    1343     6058    53912 | 2147483647    18137     27 |  0.000 % |
334.04/334.30	c |   1957196 |    1343     6058    53912 | 2147483647    18247     27 |  0.000 % |
334.04/334.33	c |   1957317 |    1343     6058    53912 | 2147483647    18368     27 |  0.000 % |
334.04/334.35	c |   1957450 |    1343     6058    53912 | 2147483647    18501     27 |  0.000 % |
334.04/334.37	c |   1957596 |    1343     6058    53912 | 2147483647    18647     27 |  0.000 % |
334.14/334.40	c |   1957756 |    1343     6058    53912 | 2147483647    18807     27 |  0.000 % |
334.14/334.44	c |   1957932 |    1343     6058    53912 | 2147483647    18983     27 |  0.000 % |
334.14/334.48	c |   1958127 |    1343     6058    53912 | 2147483647    19178     27 |  0.000 % |
334.23/334.53	c |   1958339 |    1343     6058    53912 | 2147483647    19390     27 |  0.000 % |
334.23/334.58	c |   1958573 |    1343     6058    53912 | 2147483647    19624     27 |  0.000 % |
334.33/334.63	c |   1958832 |    1343     6058    53912 | 2147483647    19883     27 |  0.000 % |
334.43/334.71	c |   1959113 |    1343     6058    53912 | 2147483647    20164     27 |  0.000 % |
334.43/334.77	c |   1959425 |    1343     6058    53912 | 2147483647    20476     27 |  0.000 % |
334.53/334.84	c |   1959765 |    1343     6058    53912 | 2147483647    20816     27 |  0.000 % |
334.63/334.95	c |   1960139 |    1343     6058    53912 |    21051    17565     26 |  0.000 % |
334.73/335.02	c |   1960548 |    1343     6058    53912 |    21051    17974     26 |  0.000 % |
334.83/335.11	c |   1961000 |    1343     6058    53912 |    21051    18426     26 |  0.000 % |
334.83/335.20	c |   1961493 |    1343     6058    53912 |    21051    18919     26 |  0.000 % |
335.03/335.32	c |   1962036 |    1343     6058    53912 |    21051    19462     26 |  0.000 % |
335.14/335.45	c |   1962632 |    1343     6058    53912 |    21051    20058     26 |  0.000 % |
335.33/335.64	c |   1963288 |    1343     6058    53912 |    21051    20714     26 |  0.000 % |
335.53/335.82	c |   1964008 |    1343     6058    53912 |    21051    16924     25 |  0.000 % |
335.63/335.99	c |   1964802 |    1343     6058    53912 |    21051    17718     25 |  0.000 % |
335.83/336.18	c |   1965673 |    1343     6058    53912 |    21051    18589     25 |  0.000 % |
336.13/336.41	c |   1966633 |    1343     6058    53912 |    21051    19549     25 |  0.000 % |
336.33/336.67	c |   1967687 |    1343     6058    53912 |    21051    20603     25 |  0.000 % |
336.63/336.97	c |   1968845 |    1343     6058    53912 |    21051    16902     23 |  0.000 % |
336.93/337.24	c |   1970121 |    1343     6058    53912 |    18057    14006     22 |  0.000 % |
337.23/337.56	c |   1971521 |    1343     6058    53912 |    18057    15406     22 |  0.000 % |
337.43/337.76	c |   1973064 |    1343     6058    53912 |    18057    16949     23 |  0.000 % |
338.03/338.33	c |   1974759 |    1343     6058    53912 |    18057    14261     22 |  0.000 % |
338.43/338.74	c |   1976622 |    1343     6058    53912 |    18057    16124     22 |  0.000 % |
338.93/339.29	c |   1978671 |    1343     6058    53912 |    18057    13770     21 |  0.000 % |
339.33/339.65	c |   1980924 |    1343     6058    53912 |    15100    12444     20 |  0.000 % |
339.63/339.98	c |   1983405 |    1343     6058    53912 |    15100    14925     20 |  0.000 % |
340.13/340.43	c |   1986131 |    1343     6058    53912 |    15100    15017     21 |  0.000 % |
340.63/340.98	c |   1989128 |    1343     6058    53912 |    15100    13230     21 |  0.000 % |
341.33/341.68	c |   1992425 |    1343     6058    53912 |    14102    11782     20 |  0.000 % |
342.03/342.32	c |   1996050 |    1343     6058    53912 |    14102    12965     20 |  0.000 % |
342.53/342.87	c |   2000037 |    1343     6058    53912 |    12452    12489     22 |  0.001 % |
343.13/343.45	c |   2004425 |    1343     6058    53912 |    12452    12069     23 |  0.000 % |
343.83/344.15	c |   2009249 |    1343     6058    53912 |    12452    11884     21 |  0.000 % |
344.63/344.99	c |   2014556 |    1343     6058    53912 | 2147483647    15941     23 |  0.000 % |
346.13/346.48	c |   2020393 |    1343     6058    53912 |    21385    17651     22 |  0.000 % |
347.53/347.85	c |   2026812 |    1343     6058    53912 |    21385    19106     22 |  0.000 % |
349.03/349.34	c |   2033871 |    1343     6058    53912 |    17126    16895     21 |  0.000 % |
350.33/350.64	c |   2041635 |    1343     6058    53912 |    15883    14465     20 |  0.000 % |
351.83/352.10	c |   2050175 |    1341     4782    42205 |     7742     6740     18 |  0.149 % |
352.93/353.25	c |   2059569 |    1341     4782    42205 |     7742     7537     23 |  0.149 % |
354.42/354.71	c |   2069903 |    1341     4782    42205 | 2147483647    17086     25 |  0.149 % |
357.42/357.77	c |   2081269 |    1341     4782    42205 |    27183    21018     21 |  0.149 % |
360.62/360.99	c |   2093773 |    1341     4782    42205 |    21881    19397     21 |  0.149 % |
363.83/364.18	c |   2107525 |    1341     4782    42205 |    20029    18339     22 |  0.149 % |
366.62/366.98	c |   2122652 |    1341     4782    42205 |    14538    12467     24 |  0.150 % |
369.42/369.77	c |   2139291 |    1339     3483    27734 |    13847     7187     20 |  0.298 % |
371.62/371.99	c |   2157595 |    1338     2842    19590 | 2147483647     7667     21 |  0.373 % |
371.72/372.00	c |   2157696 |    1338     2842    19590 | 2147483647     7768     21 |  0.373 % |
371.72/372.01	c |   2157808 |    1338     2842    19590 | 2147483647     7880     21 |  0.372 % |
371.72/372.03	c |   2157930 |    1338     2842    19590 | 2147483647     8002     21 |  0.372 % |
371.72/372.04	c |   2158064 |    1338     2842    19590 | 2147483647     8136     21 |  0.372 % |
371.72/372.06	c |   2158210 |    1338     2842    19590 | 2147483647     8282     21 |  0.372 % |
371.72/372.08	c |   2158372 |    1338     2842    19590 | 2147483647     8444     21 |  0.372 % |
371.82/372.11	c |   2158549 |    1338     2842    19590 | 2147483647     8621     21 |  0.372 % |
371.82/372.13	c |   2158744 |    1338     2842    19590 | 2147483647     8816     21 |  0.373 % |
371.82/372.16	c |   2158956 |    1338     2842    19590 | 2147483647     9028     21 |  0.372 % |
371.82/372.19	c |   2159189 |    1338     2842    19590 | 2147483647     9261     21 |  0.372 % |
371.92/372.23	c |   2159447 |    1338     2842    19590 | 2147483647     9519     21 |  0.372 % |
371.92/372.28	c |   2159728 |    1338     2842    19590 | 2147483647     9800     21 |  0.372 % |
372.02/372.33	c |   2160037 |    1338     2842    19590 | 2147483647    10109     21 |  0.372 % |
372.02/372.38	c |   2160379 |    1338     2842    19590 | 2147483647    10451     22 |  0.374 % |
372.12/372.44	c |   2160751 |    1338     2842    19590 | 2147483647    10823     21 |  0.372 % |
372.12/372.50	c |   2161160 |    1338     2842    19590 | 2147483647    11232     21 |  0.372 % |
372.22/372.57	c |   2161610 |    1338     2842    19590 | 2147483647    11682     22 |  0.372 % |
372.32/372.65	c |   2162104 |    1338     2842    19590 | 2147483647    12176     22 |  0.372 % |
372.42/372.76	c |   2162646 |    1338     2842    19590 | 2147483647    12718     22 |  0.372 % |
372.52/372.86	c |   2163243 |    1338     2842    19590 | 2147483647    13315     22 |  0.372 % |
372.62/372.99	c |   2163898 |    1338     2842    19590 | 2147483647    13970     22 |  0.372 % |
372.82/373.13	c |   2164618 |    1338     2842    19590 | 2147483647    14690     22 |  0.372 % |
372.92/373.28	c |   2165415 |    1338     2842    19590 | 2147483647    15487     22 |  0.372 % |
373.12/373.45	c |   2166286 |    1338     2842    19590 | 2147483647    16358     22 |  0.372 % |
373.42/373.72	c |   2167247 |    1338     2842    19590 | 2147483647    17319     22 |  0.372 % |
373.62/373.96	c |   2168301 |    1338     2842    19590 | 2147483647    18373     22 |  0.372 % |
374.02/374.39	c |   2169460 |    1338     2842    19590 | 2147483647    19532     22 |  0.372 % |
374.42/374.77	c |   2170733 |    1338     2842    19590 |    20074    16961     20 |  0.372 % |
374.82/375.19	c |   2172134 |    1338     2842    19590 |    20074    18362     20 |  0.373 % |
375.02/375.34	c ===============================================================================
375.02/375.34	c restarts              : 1627
375.02/375.34	c conflicts             : 2172638        (5795 /sec)
375.02/375.34	c decisions             : 6161785        (1.94 % random) (16435 /sec)
375.02/375.34	c propagations          : 80766465       (215420 /sec)
375.02/375.34	c conflict literals     : 60888747       (20.37 % deleted)
375.02/375.34	c Memory used           : 8.91 MB
375.02/375.34	c CPU time              : 374.926 s
375.02/375.34	c 
375.02/375.34	s UNSATISFIABLE
375.02/375.34	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832165-1242769974/watcher-1832165-1242769974 -o /tmp/evaluation-result-1832165-1242769974/solver-1832165-1242769974 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832165-1242769974.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.98 0.98 0.93 3/64 14389
/proc/meminfo: memFree=1824936/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 305024661 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 218076250194 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14389/statm: 1339 235 195 169 0 50 0
[pid=14390] ppid=14389 vsize=5356 CPUtime=0
/proc/14390/stat : 14390 (SatELiteGTI) R 14389 14389 14239 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305024662 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/14390/statm: 1339 238 198 169 0 50 0
[pid=14392] ppid=14390 vsize=0 CPUtime=0
/proc/14392/stat : 14392 (sed) Z 14390 14389 14239 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 305024662 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14392/statm: 0 0 0 0 0 0 0

[startup+0.041761 s]
/proc/loadavg: 0.98 0.98 0.93 3/64 14389
/proc/meminfo: memFree=1824936/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305024661 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14389/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101775 s]
/proc/loadavg: 0.98 0.98 0.93 3/64 14389
/proc/meminfo: memFree=1824936/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.301808 s]
/proc/loadavg: 0.98 0.98 0.93 3/64 14389
/proc/meminfo: memFree=1824936/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.701876 s]
/proc/loadavg: 0.98 0.98 0.93 3/64 14389
/proc/meminfo: memFree=1824936/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+1.50301 s]
/proc/loadavg: 0.98 0.98 0.93 2/66 14395
/proc/meminfo: memFree=1821912/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=4596 CPUtime=1.39
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 852 0 0 0 139 0 0 0 25 0 1 0 305024670 4706304 838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 1149 838 77 171 0 976 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9952

[startup+3.10127 s]
/proc/loadavg: 0.98 0.98 0.93 2/66 14395
/proc/meminfo: memFree=1820568/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=5724 CPUtime=2.99
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1118 0 0 0 299 0 0 0 25 0 1 0 305024670 5861376 1104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 1431 1104 77 171 0 1258 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11080

[startup+6.30181 s]
/proc/loadavg: 0.98 0.98 0.93 2/66 14395
/proc/meminfo: memFree=1819864/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=5724 CPUtime=6.18
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1148 0 0 0 618 0 0 0 25 0 1 0 305024670 5861376 1134 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 1431 1134 77 171 0 1258 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 11080

[startup+12.7019 s]
/proc/loadavg: 0.98 0.98 0.93 2/66 14395
/proc/meminfo: memFree=1819608/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=5860 CPUtime=12.58
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1172 0 0 0 1257 1 0 0 25 0 1 0 305024670 6000640 1158 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 1465 1158 77 171 0 1292 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 11216

[startup+25.502 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14395
/proc/meminfo: memFree=1819352/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=6124 CPUtime=25.35
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1237 0 0 0 2534 1 0 0 25 0 1 0 305024670 6270976 1223 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 1531 1223 77 171 0 1358 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 11480

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 14395
/proc/meminfo: memFree=1818904/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=6532 CPUtime=50.94
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1346 0 0 0 5091 3 0 0 25 0 1 0 305024670 6688768 1332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 1633 1332 77 171 0 1460 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 11888

[startup+102.306 s]
/proc/loadavg: 1.14 1.02 0.94 2/66 14395
/proc/meminfo: memFree=1817752/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=7600 CPUtime=102.1
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1607 0 0 0 10206 4 0 0 25 0 1 0 305024670 7782400 1593 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 1900 1593 77 171 0 1727 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 12956

[startup+162.302 s]
/proc/loadavg: 1.11 1.03 0.94 2/66 14395
/proc/meminfo: memFree=1817304/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=8012 CPUtime=162.05
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1690 0 0 0 16200 5 0 0 25 0 1 0 305024670 8204288 1676 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2003 1676 77 171 0 1830 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 13368

[startup+222.302 s]
/proc/loadavg: 1.10 1.04 0.95 2/66 14395
/proc/meminfo: memFree=1816984/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=8288 CPUtime=222.01
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1752 0 0 0 22196 5 0 0 25 0 1 0 305024670 8486912 1738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2072 1738 77 171 0 1899 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 13644

[startup+282.302 s]
/proc/loadavg: 1.03 1.03 0.95 2/66 14395
/proc/meminfo: memFree=1816536/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=8560 CPUtime=281.98
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1845 0 0 0 28192 6 0 0 25 0 1 0 305024670 8765440 1831 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2140 1831 77 171 0 1967 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 13916

[startup+342.302 s]
/proc/loadavg: 1.01 1.02 0.95 2/66 14395
/proc/meminfo: memFree=1816088/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=8992 CPUtime=341.96
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1931 0 0 0 34189 7 0 0 25 0 1 0 305024670 9207808 1917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2248 1917 77 171 0 2075 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 14348

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

[startup+358.302 s]
/proc/loadavg: 1.01 1.02 0.95 2/66 14395
/proc/meminfo: memFree=1816024/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=9124 CPUtime=357.95
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1955 0 0 0 35788 7 0 0 25 0 1 0 305024670 9342976 1941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2281 1941 77 171 0 2108 0
Current children cumulated CPU time (s) 358.02
Current children cumulated vsize (KiB) 14480

[startup+364.702 s]
/proc/loadavg: 1.01 1.02 0.95 2/66 14395
/proc/meminfo: memFree=1815960/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=9124 CPUtime=364.35
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1963 0 0 0 36428 7 0 0 25 0 1 0 305024670 9342976 1949 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2281 1949 77 171 0 2108 0
Current children cumulated CPU time (s) 364.42
Current children cumulated vsize (KiB) 14480

[startup+371.102 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 14395
/proc/meminfo: memFree=1815896/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=9124 CPUtime=370.75
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1967 0 0 0 37068 7 0 0 25 0 1 0 305024670 9342976 1953 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2281 1953 77 171 0 2108 0
Current children cumulated CPU time (s) 370.82
Current children cumulated vsize (KiB) 14480

[startup+372.702 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 14395
/proc/meminfo: memFree=1815896/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=9124 CPUtime=372.35
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1972 0 0 0 37228 7 0 0 25 0 1 0 305024670 9342976 1958 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2281 1958 77 171 0 2108 0
Current children cumulated CPU time (s) 372.42
Current children cumulated vsize (KiB) 14480

[startup+374.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 14395
/proc/meminfo: memFree=1815896/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=9124 CPUtime=373.95
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1972 0 0 0 37388 7 0 0 25 0 1 0 305024670 9342976 1958 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2281 1958 77 171 0 2108 0
Current children cumulated CPU time (s) 374.02
Current children cumulated vsize (KiB) 14480

[startup+375.106 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 14395
/proc/meminfo: memFree=1815896/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=9124 CPUtime=374.75
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1972 0 0 0 37468 7 0 0 25 0 1 0 305024670 9342976 1958 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2281 1958 77 171 0 2108 0
Current children cumulated CPU time (s) 374.82
Current children cumulated vsize (KiB) 14480

[startup+375.302 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 14395
/proc/meminfo: memFree=1815896/2055920 swapFree=4180328/4192956
[pid=14389] ppid=14387 vsize=5356 CPUtime=0.07
/proc/14389/stat : 14389 (SatELiteGTI) S 14387 14389 14239 0 -1 4194304 336 649 0 0 0 0 7 0 16 0 1 0 305024661 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14389/statm: 1339 239 197 169 0 50 0
[pid=14395] ppid=14389 vsize=9124 CPUtime=374.95
/proc/14395/stat : 14395 (minisat_static) R 14389 14389 14239 0 -1 4194304 1972 0 0 0 37488 7 0 0 25 0 1 0 305024670 9342976 1958 1992294400 134512640 135215339 4294956240 18446744073709551615 134526326 0 0 4096 3 0 0 0 17 1 0 0
/proc/14395/statm: 2281 1958 77 171 0 2108 0
Current children cumulated CPU time (s) 375.02
Current children cumulated vsize (KiB) 14480

Child status: 20
Real time (s): 375.355
CPU time (s): 375.094
CPU user time (s): 375.006
CPU system time (s): 0.087986
CPU usage (%): 99.9304
Max. virtual memory (cumulated for all children) (KiB): 14480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 375.006
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3119
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= 46
involuntary context switches= 3579

runsolver used 0.482926 second user time and 0.933858 second system time

The end

Launcher Data

Begin job on node57 at 2009-05-19 23:52:54
IDJOB=1832165
IDBENCH=24599
IDSOLVER=671
FILE ID=node57/1832165-1242769974
PBS_JOBID= 9322244
Free space on /tmp= 66040 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Medium/contest05/others/QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832165-1242769974/watcher-1832165-1242769974 -o /tmp/evaluation-result-1832165-1242769974/solver-1832165-1242769974 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832165-1242769974.cnf

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

MD5SUM BENCH= f9cdae8890dde718d40830262adc8433
RANDOM SEED=1960364712

node57.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.256
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.256
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:       1825480 kB
Buffers:         12728 kB
Cached:         181336 kB
SwapCached:       6944 kB
Active:          23236 kB
Inactive:       179308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825480 kB
SwapTotal:     4192956 kB
SwapFree:      4180328 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          13448 kB
Slab:            14040 kB
Committed_AS:   870356 kB
PageTables:       1392 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= 66036 MiB
End job on node57 at 2009-05-19 23:59:09