Trace number 1832249

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-18? (TO) 1200.06 1200.71

General information on the benchmark

Namecrafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
MD5SUMaf4e94e2262dd17f2c350e06d0de5672
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1920
Number of clauses6337
Sum of the clauses size17024
Maximum clause length64
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22048
Number of clauses of size 34288
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |    6337    17024 |    1901       0        0     nan |  0.000 % |
0.00/0.05	c |         0 |    5479    19257 |      --       0       --      -- |     --   | -858/2233
0.00/0.05	c ==============================================================================
0.00/0.05	c Result  :   #vars: 920   #clauses: 5479   #literals: 19257
0.00/0.05	c CPU time:   0.048992 s
0.00/0.05	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  920                                                  |
0.00/0.06	c |  Number of clauses:    5479                                                 |
0.00/0.06	c |  Parsing time:         0.00         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     920     5479    19257 |     1826        0    nan |  0.000 % |
0.05/0.07	c |       101 |     920     5479    19257 |     1826      101     42 |  0.000 % |
0.05/0.08	c |       201 |     920     5479    19257 |     1826      201     38 |  0.000 % |
0.05/0.08	c |       301 |     920     5479    19257 |     1826      301     33 |  0.000 % |
0.05/0.09	c |       411 |     920     5479    19257 |     1826      411     36 |  0.000 % |
0.05/0.09	c |       511 |     920     5479    19257 |     1826      511     36 |  0.000 % |
0.05/0.10	c |       621 |     920     5479    19257 |     1826      621     36 |  0.000 % |
0.05/0.11	c |       744 |     920     5479    19257 |     1826      744     38 |  0.000 % |
0.05/0.11	c |       845 |     920     5479    19257 |     1826      845     39 |  0.000 % |
0.05/0.12	c |       955 |     920     5479    19257 |     1826      955     41 |  0.000 % |
0.05/0.13	c |      1078 |     920     5479    19257 |     1826     1078     43 |  0.000 % |
0.05/0.14	c |      1212 |     920     5479    19257 |     1826     1212     42 |  0.000 % |
0.05/0.14	c |      1313 |     920     5479    19257 |     1826     1313     43 |  0.000 % |
0.05/0.15	c |      1423 |     920     5479    19257 |     1826     1423     43 |  0.000 % |
0.05/0.16	c |      1545 |     920     5479    19257 |     1826     1545     45 |  0.000 % |
0.05/0.17	c |      1678 |     920     5479    19257 |     1826     1678     44 |  0.000 % |
0.05/0.17	c |      1824 |     920     5479    19257 |     1826     1824     44 |  0.000 % |
0.05/0.18	c |      1924 |     920     5479    19257 |     1826     1924     44 |  0.000 % |
0.05/0.19	c |      2034 |     920     5479    19257 |     1826     1842     44 |  0.000 % |
0.05/0.20	c |      2156 |     920     5479    19257 |     1826     1780     46 |  0.000 % |
0.05/0.21	c |      2290 |     920     5479    19257 |     1826     1914     46 |  0.000 % |
0.05/0.22	c |      2437 |     920     5479    19257 |     1826     1870     47 |  0.000 % |
0.05/0.23	c |      2598 |     920     5479    19257 |     1826     1844     46 |  0.000 % |
0.05/0.23	c |      2698 |     920     5479    19257 |     1826     1760     45 |  0.000 % |
0.05/0.24	c |      2809 |     920     5479    19257 |     1826     1871     46 |  0.000 % |
0.05/0.25	c |      2931 |     920     5479    19257 |     1826     1806     45 |  0.000 % |
0.05/0.26	c |      3064 |     920     5479    19257 |     1826     1939     46 |  0.000 % |
0.05/0.27	c |      3210 |     920     5479    19257 |     1826     1892     45 |  0.000 % |
0.05/0.28	c |      3371 |     920     5479    19257 |     1826     1864     45 |  0.000 % |
0.05/0.29	c |      3547 |     920     5479    19257 |     1826     1854     46 |  0.000 % |
0.05/0.30	c |      3647 |     920     5479    19257 |     1826     1769     45 |  0.000 % |
0.05/0.31	c |      3757 |     920     5479    19257 |     1826     1879     45 |  0.000 % |
0.05/0.32	c |      3879 |     920     5479    19257 |     1826     1814     45 |  0.000 % |
0.05/0.33	c |      4012 |     920     5479    19257 |     1826     1754     46 |  0.000 % |
0.05/0.33	c |      4158 |     920     5479    19257 |     1826     1900     45 |  0.000 % |
0.05/0.34	c |      4318 |     920     5479    19257 |     1826     1870     44 |  0.000 % |
0.05/0.35	c |      4496 |     920     5479    19257 |     1826     1861     43 |  0.000 % |
0.05/0.36	c |      4690 |     920     5479    19257 |     1826     1869     42 |  0.000 % |
0.05/0.37	c |      4790 |     920     5479    19257 |     1826     1783     41 |  0.000 % |
0.05/0.38	c |      4900 |     920     5479    19257 |     1826     1893     42 |  0.000 % |
0.05/0.39	c |      5021 |     920     5479    19257 |     1826     1825     42 |  0.000 % |
0.05/0.40	c |      5154 |     920     5479    19257 |     1826     1770     42 |  0.000 % |
0.05/0.40	c |      5300 |     920     5479    19257 |     1826     1916     42 |  0.000 % |
0.05/0.41	c |      5460 |     920     5479    19257 |     1826     1885     42 |  0.000 % |
0.05/0.43	c |      5636 |     920     5479    19257 |     1826     1873     43 |  0.000 % |
0.05/0.45	c |      5830 |     920     5479    19257 |     1826     1880     44 |  0.000 % |
0.05/0.46	c |      6042 |     920     5479    19257 |     1826     1904     46 |  0.000 % |
0.05/0.47	c |      6142 |     920     5479    19257 |     1826     1814     47 |  0.000 % |
0.05/0.48	c |      6253 |     920     5479    19257 |     1826     1925     48 |  0.000 % |
0.05/0.49	c |      6374 |     920     5479    19257 |     1826     1854     47 |  0.000 % |
0.05/0.50	c |      6508 |     920     5479    19257 |     1826     1803     47 |  0.000 % |
0.05/0.51	c |      6654 |     920     5479    19257 |     1826     1949     47 |  0.000 % |
0.05/0.53	c |      6816 |     920     5479    19257 |     1826     1917     48 |  0.000 % |
0.05/0.54	c |      6992 |     920     5479    19257 |     1826     1902     47 |  0.000 % |
0.05/0.55	c |      7185 |     920     5479    19257 |     1826     1905     47 |  0.000 % |
0.05/0.57	c |      7397 |     920     5479    19257 |     1826     1927     47 |  0.000 % |
0.05/0.59	c |      7631 |     920     5479    19257 |     1826     1969     47 |  0.000 % |
0.05/0.60	c |      7731 |     920     5479    19257 |     1826     1873     47 |  0.000 % |
0.05/0.61	c |      7841 |     920     5479    19257 |     1826     1796     47 |  0.000 % |
0.05/0.62	c |      7962 |     920     5479    19257 |     1826     1917     47 |  0.000 % |
0.05/0.63	c |      8095 |     920     5479    19257 |     1826     1859     49 |  0.000 % |
0.05/0.64	c |      8241 |     920     5479    19257 |     1826     1820     46 |  0.000 % |
0.05/0.64	c |      8401 |     920     5479    19257 |     1826     1980     45 |  0.000 % |
0.05/0.65	c |      8578 |     920     5479    19257 |     1826     1959     43 |  0.000 % |
0.05/0.66	c |      8771 |     920     5479    19257 |     1826     1957     42 |  0.000 % |
0.05/0.68	c |      8983 |     920     5479    19257 |     1826     1974     41 |  0.000 % |
0.05/0.70	c |      9216 |     920     5479    19257 |     1826     2010     39 |  0.000 % |
0.05/0.71	c |      9473 |     920     5479    19257 |     1826     2066     39 |  0.000 % |
0.05/0.72	c |      9574 |     920     5479    19257 |     1826     1775     36 |  0.000 % |
0.05/0.72	c |      9685 |     920     5479    19257 |     1826     1886     36 |  0.000 % |
0.05/0.73	c |      9806 |     920     5479    19257 |     1826     1819     38 |  0.000 % |
0.05/0.74	c |      9940 |     920     5479    19257 |     1826     1953     39 |  0.000 % |
0.05/0.75	c |     10086 |     920     5479    19257 | 2147483647     1904     40 |  0.000 % |
0.05/0.76	c |     10248 |     920     5479    19257 | 2147483647     2066     41 |  0.000 % |
0.05/0.77	c |     10424 |     920     5479    19257 | 2147483647     2242     42 |  0.000 % |
0.05/0.79	c |     10617 |     920     5479    19257 | 2147483647     2435     44 |  0.000 % |
0.05/0.80	c |     10829 |     920     5479    19257 | 2147483647     2647     44 |  0.000 % |
0.05/0.83	c |     11063 |     920     5479    19257 | 2147483647     2881     45 |  0.000 % |
0.05/0.85	c |     11319 |     920     5479    19257 | 2147483647     3137     47 |  0.000 % |
0.05/0.87	c |     11600 |     920     5479    19257 | 2147483647     3418     47 |  0.000 % |
0.05/0.88	c |     11701 |     920     5479    19257 | 2147483647     3519     47 |  0.000 % |
0.05/0.90	c |     11811 |     920     5479    19257 | 2147483647     3629     48 |  0.000 % |
0.05/0.92	c |     11932 |     920     5479    19257 | 2147483647     3750     48 |  0.000 % |
0.05/0.93	c |     12067 |     920     5479    19257 | 2147483647     3885     49 |  0.000 % |
0.05/0.94	c |     12213 |     920     5479    19257 | 2147483647     4031     49 |  0.000 % |
0.05/0.96	c |     12373 |     920     5479    19257 | 2147483647     4191     49 |  0.000 % |
0.05/0.98	c |     12550 |     920     5479    19257 | 2147483647     4368     50 |  0.000 % |
0.98/1.00	c |     12743 |     920     5479    19257 | 2147483647     4561     51 |  0.000 % |
0.98/1.02	c |     12955 |     920     5479    19257 | 2147483647     4773     51 |  0.000 % |
0.98/1.05	c |     13188 |     920     5479    19257 | 2147483647     5006     51 |  0.000 % |
0.98/1.08	c |     13444 |     920     5479    19257 | 2147483647     5262     52 |  0.000 % |
1.08/1.13	c |     13727 |     920     5479    19257 | 2147483647     5545     52 |  0.000 % |
1.08/1.16	c |     14036 |     920     5479    19257 | 2147483647     5854     53 |  0.000 % |
1.08/1.17	c |     14137 |     920     5479    19257 | 2147483647     5955     53 |  0.000 % |
1.08/1.18	c |     14247 |     920     5479    19257 | 2147483647     6065     53 |  0.000 % |
1.08/1.19	c |     14368 |     920     5479    19257 | 2147483647     6186     53 |  0.000 % |
1.17/1.21	c |     14501 |     920     5479    19257 | 2147483647     6319     53 |  0.000 % |
1.17/1.22	c |     14648 |     920     5479    19257 | 2147483647     6466     53 |  0.000 % |
1.17/1.23	c |     14809 |     920     5479    19257 | 2147483647     6627     53 |  0.000 % |
1.17/1.25	c |     14987 |     920     5479    19257 | 2147483647     6805     53 |  0.000 % |
1.17/1.28	c |     15181 |     920     5479    19257 | 2147483647     6999     53 |  0.000 % |
1.27/1.31	c |     15393 |     920     5479    19257 | 2147483647     7211     53 |  0.000 % |
1.27/1.34	c |     15626 |     920     5479    19257 | 2147483647     7444     54 |  0.000 % |
1.27/1.37	c |     15882 |     920     5479    19257 | 2147483647     7700     54 |  0.000 % |
1.37/1.41	c |     16163 |     920     5479    19257 | 2147483647     7981     55 |  0.000 % |
1.37/1.45	c |     16472 |     920     5479    19257 | 2147483647     8290     55 |  0.000 % |
1.37/1.49	c |     16811 |     920     5479    19257 | 2147483647     8629     55 |  0.000 % |
1.37/1.49	c |     16911 |     920     5479    19257 | 2147483647     8729     55 |  0.000 % |
1.47/1.51	c |     17021 |     920     5479    19257 | 2147483647     8839     55 |  0.000 % |
1.47/1.52	c |     17142 |     920     5479    19257 | 2147483647     8960     55 |  0.000 % |
1.47/1.53	c |     17275 |     920     5479    19257 | 2147483647     9093     54 |  0.000 % |
1.47/1.54	c |     17421 |     920     5479    19257 | 2147483647     9239     54 |  0.000 % |
1.47/1.55	c |     17581 |     920     5479    19257 | 2147483647     9399     54 |  0.000 % |
1.47/1.57	c |     17758 |     920     5479    19257 | 2147483647     9576     55 |  0.000 % |
1.47/1.58	c |     17953 |     920     5479    19257 | 2147483647     9771     54 |  0.000 % |
1.57/1.60	c |     18165 |     920     5479    19257 | 2147483647     9983     54 |  0.000 % |
1.57/1.62	c |     18399 |     920     5479    19257 | 2147483647    10217     53 |  0.000 % |
1.57/1.65	c |     18656 |     920     5479    19257 | 2147483647    10474     53 |  0.000 % |
1.57/1.67	c |     18937 |     920     5479    19257 | 2147483647    10755     53 |  0.000 % |
1.57/1.68	c |     19246 |     920     5479    19257 | 2147483647    11064     53 |  0.000 % |
1.67/1.73	c |     19585 |     920     5479    19257 | 2147483647    11403     53 |  0.000 % |
1.67/1.76	c |     19957 |     920     5479    19257 | 2147483647    11775     53 |  0.000 % |
1.67/1.77	c |     20057 |     920     5479    19257 | 2147483647    11875     53 |  0.000 % |
1.67/1.79	c |     20168 |     920     5479    19257 | 2147483647    11986     52 |  0.000 % |
1.77/1.80	c |     20289 |     920     5479    19257 | 2147483647    12107     52 |  0.000 % |
1.77/1.81	c |     20423 |     920     5479    19257 | 2147483647    12241     53 |  0.000 % |
1.77/1.83	c |     20569 |     920     5479    19257 | 2147483647    12387     53 |  0.000 % |
1.77/1.85	c |     20730 |     920     5479    19257 | 2147483647    12548     53 |  0.000 % |
1.77/1.87	c |     20906 |     920     5479    19257 | 2147483647    12724     53 |  0.000 % |
1.77/1.89	c |     21100 |     920     5479    19257 | 2147483647    12918     53 |  0.000 % |
1.87/1.92	c |     21313 |     920     5479    19257 | 2147483647    13131     53 |  0.000 % |
1.87/1.95	c |     21546 |     920     5479    19257 | 2147483647    13364     53 |  0.000 % |
1.87/1.97	c |     21803 |     920     5479    19257 | 2147483647    13621     53 |  0.000 % |
1.97/2.01	c |     22084 |     920     5479    19257 | 2147483647    13902     53 |  0.000 % |
1.97/2.05	c |     22393 |     920     5479    19257 | 2147483647    14211     53 |  0.000 % |
1.97/2.09	c |     22732 |     920     5479    19257 | 2147483647    14550     53 |  0.000 % |
2.07/2.15	c |     23105 |     920     5479    19257 | 2147483647    14923     53 |  0.000 % |
2.17/2.21	c |     23517 |     920     5479    19257 | 2147483647    15335     53 |  0.000 % |
2.17/2.22	c |     23618 |     920     5479    19257 | 2147483647    15436     53 |  0.000 % |
2.17/2.23	c |     23728 |     920     5479    19257 | 2147483647    15546     53 |  0.000 % |
2.17/2.25	c |     23849 |     920     5479    19257 | 2147483647    15667     53 |  0.000 % |
2.17/2.27	c |     23982 |     920     5479    19257 | 2147483647    15800     53 |  0.000 % |
2.17/2.29	c |     24128 |     920     5479    19257 | 2147483647    15946     54 |  0.000 % |
2.27/2.32	c |     24289 |     920     5479    19257 | 2147483647    16107     54 |  0.000 % |
2.27/2.36	c |     24467 |     920     5479    19257 | 2147483647    16285     54 |  0.000 % |
2.27/2.38	c |     24661 |     920     5479    19257 | 2147483647    16479     54 |  0.000 % |
2.37/2.43	c |     24873 |     920     5479    19257 | 2147483647    16691     54 |  0.000 % |
2.37/2.48	c |     25107 |     920     5479    19257 | 2147483647    16925     54 |  0.000 % |
2.47/2.53	c |     25363 |     920     5479    19257 | 2147483647    17181     54 |  0.000 % |
2.57/2.60	c |     25644 |     920     5479    19257 | 2147483647    17462     55 |  0.000 % |
2.57/2.67	c |     25954 |     920     5479    19257 | 2147483647    17772     55 |  0.000 % |
2.67/2.75	c |     26293 |     920     5479    19257 | 2147483647    18111     55 |  0.000 % |
2.77/2.83	c |     26666 |     920     5479    19257 | 2147483647    18484     55 |  0.000 % |
2.87/2.93	c |     27077 |     920     5479    19257 | 2147483647    18895     55 |  0.000 % |
2.97/3.01	c |     27527 |     920     5479    19257 | 2147483647    19345     55 |  0.000 % |
2.97/3.03	c |     27628 |     920     5479    19257 | 2147483647    19446     55 |  0.000 % |
2.97/3.05	c |     27738 |     920     5479    19257 | 2147483647    19556     55 |  0.000 % |
2.97/3.07	c |     27861 |     920     5479    19257 | 2147483647    19679     56 |  0.000 % |
3.06/3.11	c |     27995 |     920     5479    19257 | 2147483647    19813     56 |  0.000 % |
3.06/3.14	c |     28141 |     920     5479    19257 | 2147483647    19959     56 |  0.000 % |
3.06/3.20	c |     28301 |     920     5479    19257 | 2147483647    20119     56 |  0.000 % |
3.17/3.23	c |     28477 |     920     5479    19257 | 2147483647    20295     56 |  0.000 % |
3.17/3.28	c |     28670 |     920     5479    19257 | 2147483647    20488     56 |  0.000 % |
3.27/3.31	c |     28883 |     920     5479    19257 | 2147483647    20701     56 |  0.000 % |
3.27/3.36	c |     29116 |     920     5479    19257 | 2147483647    20934     56 |  0.000 % |
3.36/3.41	c |     29372 |     920     5479    19257 | 2147483647    21190     56 |  0.000 % |
3.36/3.43	c |     29653 |     920     5479    19257 | 2147483647    21471     56 |  0.000 % |
3.36/3.46	c |     29962 |     920     5479    19257 | 2147483647    21780     55 |  0.000 % |
3.46/3.50	c |     30301 |     920     5479    19257 | 2147483647    22119     55 |  0.000 % |
3.46/3.54	c |     30673 |     920     5479    19257 | 2147483647    22491     55 |  0.000 % |
3.46/3.60	c |     31082 |     920     5479    19257 | 2147483647    22900     55 |  0.000 % |
3.56/3.68	c |     31531 |     920     5479    19257 | 2147483647    23349     55 |  0.000 % |
3.66/3.79	c |     32024 |     920     5479    19257 | 2147483647    23842     55 |  0.000 % |
3.76/3.83	c |     32125 |     920     5479    19257 | 2147483647    23943     55 |  0.000 % |
3.76/3.86	c |     32235 |     920     5479    19257 | 2147483647    24053     55 |  0.000 % |
3.86/3.90	c |     32356 |     920     5479    19257 | 2147483647    24174     55 |  0.000 % |
3.86/3.94	c |     32489 |     920     5479    19257 | 2147483647    24307     55 |  0.000 % |
3.86/3.98	c |     32636 |     920     5479    19257 | 2147483647    24454     56 |  0.000 % |
3.96/4.01	c |     32796 |     920     5479    19257 | 2147483647    24614     56 |  0.000 % |
3.96/4.05	c |     32972 |     920     5479    19257 | 2147483647    24790     56 |  0.000 % |
3.96/4.10	c |     33165 |     920     5479    19257 | 2147483647    24983     56 |  0.000 % |
4.06/4.16	c |     33377 |     920     5479    19257 | 2147483647    25195     56 |  0.000 % |
4.16/4.24	c |     33610 |     920     5479    19257 | 2147483647    25428     56 |  0.000 % |
4.26/4.32	c |     33866 |     920     5479    19257 | 2147483647    25684     56 |  0.000 % |
4.26/4.39	c |     34148 |     920     5479    19257 | 2147483647    25966     56 |  0.000 % |
4.36/4.48	c |     34458 |     920     5479    19257 | 2147483647    26276     56 |  0.000 % |
4.46/4.59	c |     34798 |     920     5479    19257 | 2147483647    26616     56 |  0.000 % |
4.66/4.70	c |     35171 |     920     5479    19257 | 2147483647    26989     57 |  0.000 % |
4.76/4.82	c |     35581 |     920     5479    19257 | 2147483647    27399     57 |  0.000 % |
4.86/4.96	c |     36031 |     920     5479    19257 | 2147483647    27849     57 |  0.000 % |
5.06/5.12	c |     36525 |     920     5479    19257 | 2147483647    28343     57 |  0.000 % |
5.26/5.32	c |     37068 |     920     5479    19257 | 2147483647    28886     58 |  0.000 % |
5.26/5.34	c |     37168 |     920     5479    19257 | 2147483647    28986     58 |  0.000 % |
5.26/5.37	c |     37278 |     920     5479    19257 | 2147483647    29096     58 |  0.000 % |
5.36/5.40	c |     37399 |     920     5479    19257 | 2147483647    29217     58 |  0.000 % |
5.36/5.45	c |     37532 |     920     5479    19257 | 2147483647    29350     58 |  0.000 % |
5.36/5.49	c |     37679 |     920     5479    19257 | 2147483647    29497     58 |  0.000 % |
5.46/5.54	c |     37840 |     920     5479    19257 | 2147483647    29658     58 |  0.000 % |
5.46/5.58	c |     38016 |     920     5479    19257 | 2147483647    29834     58 |  0.000 % |
5.55/5.65	c |     38209 |     920     5479    19257 | 2147483647    30027     58 |  0.000 % |
5.65/5.71	c |     38421 |     920     5479    19257 | 2147483647    30239     58 |  0.000 % |
5.65/5.79	c |     38654 |     920     5479    19257 | 2147483647    30472     58 |  0.000 % |
5.75/5.88	c |     38910 |     920     5479    19257 | 2147483647    30728     58 |  0.000 % |
5.85/5.98	c |     39192 |     920     5479    19257 | 2147483647    31010     58 |  0.000 % |
6.05/6.10	c |     39501 |     920     5479    19257 | 2147483647    31319     58 |  0.000 % |
6.15/6.23	c |     39840 |     920     5479    19257 | 2147483647    31658     58 |  0.000 % |
6.25/6.33	c |     40213 |     920     5479    19257 | 2147483647    32031     58 |  0.000 % |
6.35/6.47	c |     40623 |     920     5479    19257 | 2147483647    32441     58 |  0.000 % |
6.56/6.63	c |     41073 |     920     5479    19257 | 2147483647    32891     59 |  0.000 % |
6.85/6.98	c |     41566 |     920     5479    19257 | 2147483647    33384     59 |  0.000 % |
7.06/7.19	c |     42108 |     920     5479    19257 | 2147483647    33926     59 |  0.000 % |
7.36/7.42	c |     42705 |     920     5479    19257 | 2147483647    34523     59 |  0.000 % |
7.36/7.47	c |     42805 |     920     5479    19257 | 2147483647    34623     59 |  0.000 % |
7.46/7.51	c |     42916 |     920     5479    19257 | 2147483647    34734     59 |  0.000 % |
7.46/7.57	c |     43037 |     920     5479    19257 | 2147483647    34855     59 |  0.000 % |
7.56/7.64	c |     43171 |     920     5479    19257 | 2147483647    34989     59 |  0.000 % |
7.66/7.70	c |     43318 |     920     5479    19257 | 2147483647    35136     59 |  0.000 % |
7.66/7.77	c |     43479 |     920     5479    19257 | 2147483647    35297     59 |  0.000 % |
7.76/7.88	c |     43655 |     920     5479    19257 | 2147483647    35473     59 |  0.000 % |
7.86/7.98	c |     43848 |     920     5479    19257 | 2147483647    35666     59 |  0.000 % |
7.96/8.08	c |     44060 |     920     5479    19257 | 2147483647    35878     59 |  0.000 % |
8.16/8.21	c |     44293 |     920     5479    19257 | 2147483647    36111     59 |  0.000 % |
8.26/8.35	c |     44550 |     920     5479    19257 | 2147483647    36368     60 |  0.000 % |
8.36/8.47	c |     44833 |     920     5479    19257 | 2147483647    36651     60 |  0.000 % |
8.46/8.59	c |     45142 |     920     5479    19257 | 2147483647    36960     60 |  0.000 % |
8.66/8.75	c |     45482 |     920     5479    19257 | 2147483647    37300     60 |  0.000 % |
8.86/8.92	c |     45854 |     920     5479    19257 | 2147483647    37672     60 |  0.000 % |
8.96/9.10	c |     46263 |     920     5479    19257 | 2147483647    38081     60 |  0.000 % |
9.15/9.29	c |     46712 |     920     5479    19257 | 2147483647    38530     60 |  0.000 % |
9.45/9.59	c |     47205 |     920     5479    19257 | 2147483647    39023     60 |  0.000 % |
9.76/9.87	c |     47749 |     920     5479    19257 | 2147483647    39567     60 |  0.000 % |
10.05/10.11	c |     48347 |     920     5479    19257 | 2147483647    40165     61 |  0.000 % |
10.25/10.36	c |     49002 |     920     5479    19257 | 2147483647    40820     61 |  0.000 % |
10.35/10.40	c |     49102 |     920     5479    19257 | 2147483647    40920     61 |  0.000 % |
10.35/10.44	c |     49212 |     920     5479    19257 | 2147483647    41030     61 |  0.000 % |
10.35/10.47	c |     49333 |     920     5479    19257 | 2147483647    41151     60 |  0.000 % |
10.45/10.50	c |     49466 |     920     5479    19257 | 2147483647    41284     60 |  0.000 % |
10.45/10.55	c |     49612 |     920     5479    19257 | 2147483647    41430     60 |  0.000 % |
10.55/10.60	c |     49773 |     920     5479    19257 | 2147483647    41591     60 |  0.000 % |
10.55/10.64	c |     49950 |     920     5479    19257 | 2147483647    41768     60 |  0.000 % |
10.55/10.68	c |     50143 |     920     5479    19257 |    41818    41961     60 |  0.000 % |
10.65/10.77	c |     50355 |     920     5479    19257 |    41818    37637     60 |  0.000 % |
10.75/10.85	c |     50588 |     920     5479    19257 |    41818    37870     60 |  0.000 % |
10.85/10.93	c |     50845 |     920     5479    19257 |    41818    38127     60 |  0.000 % |
10.85/10.98	c |     51126 |     920     5479    19257 |    41818    38408     60 |  0.000 % |
10.95/11.04	c |     51437 |     920     5479    19257 |    41818    38719     60 |  0.000 % |
10.95/11.08	c |     51776 |     920     5479    19257 |    41818    39058     60 |  0.000 % |
11.05/11.15	c |     52149 |     920     5479    19257 |    41818    39431     60 |  0.000 % |
11.15/11.24	c |     52558 |     920     5479    19257 |    41818    39840     60 |  0.000 % |
11.35/11.44	c |     53008 |     920     5479    19257 |    41818    40290     60 |  0.000 % |
11.55/11.69	c |     53501 |     920     5479    19257 |    41818    40783     60 |  0.000 % |
11.95/12.06	c |     54045 |     920     5479    19257 |    41818    41327     60 |  0.000 % |
12.24/12.32	c |     54641 |     920     5479    19257 |    41818    41923     60 |  0.000 % |
12.45/12.52	c |     55296 |     920     5479    19257 |    41818    36922     61 |  0.000 % |
12.65/12.73	c |     56017 |     920     5479    19257 |    41818    37643     61 |  0.000 % |
12.65/12.77	c |     56117 |     920     5479    19257 |    41818    37743     61 |  0.000 % |
12.75/12.81	c |     56228 |     920     5479    19257 |    41818    37854     61 |  0.000 % |
12.75/12.86	c |     56349 |     920     5479    19257 |    41818    37975     61 |  0.000 % |
12.85/12.91	c |     56484 |     920     5479    19257 |    41818    38110     61 |  0.000 % |
12.85/12.95	c |     56630 |     920     5479    19257 |    41818    38256     61 |  0.000 % |
12.95/13.06	c |     56790 |     920     5479    19257 |    41818    38416     61 |  0.000 % |
13.06/13.13	c |     56968 |     920     5479    19257 |    41818    38594     61 |  0.000 % |
13.06/13.20	c |     57162 |     920     5479    19257 |    41818    38788     61 |  0.000 % |
13.16/13.27	c |     57374 |     920     5479    19257 |    41818    39000     61 |  0.000 % |
13.25/13.34	c |     57608 |     920     5479    19257 |    41818    39234     61 |  0.000 % |
13.35/13.45	c |     57864 |     920     5479    19257 |    41818    39490     61 |  0.000 % |
13.45/13.58	c |     58145 |     920     5479    19257 |    41818    39771     61 |  0.000 % |
13.65/13.70	c |     58455 |     920     5479    19257 |    41818    40081     61 |  0.000 % |
13.75/13.88	c |     58795 |     920     5479    19257 |    41818    40421     61 |  0.000 % |
13.95/14.05	c |     59167 |     920     5479    19257 |    41818    40793     62 |  0.000 % |
14.15/14.20	c |     59577 |     920     5479    19257 |    41818    41203     62 |  0.000 % |
14.35/14.48	c |     60027 |     920     5479    19257 |    41626    41653     62 |  0.000 % |
14.55/14.69	c |     60520 |     920     5479    19257 |    41626    35894     61 |  0.000 % |
14.85/14.98	c |     61063 |     920     5479    19257 |    41626    36437     61 |  0.000 % |
15.15/15.28	c |     61660 |     920     5479    19257 |    41626    37034     61 |  0.000 % |
15.45/15.58	c |     62315 |     920     5479    19257 |    41626    37689     62 |  0.000 % |
15.85/15.98	c |     63036 |     920     5479    19257 |    41626    38410     62 |  0.000 % |
16.45/16.56	c |     63830 |     920     5479    19257 |    41626    39204     62 |  0.000 % |
16.55/16.61	c |     63931 |     920     5479    19257 |    41626    39305     62 |  0.000 % |
16.55/16.67	c |     64041 |     920     5479    19257 |    41626    39415     62 |  0.000 % |
16.65/16.78	c |     64163 |     920     5479    19257 |    41626    39537     62 |  0.000 % |
16.75/16.86	c |     64297 |     920     5479    19257 |    41626    39671     62 |  0.000 % |
16.85/16.96	c |     64443 |     920     5479    19257 |    41626    39817     62 |  0.000 % |
16.95/17.08	c |     64603 |     920     5479    19257 |    41626    39977     62 |  0.000 % |
17.15/17.20	c |     64779 |     920     5479    19257 |    41626    40153     62 |  0.000 % |
17.25/17.33	c |     64973 |     920     5479    19257 |    41626    40347     62 |  0.000 % |
17.34/17.50	c |     65186 |     920     5479    19257 |    41626    40560     62 |  0.000 % |
17.55/17.68	c |     65420 |     920     5479    19257 |    41626    40794     62 |  0.000 % |
17.74/17.86	c |     65678 |     920     5479    19257 |    41626    41052     62 |  0.000 % |
17.94/18.06	c |     65959 |     920     5479    19257 |    41626    41333     63 |  0.000 % |
18.14/18.26	c |     66268 |     920     5479    19257 |    41626    41642     63 |  0.000 % |
18.44/18.53	c |     66607 |     920     5479    19257 |    41626    34755     63 |  0.000 % |
18.64/18.77	c |     66979 |     920     5479    19257 |    41626    35127     63 |  0.000 % |
18.94/19.02	c |     67388 |     920     5479    19257 |    41626    35536     63 |  0.000 % |
19.14/19.26	c |     67837 |     920     5479    19257 |    41626    35985     63 |  0.000 % |
19.44/19.51	c |     68330 |     920     5479    19257 |    41626    36478     63 |  0.000 % |
19.64/19.80	c |     68872 |     920     5479    19257 |    41626    37020     63 |  0.000 % |
20.04/20.12	c |     69469 |     920     5479    19257 |    41626    37617     63 |  0.000 % |
20.34/20.49	c |     70124 |     920     5479    19257 |    38148    32068     62 |  0.000 % |
20.64/20.79	c |     70844 |     920     5479    19257 |    38148    32788     62 |  0.000 % |
21.04/21.15	c |     71637 |     920     5479    19257 |    38148    33581     62 |  0.000 % |
21.44/21.59	c |     72509 |     920     5479    19257 |    38148    34453     62 |  0.000 % |
21.54/21.65	c |     72609 |     920     5479    19257 |    38148    34553     62 |  0.000 % |
21.64/21.71	c |     72720 |     920     5479    19257 |    38148    34664     62 |  0.000 % |
21.64/21.75	c |     72841 |     920     5479    19257 |    38148    34785     62 |  0.000 % |
21.74/21.80	c |     72975 |     920     5479    19257 |    38148    34919     62 |  0.000 % |
21.74/21.87	c |     73122 |     920     5479    19257 |    38148    35066     62 |  0.000 % |
21.84/21.93	c |     73282 |     920     5479    19257 |    38148    35226     63 |  0.000 % |
21.84/21.99	c |     73459 |     920     5479    19257 |    38148    35403     63 |  0.000 % |
22.04/22.10	c |     73652 |     920     5479    19257 |    38148    35596     63 |  0.000 % |
22.14/22.21	c |     73864 |     920     5479    19257 |    38148    35808     63 |  0.000 % |
22.24/22.34	c |     74097 |     920     5479    19257 |    38148    36041     63 |  0.000 % |
22.44/22.51	c |     74354 |     920     5479    19257 |    38148    36298     63 |  0.000 % |
22.54/22.67	c |     74635 |     920     5479    19257 |    38148    36579     63 |  0.000 % |
22.74/22.83	c |     74944 |     920     5479    19257 |    38148    36888     63 |  0.000 % |
22.94/23.04	c |     75283 |     920     5479    19257 |    38148    37227     63 |  0.000 % |
23.14/23.25	c |     75657 |     920     5479    19257 |    38148    37601     63 |  0.000 % |
23.44/23.54	c |     76066 |     920     5479    19257 |    38148    38010     63 |  0.000 % |
23.74/23.88	c |     76515 |     920     5479    19257 |    38148    32887     62 |  0.000 % |
24.14/24.20	c |     77008 |     920     5479    19257 |    38148    33380     62 |  0.000 % |
24.44/24.58	c |     77551 |     920     5479    19257 |    38148    33923     62 |  0.000 % |
24.94/25.06	c |     78148 |     920     5479    19257 |    38148    34520     63 |  0.000 % |
25.44/25.59	c |     78803 |     920     5479    19257 |    38148    35175     63 |  0.000 % |
25.94/26.06	c |     79523 |     920     5479    19257 |    38148    35895     63 |  0.000 % |
26.14/26.21	c |     80317 |     920     5479    19257 |    36373    36689     63 |  0.000 % |
26.24/26.39	c |     81189 |     920     5479    19257 |    36373    31921     63 |  0.000 % |
26.43/26.56	c |     82148 |     920     5479    19257 |    36373    32880     63 |  0.000 % |
26.43/26.57	c |     82249 |     920     5479    19257 |    36373    32981     63 |  0.000 % |
26.43/26.59	c |     82360 |     920     5479    19257 |    36373    33092     63 |  0.000 % |
26.53/26.61	c |     82481 |     920     5479    19257 |    36373    33213     63 |  0.000 % |
26.53/26.63	c |     82614 |     920     5479    19257 |    36373    33346     63 |  0.000 % |
26.53/26.66	c |     82760 |     920     5479    19257 |    36373    33492     62 |  0.000 % |
26.53/26.68	c |     82920 |     920     5479    19257 |    36373    33652     62 |  0.000 % |
26.63/26.73	c |     83096 |     920     5479    19257 |    36373    33828     62 |  0.000 % |
26.63/26.79	c |     83289 |     920     5479    19257 |    36373    34021     62 |  0.000 % |
26.73/26.86	c |     83502 |     920     5479    19257 |    36373    34234     62 |  0.000 % |
26.93/27.02	c |     83735 |     920     5479    19257 |    36373    34467     62 |  0.000 % |
26.93/27.09	c |     83991 |     920     5479    19257 |    36373    34723     62 |  0.000 % |
27.13/27.25	c |     84272 |     920     5479    19257 |    36373    35004     62 |  0.000 % |
27.23/27.40	c |     84581 |     920     5479    19257 |    36373    35313     62 |  0.000 % |
27.53/27.68	c |     84921 |     920     5479    19257 |    36373    35653     63 |  0.000 % |
27.73/27.84	c |     85293 |     920     5479    19257 |    36373    36025     63 |  0.000 % |
27.93/28.05	c |     85703 |     920     5479    19257 |    36373    36435     63 |  0.000 % |
28.13/28.28	c |     86152 |     920     5479    19257 |    36373    32438     62 |  0.000 % |
28.33/28.46	c |     86646 |     920     5479    19257 |    36373    32932     62 |  0.000 % |
28.63/28.72	c |     87188 |     920     5479    19257 |    36373    33474     62 |  0.000 % |
29.03/29.11	c |     87785 |     920     5479    19257 |    36373    34071     63 |  0.000 % |
29.33/29.50	c |     88440 |     920     5479    19257 |    36373    34726     63 |  0.000 % |
29.73/29.88	c |     89162 |     920     5479    19257 |    36373    35448     63 |  0.000 % |
30.33/30.40	c |     89954 |     920     5479    19257 |    36373    36240     63 |  0.000 % |
30.73/30.89	c |     90825 |     920     5479    19257 |    36286    33058     63 |  0.000 % |
31.43/31.50	c |     91783 |     920     5479    19257 |    36286    34016     63 |  0.000 % |
31.73/31.88	c |     92838 |     920     5479    19257 |    36286    35071     63 |  0.000 % |
31.73/31.89	c |     92938 |     920     5479    19257 |    36286    35171     63 |  0.000 % |
31.83/31.91	c |     93048 |     920     5479    19257 |    36286    35281     63 |  0.000 % |
31.83/31.94	c |     93169 |     920     5479    19257 |    36286    35402     63 |  0.000 % |
31.83/31.98	c |     93303 |     920     5479    19257 |    36286    35536     63 |  0.000 % |
31.93/32.01	c |     93449 |     920     5479    19257 |    36286    35682     62 |  0.000 % |
31.93/32.05	c |     93609 |     920     5479    19257 |    36286    35842     62 |  0.000 % |
31.93/32.09	c |     93787 |     920     5479    19257 |    36286    36020     62 |  0.000 % |
32.03/32.14	c |     93980 |     920     5479    19257 |    36286    36213     62 |  0.000 % |
32.13/32.27	c |     94194 |     920     5479    19257 |    36286    32786     61 |  0.000 % |
32.23/32.36	c |     94427 |     920     5479    19257 |    36286    33019     61 |  0.000 % |
32.42/32.50	c |     94683 |     920     5479    19257 |    36286    33275     61 |  0.000 % |
32.42/32.60	c |     94964 |     920     5479    19257 |    36286    33556     61 |  0.000 % |
32.62/32.71	c |     95275 |     920     5479    19257 |    36286    33867     61 |  0.000 % |
32.72/32.80	c |     95615 |     920     5479    19257 |    36286    34207     61 |  0.000 % |
32.83/32.94	c |     95987 |     920     5479    19257 |    36286    34579     61 |  0.000 % |
32.93/33.05	c |     96397 |     920     5479    19257 |    36286    34989     61 |  0.000 % |
33.02/33.20	c |     96847 |     920     5479    19257 |    36286    35439     61 |  0.000 % |
33.22/33.38	c |     97341 |     920     5479    19257 |    36286    35933     62 |  0.000 % |
33.42/33.55	c |     97883 |     920     5479    19257 |    36286    32834     61 |  0.000 % |
33.62/33.75	c |     98479 |     920     5479    19257 |    36286    33430     61 |  0.000 % |
33.82/33.95	c |     99134 |     920     5479    19257 |    36286    34085     61 |  0.000 % |
34.03/34.14	c |     99854 |     920     5479    19257 |    36286    34805     61 |  0.000 % |
34.22/34.36	c |    100647 |     920     5479    19257 | 2147483647    35598     61 |  0.000 % |
34.52/34.68	c |    101520 |     920     5479    19257 | 2147483647    36471     61 |  0.000 % |
34.92/35.08	c |    102479 |     920     5479    19257 | 2147483647    37430     62 |  0.000 % |
35.32/35.47	c |    103533 |     920     5479    19257 | 2147483647    38484     62 |  0.000 % |
36.02/36.20	c |    104692 |     920     5479    19257 | 2147483647    39643     62 |  0.000 % |
36.12/36.25	c |    104793 |     920     5479    19257 | 2147483647    39744     62 |  0.000 % |
36.22/36.30	c |    104903 |     920     5479    19257 | 2147483647    39854     62 |  0.000 % |
36.22/36.39	c |    105024 |     920     5479    19257 | 2147483647    39975     62 |  0.000 % |
36.32/36.49	c |    105157 |     920     5479    19257 | 2147483647    40108     62 |  0.000 % |
36.42/36.58	c |    105303 |     920     5479    19257 | 2147483647    40254     62 |  0.000 % |
36.52/36.69	c |    105464 |     920     5479    19257 | 2147483647    40415     62 |  0.000 % |
36.62/36.79	c |    105641 |     920     5479    19257 | 2147483647    40592     62 |  0.000 % |
36.82/36.94	c |    105835 |     920     5479    19257 | 2147483647    40786     62 |  0.000 % |
36.92/37.09	c |    106048 |     920     5479    19257 | 2147483647    40999     62 |  0.000 % |
37.12/37.28	c |    106281 |     920     5479    19257 | 2147483647    41232     62 |  0.000 % |
37.32/37.47	c |    106538 |     920     5479    19257 | 2147483647    41489     62 |  0.000 % |
37.52/37.65	c |    106820 |     920     5479    19257 | 2147483647    41771     62 |  0.000 % |
37.72/37.86	c |    107129 |     920     5479    19257 | 2147483647    42080     62 |  0.000 % |
37.92/38.04	c |    107468 |     920     5479    19257 | 2147483647    42419     62 |  0.000 % |
38.12/38.23	c |    107840 |     920     5479    19257 | 2147483647    42791     63 |  0.000 % |
38.42/38.53	c |    108250 |     920     5479    19257 | 2147483647    43201     63 |  0.000 % |
38.72/38.84	c |    108699 |     920     5479    19257 | 2147483647    43650     63 |  0.000 % |
39.02/39.11	c |    109192 |     920     5479    19257 | 2147483647    44143     63 |  0.000 % |
39.32/39.46	c |    109734 |     920     5479    19257 | 2147483647    44685     63 |  0.000 % |
39.82/39.94	c |    110330 |     920     5479    19257 |    44951    38063     61 |  0.000 % |
40.12/40.27	c |    110985 |     920     5479    19257 |    44951    38718     61 |  0.000 % |
40.53/40.67	c |    111706 |     920     5479    19257 |    44951    39439     62 |  0.000 % |
41.02/41.20	c |    112500 |     920     5479    19257 |    44951    40233     62 |  0.000 % |
41.52/41.60	c |    113372 |     920     5479    19257 |    44951    41105     62 |  0.000 % |
41.92/42.08	c |    114331 |     920     5479    19257 |    44951    42064     62 |  0.000 % |
42.83/42.90	c |    115384 |     920     5479    19257 |    44951    43117     62 |  0.000 % |
43.42/43.59	c |    116542 |     920     5479    19257 |    44951    44275     63 |  0.000 % |
44.22/44.38	c |    117816 |     920     5479    19257 |    44951    37520     63 |  0.000 % |
44.32/44.42	c |    117916 |     920     5479    19257 |    44951    37620     63 |  0.000 % |
44.32/44.48	c |    118026 |     920     5479    19257 |    44951    37730     63 |  0.000 % |
44.52/44.62	c |    118148 |     920     5479    19257 |    44951    37852     63 |  0.000 % |
44.62/44.74	c |    118281 |     920     5479    19257 |    44951    37985     63 |  0.000 % |
44.72/44.87	c |    118427 |     920     5479    19257 |    44951    38131     63 |  0.000 % |
44.82/44.96	c |    118587 |     920     5479    19257 |    44951    38291     63 |  0.000 % |
45.02/45.12	c |    118764 |     920     5479    19257 |    44951    38468     63 |  0.000 % |
45.12/45.23	c |    118958 |     920     5479    19257 |    44951    38662     63 |  0.000 % |
45.22/45.34	c |    119171 |     920     5479    19257 |    44951    38875     63 |  0.000 % |
45.32/45.49	c |    119404 |     920     5479    19257 |    44951    39108     63 |  0.000 % |
45.52/45.67	c |    119661 |     920     5479    19257 |    44951    39365     63 |  0.000 % |
45.72/45.82	c |    119943 |     920     5479    19257 |    44951    39647     64 |  0.000 % |
45.92/46.04	c |    120252 |     920     5479    19257 |    39704    32930     63 |  0.000 % |
46.12/46.23	c |    120592 |     920     5479    19257 |    39704    33270     63 |  0.000 % |
46.31/46.42	c |    120964 |     920     5479    19257 |    39704    33642     63 |  0.000 % |
46.41/46.60	c |    121375 |     920     5479    19257 |    39704    34053     63 |  0.000 % |
46.71/46.82	c |    121825 |     920     5479    19257 |    39704    34503     63 |  0.000 % |
46.91/47.03	c |    122318 |     920     5479    19257 |    39704    34996     63 |  0.000 % |
47.22/47.33	c |    122861 |     920     5479    19257 |    39704    35539     63 |  0.000 % |
47.51/47.66	c |    123457 |     920     5479    19257 |    39704    36135     64 |  0.000 % |
47.91/48.06	c |    124112 |     920     5479    19257 |    39704    36790     64 |  0.000 % |
48.41/48.58	c |    124833 |     920     5479    19257 |    39704    37511     64 |  0.000 % |
49.01/49.15	c |    125626 |     920     5479    19257 |    39704    38304     64 |  0.000 % |
49.51/49.70	c |    126498 |     920     5479    19257 |    39704    39176     64 |  0.000 % |
50.41/50.50	c |    127456 |     920     5479    19257 |    39704    34001     65 |  0.000 % |
50.81/50.97	c |    128511 |     920     5479    19257 |    39704    35056     65 |  0.000 % |
51.51/51.68	c |    129670 |     920     5479    19257 |    39704    36215     65 |  0.000 % |
52.21/52.35	c |    130943 |     920     5479    19257 |    36546    31899     65 |  0.000 % |
52.80/52.99	c |    132343 |     920     5479    19257 |    36546    33299     65 |  0.000 % |
52.90/53.04	c |    132444 |     920     5479    19257 |    36546    33400     65 |  0.000 % |
53.00/53.10	c |    132554 |     920     5479    19257 |    36546    33510     65 |  0.000 % |
53.00/53.18	c |    132676 |     920     5479    19257 |    36546    33632     65 |  0.000 % |
53.10/53.25	c |    132810 |     920     5479    19257 |    36546    33766     65 |  0.000 % |
53.20/53.34	c |    132956 |     920     5479    19257 |    36546    33912     65 |  0.000 % |
53.30/53.45	c |    133116 |     920     5479    19257 |    36546    34072     66 |  0.000 % |
53.40/53.53	c |    133292 |     920     5479    19257 |    36546    34248     66 |  0.000 % |
53.50/53.61	c |    133486 |     920     5479    19257 |    36546    34442     65 |  0.000 % |
53.60/53.72	c |    133699 |     920     5479    19257 |    36546    34655     66 |  0.000 % |
53.71/53.80	c |    133932 |     920     5479    19257 |    36546    34888     66 |  0.000 % |
53.71/53.89	c |    134190 |     920     5479    19257 |    36546    35146     66 |  0.000 % |
53.90/54.00	c |    134474 |     920     5479    19257 |    36546    35430     66 |  0.000 % |
54.00/54.11	c |    134783 |     920     5479    19257 |    36546    35739     66 |  0.000 % |
54.20/54.30	c |    135122 |     920     5479    19257 |    36546    36078     66 |  0.000 % |
54.30/54.48	c |    135495 |     920     5479    19257 |    36546    36451     66 |  0.000 % |
54.50/54.67	c |    135905 |     920     5479    19257 |    36546    32392     65 |  0.000 % |
54.70/54.84	c |    136354 |     920     5479    19257 |    36546    32841     65 |  0.000 % |
54.91/55.06	c |    136848 |     920     5479    19257 |    36546    33335     65 |  0.000 % |
55.20/55.33	c |    137390 |     920     5479    19257 |    36546    33877     65 |  0.000 % |
55.40/55.55	c |    137988 |     920     5479    19257 |    36546    34475     65 |  0.000 % |
55.80/55.92	c |    138643 |     920     5479    19257 |    36546    35130     65 |  0.000 % |
56.01/56.19	c |    139364 |     920     5479    19257 |    36546    35851     65 |  0.000 % |
56.40/56.58	c |    140156 |     920     5479    19257 |    36487    32584     65 |  0.000 % |
56.80/56.99	c |    141027 |     920     5479    19257 |    36487    33455     65 |  0.000 % |
57.40/57.57	c |    141985 |     920     5479    19257 |    36487    34413     65 |  0.000 % |
58.30/58.47	c |    143039 |     920     5479    19257 |    36487    35467     65 |  0.000 % |
59.31/59.41	c |    144197 |     920     5479    19257 |    36487    32007     64 |  0.000 % |
60.10/60.22	c |    145470 |     920     5479    19257 |    36487    33280     65 |  0.000 % |
60.70/60.87	c |    146872 |     920     5479    19257 |    36487    34682     65 |  0.000 % |
61.50/61.68	c |    148413 |     920     5479    19257 |    36487    36223     65 |  0.000 % |
61.60/61.75	c |    148514 |     920     5479    19257 |    36487    36324     65 |  0.000 % |
61.70/61.84	c |    148624 |     920     5479    19257 |    36487    36434     65 |  0.000 % |
61.80/61.90	c |    148746 |     920     5479    19257 |    36487    36556     65 |  0.000 % |
61.90/62.02	c |    148881 |     920     5479    19257 |    36487    32127     64 |  0.000 % |
61.90/62.08	c |    149028 |     920     5479    19257 |    36487    32274     64 |  0.000 % |
62.10/62.21	c |    149188 |     920     5479    19257 |    36487    32434     64 |  0.000 % |
62.20/62.32	c |    149364 |     920     5479    19257 |    36487    32610     64 |  0.000 % |
62.30/62.40	c |    149557 |     920     5479    19257 |    36487    32803     65 |  0.000 % |
62.40/62.54	c |    149771 |     920     5479    19257 |    36487    33017     65 |  0.000 % |
62.50/62.68	c |    150005 |     920     5479    19257 |    33247    33251     65 |  0.000 % |
62.80/62.91	c |    150262 |     920     5479    19257 |    33247    29350     64 |  0.000 % |
62.90/63.04	c |    150544 |     920     5479    19257 |    33247    29632     64 |  0.000 % |
63.00/63.19	c |    150855 |     920     5479    19257 |    33247    29943     64 |  0.000 % |
63.20/63.34	c |    151194 |     920     5479    19257 |    33247    30282     64 |  0.000 % |
63.30/63.48	c |    151566 |     920     5479    19257 |    33247    30654     64 |  0.000 % |
63.60/63.78	c |    151976 |     920     5479    19257 |    33247    31064     64 |  0.000 % |
63.90/64.06	c |    152425 |     920     5479    19257 |    33247    31513     64 |  0.000 % |
64.20/64.35	c |    152919 |     920     5479    19257 |    33247    32007     65 |  0.000 % |
64.50/64.68	c |    153461 |     920     5479    19257 |    33247    32549     65 |  0.000 % |
64.90/65.05	c |    154057 |     920     5479    19257 |    33247    33145     65 |  0.000 % |
65.39/65.57	c |    154712 |     920     5479    19257 |    33247    29684     64 |  0.000 % |
65.80/65.93	c |    155432 |     920     5479    19257 |    33247    30404     64 |  0.000 % |
66.19/66.32	c |    156224 |     920     5479    19257 |    33247    31196     64 |  0.000 % |
66.69/66.83	c |    157096 |     920     5479    19257 |    33247    32068     65 |  0.000 % |
67.29/67.48	c |    158054 |     920     5479    19257 |    33247    33026     65 |  0.000 % |
68.10/68.26	c |    159108 |     920     5479    19257 |    33247    29894     64 |  0.000 % |
68.79/68.93	c |    160266 |     920     5479    19257 |    30786    27445     64 |  0.000 % |
69.39/69.57	c |    161539 |     920     5479    19257 |    30786    28718     64 |  0.000 % |
69.99/70.19	c |    162939 |     920     5479    19257 |    30786    30118     65 |  0.000 % |
70.69/70.88	c |    164479 |     920     5479    19257 |    30786    28567     65 |  0.000 % |
71.19/71.38	c |    166173 |     920     5479    19257 |    30786    30261     64 |  0.000 % |
71.30/71.44	c |    166273 |     920     5479    19257 |    30786    30361     64 |  0.000 % |
71.30/71.49	c |    166383 |     920     5479    19257 |    30786    30471     64 |  0.000 % |
71.40/71.54	c |    166504 |     920     5479    19257 |    30786    30592     64 |  0.000 % |
71.49/71.63	c |    166638 |     920     5479    19257 |    30786    30726     64 |  0.000 % |
71.59/71.70	c |    166784 |     920     5479    19257 |    30786    30872     64 |  0.000 % |
71.59/71.79	c |    166944 |     920     5479    19257 |    30786    27945     64 |  0.000 % |
71.69/71.86	c |    167121 |     920     5479    19257 |    30786    28122     64 |  0.000 % |
71.79/71.94	c |    167314 |     920     5479    19257 |    30786    28315     64 |  0.000 % |
71.89/72.02	c |    167527 |     920     5479    19257 |    30786    28528     64 |  0.000 % |
71.99/72.17	c |    167762 |     920     5479    19257 |    30786    28763     64 |  0.000 % |
72.09/72.27	c |    168019 |     920     5479    19257 |    30786    29020     64 |  0.000 % |
72.29/72.44	c |    168300 |     920     5479    19257 |    30786    29301     64 |  0.000 % |
72.49/72.62	c |    168610 |     920     5479    19257 |    30786    29611     64 |  0.000 % |
72.59/72.76	c |    168949 |     920     5479    19257 |    30786    29950     64 |  0.000 % |
72.79/72.98	c |    169321 |     920     5479    19257 |    30786    30322     65 |  0.000 % |
72.99/73.14	c |    169731 |     920     5479    19257 |    30786    30732     65 |  0.000 % |
73.19/73.37	c |    170182 |     920     5479    19257 | 2147483647    28087     64 |  0.000 % |
73.39/73.56	c |    170675 |     920     5479    19257 | 2147483647    28580     64 |  0.000 % |
73.69/73.81	c |    171218 |     920     5479    19257 | 2147483647    29123     64 |  0.000 % |
73.99/74.11	c |    171814 |     920     5479    19257 | 2147483647    29719     64 |  0.000 % |
74.29/74.44	c |    172472 |     920     5479    19257 | 2147483647    30377     64 |  0.000 % |
74.59/74.71	c |    173192 |     920     5479    19257 | 2147483647    31097     65 |  0.000 % |
74.79/74.97	c |    173984 |     920     5479    19257 | 2147483647    31889     65 |  0.000 % |
75.09/75.29	c |    174855 |     920     5479    19257 | 2147483647    32760     65 |  0.000 % |
75.59/75.70	c |    175813 |     920     5479    19257 | 2147483647    33718     65 |  0.000 % |
75.99/76.17	c |    176866 |     920     5479    19257 | 2147483647    34771     65 |  0.000 % |
76.49/76.69	c |    178024 |     920     5479    19257 | 2147483647    35929     65 |  0.000 % |
77.19/77.30	c |    179297 |     920     5479    19257 | 2147483647    37202     66 |  0.000 % |
77.79/77.90	c |    180698 |     920     5479    19257 | 2147483647    38603     66 |  0.000 % |
78.39/78.54	c |    182238 |     920     5479    19257 | 2147483647    40143     66 |  0.000 % |
79.19/79.39	c |    183932 |     920     5479    19257 | 2147483647    41837     66 |  0.000 % |
80.09/80.28	c |    185796 |     920     5479    19257 | 2147483647    43701     66 |  0.000 % |
80.19/80.33	c |    185896 |     920     5479    19257 | 2147483647    43801     66 |  0.000 % |
80.19/80.38	c |    186006 |     920     5479    19257 | 2147483647    43911     66 |  0.000 % |
80.28/80.48	c |    186127 |     920     5479    19257 | 2147483647    44032     66 |  0.000 % |
80.38/80.55	c |    186262 |     920     5479    19257 | 2147483647    44167     66 |  0.000 % |
80.48/80.64	c |    186409 |     920     5479    19257 | 2147483647    44314     66 |  0.000 % |
80.58/80.76	c |    186569 |     920     5479    19257 | 2147483647    44474     66 |  0.000 % |
80.68/80.84	c |    186746 |     920     5479    19257 | 2147483647    44651     66 |  0.000 % |
80.78/80.95	c |    186939 |     920     5479    19257 | 2147483647    44844     66 |  0.000 % |
80.98/81.10	c |    187152 |     920     5479    19257 | 2147483647    45057     66 |  0.000 % |
81.08/81.26	c |    187386 |     920     5479    19257 | 2147483647    45291     66 |  0.000 % |
81.19/81.39	c |    187642 |     920     5479    19257 | 2147483647    45547     66 |  0.000 % |
81.38/81.54	c |    187924 |     920     5479    19257 | 2147483647    45829     66 |  0.000 % |
81.58/81.70	c |    188233 |     920     5479    19257 | 2147483647    46138     66 |  0.000 % |
81.68/81.88	c |    188574 |     920     5479    19257 | 2147483647    46479     66 |  0.000 % |
81.98/82.19	c |    188946 |     920     5479    19257 | 2147483647    46851     66 |  0.000 % |
82.40/82.51	c |    189355 |     920     5479    19257 | 2147483647    47260     66 |  0.000 % |
82.69/82.89	c |    189804 |     920     5479    19257 | 2147483647    47709     66 |  0.000 % |
83.09/83.25	c |    190298 |     920     5479    19257 |    47906    48203     66 |  0.000 % |
83.50/83.67	c |    190841 |     920     5479    19257 |    47906    41181     65 |  0.000 % |
83.79/83.99	c |    191437 |     920     5479    19257 |    47906    41777     65 |  0.000 % |
84.29/84.45	c |    192093 |     920     5479    19257 |    47906    42433     66 |  0.000 % |
84.89/85.01	c |    192813 |     920     5479    19257 |    47906    43153     66 |  0.000 % |
85.39/85.56	c |    193606 |     920     5479    19257 |    47906    43946     66 |  0.000 % |
86.09/86.24	c |    194478 |     920     5479    19257 |    47906    44818     66 |  0.000 % |
86.89/87.03	c |    195436 |     920     5479    19257 |    47906    45776     66 |  0.000 % |
87.79/87.91	c |    196489 |     920     5479    19257 |    47906    46829     66 |  0.000 % |
88.89/89.04	c |    197647 |     920     5479    19257 |    47906    47987     66 |  0.000 % |
89.89/90.05	c |    198921 |     920     5479    19257 |    47906    40249     66 |  0.000 % |
91.19/91.37	c |    200322 |     920     5479    19257 |    41329    33700     65 |  0.000 % |
92.09/92.20	c |    201862 |     920     5479    19257 |    41329    35240     65 |  0.000 % |
93.09/93.26	c |    203557 |     920     5479    19257 |    41329    36935     66 |  0.000 % |
94.29/94.46	c |    205421 |     920     5479    19257 |    41329    38799     66 |  0.000 % |
95.68/95.85	c |    207471 |     920     5479    19257 |    41329    40849     66 |  0.000 % |
95.78/95.92	c |    207571 |     920     5479    19257 |    41329    40949     66 |  0.000 % |
95.78/95.99	c |    207681 |     920     5479    19257 |    41329    41059     66 |  0.000 % |
95.88/96.08	c |    207805 |     920     5479    19257 |    41329    41183     66 |  0.000 % |
95.98/96.18	c |    207939 |     920     5479    19257 |    41329    41317     66 |  0.000 % |
96.18/96.30	c |    208085 |     920     5479    19257 |    41329    41463     66 |  0.000 % |
96.38/96.54	c |    208245 |     920     5479    19257 |    41329    34582     65 |  0.000 % |
96.48/96.64	c |    208422 |     920     5479    19257 |    41329    34759     65 |  0.000 % |
96.58/96.78	c |    208615 |     920     5479    19257 |    41329    34952     65 |  0.000 % |
96.68/96.89	c |    208828 |     920     5479    19257 |    41329    35165     65 |  0.000 % |
96.78/97.00	c |    209064 |     920     5479    19257 |    41329    35401     65 |  0.000 % |
96.98/97.16	c |    209320 |     920     5479    19257 |    41329    35657     65 |  0.000 % |
97.08/97.29	c |    209601 |     920     5479    19257 |    41329    35938     65 |  0.000 % |
97.28/97.44	c |    209910 |     920     5479    19257 |    41329    36247     65 |  0.000 % |
97.48/97.66	c |    210249 |     920     5479    19257 |    36337    30508     65 |  0.000 % |
97.68/97.90	c |    210622 |     920     5479    19257 |    36337    30881     65 |  0.000 % |
97.98/98.16	c |    211031 |     920     5479    19257 |    36337    31290     65 |  0.000 % |
98.28/98.44	c |    211481 |     920     5479    19257 |    36337    31740     66 |  0.000 % |
98.58/98.79	c |    211974 |     920     5479    19257 |    36337    32233     66 |  0.000 % |
98.88/99.05	c |    212516 |     920     5479    19257 |    36337    32775     66 |  0.000 % |
99.28/99.46	c |    213112 |     920     5479    19257 |    36337    33371     66 |  0.000 % |
99.68/99.87	c |    213768 |     920     5479    19257 |    36337    34027     66 |  0.000 % |
100.08/100.27	c |    214488 |     920     5479    19257 |    36337    34747     66 |  0.000 % |
100.58/100.71	c |    215280 |     920     5479    19257 |    36337    35539     66 |  0.000 % |
101.18/101.35	c |    216151 |     920     5479    19257 |    36337    36410     66 |  0.000 % |
101.78/101.94	c |    217111 |     920     5479    19257 |    36337    32286     66 |  0.000 % |
102.38/102.56	c |    218164 |     920     5479    19257 |    36337    33339     66 |  0.000 % |
102.88/103.04	c |    219322 |     920     5479    19257 |    36337    34497     66 |  0.000 % |
103.48/103.69	c |    220595 |     920     5479    19257 |    35175    31124     65 |  0.000 % |
104.28/104.41	c |    221996 |     920     5479    19257 |    35175    32525     66 |  0.000 % |
104.88/105.03	c |    223536 |     920     5479    19257 |    35175    34065     66 |  0.000 % |
105.97/106.12	c |    225230 |     920     5479    19257 |    35175    31433     65 |  0.000 % |
106.97/107.19	c |    227093 |     920     5479    19257 |    35175    33296     65 |  0.000 % |
107.87/108.04	c |    229143 |     920     5479    19257 |    35175    35346     65 |  0.000 % |
108.97/109.12	c |    231396 |     920     5479    19257 |    32274    30241     64 |  0.000 % |
108.97/109.17	c |    231496 |     920     5479    19257 |    32274    30341     64 |  0.000 % |
109.07/109.22	c |    231607 |     920     5479    19257 |    32274    30452     64 |  0.000 % |
109.07/109.28	c |    231728 |     920     5479    19257 |    32274    30573     64 |  0.000 % |
109.17/109.34	c |    231861 |     920     5479    19257 |    32274    30706     64 |  0.000 % |
109.27/109.42	c |    232008 |     920     5479    19257 |    32274    30853     64 |  0.000 % |
109.37/109.53	c |    232168 |     920     5479    19257 |    32274    31013     64 |  0.000 % |
109.47/109.61	c |    232345 |     920     5479    19257 |    32274    31190     64 |  0.000 % |
109.57/109.73	c |    232539 |     920     5479    19257 |    32274    31384     64 |  0.000 % |
109.67/109.87	c |    232751 |     920     5479    19257 |    32274    31596     64 |  0.000 % |
109.77/110.00	c |    232985 |     920     5479    19257 |    32274    31830     64 |  0.000 % |
109.97/110.14	c |    233241 |     920     5479    19257 |    32274    32086     64 |  0.000 % |
110.07/110.25	c |    233522 |     920     5479    19257 |    32274    32367     64 |  0.000 % |
110.27/110.47	c |    233831 |     920     5479    19257 |    32274    29440     64 |  0.000 % |
110.47/110.67	c |    234171 |     920     5479    19257 |    32274    29780     64 |  0.000 % |
110.67/110.88	c |    234543 |     920     5479    19257 |    32274    30152     64 |  0.000 % |
111.07/111.22	c |    234952 |     920     5479    19257 |    32274    30561     64 |  0.000 % |
111.47/111.62	c |    235401 |     920     5479    19257 |    32274    31010     64 |  0.000 % |
111.77/111.92	c |    235895 |     920     5479    19257 |    32274    31504     65 |  0.000 % |
111.97/112.18	c |    236438 |     920     5479    19257 |    32274    32047     65 |  0.000 % |
112.26/112.48	c |    237035 |     920     5479    19257 |    32274    29407     64 |  0.000 % |
112.56/112.79	c |    237690 |     920     5479    19257 |    32274    30062     64 |  0.000 % |
113.07/113.27	c |    238410 |     920     5479    19257 |    32274    30782     64 |  0.000 % |
113.56/113.74	c |    239204 |     920     5479    19257 |    32274    31576     64 |  0.000 % |
114.17/114.35	c |    240076 |     920     5479    19257 | 2147483647    32448     65 |  0.000 % |
114.86/115.06	c |    241035 |     920     5479    19257 | 2147483647    33407     65 |  0.000 % |
115.46/115.68	c |    242088 |     920     5479    19257 | 2147483647    34460     65 |  0.000 % |
116.47/116.61	c |    243246 |     920     5479    19257 | 2147483647    35618     66 |  0.000 % |
117.36/117.59	c |    244519 |     920     5479    19257 | 2147483647    36891     66 |  0.000 % |
118.46/118.67	c |    245919 |     920     5479    19257 | 2147483647    38291     66 |  0.000 % |
119.56/119.74	c |    247459 |     920     5479    19257 | 2147483647    39831     67 |  0.000 % |
120.87/121.01	c |    249153 |     920     5479    19257 | 2147483647    41525     67 |  0.000 % |
121.97/122.13	c |    251017 |     920     5479    19257 |    42372    36959     66 |  0.000 % |
124.26/124.45	c |    253067 |     920     5479    19257 |    42372    39009     66 |  0.000 % |
125.66/125.89	c |    255321 |     920     5479    19257 |    42372    41263     67 |  0.000 % |
127.36/127.55	c |    257799 |     920     5479    19257 |    42372    36556     66 |  0.000 % |
127.46/127.61	c |    257899 |     920     5479    19257 |    42372    36656     66 |  0.000 % |
127.46/127.65	c |    258009 |     920     5479    19257 |    42372    36766     66 |  0.000 % |
127.56/127.73	c |    258130 |     920     5479    19257 |    42372    36887     66 |  0.000 % |
127.56/127.80	c |    258264 |     920     5479    19257 |    42372    37021     66 |  0.000 % |
127.66/127.87	c |    258410 |     920     5479    19257 |    42372    37167     66 |  0.000 % |
127.76/127.96	c |    258570 |     920     5479    19257 |    42372    37327     66 |  0.000 % |
127.86/128.07	c |    258747 |     920     5479    19257 |    42372    37504     66 |  0.000 % |
128.06/128.21	c |    258940 |     920     5479    19257 |    42372    37697     66 |  0.000 % |
128.16/128.33	c |    259152 |     920     5479    19257 |    42372    37909     66 |  0.000 % |
128.26/128.48	c |    259386 |     920     5479    19257 |    42372    38143     66 |  0.000 % |
128.46/128.61	c |    259642 |     920     5479    19257 |    42372    38399     66 |  0.000 % |
128.56/128.77	c |    259923 |     920     5479    19257 |    42372    38680     66 |  0.000 % |
128.86/129.03	c |    260232 |     920     5479    19257 |    38757    32716     65 |  0.000 % |
129.06/129.23	c |    260572 |     920     5479    19257 |    38757    33056     65 |  0.000 % |
129.36/129.57	c |    260946 |     920     5479    19257 |    38757    33430     66 |  0.000 % |
129.66/129.85	c |    261356 |     920     5479    19257 |    38757    33840     66 |  0.000 % |
129.86/130.09	c |    261805 |     920     5479    19257 |    38757    34289     66 |  0.000 % |
130.26/130.41	c |    262298 |     920     5479    19257 |    38757    34782     66 |  0.000 % |
130.56/130.80	c |    262840 |     920     5479    19257 |    38757    35324     66 |  0.000 % |
130.96/131.18	c |    263436 |     920     5479    19257 |    38757    35920     66 |  0.000 % |
131.55/131.78	c |    264091 |     920     5479    19257 |    38757    36575     66 |  0.000 % |
132.05/132.27	c |    264812 |     920     5479    19257 |    38757    37296     66 |  0.000 % |
132.55/132.73	c |    265604 |     920     5479    19257 |    38757    38088     66 |  0.000 % |
133.05/133.22	c |    266476 |     920     5479    19257 |    38757    33057     65 |  0.000 % |
133.45/133.64	c |    267434 |     920     5479    19257 |    38757    34015     65 |  0.000 % |
134.06/134.22	c |    268488 |     920     5479    19257 |    38757    35069     65 |  0.000 % |
134.85/135.03	c |    269647 |     920     5479    19257 |    38757    36228     66 |  0.000 % |
135.55/135.78	c |    270920 |     920     5479    19257 |    36581    32219     64 |  0.000 % |
136.55/136.73	c |    272320 |     920     5479    19257 |    36581    33619     65 |  0.000 % |
137.55/137.75	c |    273860 |     920     5479    19257 |    36581    35159     65 |  0.000 % |
138.65/138.87	c |    275554 |     920     5479    19257 |    36581    32097     65 |  0.000 % |
139.85/140.03	c |    277418 |     920     5479    19257 |    36581    33961     66 |  0.000 % |
140.94/141.18	c |    279468 |     920     5479    19257 |    36581    36011     66 |  0.000 % |
142.24/142.43	c |    281722 |     920     5479    19257 |    36543    33214     66 |  0.000 % |
144.14/144.32	c |    284200 |     920     5479    19257 |    36543    35692     66 |  0.000 % |
145.34/145.58	c |    286926 |     920     5479    19257 |    36543    34185     66 |  0.000 % |
145.44/145.63	c |    287026 |     920     5479    19257 |    36543    34285     66 |  0.000 % |
145.54/145.74	c |    287137 |     920     5479    19257 |    36543    34396     66 |  0.000 % |
145.64/145.83	c |    287258 |     920     5479    19257 |    36543    34517     66 |  0.000 % |
145.74/145.94	c |    287392 |     920     5479    19257 |    36543    34651     66 |  0.000 % |
145.84/146.04	c |    287539 |     920     5479    19257 |    36543    34798     66 |  0.000 % |
146.05/146.23	c |    287699 |     920     5479    19257 |    36543    34958     66 |  0.000 % |
146.15/146.34	c |    287875 |     920     5479    19257 |    36543    35134     66 |  0.000 % |
146.24/146.44	c |    288068 |     920     5479    19257 |    36543    35327     66 |  0.000 % |
146.34/146.56	c |    288280 |     920     5479    19257 |    36543    35539     66 |  0.000 % |
146.54/146.70	c |    288513 |     920     5479    19257 |    36543    35772     66 |  0.000 % |
146.64/146.86	c |    288769 |     920     5479    19257 |    36543    36028     66 |  0.000 % |
146.84/147.03	c |    289050 |     920     5479    19257 |    36543    36309     67 |  0.000 % |
147.04/147.25	c |    289361 |     920     5479    19257 |    36543    36620     67 |  0.000 % |
147.24/147.49	c |    289700 |     920     5479    19257 |    36543    32606     67 |  0.000 % |
147.54/147.70	c |    290075 |     920     5479    19257 |    32906    32981     67 |  0.000 % |
147.74/147.92	c |    290484 |     920     5479    19257 |    32906    29442     66 |  0.000 % |
148.04/148.24	c |    290934 |     920     5479    19257 |    32906    29892     66 |  0.000 % |
148.34/148.52	c |    291427 |     920     5479    19257 |    32906    30385     66 |  0.000 % |
148.64/148.80	c |    291969 |     920     5479    19257 |    32906    30927     66 |  0.000 % |
148.94/149.10	c |    292566 |     920     5479    19257 |    32906    31524     66 |  0.000 % |
149.44/149.62	c |    293221 |     920     5479    19257 |    32906    32179     66 |  0.000 % |
149.74/149.95	c |    293941 |     920     5479    19257 |    32906    32899     67 |  0.000 % |
150.14/150.38	c |    294733 |     920     5479    19257 |    32906    30383     66 |  0.000 % |
150.64/150.83	c |    295604 |     920     5479    19257 |    32906    31254     66 |  0.000 % |
151.14/151.30	c |    296563 |     920     5479    19257 |    32906    32213     66 |  0.000 % |
151.84/152.04	c |    297616 |     920     5479    19257 |    32906    29963     66 |  0.000 % |
152.44/152.66	c |    298774 |     920     5479    19257 |    32906    31121     66 |  0.000 % |
153.24/153.47	c |    300048 |     920     5479    19257 | 2147483647    32395     66 |  0.000 % |
154.24/154.45	c |    301448 |     920     5479    19257 | 2147483647    33795     66 |  0.000 % |
155.24/155.41	c |    302989 |     920     5479    19257 | 2147483647    35336     67 |  0.000 % |
156.34/156.51	c |    304683 |     920     5479    19257 | 2147483647    37030     67 |  0.000 % |
157.54/157.77	c |    306546 |     920     5479    19257 | 2147483647    38893     67 |  0.000 % |
159.54/159.74	c |    308595 |     920     5479    19257 | 2147483647    40942     68 |  0.000 % |
162.04/162.21	c |    310848 |     920     5479    19257 |    42350    36715     67 |  0.000 % |
163.84/164.00	c |    313326 |     920     5479    19257 |    42350    39193     67 |  0.000 % |
165.43/165.64	c |    316052 |     920     5479    19257 |    42350    41919     67 |  0.000 % |
166.53/166.71	c |    319049 |     920     5479    19257 |    42350    38045     66 |  0.000 % |
166.53/166.77	c |    319149 |     920     5479    19257 |    42350    38145     66 |  0.000 % |
166.63/166.83	c |    319262 |     920     5479    19257 |    42350    38258     66 |  0.000 % |
166.63/166.88	c |    319383 |     920     5479    19257 |    42350    38379     66 |  0.000 % |
166.73/166.96	c |    319517 |     920     5479    19257 |    42350    38513     66 |  0.000 % |
166.83/167.05	c |    319663 |     920     5479    19257 |    42350    38659     66 |  0.000 % |
166.94/167.13	c |    319823 |     920     5479    19257 |    42350    38819     66 |  0.000 % |
167.04/167.25	c |    319999 |     920     5479    19257 |    42350    38995     66 |  0.000 % |
167.23/167.42	c |    320192 |     920     5479    19257 |    38997    32860     66 |  0.000 % |
167.33/167.55	c |    320404 |     920     5479    19257 |    38997    33072     66 |  0.000 % |
167.43/167.67	c |    320637 |     920     5479    19257 |    38997    33305     66 |  0.000 % |
167.53/167.78	c |    320893 |     920     5479    19257 |    38997    33561     66 |  0.000 % |
167.73/167.91	c |    321174 |     920     5479    19257 |    38997    33842     66 |  0.000 % |
167.83/168.04	c |    321484 |     920     5479    19257 |    38997    34152     66 |  0.000 % |
167.93/168.19	c |    321824 |     920     5479    19257 |    38997    34492     66 |  0.000 % |
168.13/168.37	c |    322196 |     920     5479    19257 |    38997    34864     66 |  0.000 % |
168.33/168.56	c |    322605 |     920     5479    19257 |    38997    35273     66 |  0.000 % |
168.63/168.84	c |    323054 |     920     5479    19257 |    38997    35722     66 |  0.000 % |
169.03/169.23	c |    323548 |     920     5479    19257 |    38997    36216     66 |  0.000 % |
169.33/169.52	c |    324090 |     920     5479    19257 |    38997    36758     66 |  0.000 % |
169.63/169.87	c |    324686 |     920     5479    19257 |    38997    37354     66 |  0.000 % |
170.03/170.21	c |    325342 |     920     5479    19257 |    38997    38010     66 |  0.000 % |
170.43/170.63	c |    326062 |     920     5479    19257 |    38997    38730     66 |  0.000 % |
171.03/171.26	c |    326855 |     920     5479    19257 |    38997    34174     65 |  0.000 % |
171.53/171.76	c |    327727 |     920     5479    19257 |    38997    35046     66 |  0.000 % |
172.03/172.27	c |    328685 |     920     5479    19257 |    38997    36004     66 |  0.000 % |
172.63/172.90	c |    329738 |     920     5479    19257 |    38997    37057     66 |  0.000 % |
173.43/173.66	c |    330896 |     920     5479    19257 |    37320    33470     65 |  0.000 % |
174.13/174.38	c |    332169 |     920     5479    19257 |    37320    34743     65 |  0.000 % |
174.73/174.99	c |    333571 |     920     5479    19257 |    37320    36145     65 |  0.000 % |
175.93/176.13	c |    335111 |     920     5479    19257 |    37320    33582     65 |  0.000 % |
177.03/177.21	c |    336805 |     920     5479    19257 |    37320    35276     65 |  0.000 % |
178.43/178.64	c |    338668 |     920     5479    19257 |    37320    37139     66 |  0.000 % |
179.93/180.16	c |    340718 |     920     5479    19257 |    34332    31239     65 |  0.000 % |
181.53/181.71	c |    342972 |     920     5479    19257 |    34332    33493     65 |  0.000 % |
182.83/183.02	c |    345451 |     920     5479    19257 |    34332    32345     67 |  0.000 % |
184.42/184.66	c |    348178 |     920     5479    19257 |    34332    31542     67 |  0.000 % |
186.52/186.72	c |    351175 |     920     5479    19257 |    33364    31138     67 |  0.000 % |
188.32/188.57	c |    354472 |     920     5479    19257 |    33364    31081     66 |  0.000 % |
188.42/188.62	c |    354572 |     920     5479    19257 |    33364    31181     66 |  0.000 % |
188.52/188.72	c |    354682 |     920     5479    19257 |    33364    31291     66 |  0.000 % |
188.62/188.81	c |    354804 |     920     5479    19257 |    33364    31413     66 |  0.000 % |
188.62/188.86	c |    354939 |     920     5479    19257 |    33364    31548     66 |  0.000 % |
188.72/188.92	c |    355087 |     920     5479    19257 |    33364    31696     66 |  0.000 % |
188.82/189.02	c |    355247 |     920     5479    19257 |    33364    31856     67 |  0.000 % |
188.92/189.11	c |    355425 |     920     5479    19257 |    33364    32034     67 |  0.000 % |
189.02/189.24	c |    355620 |     920     5479    19257 |    33364    32229     67 |  0.000 % |
189.12/189.33	c |    355833 |     920     5479    19257 |    33364    32442     66 |  0.000 % |
189.21/189.45	c |    356066 |     920     5479    19257 |    33364    32675     67 |  0.000 % |
189.31/189.59	c |    356322 |     920     5479    19257 |    33364    32931     67 |  0.000 % |
189.51/189.76	c |    356604 |     920     5479    19257 |    33364    33213     67 |  0.000 % |
189.71/189.92	c |    356913 |     920     5479    19257 |    33364    30171     66 |  0.000 % |
189.81/190.09	c |    357254 |     920     5479    19257 |    33364    30512     66 |  0.000 % |
190.02/190.27	c |    357627 |     920     5479    19257 |    33364    30885     66 |  0.000 % |
190.21/190.49	c |    358036 |     920     5479    19257 |    33364    31294     66 |  0.000 % |
190.51/190.76	c |    358485 |     920     5479    19257 |    33364    31743     66 |  0.000 % |
190.81/191.05	c |    358978 |     920     5479    19257 |    33364    32236     67 |  0.000 % |
191.01/191.29	c |    359520 |     920     5479    19257 |    33364    32778     67 |  0.000 % |
191.51/191.70	c |    360117 |     920     5479    19257 | 2147483647    33375     67 |  0.000 % |
191.71/191.97	c |    360773 |     920     5479    19257 | 2147483647    34031     67 |  0.000 % |
192.01/192.28	c |    361493 |     920     5479    19257 | 2147483647    34751     67 |  0.000 % |
192.41/192.68	c |    362287 |     920     5479    19257 | 2147483647    35545     67 |  0.000 % |
193.01/193.25	c |    363158 |     920     5479    19257 | 2147483647    36416     67 |  0.000 % |
193.61/193.87	c |    364116 |     920     5479    19257 | 2147483647    37374     67 |  0.000 % |
194.31/194.59	c |    365171 |     920     5479    19257 | 2147483647    38429     68 |  0.000 % |
195.31/195.51	c |    366329 |     920     5479    19257 | 2147483647    39587     68 |  0.000 % |
196.41/196.67	c |    367602 |     920     5479    19257 | 2147483647    40860     68 |  0.000 % |
197.61/197.89	c |    369003 |     920     5479    19257 | 2147483647    42261     68 |  0.000 % |
199.11/199.32	c |    370544 |     920     5479    19257 |    43259    37548     67 |  0.000 % |
200.61/200.86	c |    372238 |     920     5479    19257 |    43259    39242     67 |  0.000 % |
201.81/202.07	c |    374101 |     920     5479    19257 |    43259    41105     67 |  0.000 % |
203.21/203.44	c |    376151 |     920     5479    19257 |    43259    43155     67 |  0.000 % |
205.01/205.30	c |    378404 |     920     5479    19257 |    43259    38321     66 |  0.000 % |
206.91/207.11	c |    380883 |     920     5479    19257 |    39917    34181     65 |  0.000 % |
208.61/208.89	c |    383609 |     920     5479    19257 |    39917    36907     66 |  0.000 % |
210.81/211.05	c |    386606 |     920     5479    19257 |    39917    39904     66 |  0.000 % |
212.81/213.06	c |    389903 |     920     5479    19257 |    39917    37160     66 |  0.000 % |
215.00/215.29	c |    393528 |     920     5479    19257 |    37257    35272     65 |  0.000 % |
215.10/215.39	c |    393628 |     920     5479    19257 |    37257    35372     65 |  0.000 % |
215.20/215.49	c |    393738 |     920     5479    19257 |    37257    35482     65 |  0.000 % |
215.31/215.57	c |    393859 |     920     5479    19257 |    37257    35603     65 |  0.000 % |
215.41/215.65	c |    393992 |     920     5479    19257 |    37257    35736     65 |  0.000 % |
215.50/215.77	c |    394138 |     920     5479    19257 |    37257    35882     65 |  0.000 % |
215.60/215.82	c |    394298 |     920     5479    19257 |    37257    36042     65 |  0.000 % |
215.60/215.85	c |    394474 |     920     5479    19257 |    37257    36218     65 |  0.000 % |
215.60/215.87	c |    394667 |     920     5479    19257 |    37257    36411     65 |  0.000 % |
215.60/215.89	c |    394880 |     920     5479    19257 |    37257    36624     65 |  0.000 % |
215.70/215.92	c |    395114 |     920     5479    19257 |    37257    36858     64 |  0.000 % |
215.70/215.99	c |    395371 |     920     5479    19257 |    37257    37115     64 |  0.000 % |
215.80/216.04	c |    395652 |     920     5479    19257 |    37257    37396     64 |  0.000 % |
215.90/216.16	c |    395962 |     920     5479    19257 |    37257    32675     64 |  0.000 % |
216.00/216.21	c |    396304 |     920     5479    19257 |    37257    33017     63 |  0.000 % |
216.00/216.27	c |    396677 |     920     5479    19257 |    37257    33390     63 |  0.000 % |
216.10/216.36	c |    397086 |     920     5479    19257 |    37257    33799     63 |  0.000 % |
216.30/216.50	c |    397536 |     920     5479    19257 |    37257    34249     63 |  0.000 % |
216.40/216.62	c |    398030 |     920     5479    19257 |    37257    34743     63 |  0.000 % |
216.60/216.80	c |    398573 |     920     5479    19257 |    37257    35286     63 |  0.000 % |
216.70/216.96	c |    399170 |     920     5479    19257 |    37257    35883     63 |  0.000 % |
216.90/217.12	c |    399826 |     920     5479    19257 |    37257    36539     63 |  0.000 % |
217.10/217.39	c |    400547 |     920     5479    19257 |    36713    33080     62 |  0.000 % |
217.40/217.67	c |    401340 |     920     5479    19257 |    36713    33873     62 |  0.000 % |
217.70/217.91	c |    402212 |     920     5479    19257 |    36713    34745     62 |  0.000 % |
218.00/218.21	c |    403170 |     920     5479    19257 |    36713    35703     62 |  0.000 % |
218.40/218.66	c |    404224 |     920     5479    19257 |    36713    36757     62 |  0.000 % |
219.10/219.38	c |    405382 |     920     5479    19257 |    36713    34240     62 |  0.000 % |
220.30/220.53	c |    406655 |     920     5479    19257 |    36713    35513     62 |  0.000 % |
221.20/221.46	c |    408056 |     920     5479    19257 |    36713    32735     61 |  0.000 % |
222.10/222.34	c |    409597 |     920     5479    19257 |    36713    34276     62 |  0.000 % |
223.00/223.25	c |    411292 |     920     5479    19257 |    34680    32010     62 |  0.000 % |
223.90/224.14	c |    413155 |     920     5479    19257 |    34680    33873     62 |  0.000 % |
225.09/225.40	c |    415204 |     920     5479    19257 |    34680    32409     62 |  0.000 % |
226.49/226.74	c |    417457 |     920     5479    19257 |    34680    34662     63 |  0.000 % |
227.59/227.82	c |    419936 |     920     5479    19257 |    34680    33398     62 |  0.000 % |
228.79/229.08	c |    422662 |     920     5479    19257 | 2147483647    36124     63 |  0.000 % |
230.39/230.64	c |    425659 |     920     5479    19257 | 2147483647    39121     64 |  0.000 % |
232.79/233.07	c |    428955 |     920     5479    19257 | 2147483647    42417     65 |  0.000 % |
235.69/235.99	c |    432580 |     920     5479    19257 |    43466    39457     66 |  0.000 % |
239.09/239.39	c |    436568 |     920     5479    19257 |    43466    43445     67 |  0.000 % |
239.18/239.49	c |    436668 |     920     5479    19257 |    43466    43545     67 |  0.000 % |
239.38/239.61	c |    436780 |     920     5479    19257 |    43466    35805     67 |  0.000 % |
239.38/239.70	c |    436902 |     920     5479    19257 |    43466    35927     67 |  0.000 % |
239.49/239.78	c |    437036 |     920     5479    19257 |    43466    36061     67 |  0.000 % |
239.59/239.87	c |    437183 |     920     5479    19257 |    43466    36208     67 |  0.000 % |
239.68/239.93	c |    437343 |     920     5479    19257 |    43466    36368     67 |  0.000 % |
239.78/240.01	c |    437520 |     920     5479    19257 |    43466    36545     67 |  0.000 % |
239.78/240.08	c |    437713 |     920     5479    19257 |    43466    36738     67 |  0.000 % |
239.88/240.17	c |    437925 |     920     5479    19257 |    43466    36950     67 |  0.000 % |
239.98/240.27	c |    438159 |     920     5479    19257 |    43466    37184     67 |  0.000 % |
240.08/240.38	c |    438417 |     920     5479    19257 |    43466    37442     67 |  0.000 % |
240.28/240.53	c |    438699 |     920     5479    19257 |    43466    37724     67 |  0.000 % |
240.48/240.75	c |    439008 |     920     5479    19257 |    43466    38033     67 |  0.000 % |
240.78/241.04	c |    439348 |     920     5479    19257 |    43466    38373     68 |  0.000 % |
241.08/241.31	c |    439721 |     920     5479    19257 |    43466    38746     68 |  0.000 % |
241.28/241.51	c |    440131 |     920     5479    19257 |    39025    39156     68 |  0.000 % |
241.48/241.76	c |    440580 |     920     5479    19257 |    39025    32813     67 |  0.000 % |
241.79/242.02	c |    441073 |     920     5479    19257 |    39025    33306     67 |  0.000 % |
242.08/242.30	c |    441615 |     920     5479    19257 |    39025    33848     67 |  0.000 % |
242.38/242.63	c |    442211 |     920     5479    19257 |    39025    34444     67 |  0.000 % |
242.68/242.91	c |    442866 |     920     5479    19257 |    39025    35099     67 |  0.000 % |
243.08/243.35	c |    443587 |     920     5479    19257 |    39025    35820     67 |  0.000 % |
243.58/243.86	c |    444379 |     920     5479    19257 |    39025    36612     67 |  0.000 % |
244.28/244.56	c |    445250 |     920     5479    19257 |    39025    37483     67 |  0.000 % |
244.98/245.21	c |    446208 |     920     5479    19257 |    39025    38441     67 |  0.000 % |
245.88/246.12	c |    447262 |     920     5479    19257 |    39025    33923     67 |  0.000 % |
246.48/246.78	c |    448421 |     920     5479    19257 |    39025    35082     67 |  0.000 % |
247.28/247.57	c |    449695 |     920     5479    19257 |    39025    36356     67 |  0.000 % |
248.18/248.43	c |    451097 |     920     5479    19257 |    36661    32596     66 |  0.000 % |
249.08/249.30	c |    452637 |     920     5479    19257 |    36661    34136     66 |  0.000 % |
249.88/250.15	c |    454331 |     920     5479    19257 |    36661    35830     66 |  0.000 % |
251.08/251.37	c |    456194 |     920     5479    19257 |    36661    33317     66 |  0.000 % |
252.38/252.66	c |    458243 |     920     5479    19257 |    36661    35366     66 |  0.000 % |
253.88/254.17	c |    460497 |     920     5479    19257 |    32529    28908     65 |  0.000 % |
255.18/255.40	c |    462975 |     920     5479    19257 |    32529    31386     65 |  0.000 % |
256.68/256.99	c |    465701 |     920     5479    19257 |    32529    30716     66 |  0.000 % |
258.28/258.59	c |    468699 |     920     5479    19257 |    32529    29891     67 |  0.000 % |
260.07/260.33	c |    471996 |     920     5479    19257 |    31194    29934     67 |  0.000 % |
261.97/262.26	c |    475621 |     920     5479    19257 |    31194    30416     67 |  0.000 % |
264.27/264.52	c |    479608 |     920     5479    19257 |    31194    31274     67 |  0.000 % |
266.67/266.95	c |    483993 |     920     5479    19257 | 2147483647    32532     67 |  0.000 % |
266.77/267.01	c |    484093 |     920     5479    19257 | 2147483647    32632     67 |  0.000 % |
266.87/267.10	c |    484204 |     920     5479    19257 | 2147483647    32743     67 |  0.000 % |
266.87/267.20	c |    484326 |     920     5479    19257 | 2147483647    32865     67 |  0.000 % |
266.98/267.26	c |    484459 |     920     5479    19257 | 2147483647    32998     67 |  0.000 % |
267.08/267.36	c |    484606 |     920     5479    19257 | 2147483647    33145     67 |  0.000 % |
267.17/267.45	c |    484766 |     920     5479    19257 | 2147483647    33305     67 |  0.000 % |
267.27/267.55	c |    484944 |     920     5479    19257 | 2147483647    33483     67 |  0.000 % |
267.37/267.68	c |    485138 |     920     5479    19257 | 2147483647    33677     67 |  0.000 % |
267.57/267.82	c |    485351 |     920     5479    19257 | 2147483647    33890     67 |  0.000 % |
267.67/267.98	c |    485584 |     920     5479    19257 | 2147483647    34123     67 |  0.000 % |
267.97/268.22	c |    485840 |     920     5479    19257 | 2147483647    34379     67 |  0.000 % |
268.07/268.36	c |    486121 |     920     5479    19257 | 2147483647    34660     67 |  0.000 % |
268.27/268.52	c |    486430 |     920     5479    19257 | 2147483647    34969     67 |  0.000 % |
268.47/268.70	c |    486769 |     920     5479    19257 | 2147483647    35308     67 |  0.000 % |
268.67/268.94	c |    487142 |     920     5479    19257 | 2147483647    35681     67 |  0.000 % |
268.87/269.19	c |    487551 |     920     5479    19257 | 2147483647    36090     67 |  0.000 % |
269.17/269.50	c |    488001 |     920     5479    19257 | 2147483647    36540     68 |  0.000 % |
269.57/269.84	c |    488495 |     920     5479    19257 | 2147483647    37034     68 |  0.000 % |
269.77/270.07	c |    489038 |     920     5479    19257 | 2147483647    37577     68 |  0.000 % |
270.27/270.56	c |    489635 |     920     5479    19257 | 2147483647    38174     68 |  0.000 % |
270.77/271.04	c |    490291 |     920     5479    19257 |    38539    34817     67 |  0.000 % |
271.17/271.47	c |    491013 |     920     5479    19257 |    38539    35539     67 |  0.000 % |
271.77/272.05	c |    491805 |     920     5479    19257 |    38539    36331     68 |  0.000 % |
272.37/272.67	c |    492676 |     920     5479    19257 |    38539    37202     68 |  0.000 % |
272.87/273.18	c |    493634 |     920     5479    19257 |    38539    38160     68 |  0.000 % |
273.67/273.92	c |    494687 |     920     5479    19257 |    38539    34545     67 |  0.000 % |
274.56/274.85	c |    495846 |     920     5479    19257 |    38539    35704     67 |  0.000 % |
275.56/275.82	c |    497119 |     920     5479    19257 |    38539    36977     68 |  0.000 % |
276.56/276.89	c |    498519 |     920     5479    19257 |    38539    38377     68 |  0.000 % |
277.66/277.95	c |    500060 |     920     5479    19257 |    34573    34633     66 |  0.000 % |
278.66/278.94	c |    501754 |     920     5479    19257 |    34573    31704     65 |  0.000 % |
279.96/280.20	c |    503617 |     920     5479    19257 |    34573    33567     65 |  0.000 % |
281.06/281.31	c |    505666 |     920     5479    19257 |    34573    32079     66 |  0.000 % |
282.36/282.64	c |    507919 |     920     5479    19257 |    34573    34332     66 |  0.000 % |
283.46/283.73	c |    510398 |     920     5479    19257 |    32732    29781     66 |  0.000 % |
284.86/285.11	c |    513124 |     920     5479    19257 |    32732    32507     66 |  0.000 % |
286.46/286.73	c |    516121 |     920     5479    19257 |    32732    32219     66 |  0.000 % |
288.46/288.72	c |    519417 |     920     5479    19257 |    32732    32228     66 |  0.000 % |
290.66/290.98	c |    523043 |     920     5479    19257 | 2147483647    35854     66 |  0.000 % |
293.66/294.00	c |    527032 |     920     5479    19257 | 2147483647    39843     67 |  0.000 % |
296.45/296.77	c |    531417 |     920     5479    19257 |    42812    38137     67 |  0.000 % |
300.06/300.37	c |    536240 |     920     5479    19257 |    42812    36306     66 |  0.000 % |
300.15/300.43	c |    536341 |     920     5479    19257 |    42812    36407     66 |  0.000 % |
300.15/300.50	c |    536451 |     920     5479    19257 |    42812    36517     67 |  0.000 % |
300.25/300.58	c |    536572 |     920     5479    19257 |    42812    36638     67 |  0.000 % |
300.45/300.71	c |    536705 |     920     5479    19257 |    42812    36771     67 |  0.000 % |
300.55/300.82	c |    536851 |     920     5479    19257 |    42812    36917     67 |  0.000 % |
300.65/300.94	c |    537011 |     920     5479    19257 |    42812    37077     67 |  0.000 % |
300.85/301.13	c |    537188 |     920     5479    19257 |    42812    37254     67 |  0.000 % |
300.95/301.27	c |    537381 |     920     5479    19257 |    42812    37447     67 |  0.000 % |
301.16/301.40	c |    537593 |     920     5479    19257 |    42812    37659     67 |  0.000 % |
301.25/301.58	c |    537827 |     920     5479    19257 |    42812    37893     67 |  0.000 % |
301.45/301.73	c |    538084 |     920     5479    19257 |    42812    38150     67 |  0.000 % |
301.55/301.89	c |    538366 |     920     5479    19257 |    42812    38432     67 |  0.000 % |
301.75/302.06	c |    538675 |     920     5479    19257 |    42812    38741     67 |  0.000 % |
301.95/302.26	c |    539014 |     920     5479    19257 |    42812    39080     67 |  0.000 % |
302.26/302.57	c |    539386 |     920     5479    19257 |    42812    39452     67 |  0.000 % |
302.45/302.79	c |    539796 |     920     5479    19257 |    42812    39862     67 |  0.000 % |
302.85/303.13	c |    540246 |     920     5479    19257 |    40066    33897     66 |  0.000 % |
303.05/303.39	c |    540739 |     920     5479    19257 |    40066    34390     66 |  0.000 % |
303.45/303.74	c |    541281 |     920     5479    19257 |    40066    34932     66 |  0.000 % |
303.95/304.24	c |    541877 |     920     5479    19257 |    40066    35528     66 |  0.000 % |
304.35/304.68	c |    542532 |     920     5479    19257 |    40066    36183     66 |  0.000 % |
304.95/305.28	c |    543252 |     920     5479    19257 |    40066    36903     66 |  0.000 % |
305.55/305.82	c |    544046 |     920     5479    19257 |    40066    37697     66 |  0.000 % |
306.25/306.56	c |    544917 |     920     5479    19257 |    40066    38568     66 |  0.000 % |
306.95/307.26	c |    545876 |     920     5479    19257 |    40066    39527     66 |  0.000 % |
307.75/308.02	c |    546930 |     920     5479    19257 |    40066    34347     66 |  0.000 % |
308.45/308.74	c |    548089 |     920     5479    19257 |    40066    35506     66 |  0.000 % |
308.85/309.15	c |    549363 |     920     5479    19257 |    40066    36780     66 |  0.000 % |
309.75/310.00	c |    550763 |     920     5479    19257 |    37418    32241     65 |  0.000 % |
310.55/310.87	c |    552303 |     920     5479    19257 |    37418    33781     65 |  0.000 % |
311.35/311.65	c |    553997 |     920     5479    19257 |    37418    35475     65 |  0.000 % |
312.25/312.59	c |    555862 |     920     5479    19257 |    37418    37340     66 |  0.000 % |
313.54/313.87	c |    557912 |     920     5479    19257 |    37418    34318     65 |  0.000 % |
315.24/315.52	c |    560165 |     920     5479    19257 |    36406    31908     64 |  0.000 % |
316.74/317.02	c |    562644 |     920     5479    19257 |    36406    34387     65 |  0.000 % |
318.75/319.04	c |    565369 |     920     5479    19257 |    36406    32490     65 |  0.000 % |
320.64/320.94	c |    568366 |     920     5479    19257 |    36406    35487     66 |  0.000 % |
322.54/322.80	c |    571663 |     920     5479    19257 |    32630    30386     65 |  0.000 % |
323.63/323.94	c |    575288 |     920     5479    19257 |    32630    30221     63 |  0.000 % |
325.93/326.28	c |    579276 |     920     5479    19257 |    32630    30418     64 |  0.000 % |
328.13/328.46	c |    583662 |     920     5479    19257 |    31144    28381     64 |  0.000 % |
330.63/330.91	c |    588485 |     920     5479    19257 |    31144    30074     64 |  0.000 % |
332.73/333.01	c |    593790 |     920     5479    19257 | 2147483647    32245     64 |  0.000 % |
332.73/333.05	c |    593891 |     920     5479    19257 | 2147483647    32346     64 |  0.000 % |
332.83/333.10	c |    594001 |     920     5479    19257 | 2147483647    32456     64 |  0.000 % |
332.83/333.18	c |    594123 |     920     5479    19257 | 2147483647    32578     64 |  0.000 % |
332.94/333.26	c |    594259 |     920     5479    19257 | 2147483647    32714     64 |  0.000 % |
333.04/333.34	c |    594405 |     920     5479    19257 | 2147483647    32860     64 |  0.000 % |
333.13/333.43	c |    594565 |     920     5479    19257 | 2147483647    33020     65 |  0.000 % |
333.23/333.52	c |    594741 |     920     5479    19257 | 2147483647    33196     65 |  0.000 % |
333.33/333.61	c |    594934 |     920     5479    19257 | 2147483647    33389     65 |  0.000 % |
333.33/333.69	c |    595147 |     920     5479    19257 | 2147483647    33602     65 |  0.000 % |
333.43/333.80	c |    595382 |     920     5479    19257 | 2147483647    33837     65 |  0.000 % |
333.63/333.91	c |    595638 |     920     5479    19257 | 2147483647    34093     65 |  0.000 % |
333.73/334.05	c |    595920 |     920     5479    19257 | 2147483647    34375     65 |  0.000 % |
333.83/334.18	c |    596231 |     920     5479    19257 | 2147483647    34686     65 |  0.000 % |
334.04/334.39	c |    596570 |     920     5479    19257 | 2147483647    35025     65 |  0.000 % |
334.23/334.59	c |    596942 |     920     5479    19257 | 2147483647    35397     65 |  0.000 % |
334.63/334.93	c |    597353 |     920     5479    19257 | 2147483647    35808     65 |  0.000 % |
334.83/335.18	c |    597802 |     920     5479    19257 | 2147483647    36257     65 |  0.000 % |
335.13/335.44	c |    598295 |     920     5479    19257 | 2147483647    36750     65 |  0.000 % |
335.43/335.74	c |    598838 |     920     5479    19257 | 2147483647    37293     65 |  0.000 % |
335.83/336.11	c |    599434 |     920     5479    19257 | 2147483647    37889     66 |  0.000 % |
336.23/336.50	c |    600089 |     920     5479    19257 | 2147483647    38544     66 |  0.000 % |
336.63/336.98	c |    600809 |     920     5479    19257 | 2147483647    39264     66 |  0.000 % |
337.13/337.44	c |    601601 |     920     5479    19257 | 2147483647    40056     66 |  0.000 % |
337.63/337.97	c |    602472 |     920     5479    19257 | 2147483647    40927     66 |  0.000 % |
338.23/338.56	c |    603431 |     920     5479    19257 | 2147483647    41886     66 |  0.000 % |
338.83/339.17	c |    604484 |     920     5479    19257 | 2147483647    42939     67 |  0.000 % |
339.63/339.95	c |    605642 |     920     5479    19257 | 2147483647    44097     67 |  0.000 % |
340.53/340.87	c |    606915 |     920     5479    19257 | 2147483647    45370     67 |  0.000 % |
341.73/342.06	c |    608315 |     920     5479    19257 | 2147483647    46770     67 |  0.000 % |
342.73/343.05	c |    609855 |     920     5479    19257 | 2147483647    48310     67 |  0.000 % |
343.94/344.22	c |    611550 |     920     5479    19257 |    48456    42409     68 |  0.000 % |
344.63/344.90	c |    613413 |     920     5479    19257 |    48456    44272     67 |  0.000 % |
345.83/346.19	c |    615463 |     920     5479    19257 |    48456    46322     67 |  0.000 % |
347.43/347.75	c |    617717 |     920     5479    19257 |    48456    48576     68 |  0.000 % |
348.83/349.11	c |    620195 |     920     5479    19257 |    41284    41478     67 |  0.000 % |
350.33/350.66	c |    622920 |     920     5479    19257 |    41284    36635     67 |  0.000 % |
352.23/352.58	c |    625917 |     920     5479    19257 |    41284    39632     67 |  0.000 % |
354.13/354.43	c |    629215 |     920     5479    19257 |    41284    36801     67 |  0.000 % |
356.73/357.05	c |    632840 |     920     5479    19257 |    37586    34893     67 |  0.000 % |
359.43/359.78	c |    636828 |     920     5479    19257 |    37586    33622     67 |  0.000 % |
362.03/362.31	c |    641213 |     920     5479    19257 |    36794    33173     67 |  0.000 % |
365.12/365.42	c |    646037 |     920     5479    19257 |    36794    33288     68 |  0.000 % |
368.42/368.74	c |    651342 |     920     5479    19257 |    32227    29122     68 |  0.000 % |
371.22/371.59	c |    657178 |     920     5479    19257 |    32227    31727     68 |  0.000 % |
371.32/371.64	c |    657278 |     920     5479    19257 |    32227    31827     68 |  0.000 % |
371.32/371.70	c |    657388 |     920     5479    19257 |    32227    31937     68 |  0.000 % |
371.42/371.77	c |    657509 |     920     5479    19257 |    32227    32058     68 |  0.000 % |
371.52/371.85	c |    657643 |     920     5479    19257 |    32227    32192     68 |  0.000 % |
371.62/371.93	c |    657789 |     920     5479    19257 |    32227    32338     68 |  0.000 % |
371.72/372.02	c |    657949 |     920     5479    19257 |    32227    29265     68 |  0.000 % |
371.72/372.09	c |    658126 |     920     5479    19257 |    32227    29442     67 |  0.000 % |
371.92/372.21	c |    658320 |     920     5479    19257 |    32227    29636     68 |  0.000 % |
371.92/372.29	c |    658532 |     920     5479    19257 |    32227    29848     68 |  0.000 % |
372.12/372.45	c |    658765 |     920     5479    19257 |    32227    30081     68 |  0.000 % |
372.22/372.57	c |    659022 |     920     5479    19257 |    32227    30338     68 |  0.000 % |
372.32/372.69	c |    659303 |     920     5479    19257 |    32227    30619     68 |  0.000 % |
372.52/372.81	c |    659613 |     920     5479    19257 |    32227    30929     68 |  0.000 % |
372.62/372.97	c |    659954 |     920     5479    19257 |    32227    31270     68 |  0.000 % |
372.82/373.14	c |    660326 |     920     5479    19257 | 2147483647    31642     68 |  0.000 % |
373.02/373.30	c |    660736 |     920     5479    19257 | 2147483647    32052     68 |  0.000 % |
373.12/373.49	c |    661185 |     920     5479    19257 | 2147483647    32501     68 |  0.000 % |
373.42/373.75	c |    661678 |     920     5479    19257 | 2147483647    32994     68 |  0.000 % |
373.62/374.00	c |    662221 |     920     5479    19257 | 2147483647    33537     68 |  0.000 % |
373.92/374.25	c |    662817 |     920     5479    19257 | 2147483647    34133     68 |  0.000 % |
374.22/374.58	c |    663473 |     920     5479    19257 | 2147483647    34789     68 |  0.000 % |
374.72/375.04	c |    664193 |     920     5479    19257 | 2147483647    35509     68 |  0.000 % |
375.21/375.52	c |    664986 |     920     5479    19257 | 2147483647    36302     68 |  0.000 % |
375.71/376.00	c |    665859 |     920     5479    19257 | 2147483647    37175     68 |  0.000 % |
376.51/376.84	c |    666817 |     920     5479    19257 | 2147483647    38133     68 |  0.000 % |
377.41/377.76	c |    667870 |     920     5479    19257 | 2147483647    39186     68 |  0.000 % |
378.21/378.56	c |    669028 |     920     5479    19257 | 2147483647    40344     68 |  0.000 % |
379.51/379.82	c |    670302 |     920     5479    19257 |    41316    36292     68 |  0.000 % |
380.41/380.79	c |    671703 |     920     5479    19257 |    41316    37693     68 |  0.000 % |
381.51/381.84	c |    673244 |     920     5479    19257 |    41316    39234     68 |  0.000 % |
382.51/382.86	c |    674938 |     920     5479    19257 |    41316    40928     69 |  0.000 % |
383.71/384.01	c |    676802 |     920     5479    19257 |    41316    36685     68 |  0.000 % |
384.81/385.15	c |    678853 |     920     5479    19257 |    41316    38736     68 |  0.000 % |
386.41/386.76	c |    681106 |     920     5479    19257 |    39883    35118     67 |  0.000 % |
387.91/388.29	c |    683586 |     920     5479    19257 |    39883    37598     67 |  0.000 % |
390.01/390.33	c |    686311 |     920     5479    19257 |    39883    34224     67 |  0.000 % |
391.91/392.25	c |    689309 |     920     5479    19257 |    39883    37222     68 |  0.000 % |
393.71/394.04	c |    692605 |     920     5479    19257 |    37914    34690     68 |  0.000 % |
395.80/396.11	c |    696230 |     920     5479    19257 |    37914    33108     68 |  0.000 % |
398.50/398.80	c |    700217 |     920     5479    19257 |    36878    31831     67 |  0.000 % |
402.21/402.53	c |    704603 |     920     5479    19257 |    36878    36217     68 |  0.000 % |
405.61/405.91	c |    709427 |     920     5479    19257 |    36878    35795     68 |  0.000 % |
408.90/409.21	c |    714732 |     920     5479    19257 |    36369    36009     68 |  0.000 % |
412.20/412.52	c |    720568 |     920     5479    19257 |    36281    31756     66 |  0.000 % |
415.50/415.84	c |    726987 |     920     5479    19257 |    36281    33771     67 |  0.000 % |
415.59/415.91	c |    727088 |     920     5479    19257 |    36281    33872     67 |  0.000 % |
415.59/415.98	c |    727198 |     920     5479    19257 |    36281    33982     67 |  0.000 % |
415.69/416.06	c |    727320 |     920     5479    19257 |    36281    34104     67 |  0.000 % |
415.79/416.14	c |    727453 |     920     5479    19257 |    36281    34237     67 |  0.000 % |
415.89/416.21	c |    727599 |     920     5479    19257 |    36281    34383     67 |  0.000 % |
415.89/416.28	c |    727760 |     920     5479    19257 |    36281    34544     67 |  0.000 % |
415.99/416.37	c |    727936 |     920     5479    19257 |    36281    34720     67 |  0.000 % |
416.09/416.45	c |    728129 |     920     5479    19257 |    36281    34913     67 |  0.000 % |
416.19/416.53	c |    728341 |     920     5479    19257 |    36281    35125     67 |  0.000 % |
416.29/416.65	c |    728574 |     920     5479    19257 |    36281    35358     67 |  0.000 % |
416.50/416.83	c |    728830 |     920     5479    19257 |    36281    35614     67 |  0.000 % |
416.60/416.98	c |    729113 |     920     5479    19257 |    36281    35897     67 |  0.000 % |
416.79/417.15	c |    729423 |     920     5479    19257 |    36281    36207     67 |  0.000 % |
416.99/417.38	c |    729762 |     920     5479    19257 |    36281    32272     66 |  0.000 % |
417.19/417.59	c |    730134 |     920     5479    19257 |    32511    28868     66 |  0.000 % |
417.39/417.79	c |    730544 |     920     5479    19257 |    32511    29278     66 |  0.000 % |
417.69/418.02	c |    730993 |     920     5479    19257 |    32511    29727     66 |  0.000 % |
417.99/418.31	c |    731486 |     920     5479    19257 |    32511    30220     66 |  0.000 % |
418.19/418.58	c |    732029 |     920     5479    19257 |    32511    30763     66 |  0.000 % |
418.49/418.87	c |    732626 |     920     5479    19257 |    32511    31360     66 |  0.000 % |
418.89/419.23	c |    733282 |     920     5479    19257 |    32511    32016     67 |  0.000 % |
419.29/419.64	c |    734004 |     920     5479    19257 |    32511    29478     66 |  0.000 % |
419.79/420.16	c |    734796 |     920     5479    19257 |    32511    30270     67 |  0.000 % |
420.29/420.64	c |    735668 |     920     5479    19257 |    32511    31142     67 |  0.000 % |
420.79/421.15	c |    736626 |     920     5479    19257 |    32511    32100     67 |  0.000 % |
421.39/421.75	c |    737681 |     920     5479    19257 |    32511    29895     66 |  0.000 % |
422.19/422.50	c |    738840 |     920     5479    19257 |    32511    31054     66 |  0.000 % |
423.09/423.42	c |    740114 |     920     5479    19257 | 2147483647    32328     67 |  0.000 % |
423.89/424.22	c |    741514 |     920     5479    19257 | 2147483647    33728     67 |  0.000 % |
424.79/425.16	c |    743054 |     920     5479    19257 | 2147483647    35268     67 |  0.000 % |
426.09/426.47	c |    744748 |     920     5479    19257 | 2147483647    36962     67 |  0.000 % |
427.69/428.04	c |    746612 |     920     5479    19257 | 2147483647    38826     67 |  0.000 % |
429.48/429.86	c |    748661 |     920     5479    19257 | 2147483647    40875     68 |  0.000 % |
431.38/431.72	c |    750914 |     920     5479    19257 |    42214    36610     68 |  0.000 % |
432.68/433.04	c |    753392 |     920     5479    19257 |    42214    39088     68 |  0.000 % |
434.68/435.02	c |    756117 |     920     5479    19257 |    42214    41813     68 |  0.000 % |
436.48/436.88	c |    759114 |     920     5479    19257 |    42214    38060     67 |  0.000 % |
438.68/439.04	c |    762410 |     920     5479    19257 |    38946    35145     66 |  0.000 % |
440.38/440.76	c |    766038 |     920     5479    19257 |    38946    38773     67 |  0.000 % |
443.28/443.61	c |    770026 |     920     5479    19257 |    37713    37739     66 |  0.000 % |
446.18/446.59	c |    774412 |     920     5479    19257 |    37713    36889     66 |  0.000 % |
449.48/449.87	c |    779235 |     920     5479    19257 |    37713    36343     66 |  0.000 % |
453.58/453.93	c |    784541 |     920     5479    19257 |    37108    36470     66 |  0.000 % |
457.17/457.51	c |    790376 |     920     5479    19257 |    36833    32433     66 |  0.000 % |
460.97/461.34	c |    796794 |     920     5479    19257 |    36833    34220     66 |  0.000 % |
464.77/465.19	c |    803854 |     920     5479    19257 |    32957    32907     66 |  0.000 % |
464.87/465.24	c |    803954 |     920     5479    19257 |    32957    33007     66 |  0.000 % |
464.97/465.33	c |    804066 |     920     5479    19257 |    32957    29819     65 |  0.000 % |
465.07/465.42	c |    804188 |     920     5479    19257 |    32957    29941     65 |  0.000 % |
465.17/465.50	c |    804321 |     920     5479    19257 |    32957    30074     65 |  0.000 % |
465.17/465.57	c |    804469 |     920     5479    19257 |    32957    30222     65 |  0.000 % |
465.27/465.63	c |    804629 |     920     5479    19257 |    32957    30382     65 |  0.000 % |
465.37/465.74	c |    804807 |     920     5479    19257 |    32957    30560     65 |  0.000 % |
465.47/465.88	c |    805001 |     920     5479    19257 |    32957    30754     66 |  0.000 % |
465.67/466.04	c |    805215 |     920     5479    19257 |    32957    30968     66 |  0.000 % |
465.77/466.18	c |    805449 |     920     5479    19257 |    32957    31202     66 |  0.000 % |
465.97/466.32	c |    805706 |     920     5479    19257 |    32957    31459     66 |  0.000 % |
466.07/466.47	c |    805987 |     920     5479    19257 |    32957    31740     66 |  0.000 % |
466.27/466.62	c |    806296 |     920     5479    19257 |    32957    32049     66 |  0.000 % |
466.37/466.75	c |    806635 |     920     5479    19257 |    32957    32388     66 |  0.000 % |
466.57/466.93	c |    807007 |     920     5479    19257 |    32957    32760     66 |  0.000 % |
466.66/467.10	c |    807417 |     920     5479    19257 |    32957    29862     65 |  0.000 % |
466.86/467.28	c |    807866 |     920     5479    19257 |    32957    30311     65 |  0.000 % |
467.07/467.46	c |    808359 |     920     5479    19257 |    32957    30804     65 |  0.000 % |
467.36/467.72	c |    808902 |     920     5479    19257 |    32957    31347     66 |  0.000 % |
467.66/468.00	c |    809499 |     920     5479    19257 |    32957    31944     66 |  0.000 % |
467.96/468.34	c |    810154 |     920     5479    19257 | 2147483647    32599     66 |  0.000 % |
468.36/468.71	c |    810874 |     920     5479    19257 | 2147483647    33319     66 |  0.000 % |
468.66/469.06	c |    811666 |     920     5479    19257 | 2147483647    34111     66 |  0.000 % |
469.06/469.46	c |    812538 |     920     5479    19257 | 2147483647    34983     66 |  0.000 % |
469.76/470.13	c |    813496 |     920     5479    19257 | 2147483647    35941     66 |  0.000 % |
470.37/470.71	c |    814549 |     920     5479    19257 | 2147483647    36994     66 |  0.000 % |
471.16/471.59	c |    815707 |     920     5479    19257 | 2147483647    38152     66 |  0.000 % |
472.26/472.67	c |    816980 |     920     5479    19257 | 2147483647    39425     67 |  0.000 % |
473.36/473.77	c |    818380 |     920     5479    19257 | 2147483647    40825     67 |  0.000 % |
474.46/474.87	c |    819920 |     920     5479    19257 | 2147483647    42365     67 |  0.000 % |
475.46/475.82	c |    821615 |     920     5479    19257 |    42447    37779     66 |  0.000 % |
476.36/476.78	c |    823478 |     920     5479    19257 |    42447    39642     66 |  0.000 % |
477.56/477.91	c |    825527 |     920     5479    19257 |    42447    41691     67 |  0.000 % |
479.46/479.80	c |    827781 |     920     5479    19257 |    42447    37708     67 |  0.000 % |
480.86/481.25	c |    830259 |     920     5479    19257 |    39927    34440     66 |  0.000 % |
482.76/483.19	c |    832985 |     920     5479    19257 |    39927    37166     66 |  0.000 % |
484.56/484.99	c |    835982 |     920     5479    19257 |    39927    34764     67 |  0.000 % |
486.96/487.36	c |    839279 |     920     5479    19257 |    39927    38061     67 |  0.000 % |
489.86/490.26	c |    842905 |     920     5479    19257 |    38782    36352     67 |  0.000 % |
492.46/492.85	c |    846892 |     920     5479    19257 |    38782    34895     67 |  0.000 % |
496.05/496.46	c |    851278 |     920     5479    19257 |    38004    33620     66 |  0.000 % |
499.85/500.23	c |    856102 |     920     5479    19257 |    38004    32894     67 |  0.000 % |
502.85/503.28	c |    861408 |     920     5479    19257 |    36793    33125     66 |  0.000 % |
505.35/505.74	c |    867243 |     920     5479    19257 |    36793    34647     66 |  0.000 % |
508.14/508.54	c |    873662 |     920     5479    19257 |    33295    33340     65 |  0.000 % |
512.25/512.64	c |    880721 |     920     5479    19257 | 2147483647    33716     67 |  0.000 % |
517.44/517.89	c |    888485 |     920     5479    19257 | 2147483647    41480     68 |  0.000 % |
517.54/517.92	c |    888585 |     920     5479    19257 | 2147483647    41580     68 |  0.000 % |
517.54/517.98	c |    888696 |     920     5479    19257 | 2147483647    41691     68 |  0.000 % |
517.65/518.02	c |    888817 |     920     5479    19257 | 2147483647    41812     68 |  0.000 % |
517.65/518.07	c |    888950 |     920     5479    19257 | 2147483647    41945     68 |  0.000 % |
517.75/518.11	c |    889096 |     920     5479    19257 | 2147483647    42091     68 |  0.000 % |
517.84/518.24	c |    889257 |     920     5479    19257 | 2147483647    42252     68 |  0.000 % |
517.94/518.30	c |    889434 |     920     5479    19257 | 2147483647    42429     68 |  0.000 % |
517.94/518.36	c |    889627 |     920     5479    19257 | 2147483647    42622     67 |  0.000 % |
518.04/518.42	c |    889840 |     920     5479    19257 | 2147483647    42835     67 |  0.000 % |
518.14/518.52	c |    890073 |     920     5479    19257 |    42995    43068     67 |  0.000 % |
518.34/518.77	c |    890329 |     920     5479    19257 |    42995    36913     67 |  0.000 % |
518.54/518.98	c |    890611 |     920     5479    19257 |    42995    37195     67 |  0.000 % |
518.74/519.17	c |    890920 |     920     5479    19257 |    42995    37504     67 |  0.000 % |
518.94/519.38	c |    891259 |     920     5479    19257 |    42995    37843     67 |  0.000 % |
519.24/519.67	c |    891632 |     920     5479    19257 |    42995    38216     67 |  0.000 % |
519.44/519.88	c |    892041 |     920     5479    19257 |    42995    38625     67 |  0.000 % |
519.74/520.16	c |    892491 |     920     5479    19257 |    42995    39075     67 |  0.000 % |
520.05/520.47	c |    892986 |     920     5479    19257 |    42995    39570     67 |  0.000 % |
520.25/520.69	c |    893528 |     920     5479    19257 |    42995    40112     67 |  0.000 % |
520.55/520.98	c |    894124 |     920     5479    19257 |    42995    40708     68 |  0.000 % |
520.95/521.38	c |    894779 |     920     5479    19257 |    42995    41363     68 |  0.000 % |
521.35/521.76	c |    895500 |     920     5479    19257 |    42995    42084     68 |  0.000 % |
521.85/522.23	c |    896292 |     920     5479    19257 |    42995    42876     68 |  0.000 % |
522.65/523.03	c |    897164 |     920     5479    19257 |    42995    37086     68 |  0.000 % |
523.45/523.83	c |    898122 |     920     5479    19257 |    42995    38044     68 |  0.000 % |
524.05/524.44	c |    899176 |     920     5479    19257 |    42995    39098     68 |  0.000 % |
524.75/525.18	c |    900334 |     920     5479    19257 |    39923    34028     67 |  0.000 % |
525.45/525.89	c |    901607 |     920     5479    19257 |    39923    35301     67 |  0.000 % |
526.25/526.66	c |    903008 |     920     5479    19257 |    39923    36702     67 |  0.000 % |
527.34/527.73	c |    904548 |     920     5479    19257 |    39923    38242     68 |  0.000 % |
528.34/528.74	c |    906242 |     920     5479    19257 |    39923    39936     68 |  0.000 % |
529.75/530.16	c |    908105 |     920     5479    19257 |    39923    35698     67 |  0.000 % |
531.14/531.57	c |    910155 |     920     5479    19257 |    37593    37748     67 |  0.000 % |
532.64/533.08	c |    912408 |     920     5479    19257 |    37593    34610     66 |  0.000 % |
534.44/534.85	c |    914887 |     920     5479    19257 |    37593    37089     67 |  0.000 % |
536.64/537.02	c |    917613 |     920     5479    19257 |    37593    34655     67 |  0.000 % |
538.55/538.96	c |    920610 |     920     5479    19257 |    37042    32553     68 |  0.000 % |
540.24/540.68	c |    923906 |     920     5479    19257 |    37042    35849     68 |  0.000 % |
542.64/543.01	c |    927531 |     920     5479    19257 |    37042    34696     68 |  0.000 % |
545.84/546.28	c |    931519 |     920     5479    19257 |    37165    33590     68 |  0.000 % |
547.44/547.84	c |    935904 |     920     5479    19257 |    37165    33219     67 |  0.000 % |
549.43/549.86	c |    940727 |     920     5479    19257 |    32905    29752     64 |  0.000 % |
552.33/552.77	c |    946032 |     920     5479    19257 |    32905    31757     65 |  0.000 % |
556.24/556.64	c |    951868 |     920     5479    19257 | 2147483647    34280     67 |  0.000 % |
560.63/561.00	c |    958288 |     920     5479    19257 | 2147483647    40700     67 |  0.000 % |
566.03/566.48	c |    965347 |     920     5479    19257 |    42412    41509     67 |  0.000 % |
571.03/571.41	c |    973113 |     920     5479    19257 |    39039    35768     67 |  0.000 % |
577.62/578.09	c |    981654 |     920     5479    19257 |    36239    32030     68 |  0.000 % |
577.72/578.15	c |    981754 |     920     5479    19257 |    36239    32130     68 |  0.000 % |
577.82/578.22	c |    981864 |     920     5479    19257 |    36239    32240     68 |  0.000 % |
577.92/578.30	c |    981986 |     920     5479    19257 |    36239    32362     68 |  0.000 % |
578.02/578.41	c |    982120 |     920     5479    19257 |    36239    32496     68 |  0.000 % |
578.02/578.48	c |    982268 |     920     5479    19257 |    36239    32644     68 |  0.000 % |
578.13/578.58	c |    982428 |     920     5479    19257 |    36239    32804     68 |  0.000 % |
578.23/578.69	c |    982605 |     920     5479    19257 |    36239    32981     68 |  0.000 % |
578.32/578.79	c |    982798 |     920     5479    19257 |    36239    33174     68 |  0.000 % |
578.52/578.92	c |    983010 |     920     5479    19257 |    36239    33386     68 |  0.000 % |
578.62/579.05	c |    983245 |     920     5479    19257 |    36239    33621     68 |  0.000 % |
578.82/579.23	c |    983501 |     920     5479    19257 |    36239    33877     68 |  0.000 % |
579.02/579.40	c |    983782 |     920     5479    19257 |    36239    34158     68 |  0.000 % |
579.12/579.60	c |    984093 |     920     5479    19257 |    36239    34469     68 |  0.000 % |
579.42/579.84	c |    984433 |     920     5479    19257 |    36239    34809     68 |  0.000 % |
579.62/580.09	c |    984806 |     920     5479    19257 |    36239    35182     68 |  0.000 % |
579.82/580.27	c |    985215 |     920     5479    19257 |    36239    35591     68 |  0.000 % |
580.12/580.53	c |    985664 |     920     5479    19257 |    36239    36040     68 |  0.000 % |
580.43/580.86	c |    986157 |     920     5479    19257 |    36239    31086     67 |  0.000 % |
580.72/581.12	c |    986699 |     920     5479    19257 |    36239    31628     68 |  0.000 % |
580.92/581.39	c |    987296 |     920     5479    19257 |    36239    32225     68 |  0.000 % |
581.32/581.70	c |    987952 |     920     5479    19257 |    36239    32881     68 |  0.000 % |
581.72/582.15	c |    988673 |     920     5479    19257 |    36239    33602     68 |  0.000 % |
582.22/582.61	c |    989465 |     920     5479    19257 |    36239    34394     68 |  0.000 % |
582.62/583.06	c |    990338 |     920     5479    19257 |    34929    30518     68 |  0.000 % |
583.12/583.55	c |    991296 |     920     5479    19257 |    34929    31476     68 |  0.000 % |
583.72/584.19	c |    992349 |     920     5479    19257 |    34929    32529     68 |  0.000 % |
584.32/584.77	c |    993507 |     920     5479    19257 |    34929    33687     68 |  0.000 % |
585.22/585.66	c |    994781 |     920     5479    19257 |    34929    34961     69 |  0.000 % |
586.12/586.58	c |    996181 |     920     5479    19257 |    34929    32429     68 |  0.000 % |
587.02/587.45	c |    997722 |     920     5479    19257 |    34929    33970     68 |  0.000 % |
588.02/588.45	c |    999417 |     920     5479    19257 |    34929    31721     68 |  0.000 % |
589.12/589.52	c |   1001282 |     920     5479    19257 |    32304    30008     67 |  0.000 % |
590.51/590.91	c |   1003332 |     920     5479    19257 |    32304    32058     67 |  0.000 % |
592.11/592.56	c |   1005586 |     920     5479    19257 |    32304    30914     67 |  0.000 % |
593.81/594.27	c |   1008064 |     920     5479    19257 |    32304    30006     68 |  0.000 % |
595.31/595.71	c |   1010789 |     920     5479    19257 |    31942    28986     67 |  0.000 % |
597.01/597.47	c |   1013786 |     920     5479    19257 |    31942    31983     67 |  0.000 % |
598.71/599.14	c |   1017082 |     920     5479    19257 |    31942    32081     67 |  0.000 % |
601.01/601.43	c |   1020707 |     920     5479    19257 | 2147483647    32498     67 |  0.000 % |
604.01/604.45	c |   1024694 |     920     5479    19257 | 2147483647    36485     68 |  0.000 % |
607.41/607.81	c |   1029079 |     920     5479    19257 | 2147483647    40870     68 |  0.000 % |
611.21/611.62	c |   1033902 |     920     5479    19257 |    41791    39611     68 |  0.000 % |
615.30/615.75	c |   1039208 |     920     5479    19257 |    41791    37997     68 |  0.000 % |
619.50/619.95	c |   1045044 |     920     5479    19257 |    38790    37417     68 |  0.000 % |
624.70/625.17	c |   1051465 |     920     5479    19257 |    36557    32658     67 |  0.000 % |
630.00/630.40	c |   1058525 |     920     5479    19257 |    36557    34135     67 |  0.000 % |
633.50/633.93	c |   1066289 |     920     5479    19257 |    35612    30730     63 |  0.000 % |
637.99/638.48	c |   1074830 |     920     5479    19257 |    34441    31170     64 |  0.000 % |
643.39/643.88	c |   1084225 |     920     5479    19257 | 2147483647    37107     65 |  0.000 % |
643.49/643.94	c |   1084325 |     920     5479    19257 | 2147483647    37207     65 |  0.000 % |
643.49/643.99	c |   1084435 |     920     5479    19257 | 2147483647    37317     65 |  0.000 % |
643.59/644.05	c |   1084557 |     920     5479    19257 | 2147483647    37439     65 |  0.000 % |
643.69/644.18	c |   1084691 |     920     5479    19257 | 2147483647    37573     66 |  0.000 % |
643.89/644.32	c |   1084837 |     920     5479    19257 | 2147483647    37719     65 |  0.000 % |
643.99/644.43	c |   1084997 |     920     5479    19257 | 2147483647    37879     66 |  0.000 % |
644.09/644.53	c |   1085173 |     920     5479    19257 | 2147483647    38055     66 |  0.000 % |
644.19/644.63	c |   1085367 |     920     5479    19257 | 2147483647    38249     66 |  0.000 % |
644.29/644.73	c |   1085580 |     920     5479    19257 | 2147483647    38462     66 |  0.000 % |
644.39/644.86	c |   1085813 |     920     5479    19257 | 2147483647    38695     66 |  0.000 % |
644.49/644.98	c |   1086070 |     920     5479    19257 | 2147483647    38952     66 |  0.000 % |
644.69/645.20	c |   1086353 |     920     5479    19257 | 2147483647    39235     66 |  0.000 % |
644.89/645.39	c |   1086664 |     920     5479    19257 | 2147483647    39546     66 |  0.000 % |
645.19/645.61	c |   1087004 |     920     5479    19257 | 2147483647    39886     66 |  0.000 % |
645.39/645.89	c |   1087376 |     920     5479    19257 | 2147483647    40258     66 |  0.000 % |
645.79/646.21	c |   1087786 |     920     5479    19257 | 2147483647    40668     66 |  0.000 % |
646.09/646.50	c |   1088237 |     920     5479    19257 | 2147483647    41119     66 |  0.000 % |
646.39/646.88	c |   1088730 |     920     5479    19257 | 2147483647    41612     66 |  0.000 % |
646.79/647.28	c |   1089274 |     920     5479    19257 | 2147483647    42156     66 |  0.000 % |
647.29/647.72	c |   1089871 |     920     5479    19257 | 2147483647    42753     66 |  0.000 % |
647.69/648.18	c |   1090527 |     920     5479    19257 |    42882    37746     65 |  0.000 % |
648.19/648.67	c |   1091251 |     920     5479    19257 |    42882    38470     65 |  0.000 % |
648.69/649.17	c |   1092043 |     920     5479    19257 |    42882    39262     66 |  0.000 % |
649.28/649.78	c |   1092915 |     920     5479    19257 |    42882    40134     66 |  0.000 % |
649.99/650.45	c |   1093873 |     920     5479    19257 |    42882    41092     66 |  0.000 % |
650.69/651.16	c |   1094926 |     920     5479    19257 |    42882    42145     66 |  0.000 % |
651.58/652.06	c |   1096085 |     920     5479    19257 |    42882    36848     67 |  0.000 % |
652.38/652.88	c |   1097358 |     920     5479    19257 |    42882    38121     67 |  0.000 % |
653.38/653.87	c |   1098758 |     920     5479    19257 |    42882    39521     67 |  0.000 % |
654.68/655.12	c |   1100298 |     920     5479    19257 |    40763    34507     67 |  0.000 % |
655.88/656.31	c |   1101992 |     920     5479    19257 |    40763    36201     67 |  0.000 % |
657.39/657.87	c |   1103855 |     920     5479    19257 |    40763    38064     67 |  0.000 % |
659.48/659.95	c |   1105904 |     920     5479    19257 |    40763    40113     68 |  0.000 % |
660.18/660.68	c |   1108157 |     920     5479    19257 |    40763    35962     66 |  0.000 % |
660.88/661.30	c |   1110635 |     920     5479    19257 |    37806    32758     64 |  0.000 % |
661.68/662.17	c |   1113361 |     920     5479    19257 |    37806    35484     64 |  0.000 % |
662.78/663.27	c |   1116358 |     920     5479    19257 |    37806    34430     64 |  0.000 % |
664.48/664.94	c |   1119654 |     920     5479    19257 |    37806    37726     64 |  0.000 % |
666.18/666.63	c |   1123280 |     920     5479    19257 |    34244    34025     63 |  0.000 % |
667.98/668.48	c |   1127268 |     920     5479    19257 |    34244    31141     63 |  0.000 % |
670.38/670.84	c |   1131653 |     920     5479    19257 | 2147483647    35526     63 |  0.000 % |
672.78/673.26	c |   1136477 |     920     5479    19257 | 2147483647    40350     64 |  0.000 % |
675.37/675.81	c |   1141782 |     920     5479    19257 |    43875    40680     64 |  0.000 % |
678.87/679.33	c |   1147617 |     920     5479    19257 |    43875    40315     65 |  0.000 % |
683.77/684.27	c |   1154037 |     920     5479    19257 |    42699    39913     66 |  0.000 % |
686.97/687.47	c |   1161097 |     920     5479    19257 |    38833    33752     63 |  0.000 % |
689.06/689.50	c |   1168862 |     920     5479    19257 |    38833    36350     62 |  0.000 % |
691.86/692.31	c |   1177403 |     920     5479    19257 |    37490    35794     61 |  0.000 % |
696.06/696.50	c |   1186797 |     920     5479    19257 | 2147483647    41375     61 |  0.000 % |
701.56/702.05	c |   1197130 |     920     5479    19257 | 2147483647    51708     63 |  0.000 % |
701.66/702.11	c |   1197230 |     920     5479    19257 | 2147483647    51808     63 |  0.000 % |
701.66/702.18	c |   1197341 |     920     5479    19257 | 2147483647    51919     63 |  0.000 % |
701.76/702.27	c |   1197462 |     920     5479    19257 | 2147483647    52040     63 |  0.000 % |
701.86/702.35	c |   1197597 |     920     5479    19257 | 2147483647    52175     63 |  0.000 % |
701.96/702.44	c |   1197743 |     920     5479    19257 | 2147483647    52321     63 |  0.000 % |
702.06/702.51	c |   1197903 |     920     5479    19257 | 2147483647    52481     63 |  0.000 % |
702.06/702.57	c |   1198080 |     920     5479    19257 | 2147483647    52658     63 |  0.000 % |
702.16/702.66	c |   1198274 |     920     5479    19257 | 2147483647    52852     63 |  0.000 % |
702.26/702.74	c |   1198486 |     920     5479    19257 | 2147483647    53064     63 |  0.000 % |
702.37/702.83	c |   1198719 |     920     5479    19257 | 2147483647    53297     63 |  0.000 % |
702.47/702.91	c |   1198975 |     920     5479    19257 | 2147483647    53553     63 |  0.000 % |
702.56/703.02	c |   1199257 |     920     5479    19257 | 2147483647    53835     63 |  0.000 % |
702.66/703.11	c |   1199566 |     920     5479    19257 | 2147483647    54144     63 |  0.000 % |
702.76/703.21	c |   1199905 |     920     5479    19257 | 2147483647    54483     63 |  0.000 % |
702.96/703.42	c |   1200278 |     920     5479    19257 |    54579    45704     63 |  0.000 % |
703.06/703.53	c |   1200688 |     920     5479    19257 |    54579    46114     63 |  0.000 % |
703.16/703.69	c |   1201138 |     920     5479    19257 |    54579    46564     63 |  0.000 % |
703.36/703.89	c |   1201632 |     920     5479    19257 |    54579    47058     63 |  0.000 % |
703.56/704.08	c |   1202174 |     920     5479    19257 |    54579    47600     63 |  0.000 % |
703.76/704.28	c |   1202772 |     920     5479    19257 |    54579    48198     63 |  0.000 % |
704.06/704.54	c |   1203429 |     920     5479    19257 |    54579    48855     63 |  0.000 % |
704.36/704.83	c |   1204149 |     920     5479    19257 |    54579    49575     63 |  0.000 % |
704.76/705.21	c |   1204941 |     920     5479    19257 |    54579    50367     63 |  0.000 % |
705.06/705.58	c |   1205812 |     920     5479    19257 |    54579    51238     63 |  0.000 % |
705.56/706.06	c |   1206772 |     920     5479    19257 |    54579    52198     63 |  0.000 % |
706.16/706.63	c |   1207826 |     920     5479    19257 |    54579    53252     64 |  0.000 % |
706.66/707.14	c |   1208984 |     920     5479    19257 |    54579    54410     64 |  0.000 % |
707.46/707.91	c |   1210257 |     920     5479    19257 |    45711    37827     65 |  0.000 % |
707.96/708.49	c |   1211657 |     920     5479    19257 |    45711    39227     65 |  0.000 % |
708.75/709.22	c |   1213197 |     920     5479    19257 |    45711    40767     65 |  0.000 % |
709.45/709.99	c |   1214891 |     920     5479    19257 |    45711    42461     66 |  0.000 % |
710.55/711.05	c |   1216755 |     920     5479    19257 |    45711    44325     66 |  0.000 % |
711.75/712.21	c |   1218804 |     920     5479    19257 |    45711    38904     66 |  0.000 % |
713.15/713.60	c |   1221058 |     920     5479    19257 |    40101    34697     66 |  0.000 % |
714.15/714.60	c |   1223536 |     920     5479    19257 |    40101    37175     68 |  0.000 % |
715.05/715.53	c |   1226262 |     920     5479    19257 |    40101    39901     67 |  0.000 % |
716.05/716.51	c |   1229260 |     920     5479    19257 |    40101    35096     65 |  0.000 % |
717.15/717.62	c |   1232557 |     920     5479    19257 |    35836    31311     68 |  0.000 % |
718.05/718.56	c |   1236183 |     920     5479    19257 |    35836    34937     66 |  0.000 % |
718.86/719.33	c |   1240172 |     920     5479    19257 |    32349    26986     60 |  0.000 % |
720.05/720.51	c |   1244557 |     920     5479    19257 |    32349    31371     61 |  0.000 % |
721.45/721.94	c |   1249381 |     920     5479    19257 |    32349    31056     59 |  0.000 % |
723.35/723.89	c |   1254686 |     920     5479    19257 |    31675    28654     60 |  0.000 % |
725.24/725.72	c |   1260521 |     920     5479    19257 | 2147483647    31307     60 |  0.000 % |
727.44/727.92	c |   1266939 |     920     5479    19257 | 2147483647    37725     63 |  0.000 % |
729.85/730.38	c |   1273998 |     920     5479    19257 |    40786    39027     63 |  0.000 % |
732.84/733.37	c |   1281762 |     920     5479    19257 |    38695    34191     64 |  0.000 % |
737.44/737.99	c |   1290303 |     920     5479    19257 |    36334    31223     66 |  0.000 % |
742.44/742.97	c |   1299697 |     920     5479    19257 |    36334    35409     65 |  0.000 % |
747.94/748.47	c |   1310032 |     920     5479    19257 |    31213    31244     68 |  0.000 % |
751.23/751.78	c |   1321399 |     920     5479    19257 | 2147483647    32068     65 |  0.000 % |
751.23/751.79	c |   1321501 |     920     5479    19257 | 2147483647    32170     65 |  0.000 % |
751.33/751.82	c |   1321611 |     920     5479    19257 | 2147483647    32280     65 |  0.000 % |
751.33/751.85	c |   1321732 |     920     5479    19257 | 2147483647    32401     65 |  0.000 % |
751.33/751.88	c |   1321865 |     920     5479    19257 | 2147483647    32534     65 |  0.000 % |
751.43/751.91	c |   1322012 |     920     5479    19257 | 2147483647    32681     65 |  0.000 % |
751.43/751.97	c |   1322174 |     920     5479    19257 | 2147483647    32843     65 |  0.000 % |
751.53/752.01	c |   1322353 |     920     5479    19257 | 2147483647    33022     65 |  0.000 % |
751.53/752.05	c |   1322547 |     920     5479    19257 | 2147483647    33216     65 |  0.000 % |
751.53/752.09	c |   1322760 |     920     5479    19257 | 2147483647    33429     65 |  0.000 % |
751.63/752.13	c |   1322994 |     920     5479    19257 | 2147483647    33663     65 |  0.000 % |
751.63/752.18	c |   1323250 |     920     5479    19257 | 2147483647    33919     65 |  0.000 % |
751.73/752.23	c |   1323532 |     920     5479    19257 | 2147483647    34201     65 |  0.000 % |
751.84/752.32	c |   1323842 |     920     5479    19257 | 2147483647    34511     64 |  0.000 % |
751.84/752.39	c |   1324183 |     920     5479    19257 | 2147483647    34852     64 |  0.000 % |
751.94/752.48	c |   1324555 |     920     5479    19257 | 2147483647    35224     64 |  0.000 % |
752.13/752.60	c |   1324965 |     920     5479    19257 | 2147483647    35634     64 |  0.000 % |
752.23/752.76	c |   1325414 |     920     5479    19257 | 2147483647    36083     64 |  0.000 % |
752.43/752.91	c |   1325909 |     920     5479    19257 | 2147483647    36578     64 |  0.000 % |
752.53/753.05	c |   1326452 |     920     5479    19257 | 2147483647    37121     64 |  0.000 % |
752.83/753.32	c |   1327050 |     920     5479    19257 | 2147483647    37719     64 |  0.000 % |
752.94/753.47	c |   1327705 |     920     5479    19257 | 2147483647    38374     64 |  0.000 % |
753.13/753.64	c |   1328425 |     920     5479    19257 | 2147483647    39094     64 |  0.000 % |
753.33/753.84	c |   1329217 |     920     5479    19257 | 2147483647    39886     64 |  0.000 % |
753.53/754.04	c |   1330088 |     920     5479    19257 | 2147483647    40757     63 |  0.000 % |
753.93/754.42	c |   1331047 |     920     5479    19257 | 2147483647    41716     63 |  0.000 % |
754.33/754.89	c |   1332100 |     920     5479    19257 | 2147483647    42769     64 |  0.000 % |
755.14/755.61	c |   1333259 |     920     5479    19257 | 2147483647    43928     64 |  0.000 % |
755.63/756.19	c |   1334533 |     920     5479    19257 | 2147483647    45202     64 |  0.000 % |
756.43/756.94	c |   1335933 |     920     5479    19257 | 2147483647    46602     64 |  0.000 % |
757.33/757.89	c |   1337473 |     920     5479    19257 | 2147483647    48142     64 |  0.000 % |
758.43/758.96	c |   1339168 |     920     5479    19257 | 2147483647    49837     64 |  0.000 % |
759.53/760.04	c |   1341032 |     920     5479    19257 |    50669    42385     63 |  0.000 % |
760.53/761.09	c |   1343081 |     920     5479    19257 |    50669    44434     63 |  0.000 % |
762.03/762.57	c |   1345334 |     920     5479    19257 |    50669    46687     63 |  0.000 % |
763.83/764.38	c |   1347814 |     920     5479    19257 |    50669    49167     64 |  0.000 % |
765.73/766.22	c |   1350539 |     920     5479    19257 |    40895    33051     61 |  0.000 % |
767.13/767.64	c |   1353537 |     920     5479    19257 |    40895    36049     62 |  0.000 % |
768.63/769.18	c |   1356833 |     920     5479    19257 |    40895    39345     63 |  0.000 % |
769.53/770.02	c |   1360458 |     920     5479    19257 |    35379    29678     62 |  0.000 % |
770.92/771.44	c |   1364446 |     920     5479    19257 |    35379    33666     63 |  0.000 % |
772.22/772.76	c |   1368831 |     920     5479    19257 |    35379    34154     61 |  0.000 % |
774.02/774.57	c |   1373654 |     920     5479    19257 |    35324    35351     61 |  0.000 % |
776.92/777.45	c |   1378960 |     920     5479    19257 |    35324    33579     60 |  0.000 % |
780.42/781.00	c |   1384796 |     920     5479    19257 | 2147483647    39415     61 |  0.000 % |
785.02/785.57	c |   1391214 |     920     5479    19257 | 2147483647    45833     62 |  0.000 % |
791.72/792.20	c |   1398273 |     920     5479    19257 | 2147483647    52892     63 |  0.000 % |
798.62/799.15	c |   1406037 |     920     5479    19257 |    54619    49656     65 |  0.000 % |
802.92/803.45	c |   1414578 |     920     5479    19257 |    53619    47260     67 |  0.000 % |
808.52/809.06	c |   1423972 |     920     5479    19257 |    52682    45830     67 |  0.000 % |
813.42/813.97	c |   1434306 |     920     5479    19257 |    51858    46196     67 |  0.000 % |
819.31/819.84	c |   1445672 |     920     5479    19257 |    51891    47096     67 |  0.000 % |
828.01/828.55	c |   1458174 |     920     5479    19257 |    51424    48164     68 |  0.000 % |
828.11/828.62	c |   1458274 |     920     5479    19257 |    51424    48264     68 |  0.000 % |
828.11/828.69	c |   1458384 |     920     5479    19257 |    51424    48374     68 |  0.000 % |
828.21/828.75	c |   1458505 |     920     5479    19257 |    51424    48495     68 |  0.000 % |
828.31/828.83	c |   1458639 |     920     5479    19257 |    51424    48629     68 |  0.000 % |
828.31/828.87	c |   1458785 |     920     5479    19257 |    51424    48775     67 |  0.000 % |
828.41/828.91	c |   1458946 |     920     5479    19257 |    51424    48936     67 |  0.000 % |
828.41/828.96	c |   1459122 |     920     5479    19257 |    51424    49112     67 |  0.000 % |
828.51/829.02	c |   1459315 |     920     5479    19257 |    51424    49305     67 |  0.000 % |
828.61/829.13	c |   1459527 |     920     5479    19257 |    51424    49517     67 |  0.000 % |
828.71/829.27	c |   1459760 |     920     5479    19257 |    51424    49750     67 |  0.000 % |
828.91/829.48	c |   1460017 |     920     5479    19257 |    49990    50007     67 |  0.000 % |
829.20/829.72	c |   1460298 |     920     5479    19257 |    49990    38111     66 |  0.000 % |
829.30/829.80	c |   1460607 |     920     5479    19257 |    49990    38420     66 |  0.000 % |
829.40/829.91	c |   1460946 |     920     5479    19257 |    49990    38759     66 |  0.000 % |
829.50/830.05	c |   1461318 |     920     5479    19257 |    49990    39131     66 |  0.000 % |
829.70/830.26	c |   1461727 |     920     5479    19257 |    49990    39540     66 |  0.000 % |
829.91/830.41	c |   1462176 |     920     5479    19257 |    49990    39989     66 |  0.000 % |
830.10/830.60	c |   1462669 |     920     5479    19257 |    49990    40482     66 |  0.000 % |
830.30/830.84	c |   1463211 |     920     5479    19257 |    49990    41024     66 |  0.000 % |
830.50/831.08	c |   1463808 |     920     5479    19257 |    49990    41621     66 |  0.000 % |
830.90/831.45	c |   1464464 |     920     5479    19257 |    49990    42277     66 |  0.000 % |
831.30/831.82	c |   1465186 |     920     5479    19257 |    49990    42999     66 |  0.000 % |
831.60/832.16	c |   1465979 |     920     5479    19257 |    49990    43792     66 |  0.000 % |
832.00/832.58	c |   1466851 |     920     5479    19257 |    49990    44664     66 |  0.000 % |
832.50/833.04	c |   1467809 |     920     5479    19257 |    49990    45622     66 |  0.000 % |
832.90/833.49	c |   1468863 |     920     5479    19257 |    49990    46676     66 |  0.000 % |
833.40/833.95	c |   1470021 |     920     5479    19257 |    47813    47834     66 |  0.000 % |
833.90/834.42	c |   1471294 |     920     5479    19257 |    47813    40824     65 |  0.000 % |
834.50/835.05	c |   1472695 |     920     5479    19257 |    47813    42225     65 |  0.000 % |
835.20/835.77	c |   1474235 |     920     5479    19257 |    47813    43765     65 |  0.000 % |
836.10/836.65	c |   1475929 |     920     5479    19257 |    47813    45459     65 |  0.000 % |
837.10/837.68	c |   1477793 |     920     5479    19257 |    47813    47323     66 |  0.000 % |
838.30/838.81	c |   1479843 |     920     5479    19257 |    47813    40908     65 |  0.000 % |
839.40/839.97	c |   1482097 |     920     5479    19257 |    41066    36065     65 |  0.000 % |
840.70/841.28	c |   1484575 |     920     5479    19257 |    41066    38543     65 |  0.000 % |
842.40/842.95	c |   1487301 |     920     5479    19257 |    41066    34728     65 |  0.000 % |
844.00/844.50	c |   1490299 |     920     5479    19257 |    37428    32359     66 |  0.000 % |
845.60/846.11	c |   1493595 |     920     5479    19257 |    37428    35655     66 |  0.000 % |
847.60/848.17	c |   1497220 |     920     5479    19257 |    37428    34072     68 |  0.000 % |
849.49/850.09	c |   1501207 |     920     5479    19257 |    36853    33110     69 |  0.000 % |
852.19/852.73	c |   1505593 |     920     5479    19257 |    36853    32678     69 |  0.000 % |
855.09/855.60	c |   1510416 |     920     5479    19257 |    32385    28732     69 |  0.000 % |
858.29/858.88	c |   1515721 |     920     5479    19257 |    32385    30395     69 |  0.000 % |
861.38/861.92	c |   1521557 |     920     5479    19257 |    30947    29057     67 |  0.000 % |
864.78/865.35	c |   1527975 |     920     5479    19257 |    30947    29266     67 |  0.000 % |
868.48/869.03	c |   1535035 |     920     5479    19257 | 2147483647    33221     67 |  0.000 % |
873.68/874.25	c |   1542800 |     920     5479    19257 |    38186    36578     68 |  0.000 % |
878.68/879.24	c |   1551340 |     920     5479    19257 |    33541    30481     67 |  0.000 % |
883.58/884.13	c |   1560734 |     920     5479    19257 |    30929    28271     68 |  0.000 % |
888.97/889.53	c |   1571067 |     920     5479    19257 | 2147483647    29293     69 |  0.000 % |
892.47/893.08	c |   1582433 |     920     5479    19257 | 2147483647    40659     70 |  0.000 % |
898.57/899.15	c |   1594935 |     920     5479    19257 |    48227    46302     69 |  0.000 % |
907.36/907.91	c |   1608687 |     920     5479    19257 |    42580    35543     68 |  0.000 % |
907.36/907.96	c |   1608787 |     920     5479    19257 |    42580    35643     68 |  0.000 % |
907.46/908.03	c |   1608898 |     920     5479    19257 |    42580    35754     68 |  0.000 % |
907.46/908.08	c |   1609020 |     920     5479    19257 |    42580    35876     68 |  0.000 % |
907.56/908.15	c |   1609153 |     920     5479    19257 |    42580    36009     68 |  0.000 % |
907.56/908.20	c |   1609299 |     920     5479    19257 |    42580    36155     68 |  0.000 % |
907.66/908.25	c |   1609460 |     920     5479    19257 |    42580    36316     68 |  0.000 % |
907.66/908.29	c |   1609636 |     920     5479    19257 |    42580    36492     68 |  0.000 % |
907.76/908.37	c |   1609829 |     920     5479    19257 |    42580    36685     68 |  0.000 % |
907.86/908.49	c |   1610042 |     920     5479    19257 |    36857    36898     68 |  0.000 % |
908.16/908.70	c |   1610276 |     920     5479    19257 |    36857    30623     67 |  0.000 % |
908.16/908.79	c |   1610532 |     920     5479    19257 |    36857    30879     67 |  0.000 % |
908.46/909.02	c |   1610814 |     920     5479    19257 |    36857    31161     67 |  0.000 % |
908.66/909.22	c |   1611124 |     920     5479    19257 |    36857    31471     67 |  0.000 % |
908.86/909.41	c |   1611463 |     920     5479    19257 |    36857    31810     67 |  0.000 % |
908.96/909.58	c |   1611835 |     920     5479    19257 |    36857    32182     67 |  0.000 % |
909.16/909.77	c |   1612245 |     920     5479    19257 |    36857    32592     67 |  0.000 % |
909.36/909.93	c |   1612698 |     920     5479    19257 |    36857    33045     67 |  0.000 % |
909.56/910.14	c |   1613192 |     920     5479    19257 |    36857    33539     67 |  0.000 % |
909.86/910.40	c |   1613734 |     920     5479    19257 |    36857    34081     67 |  0.000 % |
910.06/910.66	c |   1614330 |     920     5479    19257 |    36857    34677     67 |  0.000 % |
910.36/910.96	c |   1614985 |     920     5479    19257 |    36857    35332     67 |  0.000 % |
910.76/911.33	c |   1615705 |     920     5479    19257 |    36857    36052     67 |  0.000 % |
911.16/911.74	c |   1616497 |     920     5479    19257 |    36857    36844     68 |  0.000 % |
911.56/912.16	c |   1617368 |     920     5479    19257 |    36857    33456     67 |  0.000 % |
912.06/912.65	c |   1618328 |     920     5479    19257 |    36857    34416     67 |  0.000 % |
912.56/913.19	c |   1619381 |     920     5479    19257 |    36857    35469     67 |  0.000 % |
913.26/913.86	c |   1620540 |     920     5479    19257 |    36089    32542     68 |  0.000 % |
914.46/915.05	c |   1621814 |     920     5479    19257 |    36089    33816     68 |  0.000 % |
915.26/915.90	c |   1623214 |     920     5479    19257 |    36089    35216     68 |  0.000 % |
916.45/917.03	c |   1624755 |     920     5479    19257 |    36089    31758     68 |  0.000 % |
917.25/917.88	c |   1626451 |     920     5479    19257 |    36089    33454     68 |  0.000 % |
918.35/918.95	c |   1628315 |     920     5479    19257 |    36089    35318     69 |  0.000 % |
919.85/920.45	c |   1630364 |     920     5479    19257 |    32101    28105     67 |  0.000 % |
921.26/921.86	c |   1632618 |     920     5479    19257 |    32101    30359     67 |  0.000 % |
923.46/924.02	c |   1635096 |     920     5479    19257 |    32101    28995     68 |  0.000 % |
925.15/925.74	c |   1637822 |     920     5479    19257 |    32101    31721     69 |  0.000 % |
926.75/927.31	c |   1640819 |     920     5479    19257 |    30106    27492     68 |  0.000 % |
929.15/929.80	c |   1644115 |     920     5479    19257 |    30106    27772     68 |  0.000 % |
931.15/931.77	c |   1647741 |     920     5479    19257 |    30106    28384     67 |  0.000 % |
932.95/933.56	c |   1651728 |     920     5479    19257 | 2147483647    29352     67 |  0.000 % |
935.35/935.91	c |   1656114 |     920     5479    19257 | 2147483647    33738     68 |  0.000 % |
938.75/939.33	c |   1660937 |     920     5479    19257 | 2147483647    38561     69 |  0.000 % |
942.75/943.30	c |   1666243 |     920     5479    19257 | 2147483647    43867     69 |  0.000 % |
947.24/947.80	c |   1672079 |     920     5479    19257 |    47624    41352     69 |  0.000 % |
952.04/952.64	c |   1678497 |     920     5479    19257 |    47624    39038     69 |  0.000 % |
957.24/957.85	c |   1685557 |     920     5479    19257 |    40542    38675     68 |  0.000 % |
962.73/963.39	c |   1693323 |     920     5479    19257 |    36823    34576     67 |  0.000 % |
967.44/968.09	c |   1701864 |     920     5479    19257 |    36319    33594     67 |  0.000 % |
972.84/973.49	c |   1711258 |     920     5479    19257 |    32582    29579     66 |  0.000 % |
977.63/978.29	c |   1721592 |     920     5479    19257 | 2147483647    33358     66 |  0.000 % |
986.43/987.00	c |   1732960 |     920     5479    19257 |    41766    37938     67 |  0.000 % |
994.22/994.89	c |   1745463 |     920     5479    19257 |    37869    37105     67 |  0.000 % |
1005.92/1006.59	c |   1759215 |     920     5479    19257 |    35434    33838     65 |  0.000 % |
1013.01/1013.66	c |   1774342 |     920     5479    19257 | 2147483647    36947     66 |  0.000 % |
1013.11/1013.70	c |   1774442 |     920     5479    19257 | 2147483647    37047     66 |  0.000 % |
1013.11/1013.75	c |   1774555 |     920     5479    19257 | 2147483647    37160     66 |  0.000 % |
1013.21/1013.80	c |   1774676 |     920     5479    19257 | 2147483647    37281     65 |  0.000 % |
1013.21/1013.83	c |   1774810 |     920     5479    19257 | 2147483647    37415     65 |  0.000 % |
1013.21/1013.87	c |   1774956 |     920     5479    19257 | 2147483647    37561     65 |  0.000 % |
1013.31/1013.90	c |   1775116 |     920     5479    19257 | 2147483647    37721     65 |  0.000 % |
1013.31/1013.94	c |   1775292 |     920     5479    19257 | 2147483647    37897     65 |  0.000 % |
1013.31/1014.00	c |   1775485 |     920     5479    19257 | 2147483647    38090     65 |  0.000 % |
1013.41/1014.06	c |   1775697 |     920     5479    19257 | 2147483647    38302     65 |  0.000 % |
1013.51/1014.15	c |   1775930 |     920     5479    19257 | 2147483647    38535     65 |  0.000 % |
1013.61/1014.25	c |   1776186 |     920     5479    19257 | 2147483647    38791     65 |  0.000 % |
1013.71/1014.38	c |   1776467 |     920     5479    19257 | 2147483647    39072     65 |  0.000 % |
1013.91/1014.54	c |   1776776 |     920     5479    19257 | 2147483647    39381     65 |  0.000 % |
1014.11/1014.71	c |   1777117 |     920     5479    19257 | 2147483647    39722     65 |  0.000 % |
1014.21/1014.88	c |   1777490 |     920     5479    19257 | 2147483647    40095     65 |  0.000 % |
1014.51/1015.11	c |   1777899 |     920     5479    19257 | 2147483647    40504     65 |  0.000 % |
1014.71/1015.33	c |   1778349 |     920     5479    19257 | 2147483647    40954     66 |  0.000 % |
1014.91/1015.52	c |   1778842 |     920     5479    19257 | 2147483647    41447     65 |  0.000 % |
1015.11/1015.72	c |   1779385 |     920     5479    19257 | 2147483647    41990     66 |  0.000 % |
1015.31/1015.96	c |   1779983 |     920     5479    19257 | 2147483647    42588     66 |  0.000 % |
1015.71/1016.32	c |   1780638 |     920     5479    19257 |    42605    38088     65 |  0.000 % |
1015.81/1016.42	c |   1781359 |     920     5479    19257 |    42605    38809     65 |  0.000 % |
1016.01/1016.61	c |   1782151 |     920     5479    19257 |    42605    39601     64 |  0.000 % |
1016.11/1016.78	c |   1783023 |     920     5479    19257 |    42605    40473     64 |  0.000 % |
1016.51/1017.15	c |   1783981 |     920     5479    19257 |    42605    41431     64 |  0.000 % |
1016.81/1017.47	c |   1785034 |     920     5479    19257 |    42605    42484     64 |  0.000 % |
1017.21/1017.89	c |   1786192 |     920     5479    19257 |    42605    37986     64 |  0.000 % |
1017.61/1018.28	c |   1787466 |     920     5479    19257 |    42605    39260     64 |  0.000 % |
1018.11/1018.79	c |   1788866 |     920     5479    19257 |    42605    40660     64 |  0.000 % |
1018.81/1019.45	c |   1790406 |     920     5479    19257 |    41794    36706     64 |  0.000 % |
1019.41/1020.06	c |   1792103 |     920     5479    19257 |    41794    38403     64 |  0.000 % |
1020.31/1020.93	c |   1793966 |     920     5479    19257 |    41794    40266     64 |  0.000 % |
1021.31/1021.93	c |   1796017 |     920     5479    19257 |    41794    36737     64 |  0.000 % |
1022.11/1022.79	c |   1798272 |     920     5479    19257 |    41794    38992     66 |  0.000 % |
1023.31/1023.92	c |   1800751 |     920     5479    19257 |    40720    35279     65 |  0.000 % |
1024.41/1025.06	c |   1803477 |     920     5479    19257 |    40720    38005     65 |  0.000 % |
1025.21/1025.84	c |   1806474 |     920     5479    19257 |    40720    35079     63 |  0.000 % |
1026.41/1027.05	c |   1809770 |     920     5479    19257 |    40720    38375     63 |  0.000 % |
1028.20/1028.86	c |   1813395 |     920     5479    19257 |    38606    36617     63 |  0.000 % |
1029.70/1030.35	c |   1817382 |     920     5479    19257 |    38606    35425     62 |  0.000 % |
1031.70/1032.39	c |   1821767 |     920     5479    19257 |    38046    34837     63 |  0.000 % |
1034.41/1035.05	c |   1826590 |     920     5479    19257 |    38046    34801     63 |  0.000 % |
1036.30/1036.92	c |   1831896 |     920     5479    19257 |    38211    34912     61 |  0.000 % |
1038.30/1038.97	c |   1837732 |     920     5479    19257 |    38211    35993     61 |  0.000 % |
1040.49/1041.16	c |   1844150 |     920     5479    19257 |    38263    37840     62 |  0.000 % |
1043.09/1043.75	c |   1851209 |     920     5479    19257 |    34389    31737     62 |  0.000 % |
1046.59/1047.23	c |   1858973 |     920     5479    19257 |    34389    32603     62 |  0.000 % |
1050.69/1051.31	c |   1867513 |     920     5479    19257 | 2147483647    41143     63 |  0.000 % |
1055.39/1056.02	c |   1876907 |     920     5479    19257 |    43630    38080     65 |  0.000 % |
1060.29/1060.93	c |   1887241 |     920     5479    19257 |    41173    36047     67 |  0.000 % |
1065.99/1066.64	c |   1898608 |     920     5479    19257 |    38806    37214     68 |  0.000 % |
1072.89/1073.55	c |   1911110 |     920     5479    19257 |    36708    31483     69 |  0.000 % |
1081.28/1081.92	c |   1924863 |     920     5479    19257 |    34849    34390     69 |  0.000 % |
1088.67/1089.36	c |   1939992 |     920     5479    19257 |    34234    31220     66 |  0.000 % |
1092.57/1093.28	c |   1956631 |     920     5479    19257 | 2147483647    34899     62 |  0.000 % |
1092.57/1093.30	c |   1956731 |     920     5479    19257 | 2147483647    34999     62 |  0.000 % |
1092.68/1093.32	c |   1956841 |     920     5479    19257 | 2147483647    35109     62 |  0.000 % |
1092.68/1093.34	c |   1956963 |     920     5479    19257 | 2147483647    35231     62 |  0.000 % |
1092.68/1093.37	c |   1957096 |     920     5479    19257 | 2147483647    35364     62 |  0.000 % |
1092.78/1093.46	c |   1957243 |     920     5479    19257 | 2147483647    35511     62 |  0.000 % |
1092.78/1093.50	c |   1957404 |     920     5479    19257 | 2147483647    35672     62 |  0.000 % |
1092.87/1093.55	c |   1957582 |     920     5479    19257 | 2147483647    35850     62 |  0.000 % |
1092.97/1093.61	c |   1957775 |     920     5479    19257 | 2147483647    36043     62 |  0.000 % |
1092.97/1093.66	c |   1957987 |     920     5479    19257 | 2147483647    36255     62 |  0.000 % |
1093.07/1093.71	c |   1958220 |     920     5479    19257 | 2147483647    36488     62 |  0.000 % |
1093.07/1093.78	c |   1958477 |     920     5479    19257 | 2147483647    36745     62 |  0.000 % |
1093.17/1093.88	c |   1958758 |     920     5479    19257 | 2147483647    37026     62 |  0.000 % |
1093.27/1093.97	c |   1959068 |     920     5479    19257 | 2147483647    37336     62 |  0.000 % |
1093.37/1094.06	c |   1959407 |     920     5479    19257 | 2147483647    37675     62 |  0.000 % |
1093.47/1094.14	c |   1959779 |     920     5479    19257 | 2147483647    38047     62 |  0.000 % |
1093.57/1094.25	c |   1960188 |     920     5479    19257 | 2147483647    38456     62 |  0.000 % |
1093.67/1094.37	c |   1960638 |     920     5479    19257 | 2147483647    38906     62 |  0.000 % |
1093.88/1094.54	c |   1961132 |     920     5479    19257 | 2147483647    39400     62 |  0.000 % |
1094.07/1094.71	c |   1961674 |     920     5479    19257 | 2147483647    39942     62 |  0.000 % |
1094.27/1094.90	c |   1962270 |     920     5479    19257 | 2147483647    40538     62 |  0.000 % |
1094.47/1095.14	c |   1962926 |     920     5479    19257 | 2147483647    41194     62 |  0.000 % |
1094.77/1095.42	c |   1963647 |     920     5479    19257 | 2147483647    41915     62 |  0.000 % |
1095.07/1095.71	c |   1964440 |     920     5479    19257 | 2147483647    42708     62 |  0.000 % |
1095.37/1096.06	c |   1965311 |     920     5479    19257 | 2147483647    43579     62 |  0.000 % |
1095.77/1096.49	c |   1966269 |     920     5479    19257 | 2147483647    44537     62 |  0.000 % |
1096.37/1097.00	c |   1967323 |     920     5479    19257 | 2147483647    45591     62 |  0.000 % |
1096.97/1097.63	c |   1968481 |     920     5479    19257 | 2147483647    46749     62 |  0.000 % |
1097.47/1098.16	c |   1969755 |     920     5479    19257 | 2147483647    48023     62 |  0.000 % |
1098.17/1098.83	c |   1971156 |     920     5479    19257 |    48269    43316     61 |  0.000 % |
1099.07/1099.71	c |   1972696 |     920     5479    19257 |    48269    44856     61 |  0.000 % |
1100.07/1100.76	c |   1974391 |     920     5479    19257 |    48269    46551     62 |  0.000 % |
1101.47/1102.15	c |   1976254 |     920     5479    19257 |    48269    48414     62 |  0.000 % |
1102.47/1103.17	c |   1978303 |     920     5479    19257 |    48269    42509     61 |  0.000 % |
1103.27/1103.97	c |   1980557 |     920     5479    19257 |    44208    37491     61 |  0.000 % |
1104.16/1104.86	c |   1983035 |     920     5479    19257 |    44208    39969     61 |  0.000 % |
1105.26/1105.98	c |   1985760 |     920     5479    19257 |    44208    42694     61 |  0.000 % |
1106.76/1107.45	c |   1988759 |     920     5479    19257 |    44208    38674     62 |  0.000 % |
1108.56/1109.27	c |   1992056 |     920     5479    19257 |    39916    35652     64 |  0.000 % |
1110.37/1111.09	c |   1995681 |     920     5479    19257 |    39916    39277     65 |  0.000 % |
1111.66/1112.38	c |   1999669 |     920     5479    19257 |    39916    36929     64 |  0.000 % |
1113.46/1114.17	c |   2004054 |     920     5479    19257 |    37261    35915     64 |  0.000 % |
1116.06/1116.70	c |   2008878 |     920     5479    19257 |    37261    35657     65 |  0.000 % |
1118.96/1119.62	c |   2014184 |     920     5479    19257 |    36779    36144     66 |  0.000 % |
1122.16/1122.84	c |   2020019 |     920     5479    19257 |    36912    36930     66 |  0.000 % |
1125.16/1125.80	c |   2026439 |     920     5479    19257 |    36912    32198     65 |  0.000 % |
1127.16/1127.88	c |   2033501 |     920     5479    19257 |    35759    34649     65 |  0.000 % |
1131.85/1132.58	c |   2041266 |     920     5479    19257 |    33345    30772     66 |  0.000 % |
1135.45/1136.20	c |   2049806 |     920     5479    19257 |    33345    32012     68 |  0.000 % |
1139.15/1139.89	c |   2059201 |     920     5479    19257 |    32206    30736     71 |  0.000 % |
1144.74/1145.43	c |   2069534 |     920     5479    19257 | 2147483647    41069     71 |  0.000 % |
1152.54/1153.25	c |   2080900 |     920     5479    19257 |    36591    30306     69 |  0.000 % |
1157.84/1158.50	c |   2093403 |     920     5479    19257 |    34312    33395     68 |  0.000 % |
1165.65/1166.36	c |   2107155 |     920     5479    19257 | 2147483647    40258     68 |  0.000 % |
1174.15/1174.89	c |   2122284 |     920     5479    19257 |    39548    35416     68 |  0.000 % |
1185.74/1186.43	c |   2138925 |     920     5479    19257 |    36793    34004     69 |  0.000 % |
1197.53/1198.22	c |   2157228 |     920     5479    19257 |    34731    33760     65 |  0.000 % |
1197.53/1198.26	c |   2157328 |     920     5479    19257 |    34731    33860     65 |  0.000 % |
1197.63/1198.33	c |   2157439 |     920     5479    19257 |    34731    33971     65 |  0.000 % |
1197.63/1198.40	c |   2157560 |     920     5479    19257 |    34731    34092     65 |  0.000 % |
1197.73/1198.47	c |   2157693 |     920     5479    19257 |    34731    34225     65 |  0.000 % |
1197.83/1198.54	c |   2157840 |     920     5479    19257 |    34731    34372     65 |  0.000 % |
1197.93/1198.62	c |   2158000 |     920     5479    19257 |    34731    34532     65 |  0.000 % |
1198.03/1198.76	c |   2158176 |     920     5479    19257 |    34731    34708     65 |  0.000 % |
1198.24/1198.93	c |   2158369 |     920     5479    19257 |    34731    31415     65 |  0.000 % |
1198.34/1199.05	c |   2158583 |     920     5479    19257 |    34731    31629     65 |  0.000 % |
1198.43/1199.17	c |   2158817 |     920     5479    19257 |    34731    31863     65 |  0.000 % |
1198.53/1199.29	c |   2159073 |     920     5479    19257 |    34731    32119     65 |  0.000 % |
1198.73/1199.44	c |   2159354 |     920     5479    19257 |    34731    32400     65 |  0.000 % |
1198.93/1199.65	c |   2159665 |     920     5479    19257 |    34731    32711     65 |  0.000 % |
1199.23/1199.93	c |   2160004 |     920     5479    19257 | 2147483647    33050     65 |  0.000 % |
1199.43/1200.11	c |   2160376 |     920     5479    19257 | 2147483647    33422     65 |  0.000 % |
1199.53/1200.28	c |   2160785 |     920     5479    19257 | 2147483647    33831     66 |  0.000 % |
1199.83/1200.58	c |   2161235 |     920     5479    19257 | 2147483647    34281     66 |  0.000 % |
1200.03/1200.71	HOME/SatELiteGTI: line 36: 14066 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832249-1242770773/watcher-1832249-1242770773 -o /tmp/evaluation-result-1832249-1242770773/solver-1832249-1242770773 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832249-1242770773.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: 1.00 1.02 0.98 3/64 14060
/proc/meminfo: memFree=1952960/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305110191 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 233588883538 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14060/statm: 1339 235 195 169 0 50 0
[pid=14061] ppid=14060 vsize=5356 CPUtime=0
/proc/14061/stat : 14061 (SatELiteGTI) S 14060 14060 13899 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305110191 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/14061/statm: 1339 238 198 169 0 50 0
[pid=14063] ppid=14061 vsize=92 CPUtime=0
/proc/14063/stat : 14063 (sed) R 14061 14060 13899 0 -1 4194304 20 0 0 0 0 0 0 0 21 0 1 0 305110191 94208 2 1992294400 0 0 548682069787 18446744073709551615 233588714791 0 0 4096 0 0 0 0 17 0 0 0
/proc/14063/statm: 46 7 3 11 0 9 0

