Trace number 1832311

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.05 1200.51

General information on the benchmark

Namecrafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
MD5SUM56dc474305bf6e6817771129f995c737
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark300.085
Satisfiable
(Un)Satisfiability was proved
Number of variables728
Number of clauses17199
Sum of the clauses size75582
Maximum clause length13
Minimum clause length1
Number of clauses of size 149
Number of clauses of size 21177
Number of clauses of size 38740
Number of clauses of size 4232
Number of clauses of size 5250
Number of clauses of size over 56751

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   16517    72143 |    4955       0        0     nan |  0.000 % |
0.00/0.06	c |         0 |   12052    55981 |      --       0       --      -- |     --   | -274/-1109
0.00/0.06	c ==============================================================================
0.00/0.06	c Result  :   #vars: 668   #clauses: 12052   #literals: 55981
0.00/0.06	c CPU time:   0.058991 s
0.00/0.06	c ==============================================================================
0.00/0.08	c This is MiniSat 2.0 beta
0.00/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08	c ============================[ Problem Statistics ]=============================
0.00/0.08	c |                                                                             |
0.00/0.08	c |  Number of variables:  668                                                  |
0.00/0.08	c |  Number of clauses:    12052                                                |
0.07/0.10	c |  Parsing time:         0.01         s                                       |
0.07/0.10	c ============================[ Search Statistics ]==============================
0.07/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.07/0.10	c ===============================================================================
0.07/0.10	c |         0 |     668    12052    55981 |     4017        0    nan |  0.000 % |
0.07/0.11	c |       100 |     668    12052    55981 |     4017      100     18 |  0.000 % |
0.07/0.11	c |       201 |     668    12052    55981 |     4017      201     18 |  0.004 % |
0.07/0.12	c |       302 |     668    12052    55981 |     4017      302     21 |  0.004 % |
0.07/0.12	c |       412 |     668    12052    55981 |     4017      412     21 |  0.000 % |
0.07/0.12	c |       512 |     668    12052    55981 |     4017      512     23 |  0.000 % |
0.07/0.13	c |       622 |     668    12052    55981 |     4017      622     22 |  0.004 % |
0.07/0.13	c |       745 |     668    12052    55981 |     4017      745     23 |  0.000 % |
0.07/0.14	c |       846 |     668    12052    55981 |     4017      846     23 |  0.000 % |
0.07/0.14	c |       956 |     668    12052    55981 |     4017      956     22 |  0.000 % |
0.07/0.15	c |      1077 |     668    12052    55981 |     4017     1077     22 |  0.000 % |
0.07/0.16	c |      1212 |     668    12052    55981 |     4017     1212     23 |  0.004 % |
0.07/0.16	c |      1313 |     668    12052    55981 |     4017     1313     23 |  0.000 % |
0.07/0.17	c |      1424 |     668    12052    55981 |     4017     1424     24 |  0.000 % |
0.07/0.17	c |      1545 |     668    12052    55981 |     4017     1545     24 |  0.000 % |
0.07/0.18	c |      1681 |     668    12052    55981 |     4017     1681     24 |  0.000 % |
0.07/0.19	c |      1827 |     668    12052    55981 |     4017     1827     24 |  0.000 % |
0.07/0.19	c |      1927 |     668    12052    55981 |     4017     1927     25 |  0.000 % |
0.07/0.20	c |      2037 |     668    12052    55981 |     4017     2037     25 |  0.000 % |
0.07/0.21	c |      2158 |     668    12052    55981 |     4017     2158     25 |  0.000 % |
0.07/0.22	c |      2291 |     668    12052    55981 |     4017     2291     25 |  0.000 % |
0.07/0.23	c |      2441 |     668    12052    55981 |     4017     2441     25 |  0.000 % |
0.07/0.24	c |      2602 |     668    12052    55981 |     4017     2602     25 |  0.000 % |
0.07/0.25	c |      2702 |     668    12052    55981 |     4017     2702     25 |  0.000 % |
0.07/0.26	c |      2812 |     668    12052    55981 |     4017     2812     26 |  0.000 % |
0.07/0.26	c |      2933 |     668    12052    55981 |     4017     2933     26 |  0.004 % |
0.07/0.28	c |      3068 |     668    12052    55981 |     4017     3068     26 |  0.000 % |
0.07/0.28	c |      3214 |     668    12052    55981 |     4017     3214     26 |  0.004 % |
0.07/0.30	c |      3374 |     668    12052    55981 |     4017     3374     26 |  0.000 % |
0.07/0.31	c |      3551 |     668    12052    55981 |     4017     3551     26 |  0.000 % |
0.07/0.32	c |      3653 |     668    12052    55981 |     4017     3653     26 |  0.004 % |
0.07/0.34	c |      3763 |     668    12052    55981 |     4017     3763     25 |  0.000 % |
0.07/0.35	c |      3884 |     668    12052    55981 |     4017     3884     25 |  0.000 % |
0.07/0.36	c |      4017 |     668    12052    55981 |     4017     4017     25 |  0.000 % |
0.07/0.38	c |      4163 |     668    12052    55981 |     4017     3762     25 |  0.004 % |
0.07/0.39	c |      4323 |     668    12052    55981 |     4017     3922     25 |  0.000 % |
0.07/0.41	c |      4500 |     668    12052    55981 |     4017     4099     25 |  0.000 % |
0.07/0.42	c |      4694 |     668    12052    55981 |     4017     3884     25 |  0.005 % |
0.07/0.43	c |      4795 |     668    12052    55981 |     4017     3985     25 |  0.000 % |
0.07/0.44	c |      4905 |     668    12052    55981 |     4017     4095     26 |  0.000 % |
0.07/0.45	c |      5029 |     668    12052    55981 |     4017     3810     25 |  0.000 % |
0.07/0.46	c |      5162 |     668    12052    55981 |     4017     3943     25 |  0.004 % |
0.07/0.47	c |      5309 |     668    12052    55981 |     4017     4090     25 |  0.000 % |
0.07/0.48	c |      5469 |     668    12052    55981 |     4017     3841     25 |  0.000 % |
0.07/0.50	c |      5645 |     668    12052    55981 |     4017     4017     25 |  0.000 % |
0.07/0.51	c |      5839 |     668    12052    55981 |     4017     3810     25 |  0.000 % |
0.07/0.53	c |      6051 |     668    12052    55981 |     4017     4022     25 |  0.000 % |
0.07/0.54	c |      6153 |     668    12052    55981 |     4017     3722     25 |  0.000 % |
0.07/0.55	c |      6263 |     668    12052    55981 |     4017     3832     25 |  0.004 % |
0.07/0.56	c |      6387 |     668    12052    55981 |     4017     3956     25 |  0.000 % |
0.07/0.57	c |      6520 |     668    12052    55981 |     4017     4089     26 |  0.004 % |
0.07/0.59	c |      6667 |     668    12052    55981 |     4017     3828     25 |  0.000 % |
0.07/0.60	c |      6828 |     668    12052    55981 |     4017     3989     25 |  0.000 % |
0.07/0.62	c |      7004 |     668    12052    55981 |     4017     3752     25 |  0.000 % |
0.07/0.64	c |      7197 |     668    12052    55981 |     4017     3945     25 |  0.000 % |
0.07/0.66	c |      7409 |     668    12052    55981 |     4017     3743     25 |  0.000 % |
0.07/0.69	c |      7644 |     668    12052    55981 |     4017     3978     25 |  0.000 % |
0.07/0.70	c |      7744 |     668    12052    55981 |     4017     4078     25 |  0.000 % |
0.07/0.71	c |      7855 |     668    12052    55981 |     4017     3782     25 |  0.000 % |
0.07/0.72	c |      7976 |     668    12052    55981 |     4017     3903     25 |  0.000 % |
0.07/0.74	c |      8110 |     668    12052    55981 |     4017     4037     25 |  0.000 % |
0.07/0.75	c |      8257 |     668    12052    55981 |     4017     3781     24 |  0.000 % |
0.07/0.77	c |      8417 |     668    12052    55981 |     4017     3941     25 |  0.000 % |
0.07/0.79	c |      8596 |     668    12052    55981 |     4017     4120     25 |  0.000 % |
0.07/0.81	c |      8791 |     668    12052    55981 |     4017     3903     24 |  0.004 % |
0.07/0.83	c |      9003 |     668    12052    55981 |     4017     4115     25 |  0.000 % |
0.07/0.85	c |      9237 |     668    12052    55981 |     4017     3938     24 |  0.000 % |
0.07/0.88	c |      9493 |     668    12052    55981 |     4017     3779     23 |  0.004 % |
0.07/0.89	c |      9593 |     668    12052    55981 |     4017     3879     23 |  0.000 % |
0.07/0.90	c |      9703 |     668    12052    55981 |     4017     3989     24 |  0.004 % |
0.07/0.91	c |      9824 |     668    12052    55981 |     4017     4110     24 |  0.000 % |
0.07/0.92	c |      9960 |     668    12052    55981 |     4017     3835     23 |  0.000 % |
0.07/0.94	c |     10107 |     668    12052    55981 | 2147483647     3982     23 |  0.000 % |
0.07/0.95	c |     10267 |     668    12052    55981 | 2147483647     4142     24 |  0.004 % |
0.07/0.97	c |     10445 |     668    12052    55981 | 2147483647     4320     24 |  0.005 % |
0.07/0.99	c |     10639 |     668    12052    55981 | 2147483647     4514     25 |  0.000 % |
0.96/1.01	c |     10851 |     668    12052    55981 | 2147483647     4726     25 |  0.000 % |
0.96/1.04	c |     11084 |     668    12052    55981 | 2147483647     4959     25 |  0.000 % |
0.96/1.07	c |     11342 |     668    12052    55981 | 2147483647     5217     26 |  0.000 % |
0.96/1.10	c |     11623 |     668    12052    55981 | 2147483647     5498     26 |  0.000 % |
1.06/1.11	c |     11724 |     668    12052    55981 | 2147483647     5599     26 |  0.000 % |
1.06/1.12	c |     11835 |     668    12052    55981 | 2147483647     5710     26 |  0.000 % |
1.06/1.14	c |     11957 |     668    12052    55981 | 2147483647     5832     27 |  0.000 % |
1.06/1.16	c |     12091 |     668    12052    55981 | 2147483647     5966     27 |  0.000 % |
1.06/1.18	c |     12238 |     668    12052    55981 | 2147483647     6113     27 |  0.000 % |
1.16/1.20	c |     12398 |     668    12052    55981 | 2147483647     6273     27 |  0.000 % |
1.16/1.23	c |     12574 |     668    12052    55981 | 2147483647     6449     27 |  0.000 % |
1.16/1.25	c |     12768 |     668    12052    55981 | 2147483647     6643     27 |  0.000 % |
1.16/1.28	c |     12980 |     668    12052    55981 | 2147483647     6855     27 |  0.000 % |
1.26/1.32	c |     13213 |     668    12052    55981 | 2147483647     7088     28 |  0.000 % |
1.26/1.35	c |     13469 |     668    12052    55981 | 2147483647     7344     28 |  0.000 % |
1.26/1.39	c |     13750 |     668    12052    55981 | 2147483647     7625     28 |  0.000 % |
1.36/1.44	c |     14059 |     668    12052    55981 | 2147483647     7934     28 |  0.000 % |
1.36/1.46	c |     14159 |     668    12052    55981 | 2147483647     8034     29 |  0.004 % |
1.36/1.48	c |     14269 |     668    12052    55981 | 2147483647     8144     29 |  0.000 % |
1.36/1.49	c |     14393 |     668    12052    55981 | 2147483647     8268     29 |  0.000 % |
1.46/1.51	c |     14526 |     668    12052    55981 | 2147483647     8401     29 |  0.000 % |
1.46/1.54	c |     14673 |     668    12052    55981 | 2147483647     8548     29 |  0.000 % |
1.46/1.56	c |     14833 |     668    12052    55981 | 2147483647     8708     29 |  0.000 % |
1.46/1.59	c |     15010 |     668    12052    55981 | 2147483647     8885     29 |  0.000 % |
1.56/1.62	c |     15205 |     668    12052    55981 | 2147483647     9080     29 |  0.004 % |
1.56/1.65	c |     15418 |     668    12052    55981 | 2147483647     9293     29 |  0.000 % |
1.56/1.70	c |     15654 |     668    12052    55981 | 2147483647     9529     30 |  0.000 % |
1.66/1.74	c |     15910 |     668    12052    55981 | 2147483647     9785     30 |  0.000 % |
1.66/1.79	c |     16192 |     668    12052    55981 | 2147483647    10067     30 |  0.000 % |
1.76/1.85	c |     16505 |     668    12052    55981 | 2147483647    10380     30 |  0.000 % |
1.86/1.91	c |     16847 |     668    12052    55981 | 2147483647    10722     30 |  0.004 % |
1.86/1.94	c |     16947 |     668    12052    55981 | 2147483647    10822     30 |  0.000 % |
1.86/1.96	c |     17057 |     668    12052    55981 | 2147483647    10932     30 |  0.000 % |
1.86/1.99	c |     17180 |     668    12052    55981 | 2147483647    11055     30 |  0.000 % |
1.96/2.02	c |     17313 |     668    12052    55981 | 2147483647    11188     30 |  0.000 % |
1.96/2.05	c |     17462 |     668    12052    55981 | 2147483647    11337     30 |  0.000 % |
1.96/2.09	c |     17622 |     668    12052    55981 | 2147483647    11497     30 |  0.000 % |
2.06/2.13	c |     17798 |     668    12052    55981 | 2147483647    11673     30 |  0.000 % |
2.06/2.18	c |     17991 |     668    12052    55981 | 2147483647    11866     30 |  0.000 % |
2.16/2.22	c |     18204 |     668    12052    55981 | 2147483647    12079     30 |  0.000 % |
2.16/2.27	c |     18437 |     668    12052    55981 | 2147483647    12312     31 |  0.000 % |
2.26/2.33	c |     18693 |     668    12052    55981 | 2147483647    12568     31 |  0.000 % |
2.26/2.39	c |     18974 |     668    12052    55981 | 2147483647    12849     31 |  0.000 % |
2.36/2.47	c |     19284 |     668    12052    55981 | 2147483647    13159     31 |  0.000 % |
2.46/2.57	c |     19623 |     668    12052    55981 | 2147483647    13498     31 |  0.000 % |
2.56/2.66	c |     19995 |     668    12052    55981 | 2147483647    13870     31 |  0.000 % |
2.56/2.69	c |     20096 |     668    12052    55981 | 2147483647    13971     31 |  0.000 % |
2.66/2.72	c |     20206 |     668    12052    55981 | 2147483647    14081     31 |  0.000 % |
2.66/2.75	c |     20327 |     668    12052    55981 | 2147483647    14202     31 |  0.000 % |
2.66/2.78	c |     20460 |     668    12052    55981 | 2147483647    14335     31 |  0.000 % |
2.76/2.82	c |     20608 |     668    12052    55981 | 2147483647    14483     31 |  0.000 % |
2.76/2.87	c |     20768 |     668    12052    55981 | 2147483647    14643     31 |  0.000 % |
2.86/2.92	c |     20945 |     668    12052    55981 | 2147483647    14820     31 |  0.000 % |
2.86/2.98	c |     21142 |     668    12052    55981 | 2147483647    15017     31 |  0.000 % |
2.96/3.04	c |     21355 |     668    12052    55981 | 2147483647    15230     31 |  0.000 % |
3.06/3.10	c |     21588 |     668    12052    55981 | 2147483647    15463     31 |  0.000 % |
3.06/3.19	c |     21845 |     668    12052    55981 | 2147483647    15720     32 |  0.000 % |
3.16/3.27	c |     22126 |     668    12052    55981 | 2147483647    16001     32 |  0.000 % |
3.26/3.36	c |     22436 |     668    12052    55981 | 2147483647    16311     32 |  0.000 % |
3.36/3.46	c |     22776 |     668    12052    55981 | 2147483647    16651     32 |  0.000 % |
3.46/3.57	c |     23151 |     668    12052    55981 | 2147483647    17026     32 |  0.000 % |
3.66/3.71	c |     23562 |     668    12052    55981 | 2147483647    17437     32 |  0.000 % |
3.66/3.74	c |     23663 |     668    12052    55981 | 2147483647    17538     32 |  0.000 % |
3.66/3.79	c |     23773 |     668    12052    55981 | 2147483647    17648     32 |  0.000 % |
3.76/3.84	c |     23894 |     668    12052    55981 | 2147483647    17769     32 |  0.000 % |
3.76/3.89	c |     24027 |     668    12052    55981 | 2147483647    17902     32 |  0.000 % |
3.86/3.94	c |     24173 |     668    12052    55981 | 2147483647    18048     32 |  0.004 % |
3.86/4.00	c |     24333 |     668    12052    55981 | 2147483647    18208     32 |  0.000 % |
3.95/4.06	c |     24509 |     668    12052    55981 | 2147483647    18384     32 |  0.000 % |
4.05/4.13	c |     24702 |     668    12052    55981 | 2147483647    18577     32 |  0.000 % |
4.15/4.21	c |     24918 |     668    12052    55981 | 2147483647    18793     32 |  0.000 % |
4.26/4.30	c |     25156 |     668    12052    55981 | 2147483647    19031     32 |  0.005 % |
4.26/4.40	c |     25415 |     668    12052    55981 | 2147483647    19290     32 |  0.000 % |
4.45/4.50	c |     25696 |     668    12052    55981 | 2147483647    19571     32 |  0.000 % |
4.55/4.64	c |     26005 |     668    12052    55981 | 2147483647    19880     32 |  0.004 % |
4.65/4.76	c |     26344 |     668    12052    55981 | 2147483647    20219     32 |  0.000 % |
4.86/4.93	c |     26716 |     668    12052    55981 | 2147483647    20591     32 |  0.000 % |
4.96/5.09	c |     27127 |     668    12052    55981 | 2147483647    21002     32 |  0.000 % |
5.16/5.27	c |     27576 |     668    12052    55981 | 2147483647    21451     32 |  0.000 % |
5.26/5.31	c |     27677 |     668    12052    55981 | 2147483647    21552     32 |  0.005 % |
5.26/5.37	c |     27787 |     668    12052    55981 | 2147483647    21662     32 |  0.000 % |
5.36/5.42	c |     27908 |     668    12052    55981 | 2147483647    21783     32 |  0.000 % |
5.36/5.48	c |     28041 |     668    12052    55981 | 2147483647    21916     32 |  0.000 % |
5.46/5.55	c |     28187 |     668    12052    55981 | 2147483647    22062     32 |  0.004 % |
5.56/5.61	c |     28347 |     668    12052    55981 | 2147483647    22222     32 |  0.000 % |
5.56/5.69	c |     28524 |     668    12052    55981 | 2147483647    22399     32 |  0.000 % |
5.66/5.77	c |     28718 |     668    12052    55981 | 2147483647    22593     32 |  0.000 % |
5.76/5.87	c |     28930 |     668    12052    55981 | 2147483647    22805     32 |  0.000 % |
5.86/6.00	c |     29164 |     668    12052    55981 | 2147483647    23039     32 |  0.000 % |
6.06/6.11	c |     29421 |     668    12052    55981 | 2147483647    23296     32 |  0.000 % |
6.16/6.26	c |     29704 |     668    12052    55981 | 2147483647    23579     33 |  0.000 % |
6.35/6.41	c |     30014 |     668    12052    55981 | 2147483647    23889     33 |  0.000 % |
6.46/6.52	c |     30353 |     668    12052    55981 | 2147483647    24228     33 |  0.004 % |
6.65/6.71	c |     30726 |     668    12052    55981 | 2147483647    24601     33 |  0.000 % |
6.75/6.89	c |     31136 |     668    12052    55981 | 2147483647    25011     33 |  0.000 % |
6.95/7.09	c |     31586 |     668    12052    55981 | 2147483647    25461     33 |  0.000 % |
7.25/7.36	c |     32080 |     668    12052    55981 | 2147483647    25955     33 |  0.004 % |
7.35/7.43	c |     32180 |     668    12052    55981 | 2147483647    26055     33 |  0.004 % |
7.35/7.49	c |     32290 |     668    12052    55981 | 2147483647    26165     33 |  0.000 % |
7.45/7.55	c |     32411 |     668    12052    55981 | 2147483647    26286     33 |  0.000 % |
7.56/7.63	c |     32544 |     668    12052    55981 | 2147483647    26419     33 |  0.000 % |
7.66/7.71	c |     32690 |     668    12052    55981 | 2147483647    26565     33 |  0.005 % |
7.75/7.83	c |     32850 |     668    12052    55981 | 2147483647    26725     33 |  0.000 % |
7.85/7.93	c |     33026 |     668    12052    55981 | 2147483647    26901     33 |  0.000 % |
7.95/8.02	c |     33219 |     668    12052    55981 | 2147483647    27094     33 |  0.005 % |
8.05/8.15	c |     33433 |     668    12052    55981 | 2147483647    27308     33 |  0.000 % |
8.15/8.26	c |     33668 |     668    12052    55981 | 2147483647    27543     33 |  0.000 % |
8.25/8.39	c |     33924 |     668    12052    55981 | 2147483647    27799     33 |  0.000 % |
8.45/8.53	c |     34207 |     668    12052    55981 | 2147483647    28082     33 |  0.000 % |
8.66/8.71	c |     34517 |     668    12052    55981 | 2147483647    28392     33 |  0.000 % |
8.75/8.86	c |     34858 |     668    12052    55981 | 2147483647    28733     33 |  0.000 % |
8.95/9.09	c |     35231 |     668    12052    55981 | 2147483647    29106     33 |  0.000 % |
9.25/9.37	c |     35640 |     668    12052    55981 | 2147483647    29515     33 |  0.000 % |
9.65/9.70	c |     36090 |     668    12052    55981 | 2147483647    29965     33 |  0.000 % |
9.86/9.95	c |     36583 |     668    12052    55981 | 2147483647    30458     33 |  0.005 % |
10.15/10.26	c |     37125 |     668    12052    55981 | 2147483647    31000     33 |  0.004 % |
10.25/10.33	c |     37227 |     668    12052    55981 | 2147483647    31102     33 |  0.000 % |
10.35/10.42	c |     37337 |     668    12052    55981 | 2147483647    31212     33 |  0.000 % |
10.45/10.51	c |     37458 |     668    12052    55981 | 2147483647    31333     33 |  0.000 % |
10.55/10.60	c |     37591 |     668    12052    55981 | 2147483647    31466     33 |  0.000 % |
10.65/10.70	c |     37738 |     668    12052    55981 | 2147483647    31613     33 |  0.000 % |
10.65/10.79	c |     37900 |     668    12052    55981 | 2147483647    31775     33 |  0.000 % |
10.85/10.91	c |     38077 |     668    12052    55981 | 2147483647    31952     33 |  0.000 % |
10.95/11.04	c |     38272 |     668    12052    55981 | 2147483647    32147     33 |  0.005 % |
11.05/11.19	c |     38484 |     668    12052    55981 | 2147483647    32359     33 |  0.000 % |
11.25/11.34	c |     38718 |     668    12052    55981 | 2147483647    32593     33 |  0.000 % |
11.35/11.50	c |     38974 |     668    12052    55981 | 2147483647    32849     33 |  0.000 % |
11.56/11.68	c |     39256 |     668    12052    55981 | 2147483647    33131     33 |  0.000 % |
11.86/11.90	c |     39565 |     668    12052    55981 | 2147483647    33440     33 |  0.000 % |
12.06/12.11	c |     39904 |     668    12052    55981 | 2147483647    33779     33 |  0.005 % |
12.26/12.36	c |     40276 |     668    12052    55981 |    33876    28390     32 |  0.000 % |
12.46/12.60	c |     40685 |     668    12052    55981 |    33876    28799     33 |  0.000 % |
12.86/12.90	c |     41135 |     668    12052    55981 |    33876    29249     33 |  0.000 % |
13.16/13.23	c |     41628 |     668    12052    55981 |    33876    29742     33 |  0.000 % |
13.56/13.62	c |     42170 |     668    12052    55981 |    33876    30284     33 |  0.000 % |
13.96/14.05	c |     42769 |     668    12052    55981 |    33876    30883     33 |  0.000 % |
14.06/14.13	c |     42869 |     668    12052    55981 |    33876    30983     33 |  0.000 % |
14.16/14.21	c |     42979 |     668    12052    55981 |    33876    31093     33 |  0.000 % |
14.16/14.30	c |     43101 |     668    12052    55981 |    33876    31215     33 |  0.000 % |
14.26/14.38	c |     43234 |     668    12052    55981 |    33876    31348     33 |  0.000 % |
14.35/14.48	c |     43381 |     668    12052    55981 |    33876    31495     33 |  0.000 % |
14.45/14.59	c |     43541 |     668    12052    55981 |    33876    31655     33 |  0.000 % |
14.65/14.70	c |     43718 |     668    12052    55981 |    33876    31832     33 |  0.005 % |
14.75/14.81	c |     43911 |     668    12052    55981 |    33876    32025     33 |  0.000 % |
14.85/14.93	c |     44123 |     668    12052    55981 |    33876    32237     33 |  0.000 % |
15.05/15.11	c |     44357 |     668    12052    55981 |    33876    32471     33 |  0.000 % |
15.26/15.31	c |     44614 |     668    12052    55981 |    33876    32728     33 |  0.000 % |
15.36/15.48	c |     44895 |     668    12052    55981 |    33876    33009     33 |  0.000 % |
15.65/15.70	c |     45205 |     668    12052    55981 |    33876    33319     33 |  0.000 % |
15.75/15.89	c |     45544 |     668    12052    55981 |    33876    33658     33 |  0.000 % |
16.05/16.17	c |     45916 |     668    12052    55981 |    33876    26907     31 |  0.005 % |
16.36/16.42	c |     46325 |     668    12052    55981 |    33876    27316     32 |  0.000 % |
16.65/16.70	c |     46776 |     668    12052    55981 |    33876    27767     32 |  0.005 % |
16.95/17.00	c |     47272 |     668    12052    55981 |    33876    28263     32 |  0.000 % |
17.25/17.32	c |     47814 |     668    12052    55981 |    33876    28805     32 |  0.000 % |
17.56/17.68	c |     48412 |     668    12052    55981 |    33876    29403     32 |  0.000 % |
18.05/18.14	c |     49068 |     668    12052    55981 |    33876    30059     32 |  0.000 % |
18.15/18.20	c |     49168 |     668    12052    55981 |    33876    30159     32 |  0.000 % |
18.15/18.28	c |     49278 |     668    12052    55981 |    33876    30269     32 |  0.000 % |
18.25/18.37	c |     49400 |     668    12052    55981 |    33876    30391     32 |  0.000 % |
18.35/18.46	c |     49534 |     668    12052    55981 |    33876    30525     32 |  0.000 % |
18.45/18.53	c |     49682 |     668    12052    55981 |    33876    30673     32 |  0.000 % |
18.56/18.64	c |     49842 |     668    12052    55981 |    33876    30833     32 |  0.000 % |
18.66/18.74	c |     50019 |     668    12052    55981 |    30992    31010     32 |  0.000 % |
18.75/18.87	c |     50212 |     668    12052    55981 |    30992    24721     31 |  0.004 % |
18.85/18.98	c |     50425 |     668    12052    55981 |    30992    24934     31 |  0.000 % |
19.05/19.11	c |     50658 |     668    12052    55981 |    30992    25167     31 |  0.000 % |
19.15/19.25	c |     50914 |     668    12052    55981 |    30992    25423     31 |  0.000 % |
19.25/19.37	c |     51195 |     668    12052    55981 |    30992    25704     31 |  0.000 % |
19.45/19.54	c |     51504 |     668    12052    55981 |    30992    26013     31 |  0.000 % |
19.66/19.73	c |     51845 |     668    12052    55981 |    30992    26354     31 |  0.005 % |
19.85/19.95	c |     52218 |     668    12052    55981 |    30992    26727     32 |  0.000 % |
20.15/20.20	c |     52627 |     668    12052    55981 |    30992    27136     32 |  0.000 % |
20.45/20.51	c |     53076 |     668    12052    55981 |    30992    27585     32 |  0.000 % |
20.65/20.77	c |     53569 |     668    12052    55981 |    30992    28078     32 |  0.005 % |
20.95/21.08	c |     54112 |     668    12052    55981 |    30992    28621     32 |  0.005 % |
21.35/21.46	c |     54708 |     668    12052    55981 |    30992    29217     32 |  0.000 % |
21.75/21.86	c |     55363 |     668    12052    55981 |    30992    29872     32 |  0.000 % |
22.25/22.30	c |     56083 |     668    12052    55981 |    30992    30592     32 |  0.000 % |
22.25/22.38	c |     56183 |     668    12052    55981 |    30992    30692     32 |  0.005 % |
22.35/22.46	c |     56293 |     668    12052    55981 |    30992    30802     32 |  0.000 % |
22.45/22.56	c |     56415 |     668    12052    55981 |    30992    30924     32 |  0.000 % |
22.55/22.67	c |     56548 |     668    12052    55981 |    30992    31057     32 |  0.000 % |
22.65/22.76	c |     56696 |     668    12052    55981 |    30992    24844     31 |  0.005 % |
22.75/22.82	c |     56856 |     668    12052    55981 |    30992    25004     31 |  0.000 % |
22.85/22.91	c |     57034 |     668    12052    55981 |    30992    25182     31 |  0.000 % |
22.85/23.00	c |     57228 |     668    12052    55981 |    30992    25376     31 |  0.005 % |
23.06/23.12	c |     57441 |     668    12052    55981 |    30992    25589     31 |  0.000 % |
23.15/23.25	c |     57674 |     668    12052    55981 |    30992    25822     31 |  0.000 % |
23.25/23.36	c |     57931 |     668    12052    55981 |    30992    26079     31 |  0.000 % |
23.45/23.51	c |     58213 |     668    12052    55981 |    30992    26361     31 |  0.000 % |
23.55/23.69	c |     58523 |     668    12052    55981 |    30992    26671     31 |  0.000 % |
23.75/23.84	c |     58862 |     668    12052    55981 |    30992    27010     31 |  0.000 % |
24.06/24.12	c |     59235 |     668    12052    55981 |    30992    27383     31 |  0.000 % |
24.35/24.41	c |     59644 |     668    12052    55981 |    30992    27792     32 |  0.000 % |
24.65/24.76	c |     60093 |     668    12052    55981 |    28148    22558     30 |  0.000 % |
24.85/24.97	c |     60587 |     668    12052    55981 |    28148    23052     30 |  0.000 % |
25.16/25.22	c |     61129 |     668    12052    55981 |    28148    23594     30 |  0.004 % |
25.45/25.55	c |     61728 |     668    12052    55981 |    28148    24193     30 |  0.000 % |
25.85/25.90	c |     62383 |     668    12052    55981 |    28148    24848     30 |  0.000 % |
26.25/26.32	c |     63103 |     668    12052    55981 |    28148    25568     31 |  0.000 % |
26.65/26.74	c |     63895 |     668    12052    55981 |    28148    26360     31 |  0.000 % |
26.75/26.80	c |     63995 |     668    12052    55981 |    28148    26460     31 |  0.000 % |
26.75/26.86	c |     64106 |     668    12052    55981 |    28148    26571     31 |  0.000 % |
26.85/26.93	c |     64227 |     668    12052    55981 |    28148    26692     31 |  0.004 % |
26.95/27.03	c |     64362 |     668    12052    55981 |    28148    26827     31 |  0.000 % |
27.05/27.13	c |     64508 |     668    12052    55981 |    28148    26973     31 |  0.000 % |
27.15/27.21	c |     64668 |     668    12052    55981 |    28148    27133     31 |  0.000 % |
27.25/27.30	c |     64844 |     668    12052    55981 |    28148    27309     31 |  0.000 % |
27.35/27.40	c |     65037 |     668    12052    55981 |    28148    27502     31 |  0.000 % |
27.35/27.49	c |     65249 |     668    12052    55981 |    28148    27714     31 |  0.005 % |
27.55/27.64	c |     65482 |     668    12052    55981 |    28148    27947     31 |  0.000 % |
27.65/27.78	c |     65740 |     668    12052    55981 |    28148    28205     31 |  0.000 % |
27.85/27.96	c |     66022 |     668    12052    55981 |    28148    23380     30 |  0.000 % |
27.95/28.09	c |     66334 |     668    12052    55981 |    28148    23692     30 |  0.004 % |
28.15/28.26	c |     66674 |     668    12052    55981 |    28148    24032     30 |  0.000 % |
28.35/28.47	c |     67046 |     668    12052    55981 |    28148    24404     30 |  0.000 % |
28.55/28.64	c |     67457 |     668    12052    55981 |    28148    24815     30 |  0.005 % |
28.75/28.89	c |     67908 |     668    12052    55981 |    28148    25266     30 |  0.000 % |
29.05/29.13	c |     68402 |     668    12052    55981 |    28148    25760     30 |  0.000 % |
29.35/29.42	c |     68945 |     668    12052    55981 |    28148    26303     30 |  0.000 % |
29.65/29.76	c |     69542 |     668    12052    55981 |    28148    26900     30 |  0.000 % |
29.95/30.09	c |     70197 |     668    12052    55981 |    27358    22764     29 |  0.000 % |
30.45/30.50	c |     70917 |     668    12052    55981 |    27358    23484     29 |  0.000 % |
30.85/30.93	c |     71710 |     668    12052    55981 |    27358    24277     30 |  0.000 % |
31.35/31.41	c |     72582 |     668    12052    55981 |    27358    25149     30 |  0.000 % |
31.35/31.45	c |     72682 |     668    12052    55981 |    27358    25249     30 |  0.004 % |
31.45/31.52	c |     72795 |     668    12052    55981 |    27358    25362     30 |  0.000 % |
31.45/31.59	c |     72918 |     668    12052    55981 |    27358    25485     30 |  0.000 % |
31.55/31.68	c |     73052 |     668    12052    55981 |    27358    25619     30 |  0.000 % |
31.65/31.76	c |     73199 |     668    12052    55981 |    27358    25766     30 |  0.004 % |
31.75/31.84	c |     73360 |     668    12052    55981 |    27358    25927     30 |  0.000 % |
31.85/31.95	c |     73536 |     668    12052    55981 |    27358    26103     30 |  0.000 % |
31.95/32.06	c |     73731 |     668    12052    55981 |    27358    26298     30 |  0.004 % |
32.05/32.16	c |     73943 |     668    12052    55981 |    27358    26510     30 |  0.005 % |
32.25/32.33	c |     74176 |     668    12052    55981 |    27358    26743     30 |  0.000 % |
32.35/32.47	c |     74432 |     668    12052    55981 |    27358    26999     30 |  0.000 % |
32.55/32.62	c |     74714 |     668    12052    55981 |    27358    27281     31 |  0.000 % |
32.75/32.83	c |     75023 |     668    12052    55981 |    27358    22820     29 |  0.000 % |
32.85/32.96	c |     75363 |     668    12052    55981 |    27358    23160     29 |  0.005 % |
33.04/33.15	c |     75735 |     668    12052    55981 |    27358    23532     29 |  0.004 % |
33.24/33.38	c |     76145 |     668    12052    55981 |    27358    23942     29 |  0.000 % |
33.54/33.60	c |     76594 |     668    12052    55981 |    27358    24391     29 |  0.000 % |
33.74/33.81	c |     77087 |     668    12052    55981 |    27358    24884     30 |  0.005 % |
33.95/34.05	c |     77630 |     668    12052    55981 |    27358    25427     30 |  0.000 % |
34.24/34.31	c |     78228 |     668    12052    55981 |    27358    26025     30 |  0.000 % |
34.54/34.69	c |     78884 |     668    12052    55981 |    27358    26681     30 |  0.000 % |
35.05/35.16	c |     79604 |     668    12052    55981 |    27358    27401     30 |  0.000 % |
35.54/35.60	c |     80397 |     668    12052    55981 |    23147    19651     28 |  0.000 % |
35.94/36.04	c |     81269 |     668    12052    55981 |    23147    20523     29 |  0.000 % |
36.44/36.50	c |     82227 |     668    12052    55981 |    23147    21481     29 |  0.000 % |
36.44/36.55	c |     82327 |     668    12052    55981 |    23147    21581     29 |  0.000 % |
36.54/36.61	c |     82438 |     668    12052    55981 |    23147    21692     29 |  0.000 % |
36.54/36.67	c |     82560 |     668    12052    55981 |    23147    21814     29 |  0.000 % |
36.64/36.72	c |     82693 |     668    12052    55981 |    23147    21947     29 |  0.005 % |
36.64/36.79	c |     82840 |     668    12052    55981 |    23147    22094     29 |  0.000 % |
36.74/36.87	c |     83002 |     668    12052    55981 |    23147    22256     29 |  0.000 % |
36.84/36.96	c |     83180 |     668    12052    55981 |    23147    22434     29 |  0.000 % |
36.94/37.04	c |     83373 |     668    12052    55981 |    23147    22627     29 |  0.000 % |
37.04/37.17	c |     83587 |     668    12052    55981 |    23147    22841     29 |  0.000 % |
37.14/37.26	c |     83820 |     668    12052    55981 |    23147    23074     29 |  0.000 % |
37.35/37.40	c |     84076 |     668    12052    55981 |    23147    20125     28 |  0.000 % |
37.44/37.52	c |     84357 |     668    12052    55981 |    23147    20406     28 |  0.005 % |
37.55/37.67	c |     84667 |     668    12052    55981 |    23147    20716     28 |  0.000 % |
37.75/37.85	c |     85006 |     668    12052    55981 |    23147    21055     29 |  0.000 % |
37.85/37.98	c |     85379 |     668    12052    55981 |    23147    21428     29 |  0.004 % |
38.15/38.21	c |     85788 |     668    12052    55981 |    23147    21837     29 |  0.000 % |
38.25/38.40	c |     86237 |     668    12052    55981 |    23147    22286     29 |  0.000 % |
38.55/38.67	c |     86731 |     668    12052    55981 |    23147    22780     29 |  0.000 % |
38.84/38.99	c |     87274 |     668    12052    55981 |    23147    20247     28 |  0.000 % |
39.14/39.26	c |     87871 |     668    12052    55981 |    23147    20844     28 |  0.005 % |
39.55/39.60	c |     88526 |     668    12052    55981 |    23147    21499     29 |  0.000 % |
39.74/39.89	c |     89248 |     668    12052    55981 |    23147    22221     29 |  0.000 % |
40.14/40.27	c |     90041 |     668    12052    55981 |    22974    23014     29 |  0.000 % |
40.55/40.63	c |     90916 |     668    12052    55981 |    22974    20917     28 |  0.005 % |
40.94/41.09	c |     91875 |     668    12052    55981 |    22974    21876     28 |  0.000 % |
41.44/41.55	c |     92931 |     668    12052    55981 |    22974    22932     29 |  0.000 % |
41.44/41.59	c |     93031 |     668    12052    55981 |    22974    23032     29 |  0.000 % |
41.54/41.64	c |     93141 |     668    12052    55981 |    22974    20581     28 |  0.000 % |
41.54/41.69	c |     93262 |     668    12052    55981 |    22974    20702     28 |  0.000 % |
41.65/41.75	c |     93395 |     668    12052    55981 |    22974    20835     28 |  0.000 % |
41.75/41.81	c |     93541 |     668    12052    55981 |    22974    20981     28 |  0.000 % |
41.75/41.88	c |     93701 |     668    12052    55981 |    22974    21141     28 |  0.005 % |
41.84/41.96	c |     93877 |     668    12052    55981 |    22974    21317     28 |  0.000 % |
41.94/42.06	c |     94070 |     668    12052    55981 |    22974    21510     28 |  0.000 % |
42.04/42.12	c |     94282 |     668    12052    55981 |    22974    21722     28 |  0.005 % |
42.14/42.23	c |     94515 |     668    12052    55981 |    22974    21955     29 |  0.000 % |
42.24/42.32	c |     94771 |     668    12052    55981 |    22974    22211     29 |  0.000 % |
42.34/42.47	c |     95054 |     668    12052    55981 |    22974    22494     29 |  0.000 % |
42.44/42.58	c |     95365 |     668    12052    55981 |    22974    22805     29 |  0.005 % |
42.64/42.74	c |     95705 |     668    12052    55981 |    22974    20585     28 |  0.000 % |
42.75/42.88	c |     96079 |     668    12052    55981 |    22974    20959     28 |  0.000 % |
42.94/43.04	c |     96490 |     668    12052    55981 |    22974    21370     28 |  0.000 % |
43.14/43.21	c |     96939 |     668    12052    55981 |    22974    21819     28 |  0.000 % |
43.34/43.42	c |     97435 |     668    12052    55981 |    22974    22315     29 |  0.000 % |
43.54/43.65	c |     97977 |     668    12052    55981 |    22974    22857     29 |  0.000 % |
43.85/43.94	c |     98575 |     668    12052    55981 |    22974    20994     28 |  0.000 % |
44.14/44.22	c |     99230 |     668    12052    55981 |    22974    21649     28 |  0.004 % |
44.44/44.57	c |     99951 |     668    12052    55981 |    22974    22370     29 |  0.000 % |
44.84/44.96	c |    100743 |     668    12052    55981 |    22419    20740     28 |  0.000 % |
45.34/45.41	c |    101615 |     668    12052    55981 |    22419    21612     29 |  0.000 % |
45.74/45.89	c |    102574 |     668    12052    55981 |    22419    20143     28 |  0.000 % |
46.15/46.25	c |    103627 |     668    12052    55981 |    22419    21196     29 |  0.000 % |
46.74/46.83	c |    104786 |     668    12052    55981 |    22419    22355     29 |  0.000 % |
46.74/46.88	c |    104888 |     668    12052    55981 |    22419    22457     29 |  0.000 % |
46.84/46.96	c |    104999 |     668    12052    55981 |    22419    20209     29 |  0.000 % |
46.94/47.01	c |    105120 |     668    12052    55981 |    22419    20330     29 |  0.000 % |
46.94/47.07	c |    105253 |     668    12052    55981 |    22419    20463     29 |  0.000 % |
47.04/47.13	c |    105400 |     668    12052    55981 |    22419    20610     29 |  0.000 % |
47.15/47.21	c |    105562 |     668    12052    55981 |    22419    20772     29 |  0.004 % |
47.15/47.29	c |    105739 |     668    12052    55981 |    22419    20949     29 |  0.000 % |
47.24/47.38	c |    105934 |     668    12052    55981 |    22419    21144     29 |  0.005 % |
47.44/47.50	c |    106147 |     668    12052    55981 |    22419    21357     29 |  0.000 % |
47.54/47.60	c |    106382 |     668    12052    55981 |    22419    21592     29 |  0.000 % |
47.64/47.72	c |    106639 |     668    12052    55981 |    22419    21849     29 |  0.000 % |
47.74/47.84	c |    106922 |     668    12052    55981 |    22419    22132     29 |  0.000 % |
47.84/47.98	c |    107232 |     668    12052    55981 |    22419    22442     30 |  0.000 % |
48.04/48.12	c |    107571 |     668    12052    55981 |    22419    20338     29 |  0.000 % |
48.14/48.27	c |    107944 |     668    12052    55981 |    22419    20711     29 |  0.004 % |
48.34/48.43	c |    108356 |     668    12052    55981 |    22419    21123     29 |  0.000 % |
48.54/48.62	c |    108806 |     668    12052    55981 |    22419    21573     29 |  0.000 % |
48.75/48.84	c |    109299 |     668    12052    55981 |    22419    22066     29 |  0.000 % |
49.05/49.11	c |    109841 |     668    12052    55981 |    22419    20267     28 |  0.000 % |
49.35/49.41	c |    110438 |     668    12052    55981 |    20427    18710     28 |  0.004 % |
49.65/49.73	c |    111096 |     668    12052    55981 |    20427    19368     28 |  0.000 % |
49.85/49.98	c |    111816 |     668    12052    55981 |    20427    20088     28 |  0.000 % |
50.25/50.30	c |    112611 |     668    12052    55981 |    20427    18830     28 |  0.000 % |
50.55/50.65	c |    113484 |     668    12052    55981 |    20427    19703     28 |  0.000 % |
50.95/51.04	c |    114442 |     668    12052    55981 |    20427    18608     27 |  0.000 % |
51.35/51.43	c |    115497 |     668    12052    55981 |    20427    19663     28 |  0.000 % |
51.85/51.95	c |    116658 |     668    12052    55981 |    20427    18772     28 |  0.000 % |
52.35/52.42	c |    117934 |     668    12052    55981 |    20427    20048     28 |  0.000 % |
52.35/52.48	c |    118034 |     668    12052    55981 |    20427    20148     28 |  0.000 % |
52.45/52.52	c |    118144 |     668    12052    55981 |    20427    20258     28 |  0.005 % |
52.45/52.57	c |    118266 |     668    12052    55981 |    20427    20380     28 |  0.000 % |
52.55/52.66	c |    118402 |     668    12052    55981 |    20427    18467     28 |  0.000 % |
52.65/52.74	c |    118550 |     668    12052    55981 |    20427    18615     28 |  0.000 % |
52.75/52.81	c |    118712 |     668    12052    55981 |    20427    18777     28 |  0.000 % |
52.75/52.87	c |    118890 |     668    12052    55981 |    20427    18955     28 |  0.000 % |
52.84/52.95	c |    119083 |     668    12052    55981 |    20427    19148     28 |  0.000 % |
52.94/53.04	c |    119298 |     668    12052    55981 |    20427    19363     28 |  0.004 % |
53.04/53.15	c |    119532 |     668    12052    55981 |    20427    19597     28 |  0.000 % |
53.14/53.25	c |    119790 |     668    12052    55981 |    20427    19855     28 |  0.005 % |
53.24/53.37	c |    120071 |     668    12052    55981 | 2147483647    20136     28 |  0.000 % |
53.34/53.47	c |    120381 |     668    12052    55981 | 2147483647    20446     29 |  0.005 % |
53.54/53.61	c |    120721 |     668    12052    55981 | 2147483647    20786     29 |  0.000 % |
53.75/53.82	c |    121094 |     668    12052    55981 | 2147483647    21159     29 |  0.000 % |
53.85/53.96	c |    121503 |     668    12052    55981 | 2147483647    21568     29 |  0.000 % |
54.04/54.11	c |    121954 |     668    12052    55981 | 2147483647    22019     29 |  0.000 % |
54.24/54.32	c |    122447 |     668    12052    55981 | 2147483647    22512     29 |  0.000 % |
54.44/54.54	c |    122989 |     668    12052    55981 | 2147483647    23054     29 |  0.000 % |
54.75/54.86	c |    123585 |     668    12052    55981 | 2147483647    23650     30 |  0.000 % |
55.05/55.14	c |    124242 |     668    12052    55981 | 2147483647    24307     30 |  0.005 % |
55.55/55.61	c |    124963 |     668    12052    55981 | 2147483647    25028     30 |  0.000 % |
55.95/56.06	c |    125757 |     668    12052    55981 | 2147483647    25822     30 |  0.000 % |
56.44/56.53	c |    126628 |     668    12052    55981 | 2147483647    26693     30 |  0.000 % |
56.94/57.04	c |    127586 |     668    12052    55981 | 2147483647    27651     31 |  0.000 % |
57.44/57.57	c |    128639 |     668    12052    55981 | 2147483647    28704     31 |  0.005 % |
58.04/58.20	c |    129798 |     668    12052    55981 | 2147483647    29863     31 |  0.000 % |
58.94/59.08	c |    131072 |     668    12052    55981 |    30065    26873     30 |  0.000 % |
59.64/59.78	c |    132474 |     668    12052    55981 |    30065    28275     30 |  0.005 % |
59.74/59.85	c |    132576 |     668    12052    55981 |    30065    28377     30 |  0.000 % |
59.84/59.91	c |    132687 |     668    12052    55981 |    30065    28488     31 |  0.005 % |
59.84/59.99	c |    132809 |     668    12052    55981 |    30065    28610     31 |  0.000 % |
59.94/60.09	c |    132942 |     668    12052    55981 |    30065    28743     31 |  0.000 % |
60.14/60.20	c |    133088 |     668    12052    55981 |    30065    28889     31 |  0.000 % |
60.14/60.29	c |    133248 |     668    12052    55981 |    30065    29049     31 |  0.005 % |
60.35/60.41	c |    133425 |     668    12052    55981 |    30065    29226     31 |  0.005 % |
60.45/60.56	c |    133618 |     668    12052    55981 |    30065    29419     31 |  0.000 % |
60.64/60.75	c |    133830 |     668    12052    55981 |    30065    29631     31 |  0.000 % |
60.84/60.98	c |    134063 |     668    12052    55981 |    30065    29864     31 |  0.000 % |
61.04/61.12	c |    134319 |     668    12052    55981 |    30065    30120     31 |  0.005 % |
61.24/61.33	c |    134603 |     668    12052    55981 |    30065    24983     30 |  0.000 % |
61.45/61.52	c |    134913 |     668    12052    55981 |    30065    25293     30 |  0.000 % |
61.64/61.76	c |    135253 |     668    12052    55981 |    30065    25633     30 |  0.000 % |
61.94/62.00	c |    135626 |     668    12052    55981 |    30065    26006     30 |  0.000 % |
62.14/62.27	c |    136035 |     668    12052    55981 |    30065    26415     30 |  0.000 % |
62.34/62.48	c |    136485 |     668    12052    55981 |    30065    26865     30 |  0.005 % |
62.64/62.76	c |    136980 |     668    12052    55981 |    30065    27360     30 |  0.000 % |
62.94/63.05	c |    137522 |     668    12052    55981 |    30065    27902     31 |  0.000 % |
63.24/63.36	c |    138118 |     668    12052    55981 |    30065    28498     31 |  0.005 % |
63.64/63.72	c |    138773 |     668    12052    55981 |    30065    29153     31 |  0.000 % |
64.14/64.21	c |    139494 |     668    12052    55981 |    30065    29874     31 |  0.000 % |
64.54/64.69	c |    140286 |     668    12052    55981 |    24913    20694     28 |  0.000 % |
65.04/65.12	c |    141157 |     668    12052    55981 |    24913    21565     28 |  0.000 % |
65.54/65.62	c |    142116 |     668    12052    55981 |    24913    22524     29 |  0.000 % |
66.04/66.16	c |    143169 |     668    12052    55981 |    24913    23577     29 |  0.000 % |
66.64/66.70	c |    144329 |     668    12052    55981 |    24913    24737     30 |  0.000 % |
67.24/67.33	c |    145602 |     668    12052    55981 |    24913    22332     29 |  0.000 % |
68.04/68.16	c |    147002 |     668    12052    55981 |    24913    23732     30 |  0.000 % |
68.74/68.85	c |    148542 |     668    12052    55981 |    24913    21712     29 |  0.000 % |
68.84/68.91	c |    148642 |     668    12052    55981 |    24913    21812     29 |  0.004 % |
68.84/68.95	c |    148753 |     668    12052    55981 |    24913    21923     29 |  0.000 % |
68.94/69.02	c |    148874 |     668    12052    55981 |    24913    22044     29 |  0.000 % |
68.94/69.08	c |    149008 |     668    12052    55981 |    24913    22178     29 |  0.005 % |
69.04/69.15	c |    149155 |     668    12052    55981 |    24913    22325     29 |  0.005 % |
69.14/69.21	c |    149315 |     668    12052    55981 |    24913    22485     29 |  0.000 % |
69.24/69.31	c |    149493 |     668    12052    55981 |    24913    22663     29 |  0.000 % |
69.34/69.42	c |    149686 |     668    12052    55981 |    24913    22856     29 |  0.000 % |
69.44/69.52	c |    149898 |     668    12052    55981 |    24913    23068     29 |  0.000 % |
69.54/69.67	c |    150131 |     668    12052    55981 |    23170    20011     28 |  0.000 % |
69.64/69.79	c |    150388 |     668    12052    55981 |    23170    20268     28 |  0.000 % |
69.84/69.93	c |    150669 |     668    12052    55981 |    23170    20549     28 |  0.000 % |
70.04/70.11	c |    150981 |     668    12052    55981 |    23170    20861     28 |  0.000 % |
70.14/70.27	c |    151320 |     668    12052    55981 |    23170    21200     28 |  0.000 % |
70.34/70.46	c |    151693 |     668    12052    55981 |    23170    21573     29 |  0.000 % |
70.54/70.69	c |    152104 |     668    12052    55981 |    23170    21984     29 |  0.000 % |
70.83/70.94	c |    152554 |     668    12052    55981 |    23170    22434     29 |  0.000 % |
71.03/71.12	c |    153047 |     668    12052    55981 |    23170    22927     29 |  0.000 % |
71.23/71.36	c |    153590 |     668    12052    55981 |    23170    20660     28 |  0.000 % |
71.44/71.59	c |    154187 |     668    12052    55981 |    23170    21257     28 |  0.005 % |
71.74/71.87	c |    154844 |     668    12052    55981 |    23170    21914     29 |  0.005 % |
72.14/72.28	c |    155564 |     668    12052    55981 |    23170    22634     29 |  0.000 % |
72.54/72.61	c |    156356 |     668    12052    55981 |    23170    20810     28 |  0.000 % |
72.93/73.01	c |    157228 |     668    12052    55981 |    23170    21682     29 |  0.000 % |
73.43/73.52	c |    158186 |     668    12052    55981 |    23170    22640     29 |  0.000 % |
73.93/74.00	c |    159239 |     668    12052    55981 |    23170    21071     28 |  0.000 % |
74.43/74.57	c |    160401 |     668    12052    55981 |    21833    19727     28 |  0.000 % |
75.03/75.16	c |    161675 |     668    12052    55981 |    21833    21001     28 |  0.000 % |
75.63/75.77	c |    163075 |     668    12052    55981 |    21833    20207     28 |  0.000 % |
76.23/76.37	c |    164616 |     668    12052    55981 |    21833    21748     29 |  0.005 % |
77.03/77.11	c |    166310 |     668    12052    55981 |    21833    21247     29 |  0.000 % |
77.03/77.16	c |    166410 |     668    12052    55981 |    21833    21347     29 |  0.000 % |
77.13/77.22	c |    166521 |     668    12052    55981 |    21833    21458     29 |  0.000 % |
77.13/77.28	c |    166643 |     668    12052    55981 |    21833    21580     29 |  0.000 % |
77.23/77.36	c |    166778 |     668    12052    55981 |    21833    21715     29 |  0.000 % |
77.33/77.43	c |    166925 |     668    12052    55981 |    21833    21862     29 |  0.000 % |
77.43/77.52	c |    167086 |     668    12052    55981 |    21833    19837     28 |  0.000 % |
77.43/77.58	c |    167262 |     668    12052    55981 |    21833    20013     28 |  0.005 % |
77.53/77.66	c |    167455 |     668    12052    55981 |    21833    20206     29 |  0.000 % |
77.63/77.77	c |    167669 |     668    12052    55981 |    21833    20420     29 |  0.000 % |
77.73/77.88	c |    167903 |     668    12052    55981 |    21833    20654     29 |  0.000 % |
77.94/78.03	c |    168159 |     668    12052    55981 |    21833    20910     29 |  0.000 % |
78.03/78.15	c |    168440 |     668    12052    55981 |    21833    21191     29 |  0.000 % |
78.23/78.30	c |    168749 |     668    12052    55981 |    21833    21500     29 |  0.000 % |
78.33/78.49	c |    169088 |     668    12052    55981 |    21833    21839     29 |  0.000 % |
78.53/78.66	c |    169460 |     668    12052    55981 |    21833    20028     29 |  0.000 % |
78.73/78.84	c |    169869 |     668    12052    55981 |    21833    20437     29 |  0.000 % |
78.93/79.01	c |    170320 |     668    12052    55981 | 2147483647    20888     29 |  0.005 % |
79.13/79.20	c |    170813 |     668    12052    55981 | 2147483647    21381     29 |  0.000 % |
79.33/79.47	c |    171355 |     668    12052    55981 | 2147483647    21923     29 |  0.000 % |
79.73/79.80	c |    171951 |     668    12052    55981 | 2147483647    22519     30 |  0.000 % |
80.03/80.15	c |    172608 |     668    12052    55981 | 2147483647    23176     30 |  0.000 % |
80.43/80.57	c |    173331 |     668    12052    55981 | 2147483647    23899     30 |  0.000 % |
80.83/81.00	c |    174123 |     668    12052    55981 | 2147483647    24691     30 |  0.000 % |
81.33/81.43	c |    174994 |     668    12052    55981 | 2147483647    25562     31 |  0.000 % |
81.83/81.95	c |    175955 |     668    12052    55981 | 2147483647    26523     31 |  0.000 % |
82.43/82.54	c |    177008 |     668    12052    55981 | 2147483647    27576     31 |  0.000 % |
83.03/83.12	c |    178167 |     668    12052    55981 | 2147483647    28735     31 |  0.000 % |
83.73/83.87	c |    179440 |     668    12052    55981 | 2147483647    30008     31 |  0.004 % |
84.63/84.74	c |    180841 |     668    12052    55981 |    30570    27291     31 |  0.000 % |
85.53/85.67	c |    182383 |     668    12052    55981 |    30570    28833     31 |  0.000 % |
86.73/86.89	c |    184078 |     668    12052    55981 |    30570    30528     32 |  0.000 % |
87.63/87.75	c |    185943 |     668    12052    55981 |    30570    27401     31 |  0.005 % |
87.73/87.81	c |    186044 |     668    12052    55981 |    30570    27502     31 |  0.000 % |
87.73/87.87	c |    186154 |     668    12052    55981 |    30570    27612     31 |  0.005 % |
87.83/87.95	c |    186275 |     668    12052    55981 |    30570    27733     31 |  0.000 % |
87.93/88.05	c |    186408 |     668    12052    55981 |    30570    27866     31 |  0.000 % |
88.02/88.13	c |    186556 |     668    12052    55981 |    30570    28014     31 |  0.000 % |
88.12/88.22	c |    186716 |     668    12052    55981 |    30570    28174     31 |  0.005 % |
88.22/88.33	c |    186892 |     668    12052    55981 |    30570    28350     31 |  0.000 % |
88.32/88.46	c |    187085 |     668    12052    55981 |    30570    28543     31 |  0.000 % |
88.42/88.56	c |    187297 |     668    12052    55981 |    30570    28755     31 |  0.004 % |
88.62/88.72	c |    187530 |     668    12052    55981 |    30570    28988     31 |  0.000 % |
88.72/88.85	c |    187786 |     668    12052    55981 |    30570    29244     31 |  0.004 % |
88.93/89.01	c |    188067 |     668    12052    55981 |    30570    29525     31 |  0.005 % |
89.03/89.17	c |    188377 |     668    12052    55981 |    30570    29835     31 |  0.005 % |
89.22/89.36	c |    188716 |     668    12052    55981 |    30570    30174     31 |  0.000 % |
89.42/89.57	c |    189088 |     668    12052    55981 |    30570    30546     31 |  0.000 % |
89.72/89.84	c |    189497 |     668    12052    55981 |    30570    25818     30 |  0.000 % |
89.92/90.05	c |    189946 |     668    12052    55981 |    30570    26267     30 |  0.000 % |
90.22/90.36	c |    190441 |     668    12052    55981 |    26321    22369     28 |  0.000 % |
90.42/90.59	c |    190985 |     668    12052    55981 |    26321    22913     29 |  0.005 % |
90.82/90.92	c |    191583 |     668    12052    55981 |    26321    23511     29 |  0.000 % |
91.02/91.17	c |    192239 |     668    12052    55981 |    26321    24167     29 |  0.000 % |
91.42/91.59	c |    192960 |     668    12052    55981 |    26321    24888     29 |  0.000 % |
92.02/92.10	c |    193752 |     668    12052    55981 |    26321    25680     30 |  0.000 % |
92.52/92.62	c |    194624 |     668    12052    55981 |    26321    22705     29 |  0.000 % |
93.02/93.13	c |    195582 |     668    12052    55981 |    26321    23663     29 |  0.000 % |
93.42/93.55	c |    196635 |     668    12052    55981 |    26321    24716     30 |  0.000 % |
94.12/94.22	c |    197793 |     668    12052    55981 |    26321    25874     30 |  0.000 % |
94.72/94.88	c |    199068 |     668    12052    55981 |    26321    23360     29 |  0.000 % |
95.42/95.50	c |    200469 |     668    12052    55981 |    24292    21282     28 |  0.000 % |
96.02/96.17	c |    202010 |     668    12052    55981 |    24292    22823     28 |  0.000 % |
96.82/96.91	c |    203705 |     668    12052    55981 |    24292    21768     28 |  0.005 % |
97.52/97.67	c |    205570 |     668    12052    55981 |    24292    23633     29 |  0.000 % |
98.52/98.64	c |    207619 |     668    12052    55981 |    24292    23058     28 |  0.004 % |
98.62/98.70	c |    207719 |     668    12052    55981 |    24292    23158     28 |  0.000 % |
98.62/98.76	c |    207829 |     668    12052    55981 |    24292    23268     28 |  0.000 % |
98.72/98.84	c |    207950 |     668    12052    55981 |    24292    23389     28 |  0.000 % |
98.82/98.93	c |    208084 |     668    12052    55981 |    24292    23523     28 |  0.000 % |
98.92/99.00	c |    208230 |     668    12052    55981 |    24292    23669     28 |  0.000 % |
98.92/99.09	c |    208390 |     668    12052    55981 |    24292    23829     28 |  0.000 % |
99.02/99.18	c |    208566 |     668    12052    55981 |    24292    24005     28 |  0.000 % |
99.12/99.26	c |    208760 |     668    12052    55981 |    24292    24199     28 |  0.005 % |
99.22/99.39	c |    208973 |     668    12052    55981 |    24292    24412     28 |  0.000 % |
99.32/99.49	c |    209207 |     668    12052    55981 |    24292    21838     27 |  0.000 % |
99.52/99.60	c |    209463 |     668    12052    55981 |    24292    22094     27 |  0.000 % |
99.62/99.73	c |    209745 |     668    12052    55981 |    24292    22376     27 |  0.000 % |
99.72/99.87	c |    210054 |     668    12052    55981 |    22631    22685     28 |  0.000 % |
99.92/100.03	c |    210396 |     668    12052    55981 |    22631    20457     27 |  0.000 % |
100.02/100.18	c |    210770 |     668    12052    55981 |    22631    20831     27 |  0.000 % |
100.21/100.34	c |    211179 |     668    12052    55981 |    22631    21240     27 |  0.000 % |
100.41/100.55	c |    211628 |     668    12052    55981 |    22631    21689     27 |  0.000 % |
100.71/100.81	c |    212121 |     668    12052    55981 |    22631    22182     27 |  0.000 % |
100.91/101.07	c |    212664 |     668    12052    55981 |    22631    22725     28 |  0.000 % |
101.21/101.39	c |    213262 |     668    12052    55981 |    22631    20780     27 |  0.000 % |
101.51/101.68	c |    213917 |     668    12052    55981 |    22631    21435     28 |  0.000 % |
101.91/102.03	c |    214638 |     668    12052    55981 |    22631    22156     28 |  0.000 % |
102.31/102.46	c |    215433 |     668    12052    55981 |    22631    20475     28 |  0.000 % |
102.71/102.89	c |    216306 |     668    12052    55981 |    22631    21348     28 |  0.000 % |
103.22/103.39	c |    217264 |     668    12052    55981 |    22631    22306     29 |  0.000 % |
103.71/103.89	c |    218317 |     668    12052    55981 |    22631    20926     28 |  0.000 % |
104.32/104.44	c |    219475 |     668    12052    55981 |    22631    22084     29 |  0.000 % |
104.91/105.05	c |    220751 |     668    12052    55981 |    22610    20993     29 |  0.000 % |
105.52/105.64	c |    222152 |     668    12052    55981 |    22610    22394     29 |  0.000 % |
106.31/106.44	c |    223692 |     668    12052    55981 |    22610    21666     29 |  0.000 % |
107.21/107.34	c |    225386 |     668    12052    55981 |    22610    21034     29 |  0.000 % |
108.21/108.30	c |    227250 |     668    12052    55981 |    22610    20613     29 |  0.000 % |
109.11/109.28	c |    229299 |     668    12052    55981 |    22610    22662     30 |  0.000 % |
110.11/110.23	c |    231552 |     668    12052    55981 | 2147483647    22649     29 |  0.000 % |
110.11/110.27	c |    231654 |     668    12052    55981 | 2147483647    22751     29 |  0.000 % |
110.21/110.32	c |    231765 |     668    12052    55981 | 2147483647    22862     29 |  0.000 % |
110.21/110.37	c |    231886 |     668    12052    55981 | 2147483647    22983     29 |  0.000 % |
110.31/110.45	c |    232021 |     668    12052    55981 | 2147483647    23118     29 |  0.000 % |
110.41/110.52	c |    232168 |     668    12052    55981 | 2147483647    23265     29 |  0.000 % |
110.51/110.60	c |    232333 |     668    12052    55981 | 2147483647    23430     29 |  0.000 % |
110.51/110.69	c |    232509 |     668    12052    55981 | 2147483647    23606     29 |  0.000 % |
110.61/110.78	c |    232702 |     668    12052    55981 | 2147483647    23799     29 |  0.005 % |
110.71/110.89	c |    232916 |     668    12052    55981 | 2147483647    24013     30 |  0.000 % |
110.91/111.01	c |    233150 |     668    12052    55981 | 2147483647    24247     30 |  0.000 % |
111.01/111.14	c |    233406 |     668    12052    55981 | 2147483647    24503     30 |  0.000 % |
111.11/111.27	c |    233690 |     668    12052    55981 | 2147483647    24787     30 |  0.000 % |
111.31/111.46	c |    234000 |     668    12052    55981 | 2147483647    25097     30 |  0.000 % |
111.41/111.59	c |    234339 |     668    12052    55981 | 2147483647    25436     30 |  0.004 % |
111.71/111.80	c |    234712 |     668    12052    55981 | 2147483647    25809     30 |  0.000 % |
111.81/111.96	c |    235121 |     668    12052    55981 | 2147483647    26218     30 |  0.000 % |
112.11/112.21	c |    235571 |     668    12052    55981 | 2147483647    26668     30 |  0.000 % |
112.31/112.49	c |    236064 |     668    12052    55981 | 2147483647    27161     30 |  0.005 % |
112.61/112.73	c |    236608 |     668    12052    55981 | 2147483647    27705     31 |  0.000 % |
113.01/113.13	c |    237204 |     668    12052    55981 | 2147483647    28301     31 |  0.000 % |
113.41/113.57	c |    237859 |     668    12052    55981 | 2147483647    28956     31 |  0.000 % |
113.91/114.03	c |    238579 |     668    12052    55981 | 2147483647    29676     31 |  0.000 % |
114.31/114.42	c |    239372 |     668    12052    55981 | 2147483647    30469     31 |  0.005 % |
114.81/114.98	c |    240246 |     668    12052    55981 |    31098    27094     30 |  0.000 % |
115.41/115.60	c |    241205 |     668    12052    55981 |    31098    28053     30 |  0.000 % |
116.21/116.31	c |    242258 |     668    12052    55981 |    31098    29106     31 |  0.000 % |
116.91/117.08	c |    243417 |     668    12052    55981 |    31098    30265     31 |  0.000 % |
117.90/118.06	c |    244690 |     668    12052    55981 |    31098    26273     30 |  0.000 % |
118.80/118.99	c |    246090 |     668    12052    55981 |    31098    27673     30 |  0.000 % |
119.60/119.74	c |    247630 |     668    12052    55981 |    31098    29213     31 |  0.005 % |
120.91/121.02	c |    249324 |     668    12052    55981 |    31098    30907     31 |  0.000 % |
122.01/122.18	c |    251187 |     668    12052    55981 |    26095    22700     29 |  0.000 % |
123.01/123.14	c |    253236 |     668    12052    55981 |    26095    24749     30 |  0.000 % |
124.30/124.40	c |    255490 |     668    12052    55981 |    26095    23169     29 |  0.000 % |
125.50/125.65	c |    257970 |     668    12052    55981 |    26095    25649     29 |  0.000 % |
125.60/125.70	c |    258070 |     668    12052    55981 |    26095    25749     29 |  0.005 % |
125.60/125.76	c |    258182 |     668    12052    55981 |    26095    25861     29 |  0.000 % |
125.70/125.82	c |    258303 |     668    12052    55981 |    26095    25982     29 |  0.000 % |
125.70/125.88	c |    258436 |     668    12052    55981 |    26095    26115     29 |  0.000 % |
125.80/125.99	c |    258583 |     668    12052    55981 |    26095    22530     28 |  0.000 % |
125.90/126.06	c |    258743 |     668    12052    55981 |    26095    22690     28 |  0.005 % |
126.00/126.14	c |    258919 |     668    12052    55981 |    26095    22866     28 |  0.000 % |
126.10/126.24	c |    259112 |     668    12052    55981 |    26095    23059     28 |  0.000 % |
126.20/126.36	c |    259325 |     668    12052    55981 |    26095    23272     29 |  0.000 % |
126.30/126.48	c |    259559 |     668    12052    55981 |    26095    23506     29 |  0.000 % |
126.40/126.59	c |    259815 |     668    12052    55981 |    26095    23762     29 |  0.005 % |
126.50/126.69	c |    260096 |     668    12052    55981 |    23951    24043     29 |  0.000 % |
126.70/126.80	c |    260406 |     668    12052    55981 |    23951    21036     28 |  0.005 % |
126.80/126.95	c |    260745 |     668    12052    55981 |    23951    21375     28 |  0.000 % |
127.00/127.11	c |    261119 |     668    12052    55981 |    23951    21749     28 |  0.000 % |
127.20/127.32	c |    261528 |     668    12052    55981 |    23951    22158     28 |  0.000 % |
127.40/127.51	c |    261977 |     668    12052    55981 |    23951    22607     28 |  0.000 % |
127.60/127.74	c |    262471 |     668    12052    55981 |    23951    23101     28 |  0.000 % |
127.90/128.04	c |    263013 |     668    12052    55981 |    23951    23643     29 |  0.000 % |
128.10/128.27	c |    263611 |     668    12052    55981 |    23951    21473     28 |  0.005 % |
128.40/128.56	c |    264266 |     668    12052    55981 |    23951    22128     28 |  0.000 % |
128.80/128.92	c |    264986 |     668    12052    55981 |    23951    22848     28 |  0.000 % |
129.21/129.38	c |    265778 |     668    12052    55981 |    23951    23640     29 |  0.000 % |
129.71/129.81	c |    266650 |     668    12052    55981 |    23951    21749     28 |  0.000 % |
130.11/130.26	c |    267608 |     668    12052    55981 |    23951    22707     28 |  0.000 % |
130.71/130.82	c |    268661 |     668    12052    55981 |    23951    23760     29 |  0.000 % |
131.31/131.44	c |    269819 |     668    12052    55981 |    23951    22238     29 |  0.000 % |
131.91/132.01	c |    271093 |     668    12052    55981 |    22419    21033     29 |  0.000 % |
132.41/132.51	c |    272493 |     668    12052    55981 |    22419    22433     29 |  0.004 % |
133.10/133.20	c |    274034 |     668    12052    55981 |    22419    21731     28 |  0.004 % |
133.80/133.99	c |    275728 |     668    12052    55981 |    22419    21170     28 |  0.004 % |
134.80/134.97	c |    277591 |     668    12052    55981 |    22419    20782     28 |  0.000 % |
135.60/135.78	c |    279641 |     668    12052    55981 |    22419    20575     28 |  0.000 % |
136.60/136.73	c |    281894 |     668    12052    55981 | 2147483647    22828     28 |  0.000 % |
137.80/137.92	c |    284373 |     668    12052    55981 | 2147483647    25307     29 |  0.000 % |
139.40/139.56	c |    287100 |     668    12052    55981 | 2147483647    28034     30 |  0.000 % |
139.51/139.62	c |    287200 |     668    12052    55981 | 2147483647    28134     30 |  0.000 % |
139.61/139.70	c |    287310 |     668    12052    55981 | 2147483647    28244     30 |  0.000 % |
139.61/139.78	c |    287431 |     668    12052    55981 | 2147483647    28365     30 |  0.000 % |
139.70/139.87	c |    287565 |     668    12052    55981 | 2147483647    28499     30 |  0.000 % |
139.80/139.94	c |    287714 |     668    12052    55981 | 2147483647    28648     30 |  0.005 % |
139.90/140.04	c |    287874 |     668    12052    55981 | 2147483647    28808     30 |  0.000 % |
140.00/140.13	c |    288051 |     668    12052    55981 | 2147483647    28985     30 |  0.000 % |
140.10/140.26	c |    288246 |     668    12052    55981 | 2147483647    29180     30 |  0.004 % |
140.20/140.38	c |    288458 |     668    12052    55981 | 2147483647    29392     30 |  0.000 % |
140.40/140.52	c |    288691 |     668    12052    55981 | 2147483647    29625     30 |  0.000 % |
140.50/140.67	c |    288949 |     668    12052    55981 | 2147483647    29883     30 |  0.000 % |
140.71/140.83	c |    289230 |     668    12052    55981 | 2147483647    30164     30 |  0.000 % |
140.90/141.04	c |    289540 |     668    12052    55981 | 2147483647    30474     30 |  0.000 % |
141.10/141.20	c |    289879 |     668    12052    55981 | 2147483647    30813     30 |  0.004 % |
141.30/141.47	c |    290251 |     668    12052    55981 |    30936    26854     29 |  0.000 % |
141.60/141.71	c |    290660 |     668    12052    55981 |    30936    27263     29 |  0.000 % |
141.80/141.96	c |    291111 |     668    12052    55981 |    30936    27714     29 |  0.000 % |
142.10/142.28	c |    291606 |     668    12052    55981 |    30936    28209     30 |  0.000 % |
142.50/142.66	c |    292149 |     668    12052    55981 |    30936    28752     30 |  0.000 % |
142.90/143.03	c |    292745 |     668    12052    55981 |    30936    29348     30 |  0.000 % |
143.40/143.51	c |    293400 |     668    12052    55981 |    30936    30003     30 |  0.000 % |
143.80/143.98	c |    294121 |     668    12052    55981 |    30936    30724     30 |  0.000 % |
144.40/144.50	c |    294913 |     668    12052    55981 |    30936    26343     29 |  0.000 % |
144.90/145.03	c |    295785 |     668    12052    55981 |    30936    27215     30 |  0.000 % |
145.50/145.62	c |    296745 |     668    12052    55981 |    30936    28175     30 |  0.000 % |
146.00/146.20	c |    297799 |     668    12052    55981 |    30936    29229     30 |  0.000 % |
146.80/146.91	c |    298958 |     668    12052    55981 |    30936    30388     30 |  0.000 % |
147.50/147.67	c |    300232 |     668    12052    55981 |    26152    21965     28 |  0.000 % |
148.20/148.38	c |    301632 |     668    12052    55981 |    26152    23365     29 |  0.000 % |
149.20/149.32	c |    303172 |     668    12052    55981 |    26152    24905     29 |  0.000 % |
150.20/150.32	c |    304866 |     668    12052    55981 |    26152    22810     29 |  0.000 % |
151.10/151.21	c |    306730 |     668    12052    55981 |    26152    24674     29 |  0.000 % |
152.19/152.35	c |    308779 |     668    12052    55981 |    26152    23093     29 |  0.000 % |
153.39/153.50	c |    311034 |     668    12052    55981 |    24314    22026     29 |  0.000 % |
154.29/154.49	c |    313512 |     668    12052    55981 |    24314    21799     29 |  0.000 % |
155.59/155.75	c |    316237 |     668    12052    55981 |    24314    21876     29 |  0.000 % |
156.89/157.09	c |    319235 |     668    12052    55981 |    24314    22278     29 |  0.000 % |
156.99/157.14	c |    319335 |     668    12052    55981 |    24314    22378     29 |  0.000 % |
157.10/157.21	c |    319445 |     668    12052    55981 |    24314    22488     29 |  0.000 % |
157.10/157.29	c |    319566 |     668    12052    55981 |    24314    22609     29 |  0.000 % |
157.20/157.35	c |    319699 |     668    12052    55981 |    24314    22742     29 |  0.005 % |
157.29/157.42	c |    319846 |     668    12052    55981 |    24314    22889     29 |  0.000 % |
157.39/157.50	c |    320006 |     668    12052    55981 |    23044    23049     29 |  0.000 % |
157.39/157.59	c |    320182 |     668    12052    55981 |    23044    20759     29 |  0.005 % |
157.49/157.67	c |    320376 |     668    12052    55981 |    23044    20953     29 |  0.000 % |
157.59/157.75	c |    320588 |     668    12052    55981 |    23044    21165     29 |  0.000 % |
157.69/157.84	c |    320824 |     668    12052    55981 |    23044    21401     29 |  0.005 % |
157.79/157.94	c |    321080 |     668    12052    55981 |    23044    21657     29 |  0.000 % |
157.89/158.06	c |    321363 |     668    12052    55981 |    23044    21940     29 |  0.005 % |
157.99/158.18	c |    321675 |     668    12052    55981 |    23044    22252     29 |  0.000 % |
158.20/158.34	c |    322016 |     668    12052    55981 |    23044    22593     29 |  0.000 % |
158.30/158.49	c |    322390 |     668    12052    55981 |    23044    22967     29 |  0.005 % |
158.49/158.70	c |    322799 |     668    12052    55981 |    23044    21001     28 |  0.000 % |
158.79/158.92	c |    323249 |     668    12052    55981 |    23044    21451     29 |  0.000 % |
158.99/159.16	c |    323742 |     668    12052    55981 |    23044    21944     29 |  0.000 % |
159.30/159.42	c |    324285 |     668    12052    55981 |    23044    22487     29 |  0.000 % |
159.59/159.74	c |    324881 |     668    12052    55981 |    23044    23083     29 |  0.000 % |
159.89/160.05	c |    325537 |     668    12052    55981 |    23044    21431     29 |  0.000 % |
160.19/160.37	c |    326257 |     668    12052    55981 |    23044    22151     29 |  0.005 % |
160.59/160.71	c |    327050 |     668    12052    55981 |    23044    22944     29 |  0.000 % |
160.89/161.03	c |    327922 |     668    12052    55981 |    23044    21503     29 |  0.005 % |
161.29/161.45	c |    328884 |     668    12052    55981 |    23044    22465     29 |  0.000 % |
161.79/161.96	c |    329937 |     668    12052    55981 |    23044    21201     29 |  0.000 % |
162.39/162.56	c |    331096 |     668    12052    55981 | 2147483647    22360     30 |  0.000 % |
162.99/163.15	c |    332370 |     668    12052    55981 | 2147483647    23634     30 |  0.005 % |
163.89/164.01	c |    333771 |     668    12052    55981 | 2147483647    25035     31 |  0.000 % |
164.89/165.06	c |    335311 |     668    12052    55981 | 2147483647    26575     31 |  0.000 % |
165.99/166.12	c |    337005 |     668    12052    55981 | 2147483647    28269     32 |  0.000 % |
166.89/167.04	c |    338868 |     668    12052    55981 | 2147483647    30132     32 |  0.005 % |
168.49/168.68	c |    340920 |     668    12052    55981 |    31264    27182     32 |  0.000 % |
170.19/170.32	c |    343176 |     668    12052    55981 |    31264    29438     32 |  0.000 % |
171.88/172.03	c |    345654 |     668    12052    55981 |    31264    26191     31 |  0.000 % |
173.28/173.42	c |    348379 |     668    12052    55981 |    31264    28916     32 |  0.000 % |
175.29/175.44	c |    351377 |     668    12052    55981 |    30538    26378     31 |  0.000 % |
177.48/177.69	c |    354673 |     668    12052    55981 |    30538    29674     32 |  0.000 % |
177.58/177.78	c |    354775 |     668    12052    55981 |    30538    29776     32 |  0.000 % |
177.68/177.86	c |    354889 |     668    12052    55981 |    30538    29890     32 |  0.000 % |
177.78/177.94	c |    355011 |     668    12052    55981 |    30538    30012     32 |  0.000 % |
177.88/178.03	c |    355144 |     668    12052    55981 |    30538    30145     32 |  0.005 % |
177.99/178.13	c |    355290 |     668    12052    55981 |    30538    30291     32 |  0.000 % |
178.09/178.25	c |    355452 |     668    12052    55981 |    30538    30453     32 |  0.000 % |
178.28/178.41	c |    355629 |     668    12052    55981 |    30538    30630     32 |  0.000 % |
178.38/178.58	c |    355824 |     668    12052    55981 |    30538    24859     30 |  0.000 % |
178.48/178.69	c |    356037 |     668    12052    55981 |    30538    25072     30 |  0.000 % |
178.68/178.80	c |    356270 |     668    12052    55981 |    30538    25305     30 |  0.000 % |
178.78/178.97	c |    356526 |     668    12052    55981 |    30538    25561     30 |  0.004 % |
178.98/179.11	c |    356807 |     668    12052    55981 |    30538    25842     30 |  0.005 % |
179.08/179.29	c |    357117 |     668    12052    55981 |    30538    26152     30 |  0.000 % |
179.28/179.47	c |    357458 |     668    12052    55981 |    30538    26493     31 |  0.000 % |
179.58/179.76	c |    357833 |     668    12052    55981 |    30538    26868     31 |  0.000 % |
179.88/180.04	c |    358243 |     668    12052    55981 |    30538    27278     31 |  0.000 % |
180.18/180.35	c |    358692 |     668    12052    55981 |    30538    27727     31 |  0.000 % |
180.48/180.68	c |    359187 |     668    12052    55981 |    30538    28222     31 |  0.000 % |
180.88/181.06	c |    359730 |     668    12052    55981 |    30538    28765     31 |  0.000 % |
181.28/181.49	c |    360328 |     668    12052    55981 |    29035    23872     30 |  0.000 % |
181.68/181.81	c |    360985 |     668    12052    55981 |    29035    24529     30 |  0.000 % |
181.98/182.15	c |    361707 |     668    12052    55981 |    29035    25251     30 |  0.000 % |
182.48/182.64	c |    362500 |     668    12052    55981 |    29035    26044     30 |  0.000 % |
182.88/183.07	c |    363371 |     668    12052    55981 |    29035    26915     30 |  0.005 % |
183.38/183.54	c |    364331 |     668    12052    55981 |    29035    27875     30 |  0.000 % |
183.88/184.05	c |    365385 |     668    12052    55981 |    29035    28929     31 |  0.000 % |
184.58/184.75	c |    366543 |     668    12052    55981 |    29035    25445     30 |  0.000 % |
185.18/185.34	c |    367816 |     668    12052    55981 |    29035    26718     30 |  0.000 % |
185.88/186.09	c |    369218 |     668    12052    55981 |    29035    28120     30 |  0.000 % |
186.88/187.01	c |    370759 |     668    12052    55981 |    28903    25154     29 |  0.000 % |
187.78/187.95	c |    372453 |     668    12052    55981 |    28903    26848     30 |  0.000 % |
189.08/189.24	c |    374316 |     668    12052    55981 |    28903    28711     30 |  0.000 % |
190.28/190.43	c |    376365 |     668    12052    55981 |    28903    25996     29 |  0.000 % |
191.88/192.04	c |    378619 |     668    12052    55981 |    28903    28250     30 |  0.000 % |
193.28/193.49	c |    381098 |     668    12052    55981 |    24842    21872     29 |  0.000 % |
194.48/194.63	c |    383823 |     668    12052    55981 |    24842    24597     30 |  0.000 % |
196.17/196.33	c |    386821 |     668    12052    55981 |    24842    24251     30 |  0.000 % |
197.97/198.14	c |    390117 |     668    12052    55981 |    24180    24296     30 |  0.000 % |
199.87/200.03	c |    393742 |     668    12052    55981 |    24180    21825     29 |  0.000 % |
199.87/200.09	c |    393842 |     668    12052    55981 |    24180    21925     29 |  0.000 % |
199.98/200.16	c |    393953 |     668    12052    55981 |    24180    22036     30 |  0.000 % |
200.08/200.24	c |    394074 |     668    12052    55981 |    24180    22157     30 |  0.000 % |
200.08/200.30	c |    394208 |     668    12052    55981 |    24180    22291     30 |  0.005 % |
200.17/200.38	c |    394354 |     668    12052    55981 |    24180    22437     30 |  0.000 % |
200.27/200.48	c |    394515 |     668    12052    55981 |    24180    22598     30 |  0.000 % |
200.37/200.56	c |    394691 |     668    12052    55981 |    24180    22774     30 |  0.000 % |
200.47/200.67	c |    394885 |     668    12052    55981 |    24180    22968     30 |  0.000 % |
200.67/200.81	c |    395097 |     668    12052    55981 |    24180    23180     30 |  0.000 % |
200.77/200.91	c |    395334 |     668    12052    55981 |    24180    23417     30 |  0.000 % |
200.87/201.06	c |    395590 |     668    12052    55981 |    24180    23673     30 |  0.000 % |
200.97/201.18	c |    395871 |     668    12052    55981 |    24180    23954     30 |  0.004 % |
201.17/201.39	c |    396181 |     668    12052    55981 |    24180    21259     29 |  0.000 % |
201.37/201.59	c |    396520 |     668    12052    55981 |    24180    21598     29 |  0.000 % |
201.57/201.72	c |    396892 |     668    12052    55981 |    24180    21970     30 |  0.000 % |
201.67/201.89	c |    397301 |     668    12052    55981 |    24180    22379     30 |  0.000 % |
201.87/202.09	c |    397750 |     668    12052    55981 |    24180    22828     30 |  0.000 % |
202.17/202.40	c |    398243 |     668    12052    55981 |    24180    23321     30 |  0.000 % |
202.57/202.70	c |    398786 |     668    12052    55981 |    24180    23864     31 |  0.000 % |
202.87/203.01	c |    399382 |     668    12052    55981 |    24180    21580     30 |  0.000 % |
203.17/203.34	c |    400038 |     668    12052    55981 |    22202    22236     30 |  0.000 % |
203.47/203.62	c |    400758 |     668    12052    55981 |    22202    20341     29 |  0.000 % |
203.87/204.02	c |    401551 |     668    12052    55981 |    22202    21134     30 |  0.000 % |
204.17/204.36	c |    402422 |     668    12052    55981 |    22202    22005     30 |  0.005 % |
204.66/204.81	c |    403383 |     668    12052    55981 |    22202    20547     30 |  0.000 % |
205.06/205.23	c |    404440 |     668    12052    55981 |    22202    21604     30 |  0.000 % |
205.66/205.81	c |    405599 |     668    12052    55981 |    22202    20533     30 |  0.000 % |
206.16/206.36	c |    406872 |     668    12052    55981 |    22202    21806     30 |  0.005 % |
206.86/207.02	c |    408272 |     668    12052    55981 |    22202    20972     29 |  0.000 % |
207.56/207.80	c |    409814 |     668    12052    55981 |    22202    20286     29 |  0.000 % |
208.47/208.65	c |    411508 |     668    12052    55981 | 2147483647    21980     30 |  0.000 % |
209.27/209.42	c |    413371 |     668    12052    55981 | 2147483647    23843     31 |  0.005 % |
210.27/210.46	c |    415422 |     668    12052    55981 | 2147483647    25894     31 |  0.000 % |
211.47/211.67	c |    417678 |     668    12052    55981 | 2147483647    28150     32 |  0.000 % |
213.18/213.38	c |    420158 |     668    12052    55981 |    30472    26554     31 |  0.000 % |
214.87/215.02	c |    422883 |     668    12052    55981 |    30472    29279     31 |  0.000 % |
216.58/216.73	c |    425881 |     668    12052    55981 |    30472    27478     31 |  0.000 % |
218.77/218.98	c |    429178 |     668    12052    55981 |    30472    25813     31 |  0.000 % |
220.77/220.96	c |    432804 |     668    12052    55981 |    26635    25097     30 |  0.000 % |
222.77/222.99	c |    436791 |     668    12052    55981 |    26635    25044     30 |  0.000 % |
222.87/223.07	c |    436892 |     668    12052    55981 |    26635    25145     30 |  0.000 % |
222.97/223.14	c |    437002 |     668    12052    55981 |    26635    25255     30 |  0.000 % |
223.07/223.20	c |    437125 |     668    12052    55981 |    26635    25378     30 |  0.000 % |
223.17/223.30	c |    437258 |     668    12052    55981 |    26635    25511     30 |  0.000 % |
223.17/223.38	c |    437405 |     668    12052    55981 |    26635    25658     30 |  0.000 % |
223.27/223.48	c |    437565 |     668    12052    55981 |    26635    25818     30 |  0.000 % |
223.37/223.56	c |    437742 |     668    12052    55981 |    26635    25995     31 |  0.000 % |
223.47/223.68	c |    437935 |     668    12052    55981 |    26635    26188     31 |  0.000 % |
223.67/223.82	c |    438147 |     668    12052    55981 |    26635    26400     31 |  0.000 % |
223.77/223.98	c |    438382 |     668    12052    55981 |    26635    26635     31 |  0.000 % |
223.97/224.13	c |    438641 |     668    12052    55981 |    26635    22900     30 |  0.000 % |
224.17/224.30	c |    438922 |     668    12052    55981 |    26635    23181     30 |  0.000 % |
224.27/224.45	c |    439234 |     668    12052    55981 |    26635    23493     30 |  0.000 % |
224.47/224.62	c |    439573 |     668    12052    55981 |    26635    23832     30 |  0.000 % |
224.57/224.78	c |    439946 |     668    12052    55981 |    26635    24205     30 |  0.005 % |
224.87/225.04	c |    440356 |     668    12052    55981 |    24259    21014     29 |  0.000 % |
225.07/225.25	c |    440807 |     668    12052    55981 |    24259    21465     29 |  0.000 % |
225.27/225.46	c |    441300 |     668    12052    55981 |    24259    21958     30 |  0.000 % |
225.47/225.68	c |    441842 |     668    12052    55981 |    24259    22500     30 |  0.000 % |
225.77/225.99	c |    442438 |     668    12052    55981 |    24259    23096     30 |  0.000 % |
226.17/226.37	c |    443093 |     668    12052    55981 |    24259    23751     30 |  0.000 % |
226.47/226.66	c |    443813 |     668    12052    55981 |    24259    21591     29 |  0.005 % |
226.86/227.08	c |    444606 |     668    12052    55981 |    24259    22384     30 |  0.000 % |
227.36/227.53	c |    445479 |     668    12052    55981 |    24259    23257     30 |  0.000 % |
227.86/228.02	c |    446439 |     668    12052    55981 |    24259    24217     31 |  0.000 % |
228.36/228.55	c |    447492 |     668    12052    55981 |    24259    22443     30 |  0.000 % |
228.96/229.13	c |    448650 |     668    12052    55981 |    24259    23601     30 |  0.000 % |
229.67/229.82	c |    449923 |     668    12052    55981 |    24259    21966     30 |  0.000 % |
230.26/230.43	c |    451323 |     668    12052    55981 |    22043    20765     29 |  0.005 % |
231.06/231.24	c |    452863 |     668    12052    55981 |    22043    20088     30 |  0.000 % |
231.87/232.02	c |    454557 |     668    12052    55981 |    22043    21782     30 |  0.000 % |
232.56/232.71	c |    456421 |     668    12052    55981 |    22043    21427     30 |  0.000 % |
233.36/233.59	c |    458472 |     668    12052    55981 |    22043    21265     30 |  0.000 % |
234.46/234.69	c |    460727 |     668    12052    55981 | 2147483647    21304     30 |  0.000 % |
235.66/235.87	c |    463206 |     668    12052    55981 | 2147483647    23783     31 |  0.000 % |
237.26/237.49	c |    465935 |     668    12052    55981 | 2147483647    26512     32 |  0.000 % |
239.26/239.50	c |    468932 |     668    12052    55981 | 2147483647    29509     32 |  0.000 % |
241.66/241.86	c |    472228 |     668    12052    55981 |    30577    28594     32 |  0.000 % |
244.06/244.27	c |    475855 |     668    12052    55981 |    30577    27197     31 |  0.000 % |
246.56/246.73	c |    479842 |     668    12052    55981 |    30577    26188     31 |  0.000 % |
249.06/249.28	c |    484227 |     668    12052    55981 |    26346    26265     31 |  0.000 % |
249.16/249.36	c |    484328 |     668    12052    55981 |    26346    26366     31 |  0.000 % |
249.26/249.44	c |    484438 |     668    12052    55981 |    26346    22391     30 |  0.000 % |
249.36/249.50	c |    484559 |     668    12052    55981 |    26346    22512     31 |  0.000 % |
249.36/249.55	c |    484693 |     668    12052    55981 |    26346    22646     31 |  0.005 % |
249.46/249.64	c |    484839 |     668    12052    55981 |    26346    22792     31 |  0.000 % |
249.56/249.72	c |    484999 |     668    12052    55981 |    26346    22952     31 |  0.000 % |
249.66/249.81	c |    485177 |     668    12052    55981 |    26346    23130     31 |  0.000 % |
249.76/249.93	c |    485374 |     668    12052    55981 |    26346    23327     31 |  0.000 % |
249.86/250.07	c |    485586 |     668    12052    55981 |    26346    23539     31 |  0.000 % |
249.96/250.15	c |    485819 |     668    12052    55981 |    26346    23772     31 |  0.000 % |
250.15/250.30	c |    486077 |     668    12052    55981 |    26346    24030     31 |  0.000 % |
250.25/250.42	c |    486358 |     668    12052    55981 |    26346    24311     31 |  0.000 % |
250.35/250.59	c |    486668 |     668    12052    55981 |    26346    24621     31 |  0.000 % |
250.56/250.78	c |    487007 |     668    12052    55981 |    26346    24960     31 |  0.000 % |
250.75/250.93	c |    487379 |     668    12052    55981 |    26346    25332     31 |  0.000 % |
250.95/251.14	c |    487790 |     668    12052    55981 |    26346    25743     31 |  0.000 % |
251.25/251.40	c |    488239 |     668    12052    55981 |    26346    26192     32 |  0.000 % |
251.55/251.71	c |    488732 |     668    12052    55981 |    26346    22737     30 |  0.000 % |
251.76/251.94	c |    489277 |     668    12052    55981 |    26346    23282     31 |  0.000 % |
252.05/252.27	c |    489873 |     668    12052    55981 |    26346    23878     31 |  0.000 % |
252.45/252.68	c |    490528 |     668    12052    55981 |    24005    21045     30 |  0.000 % |
252.76/252.95	c |    491248 |     668    12052    55981 |    24005    21765     30 |  0.005 % |
253.05/253.28	c |    492040 |     668    12052    55981 |    24005    22557     31 |  0.005 % |
253.45/253.65	c |    492912 |     668    12052    55981 |    24005    23429     31 |  0.000 % |
253.95/254.13	c |    493871 |     668    12052    55981 |    24005    21571     30 |  0.000 % |
254.45/254.60	c |    494924 |     668    12052    55981 |    24005    22624     31 |  0.000 % |
254.95/255.19	c |    496082 |     668    12052    55981 |    24005    23782     31 |  0.000 % |
255.55/255.74	c |    497355 |     668    12052    55981 |    24005    22294     30 |  0.000 % |
256.45/256.62	c |    498756 |     668    12052    55981 |    24005    23695     31 |  0.000 % |
257.35/257.55	c |    500301 |     668    12052    55981 |    22111    19825     30 |  0.000 % |
258.25/258.43	c |    501996 |     668    12052    55981 |    22111    21520     31 |  0.000 % |
259.25/259.41	c |    503861 |     668    12052    55981 |    22111    21007     30 |  0.000 % |
260.25/260.45	c |    505910 |     668    12052    55981 |    22111    20791     30 |  0.000 % |
261.35/261.55	c |    508165 |     668    12052    55981 |    22111    20825     30 |  0.000 % |
262.55/262.72	c |    510643 |     668    12052    55981 | 2147483647    21083     30 |  0.000 % |
264.04/264.22	c |    513369 |     668    12052    55981 | 2147483647    23809     31 |  0.000 % |
265.95/266.14	c |    516367 |     668    12052    55981 | 2147483647    26807     33 |  0.000 % |
267.94/268.10	c |    519665 |     668    12052    55981 | 2147483647    30105     34 |  0.000 % |
270.54/270.78	c |    523290 |     668    12052    55981 |    30440    29498     33 |  0.000 % |
273.24/273.44	c |    527278 |     668    12052    55981 |    30440    28113     33 |  0.000 % |
276.14/276.31	c |    531664 |     668    12052    55981 |    25535    22773     31 |  0.000 % |
278.54/278.78	c |    536487 |     668    12052    55981 |    25535    24095     31 |  0.000 % |
278.64/278.86	c |    536587 |     668    12052    55981 |    25535    24195     31 |  0.000 % |
278.74/278.90	c |    536699 |     668    12052    55981 |    25535    24307     31 |  0.005 % |
278.74/278.96	c |    536823 |     668    12052    55981 |    25535    24431     31 |  0.000 % |
278.84/279.06	c |    536957 |     668    12052    55981 |    25535    24565     31 |  0.000 % |
278.94/279.14	c |    537103 |     668    12052    55981 |    25535    24711     31 |  0.000 % |
279.04/279.22	c |    537264 |     668    12052    55981 |    25535    24872     31 |  0.000 % |
279.14/279.34	c |    537440 |     668    12052    55981 |    25535    25048     31 |  0.000 % |
279.24/279.45	c |    537634 |     668    12052    55981 |    25535    25242     31 |  0.000 % |
279.34/279.57	c |    537847 |     668    12052    55981 |    25535    25455     31 |  0.000 % |
279.54/279.75	c |    538081 |     668    12052    55981 |    25535    22196     30 |  0.000 % |
279.64/279.85	c |    538338 |     668    12052    55981 |    25535    22453     30 |  0.005 % |
279.74/279.97	c |    538620 |     668    12052    55981 |    25535    22735     31 |  0.000 % |
279.94/280.12	c |    538929 |     668    12052    55981 |    25535    23044     31 |  0.000 % |
280.04/280.27	c |    539270 |     668    12052    55981 |    25535    23385     31 |  0.000 % |
280.24/280.45	c |    539642 |     668    12052    55981 |    25535    23757     31 |  0.000 % |
280.54/280.72	c |    540053 |     668    12052    55981 |    24115    24168     31 |  0.000 % |
280.74/280.91	c |    540504 |     668    12052    55981 |    24115    21418     30 |  0.005 % |
280.94/281.14	c |    540998 |     668    12052    55981 |    24115    21912     30 |  0.000 % |
281.24/281.46	c |    541540 |     668    12052    55981 |    24115    22454     30 |  0.000 % |
281.44/281.68	c |    542136 |     668    12052    55981 |    24115    23050     31 |  0.005 % |
281.74/281.99	c |    542795 |     668    12052    55981 |    24115    23709     31 |  0.000 % |
282.24/282.44	c |    543515 |     668    12052    55981 |    24115    21309     30 |  0.000 % |
282.54/282.71	c |    544307 |     668    12052    55981 |    24115    22101     30 |  0.005 % |
282.94/283.12	c |    545179 |     668    12052    55981 |    24115    22973     30 |  0.000 % |
283.43/283.63	c |    546137 |     668    12052    55981 |    24115    23931     31 |  0.000 % |
284.03/284.27	c |    547190 |     668    12052    55981 |    24115    22132     30 |  0.000 % |
284.64/284.87	c |    548349 |     668    12052    55981 |    24115    23291     30 |  0.000 % |
285.43/285.65	c |    549624 |     668    12052    55981 |    24115    21760     29 |  0.000 % |
286.13/286.30	c |    551024 |     668    12052    55981 |    22136    20591     29 |  0.000 % |
286.63/286.88	c |    552564 |     668    12052    55981 |    22136    22131     30 |  0.004 % |
287.33/287.55	c |    554258 |     668    12052    55981 |    22136    21598     30 |  0.005 % |
288.23/288.41	c |    556122 |     668    12052    55981 |    22136    21238     29 |  0.000 % |
289.13/289.35	c |    558172 |     668    12052    55981 |    22136    21065     29 |  0.000 % |
290.23/290.48	c |    560425 |     668    12052    55981 | 2147483647    21095     29 |  0.000 % |
291.53/291.76	c |    562904 |     668    12052    55981 | 2147483647    23574     30 |  0.000 % |
293.23/293.47	c |    565633 |     668    12052    55981 | 2147483647    26303     31 |  0.000 % |
295.13/295.37	c |    568631 |     668    12052    55981 | 2147483647    29301     32 |  0.000 % |
297.33/297.52	c |    571927 |     668    12052    55981 |    30671    28475     31 |  0.000 % |
299.82/300.06	c |    575553 |     668    12052    55981 |    30671    27120     31 |  0.000 % |
301.72/301.98	c |    579541 |     668    12052    55981 |    30671    26294     32 |  0.005 % |
303.82/304.07	c |    583927 |     668    12052    55981 |    26753    26460     32 |  0.005 % |
306.72/306.95	c |    588750 |     668    12052    55981 |    26753    23500     31 |  0.000 % |
309.52/309.74	c |    594057 |     668    12052    55981 |    24751    22038     29 |  0.000 % |
309.52/309.78	c |    594158 |     668    12052    55981 |    24751    22139     29 |  0.005 % |
309.62/309.84	c |    594268 |     668    12052    55981 |    24751    22249     29 |  0.004 % |
309.72/309.91	c |    594391 |     668    12052    55981 |    24751    22372     29 |  0.000 % |
309.82/310.01	c |    594524 |     668    12052    55981 |    24751    22505     29 |  0.000 % |
309.82/310.07	c |    594672 |     668    12052    55981 |    24751    22653     29 |  0.000 % |
309.92/310.14	c |    594832 |     668    12052    55981 |    24751    22813     29 |  0.004 % |
310.02/310.22	c |    595009 |     668    12052    55981 |    24751    22990     29 |  0.000 % |
310.12/310.31	c |    595203 |     668    12052    55981 |    24751    23184     29 |  0.000 % |
310.22/310.43	c |    595416 |     668    12052    55981 |    24751    23397     29 |  0.000 % |
310.32/310.58	c |    595649 |     668    12052    55981 |    24751    23630     30 |  0.000 % |
310.52/310.75	c |    595905 |     668    12052    55981 |    24751    23886     30 |  0.000 % |
310.72/310.91	c |    596186 |     668    12052    55981 |    24751    24167     30 |  0.000 % |
310.92/311.10	c |    596495 |     668    12052    55981 |    24751    24476     30 |  0.000 % |
311.02/311.30	c |    596834 |     668    12052    55981 |    24751    24815     30 |  0.000 % |
311.32/311.53	c |    597206 |     668    12052    55981 |    24751    21970     29 |  0.000 % |
311.52/311.77	c |    597615 |     668    12052    55981 |    24751    22379     29 |  0.000 % |
311.72/312.00	c |    598064 |     668    12052    55981 |    24751    22828     29 |  0.000 % |
311.92/312.18	c |    598557 |     668    12052    55981 |    24751    23321     30 |  0.005 % |
312.22/312.42	c |    599101 |     668    12052    55981 |    24751    23865     30 |  0.000 % |
312.42/312.69	c |    599697 |     668    12052    55981 |    24751    24461     30 |  0.000 % |
312.92/313.11	c |    600352 |     668    12052    55981 |    24765    22015     29 |  0.000 % |
313.32/313.51	c |    601074 |     668    12052    55981 |    24765    22737     30 |  0.000 % |
313.52/313.79	c |    601866 |     668    12052    55981 |    24765    23529     30 |  0.005 % |
314.02/314.25	c |    602737 |     668    12052    55981 |    24765    24400     30 |  0.000 % |
314.62/314.82	c |    603695 |     668    12052    55981 |    24765    22618     30 |  0.000 % |
315.22/315.47	c |    604748 |     668    12052    55981 |    24765    23671     30 |  0.000 % |
316.02/316.25	c |    605907 |     668    12052    55981 |    24765    24830     31 |  0.000 % |
316.72/316.98	c |    607182 |     668    12052    55981 |    24765    23232     31 |  0.000 % |
317.52/317.78	c |    608582 |     668    12052    55981 |    24765    24632     31 |  0.000 % |
318.22/318.45	c |    610125 |     668    12052    55981 |    23150    20659     30 |  0.005 % |
319.22/319.43	c |    611819 |     668    12052    55981 |    23150    22353     31 |  0.000 % |
320.22/320.42	c |    613684 |     668    12052    55981 |    23150    21505     31 |  0.000 % |
321.31/321.57	c |    615734 |     668    12052    55981 |    23150    20960     30 |  0.000 % |
322.41/322.69	c |    617991 |     668    12052    55981 |    23150    23217     31 |  0.000 % |
323.91/324.14	c |    620469 |     668    12052    55981 |    22739    20578     30 |  0.000 % |
325.32/325.54	c |    623194 |     668    12052    55981 |    22739    20921     30 |  0.000 % |
326.81/327.07	c |    626191 |     668    12052    55981 |    22739    21635     30 |  0.000 % |
328.62/328.83	c |    629487 |     668    12052    55981 |    22739    22650     31 |  0.000 % |
330.41/330.62	c |    633112 |     668    12052    55981 |    20854    19772     29 |  0.000 % |
332.01/332.25	c |    637099 |     668    12052    55981 |    20854    19566     30 |  0.000 % |
333.61/333.81	c |    641485 |     668    12052    55981 | 2147483647    21854     31 |  0.000 % |
336.12/336.30	c |    646308 |     668    12052    55981 | 2147483647    26677     32 |  0.000 % |
339.52/339.77	c |    651613 |     668    12052    55981 |    30369    28253     32 |  0.000 % |
343.52/343.76	c |    657448 |     668    12052    55981 |    30369    29594     34 |  0.000 % |
343.62/343.83	c |    657548 |     668    12052    55981 |    30369    29694     34 |  0.000 % |
343.62/343.90	c |    657658 |     668    12052    55981 |    30369    29804     34 |  0.005 % |
343.72/343.98	c |    657779 |     668    12052    55981 |    30369    29925     34 |  0.000 % |
343.82/344.09	c |    657912 |     668    12052    55981 |    30369    30058     34 |  0.000 % |
344.02/344.24	c |    658060 |     668    12052    55981 |    30369    30206     34 |  0.000 % |
344.12/344.32	c |    658222 |     668    12052    55981 |    30369    30368     34 |  0.000 % |
344.32/344.51	c |    658398 |     668    12052    55981 |    30369    25679     33 |  0.000 % |
344.42/344.64	c |    658591 |     668    12052    55981 |    30369    25872     33 |  0.000 % |
344.52/344.74	c |    658805 |     668    12052    55981 |    30369    26086     33 |  0.000 % |
344.72/344.92	c |    659039 |     668    12052    55981 |    30369    26320     33 |  0.000 % |
344.82/345.03	c |    659295 |     668    12052    55981 |    30369    26576     33 |  0.000 % |
345.02/345.21	c |    659576 |     668    12052    55981 |    30369    26857     33 |  0.000 % |
345.12/345.35	c |    659885 |     668    12052    55981 |    30369    27166     33 |  0.000 % |
345.32/345.59	c |    660225 |     668    12052    55981 |    27281    23059     32 |  0.000 % |
345.62/345.82	c |    660598 |     668    12052    55981 |    27281    23432     32 |  0.000 % |
345.72/345.97	c |    661007 |     668    12052    55981 |    27281    23841     32 |  0.000 % |
345.92/346.13	c |    661456 |     668    12052    55981 |    27281    24290     32 |  0.000 % |
346.22/346.43	c |    661951 |     668    12052    55981 |    27281    24785     32 |  0.000 % |
346.52/346.76	c |    662496 |     668    12052    55981 |    27281    25330     32 |  0.000 % |
346.91/347.10	c |    663094 |     668    12052    55981 |    27281    25928     33 |  0.000 % |
347.11/347.38	c |    663752 |     668    12052    55981 |    27281    26586     32 |  0.005 % |
347.51/347.77	c |    664472 |     668    12052    55981 |    27281    27306     33 |  0.000 % |
348.01/348.26	c |    665264 |     668    12052    55981 |    27281    24175     32 |  0.000 % |
348.61/348.88	c |    666135 |     668    12052    55981 |    27281    25046     32 |  0.000 % |
349.21/349.47	c |    667094 |     668    12052    55981 |    27281    26005     33 |  0.000 % |
349.71/349.96	c |    668147 |     668    12052    55981 |    27281    27058     33 |  0.000 % |
350.31/350.53	c |    669306 |     668    12052    55981 |    27281    24342     32 |  0.000 % |
351.01/351.22	c |    670580 |     668    12052    55981 |    25036    22071     31 |  0.000 % |
351.51/351.78	c |    671980 |     668    12052    55981 |    25036    23471     31 |  0.005 % |
352.31/352.56	c |    673520 |     668    12052    55981 |    25036    25011     31 |  0.000 % |
353.11/353.36	c |    675217 |     668    12052    55981 |    25036    23700     30 |  0.004 % |
354.21/354.44	c |    677080 |     668    12052    55981 |    25036    22575     30 |  0.000 % |
355.02/355.23	c |    679130 |     668    12052    55981 |    25036    24625     30 |  0.000 % |
356.11/356.32	c |    681384 |     668    12052    55981 |    22759    21669     29 |  0.000 % |
357.01/357.28	c |    683863 |     668    12052    55981 |    22759    21860     29 |  0.000 % |
358.41/358.60	c |    686588 |     668    12052    55981 |    22759    22300     29 |  0.000 % |
359.61/359.85	c |    689585 |     668    12052    55981 |    22759    20723     29 |  0.000 % |
360.81/361.08	c |    692882 |     668    12052    55981 | 2147483647    24020     30 |  0.004 % |
362.71/362.97	c |    696507 |     668    12052    55981 | 2147483647    27645     31 |  0.000 % |
364.71/364.90	c |    700494 |     668    12052    55981 |    31138    28201     30 |  0.005 % |
367.21/367.43	c |    704880 |     668    12052    55981 |    31138    28122     29 |  0.000 % |
370.20/370.46	c |    709703 |     668    12052    55981 |    31138    28148     30 |  0.000 % |
373.50/373.77	c |    715009 |     668    12052    55981 |    28445    24702     30 |  0.000 % |
376.50/376.79	c |    720845 |     668    12052    55981 |    25362    22352     30 |  0.000 % |
380.00/380.24	c |    727263 |     668    12052    55981 |    25362    25167     31 |  0.000 % |
380.10/380.30	c |    727363 |     668    12052    55981 |    25362    25267     31 |  0.000 % |
380.10/380.38	c |    727474 |     668    12052    55981 |    25362    25378     31 |  0.000 % |
380.20/380.49	c |    727595 |     668    12052    55981 |    25362    21960     29 |  0.000 % |
380.31/380.54	c |    727729 |     668    12052    55981 |    25362    22094     29 |  0.005 % |
380.41/380.62	c |    727876 |     668    12052    55981 |    25362    22241     29 |  0.000 % |
380.50/380.70	c |    728039 |     668    12052    55981 |    25362    22404     30 |  0.000 % |
380.50/380.78	c |    728217 |     668    12052    55981 |    25362    22582     30 |  0.000 % |
380.60/380.86	c |    728411 |     668    12052    55981 |    25362    22776     30 |  0.000 % |
380.80/381.02	c |    728623 |     668    12052    55981 |    25362    22988     30 |  0.000 % |
380.90/381.19	c |    728857 |     668    12052    55981 |    25362    23222     30 |  0.000 % |
381.10/381.36	c |    729113 |     668    12052    55981 |    25362    23478     30 |  0.000 % |
381.30/381.53	c |    729394 |     668    12052    55981 |    25362    23759     30 |  0.000 % |
381.50/381.71	c |    729704 |     668    12052    55981 |    25362    24069     30 |  0.000 % |
381.70/381.92	c |    730045 |     668    12052    55981 |    24366    24410     30 |  0.000 % |
381.90/382.10	c |    730417 |     668    12052    55981 |    24366    21350     29 |  0.000 % |
382.10/382.31	c |    730826 |     668    12052    55981 |    24366    21759     29 |  0.000 % |
382.30/382.53	c |    731275 |     668    12052    55981 |    24366    22208     29 |  0.000 % |
382.50/382.73	c |    731769 |     668    12052    55981 |    24366    22702     29 |  0.000 % |
382.70/382.99	c |    732312 |     668    12052    55981 |    24366    23245     29 |  0.000 % |
383.10/383.35	c |    732908 |     668    12052    55981 |    24366    23841     30 |  0.000 % |
383.40/383.67	c |    733563 |     668    12052    55981 |    24366    21529     29 |  0.000 % |
383.70/383.95	c |    734286 |     668    12052    55981 |    24366    22252     29 |  0.005 % |
384.10/384.30	c |    735078 |     668    12052    55981 |    24366    23044     30 |  0.000 % |
384.40/384.61	c |    735949 |     668    12052    55981 |    24366    23915     30 |  0.000 % |
384.80/385.07	c |    736909 |     668    12052    55981 |    24366    22280     30 |  0.000 % |
385.29/385.59	c |    737963 |     668    12052    55981 |    24366    23334     30 |  0.000 % |
386.09/386.31	c |    739121 |     668    12052    55981 |    24366    21850     29 |  0.000 % |
386.69/386.92	c |    740397 |     668    12052    55981 |    22729    20638     29 |  0.000 % |
387.39/387.62	c |    741797 |     668    12052    55981 |    22729    22038     29 |  0.000 % |
388.20/388.40	c |    743338 |     668    12052    55981 |    22729    20962     29 |  0.000 % |
388.89/389.13	c |    745032 |     668    12052    55981 |    22729    22656     30 |  0.000 % |
389.69/389.90	c |    746895 |     668    12052    55981 |    22729    21929     30 |  0.005 % |
390.69/390.91	c |    748946 |     668    12052    55981 |    22729    21611     29 |  0.000 % |
391.79/392.07	c |    751199 |     668    12052    55981 |    22666    21569     30 |  0.000 % |
393.29/393.55	c |    753678 |     668    12052    55981 |    22666    21763     31 |  0.000 % |
394.99/395.22	c |    756404 |     668    12052    55981 |    22666    22136     31 |  0.000 % |
396.59/396.89	c |    759403 |     668    12052    55981 |    22666    22626     31 |  0.000 % |
398.09/398.34	c |    762700 |     668    12052    55981 |    20694    19031     30 |  0.005 % |
399.59/399.80	c |    766325 |     668    12052    55981 |    20694    20579     30 |  0.000 % |
401.39/401.68	c |    770313 |     668    12052    55981 | 2147483647    20410     30 |  0.000 % |
403.99/404.30	c |    774698 |     668    12052    55981 | 2147483647    24795     32 |  0.000 % |
407.39/407.60	c |    779522 |     668    12052    55981 | 2147483647    29619     33 |  0.000 % |
409.88/410.14	c |    784827 |     668    12052    55981 |    30097    27000     33 |  0.005 % |
413.68/413.91	c |    790662 |     668    12052    55981 |    27302    23575     31 |  0.000 % |
417.88/418.18	c |    797081 |     668    12052    55981 |    27302    25481     32 |  0.000 % |
421.09/421.35	c |    804142 |     668    12052    55981 |    24155    21639     30 |  0.005 % |
421.18/421.41	c |    804245 |     668    12052    55981 |    24155    21742     30 |  0.000 % |
421.18/421.46	c |    804356 |     668    12052    55981 |    24155    21853     30 |  0.000 % |
421.28/421.53	c |    804477 |     668    12052    55981 |    24155    21974     30 |  0.000 % |
421.38/421.60	c |    804612 |     668    12052    55981 |    24155    22109     31 |  0.000 % |
421.38/421.69	c |    804758 |     668    12052    55981 |    24155    22255     31 |  0.000 % |
421.48/421.78	c |    804919 |     668    12052    55981 |    24155    22416     31 |  0.000 % |
421.58/421.88	c |    805095 |     668    12052    55981 |    24155    22592     31 |  0.000 % |
421.68/421.97	c |    805289 |     668    12052    55981 |    24155    22786     31 |  0.000 % |
421.88/422.11	c |    805502 |     668    12052    55981 |    24155    22999     31 |  0.000 % |
421.98/422.21	c |    805737 |     668    12052    55981 |    24155    23234     31 |  0.000 % |
422.09/422.32	c |    805993 |     668    12052    55981 |    24155    23490     31 |  0.000 % |
422.19/422.47	c |    806274 |     668    12052    55981 |    24155    23771     31 |  0.000 % |
422.38/422.66	c |    806583 |     668    12052    55981 |    24155    24080     31 |  0.000 % |
422.58/422.84	c |    806923 |     668    12052    55981 |    24155    21497     31 |  0.005 % |
422.78/423.01	c |    807295 |     668    12052    55981 |    24155    21869     31 |  0.000 % |
422.88/423.19	c |    807705 |     668    12052    55981 |    24155    22279     31 |  0.000 % |
423.19/423.43	c |    808154 |     668    12052    55981 |    24155    22728     31 |  0.000 % |
423.38/423.67	c |    808647 |     668    12052    55981 |    24155    23221     31 |  0.000 % |
423.68/423.97	c |    809190 |     668    12052    55981 |    24155    23764     32 |  0.000 % |
424.08/424.30	c |    809787 |     668    12052    55981 |    24155    21444     31 |  0.000 % |
424.38/424.64	c |    810442 |     668    12052    55981 |    21657    19517     31 |  0.000 % |
424.68/424.98	c |    811163 |     668    12052    55981 |    21657    20238     31 |  0.000 % |
425.08/425.36	c |    811958 |     668    12052    55981 |    21657    21033     31 |  0.000 % |
425.48/425.78	c |    812829 |     668    12052    55981 |    21657    19730     30 |  0.000 % |
425.88/426.16	c |    813788 |     668    12052    55981 |    21657    20689     31 |  0.000 % |
426.38/426.61	c |    814841 |     668    12052    55981 |    21657    21742     31 |  0.000 % |
426.88/427.15	c |    815999 |     668    12052    55981 |    21657    20726     30 |  0.000 % |
427.48/427.77	c |    817272 |     668    12052    55981 |    21657    19821     29 |  0.000 % |
428.28/428.58	c |    818673 |     668    12052    55981 |    21657    21222     30 |  0.000 % |
429.08/429.34	c |    820214 |     668    12052    55981 | 2147483647    20583     29 |  0.000 % |
429.78/430.10	c |    821908 |     668    12052    55981 | 2147483647    22277     30 |  0.000 % |
430.68/430.95	c |    823773 |     668    12052    55981 | 2147483647    24142     30 |  0.000 % |
431.98/432.22	c |    825822 |     668    12052    55981 | 2147483647    26191     31 |  0.000 % |
433.18/433.45	c |    828076 |     668    12052    55981 | 2147483647    28445     32 |  0.005 % |
434.58/434.84	c |    830554 |     668    12052    55981 |    30370    26856     31 |  0.005 % |
435.88/436.19	c |    833279 |     668    12052    55981 |    30370    29581     32 |  0.005 % |
437.88/438.17	c |    836276 |     668    12052    55981 |    30370    27927     31 |  0.000 % |
440.38/440.66	c |    839573 |     668    12052    55981 |    30370    26254     32 |  0.000 % |
441.98/442.28	c |    843198 |     668    12052    55981 |    26681    25479     31 |  0.005 % |
444.27/444.51	c |    847185 |     668    12052    55981 |    26681    25842     31 |  0.000 % |
446.77/447.05	c |    851570 |     668    12052    55981 |    24897    22930     30 |  0.000 % |
448.87/449.16	c |    856394 |     668    12052    55981 |    24897    24617     30 |  0.005 % |
451.47/451.72	c |    861702 |     668    12052    55981 |    22535    21681     30 |  0.000 % |
454.37/454.62	c |    867539 |     668    12052    55981 |    22535    20706     30 |  0.000 % |
457.07/457.33	c |    873958 |     668    12052    55981 | 2147483647    24859     32 |  0.005 % |
461.27/461.59	c |    881018 |     668    12052    55981 |    30902    27714     32 |  0.000 % |
465.67/465.94	c |    888783 |     668    12052    55981 |    30902    30513     32 |  0.005 % |
465.77/466.03	c |    888883 |     668    12052    55981 |    30902    30613     32 |  0.000 % |
465.87/466.14	c |    888993 |     668    12052    55981 |    30902    30723     32 |  0.000 % |
465.97/466.24	c |    889114 |     668    12052    55981 |    30902    30844     32 |  0.000 % |
466.07/466.36	c |    889247 |     668    12052    55981 |    30902    30977     32 |  0.000 % |
466.17/466.48	c |    889393 |     668    12052    55981 |    30902    26059     31 |  0.000 % |
466.26/466.58	c |    889554 |     668    12052    55981 |    30902    26220     31 |  0.000 % |
466.46/466.70	c |    889730 |     668    12052    55981 |    30902    26396     31 |  0.005 % |
466.56/466.80	c |    889923 |     668    12052    55981 |    30902    26589     31 |  0.000 % |
466.66/466.94	c |    890137 |     668    12052    55981 |    26666    22469     29 |  0.000 % |
466.76/467.06	c |    890372 |     668    12052    55981 |    26666    22704     29 |  0.000 % |
466.86/467.19	c |    890628 |     668    12052    55981 |    26666    22960     30 |  0.000 % |
467.06/467.33	c |    890911 |     668    12052    55981 |    26666    23243     30 |  0.000 % |
467.17/467.48	c |    891221 |     668    12052    55981 |    26666    23553     30 |  0.000 % |
467.36/467.65	c |    891561 |     668    12052    55981 |    26666    23893     30 |  0.000 % |
467.56/467.83	c |    891933 |     668    12052    55981 |    26666    24265     30 |  0.005 % |
467.76/468.05	c |    892343 |     668    12052    55981 |    26666    24675     30 |  0.000 % |
468.06/468.31	c |    892792 |     668    12052    55981 |    26666    25124     30 |  0.000 % |
468.36/468.61	c |    893285 |     668    12052    55981 |    26666    25617     31 |  0.000 % |
468.66/468.93	c |    893827 |     668    12052    55981 |    26666    26159     31 |  0.000 % |
468.96/469.29	c |    894426 |     668    12052    55981 |    26666    26758     31 |  0.000 % |
469.36/469.66	c |    895083 |     668    12052    55981 |    26666    23484     30 |  0.000 % |
469.66/469.98	c |    895804 |     668    12052    55981 |    26666    24205     30 |  0.005 % |
470.06/470.38	c |    896596 |     668    12052    55981 |    26666    24997     30 |  0.000 % |
470.46/470.76	c |    897467 |     668    12052    55981 |    26666    25868     31 |  0.004 % |
471.16/471.42	c |    898425 |     668    12052    55981 |    26666    23023     30 |  0.000 % |
471.66/471.98	c |    899479 |     668    12052    55981 |    26666    24077     31 |  0.000 % |
472.26/472.56	c |    900637 |     668    12052    55981 |    24599    21713     30 |  0.000 % |
472.86/473.20	c |    901911 |     668    12052    55981 |    24599    22987     31 |  0.000 % |
473.66/473.92	c |    903311 |     668    12052    55981 |    24599    24387     31 |  0.000 % |
474.46/474.78	c |    904855 |     668    12052    55981 |    24599    22947     31 |  0.000 % |
475.36/475.65	c |    906550 |     668    12052    55981 |    24599    24642     31 |  0.000 % |
476.16/476.48	c |    908414 |     668    12052    55981 |    24599    23437     31 |  0.000 % |
477.36/477.66	c |    910466 |     668    12052    55981 |    21868    19541     29 |  0.000 % |
478.36/478.64	c |    912721 |     668    12052    55981 |    21868    21796     30 |  0.000 % |
479.66/479.99	c |    915200 |     668    12052    55981 |    21868    21960     30 |  0.000 % |
480.96/481.26	c |    917925 |     668    12052    55981 |    21868    20242     29 |  0.000 % |
482.56/482.83	c |    920922 |     668    12052    55981 | 2147483647    21043     29 |  0.000 % |
484.15/484.47	c |    924221 |     668    12052    55981 | 2147483647    24342     31 |  0.000 % |
486.05/486.30	c |    927846 |     668    12052    55981 | 2147483647    27967     31 |  0.000 % |
488.45/488.74	c |    931833 |     668    12052    55981 |    30121    27813     31 |  0.000 % |
490.65/490.98	c |    936221 |     668    12052    55981 |    30121    27012     31 |  0.000 % |
493.35/493.68	c |    941044 |     668    12052    55981 |    25657    22357     31 |  0.005 % |
496.25/496.53	c |    946349 |     668    12052    55981 |    25657    23641     31 |  0.005 % |
499.65/499.95	c |    952184 |     668    12052    55981 |    23248    21794     31 |  0.000 % |
502.95/503.25	c |    958602 |     668    12052    55981 |    23248    21921     30 |  0.000 % |
506.94/507.21	c |    965662 |     668    12052    55981 |    23321    23178     31 |  0.000 % |
511.05/511.40	c |    973426 |     668    12052    55981 |    22163    20931     32 |  0.000 % |
516.05/516.34	c |    981968 |     668    12052    55981 | 2147483647    22670     33 |  0.000 % |
516.15/516.42	c |    982068 |     668    12052    55981 | 2147483647    22770     33 |  0.000 % |
516.15/516.46	c |    982178 |     668    12052    55981 | 2147483647    22880     33 |  0.005 % |
516.25/516.52	c |    982301 |     668    12052    55981 | 2147483647    23003     33 |  0.000 % |
516.25/516.59	c |    982434 |     668    12052    55981 | 2147483647    23136     33 |  0.000 % |
516.35/516.65	c |    982583 |     668    12052    55981 | 2147483647    23285     33 |  0.000 % |
516.45/516.71	c |    982744 |     668    12052    55981 | 2147483647    23446     33 |  0.005 % |
516.55/516.83	c |    982921 |     668    12052    55981 | 2147483647    23623     33 |  0.000 % |
516.66/516.92	c |    983115 |     668    12052    55981 | 2147483647    23817     33 |  0.000 % |
516.76/517.04	c |    983327 |     668    12052    55981 | 2147483647    24029     33 |  0.000 % |
516.95/517.21	c |    983560 |     668    12052    55981 | 2147483647    24262     33 |  0.000 % |
517.05/517.32	c |    983817 |     668    12052    55981 | 2147483647    24519     33 |  0.000 % |
517.25/517.53	c |    984098 |     668    12052    55981 | 2147483647    24800     33 |  0.000 % |
517.35/517.65	c |    984410 |     668    12052    55981 | 2147483647    25112     33 |  0.005 % |
517.65/517.90	c |    984752 |     668    12052    55981 | 2147483647    25454     33 |  0.000 % |
517.85/518.14	c |    985125 |     668    12052    55981 | 2147483647    25827     33 |  0.000 % |
518.05/518.35	c |    985535 |     668    12052    55981 | 2147483647    26237     33 |  0.000 % |
518.25/518.53	c |    985986 |     668    12052    55981 | 2147483647    26688     33 |  0.005 % |
518.45/518.79	c |    986479 |     668    12052    55981 | 2147483647    27181     34 |  0.000 % |
518.85/519.14	c |    987022 |     668    12052    55981 | 2147483647    27724     34 |  0.000 % |
519.15/519.40	c |    987618 |     668    12052    55981 | 2147483647    28320     34 |  0.004 % |
519.65/519.98	c |    988274 |     668    12052    55981 | 2147483647    28976     34 |  0.000 % |
520.15/520.49	c |    988996 |     668    12052    55981 | 2147483647    29698     34 |  0.000 % |
520.75/521.06	c |    989789 |     668    12052    55981 | 2147483647    30491     34 |  0.000 % |
521.35/521.68	c |    990663 |     668    12052    55981 |    30703    26996     33 |  0.000 % |
521.95/522.23	c |    991621 |     668    12052    55981 |    30703    27954     33 |  0.000 % |
522.75/523.04	c |    992674 |     668    12052    55981 |    30703    29007     33 |  0.000 % |
523.45/523.77	c |    993833 |     668    12052    55981 |    30703    30166     33 |  0.000 % |
524.35/524.62	c |    995107 |     668    12052    55981 |    30703    25937     31 |  0.000 % |
525.25/525.51	c |    996507 |     668    12052    55981 |    30703    27337     31 |  0.000 % |
525.95/526.25	c |    998047 |     668    12052    55981 |    30703    28877     32 |  0.004 % |
526.85/527.18	c |    999741 |     668    12052    55981 |    30703    30571     32 |  0.005 % |
527.95/528.22	c |   1001604 |     668    12052    55981 |    25249    22274     29 |  0.000 % |
528.94/529.22	c |   1003653 |     668    12052    55981 |    25249    24323     30 |  0.000 % |
530.24/530.51	c |   1005906 |     668    12052    55981 |    25249    22874     29 |  0.000 % |
531.24/531.52	c |   1008384 |     668    12052    55981 |    25249    25352     29 |  0.005 % |
532.34/532.66	c |   1011109 |     668    12052    55981 |    23697    21885     28 |  0.000 % |
533.84/534.18	c |   1014106 |     668    12052    55981 |    23697    22115     28 |  0.004 % |
535.74/536.03	c |   1017405 |     668    12052    55981 |    23697    22630     29 |  0.000 % |
537.65/537.93	c |   1021030 |     668    12052    55981 |    22521    21058     29 |  0.000 % |
539.14/539.46	c |   1025019 |     668    12052    55981 |    22521    20526     29 |  0.000 % |
540.74/541.08	c |   1029404 |     668    12052    55981 |    22521    22647     31 |  0.000 % |
543.54/543.86	c |   1034228 |     668    12052    55981 | 2147483647    25207     32 |  0.000 % |
547.14/547.40	c |   1039533 |     668    12052    55981 | 2147483647    30512     34 |  0.000 % |
550.44/550.76	c |   1045369 |     668    12052    55981 |    30982    26766     35 |  0.000 % |
554.64/554.91	c |   1051787 |     668    12052    55981 |    25744    22840     32 |  0.000 % |
558.74/559.05	c |   1058846 |     668    12052    55981 |    25744    25646     34 |  0.000 % |
562.74/563.09	c |   1066610 |     668    12052    55981 |    22957    20604     32 |  0.000 % |
566.73/567.02	c |   1075150 |     668    12052    55981 |    21168    19418     30 |  0.000 % |
570.93/571.24	c |   1084544 |     668    12052    55981 | 2147483647    24552     30 |  0.000 % |
571.03/571.31	c |   1084644 |     668    12052    55981 | 2147483647    24652     30 |  0.000 % |
571.03/571.40	c |   1084757 |     668    12052    55981 | 2147483647    24765     30 |  0.000 % |
571.13/571.47	c |   1084878 |     668    12052    55981 | 2147483647    24886     30 |  0.000 % |
571.23/571.56	c |   1085012 |     668    12052    55981 | 2147483647    25020     30 |  0.000 % |
571.33/571.63	c |   1085158 |     668    12052    55981 | 2147483647    25166     30 |  0.005 % |
571.43/571.72	c |   1085318 |     668    12052    55981 | 2147483647    25326     30 |  0.000 % |
571.53/571.84	c |   1085494 |     668    12052    55981 | 2147483647    25502     30 |  0.000 % |
571.64/571.96	c |   1085687 |     668    12052    55981 | 2147483647    25695     31 |  0.000 % |
571.74/572.07	c |   1085899 |     668    12052    55981 | 2147483647    25907     31 |  0.000 % |
571.93/572.23	c |   1086134 |     668    12052    55981 | 2147483647    26142     31 |  0.000 % |
572.13/572.42	c |   1086390 |     668    12052    55981 | 2147483647    26398     31 |  0.000 % |
572.33/572.63	c |   1086671 |     668    12052    55981 | 2147483647    26679     31 |  0.000 % |
572.53/572.83	c |   1086980 |     668    12052    55981 | 2147483647    26988     31 |  0.000 % |
572.74/573.10	c |   1087319 |     668    12052    55981 | 2147483647    27327     31 |  0.000 % |
573.03/573.36	c |   1087691 |     668    12052    55981 | 2147483647    27699     31 |  0.000 % |
573.33/573.62	c |   1088101 |     668    12052    55981 | 2147483647    28109     31 |  0.000 % |
573.53/573.89	c |   1088552 |     668    12052    55981 | 2147483647    28560     31 |  0.000 % |
573.73/574.10	c |   1089045 |     668    12052    55981 | 2147483647    29053     32 |  0.005 % |
574.13/574.46	c |   1089588 |     668    12052    55981 | 2147483647    29596     32 |  0.000 % |
574.43/574.78	c |   1090185 |     668    12052    55981 |    30008    26353     30 |  0.005 % |
574.83/575.16	c |   1090840 |     668    12052    55981 |    30008    27008     31 |  0.000 % |
575.13/575.49	c |   1091560 |     668    12052    55981 |    30008    27728     31 |  0.000 % |
575.53/575.80	c |   1092352 |     668    12052    55981 |    30008    28520     31 |  0.005 % |
576.23/576.51	c |   1093224 |     668    12052    55981 |    30008    29392     31 |  0.000 % |
576.73/577.08	c |   1094184 |     668    12052    55981 |    30008    25934     30 |  0.000 % |
577.23/577.56	c |   1095239 |     668    12052    55981 |    30008    26989     31 |  0.000 % |
577.73/578.06	c |   1096399 |     668    12052    55981 |    30008    28149     31 |  0.000 % |
578.53/578.86	c |   1097673 |     668    12052    55981 |    30008    29423     31 |  0.000 % |
579.53/579.81	c |   1099075 |     668    12052    55981 |    30008    26497     31 |  0.000 % |
580.23/580.51	c |   1100616 |     668    12052    55981 |    27422    24097     31 |  0.005 % |
581.03/581.30	c |   1102311 |     668    12052    55981 |    27422    25792     32 |  0.000 % |
582.03/582.34	c |   1104175 |     668    12052    55981 |    27422    23961     31 |  0.000 % |
583.23/583.59	c |   1106225 |     668    12052    55981 |    27422    26011     32 |  0.000 % |
584.53/584.83	c |   1108478 |     668    12052    55981 |    27422    24369     31 |  0.000 % |
586.12/586.44	c |   1110956 |     668    12052    55981 |    25892    23106     31 |  0.000 % |
587.82/588.12	c |   1113681 |     668    12052    55981 |    25892    25831     32 |  0.000 % |
589.52/589.84	c |   1116678 |     668    12052    55981 |    25892    25293     32 |  0.000 % |
591.53/591.86	c |   1119975 |     668    12052    55981 |    25892    25045     32 |  0.000 % |
593.63/593.92	c |   1123603 |     668    12052    55981 |    25072    25161     32 |  0.000 % |
595.82/596.10	c |   1127590 |     668    12052    55981 |    25072    21827     30 |  0.000 % |
597.62/597.98	c |   1131975 |     668    12052    55981 |    24239    22810     30 |  0.000 % |
600.32/600.67	c |   1136798 |     668    12052    55981 |    24239    21558     28 |  0.000 % |
603.12/603.49	c |   1142104 |     668    12052    55981 |    21913    21483     29 |  0.000 % |
606.02/606.31	c |   1147944 |     668    12052    55981 |    21913    20726     31 |  0.000 % |
609.22/609.54	c |   1154364 |     668    12052    55981 | 2147483647    24944     32 |  0.000 % |
613.81/614.15	c |   1161423 |     668    12052    55981 |    30583    27978     33 |  0.000 % |
618.92/619.26	c |   1169187 |     668    12052    55981 |    30583    26862     32 |  0.000 % |
624.11/624.48	c |   1177727 |     668    12052    55981 |    27676    26331     32 |  0.000 % |
629.71/630.01	c |   1187124 |     668    12052    55981 |    24189    21474     30 |  0.000 % |
634.91/635.25	c |   1197459 |     668    12052    55981 |    21324    19693     30 |  0.000 % |
635.01/635.33	c |   1197561 |     668    12052    55981 |    21324    19795     30 |  0.000 % |
635.01/635.37	c |   1197672 |     668    12052    55981 |    21324    19906     30 |  0.005 % |
635.11/635.45	c |   1197794 |     668    12052    55981 |    21324    20028     30 |  0.000 % |
635.11/635.50	c |   1197928 |     668    12052    55981 |    21324    20162     30 |  0.000 % |
635.21/635.58	c |   1198076 |     668    12052    55981 |    21324    20310     30 |  0.000 % |
635.31/635.63	c |   1198237 |     668    12052    55981 |    21324    20471     31 |  0.005 % |
635.41/635.72	c |   1198413 |     668    12052    55981 |    21324    20647     31 |  0.000 % |
635.41/635.79	c |   1198606 |     668    12052    55981 |    21324    20840     31 |  0.000 % |
635.61/635.93	c |   1198818 |     668    12052    55981 |    21324    21052     31 |  0.000 % |
635.71/636.06	c |   1199051 |     668    12052    55981 |    21324    21285     31 |  0.000 % |
635.81/636.17	c |   1199307 |     668    12052    55981 |    21324    19395     30 |  0.004 % |
636.01/636.32	c |   1199589 |     668    12052    55981 |    21324    19677     30 |  0.000 % |
636.11/636.42	c |   1199899 |     668    12052    55981 |    21324    19987     31 |  0.005 % |
636.21/636.57	c |   1200238 |     668    12052    55981 | 2147483647    20326     31 |  0.000 % |
636.51/636.80	c |   1200612 |     668    12052    55981 | 2147483647    20700     31 |  0.000 % |
636.71/637.05	c |   1201021 |     668    12052    55981 | 2147483647    21109     31 |  0.000 % |
636.81/637.18	c |   1201470 |     668    12052    55981 | 2147483647    21558     31 |  0.004 % |
637.11/637.43	c |   1201964 |     668    12052    55981 | 2147483647    22052     31 |  0.000 % |
637.31/637.68	c |   1202507 |     668    12052    55981 | 2147483647    22595     31 |  0.000 % |
637.61/637.93	c |   1203103 |     668    12052    55981 | 2147483647    23191     31 |  0.005 % |
637.90/638.29	c |   1203759 |     668    12052    55981 | 2147483647    23847     32 |  0.000 % |
638.30/638.65	c |   1204481 |     668    12052    55981 | 2147483647    24569     32 |  0.000 % |
638.81/639.16	c |   1205274 |     668    12052    55981 | 2147483647    25362     32 |  0.000 % |
639.30/639.65	c |   1206146 |     668    12052    55981 | 2147483647    26234     33 |  0.000 % |
639.91/640.28	c |   1207105 |     668    12052    55981 | 2147483647    27193     33 |  0.000 % |
640.60/640.94	c |   1208158 |     668    12052    55981 | 2147483647    28246     33 |  0.000 % |
641.30/641.68	c |   1209321 |     668    12052    55981 | 2147483647    29409     33 |  0.000 % |
642.20/642.59	c |   1210594 |     668    12052    55981 |    30088    26657     33 |  0.000 % |
642.90/643.23	c |   1211994 |     668    12052    55981 |    30088    28057     33 |  0.000 % |
644.00/644.36	c |   1213534 |     668    12052    55981 |    30088    29597     33 |  0.000 % |
644.90/645.20	c |   1215229 |     668    12052    55981 |    30088    26579     32 |  0.005 % |
645.80/646.17	c |   1217092 |     668    12052    55981 |    30088    28442     33 |  0.000 % |
646.80/647.15	c |   1219141 |     668    12052    55981 |    30088    25968     32 |  0.005 % |
648.20/648.53	c |   1221394 |     668    12052    55981 |    26829    24160     32 |  0.000 % |
649.80/650.12	c |   1223873 |     668    12052    55981 |    26829    26639     33 |  0.000 % |
651.49/651.89	c |   1226599 |     668    12052    55981 |    26829    25156     32 |  0.000 % |
652.89/653.29	c |   1229596 |     668    12052    55981 |    26829    24231     31 |  0.005 % |
654.29/654.68	c |   1232892 |     668    12052    55981 |    24636    24034     31 |  0.000 % |
656.30/656.67	c |   1236517 |     668    12052    55981 |    24636    24708     32 |  0.000 % |
658.29/658.61	c |   1240504 |     668    12052    55981 |    22566    20523     31 |  0.000 % |
660.09/660.43	c |   1244889 |     668    12052    55981 |    22566    22642     31 |  0.005 % |
662.49/662.88	c |   1249712 |     668    12052    55981 |    22566    20670     30 |  0.000 % |
665.09/665.45	c |   1255018 |     668    12052    55981 | 2147483647    25976     32 |  0.000 % |
668.29/668.61	c |   1260853 |     668    12052    55981 |    30958    28061     32 |  0.005 % |
672.39/672.73	c |   1267272 |     668    12052    55981 |    30958    29208     32 |  0.000 % |
676.39/676.74	c |   1274333 |     668    12052    55981 |    26719    26613     31 |  0.000 % |
680.78/681.18	c |   1282097 |     668    12052    55981 |    24751    23589     31 |  0.000 % |
684.68/685.02	c |   1290637 |     668    12052    55981 | 2147483647    24365     33 |  0.000 % |
690.88/691.25	c |   1300032 |     668    12052    55981 |    33729    33760     33 |  0.000 % |
696.88/697.27	c |   1310365 |     668    12052    55981 |    31577    26295     28 |  0.005 % |
703.78/704.17	c |   1321731 |     668    12052    55981 |    30755    27653     31 |  0.000 % |
703.88/704.26	c |   1321831 |     668    12052    55981 |    30755    27753     31 |  0.000 % |
703.98/704.35	c |   1321942 |     668    12052    55981 |    30755    27864     31 |  0.000 % |
704.08/704.44	c |   1322063 |     668    12052    55981 |    30755    27985     31 |  0.000 % |
704.18/704.52	c |   1322196 |     668    12052    55981 |    30755    28118     31 |  0.005 % |
704.28/704.62	c |   1322342 |     668    12052    55981 |    30755    28264     31 |  0.000 % |
704.38/704.72	c |   1322502 |     668    12052    55981 |    30755    28424     31 |  0.000 % |
704.48/704.83	c |   1322678 |     668    12052    55981 |    30755    28600     31 |  0.000 % |
704.58/704.94	c |   1322872 |     668    12052    55981 |    30755    28794     31 |  0.000 % |
704.68/705.07	c |   1323084 |     668    12052    55981 |    30755    29006     31 |  0.000 % |
704.88/705.21	c |   1323317 |     668    12052    55981 |    30755    29239     31 |  0.000 % |
704.98/705.39	c |   1323573 |     668    12052    55981 |    30755    29495     31 |  0.000 % |
705.18/705.52	c |   1323855 |     668    12052    55981 |    30755    29777     31 |  0.005 % |
705.28/705.70	c |   1324164 |     668    12052    55981 |    30755    30086     31 |  0.000 % |
705.58/705.92	c |   1324503 |     668    12052    55981 |    30755    30425     31 |  0.004 % |
705.68/706.09	c |   1324876 |     668    12052    55981 |    30755    30798     32 |  0.005 % |
705.98/706.37	c |   1325286 |     668    12052    55981 |    30755    26184     31 |  0.000 % |
706.28/706.63	c |   1325735 |     668    12052    55981 |    30755    26633     31 |  0.000 % |
706.58/706.90	c |   1326228 |     668    12052    55981 |    30755    27126     31 |  0.000 % |
706.78/707.16	c |   1326770 |     668    12052    55981 |    30755    27668     32 |  0.000 % |
707.07/707.49	c |   1327366 |     668    12052    55981 |    30755    28264     32 |  0.000 % |
707.58/707.92	c |   1328024 |     668    12052    55981 |    30755    28922     32 |  0.000 % |
707.99/708.32	c |   1328744 |     668    12052    55981 |    30755    29642     32 |  0.000 % |
708.48/708.83	c |   1329539 |     668    12052    55981 |    30755    30437     32 |  0.000 % |
708.98/709.40	c |   1330410 |     668    12052    55981 |    25668    21700     31 |  0.000 % |
709.58/709.93	c |   1331368 |     668    12052    55981 |    25668    22658     31 |  0.000 % |
710.19/710.58	c |   1332422 |     668    12052    55981 |    25668    23712     31 |  0.000 % |
710.88/711.29	c |   1333581 |     668    12052    55981 |    25668    24871     32 |  0.000 % |
711.48/711.85	c |   1334855 |     668    12052    55981 |    25668    22095     30 |  0.004 % |
712.18/712.53	c |   1336255 |     668    12052    55981 |    25668    23495     31 |  0.000 % |
713.18/713.53	c |   1337796 |     668    12052    55981 |    25668    25036     31 |  0.000 % |
714.18/714.56	c |   1339493 |     668    12052    55981 |    25668    23023     31 |  0.000 % |
715.28/715.65	c |   1341358 |     668    12052    55981 |    23531    21520     31 |  0.000 % |
716.38/716.79	c |   1343407 |     668    12052    55981 |    23531    23569     32 |  0.000 % |
717.38/717.70	c |   1345661 |     668    12052    55981 |    23531    22621     31 |  0.000 % |
718.38/718.76	c |   1348141 |     668    12052    55981 |    23531    22251     32 |  0.000 % |
719.78/720.17	c |   1350866 |     668    12052    55981 |    21339    19716     31 |  0.000 % |
721.58/721.91	c |   1353863 |     668    12052    55981 |    21339    20276     32 |  0.000 % |
723.28/723.66	c |   1357159 |     668    12052    55981 |    21339    21270     31 |  0.000 % |
725.18/725.50	c |   1360785 |     668    12052    55981 | 2147483647    20563     31 |  0.000 % |
727.48/727.87	c |   1364774 |     668    12052    55981 | 2147483647    24552     32 |  0.000 % |
730.57/730.94	c |   1369159 |     668    12052    55981 | 2147483647    28937     33 |  0.000 % |
733.67/734.02	c |   1373982 |     668    12052    55981 |    29778    29317     33 |  0.000 % |
737.47/737.89	c |   1379287 |     668    12052    55981 |    29778    29901     33 |  0.000 % |
741.27/741.68	c |   1385122 |     668    12052    55981 |    25131    21734     31 |  0.000 % |
744.97/745.38	c |   1391540 |     668    12052    55981 |    22645    20830     30 |  0.000 % |
747.87/748.24	c |   1398600 |     668    12052    55981 |    22645    21003     30 |  0.005 % |
752.07/752.47	c |   1406367 |     668    12052    55981 | 2147483647    28770     32 |  0.000 % |
758.07/758.45	c |   1414908 |     668    12052    55981 |    32404    32106     33 |  0.000 % |
764.47/764.81	c |   1424303 |     668    12052    55981 |    31117    29517     32 |  0.000 % |
770.77/771.16	c |   1434637 |     668    12052    55981 |    29422    28669     32 |  0.000 % |
777.36/777.79	c |   1446005 |     668    12052    55981 |    29154    25472     31 |  0.000 % |
783.36/783.77	c |   1458509 |     668    12052    55981 |    24682    22717     31 |  0.005 % |
783.46/783.83	c |   1458610 |     668    12052    55981 |    24682    22818     31 |  0.000 % |
783.46/783.89	c |   1458720 |     668    12052    55981 |    24682    22928     32 |  0.000 % |
783.56/783.96	c |   1458842 |     668    12052    55981 |    24682    23050     32 |  0.000 % |
783.66/784.03	c |   1458975 |     668    12052    55981 |    24682    23183     32 |  0.000 % |
783.76/784.12	c |   1459121 |     668    12052    55981 |    24682    23329     32 |  0.000 % |
783.86/784.23	c |   1459283 |     668    12052    55981 |    24682    23491     32 |  0.000 % |
783.96/784.33	c |   1459459 |     668    12052    55981 |    24682    23667     32 |  0.000 % |
784.06/784.45	c |   1459654 |     668    12052    55981 |    24682    23862     32 |  0.000 % |
784.16/784.57	c |   1459866 |     668    12052    55981 |    24682    24074     32 |  0.000 % |
784.26/784.69	c |   1460099 |     668    12052    55981 |    24208    24307     32 |  0.000 % |
784.46/784.84	c |   1460355 |     668    12052    55981 |    24208    21334     32 |  0.000 % |
784.56/784.99	c |   1460636 |     668    12052    55981 |    24208    21615     32 |  0.000 % |
784.76/785.18	c |   1460945 |     668    12052    55981 |    24208    21924     32 |  0.000 % |
784.96/785.37	c |   1461284 |     668    12052    55981 |    24208    22263     32 |  0.000 % |
785.26/785.63	c |   1461656 |     668    12052    55981 |    24208    22635     32 |  0.000 % |
785.46/785.85	c |   1462067 |     668    12052    55981 |    24208    23046     32 |  0.000 % |
785.66/786.07	c |   1462516 |     668    12052    55981 |    24208    23495     32 |  0.005 % |
785.96/786.36	c |   1463009 |     668    12052    55981 |    24208    23988     33 |  0.004 % |
786.26/786.61	c |   1463551 |     668    12052    55981 |    24208    21290     32 |  0.000 % |
786.46/786.89	c |   1464147 |     668    12052    55981 |    24208    21886     32 |  0.000 % |
786.86/787.24	c |   1464804 |     668    12052    55981 |    24208    22543     32 |  0.000 % |
787.16/787.59	c |   1465524 |     668    12052    55981 |    24208    23263     33 |  0.000 % |
787.56/787.96	c |   1466316 |     668    12052    55981 |    24208    24055     33 |  0.000 % |
787.96/788.39	c |   1467188 |     668    12052    55981 |    24208    21686     31 |  0.000 % |
788.36/788.75	c |   1468146 |     668    12052    55981 |    24208    22644     31 |  0.004 % |
788.96/789.31	c |   1469201 |     668    12052    55981 |    24208    23699     31 |  0.000 % |
789.46/789.86	c |   1470359 |     668    12052    55981 |    21352    18977     28 |  0.000 % |
790.05/790.43	c |   1471633 |     668    12052    55981 |    21352    20251     29 |  0.000 % |
790.75/791.11	c |   1473034 |     668    12052    55981 |    21352    19348     28 |  0.000 % |
791.25/791.68	c |   1474574 |     668    12052    55981 |    21352    20888     29 |  0.005 % |
791.95/792.35	c |   1476269 |     668    12052    55981 |    21352    20439     29 |  0.005 % |
792.76/793.18	c |   1478132 |     668    12052    55981 |    21352    20153     28 |  0.000 % |
793.76/794.14	c |   1480183 |     668    12052    55981 | 2147483647    20063     28 |  0.000 % |
794.86/795.25	c |   1482440 |     668    12052    55981 | 2147483647    22320     29 |  0.000 % |
796.06/796.46	c |   1484919 |     668    12052    55981 | 2147483647    24799     29 |  0.000 % |
797.65/798.00	c |   1487644 |     668    12052    55981 | 2147483647    27524     30 |  0.000 % |
799.26/799.67	c |   1490642 |     668    12052    55981 |    29881    26774     31 |  0.000 % |
801.55/801.98	c |   1493940 |     668    12052    55981 |    29881    25036     31 |  0.000 % |
804.15/804.58	c |   1497565 |     668    12052    55981 |    29881    28661     32 |  0.000 % |
806.35/806.79	c |   1501555 |     668    12052    55981 |    25798    22777     32 |  0.000 % |
808.45/808.87	c |   1505940 |     668    12052    55981 |    25798    23329     30 |  0.004 % |
810.54/810.93	c |   1510763 |     668    12052    55981 |    23842    21486     30 |  0.000 % |
813.24/813.65	c |   1516068 |     668    12052    55981 |    23842    21292     30 |  0.000 % |
815.94/816.38	c |   1521903 |     668    12052    55981 |    22561    21935     32 |  0.004 % |
819.34/819.70	c |   1528321 |     668    12052    55981 |    22561    20465     32 |  0.000 % |
822.94/823.38	c |   1535381 |     668    12052    55981 |    22145    20485     32 |  0.000 % |
827.04/827.49	c |   1543148 |     668    12052    55981 |    20655    19625     32 |  0.000 % |
831.24/831.65	c |   1551688 |     668    12052    55981 | 2147483647    21934     33 |  0.000 % |
837.34/837.76	c |   1561082 |     668    12052    55981 |    30247    26535     34 |  0.000 % |
842.83/843.29	c |   1571416 |     668    12052    55981 |    25536    22687     31 |  0.005 % |
848.53/848.94	c |   1582783 |     668    12052    55981 |    24058    23569     29 |  0.000 % |
855.03/855.46	c |   1595287 |     668    12052    55981 |    21789    20075     30 |  0.000 % |
862.53/862.97	c |   1609039 |     668    12052    55981 | 2147483647    29451     34 |  0.000 % |
862.63/863.03	c |   1609139 |     668    12052    55981 | 2147483647    29551     34 |  0.005 % |
862.73/863.13	c |   1609249 |     668    12052    55981 | 2147483647    29661     34 |  0.000 % |
862.83/863.22	c |   1609371 |     668    12052    55981 | 2147483647    29783     34 |  0.000 % |
862.93/863.33	c |   1609504 |     668    12052    55981 | 2147483647    29916     34 |  0.000 % |
863.03/863.41	c |   1609650 |     668    12052    55981 | 2147483647    30062     34 |  0.004 % |
863.13/863.51	c |   1609811 |     668    12052    55981 | 2147483647    30223     34 |  0.000 % |
863.23/863.63	c |   1609987 |     668    12052    55981 | 2147483647    30399     34 |  0.000 % |
863.33/863.79	c |   1610181 |     668    12052    55981 |    30415    26135     33 |  0.000 % |
863.53/863.92	c |   1610393 |     668    12052    55981 |    30415    26347     33 |  0.000 % |
863.63/864.04	c |   1610627 |     668    12052    55981 |    30415    26581     33 |  0.000 % |
863.73/864.18	c |   1610885 |     668    12052    55981 |    30415    26839     33 |  0.000 % |
863.93/864.37	c |   1611168 |     668    12052    55981 |    30415    27122     33 |  0.000 % |
864.13/864.56	c |   1611477 |     668    12052    55981 |    30415    27431     33 |  0.000 % |
864.33/864.79	c |   1611818 |     668    12052    55981 |    30415    27772     33 |  0.000 % |
864.53/864.98	c |   1612191 |     668    12052    55981 |    30415    28145     33 |  0.000 % |
864.83/865.26	c |   1612601 |     668    12052    55981 |    30415    28555     33 |  0.000 % |
865.13/865.54	c |   1613051 |     668    12052    55981 |    30415    29005     33 |  0.000 % |
865.53/865.92	c |   1613545 |     668    12052    55981 |    30415    29499     33 |  0.004 % |
865.83/866.24	c |   1614087 |     668    12052    55981 |    30415    30041     34 |  0.005 % |
866.23/866.61	c |   1614684 |     668    12052    55981 |    30415    25387     33 |  0.004 % |
866.53/866.96	c |   1615339 |     668    12052    55981 |    30415    26042     33 |  0.000 % |
866.93/867.34	c |   1616059 |     668    12052    55981 |    30415    26762     33 |  0.000 % |
867.33/867.72	c |   1616852 |     668    12052    55981 |    30415    27555     33 |  0.000 % |
867.93/868.32	c |   1617726 |     668    12052    55981 |    30415    28429     33 |  0.000 % |
868.53/868.98	c |   1618687 |     668    12052    55981 |    30415    29390     33 |  0.000 % |
869.32/869.71	c |   1619741 |     668    12052    55981 |    30415    30444     33 |  0.000 % |
869.92/870.39	c |   1620899 |     668    12052    55981 |    25511    22068     30 |  0.000 % |
870.62/871.02	c |   1622172 |     668    12052    55981 |    25511    23341     31 |  0.000 % |
871.32/871.77	c |   1623577 |     668    12052    55981 |    25511    24746     31 |  0.000 % |
872.02/872.40	c |   1625118 |     668    12052    55981 |    25511    23030     31 |  0.005 % |
872.93/873.31	c |   1626812 |     668    12052    55981 |    25511    24724     31 |  0.000 % |
873.82/874.23	c |   1628676 |     668    12052    55981 |    25511    23273     31 |  0.000 % |
874.82/875.29	c |   1630726 |     668    12052    55981 |    24600    22381     30 |  0.000 % |
876.12/876.55	c |   1632979 |     668    12052    55981 |    24600    24634     30 |  0.000 % |
877.33/877.74	c |   1635458 |     668    12052    55981 |    24600    23982     30 |  0.000 % |
878.82/879.23	c |   1638185 |     668    12052    55981 |    24600    23770     30 |  0.000 % |
880.52/880.96	c |   1641182 |     668    12052    55981 |    22648    21177     29 |  0.000 % |
882.22/882.68	c |   1644478 |     668    12052    55981 |    22648    21829     29 |  0.000 % |
884.12/884.57	c |   1648105 |     668    12052    55981 |    22648    20388     29 |  0.000 % |
886.02/886.44	c |   1652092 |     668    12052    55981 |    22283    21874     30 |  0.000 % |
887.92/888.35	c |   1656478 |     668    12052    55981 |    22283    21778     31 |  0.004 % |
890.22/890.68	c |   1661302 |     668    12052    55981 | 2147483647    22122     31 |  0.000 % |
892.92/893.39	c |   1666607 |     668    12052    55981 | 2147483647    27427     33 |  0.000 % |
896.82/897.26	c |   1672443 |     668    12052    55981 |    30820    29375     33 |  0.000 % |
900.62/901.06	c |   1678862 |     668    12052    55981 |    30820    26610     32 |  0.000 % |
905.02/905.46	c |   1685921 |     668    12052    55981 |    27749    25451     33 |  0.000 % |
909.32/909.73	c |   1693685 |     668    12052    55981 |    25641    23136     32 |  0.000 % |
914.02/914.48	c |   1702226 |     668    12052    55981 |    23585    23148     31 |  0.000 % |
919.22/919.63	c |   1711624 |     668    12052    55981 |    22174    20836     30 |  0.000 % |
924.21/924.60	c |   1721958 |     668    12052    55981 |    21693    21281     31 |  0.000 % |
929.91/930.32	c |   1733324 |     668    12052    55981 | 2147483647    23735     33 |  0.000 % |
938.11/938.55	c |   1745826 |     668    12052    55981 |    30412    28292     34 |  0.000 % |
946.71/947.11	c |   1759578 |     668    12052    55981 |    27571    24487     32 |  0.000 % |
953.21/953.67	c |   1774706 |     668    12052    55981 |    23659    23443     30 |  0.005 % |
953.31/953.72	c |   1774806 |     668    12052    55981 |    23659    23543     30 |  0.000 % |
953.31/953.79	c |   1774916 |     668    12052    55981 |    23659    23653     30 |  0.000 % |
953.40/953.88	c |   1775038 |     668    12052    55981 |    23659    21111     30 |  0.000 % |
953.50/953.94	c |   1775171 |     668    12052    55981 |    23659    21244     30 |  0.000 % |
953.60/954.01	c |   1775319 |     668    12052    55981 |    23659    21392     30 |  0.000 % |
953.70/954.11	c |   1775483 |     668    12052    55981 |    23659    21556     30 |  0.000 % |
953.70/954.20	c |   1775659 |     668    12052    55981 |    23659    21732     30 |  0.000 % |
953.80/954.29	c |   1775854 |     668    12052    55981 |    23659    21927     30 |  0.000 % |
954.00/954.41	c |   1776066 |     668    12052    55981 |    23659    22139     30 |  0.000 % |
954.10/954.51	c |   1776299 |     668    12052    55981 |    23659    22372     30 |  0.000 % |
954.20/954.63	c |   1776555 |     668    12052    55981 |    23659    22628     30 |  0.000 % |
954.31/954.79	c |   1776836 |     668    12052    55981 |    23659    22909     30 |  0.000 % |
954.50/954.92	c |   1777145 |     668    12052    55981 |    23659    23218     31 |  0.000 % |
954.70/955.10	c |   1777484 |     668    12052    55981 |    23659    23557     31 |  0.000 % |
954.90/955.32	c |   1777856 |     668    12052    55981 |    23659    21298     30 |  0.000 % |
955.10/955.51	c |   1778265 |     668    12052    55981 |    23659    21707     30 |  0.000 % |
955.20/955.67	c |   1778714 |     668    12052    55981 |    23659    22156     30 |  0.000 % |
955.41/955.90	c |   1779208 |     668    12052    55981 |    23659    22650     30 |  0.000 % |
955.70/956.15	c |   1779750 |     668    12052    55981 |    23659    23192     30 |  0.000 % |
956.00/956.43	c |   1780346 |     668    12052    55981 |    23442    21303     30 |  0.000 % |
956.30/956.76	c |   1781001 |     668    12052    55981 |    23442    21958     30 |  0.000 % |
956.61/957.06	c |   1781721 |     668    12052    55981 |    23442    22678     30 |  0.005 % |
956.90/957.38	c |   1782514 |     668    12052    55981 |    23442    23471     30 |  0.000 % |
957.30/957.78	c |   1783387 |     668    12052    55981 |    23442    21997     30 |  0.005 % |
957.80/958.28	c |   1784347 |     668    12052    55981 |    23442    22957     30 |  0.000 % |
958.40/958.82	c |   1785401 |     668    12052    55981 |    23442    21660     30 |  0.000 % |
959.10/959.52	c |   1786561 |     668    12052    55981 |    23442    22820     31 |  0.000 % |
959.70/960.17	c |   1787837 |     668    12052    55981 |    23442    21744     30 |  0.004 % |
960.30/960.79	c |   1789238 |     668    12052    55981 |    23442    23145     31 |  0.000 % |
961.20/961.61	c |   1790778 |     668    12052    55981 | 2147483647    22330     31 |  0.000 % |
962.10/962.58	c |   1792472 |     668    12052    55981 | 2147483647    24024     31 |  0.000 % |
963.40/963.82	c |   1794336 |     668    12052    55981 | 2147483647    25888     32 |  0.000 % |
964.80/965.25	c |   1796386 |     668    12052    55981 | 2147483647    27938     33 |  0.000 % |
966.40/966.87	c |   1798641 |     668    12052    55981 | 2147483647    30193     33 |  0.000 % |
968.00/968.49	c |   1801119 |     668    12052    55981 |    31552    28028     33 |  0.000 % |
970.00/970.42	c |   1803844 |     668    12052    55981 |    31552    30753     33 |  0.000 % |
972.29/972.75	c |   1806841 |     668    12052    55981 |    31552    28010     33 |  0.000 % |
974.99/975.43	c |   1810137 |     668    12052    55981 |    31171    31306     33 |  0.000 % |
977.19/977.60	c |   1813762 |     668    12052    55981 |    31171    28766     32 |  0.000 % |
979.99/980.45	c |   1817751 |     668    12052    55981 |    31171    26788     31 |  0.000 % |
982.59/983.09	c |   1822136 |     668    12052    55981 |    29037    25587     31 |  0.000 % |
985.49/985.98	c |   1826959 |     668    12052    55981 |    29037    24873     31 |  0.000 % |
988.49/988.98	c |   1832265 |     668    12052    55981 |    27918    25025     32 |  0.000 % |
991.69/992.16	c |   1838100 |     668    12052    55981 |    27918    26385     32 |  0.000 % |
994.89/995.33	c |   1844518 |     668    12052    55981 |    23704    21046     30 |  0.000 % |
997.69/998.19	c |   1851578 |     668    12052    55981 |    23519    22335     29 |  0.005 % |
1001.29/1001.77	c |   1859343 |     668    12052    55981 |    23519    22949     29 |  0.000 % |
1005.78/1006.21	c |   1867884 |     668    12052    55981 | 2147483647    31490     30 |  0.000 % |
1011.78/1012.21	c |   1877279 |     668    12052    55981 |    33607    30162     31 |  0.000 % |
1019.78/1020.27	c |   1887616 |     668    12052    55981 |    32884    27324     33 |  0.000 % |
1027.18/1027.62	c |   1898983 |     668    12052    55981 |    29708    26496     33 |  0.000 % |
1034.68/1035.11	c |   1911486 |     668    12052    55981 |    27138    23938     31 |  0.000 % |
1042.57/1043.05	c |   1925238 |     668    12052    55981 |    23158    21555     30 |  0.000 % |
1049.77/1050.27	c |   1940369 |     668    12052    55981 | 2147483647    20599     31 |  0.000 % |
1060.36/1060.80	c |   1957010 |     668    12052    55981 |    30232    28686     32 |  0.000 % |
1060.36/1060.85	c |   1957110 |     668    12052    55981 |    30232    28786     32 |  0.000 % |
1060.46/1060.94	c |   1957223 |     668    12052    55981 |    30232    28899     32 |  0.000 % |
1060.56/1061.05	c |   1957344 |     668    12052    55981 |    30232    29020     32 |  0.000 % |
1060.66/1061.17	c |   1957478 |     668    12052    55981 |    30232    29154     32 |  0.000 % |
1060.86/1061.31	c |   1957624 |     668    12052    55981 |    30232    29300     32 |  0.000 % |
1060.97/1061.44	c |   1957784 |     668    12052    55981 |    30232    29460     32 |  0.000 % |
1061.06/1061.58	c |   1957960 |     668    12052    55981 |    30232    29636     32 |  0.000 % |
1061.26/1061.77	c |   1958154 |     668    12052    55981 |    30232    29830     32 |  0.000 % |
1061.46/1061.93	c |   1958369 |     668    12052    55981 |    30232    30045     32 |  0.000 % |
1061.66/1062.18	c |   1958602 |     668    12052    55981 |    30232    30278     32 |  0.000 % |
1061.96/1062.44	c |   1958861 |     668    12052    55981 |    30232    25554     32 |  0.000 % |
1062.26/1062.73	c |   1959143 |     668    12052    55981 |    30232    25836     32 |  0.000 % |
1062.46/1062.99	c |   1959452 |     668    12052    55981 |    30232    26145     32 |  0.000 % |
1062.76/1063.27	c |   1959793 |     668    12052    55981 |    30232    26486     32 |  0.000 % |
1063.06/1063.58	c |   1960165 |     668    12052    55981 |    26693    22124     30 |  0.000 % |
1063.36/1063.82	c |   1960574 |     668    12052    55981 |    26693    22533     30 |  0.000 % |
1063.56/1064.04	c |   1961025 |     668    12052    55981 |    26693    22984     31 |  0.000 % |
1063.76/1064.22	c |   1961519 |     668    12052    55981 |    26693    23478     31 |  0.000 % |
1063.96/1064.47	c |   1962063 |     668    12052    55981 |    26693    24022     31 |  0.000 % |
1064.26/1064.73	c |   1962659 |     668    12052    55981 |    26693    24618     31 |  0.004 % |
1064.76/1065.22	c |   1963317 |     668    12052    55981 |    26693    25276     32 |  0.000 % |
1065.36/1065.85	c |   1964037 |     668    12052    55981 |    26693    25996     32 |  0.000 % |
1065.76/1066.21	c |   1964829 |     668    12052    55981 |    26693    22106     31 |  0.000 % |
1066.25/1066.72	c |   1965702 |     668    12052    55981 |    26693    22979     31 |  0.000 % |
1066.75/1067.20	c |   1966662 |     668    12052    55981 |    26693    23939     31 |  0.000 % |
1067.35/1067.81	c |   1967715 |     668    12052    55981 |    26693    24992     32 |  0.000 % |
1068.05/1068.57	c |   1968874 |     668    12052    55981 |    26693    26151     32 |  0.000 % |
1068.85/1069.38	c |   1970149 |     668    12052    55981 |    22721    19058     30 |  0.000 % |
1069.55/1070.06	c |   1971549 |     668    12052    55981 |    22721    20458     31 |  0.000 % |
1070.15/1070.64	c |   1973089 |     668    12052    55981 |    22721    21998     31 |  0.005 % |
1070.86/1071.39	c |   1974785 |     668    12052    55981 |    22721    20772     31 |  0.000 % |
1071.75/1072.29	c |   1976648 |     668    12052    55981 |    22721    22635     32 |  0.000 % |
1072.85/1073.36	c |   1978697 |     668    12052    55981 |    22721    22105     31 |  0.000 % |
1074.16/1074.65	c |   1980952 |     668    12052    55981 |    20898    19516     30 |  0.000 % |
1075.36/1075.89	c |   1983430 |     668    12052    55981 |    20898    19892     30 |  0.000 % |
1076.75/1077.26	c |   1986155 |     668    12052    55981 |    20898    20518     30 |  0.000 % |
1078.25/1078.78	c |   1989152 |     668    12052    55981 |    20898    19311     29 |  0.000 % |
1079.66/1080.14	c |   1992448 |     668    12052    55981 | 2147483647    22607     30 |  0.000 % |
1081.35/1081.83	c |   1996073 |     668    12052    55981 | 2147483647    26232     31 |  0.000 % |
1083.15/1083.63	c |   2000061 |     668    12052    55981 |    30160    30220     31 |  0.005 % |
1085.35/1085.83	c |   2004447 |     668    12052    55981 |    30160    27142     31 |  0.000 % |
1088.25/1088.76	c |   2009271 |     668    12052    55981 |    30160    27088     31 |  0.000 % |
1091.45/1091.95	c |   2014576 |     668    12052    55981 |    27818    23836     30 |  0.000 % |
1094.15/1094.65	c |   2020411 |     668    12052    55981 |    25178    21957     28 |  0.005 % |
1097.35/1097.85	c |   2026829 |     668    12052    55981 |    25178    25201     30 |  0.000 % |
1101.04/1101.58	c |   2033888 |     668    12052    55981 |    22370    21412     31 |  0.000 % |
1104.54/1105.04	c |   2041653 |     668    12052    55981 | 2147483647    22440     32 |  0.000 % |
1109.84/1110.38	c |   2050194 |     668    12052    55981 |    30789    26848     33 |  0.000 % |
1116.04/1116.58	c |   2059588 |     668    12052    55981 |    30789    26372     32 |  0.000 % |
1121.04/1121.58	c |   2069922 |     668    12052    55981 |    26784    25943     32 |  0.000 % |
1126.84/1127.34	c |   2081290 |     668    12052    55981 |    24935    23413     32 |  0.000 % |
1133.55/1134.04	c |   2093793 |     668    12052    55981 |    22787    21351     31 |  0.000 % |
1140.44/1140.91	c |   2107546 |     668    12052    55981 | 2147483647    28235     32 |  0.000 % |
1148.44/1148.98	c |   2122673 |     668    12052    55981 |    28064    26578     28 |  0.004 % |
1157.43/1157.90	c |   2139312 |     668    12052    55981 |    25730    24523     33 |  0.000 % |
1167.43/1167.99	c |   2157615 |     668    12052    55981 |    24985    23160     33 |  0.000 % |
1167.53/1168.07	c |   2157716 |     668    12052    55981 |    24985    23261     33 |  0.000 % |
1167.63/1168.16	c |   2157829 |     668    12052    55981 |    24985    23374     33 |  0.000 % |
1167.73/1168.22	c |   2157951 |     668    12052    55981 |    24985    23496     33 |  0.000 % |
1167.73/1168.30	c |   2158084 |     668    12052    55981 |    24985    23629     34 |  0.000 % |
1167.83/1168.36	c |   2158231 |     668    12052    55981 |    24985    23776     34 |  0.000 % |
1167.93/1168.45	c |   2158392 |     668    12052    55981 |    24985    23937     34 |  0.000 % |
1168.03/1168.58	c |   2158568 |     668    12052    55981 |    24985    24113     34 |  0.000 % |
1168.23/1168.73	c |   2158761 |     668    12052    55981 |    24985    24306     34 |  0.000 % |
1168.33/1168.85	c |   2158974 |     668    12052    55981 |    24985    24519     34 |  0.000 % |
1168.43/1168.98	c |   2159209 |     668    12052    55981 |    24985    24754     34 |  0.000 % |
1168.63/1169.14	c |   2159468 |     668    12052    55981 |    24985    25013     34 |  0.000 % |
1168.83/1169.31	c |   2159749 |     668    12052    55981 |    24985    22204     33 |  0.000 % |
1168.93/1169.46	c |   2160059 |     668    12052    55981 |    22455    22514     33 |  0.000 % |
1169.13/1169.61	c |   2160398 |     668    12052    55981 |    22455    20146     32 |  0.005 % |
1169.23/1169.79	c |   2160771 |     668    12052    55981 |    22455    20519     32 |  0.000 % |
1169.43/1169.99	c |   2161181 |     668    12052    55981 |    22455    20929     33 |  0.000 % |
1169.73/1170.20	c |   2161630 |     668    12052    55981 |    22455    21378     33 |  0.000 % |
1169.93/1170.43	c |   2162124 |     668    12052    55981 |    22455    21872     33 |  0.000 % |
1170.33/1170.80	c |   2162667 |     668    12052    55981 |    22455    22415     33 |  0.000 % |
1170.63/1171.12	c |   2163264 |     668    12052    55981 |    22455    20650     32 |  0.000 % |
1170.93/1171.50	c |   2163919 |     668    12052    55981 |    22455    21305     33 |  0.000 % |
1171.42/1171.94	c |   2164639 |     668    12052    55981 |    22455    22025     33 |  0.000 % |
1171.82/1172.32	c |   2165432 |     668    12052    55981 |    22455    20483     32 |  0.000 % |
1172.22/1172.79	c |   2166303 |     668    12052    55981 |    22455    21354     32 |  0.000 % |
1172.82/1173.33	c |   2167261 |     668    12052    55981 |    22455    22312     32 |  0.000 % |
1173.32/1173.88	c |   2168314 |     668    12052    55981 |    22455    20938     32 |  0.000 % |
1173.82/1174.39	c |   2169473 |     668    12052    55981 |    22455    22097     32 |  0.000 % |
1174.52/1175.07	c |   2170746 |     668    12052    55981 |    20327    19013     31 |  0.000 % |
1175.33/1175.81	c |   2172146 |     668    12052    55981 |    20327    20413     32 |  0.000 % |
1176.02/1176.51	c |   2173687 |     668    12052    55981 |    20327    19913     31 |  0.000 % |
1176.82/1177.33	c |   2175382 |     668    12052    55981 |    20327    19567     31 |  0.000 % |
1177.63/1178.11	c |   2177246 |     668    12052    55981 |    20327    19386     31 |  0.000 % |
1178.42/1178.97	c |   2179296 |     668    12052    55981 |    20327    19391     31 |  0.000 % |
1179.52/1180.02	c |   2181550 |     668    12052    55981 | 2147483647    21645     32 |  0.000 % |
1180.42/1180.99	c |   2184028 |     668    12052    55981 | 2147483647    24123     32 |  0.005 % |
1181.72/1182.29	c |   2186753 |     668    12052    55981 | 2147483647    26848     33 |  0.004 % |
1183.82/1184.31	c |   2189751 |     668    12052    55981 | 2147483647    29846     34 |  0.000 % |
1185.62/1186.14	c |   2193047 |     668    12052    55981 |    30095    29156     33 |  0.000 % |
1187.72/1188.24	c |   2196673 |     668    12052    55981 |    30095    28331     33 |  0.005 % |
1190.41/1190.96	c |   2200660 |     668    12052    55981 |    26725    22996     31 |  0.000 % |
1192.92/1193.45	c |   2205045 |     668    12052    55981 |    26725    23293     32 |  0.000 % |
1195.22/1195.73	c |   2209869 |     668    12052    55981 |    26725    24098     32 |  0.000 % |
1198.11/1198.60	c |   2215177 |     668    12052    55981 |    24229    22114     33 |  0.000 % |
1200.02/1200.50	HOME/SatELiteGTI: line 36: 25056 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-1832311-1242771665/watcher-1832311-1242771665 -o /tmp/evaluation-result-1832311-1242771665/solver-1832311-1242771665 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832311-1242771665.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 25050
/proc/meminfo: memFree=1530392/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305198807 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25050/statm: 1339 237 197 169 0 50 0

[startup+0.09529 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 25050
/proc/meminfo: memFree=1530392/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.101271 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 25050
/proc/meminfo: memFree=1530392/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.301297 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 25050
/proc/meminfo: memFree=1530392/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.701342 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 25050
/proc/meminfo: memFree=1530392/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+1.50144 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1528072/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=3908 CPUtime=1.39
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 669 0 0 0 139 0 0 0 25 0 1 0 305198816 4001792 655 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 977 655 76 171 0 804 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9264

[startup+3.10162 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1526664/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=5096 CPUtime=2.99
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 994 0 0 0 299 0 0 0 25 0 1 0 305198816 5218304 980 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 1274 980 76 171 0 1101 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10452

[startup+6.302 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1524744/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=6620 CPUtime=6.19
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 1378 0 0 0 618 1 0 0 25 0 1 0 305198816 6778880 1364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 1655 1364 76 171 0 1482 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11976

[startup+12.7028 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1522504/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=8648 CPUtime=12.59
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 1875 0 0 0 1257 2 0 0 25 0 1 0 305198816 8855552 1861 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2162 1861 76 171 0 1989 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 14004

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1522184/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=8916 CPUtime=25.38
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 1926 0 0 0 2536 2 0 0 25 0 1 0 305198816 9129984 1912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2229 1912 76 171 0 2056 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 14272

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1522056/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=9056 CPUtime=50.98
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 1952 0 0 0 5095 3 0 0 25 0 1 0 305198816 9273344 1938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2264 1938 76 171 0 2091 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 14412

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1521736/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=9188 CPUtime=102.15
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 1998 0 0 0 10212 3 0 0 25 0 1 0 305198816 9408512 1984 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2297 1984 76 171 0 2124 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 14544

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1521544/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=9328 CPUtime=162.12
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2020 0 0 0 16208 4 0 0 25 0 1 0 305198816 9551872 2006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2332 2006 76 171 0 2159 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 14684

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1521288/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=9328 CPUtime=222.1
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2043 0 0 0 22205 5 0 0 25 0 1 0 305198816 9551872 2029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2332 2029 76 171 0 2159 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 14684

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1521032/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=9600 CPUtime=282.07
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2099 0 0 0 28202 5 0 0 25 0 1 0 305198816 9830400 2085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2400 2085 76 171 0 2227 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 14956

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1520776/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=9752 CPUtime=342.05
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2118 0 0 0 34199 6 0 0 25 0 1 0 305198816 9986048 2104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2438 2104 76 171 0 2265 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 15108

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1520648/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=9752 CPUtime=402.02
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2131 0 0 0 40196 6 0 0 25 0 1 0 305198816 9986048 2117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2438 2117 76 171 0 2265 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 15108

[startup+462.302 s]

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

[pid=25056] ppid=25050 vsize=10020 CPUtime=521.98
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2184 0 0 0 52191 7 0 0 25 0 1 0 305198816 10260480 2170 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2505 2170 76 171 0 2332 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 15376

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1519880/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=10316 CPUtime=581.96
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2250 0 0 0 58189 7 0 0 25 0 1 0 305198816 10563584 2236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2579 2236 76 171 0 2406 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 15672

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1519496/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=10456 CPUtime=641.93
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2311 0 0 0 64186 7 0 0 25 0 1 0 305198816 10706944 2297 1992294400 134512640 135215339 4294956240 18446744073709551615 134532784 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2614 2297 76 171 0 2441 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 15812

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1519112/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=10720 CPUtime=701.91
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2381 0 0 0 70184 7 0 0 25 0 1 0 305198816 10977280 2367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2680 2367 76 171 0 2507 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 16076

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1519048/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=10860 CPUtime=761.9
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2391 0 0 0 76182 8 0 0 25 0 1 0 305198816 11120640 2377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2715 2377 76 171 0 2542 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 16216

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1518856/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=10860 CPUtime=821.87
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2408 0 0 0 82179 8 0 0 25 0 1 0 305198816 11120640 2394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2715 2394 76 171 0 2542 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 16216

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1518728/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=11004 CPUtime=881.85
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2450 0 0 0 88177 8 0 0 25 0 1 0 305198816 11268096 2436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2751 2436 76 171 0 2578 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 16360

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1518472/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=11160 CPUtime=941.84
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2481 0 0 0 94175 9 0 0 25 0 1 0 305198816 11427840 2467 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2790 2467 76 171 0 2617 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 16516

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1518344/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=11160 CPUtime=1001.82
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2487 0 0 0 100173 9 0 0 25 0 1 0 305198816 11427840 2473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2790 2473 76 171 0 2617 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 16516

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1517896/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=11584 CPUtime=1061.79
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2572 0 0 0 106170 9 0 0 25 0 1 0 305198816 11862016 2558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2896 2558 76 171 0 2723 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 16940

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1517768/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=11584 CPUtime=1121.77
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2579 0 0 0 112168 9 0 0 25 0 1 0 305198816 11862016 2565 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2896 2565 76 171 0 2723 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 16940

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1517512/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=11724 CPUtime=1181.75
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2609 0 0 0 118165 10 0 0 25 0 1 0 305198816 12005376 2595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2931 2595 76 171 0 2758 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 17080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1517512/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=11724 CPUtime=1199.95
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2609 0 0 0 119985 10 0 0 25 0 1 0 305198816 12005376 2595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2931 2595 76 171 0 2758 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 17080

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

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

[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25056
/proc/meminfo: memFree=1517512/2055920 swapFree=4179688/4192956
[pid=25050] ppid=25048 vsize=5356 CPUtime=0.07
/proc/25050/stat : 25050 (SatELiteGTI) S 25048 25050 24821 0 -1 4194304 336 760 0 0 0 0 7 0 16 0 1 0 305198807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25050/statm: 1339 239 197 169 0 50 0
[pid=25056] ppid=25050 vsize=11724 CPUtime=1199.95
/proc/25056/stat : 25056 (minisat_static) R 25050 25050 24821 0 -1 4194304 2609 0 0 0 119985 10 0 0 25 0 1 0 305198816 12005376 2595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25056/statm: 2931 2595 76 171 0 2758 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 17080

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.93
CPU system time (s): 0.118981
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 17080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3736
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= 32
involuntary context switches= 3294

runsolver used 1.08283 second user time and 3.43148 second system time

The end

Launcher Data

Begin job on node73 at 2009-05-20 00:21:05
IDJOB=1832311
IDBENCH=24712
IDSOLVER=671
FILE ID=node73/1832311-1242771665
PBS_JOBID= 9322230
Free space on /tmp= 66104 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest05/QG/QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832311-1242771665/watcher-1832311-1242771665 -o /tmp/evaluation-result-1832311-1242771665/solver-1832311-1242771665 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832311-1242771665.cnf

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

MD5SUM BENCH= 56dc474305bf6e6817771129f995c737
RANDOM SEED=1184020153

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1530872 kB
Buffers:         14076 kB
Cached:         464860 kB
SwapCached:       7740 kB
Active:         289796 kB
Inactive:       198324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1530872 kB
SwapTotal:     4192956 kB
SwapFree:      4179688 kB
Dirty:            1944 kB
Writeback:           0 kB
Mapped:          13936 kB
Slab:            22988 kB
Committed_AS:  1082224 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66104 MiB
End job on node73 at 2009-05-20 00:41:07