[startup+0.075258 s]
/proc/loadavg: 1.00 1.02 0.98 3/64 14060
/proc/meminfo: memFree=1952960/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.102256 s]
/proc/loadavg: 1.00 1.02 0.98 3/64 14060
/proc/meminfo: memFree=1952960/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.302277 s]
/proc/loadavg: 1.00 1.02 0.98 3/64 14060
/proc/meminfo: memFree=1952960/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.702317 s]
/proc/loadavg: 1.00 1.02 0.98 3/64 14060
/proc/meminfo: memFree=1952960/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.5014 s]
/proc/loadavg: 1.00 1.02 0.98 2/66 14066
/proc/meminfo: memFree=1950896/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=4408 CPUtime=1.42
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 772 0 0 0 142 0 0 0 25 0 1 0 305110197 4513792 758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 1102 758 77 171 0 929 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9764

[startup+3.10156 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 14066
/proc/meminfo: memFree=1948208/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=7300 CPUtime=3.01
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 1498 0 0 0 301 0 0 0 25 0 1 0 305110197 7475200 1484 1992294400 134512640 135215339 4294956240 18446744073709551615 134532646 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 1825 1484 77 171 0 1652 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12656

[startup+6.30188 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 14066
/proc/meminfo: memFree=1943856/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=10920 CPUtime=6.2
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 2383 0 0 0 619 1 0 0 25 0 1 0 305110197 11182080 2369 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 2730 2369 77 171 0 2557 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 16276

[startup+12.7015 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 14066
/proc/meminfo: memFree=1939704/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=14188 CPUtime=12.6
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 3192 0 0 0 1257 3 0 0 25 0 1 0 305110197 14528512 3178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 3547 3178 77 171 0 3374 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 19544

[startup+25.5028 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 14066
/proc/meminfo: memFree=1939128/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=14872 CPUtime=25.39
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 3345 0 0 0 2536 3 0 0 25 0 1 0 305110197 15228928 3331 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 3718 3331 77 171 0 3545 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 20228

[startup+51.1024 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 14066
/proc/meminfo: memFree=1937656/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=16344 CPUtime=50.96
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 3713 0 0 0 5092 4 0 0 25 0 1 0 305110197 16736256 3699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4086 3699 77 171 0 3913 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 21700

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1935480/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=18276 CPUtime=102.13
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4208 0 0 0 10208 5 0 0 25 0 1 0 305110197 18714624 4194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4569 4194 77 171 0 4396 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 23632

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1935352/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=18276 CPUtime=162.09
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4208 0 0 0 16204 5 0 0 25 0 1 0 305110197 18714624 4194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4569 4194 77 171 0 4396 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 23632

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1935096/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=18408 CPUtime=222.05
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4247 0 0 0 22200 5 0 0 25 0 1 0 305110197 18849792 4233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4602 4233 77 171 0 4429 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 23764

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1935096/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=18408 CPUtime=282.01
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4247 0 0 0 28196 5 0 0 25 0 1 0 305110197 18849792 4233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4602 4233 77 171 0 4429 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 23764

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1934840/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=18672 CPUtime=341.98
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4314 0 0 0 34193 5 0 0 25 0 1 0 305110197 19120128 4300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4668 4300 77 171 0 4495 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 24028

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1934136/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=19200 CPUtime=401.95

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

[pid=14066] ppid=14060 vsize=19200 CPUtime=521.9
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4440 0 0 0 52183 7 0 0 25 0 1 0 305110197 19660800 4426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4800 4426 77 171 0 4627 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 24556

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1933816/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=19200 CPUtime=581.87
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4440 0 0 0 58180 7 0 0 25 0 1 0 305110197 19660800 4426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4800 4426 77 171 0 4627 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 24556

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1933688/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=19336 CPUtime=641.84
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4449 0 0 0 64177 7 0 0 25 0 1 0 305110197 19800064 4435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4834 4435 77 171 0 4661 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 24692

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1933176/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=19996 CPUtime=701.81
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4627 0 0 0 70174 7 0 0 25 0 1 0 305110197 20475904 4613 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 4999 4613 77 171 0 4826 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 25352

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1931768/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=20920 CPUtime=761.78
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 4867 0 0 0 76170 8 0 0 25 0 1 0 305110197 21422080 4853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5230 4853 77 171 0 5057 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 26276

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930936/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=21768 CPUtime=821.76
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5066 0 0 0 82167 9 0 0 25 0 1 0 305110197 22290432 5052 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5442 5052 77 171 0 5269 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 27124

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930616/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=22076 CPUtime=881.73
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5122 0 0 0 88164 9 0 0 25 0 1 0 305110197 22605824 5108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5519 5108 77 171 0 5346 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 27432

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930488/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=22076 CPUtime=941.7
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5124 0 0 0 94161 9 0 0 25 0 1 0 305110197 22605824 5110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5519 5110 77 171 0 5346 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 27432

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930360/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=22076 CPUtime=1001.66
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5124 0 0 0 100157 9 0 0 25 0 1 0 305110197 22605824 5110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5519 5110 77 171 0 5346 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 27432

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930296/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=22076 CPUtime=1061.64
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5137 0 0 0 106155 9 0 0 25 0 1 0 305110197 22605824 5123 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5519 5123 77 171 0 5346 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 27432

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930168/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=22076 CPUtime=1121.61
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5138 0 0 0 112152 9 0 0 25 0 1 0 305110197 22605824 5124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5519 5124 77 171 0 5346 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 27432

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930040/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=22076 CPUtime=1181.59
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5138 0 0 0 118149 10 0 0 25 0 1 0 305110197 22605824 5124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5519 5124 77 171 0 5346 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 27432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930040/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=22076 CPUtime=1199.98
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5153 0 0 0 119988 10 0 0 25 0 1 0 305110197 22605824 5139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5519 5139 77 171 0 5346 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 27432

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 14066
/proc/meminfo: memFree=1930040/2055920 swapFree=4179104/4192956
[pid=14060] ppid=14058 vsize=5356 CPUtime=0.05
/proc/14060/stat : 14060 (SatELiteGTI) S 14058 14060 13899 0 -1 4194304 336 616 0 0 0 0 5 0 17 0 1 0 305110191 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14060/statm: 1339 239 197 169 0 50 0
[pid=14066] ppid=14060 vsize=22076 CPUtime=1199.98
/proc/14066/stat : 14066 (minisat_static) R 14060 14060 13899 0 -1 4194304 5153 0 0 0 119988 10 0 0 25 0 1 0 305110197 22605824 5139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14066/statm: 5519 5139 77 171 0 5346 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 27432

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.06
CPU user time (s): 1199.95
CPU system time (s): 0.111982
CPU usage (%): 99.9456
Max. virtual memory (cumulated for all children) (KiB): 27432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6114
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= 27
involuntary context switches= 6692

runsolver used 1.06284 second user time and 3.48547 second system time

The end

Launcher Data

Begin job on node27 at 2009-05-20 00:06:13
IDJOB=1832249
IDBENCH=24662
IDSOLVER=671
FILE ID=node27/1832249-1242770773
PBS_JOBID= 9322271
Free space on /tmp= 66364 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest05/others/linvrinv8.sat05-567.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832249-1242770773/watcher-1832249-1242770773 -o /tmp/evaluation-result-1832249-1242770773/solver-1832249-1242770773 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832249-1242770773.cnf

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

MD5SUM BENCH= af4e94e2262dd17f2c350e06d0de5672
RANDOM SEED=116215484

node27.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		: 2800.234
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	: 5521.40
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		: 2800.234
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:       1953504 kB
Buffers:          9680 kB
Cached:          55388 kB
SwapCached:       7692 kB
Active:          43428 kB
Inactive:        31656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1953504 kB
SwapTotal:     4192956 kB
SwapFree:      4179104 kB
Dirty:            1672 kB
Writeback:           0 kB
Mapped:          14672 kB
Slab:            13288 kB
Committed_AS:  1013076 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66364 MiB
End job on node27 at 2009-05-20 00:26:15