Trace number 1820429

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 r-2009-03-18? (TO) 1200.07 1200.02

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-26.cnf
MD5SUM0cf155110f71a43081221b427d368ee8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables21734
Number of clauses79766
Sum of the clauses size211276
Maximum clause length225
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 236916
Number of clauses of size 338055
Number of clauses of size 43077
Number of clauses of size 5748
Number of clauses of size over 5969

Solver Data

0.00/0.00	c Parsing...
0.00/0.08	c ==============================================================================
0.00/0.08	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.08	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.08	c ==============================================================================
0.00/0.08	c |         0 |   78817   208932 |   23645       0        0     nan |  0.000 % |
0.01/0.50	c |         0 |   60741   195331 |      --       0       --      -- |     --   | -18076/-13601
0.01/0.50	c ==============================================================================
0.01/0.50	c Result  :   #vars: 11150   #clauses: 60741   #literals: 195331
0.01/0.50	c CPU time:   0.47 s
0.01/0.50	c ==============================================================================
0.01/0.57	c This is MiniSat 2.0 beta
0.01/0.57	c WARNING: for repeatability, setting FPU to use double precision
0.01/0.57	c ============================[ Problem Statistics ]=============================
0.01/0.57	c |                                                                             |
0.01/0.57	c |  Number of variables:  11150                                                |
0.01/0.57	c |  Number of clauses:    60741                                                |
0.58/0.61	c |  Parsing time:         0.03         s                                       |
0.58/0.61	c ============================[ Search Statistics ]==============================
0.58/0.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.58/0.61	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.58/0.61	c ===============================================================================
0.58/0.61	c |         0 |   11150    60741   195331 |    20247        0    nan |  0.000 % |
0.58/0.69	c |       512 |   11150    60741   195331 |    20247      512     12 |  0.000 % |
0.58/0.82	c |      1024 |   11150    60741   195331 |    20247     1024     13 |  0.000 % |
0.58/0.89	c |      1536 |   11150    60741   195331 |    20247     1536     13 |  0.000 % |
0.58/1.09	c |      2561 |   11150    60741   195331 |    20247     2561     18 |  0.001 % |
1.12/1.18	c |      3073 |   11150    60741   195331 |    20247     3073     28 |  0.000 % |
1.22/1.24	c |      3585 |   11150    60741   195331 |    20247     3585     26 |  0.000 % |
1.32/1.39	c |      4609 |   11150    60741   195331 |    20247     4609     23 |  0.001 % |
1.72/1.75	c |      6657 |   11150    60741   195331 |    20247     6657     21 |  0.000 % |
1.72/1.78	c |      7169 |   11150    60741   195331 |    20247     7169     20 |  0.000 % |
1.82/1.87	c |      7681 |   11150    60741   195331 |    20247     7681     20 |  0.000 % |
2.02/2.03	c |      8705 |   11150    60741   195331 |    20247     8705     19 |  0.000 % |
2.12/2.12	c |      9218 |   11150    60741   195331 |    20247     9218     19 |  0.000 % |
2.12/2.20	c |      9731 |   11150    60741   195331 |    20247     9731     18 |  0.000 % |
2.32/2.32	c |     10755 |   11150    60741   195331 | 2147483647    10755     18 |  0.000 % |
2.52/2.57	c |     12804 |   11150    60741   195331 | 2147483647    12804     24 |  0.000 % |
3.22/3.29	c |     16902 |   11150    60741   195331 | 2147483647    16902     23 |  0.000 % |
3.32/3.37	c |     17416 |   11150    60741   195331 | 2147483647    17416     22 |  0.000 % |
3.42/3.43	c |     17930 |   11150    60741   195331 | 2147483647    17930     22 |  0.000 % |
3.62/3.63	c |     18954 |   11150    60741   195331 | 2147483647    18954     22 |  0.000 % |
3.62/3.70	c |     19466 |   11150    60741   195331 | 2147483647    19466     22 |  0.000 % |
3.72/3.77	c |     19980 |   11150    60741   195331 | 2147483647    19980     22 |  0.000 % |
3.82/3.86	c |     21004 |   11150    60741   195331 | 2147483647    21004     22 |  0.000 % |
4.22/4.21	c |     23052 |   11150    60741   195331 | 2147483647    23052     25 |  0.001 % |
4.22/4.30	c |     23564 |   11150    60741   195331 | 2147483647    23564     24 |  0.001 % |
4.32/4.40	c |     24076 |   11150    60741   195331 | 2147483647    24076     25 |  0.001 % |
4.52/4.59	c |     25101 |   11150    60741   195331 | 2147483647    25101     25 |  0.000 % |
4.62/4.69	c |     25614 |   11150    60741   195331 | 2147483647    25614     25 |  0.000 % |
4.72/4.72	c |     26128 |   11150    60741   195331 | 2147483647    26128     25 |  0.000 % |
4.82/4.85	c |     27155 |   11150    60741   195331 | 2147483647    27155     26 |  0.000 % |
5.12/5.12	c |     29203 |   11150    60741   195331 | 2147483647    29203     25 |  0.000 % |
5.82/5.82	c |     33300 |   11150    60741   195331 | 2147483647    33300     25 |  0.000 % |
7.22/7.26	c |     41492 |   11150    60741   195331 | 2147483647    41492     25 |  0.000 % |
7.32/7.34	c |     42004 |   11150    60741   195331 | 2147483647    42004     25 |  0.000 % |
7.42/7.46	c |     42516 |   11150    60741   195331 | 2147483647    42516     25 |  0.000 % |
7.72/7.80	c |     43540 |   11150    60741   195331 | 2147483647    43540     26 |  0.000 % |
7.92/7.93	c |     44054 |   11150    60741   195331 | 2147483647    44054     26 |  0.001 % |
8.02/8.09	c |     44566 |   11150    60741   195331 | 2147483647    44566     26 |  0.001 % |
8.42/8.46	c |     45591 |   11150    60741   195331 | 2147483647    45591     27 |  0.000 % |
8.82/8.81	c |     47640 |   11150    60741   195331 | 2147483647    47640     27 |  0.000 % |
8.82/8.90	c |     48154 |   11150    60741   195331 | 2147483647    48154     27 |  0.000 % |
8.92/8.98	c |     48666 |   11150    60741   195331 | 2147483647    48666     27 |  0.000 % |
9.22/9.25	c |     49690 |   11150    60741   195331 | 2147483647    49690     27 |  0.000 % |
9.32/9.34	c |     50205 |   11150    60741   195331 | 2147483647    50205     27 |  0.000 % |
9.32/9.39	c |     50717 |   11150    60741   195331 | 2147483647    50717     27 |  0.000 % |
9.52/9.53	c |     51744 |   11150    60741   195331 | 2147483647    51744     27 |  0.000 % |
9.72/9.75	c |     53792 |   11150    60741   195331 | 2147483647    53792     27 |  0.000 % |
10.22/10.22	c |     57888 |   11150    60741   195331 | 2147483647    57888     27 |  0.000 % |
10.22/10.28	c |     58401 |   11150    60741   195331 | 2147483647    58401     27 |  0.000 % |
10.32/10.35	c |     58913 |   11150    60741   195331 | 2147483647    58913     27 |  0.000 % |
10.52/10.56	c |     59937 |   11150    60741   195331 | 2147483647    59937     28 |  0.000 % |
10.62/10.63	c |     60450 |   11150    60741   195331 | 2147483647    60450     28 |  0.000 % |
10.72/10.79	c |     60963 |   11150    60741   195331 | 2147483647    60963     27 |  0.000 % |
11.02/11.03	c |     61987 |   11150    60741   195331 | 2147483647    61987     27 |  0.000 % |
11.52/11.56	c |     64035 |   11150    60741   195331 | 2147483647    64035     27 |  0.000 % |
11.82/11.86	c |     64547 |   11150    60741   195331 | 2147483647    64547     28 |  0.001 % |
11.92/12.00	c |     65059 |   11150    60741   195331 | 2147483647    65059     28 |  0.000 % |
12.32/12.32	c |     66083 |   11150    60741   195331 | 2147483647    66083     29 |  0.001 % |
12.42/12.50	c |     66595 |   11150    60741   195331 | 2147483647    66595     29 |  0.001 % |
12.62/12.68	c |     67108 |   11150    60741   195331 | 2147483647    67108     29 |  0.001 % |
12.82/12.86	c |     68132 |   11150    60741   195331 | 2147483647    68132     30 |  0.000 % |
13.42/13.46	c |     70180 |   11150    60741   195331 | 2147483647    70180     30 |  0.000 % |
14.32/14.33	c |     74277 |   11150    60741   195331 | 2147483647    74277     31 |  0.000 % |
16.02/16.07	c |     82471 |   11150    60741   195331 | 2147483647    82471     31 |  0.000 % |
22.02/22.07	c |     98855 |   11150    60741   195331 |    90000    87460     33 |  0.000 % |
22.22/22.25	c |     99369 |   11150    60741   195331 |    90000    87974     33 |  0.000 % |
22.62/22.63	c |     99881 |   11150    60741   195331 |    90000    88486     33 |  0.000 % |
22.82/22.81	c |    100906 |   11150    60741   195331 | 2147483647    89511     33 |  0.000 % |
23.02/23.03	c |    101419 |   11150    60741   195331 | 2147483647    90024     33 |  0.000 % |
23.42/23.42	c |    101933 |   11150    60741   195331 | 2147483647    90538     33 |  0.000 % |
23.82/23.82	c |    102957 |   11150    60741   195331 | 2147483647    91562     33 |  0.000 % |
24.62/24.63	c |    105005 |   11150    60741   195331 | 2147483647    93610     33 |  0.000 % |
24.92/24.91	c |    105517 |   11150    60741   195331 | 2147483647    94122     33 |  0.001 % |
25.12/25.16	c |    106030 |   11150    60741   195331 | 2147483647    94635     33 |  0.001 % |
25.52/25.55	c |    107054 |   11150    60741   195331 | 2147483647    95659     34 |  0.001 % |
25.72/25.74	c |    107568 |   11150    60741   195331 | 2147483647    96173     34 |  0.001 % |
25.92/25.91	c |    108080 |   11150    60741   195331 | 2147483647    96685     34 |  0.000 % |
26.42/26.41	c |    109105 |   11150    60741   195331 | 2147483647    97710     34 |  0.001 % |
27.42/27.47	c |    111156 |   11150    60741   195331 |    98606    99761     34 |  0.000 % |
29.42/29.49	c |    115252 |   11150    60741   195331 |    98606    93881     34 |  0.000 % |
29.72/29.79	c |    115766 |   11150    60741   195331 |    98606    94395     34 |  0.000 % |
30.12/30.14	c |    116278 |   11150    60741   195331 |    98606    94907     34 |  0.000 % |
30.42/30.50	c |    117302 |   11150    60741   195331 |    98606    95931     34 |  0.000 % |
30.82/30.85	c |    117814 |   11150    60741   195331 |    98606    96443     34 |  0.000 % |
31.02/31.06	c |    118327 |   11150    60741   195331 |    98606    96956     34 |  0.000 % |
31.32/31.31	c |    119353 |   11150    60741   195331 |    98606    97982     34 |  0.000 % |
32.03/32.05	c |    121401 |   11150    60741   195331 |    98629   100030     34 |  0.000 % |
32.32/32.32	c |    121914 |   11150    60741   195331 |    98629    76731     35 |  0.000 % |
32.52/32.52	c |    122427 |   11150    60741   195331 |    98629    77244     34 |  0.000 % |
32.72/32.74	c |    123452 |   11150    60741   195331 |    98629    78269     34 |  0.000 % |
32.82/32.81	c |    123967 |   11150    60741   195331 |    98629    78784     34 |  0.000 % |
32.92/32.92	c |    124479 |   11150    60741   195331 |    98629    79296     34 |  0.000 % |
33.13/33.13	c |    125503 |   11150    60741   195331 |    98629    80320     35 |  0.000 % |
34.02/34.08	c |    127553 |   11150    60741   195331 |    98629    82370     36 |  0.000 % |
36.82/36.87	c |    131650 |   11150    60741   195331 |    84817    86467     41 |  0.000 % |
39.82/39.83	c |    139844 |   11150    60741   195331 |    84817    80455     40 |  0.000 % |
40.02/40.04	c |    140358 |   11150    60741   195331 | 2147483647    80969     40 |  0.000 % |
40.22/40.21	c |    140870 |   11150    60741   195331 | 2147483647    81481     40 |  0.000 % |
40.62/40.64	c |    141895 |   11150    60741   195331 | 2147483647    82506     40 |  0.000 % |
40.83/40.85	c |    142407 |   11150    60741   195331 | 2147483647    83018     40 |  0.000 % |
41.02/41.06	c |    142919 |   11150    60741   195331 | 2147483647    83530     40 |  0.000 % |
41.32/41.32	c |    143943 |   11150    60741   195331 | 2147483647    84554     40 |  0.000 % |
42.32/42.33	c |    145992 |   11150    60741   195331 | 2147483647    86603     40 |  0.000 % |
42.52/42.60	c |    146506 |   11150    60741   195331 | 2147483647    87117     40 |  0.000 % |
42.82/42.82	c |    147018 |   11150    60741   195331 | 2147483647    87629     41 |  0.001 % |
43.32/43.34	c |    148043 |   11150    60741   195331 | 2147483647    88654     41 |  0.001 % |
43.52/43.52	c |    148555 |   11150    60741   195331 | 2147483647    89166     41 |  0.000 % |
43.92/43.94	c |    149067 |   11150    60741   195331 | 2147483647    89678     42 |  0.001 % |
44.62/44.70	c |    150092 |   11150    60741   195331 |    90611    90703     42 |  0.001 % |
45.52/45.59	c |    152141 |   11150    60741   195331 |    90611    78159     44 |  0.000 % |
47.72/47.78	c |    156237 |   11150    60741   195331 |    90611    82255     45 |  0.000 % |
47.92/48.00	c |    156749 |   11150    60741   195331 |    90611    82767     45 |  0.000 % |
48.12/48.16	c |    157262 |   11150    60741   195331 |    90611    83280     45 |  0.000 % |
48.53/48.54	c |    158286 |   11150    60741   195331 |    90611    84304     45 |  0.000 % |
48.72/48.73	c |    158799 |   11150    60741   195331 |    90611    84817     45 |  0.000 % |
48.92/48.97	c |    159311 |   11150    60741   195331 |    90611    85329     45 |  0.000 % |
49.52/49.54	c |    160335 |   11150    60741   195331 | 2147483647    86353     44 |  0.000 % |
50.32/50.37	c |    162383 |   11150    60741   195331 | 2147483647    88401     44 |  0.000 % |
50.62/50.63	c |    162896 |   11150    60741   195331 | 2147483647    88914     44 |  0.000 % |
50.82/50.83	c |    163408 |   11150    60741   195331 | 2147483647    89426     44 |  0.000 % |
51.02/51.01	c |    164433 |   11150    60741   195331 | 2147483647    90451     44 |  0.000 % |
51.22/51.20	c |    164946 |   11150    60741   195331 | 2147483647    90964     44 |  0.000 % |
51.22/51.28	c |    165458 |   11150    60741   195331 | 2147483647    91476     44 |  0.000 % |
51.72/51.72	c |    166482 |   11150    60741   195331 | 2147483647    92500     44 |  0.000 % |
52.22/52.24	c |    168530 |   11150    60741   195331 | 2147483647    94548     44 |  0.000 % |
54.82/54.87	c |    172627 |   11150    60741   195331 |    96018    83722     45 |  0.001 % |
56.82/56.86	c |    180821 |   11150    60741   195331 |    91095    91916     44 |  0.000 % |
62.92/62.92	c |    197207 |   11150    60741   195331 | 2147483647    97245     46 |  0.000 % |
80.93/80.96	c |    229980 |   11150    60741   195331 |    80558    63041     56 |  0.000 % |
81.13/81.21	c |    230492 |   11150    60741   195331 |    63061    42451     58 |  0.000 % |
81.33/81.32	c |    231004 |   11150    60741   195331 |    63061    42963     58 |  0.000 % |
81.53/81.51	c |    232028 |   11150    60741   195331 |    63061    43987     58 |  0.001 % |
81.73/81.74	c |    232541 |   11150    60741   195331 |    63061    44500     57 |  0.001 % |
81.83/81.88	c |    233053 |   11150    60741   195331 |    63061    45012     58 |  0.000 % |
82.13/82.21	c |    234078 |   11150    60741   195331 |    63061    46037     57 |  0.001 % |
82.63/82.67	c |    236127 |   11150    60741   195331 |    63061    48086     56 |  0.001 % |
82.73/82.81	c |    236639 |   11150    60741   195331 |    63061    48598     56 |  0.000 % |
82.93/83.01	c |    237151 |   11150    60741   195331 |    63061    49110     55 |  0.000 % |
83.33/83.38	c |    238175 |   11150    60741   195331 |    63061    50134     55 |  0.000 % |
83.43/83.46	c |    238687 |   11150    60741   195331 |    63061    50646     55 |  0.000 % |
83.63/83.66	c |    239199 |   11150    60741   195331 |    63061    51158     54 |  0.000 % |
83.83/83.86	c |    240224 |   11150    60741   195331 |    51959    52183     54 |  0.000 % |
84.33/84.32	c |    242272 |   11150    60741   195331 |    51959    48008     55 |  0.000 % |
85.13/85.12	c |    246369 |   11150    60741   195331 |    51959    52105     53 |  0.000 % |
85.23/85.30	c |    246881 |   11150    60741   195331 |    51959    47407     55 |  0.000 % |
85.33/85.41	c |    247393 |   11150    60741   195331 |    51959    47919     55 |  0.000 % |
85.63/85.64	c |    248417 |   11150    60741   195331 |    51959    48943     54 |  0.000 % |
85.73/85.78	c |    248931 |   11150    60741   195331 |    51959    49457     54 |  0.000 % |
85.93/85.92	c |    249444 |   11150    60741   195331 |    51959    49970     53 |  0.000 % |
86.03/86.08	c |    250468 |   11150    60741   195331 | 2147483647    50994     53 |  0.000 % |
86.33/86.35	c |    252516 |   11150    60741   195331 | 2147483647    53042     52 |  0.000 % |
86.53/86.53	c |    253029 |   11150    60741   195331 | 2147483647    53555     53 |  0.001 % |
86.63/86.63	c |    253541 |   11150    60741   195331 | 2147483647    54067     53 |  0.001 % |
87.03/87.01	c |    254566 |   11150    60741   195331 | 2147483647    55092     52 |  0.001 % |
87.13/87.20	c |    255079 |   11150    60741   195331 | 2147483647    55605     53 |  0.000 % |
87.33/87.35	c |    255591 |   11150    60741   195331 | 2147483647    56117     53 |  0.001 % |
87.63/87.70	c |    256615 |   11150    60741   195331 | 2147483647    57141     53 |  0.001 % |
88.33/88.40	c |    258664 |   11150    60741   195331 | 2147483647    59190     52 |  0.000 % |
89.13/89.12	c |    262761 |   11150    60741   195331 | 2147483647    63287     51 |  0.000 % |
90.93/90.94	c |    270953 |   11150    60741   195331 | 2147483647    71479     48 |  0.000 % |
91.13/91.18	c |    271466 |   11150    60741   195331 | 2147483647    71992     48 |  0.000 % |
91.33/91.40	c |    271979 |   11150    60741   195331 | 2147483647    72505     48 |  0.000 % |
91.63/91.68	c |    273003 |   11150    60741   195331 | 2147483647    73529     48 |  0.000 % |
91.93/91.91	c |    273516 |   11150    60741   195331 | 2147483647    74042     48 |  0.000 % |
92.33/92.31	c |    274029 |   11150    60741   195331 | 2147483647    74555     49 |  0.000 % |
92.63/92.65	c |    275054 |   11150    60741   195331 | 2147483647    75580     49 |  0.000 % |
93.83/93.87	c |    277103 |   11150    60741   195331 | 2147483647    77629     51 |  0.001 % |
94.03/94.06	c |    277615 |   11150    60741   195331 | 2147483647    78141     51 |  0.000 % |
94.43/94.43	c |    278127 |   11150    60741   195331 | 2147483647    78653     51 |  0.000 % |
94.93/94.93	c |    279151 |   11150    60741   195331 | 2147483647    79677     50 |  0.000 % |
95.13/95.18	c |    279663 |   11150    60741   195331 | 2147483647    80189     50 |  0.000 % |
95.33/95.38	c |    280175 |   11150    60741   195331 | 2147483647    80701     50 |  0.000 % |
95.63/95.66	c |    281200 |   11150    60741   195331 | 2147483647    81726     50 |  0.000 % |
96.43/96.50	c |    283249 |   11150    60741   195331 | 2147483647    83775     50 |  0.000 % |
98.03/98.04	c |    287346 |   11150    60741   195331 | 2147483647    87872     49 |  0.000 % |
98.23/98.29	c |    287859 |   11150    60741   195331 | 2147483647    88385     49 |  0.000 % |
98.43/98.43	c |    288372 |   11150    60741   195331 | 2147483647    88898     49 |  0.000 % |
98.83/98.83	c |    289397 |   11150    60741   195331 | 2147483647    89923     48 |  0.000 % |
99.03/99.04	c |    289909 |   11150    60741   195331 | 2147483647    90435     48 |  0.000 % |
99.13/99.14	c |    290421 |   11150    60741   195331 |    90526    90947     48 |  0.000 % |
99.53/99.59	c |    291446 |   11150    60741   195331 |    90526    80940     41 |  0.000 % |
100.63/100.68	c |    293494 |   11150    60741   195331 |    90526    82988     41 |  0.000 % |
101.03/101.04	c |    294006 |   11150    60741   195331 |    90526    83500     41 |  0.000 % |
101.33/101.38	c |    294519 |   11150    60741   195331 |    90526    84013     42 |  0.001 % |
101.73/101.77	c |    295543 |   11150    60741   195331 |    90526    85037     42 |  0.000 % |
102.03/102.03	c |    296060 |   11150    60741   195331 |    90526    85554     42 |  0.001 % |
102.33/102.37	c |    296572 |   11150    60741   195331 |    90526    86066     42 |  0.000 % |
102.63/102.69	c |    297597 |   11150    60741   195331 |    90526    87091     43 |  0.000 % |
103.33/103.33	c |    299645 |   11150    60741   195331 |    90526    89139     43 |  0.001 % |
104.43/104.44	c |    303741 |   11150    60741   195331 | 2147483647    93235     42 |  0.000 % |
107.73/107.75	c |    311934 |   11150    60741   195331 | 2147483647   101428     42 |  0.000 % |
114.83/114.86	c |    328319 |   11150    60741   195331 | 2147483647   117813     43 |  0.000 % |
115.03/115.04	c |    328831 |   11150    60741   195331 | 2147483647   118325     43 |  0.000 % |
115.13/115.21	c |    329343 |   11150    60741   195331 | 2147483647   118837     43 |  0.000 % |
115.43/115.46	c |    330369 |   11150    60741   195331 |   119495   119863     43 |  0.000 % |
115.83/115.86	c |    330884 |   11150    60741   195331 |   119495   100537     38 |  0.000 % |
116.03/116.09	c |    331396 |   11150    60741   195331 |   119495   101049     38 |  0.000 % |
116.53/116.53	c |    332420 |   11150    60741   195331 |   119495   102073     38 |  0.000 % |
117.43/117.46	c |    334471 |   11150    60741   195331 |   119495   104124     38 |  0.000 % |
117.63/117.66	c |    334983 |   11150    60741   195331 |   119495   104636     38 |  0.000 % |
117.83/117.84	c |    335495 |   11150    60741   195331 |   119495   105148     38 |  0.000 % |
118.33/118.31	c |    336519 |   11150    60741   195331 |   119495   106172     38 |  0.000 % |
118.53/118.53	c |    337031 |   11150    60741   195331 |   119495   106684     39 |  0.000 % |
118.73/118.81	c |    337543 |   11150    60741   195331 |   119495   107196     39 |  0.000 % |
119.33/119.32	c |    338567 |   11150    60741   195331 |   119495   108220     39 |  0.001 % |
120.43/120.50	c |    340615 |   11150    60741   195331 |   109654   110268     39 |  0.000 % |
122.23/122.25	c |    344711 |   11150    60741   195331 |   109654   101175     38 |  0.000 % |
122.43/122.43	c |    345224 |   11150    60741   195331 |   109654   101688     38 |  0.000 % |
122.43/122.48	c |    345737 |   11150    60741   195331 |   109654   102201     38 |  0.000 % |
122.83/122.88	c |    346762 |   11150    60741   195331 |   109654   103226     38 |  0.000 % |
122.93/122.99	c |    347274 |   11150    60741   195331 |   109654   103738     38 |  0.000 % |
123.13/123.17	c |    347786 |   11150    60741   195331 |   109654   104250     38 |  0.000 % |
123.63/123.64	c |    348810 |   11150    60741   195331 |   109654   105274     38 |  0.000 % |
124.13/124.15	c |    350860 |   11150    60741   195331 |   106465    96279     37 |  0.000 % |
124.23/124.27	c |    351374 |   11150    60741   195331 |   106465    96793     37 |  0.000 % |
124.43/124.41	c |    351887 |   11150    60741   195331 |   106465    97306     37 |  0.000 % |
124.83/124.89	c |    352911 |   11150    60741   195331 |   106465    98330     38 |  0.000 % |
125.03/125.09	c |    353426 |   11150    60741   195331 |   106465    98845     38 |  0.000 % |
125.22/125.24	c |    353939 |   11150    60741   195331 |   106465    99358     38 |  0.000 % |
125.62/125.69	c |    354963 |   11150    60741   195331 |   106465   100382     38 |  0.000 % |
126.52/126.57	c |    357015 |   11150    60741   195331 |   106465   102434     40 |  0.000 % |
129.32/129.35	c |    361112 |   11150    60741   195331 |   105419   106531     43 |  0.001 % |
132.02/132.10	c |    369304 |   11150    60741   195331 |   105419   101230     40 |  0.000 % |
132.32/132.33	c |    369817 |   11150    60741   195331 |   105419   101743     40 |  0.000 % |
132.52/132.52	c |    370329 |   11150    60741   195331 |   101926   102255     40 |  0.000 % |
132.92/132.97	c |    371357 |   11150    60741   195331 |   101926    86216     40 |  0.000 % |
133.12/133.17	c |    371871 |   11150    60741   195331 |   101926    86730     40 |  0.000 % |
133.22/133.26	c |    372383 |   11150    60741   195331 |   101926    87242     40 |  0.000 % |
133.62/133.62	c |    373409 |   11150    60741   195331 |   101926    88268     40 |  0.000 % |
133.92/134.01	c |    375458 |   11150    60741   195331 |   101926    90317     39 |  0.000 % |
134.12/134.14	c |    375971 |   11150    60741   195331 |   101926    90830     39 |  0.000 % |
134.22/134.24	c |    376483 |   11150    60741   195331 |   101926    91342     39 |  0.000 % |
134.52/134.52	c |    377508 |   11150    60741   195331 |   101926    92367     39 |  0.000 % |
134.72/134.72	c |    378020 |   11150    60741   195331 |   101926    92879     40 |  0.001 % |
134.92/134.92	c |    378532 |   11150    60741   195331 |   101926    93391     40 |  0.001 % |
135.32/135.31	c |    379558 |   11150    60741   195331 |   101926    94417     40 |  0.000 % |
136.72/136.72	c |    381606 |   11150    60741   195331 |    94860    96465     42 |  0.001 % |
137.92/137.96	c |    385702 |   11150    60741   195331 |    94860    89064     42 |  0.000 % |
138.12/138.16	c |    386215 |   11150    60741   195331 |    94860    89577     42 |  0.000 % |
138.22/138.25	c |    386727 |   11150    60741   195331 |    94860    90089     42 |  0.000 % |
138.62/138.67	c |    387752 |   11150    60741   195331 |    94860    91114     42 |  0.000 % |
138.73/138.79	c |    388265 |   11150    60741   195331 |    94860    91627     42 |  0.000 % |
138.92/139.01	c |    388779 |   11150    60741   195331 |    94860    92141     42 |  0.000 % |
139.22/139.22	c |    389803 |   11150    60741   195331 |    94860    93165     42 |  0.000 % |
140.22/140.28	c |    391854 |   11150    60741   195331 |    93363    75046     40 |  0.000 % |
140.42/140.41	c |    392367 |   11150    60741   195331 |    93363    75559     40 |  0.000 % |
140.72/140.73	c |    392882 |   11150    60741   195331 |    93363    76074     40 |  0.000 % |
141.12/141.11	c |    393906 |   11150    60741   195331 |    93363    77098     40 |  0.000 % |
141.32/141.33	c |    394418 |   11150    60741   195331 |    93363    77610     40 |  0.000 % |
141.42/141.50	c |    394931 |   11150    60741   195331 |    93363    78123     40 |  0.000 % |
141.82/141.87	c |    395955 |   11150    60741   195331 |    93363    79147     40 |  0.000 % |
142.12/142.21	c |    398005 |   11150    60741   195331 |    93363    81197     39 |  0.000 % |
143.72/143.80	c |    402101 |   11150    60741   195331 |    83194    85293     41 |  0.000 % |
147.53/147.59	c |    410293 |   11150    60741   195331 | 2147483647    83810     41 |  0.000 % |
157.22/157.23	c |    426678 |   11150    60741   195331 |    93517    66014     37 |  0.000 % |
178.62/178.67	c |    459447 |   11150    60741   195331 | 2147483647    84528     50 |  0.000 % |
208.32/208.34	c |    524984 |   11150    60741   195331 |    42777    30754     45 |  0.000 % |
208.42/208.51	c |    525499 |   11150    60741   195331 |    42777    31269     45 |  0.000 % |
208.52/208.59	c |    526011 |   11150    60741   195331 |    42777    31781     45 |  0.000 % |
208.72/208.72	c |    527035 |   11150    60741   195331 |    42777    32805     44 |  0.001 % |
208.82/208.83	c |    527547 |   11150    60741   195331 |    42777    33317     44 |  0.001 % |
208.92/208.93	c |    528060 |   11150    60741   195331 |    42777    33830     43 |  0.001 % |
209.12/209.13	c |    529085 |   11150    60741   195331 |    42777    34855     43 |  0.001 % |
209.42/209.50	c |    531133 |   11150    60741   195331 |    35770    27589     39 |  0.000 % |
209.52/209.59	c |    531646 |   11150    60741   195331 |    35770    28102     39 |  0.000 % |
209.62/209.68	c |    532160 |   11150    60741   195331 |    35770    28616     38 |  0.000 % |
209.82/209.88	c |    533184 |   11150    60741   195331 |    35770    29640     37 |  0.000 % |
209.92/210.00	c |    533696 |   11150    60741   195331 |    35770    30152     37 |  0.000 % |
210.02/210.06	c |    534209 |   11150    60741   195331 |    35770    30665     37 |  0.000 % |
210.32/210.38	c |    535234 |   11150    60741   195331 |    35770    31690     36 |  0.000 % |
210.62/210.64	c |    537283 |   11150    60741   195331 |    35770    33739     35 |  0.000 % |
211.62/211.71	c |    541379 |   11150    60741   195331 | 2147483647    37835     35 |  0.000 % |
211.82/211.84	c |    541891 |   11150    60741   195331 | 2147483647    38347     35 |  0.000 % |
211.92/212.00	c |    542403 |   11150    60741   195331 | 2147483647    38859     34 |  0.000 % |
212.32/212.34	c |    543429 |   11150    60741   195331 | 2147483647    39885     34 |  0.000 % |
212.42/212.45	c |    543943 |   11150    60741   195331 | 2147483647    40399     34 |  0.000 % |
212.52/212.55	c |    544456 |   11150    60741   195331 | 2147483647    40912     34 |  0.000 % |
212.72/212.76	c |    545480 |   11150    60741   195331 | 2147483647    41936     34 |  0.000 % |
213.02/213.06	c |    547529 |   11150    60741   195331 | 2147483647    43985     34 |  0.000 % |
213.12/213.18	c |    548041 |   11150    60741   195331 | 2147483647    44497     34 |  0.000 % |
213.32/213.33	c |    548553 |   11150    60741   195331 | 2147483647    45009     34 |  0.000 % |
213.52/213.57	c |    549577 |   11150    60741   195331 | 2147483647    46033     35 |  0.001 % |
213.62/213.69	c |    550089 |   11150    60741   195331 | 2147483647    46545     34 |  0.000 % |
213.72/213.77	c |    550601 |   11150    60741   195331 | 2147483647    47057     35 |  0.000 % |
214.12/214.13	c |    551626 |   11150    60741   195331 | 2147483647    48082     35 |  0.000 % |
214.52/214.58	c |    553674 |   11150    60741   195331 | 2147483647    50130     35 |  0.000 % |
215.82/215.89	c |    557771 |   11150    60741   195331 | 2147483647    54227     35 |  0.000 % |
217.22/217.24	c |    565965 |   11150    60741   195331 |    56457    52057     32 |  0.000 % |
217.32/217.35	c |    566479 |   11150    60741   195331 |    56457    52571     32 |  0.000 % |
217.52/217.52	c |    566992 |   11150    60741   195331 |    56457    53084     32 |  0.000 % |
217.72/217.80	c |    568016 |   11150    60741   195331 |    56457    54108     32 |  0.000 % |
217.92/217.92	c |    568529 |   11150    60741   195331 |    56457    54621     33 |  0.000 % |
218.02/218.06	c |    569041 |   11150    60741   195331 |    56457    55133     34 |  0.001 % |
218.42/218.44	c |    570066 |   11150    60741   195331 | 2147483647    56158     34 |  0.000 % |
218.82/218.87	c |    572114 |   11150    60741   195331 | 2147483647    58206     34 |  0.000 % |
218.92/218.95	c |    572627 |   11150    60741   195331 | 2147483647    58719     34 |  0.000 % |
219.02/219.10	c |    573139 |   11150    60741   195331 | 2147483647    59231     34 |  0.000 % |
219.22/219.23	c |    574163 |   11150    60741   195331 | 2147483647    60255     34 |  0.000 % |
219.22/219.28	c |    574676 |   11150    60741   195331 | 2147483647    60768     34 |  0.000 % |
219.42/219.46	c |    575189 |   11150    60741   195331 | 2147483647    61281     34 |  0.000 % |
219.52/219.58	c |    576214 |   11150    60741   195331 | 2147483647    62306     34 |  0.000 % |
220.32/220.33	c |    578263 |   11150    60741   195331 | 2147483647    64355     34 |  0.000 % |
221.22/221.29	c |    582359 |   11150    60741   195331 | 2147483647    68451     35 |  0.000 % |
221.42/221.47	c |    582871 |   11150    60741   195331 | 2147483647    68963     35 |  0.000 % |
221.62/221.67	c |    583383 |   11150    60741   195331 | 2147483647    69475     35 |  0.000 % |
221.92/221.99	c |    584408 |   11150    60741   195331 | 2147483647    70500     35 |  0.000 % |
222.12/222.12	c |    584920 |   11150    60741   195331 | 2147483647    71012     35 |  0.000 % |
222.32/222.33	c |    585433 |   11150    60741   195331 | 2147483647    71525     35 |  0.000 % |
222.42/222.50	c |    586457 |   11150    60741   195331 | 2147483647    72549     35 |  0.000 % |
223.22/223.23	c |    588505 |   11150    60741   195331 | 2147483647    74597     35 |  0.000 % |
223.42/223.42	c |    589017 |   11150    60741   195331 | 2147483647    75109     35 |  0.001 % |
223.52/223.58	c |    589529 |   11150    60741   195331 | 2147483647    75621     35 |  0.001 % |
223.92/223.93	c |    590554 |   11150    60741   195331 | 2147483647    76646     35 |  0.001 % |
224.12/224.16	c |    591066 |   11150    60741   195331 | 2147483647    77158     35 |  0.001 % |
224.22/224.28	c |    591578 |   11150    60741   195331 | 2147483647    77670     35 |  0.001 % |
224.62/224.64	c |    592603 |   11150    60741   195331 | 2147483647    78695     36 |  0.001 % |
225.02/225.08	c |    594652 |   11150    60741   195331 | 2147483647    80744     36 |  0.000 % |
227.12/227.18	c |    598749 |   11150    60741   195331 | 2147483647    84841     40 |  0.000 % |
229.32/229.39	c |    606941 |   11150    60741   195331 | 2147483647    93033     42 |  0.000 % |
235.82/235.85	c |    623326 |   11150    60741   195331 |    92003    70342     45 |  0.000 % |
236.02/236.03	c |    623838 |   11150    60741   195331 |    92003    70854     45 |  0.000 % |
236.12/236.19	c |    624351 |   11150    60741   195331 |    92003    71367     45 |  0.000 % |
236.32/236.40	c |    625377 |   11150    60741   195331 |    92003    72393     45 |  0.000 % |
236.52/236.52	c |    625890 |   11150    60741   195331 |    92003    72906     44 |  0.000 % |
236.72/236.72	c |    626402 |   11150    60741   195331 |    92003    73418     44 |  0.000 % |
237.02/237.04	c |    627426 |   11150    60741   195331 |    92003    74442     44 |  0.000 % |
237.62/237.63	c |    629474 |   11150    60741   195331 |    92003    76490     44 |  0.000 % |
237.82/237.90	c |    629986 |   11150    60741   195331 |    92003    77002     44 |  0.000 % |
238.02/238.10	c |    630498 |   11150    60741   195331 |    77017    64705     44 |  0.009 % |
238.42/238.44	c |    631524 |   11149    60736   195321 |    77017    65730     44 |  0.009 % |
238.52/238.54	c |    632037 |   11149    60736   195321 |    77017    66243     44 |  0.009 % |
238.92/238.92	c |    632550 |   11149    60736   195321 |    77017    66756     45 |  0.009 % |
239.12/239.21	c |    633575 |   11149    60736   195321 |    77017    67781     45 |  0.009 % |
239.72/239.81	c |    635623 |   11149    60736   195321 |    77017    69829     48 |  0.010 % |
241.02/241.02	c |    639721 |   11149    60736   195321 |    77017    73927     47 |  0.009 % |
241.22/241.23	c |    640233 |   11149    60736   195321 |    74209    74439     47 |  0.009 % |
241.42/241.46	c |    640745 |   11149    60736   195321 |    74209    66288     48 |  0.009 % |
241.92/241.92	c |    641771 |   11149    60736   195321 |    74209    67314     48 |  0.009 % |
242.02/242.07	c |    642283 |   11149    60736   195321 |    74209    67826     47 |  0.009 % |
242.22/242.28	c |    642795 |   11149    60736   195321 |    74209    68338     47 |  0.009 % |
242.52/242.51	c |    643820 |   11149    60736   195321 |    74209    69363     47 |  0.009 % |
243.12/243.20	c |    645868 |   11149    60736   195321 |    74209    71411     47 |  0.009 % |
243.32/243.38	c |    646381 |   11149    60736   195321 |    74209    71924     47 |  0.009 % |
243.52/243.53	c |    646894 |   11149    60736   195321 |    74209    72437     47 |  0.009 % |
243.62/243.71	c |    647918 |   11149    60736   195321 |    74209    73461     46 |  0.009 % |
243.82/243.87	c |    648430 |   11149    60736   195321 |    74209    73973     46 |  0.009 % |
243.92/243.99	c |    648942 |   11149    60736   195321 |    74209    74485     46 |  0.009 % |
244.22/244.28	c |    649967 |   11149    60736   195321 |    74209    68062     47 |  0.009 % |
245.82/245.85	c |    652015 |   11149    60736   195321 | 2147483647    70110     47 |  0.009 % |
247.02/247.10	c |    656111 |   11149    60736   195321 | 2147483647    74206     50 |  0.010 % |
249.82/249.89	c |    664304 |   11149    60736   195321 |    78095    74442     46 |  0.009 % |
250.01/250.10	c |    664816 |   11149    60736   195321 |    78095    74954     46 |  0.009 % |
250.21/250.28	c |    665328 |   11149    60736   195321 |    78095    75466     46 |  0.009 % |
250.51/250.54	c |    666352 |   11149    60736   195321 |    78095    76490     46 |  0.009 % |
250.61/250.67	c |    666867 |   11149    60736   195321 |    78095    77005     46 |  0.009 % |
250.81/250.81	c |    667379 |   11149    60736   195321 |    78095    77517     46 |  0.009 % |
250.92/250.98	c |    668404 |   11149    60736   195321 |    78095    78542     45 |  0.009 % |
251.61/251.70	c |    670452 |   11149    60736   195321 |    70684    71133     43 |  0.009 % |
251.81/251.90	c |    670964 |   11149    60736   195321 |    70684    60801     42 |  0.009 % |
251.91/252.00	c |    671476 |   11149    60736   195321 |    70684    61313     42 |  0.009 % |
252.21/252.28	c |    672501 |   11149    60736   195321 |    70684    62338     42 |  0.009 % |
252.41/252.46	c |    673013 |   11149    60736   195321 |    70684    62850     42 |  0.009 % |
252.71/252.73	c |    673525 |   11149    60736   195321 |    70684    63362     43 |  0.010 % |
252.81/252.87	c |    674550 |   11149    60736   195321 |    70684    64387     43 |  0.009 % |
253.31/253.35	c |    676598 |   11149    60736   195321 |    70684    66435     42 |  0.009 % |
254.41/254.46	c |    680697 |   11149    60736   195321 | 2147483647    70534     44 |  0.010 % |
254.51/254.53	c |    681209 |   11149    60736   195321 | 2147483647    71046     43 |  0.009 % |
254.61/254.60	c |    681721 |   11149    60736   195321 | 2147483647    71558     43 |  0.009 % |
254.71/254.73	c |    682745 |   11149    60736   195321 | 2147483647    72582     43 |  0.009 % |
254.81/254.85	c |    683258 |   11149    60736   195321 | 2147483647    73095     43 |  0.009 % |
254.91/254.97	c |    683771 |   11149    60736   195321 | 2147483647    73608     43 |  0.009 % |
255.21/255.22	c |    684797 |   11149    60736   195321 | 2147483647    74634     43 |  0.009 % |
255.91/255.95	c |    686848 |   11149    60736   195321 | 2147483647    76685     43 |  0.009 % |
256.11/256.18	c |    687360 |   11149    60736   195321 | 2147483647    77197     42 |  0.009 % |
256.42/256.46	c |    687872 |   11149    60736   195321 | 2147483647    77709     42 |  0.009 % |
256.71/256.79	c |    688899 |   11149    60736   195321 | 2147483647    78736     42 |  0.009 % |
256.81/256.89	c |    689412 |   11149    60736   195321 | 2147483647    79249     42 |  0.009 % |
257.01/257.09	c |    689928 |   11149    60736   195321 | 2147483647    79765     42 |  0.009 % |
257.61/257.61	c |    690952 |   11149    60736   195321 |    79837    72720     42 |  0.009 % |
258.31/258.32	c |    693000 |   11149    60736   195321 |    79837    74768     42 |  0.009 % |
259.91/259.99	c |    697096 |   11149    60736   195321 |    79837    78864     44 |  0.010 % |
264.71/264.78	c |    705288 |   11149    60736   195321 |    81768    77513     43 |  0.010 % |
272.51/272.56	c |    721673 |   11149    60736   195321 |    75139    76811     41 |  0.009 % |
284.41/284.40	c |    754442 |   11149    60736   195321 | 2147483647    81287     46 |  0.009 % |
284.61/284.64	c |    754954 |   11149    60736   195321 | 2147483647    81799     46 |  0.009 % |
284.81/284.83	c |    755467 |   11149    60736   195321 | 2147483647    82312     46 |  0.009 % |
285.11/285.13	c |    756492 |   11149    60736   195321 | 2147483647    83337     46 |  0.009 % |
285.21/285.29	c |    757004 |   11149    60736   195321 | 2147483647    83849     46 |  0.009 % |
285.31/285.40	c |    757516 |   11149    60736   195321 | 2147483647    84361     46 |  0.009 % |
286.01/286.07	c |    758541 |   11149    60736   195321 | 2147483647    85386     48 |  0.010 % |
286.71/286.73	c |    760590 |   11149    60736   195321 | 2147483647    87435     48 |  0.010 % |
287.01/287.05	c |    761102 |   11149    60736   195321 | 2147483647    87947     48 |  0.009 % |
287.22/287.26	c |    761617 |   11149    60736   195321 | 2147483647    88462     48 |  0.009 % |
287.51/287.51	c |    762641 |   11149    60736   195321 | 2147483647    89486     48 |  0.009 % |
287.61/287.66	c |    763153 |   11149    60736   195321 | 2147483647    89998     48 |  0.009 % |
287.81/287.81	c |    763665 |   11149    60736   195321 | 2147483647    90510     48 |  0.009 % |
288.21/288.22	c |    764691 |   11149    60736   195321 | 2147483647    91536     48 |  0.009 % |
288.71/288.77	c |    766743 |   11149    60736   195321 | 2147483647    93588     47 |  0.009 % |
289.71/289.74	c |    770839 |   11149    60736   195321 | 2147483647    97684     48 |  0.009 % |
289.81/289.82	c |    771351 |   11149    60736   195321 | 2147483647    98196     48 |  0.009 % |
289.91/289.98	c |    771864 |   11149    60736   195321 | 2147483647    98709     48 |  0.009 % |
290.21/290.21	c |    772888 |   11149    60736   195321 | 2147483647    99733     47 |  0.009 % |
290.31/290.39	c |    773401 |   11149    60736   195321 | 2147483647   100246     47 |  0.009 % |
290.52/290.54	c |    773914 |   11149    60736   195321 | 2147483647   100759     47 |  0.009 % |
291.01/291.00	c |    774939 |   11149    60736   195321 | 2147483647   101784     47 |  0.009 % |
291.91/291.93	c |    776988 |   11149    60736   195321 | 2147483647   103833     47 |  0.009 % |
292.01/292.00	c |    777500 |   11149    60736   195321 | 2147483647   104345     47 |  0.009 % |
292.41/292.41	c |    778014 |   11149    60736   195321 | 2147483647   104859     47 |  0.009 % |
293.01/293.02	c |    779039 |   11149    60736   195321 | 2147483647   105884     48 |  0.010 % |
293.21/293.22	c |    779551 |   11149    60736   195321 | 2147483647   106396     48 |  0.010 % |
293.51/293.55	c |    780063 |   11149    60736   195321 |   106849   106908     48 |  0.010 % |
294.01/294.04	c |    781088 |   11149    60736   195321 |   106849    91968     46 |  0.009 % |
294.71/294.77	c |    783136 |   11149    60736   195321 |   106849    94016     46 |  0.010 % |
296.21/296.26	c |    787232 |   11149    60736   195321 |   106849    98112     46 |  0.009 % |
299.22/299.26	c |    795424 |   11149    60736   195321 |   100881    92587     44 |  0.009 % |
299.42/299.47	c |    795937 |   11149    60736   195321 |   100881    93100     44 |  0.009 % |
299.52/299.57	c |    796449 |   11149    60736   195321 |   100881    93612     44 |  0.009 % |
300.02/300.03	c |    797473 |   11149    60736   195321 |   100881    94636     44 |  0.009 % |
300.12/300.13	c |    797986 |   11149    60736   195321 |   100881    95149     44 |  0.009 % |
300.32/300.39	c |    798500 |   11149    60736   195321 |   100881    95663     44 |  0.009 % |
300.72/300.71	c |    799524 |   11149    60736   195321 |   100881    96687     45 |  0.009 % |
301.72/301.76	c |    801572 |   11149    60736   195321 |    97163    98735     46 |  0.010 % |
302.12/302.12	c |    802084 |   11149    60736   195321 |    97163    82942     42 |  0.010 % |
302.22/302.31	c |    802597 |   11149    60736   195321 |    97163    83455     42 |  0.010 % |
302.72/302.78	c |    803624 |   11149    60736   195321 |    97163    84482     43 |  0.009 % |
302.92/302.96	c |    804136 |   11149    60736   195321 |    97163    84994     43 |  0.009 % |
303.12/303.12	c |    804651 |   11149    60736   195321 |    97163    85509     43 |  0.009 % |
303.42/303.44	c |    805675 |   11149    60736   195321 |    97163    86533     43 |  0.009 % |
303.82/303.84	c |    807723 |   11149    60736   195321 |    97163    88581     43 |  0.009 % |
304.52/304.59	c |    811819 |   11149    60736   195321 |    90859    92677     44 |  0.009 % |
304.72/304.78	c |    812332 |   11149    60736   195321 |    90859    79971     43 |  0.009 % |
304.82/304.90	c |    812845 |   11149    60736   195321 |    90859    80484     43 |  0.009 % |
305.12/305.14	c |    813869 |   11149    60736   195321 |    90859    81508     43 |  0.009 % |
305.32/305.38	c |    814382 |   11149    60736   195321 |    90859    82021     42 |  0.009 % |
305.52/305.57	c |    814894 |   11149    60736   195321 |    90859    82533     42 |  0.009 % |
305.82/305.87	c |    815919 |   11149    60736   195321 |    90859    83558     42 |  0.009 % |
306.52/306.55	c |    817970 |   11149    60736   195321 |    90859    85609     43 |  0.009 % |
306.72/306.74	c |    818484 |   11149    60736   195321 |    90859    86123     43 |  0.009 % |
306.92/306.92	c |    818996 |   11149    60736   195321 |    90859    86635     43 |  0.009 % |
307.22/307.25	c |    820020 |   11149    60736   195321 |    87640    87659     43 |  0.009 % |
307.42/307.48	c |    820532 |   11149    60736   195321 |    87640    79213     41 |  0.010 % |
307.62/307.61	c |    821045 |   11149    60736   195321 |    87640    79726     41 |  0.010 % |
308.02/308.05	c |    822069 |   11149    60736   195321 |    87640    80750     41 |  0.010 % |
308.62/308.67	c |    824119 |   11149    60736   195321 |    87640    82800     42 |  0.009 % |
309.82/309.85	c |    828217 |   11149    60736   195321 |    87640    86898     42 |  0.009 % |
312.62/312.70	c |    836409 |   11149    60736   195321 |    88682    85922     41 |  0.009 % |
317.72/317.75	c |    852794 |   11149    60736   195321 |    80217    62180     34 |  0.009 % |
317.82/317.83	c |    853306 |   11149    60736   195321 |    80217    62692     34 |  0.009 % |
317.92/317.94	c |    853818 |   11149    60736   195321 |    80217    63204     34 |  0.009 % |
318.22/318.28	c |    854846 |   11149    60736   195321 |    80217    64232     34 |  0.009 % |
318.32/318.39	c |    855358 |   11149    60736   195321 |    80217    64744     34 |  0.009 % |
318.52/318.57	c |    855872 |   11149    60736   195321 |    80217    65258     34 |  0.009 % |
318.92/318.98	c |    856897 |   11149    60736   195321 |    80217    66283     34 |  0.009 % |
319.32/319.33	c |    858947 |   11149    60736   195321 |    80217    68333     33 |  0.009 % |
319.42/319.50	c |    859461 |   11149    60736   195321 |    80217    68847     33 |  0.009 % |
319.52/319.61	c |    859974 |   11149    60736   195321 |    80217    69360     33 |  0.009 % |
319.82/319.91	c |    860998 |   11149    60736   195321 |    69386    59329     31 |  0.009 % |
320.02/320.04	c |    861511 |   11149    60736   195321 |    69386    59842     31 |  0.009 % |
320.22/320.24	c |    862024 |   11149    60736   195321 |    69386    60355     31 |  0.010 % |
320.42/320.48	c |    863048 |   11149    60736   195321 |    69386    61379     32 |  0.009 % |
321.12/321.12	c |    865098 |   11149    60736   195321 |    69386    63429     33 |  0.009 % |
322.32/322.40	c |    869197 |   11149    60736   195321 |    69386    67528     34 |  0.010 % |
322.52/322.58	c |    869709 |   11149    60736   195321 |    69386    68040     34 |  0.009 % |
322.62/322.66	c |    870221 |   11149    60736   195321 | 2147483647    68552     34 |  0.009 % |
323.02/323.02	c |    871247 |   11149    60736   195321 | 2147483647    69578     34 |  0.009 % |
323.12/323.14	c |    871759 |   11149    60736   195321 | 2147483647    70090     34 |  0.009 % |
323.32/323.38	c |    872272 |   11149    60736   195321 | 2147483647    70603     34 |  0.009 % |
323.62/323.69	c |    873296 |   11149    60736   195321 | 2147483647    71627     34 |  0.009 % |
324.22/324.23	c |    875345 |   11149    60736   195321 | 2147483647    73676     34 |  0.009 % |
324.32/324.32	c |    875857 |   11149    60736   195321 | 2147483647    74188     34 |  0.009 % |
324.42/324.51	c |    876369 |   11149    60736   195321 | 2147483647    74700     34 |  0.009 % |
324.82/324.89	c |    877396 |   11149    60736   195321 | 2147483647    75727     34 |  0.009 % |
324.92/324.97	c |    877908 |   11149    60736   195321 | 2147483647    76239     34 |  0.009 % |
325.22/325.26	c |    878420 |   11149    60736   195321 | 2147483647    76751     34 |  0.009 % |
325.32/325.38	c |    879445 |   11149    60736   195321 | 2147483647    77776     34 |  0.009 % |
326.42/326.44	c |    881494 |   11149    60736   195321 |    78332    71249     31 |  0.009 % |
327.52/327.58	c |    885591 |   11149    60736   195321 |    78332    75346     32 |  0.009 % |
330.42/330.43	c |    893783 |   11149    60736   195321 |    79755    75354     35 |  0.009 % |
330.62/330.63	c |    894296 |   11149    60736   195321 |    79755    75867     35 |  0.009 % |
330.72/330.77	c |    894810 |   11149    60736   195321 |    79755    76381     35 |  0.009 % |
331.22/331.30	c |    895834 |   11149    60736   195321 |    79755    77405     35 |  0.009 % |
331.42/331.48	c |    896347 |   11149    60736   195321 |    79755    77918     35 |  0.009 % |
331.62/331.68	c |    896859 |   11149    60736   195321 |    79755    78430     35 |  0.009 % |
332.22/332.25	c |    897883 |   11149    60736   195321 |    79755    79454     35 |  0.009 % |
333.32/333.33	c |    899932 |   11149    60736   195321 |    79755    72102     35 |  0.009 % |
333.42/333.42	c |    900444 |   11149    60736   195321 |    72170    72614     35 |  0.009 % |
333.62/333.63	c |    900956 |   11149    60736   195321 |    72170    64798     35 |  0.009 % |
333.82/333.88	c |    901981 |   11149    60736   195321 |    72170    65823     35 |  0.009 % |
333.92/333.96	c |    902493 |   11149    60736   195321 |    72170    66335     35 |  0.009 % |
334.02/334.01	c |    903006 |   11149    60736   195321 |    72170    66848     35 |  0.009 % |
334.62/334.67	c |    904034 |   11149    60736   195321 |    72170    67876     36 |  0.010 % |
335.22/335.29	c |    906084 |   11149    60736   195321 |    72170    69926     37 |  0.009 % |
338.62/338.66	c |    910183 |   11149    60736   195321 | 2147483647    74025     44 |  0.010 % |
338.72/338.75	c |    910696 |   11149    60736   195321 | 2147483647    74538     44 |  0.009 % |
338.82/338.88	c |    911208 |   11149    60736   195321 | 2147483647    75050     44 |  0.009 % |
339.12/339.12	c |    912233 |   11149    60736   195321 | 2147483647    76075     44 |  0.009 % |
339.22/339.29	c |    912745 |   11149    60736   195321 | 2147483647    76587     43 |  0.009 % |
339.42/339.50	c |    913257 |   11149    60736   195321 | 2147483647    77099     43 |  0.009 % |
339.72/339.75	c |    914281 |   11149    60736   195321 | 2147483647    78123     43 |  0.009 % |
340.32/340.35	c |    916331 |   11149    60736   195321 | 2147483647    80173     43 |  0.009 % |
340.42/340.51	c |    916845 |   11149    60736   195321 | 2147483647    80687     43 |  0.009 % |
340.62/340.70	c |    917357 |   11149    60736   195321 | 2147483647    81199     43 |  0.009 % |
341.12/341.14	c |    918382 |   11149    60736   195321 | 2147483647    82224     43 |  0.009 % |
341.22/341.26	c |    918897 |   11149    60736   195321 | 2147483647    82739     42 |  0.009 % |
341.42/341.45	c |    919409 |   11149    60736   195321 | 2147483647    83251     42 |  0.009 % |
341.72/341.76	c |    920434 |   11149    60736   195321 |    83845    74869     43 |  0.009 % |
342.22/342.27	c |    922484 |   11149    60736   195321 |    83845    76919     43 |  0.009 % |
343.12/343.14	c |    926580 |   11149    60736   195321 |    83845    81015     43 |  0.009 % |
347.12/347.16	c |    934773 |   11149    60736   195321 |    84436    73249     45 |  0.010 % |
352.22/352.28	c |    951157 |   11149    60736   195321 | 2147483647    73472     45 |  0.009 % |
364.92/364.92	c |    983925 |   11149    60736   195321 |    73057    62527     49 |  0.009 % |
385.82/385.85	c |   1049462 |   11149    60736   195321 |    41566    42322     37 |  0.009 % |
435.33/435.38	c |   1180534 |   11149    60736   195321 |    59444    59978     54 |  0.009 % |
435.53/435.62	c |   1181046 |   11149    60736   195321 |    59444    49365     52 |  0.009 % |
435.73/435.72	c |   1181558 |   11149    60736   195321 |    59444    49877     51 |  0.009 % |
435.93/435.96	c |   1182583 |   11149    60736   195321 |    59444    50902     51 |  0.009 % |
436.13/436.15	c |   1183095 |   11149    60736   195321 |    59444    51414     51 |  0.009 % |
436.23/436.28	c |   1183607 |   11149    60736   195321 |    59444    51926     51 |  0.009 % |
436.53/436.52	c |   1184631 |   11149    60736   195321 |    59444    52950     50 |  0.009 % |
437.03/437.11	c |   1186681 |   11149    60736   195321 |    59444    55000     49 |  0.009 % |
437.13/437.19	c |   1187196 |   11149    60736   195321 |    59444    55515     48 |  0.009 % |
437.23/437.28	c |   1187708 |   11149    60736   195321 |    59444    56027     48 |  0.009 % |
437.43/437.50	c |   1188733 |   11149    60736   195321 |    59444    57052     48 |  0.009 % |
437.53/437.58	c |   1189246 |   11149    60736   195321 |    59444    57565     47 |  0.009 % |
437.63/437.70	c |   1189758 |   11149    60736   195321 |    59444    58077     47 |  0.009 % |
437.83/437.85	c |   1190782 |   11149    60736   195321 | 2147483647    59101     47 |  0.009 % |
437.93/437.99	c |   1192830 |   11149    60736   195321 | 2147483647    61149     46 |  0.009 % |
438.53/438.55	c |   1196928 |   11149    60736   195321 | 2147483647    65247     45 |  0.009 % |
438.63/438.68	c |   1197441 |   11149    60736   195321 | 2147483647    65760     44 |  0.009 % |
438.73/438.74	c |   1197956 |   11149    60736   195321 | 2147483647    66275     44 |  0.009 % |
439.03/439.06	c |   1198981 |   11149    60736   195321 | 2147483647    67300     44 |  0.009 % |
439.23/439.23	c |   1199495 |   11149    60736   195321 | 2147483647    67814     44 |  0.009 % |
439.23/439.30	c |   1200007 |   11149    60736   195321 | 2147483647    68326     43 |  0.009 % |
439.73/439.72	c |   1201031 |   11149    60736   195321 | 2147483647    69350     45 |  0.010 % |
440.03/440.07	c |   1203080 |   11149    60736   195321 | 2147483647    71399     45 |  0.009 % |
440.13/440.21	c |   1203592 |   11149    60736   195321 | 2147483647    71911     44 |  0.009 % |
440.33/440.40	c |   1204104 |   11149    60736   195321 | 2147483647    72423     45 |  0.009 % |
440.63/440.66	c |   1205128 |   11149    60736   195321 | 2147483647    73447     45 |  0.010 % |
440.73/440.77	c |   1205640 |   11149    60736   195321 | 2147483647    73959     44 |  0.009 % |
440.83/440.89	c |   1206153 |   11149    60736   195321 | 2147483647    74472     44 |  0.009 % |
441.03/441.09	c |   1207177 |   11149    60736   195321 | 2147483647    75496     44 |  0.009 % |
441.53/441.55	c |   1209225 |   11149    60736   195321 | 2147483647    77544     44 |  0.009 % |
442.23/442.30	c |   1213322 |   11149    60736   195321 | 2147483647    81641     43 |  0.009 % |
444.63/444.63	c |   1221515 |   11149    60736   195321 | 2147483647    89834     42 |  0.009 % |
444.83/444.85	c |   1222029 |   11149    60736   195321 | 2147483647    90348     42 |  0.010 % |
444.93/444.99	c |   1222541 |   11149    60736   195321 | 2147483647    90860     42 |  0.010 % |
445.33/445.33	c |   1223565 |   11149    60736   195321 | 2147483647    91884     42 |  0.009 % |
445.53/445.59	c |   1224077 |   11149    60736   195321 | 2147483647    92396     43 |  0.010 % |
445.73/445.76	c |   1224589 |   11149    60736   195321 | 2147483647    92908     43 |  0.010 % |
446.13/446.11	c |   1225613 |   11149    60736   195321 | 2147483647    93932     43 |  0.010 % |
446.43/446.47	c |   1227662 |   11149    60736   195321 | 2147483647    95981     43 |  0.009 % |
446.73/446.78	c |   1228174 |   11149    60736   195321 | 2147483647    96493     43 |  0.009 % |
446.83/446.90	c |   1228687 |   11149    60736   195321 | 2147483647    97006     42 |  0.009 % |
447.03/447.09	c |   1229711 |   11149    60736   195321 | 2147483647    98030     42 |  0.009 % |
447.23/447.30	c |   1230224 |   11149    60736   195321 | 2147483647    98543     42 |  0.009 % |
447.33/447.37	c |   1230736 |   11149    60736   195321 | 2147483647    99055     42 |  0.009 % |
447.43/447.48	c |   1231760 |   11149    60736   195321 | 2147483647   100079     42 |  0.009 % |
447.83/447.91	c |   1233808 |   11149    60736   195321 | 2147483647   102127     41 |  0.009 % |
448.83/448.86	c |   1237904 |   11149    60736   195321 | 2147483647   106223     41 |  0.009 % |
448.93/448.93	c |   1238416 |   11149    60736   195321 | 2147483647   106735     41 |  0.009 % |
449.03/449.05	c |   1238929 |   11149    60736   195321 | 2147483647   107248     41 |  0.009 % |
449.33/449.33	c |   1239953 |   11149    60736   195321 | 2147483647   108272     41 |  0.009 % |
449.53/449.52	c |   1240465 |   11149    60736   195321 | 2147483647   108784     41 |  0.009 % |
449.63/449.65	c |   1240978 |   11149    60736   195321 | 2147483647   109297     41 |  0.009 % |
449.83/449.87	c |   1242002 |   11149    60736   195321 | 2147483647   110321     41 |  0.009 % |
450.53/450.54	c |   1244051 |   11149    60736   195321 | 2147483647   112370     43 |  0.010 % |
450.73/450.73	c |   1244563 |   11149    60736   195321 | 2147483647   112882     43 |  0.010 % |
450.93/450.95	c |   1245075 |   11149    60736   195321 | 2147483647   113394     43 |  0.009 % |
451.33/451.34	c |   1246099 |   11149    60736   195321 | 2147483647   114418     43 |  0.009 % |
451.53/451.52	c |   1246611 |   11149    60736   195321 | 2147483647   114930     43 |  0.009 % |
451.73/451.80	c |   1247123 |   11149    60736   195321 | 2147483647   115442     43 |  0.009 % |
452.13/452.20	c |   1248147 |   11149    60736   195321 | 2147483647   116466     43 |  0.009 % |
452.73/452.72	c |   1250196 |   11149    60736   195321 |   118319   118515     43 |  0.009 % |
454.03/454.10	c |   1254292 |   11149    60736   195321 |   118319   108713     43 |  0.009 % |
456.33/456.37	c |   1262484 |   11149    60736   195321 |   114421    91179     34 |  0.009 % |
464.83/464.87	c |   1278868 |   11149    60736   195321 |    98696    92588     43 |  0.009 % |
465.03/465.03	c |   1279382 |   11149    60736   195321 |    98696    93102     43 |  0.009 % |
465.03/465.10	c |   1279894 |   11149    60736   195321 |    98696    93614     43 |  0.009 % |
465.33/465.41	c |   1280920 |   11149    60736   195321 |    93721    94640     43 |  0.009 % |
465.63/465.66	c |   1281433 |   11149    60736   195321 |    93721    75462     44 |  0.009 % |
465.83/465.83	c |   1281945 |   11149    60736   195321 |    93721    75974     44 |  0.009 % |
466.03/466.09	c |   1282969 |   11149    60736   195321 |    93721    76998     44 |  0.009 % |
466.63/466.65	c |   1285018 |   11149    60736   195321 |    93721    79047     44 |  0.009 % |
467.03/467.04	c |   1285530 |   11149    60736   195321 |    93721    79559     46 |  0.010 % |
467.13/467.16	c |   1286042 |   11149    60736   195321 |    93721    80071     45 |  0.009 % |
467.73/467.74	c |   1287066 |   11149    60736   195321 |    93721    81095     46 |  0.010 % |
467.93/467.93	c |   1287579 |   11149    60736   195321 |    93721    81608     46 |  0.010 % |
468.23/468.26	c |   1288091 |   11149    60736   195321 |    93721    82120     47 |  0.010 % |
468.43/468.51	c |   1289116 |   11149    60736   195321 |    93721    83145     47 |  0.009 % |
469.03/469.06	c |   1291164 |   11149    60736   195321 |    84031    85193     46 |  0.009 % |
469.73/469.80	c |   1295260 |   11149    60736   195321 |    84031    79256     47 |  0.009 % |
469.93/469.96	c |   1295772 |   11149    60736   195321 |    84031    79768     47 |  0.009 % |
470.23/470.25	c |   1296284 |   11149    60736   195321 |    84031    80280     47 |  0.009 % |
470.43/470.49	c |   1297308 |   11149    60736   195321 |    84031    81304     46 |  0.009 % |
470.63/470.68	c |   1297820 |   11149    60736   195321 |    84031    81816     46 |  0.009 % |
470.83/470.90	c |   1298332 |   11149    60736   195321 |    84031    82328     46 |  0.009 % |
471.23/471.26	c |   1299358 |   11149    60736   195321 |    84031    83354     46 |  0.009 % |
471.73/471.81	c |   1301406 |   11149    60736   195321 |    83996    76877     48 |  0.009 % |
471.83/471.90	c |   1301920 |   11149    60736   195321 |    83996    77391     48 |  0.009 % |
472.03/472.08	c |   1302432 |   11149    60736   195321 |    83996    77903     48 |  0.009 % |
472.33/472.37	c |   1303458 |   11149    60736   195321 |    83996    78929     48 |  0.009 % |
472.43/472.49	c |   1303970 |   11149    60736   195321 |    83996    79441     47 |  0.009 % |
472.73/472.72	c |   1304483 |   11149    60736   195321 |    83996    79954     47 |  0.009 % |
472.93/472.94	c |   1305508 |   11149    60736   195321 |    83996    80979     47 |  0.009 % |
473.43/473.47	c |   1307558 |   11149    60736   195321 |    83996    83029     48 |  0.009 % |
476.33/476.39	c |   1311654 |   11149    60736   195321 |    85471    87125     53 |  0.009 % |
478.64/478.64	c |   1319846 |   11149    60736   195321 |    85471    83589     51 |  0.009 % |
478.83/478.84	c |   1320358 |   11149    60736   195321 | 2147483647    84101     51 |  0.009 % |
478.93/479.01	c |   1320871 |   11149    60736   195321 | 2147483647    84614     51 |  0.009 % |
479.33/479.36	c |   1321895 |   11149    60736   195321 | 2147483647    85638     50 |  0.009 % |
479.53/479.51	c |   1322408 |   11149    60736   195321 | 2147483647    86151     50 |  0.009 % |
479.74/479.72	c |   1322921 |   11149    60736   195321 | 2147483647    86664     50 |  0.009 % |
479.83/479.89	c |   1323945 |   11149    60736   195321 | 2147483647    87688     50 |  0.009 % |
480.43/480.45	c |   1325994 |   11149    60736   195321 | 2147483647    89737     50 |  0.009 % |
480.53/480.58	c |   1326507 |   11149    60736   195321 | 2147483647    90250     50 |  0.009 % |
480.84/480.89	c |   1327019 |   11149    60736   195321 | 2147483647    90762     50 |  0.010 % |
481.53/481.61	c |   1328043 |   11149    60736   195321 | 2147483647    91786     50 |  0.010 % |
481.73/481.75	c |   1328555 |   11149    60736   195321 | 2147483647    92298     50 |  0.009 % |
482.23/482.21	c |   1329068 |   11149    60736   195321 | 2147483647    92811     51 |  0.010 % |
482.53/482.58	c |   1330092 |   11149    60736   195321 |    93743    93835     51 |  0.009 % |
483.33/483.36	c |   1332140 |   11149    60736   195321 |    93743    83821     52 |  0.010 % |
484.53/484.53	c |   1336236 |   11149    60736   195321 |    93743    87917     51 |  0.009 % |
484.63/484.71	c |   1336748 |   11149    60736   195321 |    93743    88429     51 |  0.009 % |
484.83/484.91	c |   1337260 |   11149    60736   195321 |    93743    88941     51 |  0.009 % |
485.24/485.30	c |   1338284 |   11149    60736   195321 |    93743    89965     50 |  0.009 % |
485.53/485.51	c |   1338797 |   11149    60736   195321 |    93743    90478     51 |  0.009 % |
485.73/485.74	c |   1339309 |   11149    60736   195321 |    93743    90990     50 |  0.009 % |
486.03/486.05	c |   1340334 |   11149    60736   195321 |    91681    92015     50 |  0.009 % |
486.53/486.53	c |   1342382 |   11149    60736   195321 |    91681    82605     44 |  0.009 % |
486.63/486.69	c |   1342894 |   11149    60736   195321 |    91681    83117     44 |  0.009 % |
486.83/486.83	c |   1343406 |   11149    60736   195321 |    91681    83629     44 |  0.009 % |
487.03/487.05	c |   1344430 |   11149    60736   195321 |    91681    84653     44 |  0.009 % |
487.13/487.14	c |   1344942 |   11149    60736   195321 |    91681    85165     44 |  0.009 % |
487.33/487.33	c |   1345454 |   11149    60736   195321 |    91681    85677     44 |  0.009 % |
487.63/487.63	c |   1346479 |   11149    60736   195321 |    91681    86702     44 |  0.009 % |
488.43/488.42	c |   1348527 |   11149    60736   195321 |    91681    88750     43 |  0.009 % |
489.83/489.83	c |   1352623 |   11149    60736   195321 |    90225    92846     45 |  0.010 % |
492.03/492.03	c |   1360815 |   11149    60736   195321 |    88457    89270     41 |  0.009 % |
499.03/499.10	c |   1377200 |   11149    60736   195321 |    88598    67536     33 |  0.009 % |
510.63/510.67	c |   1409969 |   11149    60736   195321 |    60636    51201     41 |  0.009 % |
510.73/510.77	c |   1410481 |   11149    60736   195321 |    51233    51713     41 |  0.009 % |
510.93/510.99	c |   1410994 |   11149    60736   195321 |    51233    35964     44 |  0.009 % |
511.13/511.12	c |   1412019 |   11149    60736   195321 |    51233    36989     44 |  0.009 % |
511.23/511.22	c |   1412531 |   11149    60736   195321 |    51233    37501     43 |  0.009 % |
511.33/511.33	c |   1413043 |   11149    60736   195321 |    51233    38013     43 |  0.009 % |
511.43/511.50	c |   1414067 |   11149    60736   195321 |    51233    39037     42 |  0.010 % |
511.73/511.77	c |   1416115 |   11149    60736   195321 |    51233    41085     42 |  0.010 % |
511.83/511.85	c |   1416628 |   11149    60736   195321 |    51233    41598     41 |  0.009 % |
511.93/511.97	c |   1417141 |   11149    60736   195321 |    51233    42111     41 |  0.009 % |
512.33/512.34	c |   1418166 |   11149    60736   195321 |    51233    43136     41 |  0.009 % |
512.43/512.46	c |   1418678 |   11149    60736   195321 |    51233    43648     40 |  0.009 % |
512.53/512.59	c |   1419190 |   11149    60736   195321 |    51233    44160     40 |  0.009 % |
512.83/512.84	c |   1420214 |   11149    60736   195321 | 2147483647    45184     39 |  0.009 % |
513.33/513.36	c |   1422262 |   11149    60736   195321 | 2147483647    47232     39 |  0.009 % |
513.93/514.00	c |   1426358 |   11149    60736   195321 | 2147483647    51328     38 |  0.009 % |
514.13/514.20	c |   1426870 |   11149    60736   195321 | 2147483647    51840     37 |  0.009 % |
514.33/514.32	c |   1427383 |   11149    60736   195321 | 2147483647    52353     37 |  0.009 % |
514.63/514.65	c |   1428408 |   11149    60736   195321 | 2147483647    53378     37 |  0.009 % |
514.73/514.75	c |   1428920 |   11149    60736   195321 | 2147483647    53890     37 |  0.009 % |
514.83/514.92	c |   1429432 |   11149    60736   195321 | 2147483647    54402     37 |  0.009 % |
515.13/515.18	c |   1430456 |   11149    60736   195321 | 2147483647    55426     37 |  0.009 % |
515.63/515.69	c |   1432506 |   11149    60736   195321 | 2147483647    57476     36 |  0.009 % |
515.73/515.80	c |   1433018 |   11149    60736   195321 | 2147483647    57988     37 |  0.010 % |
515.83/515.90	c |   1433531 |   11149    60736   195321 | 2147483647    58501     37 |  0.010 % |
516.23/516.22	c |   1434555 |   11149    60736   195321 | 2147483647    59525     37 |  0.010 % |
516.33/516.31	c |   1435067 |   11149    60736   195321 | 2147483647    60037     38 |  0.009 % |
516.43/516.46	c |   1435579 |   11149    60736   195321 | 2147483647    60549     38 |  0.010 % |
516.63/516.69	c |   1436604 |   11149    60736   195321 | 2147483647    61574     38 |  0.010 % |
517.14/517.19	c |   1438653 |   11148    60731   195311 | 2147483647    63621     37 |  0.018 % |
518.33/518.39	c |   1442752 |   11148    60731   195311 | 2147483647    67720     37 |  0.018 % |
521.54/521.58	c |   1450944 |   11148    60731   195311 |    74968    75912     38 |  0.018 % |
521.83/521.81	c |   1451458 |   11148    60731   195311 |    74968    60745     31 |  0.018 % |
522.03/522.02	c |   1451972 |   11148    60731   195311 |    74968    61259     31 |  0.018 % |
522.23/522.27	c |   1452996 |   11148    60731   195311 |    74968    62283     32 |  0.018 % |
522.33/522.36	c |   1453509 |   11148    60731   195311 |    74968    62796     31 |  0.018 % |
522.43/522.45	c |   1454022 |   11148    60731   195311 |    74968    63309     32 |  0.019 % |
522.73/522.72	c |   1455046 |   11148    60731   195311 |    74968    64333     33 |  0.019 % |
523.23/523.27	c |   1457094 |   11148    60731   195311 |    74968    66381     33 |  0.018 % |
523.44/523.44	c |   1457607 |   11148    60731   195311 |    74968    66894     34 |  0.018 % |
523.53/523.56	c |   1458119 |   11148    60731   195311 |    74968    67406     33 |  0.018 % |
523.94/523.97	c |   1459143 |   11148    60731   195311 |    74968    68430     33 |  0.018 % |
524.04/524.09	c |   1459658 |   11148    60731   195311 |    74968    68945     33 |  0.018 % |
524.24/524.25	c |   1460170 |   11148    60731   195311 |    69287    69457     33 |  0.018 % |
524.64/524.62	c |   1461194 |   11148    60731   195311 |    69287    63369     31 |  0.018 % |
525.34/525.35	c |   1463242 |   11148    60731   195311 |    69287    65417     31 |  0.018 % |
525.94/525.95	c |   1467338 |   11148    60731   195311 |    69287    69513     32 |  0.018 % |
526.14/526.15	c |   1467850 |   11148    60731   195311 |    69287    63074     32 |  0.018 % |
526.24/526.24	c |   1468362 |   11148    60731   195311 |    69287    63586     31 |  0.018 % |
526.54/526.56	c |   1469388 |   11148    60731   195311 |    69287    64612     31 |  0.018 % |
526.64/526.62	c |   1469900 |   11148    60731   195311 |    69287    65124     31 |  0.018 % |
526.74/526.75	c |   1470413 |   11148    60731   195311 | 2147483647    65637     31 |  0.018 % |
527.04/527.02	c |   1471439 |   11148    60731   195311 | 2147483647    66663     31 |  0.018 % |
527.74/527.76	c |   1473487 |   11148    60731   195311 | 2147483647    68711     32 |  0.018 % |
527.84/527.83	c |   1474001 |   11148    60731   195311 | 2147483647    69225     32 |  0.018 % |
528.04/528.03	c |   1474513 |   11148    60731   195311 | 2147483647    69737     32 |  0.018 % |
528.24/528.29	c |   1475538 |   11148    60731   195311 | 2147483647    70762     32 |  0.018 % |
528.44/528.44	c |   1476054 |   11148    60731   195311 | 2147483647    71278     32 |  0.019 % |
528.64/528.69	c |   1476566 |   11148    60731   195311 | 2147483647    71790     33 |  0.019 % |
528.84/528.90	c |   1477590 |   11148    60731   195311 | 2147483647    72814     33 |  0.019 % |
530.14/530.16	c |   1479639 |   11148    60731   195311 | 2147483647    74863     36 |  0.019 % |
531.24/531.24	c |   1483735 |   11148    60731   195311 | 2147483647    78959     36 |  0.018 % |
533.94/533.99	c |   1491927 |   11148    60731   195311 |    85225    71392     37 |  0.018 % |
538.34/538.35	c |   1508311 |   11148    60731   195311 | 2147483647    87776     45 |  0.018 % |
538.54/538.54	c |   1508825 |   11148    60731   195311 | 2147483647    88290     45 |  0.018 % |
538.64/538.71	c |   1509337 |   11148    60731   195311 | 2147483647    88802     45 |  0.018 % |
539.14/539.19	c |   1510362 |   11148    60731   195311 | 2147483647    89827     45 |  0.018 % |
539.44/539.43	c |   1510874 |   11148    60731   195311 | 2147483647    90339     45 |  0.018 % |
539.64/539.66	c |   1511386 |   11148    60731   195311 | 2147483647    90851     44 |  0.018 % |
540.04/540.11	c |   1512411 |   11148    60731   195311 | 2147483647    91876     44 |  0.018 % |
540.64/540.71	c |   1514460 |   11148    60731   195311 | 2147483647    93925     44 |  0.018 % |
540.84/540.92	c |   1514972 |   11148    60731   195311 | 2147483647    94437     44 |  0.018 % |
540.94/541.00	c |   1515484 |   11148    60731   195311 | 2147483647    94949     44 |  0.018 % |
541.74/541.72	c |   1516509 |   11148    60731   195311 | 2147483647    95974     44 |  0.018 % |
541.84/541.87	c |   1517021 |   11148    60731   195311 | 2147483647    96486     44 |  0.018 % |
542.14/542.18	c |   1517533 |   11148    60731   195311 | 2147483647    96998     45 |  0.019 % |
542.44/542.51	c |   1518558 |   11148    60731   195311 | 2147483647    98023     45 |  0.018 % |
543.64/543.65	c |   1520609 |   11148    60731   195311 |    99468   100074     47 |  0.019 % |
545.34/545.36	c |   1524707 |   11148    60731   195311 |    99468    88891     48 |  0.018 % |
545.64/545.64	c |   1525220 |   11148    60731   195311 |    99468    89404     48 |  0.018 % |
545.74/545.82	c |   1525732 |   11148    60731   195311 |    99468    89916     48 |  0.018 % |
546.04/546.10	c |   1526756 |   11148    60731   195311 |    99468    90940     48 |  0.018 % |
546.24/546.24	c |   1527268 |   11148    60731   195311 |    99468    91452     47 |  0.018 % |
546.44/546.45	c |   1527780 |   11148    60731   195311 |    99468    91964     47 |  0.018 % |
546.74/546.77	c |   1528806 |   11148    60731   195311 |    99468    92990     47 |  0.018 % |
547.34/547.33	c |   1530856 |   11148    60731   195311 |    94184    95040     47 |  0.018 % |
547.54/547.58	c |   1531369 |   11148    60731   195311 |    94184    80795     47 |  0.018 % |
547.74/547.78	c |   1531882 |   11148    60731   195311 |    94184    81308     47 |  0.018 % |
548.24/548.28	c |   1532906 |   11148    60731   195311 |    94184    82332     47 |  0.018 % |
548.44/548.48	c |   1533418 |   11148    60731   195311 |    94184    82844     47 |  0.018 % |
548.54/548.56	c |   1533930 |   11148    60731   195311 |    94184    83356     47 |  0.018 % |
548.84/548.84	c |   1534956 |   11148    60731   195311 |    94184    84382     46 |  0.018 % |
549.14/549.20	c |   1537005 |   11148    60731   195311 |    94184    86431     46 |  0.018 % |
551.74/551.77	c |   1541102 |   11148    60731   195311 |    89426    90528     48 |  0.019 % |
554.14/554.18	c |   1549296 |   11148    60731   195311 |    89426    83895     48 |  0.018 % |
554.24/554.27	c |   1549808 |   11148    60731   195311 |    89426    84407     47 |  0.018 % |
554.44/554.46	c |   1550320 |   11148    60731   195311 | 2147483647    84919     47 |  0.018 % |
554.84/554.87	c |   1551345 |   11148    60731   195311 | 2147483647    85944     47 |  0.018 % |
554.94/555.00	c |   1551858 |   11148    60731   195311 | 2147483647    86457     47 |  0.018 % |
555.14/555.18	c |   1552371 |   11148    60731   195311 | 2147483647    86970     47 |  0.018 % |
555.74/555.73	c |   1553397 |   11148    60731   195311 | 2147483647    87996     47 |  0.018 % |
556.34/556.37	c |   1555446 |   11148    60731   195311 | 2147483647    90045     47 |  0.018 % |
556.44/556.50	c |   1555958 |   11148    60731   195311 | 2147483647    90557     47 |  0.018 % |
556.74/556.74	c |   1556470 |   11148    60731   195311 | 2147483647    91069     47 |  0.018 % |
557.04/557.06	c |   1557495 |   11148    60731   195311 | 2147483647    92094     46 |  0.018 % |
557.24/557.27	c |   1558007 |   11148    60731   195311 | 2147483647    92606     46 |  0.018 % |
557.44/557.47	c |   1558520 |   11148    60731   195311 | 2147483647    93119     47 |  0.018 % |
557.84/557.85	c |   1559545 |   11148    60731   195311 | 2147483647    94144     46 |  0.019 % |
558.84/558.86	c |   1561593 |   11148    60731   195311 |    94599    96192     48 |  0.019 % |
560.34/560.37	c |   1565690 |   11148    60731   195311 |    94599    84358     49 |  0.018 % |
560.54/560.56	c |   1566205 |   11148    60731   195311 |    94599    84873     49 |  0.018 % |
560.74/560.73	c |   1566717 |   11148    60731   195311 |    94599    85385     49 |  0.018 % |
561.14/561.16	c |   1567741 |   11148    60731   195311 |    94599    86409     48 |  0.018 % |
561.24/561.27	c |   1568256 |   11148    60731   195311 |    94599    86924     48 |  0.018 % |
561.44/561.46	c |   1568769 |   11148    60731   195311 |    94599    87437     48 |  0.018 % |
561.84/561.83	c |   1569793 |   11148    60731   195311 |    94599    88461     48 |  0.018 % |
562.54/562.58	c |   1571842 |   11148    60731   195311 |    88668    90510     48 |  0.018 % |
562.74/562.79	c |   1572355 |   11148    60731   195311 |    88668    75838     46 |  0.018 % |
562.84/562.90	c |   1572868 |   11148    60731   195311 |    88668    76351     46 |  0.018 % |
563.04/563.11	c |   1573894 |   11148    60731   195311 |    88668    77377     46 |  0.018 % |
563.24/563.25	c |   1574407 |   11148    60731   195311 |    88668    77890     46 |  0.018 % |
563.34/563.40	c |   1574919 |   11148    60731   195311 |    88668    78402     46 |  0.018 % |
563.54/563.54	c |   1575943 |   11148    60731   195311 |    88668    79426     45 |  0.018 % |
564.34/564.40	c |   1577994 |   11148    60731   195311 |    88668    81477     45 |  0.018 % |
565.84/565.84	c |   1582090 |   11148    60731   195311 |    83483    85573     46 |  0.018 % |
568.54/568.55	c |   1590282 |   11148    60731   195311 |    83454    83735     52 |  0.019 % |
574.64/574.64	c |   1606667 |   11148    60731   195311 |    81577    69213     50 |  0.018 % |
583.64/583.69	c |   1639436 |   11148    60731   195311 | 2147483647    77420     47 |  0.018 % |
611.53/611.59	c |   1704972 |   11148    60731   195311 |    33709    26976     31 |  0.018 % |
611.63/611.65	c |   1705485 |   11148    60731   195311 |    33709    27489     31 |  0.018 % |
611.74/611.73	c |   1705998 |   11148    60731   195311 |    33709    28002     30 |  0.018 % |
611.83/611.84	c |   1707023 |   11148    60731   195311 |    33709    29027     31 |  0.018 % |
611.93/611.92	c |   1707537 |   11148    60731   195311 |    33709    29541     31 |  0.019 % |
611.93/611.97	c |   1708049 |   11148    60731   195311 |    33709    30053     31 |  0.018 % |
612.23/612.22	c |   1709074 |   11148    60731   195311 |    33709    31078     31 |  0.018 % |
612.53/612.55	c |   1711122 |   11148    60731   195311 |    32005    33126     32 |  0.018 % |
612.63/612.67	c |   1711634 |   11148    60731   195311 |    32005    29142     30 |  0.018 % |
612.73/612.74	c |   1712147 |   11148    60731   195311 |    32005    29655     30 |  0.018 % |
612.93/612.91	c |   1713173 |   11148    60731   195311 |    32005    30681     29 |  0.018 % |
612.93/612.97	c |   1713686 |   11148    60731   195311 |    32005    31194     29 |  0.018 % |
613.03/613.06	c |   1714200 |   11148    60731   195311 |    32005    31708     29 |  0.018 % |
613.13/613.16	c |   1715224 |   11148    60731   195311 |    32005    29485     28 |  0.018 % |
613.73/613.72	c |   1717272 |   11148    60731   195311 |    32005    31533     30 |  0.018 % |
614.43/614.41	c |   1721370 |   11148    60731   195311 | 2147483647    32373     28 |  0.018 % |
614.53/614.53	c |   1721883 |   11148    60731   195311 | 2147483647    32886     28 |  0.018 % |
614.63/614.63	c |   1722396 |   11148    60731   195311 | 2147483647    33399     28 |  0.018 % |
614.83/614.87	c |   1723422 |   11148    60731   195311 | 2147483647    34425     28 |  0.018 % |
614.93/614.97	c |   1723936 |   11148    60731   195311 | 2147483647    34939     27 |  0.018 % |
615.04/615.02	c |   1724448 |   11148    60731   195311 | 2147483647    35451     27 |  0.018 % |
615.13/615.19	c |   1725472 |   11148    60731   195311 | 2147483647    36475     27 |  0.018 % |
615.53/615.54	c |   1727520 |   11148    60731   195311 | 2147483647    38523     28 |  0.018 % |
615.63/615.64	c |   1728032 |   11148    60731   195311 | 2147483647    39035     28 |  0.018 % |
615.73/615.78	c |   1728545 |   11148    60731   195311 | 2147483647    39548     29 |  0.019 % |
616.14/616.15	c |   1729570 |   11148    60731   195311 | 2147483647    40573     32 |  0.019 % |
616.23/616.27	c |   1730086 |   11148    60731   195311 | 2147483647    41089     32 |  0.018 % |
616.33/616.40	c |   1730601 |   11148    60731   195311 | 2147483647    41604     32 |  0.018 % |
616.53/616.55	c |   1731626 |   11148    60731   195311 | 2147483647    42629     32 |  0.018 % |
617.03/617.03	c |   1733674 |   11148    60731   195311 | 2147483647    44677     33 |  0.018 % |
617.93/617.94	c |   1737771 |   11148    60731   195311 | 2147483647    48774     33 |  0.018 % |
619.63/619.69	c |   1745963 |   11148    60731   195311 | 2147483647    56966     35 |  0.018 % |
619.73/619.80	c |   1746476 |   11148    60731   195311 | 2147483647    57479     35 |  0.018 % |
619.93/619.92	c |   1746989 |   11148    60731   195311 | 2147483647    57992     34 |  0.018 % |
620.33/620.37	c |   1748013 |   11148    60731   195311 | 2147483647    59016     34 |  0.018 % |
620.43/620.51	c |   1748525 |   11148    60731   195311 | 2147483647    59528     35 |  0.018 % |
620.63/620.62	c |   1749037 |   11148    60731   195311 | 2147483647    60040     35 |  0.019 % |
620.83/620.85	c |   1750062 |   11148    60731   195311 | 2147483647    61065     35 |  0.018 % |
621.43/621.49	c |   1752112 |   11148    60731   195311 | 2147483647    63115     35 |  0.019 % |
621.53/621.56	c |   1752624 |   11148    60731   195311 | 2147483647    63627     35 |  0.018 % |
621.64/621.63	c |   1753136 |   11148    60731   195311 | 2147483647    64139     35 |  0.018 % |
621.83/621.83	c |   1754162 |   11148    60731   195311 | 2147483647    65165     35 |  0.018 % |
621.93/621.95	c |   1754674 |   11148    60731   195311 | 2147483647    65677     35 |  0.018 % |
622.03/622.07	c |   1755187 |   11148    60731   195311 | 2147483647    66190     35 |  0.018 % |
622.43/622.45	c |   1756212 |   11148    60731   195311 | 2147483647    67215     35 |  0.018 % |
622.93/622.98	c |   1758261 |   11148    60731   195311 | 2147483647    69264     35 |  0.018 % |
624.03/624.02	c |   1762357 |   11148    60731   195311 | 2147483647    73360     35 |  0.018 % |
624.13/624.20	c |   1762869 |   11148    60731   195311 | 2147483647    73872     35 |  0.018 % |
624.33/624.34	c |   1763381 |   11148    60731   195311 | 2147483647    74384     35 |  0.018 % |
624.63/624.62	c |   1764405 |   11148    60731   195311 | 2147483647    75408     35 |  0.018 % |
624.83/624.89	c |   1764918 |   11148    60731   195311 | 2147483647    75921     35 |  0.018 % |
625.13/625.11	c |   1765430 |   11148    60731   195311 | 2147483647    76433     35 |  0.018 % |
625.23/625.29	c |   1766454 |   11148    60731   195311 | 2147483647    77457     35 |  0.018 % |
625.93/625.93	c |   1768502 |   11148    60731   195311 | 2147483647    79505     35 |  0.018 % |
626.04/626.08	c |   1769014 |   11148    60731   195311 | 2147483647    80017     35 |  0.018 % |
626.23/626.27	c |   1769527 |   11148    60731   195311 | 2147483647    80530     35 |  0.019 % |
626.63/626.66	c |   1770551 |   11148    60731   195311 |    81005    81554     36 |  0.019 % |
626.93/626.92	c |   1771065 |   11148    60731   195311 |    81005    71878     35 |  0.018 % |
627.03/627.04	c |   1771578 |   11148    60731   195311 |    81005    72391     36 |  0.019 % |
627.23/627.26	c |   1772602 |   11148    60731   195311 |    81005    73415     36 |  0.018 % |
627.73/627.71	c |   1774650 |   11148    60731   195311 |    81005    75463     35 |  0.018 % |
629.13/629.19	c |   1778746 |   11148    60731   195311 |    81005    79559     36 |  0.018 % |
631.33/631.32	c |   1786938 |   11148    60731   195311 |    80816    77392     35 |  0.018 % |
636.63/636.69	c |   1803322 |   11148    60731   195311 |    90456    76686     36 |  0.018 % |
636.73/636.79	c |   1803834 |   11148    60731   195311 |    90456    77198     36 |  0.018 % |
636.93/636.94	c |   1804346 |   11148    60731   195311 |    90456    77710     36 |  0.018 % |
637.33/637.35	c |   1805371 |   11148    60731   195311 |    90456    78735     36 |  0.018 % |
637.43/637.51	c |   1805883 |   11148    60731   195311 |    90456    79247     36 |  0.018 % |
637.64/637.68	c |   1806395 |   11148    60731   195311 |    90456    79759     36 |  0.018 % |
638.04/638.10	c |   1807419 |   11148    60731   195311 |    90456    80783     35 |  0.018 % |
638.74/638.72	c |   1809467 |   11148    60731   195311 |    90456    82831     36 |  0.018 % |
638.84/638.87	c |   1809980 |   11148    60731   195311 |    90456    83344     36 |  0.018 % |
639.04/639.02	c |   1810495 |   11148    60731   195311 |    83364    83859     36 |  0.018 % |
639.44/639.43	c |   1811519 |   11148    60731   195311 |    83364    71451     33 |  0.018 % |
639.64/639.61	c |   1812034 |   11148    60731   195311 |    83364    71966     34 |  0.018 % |
639.94/639.93	c |   1812547 |   11148    60731   195311 |    83364    72479     35 |  0.019 % |
640.34/640.39	c |   1813571 |   11148    60731   195311 |    83364    73503     37 |  0.019 % |
640.84/640.90	c |   1815619 |   11148    60731   195311 |    83364    75551     37 |  0.018 % |
641.94/641.97	c |   1819715 |   11148    60731   195311 |    83364    79647     37 |  0.018 % |
642.04/642.10	c |   1820227 |   11148    60731   195311 |    79935    80159     36 |  0.018 % |
642.44/642.43	c |   1820741 |   11148    60731   195311 |    79935    65893     36 |  0.018 % |
642.74/642.74	c |   1821765 |   11148    60731   195311 |    79935    66917     36 |  0.018 % |
642.84/642.84	c |   1822277 |   11148    60731   195311 |    79935    67429     36 |  0.018 % |
642.94/642.97	c |   1822789 |   11148    60731   195311 |    79935    67941     36 |  0.018 % |
643.14/643.12	c |   1823813 |   11148    60731   195311 |    79935    68965     36 |  0.018 % |
643.64/643.68	c |   1825861 |   11148    60731   195311 |    79935    71013     35 |  0.018 % |
643.74/643.77	c |   1826374 |   11148    60731   195311 |    79935    71526     35 |  0.018 % |
643.84/643.89	c |   1826886 |   11148    60731   195311 |    79935    72038     35 |  0.018 % |
644.34/644.35	c |   1827910 |   11148    60731   195311 |    79935    73062     35 |  0.018 % |
644.54/644.54	c |   1828423 |   11148    60731   195311 |    79935    73575     36 |  0.018 % |
644.74/644.72	c |   1828939 |   11148    60731   195311 |    79935    74091     36 |  0.018 % |
645.04/645.04	c |   1829964 |   11148    60731   195311 |    79935    75116     36 |  0.018 % |
645.64/645.66	c |   1832012 |   11148    60731   195311 |    75154    65881     35 |  0.018 % |
647.04/647.04	c |   1836108 |   11148    60731   195311 |    75154    69977     36 |  0.018 % |
649.64/649.69	c |   1844300 |   11148    60731   195311 |    73869    65808     36 |  0.018 % |
649.84/649.85	c |   1844812 |   11148    60731   195311 |    73869    66320     36 |  0.018 % |
650.04/650.05	c |   1845326 |   11148    60731   195311 |    73869    66834     36 |  0.018 % |
650.24/650.23	c |   1846350 |   11148    60731   195311 |    73869    67858     36 |  0.018 % |
650.44/650.49	c |   1846863 |   11148    60731   195311 |    73869    68371     36 |  0.018 % |
650.54/650.61	c |   1847375 |   11148    60731   195311 |    73869    68883     36 |  0.018 % |
650.94/651.00	c |   1848402 |   11148    60731   195311 |    73869    69910     36 |  0.018 % |
651.64/651.62	c |   1850450 |   11148    60731   195311 |    71509    71958     36 |  0.018 % |
651.84/651.88	c |   1850963 |   11148    60731   195311 |    71509    59152     35 |  0.018 % |
652.04/652.02	c |   1851476 |   11148    60731   195311 |    71509    59665     35 |  0.018 % |
652.24/652.26	c |   1852501 |   11148    60731   195311 |    71509    60690     35 |  0.018 % |
652.44/652.46	c |   1853013 |   11148    60731   195311 |    71509    61202     35 |  0.018 % |
652.64/652.67	c |   1853527 |   11148    60731   195311 |    71509    61716     35 |  0.019 % |
653.04/653.06	c |   1854551 |   11148    60731   195311 |    71509    62740     36 |  0.018 % |
653.54/653.54	c |   1856601 |   11148    60731   195311 |    71509    64790     36 |  0.019 % |
654.44/654.44	c |   1860699 |   11148    60731   195311 |    68189    68888     35 |  0.018 % |
654.64/654.68	c |   1861211 |   11148    60731   195311 |    68189    62222     32 |  0.018 % |
654.74/654.76	c |   1861724 |   11148    60731   195311 |    68189    62735     32 |  0.018 % |
655.14/655.19	c |   1862748 |   11148    60731   195311 |    68189    63759     32 |  0.018 % |
655.24/655.26	c |   1863260 |   11148    60731   195311 |    68189    64271     32 |  0.018 % |
655.34/655.40	c |   1863772 |   11148    60731   195311 |    68189    64783     32 |  0.018 % |
655.74/655.77	c |   1864796 |   11148    60731   195311 |    68189    65807     32 |  0.018 % |
656.74/656.77	c |   1866844 |   11148    60731   195311 |    68189    67855     33 |  0.018 % |
656.94/656.94	c |   1867357 |   11148    60731   195311 |    68189    68368     33 |  0.018 % |
657.24/657.26	c |   1867870 |   11148    60731   195311 |    68189    59370     32 |  0.018 % |
657.64/657.62	c |   1868894 |   11148    60731   195311 |    68189    60394     32 |  0.018 % |
657.74/657.78	c |   1869406 |   11148    60731   195311 |    68189    60906     32 |  0.018 % |
657.94/657.97	c |   1869918 |   11148    60731   195311 |    68189    61418     32 |  0.018 % |
658.24/658.24	c |   1870944 |   11148    60731   195311 |    61502    62444     32 |  0.018 % |
658.74/658.74	c |   1872993 |   11148    60731   195311 |    61502    55105     32 |  0.018 % |
659.94/659.99	c |   1877089 |   11148    60731   195311 |    61502    59201     32 |  0.018 % |
661.94/661.93	c |   1885282 |   11148    60731   195311 |    62112    60836     33 |  0.018 % |
666.44/666.45	c |   1901668 |   11148    60731   195311 | 2147483647    70945     36 |  0.018 % |
674.74/674.73	c |   1934436 |   11148    60731   195311 |    99277    88194     37 |  0.018 % |
674.94/674.97	c |   1934948 |   11148    60731   195311 |    99277    88706     37 |  0.018 % |
675.14/675.15	c |   1935460 |   11148    60731   195311 |    99277    89218     37 |  0.018 % |
675.44/675.43	c |   1936484 |   11148    60731   195311 |    99277    90242     37 |  0.018 % |
675.64/675.67	c |   1936996 |   11148    60731   195311 |    99277    90754     37 |  0.018 % |
675.84/675.82	c |   1937509 |   11148    60731   195311 |    99277    91267     36 |  0.018 % |
676.34/676.36	c |   1938533 |   11148    60731   195311 |    99277    92291     37 |  0.019 % |
676.94/676.92	c |   1940581 |   11148    60731   195311 |    93758    94339     38 |  0.018 % |
677.24/677.24	c |   1941093 |   11148    60731   195311 |    93758    80991     38 |  0.018 % |
677.44/677.48	c |   1941605 |   11148    60731   195311 |    93758    81503     38 |  0.018 % |
677.74/677.73	c |   1942630 |   11148    60731   195311 |    93758    82528     38 |  0.018 % |
677.84/677.90	c |   1943142 |   11148    60731   195311 |    93758    83040     38 |  0.018 % |
678.04/678.06	c |   1943654 |   11148    60731   195311 |    93758    83552     38 |  0.018 % |
678.44/678.43	c |   1944678 |   11148    60731   195311 |    93758    84576     38 |  0.018 % |
678.94/679.00	c |   1946726 |   11148    60731   195311 |    93758    86624     38 |  0.018 % |
680.24/680.23	c |   1950823 |   11148    60731   195311 | 2147483647    90721     38 |  0.018 % |
680.34/680.37	c |   1951336 |   11148    60731   195311 | 2147483647    91234     38 |  0.018 % |
680.54/680.52	c |   1951848 |   11148    60731   195311 | 2147483647    91746     38 |  0.018 % |
680.94/681.00	c |   1952872 |   11148    60731   195311 | 2147483647    92770     38 |  0.018 % |
681.14/681.15	c |   1953387 |   11148    60731   195311 | 2147483647    93285     38 |  0.018 % |
681.24/681.24	c |   1953899 |   11148    60731   195311 | 2147483647    93797     38 |  0.018 % |
681.64/681.67	c |   1954923 |   11148    60731   195311 | 2147483647    94821     38 |  0.018 % |
682.24/682.28	c |   1956971 |   11148    60731   195311 | 2147483647    96869     38 |  0.018 % |
682.44/682.46	c |   1957484 |   11148    60731   195311 | 2147483647    97382     38 |  0.018 % |
682.54/682.52	c |   1957996 |   11148    60731   195311 | 2147483647    97894     38 |  0.018 % |
682.84/682.81	c |   1959020 |   11148    60731   195311 | 2147483647    98918     38 |  0.018 % |
683.04/683.08	c |   1959532 |   11148    60731   195311 | 2147483647    99430     38 |  0.019 % |
683.24/683.23	c |   1960044 |   11148    60731   195311 |    99898    99942     38 |  0.018 % |
683.74/683.74	c |   1961069 |   11148    60731   195311 |    99898    84923     36 |  0.019 % |
684.24/684.29	c |   1963118 |   11148    60731   195311 |    99898    86972     36 |  0.018 % |
685.04/685.10	c |   1967215 |   11148    60731   195311 |    99898    91069     36 |  0.018 % |
687.44/687.42	c |   1975407 |   11148    60731   195311 | 2147483647    99261     37 |  0.018 % |
687.54/687.57	c |   1975919 |   11148    60731   195311 | 2147483647    99773     37 |  0.018 % |
687.74/687.75	c |   1976431 |   11148    60731   195311 | 2147483647   100285     37 |  0.018 % |
688.14/688.17	c |   1977455 |   11148    60731   195311 | 2147483647   101309     37 |  0.018 % |
688.24/688.29	c |   1977967 |   11148    60731   195311 | 2147483647   101821     37 |  0.018 % |
688.44/688.47	c |   1978480 |   11148    60731   195311 | 2147483647   102334     37 |  0.018 % |
688.74/688.78	c |   1979504 |   11148    60731   195311 | 2147483647   103358     37 |  0.018 % |
689.54/689.60	c |   1981552 |   11148    60731   195311 |   103855   105406     38 |  0.019 % |
689.94/689.97	c |   1982064 |   11148    60731   195311 |   103855    89821     36 |  0.019 % |
690.24/690.24	c |   1982577 |   11148    60731   195311 |   103855    90334     36 |  0.019 % |
690.64/690.71	c |   1983604 |   11148    60731   195311 |   103855    91361     36 |  0.019 % |
690.84/690.85	c |   1984116 |   11148    60731   195311 |   103855    91873     36 |  0.018 % |
691.04/691.08	c |   1984628 |   11148    60731   195311 |   103855    92385     36 |  0.018 % |
691.44/691.45	c |   1985652 |   11148    60731   195311 |   103855    93409     36 |  0.018 % |
692.14/692.14	c |   1987700 |   11148    60731   195311 |   103855    95457     36 |  0.018 % |
693.04/693.03	c |   1991797 |   11148    60731   195311 |    97758    85430     36 |  0.018 % |
693.14/693.19	c |   1992310 |   11148    60731   195311 |    97758    85943     36 |  0.018 % |
693.24/693.26	c |   1992822 |   11148    60731   195311 |    97758    86455     36 |  0.018 % |
693.44/693.48	c |   1993847 |   11148    60731   195311 |    97758    87480     36 |  0.018 % |
693.64/693.64	c |   1994359 |   11148    60731   195311 |    97758    87992     36 |  0.018 % |
693.84/693.88	c |   1994871 |   11148    60731   195311 |    97758    88504     36 |  0.018 % |
694.14/694.20	c |   1995895 |   11148    60731   195311 |    97758    89528     36 |  0.018 % |
695.04/695.08	c |   1997943 |   11148    60731   195311 |    97758    91576     36 |  0.018 % |
695.24/695.23	c |   1998455 |   11148    60731   195311 |    97758    92088     36 |  0.018 % |
695.44/695.42	c |   1998967 |   11148    60731   195311 |    97758    92600     36 |  0.018 % |
695.84/695.86	c |   1999992 |   11148    60731   195311 |    97758    93625     36 |  0.018 % |
696.04/696.03	c |   2000504 |   11148    60731   195311 |    93634    94137     36 |  0.018 % |
696.54/696.59	c |   2001016 |   11148    60731   195311 |    93634    80329     35 |  0.019 % |
696.94/696.97	c |   2002042 |   11148    60731   195311 |    93634    81355     35 |  0.018 % |
697.54/697.61	c |   2004091 |   11148    60731   195311 |    93634    83404     36 |  0.019 % |
699.34/699.38	c |   2008187 |   11148    60731   195311 |    93634    87500     37 |  0.018 % |
701.04/701.08	c |   2016379 |   11148    60731   195311 |    89314    85942     37 |  0.018 % |
705.34/705.39	c |   2032765 |   11148    60731   195311 | 2147483647    89106     38 |  0.018 % |
705.64/705.62	c |   2033278 |   11148    60731   195311 | 2147483647    89619     38 |  0.018 % |
705.84/705.84	c |   2033791 |   11148    60731   195311 | 2147483647    90132     38 |  0.018 % |
706.14/706.11	c |   2034818 |   11148    60731   195311 | 2147483647    91159     38 |  0.018 % |
706.24/706.32	c |   2035330 |   11148    60731   195311 | 2147483647    91671     38 |  0.018 % |
706.44/706.45	c |   2035843 |   11148    60731   195311 | 2147483647    92184     38 |  0.018 % |
706.84/706.88	c |   2036868 |   11148    60731   195311 | 2147483647    93209     38 |  0.018 % |
707.64/707.65	c |   2038916 |   11148    60731   195311 | 2147483647    95257     38 |  0.018 % |
707.84/707.82	c |   2039429 |   11148    60731   195311 | 2147483647    95770     38 |  0.018 % |
707.94/707.98	c |   2039941 |   11148    60731   195311 | 2147483647    96282     38 |  0.018 % |
708.34/708.38	c |   2040965 |   11148    60731   195311 |    96342    97306     38 |  0.018 % |
708.74/708.75	c |   2041478 |   11148    60731   195311 |    96342    78376     36 |  0.018 % |
708.94/708.93	c |   2041990 |   11148    60731   195311 |    96342    78888     36 |  0.018 % |
709.04/709.04	c |   2043014 |   11148    60731   195311 |    96342    79912     36 |  0.018 % |
709.84/709.87	c |   2045063 |   11148    60731   195311 |    96342    81961     38 |  0.019 % |
711.14/711.12	c |   2049160 |   11148    60731   195311 |    96342    86058     39 |  0.018 % |
711.34/711.35	c |   2049672 |   11148    60731   195311 |    96342    86570     39 |  0.018 % |
711.54/711.52	c |   2050185 |   11148    60731   195311 |    86898    87083     39 |  0.018 % |
711.85/711.90	c |   2051211 |   11148    60731   195311 |    86898    77306     39 |  0.018 % |
712.04/712.03	c |   2051725 |   11148    60731   195311 |    86898    77820     39 |  0.018 % |
712.14/712.13	c |   2052237 |   11148    60731   195311 |    86898    78332     39 |  0.018 % |
712.34/712.40	c |   2053262 |   11148    60731   195311 |    86898    79357     39 |  0.018 % |
713.44/713.50	c |   2055310 |   11148    60731   195311 |    86898    81405     40 |  0.018 % |
713.74/713.77	c |   2055822 |   11148    60731   195311 |    86898    81917     40 |  0.018 % |
713.84/713.82	c |   2056334 |   11148    60731   195311 |    86898    82429     40 |  0.018 % |
714.24/714.21	c |   2057358 |   11148    60731   195311 |    86898    83453     40 |  0.018 % |
714.34/714.39	c |   2057871 |   11148    60731   195311 |    86898    83966     40 |  0.018 % |
714.54/714.52	c |   2058384 |   11148    60731   195311 |    86898    84479     40 |  0.018 % |
714.64/714.66	c |   2059410 |   11148    60731   195311 |    86898    85505     40 |  0.018 % |
715.24/715.28	c |   2061459 |   11148    60731   195311 |    86095    78472     39 |  0.018 % |
716.34/716.34	c |   2065555 |   11148    60731   195311 |    86095    82568     39 |  0.018 % |
718.94/718.93	c |   2073749 |   11148    60731   195311 | 2147483647    90762     41 |  0.018 % |
719.14/719.12	c |   2074261 |   11148    60731   195311 | 2147483647    91274     41 |  0.018 % |
719.24/719.24	c |   2074775 |   11148    60731   195311 | 2147483647    91788     41 |  0.018 % |
719.55/719.55	c |   2075800 |   11148    60731   195311 | 2147483647    92813     41 |  0.018 % |
719.74/719.76	c |   2076313 |   11148    60731   195311 | 2147483647    93326     41 |  0.018 % |
719.94/719.98	c |   2076827 |   11148    60731   195311 | 2147483647    93840     41 |  0.018 % |
720.34/720.40	c |   2077853 |   11148    60731   195311 | 2147483647    94866     41 |  0.018 % |
721.14/721.20	c |   2079901 |   11148    60731   195311 | 2147483647    96914     41 |  0.018 % |
721.24/721.29	c |   2080414 |   11148    60731   195311 |    97013    97427     41 |  0.018 % |
721.44/721.43	c |   2080926 |   11148    60731   195311 |    97013    87741     39 |  0.018 % |
721.54/721.58	c |   2081950 |   11148    60731   195311 |    97013    88765     39 |  0.018 % |
721.64/721.67	c |   2082464 |   11148    60731   195311 |    97013    89279     39 |  0.018 % |
721.75/721.78	c |   2082978 |   11148    60731   195311 |    97013    89793     39 |  0.018 % |
722.14/722.13	c |   2084002 |   11148    60731   195311 |    97013    90817     39 |  0.018 % |
723.04/723.05	c |   2086051 |   11148    60731   195311 |    97013    92866     40 |  0.019 % |
724.44/724.44	c |   2090148 |   11148    60731   195311 | 2147483647    96963     42 |  0.019 % |
724.64/724.66	c |   2090661 |   11148    60731   195311 | 2147483647    97476     42 |  0.018 % |
724.84/724.86	c |   2091173 |   11148    60731   195311 | 2147483647    97988     42 |  0.018 % |
725.14/725.20	c |   2092198 |   11148    60731   195311 | 2147483647    99013     42 |  0.018 % |
725.24/725.31	c |   2092711 |   11148    60731   195311 | 2147483647    99526     42 |  0.018 % |
725.54/725.55	c |   2093224 |   11148    60731   195311 | 2147483647   100039     42 |  0.018 % |
725.84/725.83	c |   2094249 |   11148    60731   195311 | 2147483647   101064     42 |  0.018 % |
726.54/726.56	c |   2096297 |   11148    60731   195311 | 2147483647   103112     41 |  0.018 % |
726.64/726.69	c |   2096809 |   11148    60731   195311 | 2147483647   103624     41 |  0.018 % |
726.74/726.80	c |   2097323 |   11148    60731   195311 | 2147483647   104138     41 |  0.018 % |
726.94/726.97	c |   2098348 |   11148    60731   195311 | 2147483647   105163     41 |  0.018 % |
727.14/727.12	c |   2098860 |   11148    60731   195311 | 2147483647   105675     41 |  0.018 % |
727.14/727.20	c |   2099372 |   11148    60731   195311 | 2147483647   106187     41 |  0.018 % |
727.54/727.58	c |   2100396 |   11148    60731   195311 |   106815   107211     41 |  0.018 % |
728.14/728.14	c |   2102445 |   11148    60731   195311 |   106815    98539     40 |  0.018 % |
729.45/729.45	c |   2106541 |   11148    60731   195311 |   106815   102635     41 |  0.018 % |
733.54/733.53	c |   2114735 |   11148    60731   195311 |   106095   110829     49 |  0.019 % |
741.14/741.14	c |   2131120 |   11148    60731   195311 |    93115    94234     47 |  0.018 % |
754.05/754.09	c |   2163888 |   11148    60731   195311 | 2147483647    80253     52 |  0.018 % |
780.95/780.93	c |   2229424 |   11148    60731   195311 |    49171    40325     53 |  0.018 % |
829.14/829.20	c |   2360496 |   11148    60731   195311 |    21537    22032     31 |  0.018 % |
900.75/900.71	c |   2622640 |   11148    60731   195311 | 2147483647    56003     30 |  0.018 % |
900.75/900.81	c |   2623153 |   11148    60731   195311 | 2147483647    56516     30 |  0.018 % |
900.95/900.96	c |   2623665 |   11148    60731   195311 | 2147483647    57028     30 |  0.018 % |
901.25/901.25	c |   2624692 |   11148    60731   195311 | 2147483647    58055     30 |  0.018 % |
901.35/901.39	c |   2625206 |   11147    60726   195301 | 2147483647    58567     30 |  0.027 % |
901.45/901.49	c |   2625718 |   11147    60726   195301 | 2147483647    59079     30 |  0.027 % |
901.75/901.74	c |   2626742 |   11147    60726   195301 | 2147483647    60103     30 |  0.027 % |
902.25/902.22	c |   2628790 |   11147    60726   195301 | 2147483647    62151     30 |  0.027 % |
902.35/902.40	c |   2629303 |   11147    60726   195301 | 2147483647    62664     29 |  0.027 % |
902.55/902.53	c |   2629816 |   11147    60726   195301 | 2147483647    63177     29 |  0.027 % |
902.75/902.80	c |   2630841 |   11147    60726   195301 | 2147483647    64202     29 |  0.027 % |
902.95/902.99	c |   2631353 |   11147    60726   195301 | 2147483647    64714     29 |  0.027 % |
903.05/903.06	c |   2631865 |   11147    60726   195301 | 2147483647    65226     29 |  0.027 % |
903.45/903.43	c |   2632889 |   11147    60726   195301 | 2147483647    66250     29 |  0.027 % |
903.65/903.68	c |   2634937 |   11147    60726   195301 | 2147483647    68298     29 |  0.027 % |
904.25/904.28	c |   2639033 |   11147    60726   195301 | 2147483647    72394     29 |  0.027 % |
904.45/904.49	c |   2639547 |   11147    60726   195301 | 2147483647    72908     30 |  0.027 % |
904.65/904.69	c |   2640059 |   11147    60726   195301 | 2147483647    73420     30 |  0.027 % |
905.05/905.04	c |   2641083 |   11147    60726   195301 | 2147483647    74444     30 |  0.028 % |
905.15/905.18	c |   2641597 |   11147    60726   195301 | 2147483647    74958     30 |  0.027 % |
905.35/905.39	c |   2642111 |   11147    60726   195301 | 2147483647    75472     31 |  0.027 % |
905.75/905.74	c |   2643136 |   11147    60726   195301 | 2147483647    76497     31 |  0.027 % |
905.95/905.97	c |   2645184 |   11147    60726   195301 | 2147483647    78545     31 |  0.027 % |
906.15/906.14	c |   2645697 |   11147    60726   195301 | 2147483647    79058     31 |  0.027 % |
906.35/906.31	c |   2646210 |   11147    60726   195301 | 2147483647    79571     31 |  0.027 % |
906.75/906.73	c |   2647234 |   11147    60726   195301 | 2147483647    80595     31 |  0.027 % |
906.95/906.93	c |   2647748 |   11147    60726   195301 | 2147483647    81109     31 |  0.027 % |
907.05/907.06	c |   2648260 |   11147    60726   195301 | 2147483647    81621     31 |  0.027 % |
907.45/907.41	c |   2649284 |   11147    60726   195301 | 2147483647    82645     31 |  0.027 % |
908.05/908.02	c |   2651334 |   11147    60726   195301 | 2147483647    84695     31 |  0.027 % |
909.25/909.25	c |   2655431 |   11147    60726   195301 | 2147483647    88792     31 |  0.027 % |
912.45/912.46	c |   2663623 |   11147    60726   195301 |    93361    74268     32 |  0.027 % |
912.55/912.59	c |   2664137 |   11147    60726   195301 |    93361    74782     32 |  0.027 % |
912.75/912.76	c |   2664650 |   11147    60726   195301 |    93361    75295     32 |  0.027 % |
912.95/912.96	c |   2665674 |   11147    60726   195301 |    93361    76319     32 |  0.027 % |
913.15/913.19	c |   2666186 |   11147    60726   195301 |    93361    76831     32 |  0.027 % |
913.35/913.34	c |   2666698 |   11147    60726   195301 |    93361    77343     31 |  0.027 % |
913.85/913.81	c |   2667722 |   11147    60726   195301 |    93361    78367     32 |  0.027 % |
914.45/914.43	c |   2669771 |   11147    60726   195301 |    93361    80416     32 |  0.027 % |
914.55/914.61	c |   2670283 |   11147    60726   195301 |    80646    80928     32 |  0.027 % |
914.85/914.83	c |   2670795 |   11147    60726   195301 |    80646    65011     30 |  0.027 % |
915.15/915.16	c |   2671820 |   11147    60726   195301 |    80646    66036     30 |  0.027 % |
915.25/915.25	c |   2672332 |   11147    60726   195301 |    80646    66548     30 |  0.027 % |
915.35/915.37	c |   2672844 |   11147    60726   195301 |    80646    67060     30 |  0.027 % |
915.55/915.59	c |   2673871 |   11147    60726   195301 |    80646    68087     30 |  0.027 % |
916.35/916.40	c |   2675919 |   11147    60726   195301 |    80646    70135     30 |  0.027 % |
916.95/916.91	c |   2680016 |   11147    60726   195301 |    74216    74232     30 |  0.027 % |
917.15/917.16	c |   2680529 |   11147    60726   195301 |    74216    65364     29 |  0.028 % |
917.25/917.30	c |   2681041 |   11147    60726   195301 |    74216    65876     29 |  0.027 % |
917.75/917.77	c |   2682065 |   11147    60726   195301 |    74216    66900     29 |  0.028 % |
917.85/917.87	c |   2682578 |   11147    60726   195301 |    74216    67413     29 |  0.027 % |
917.95/917.99	c |   2683093 |   11147    60726   195301 |    74216    67928     30 |  0.027 % |
918.25/918.24	c |   2684117 |   11147    60726   195301 |    74216    68952     29 |  0.027 % |
918.95/918.94	c |   2686166 |   11147    60726   195301 |    74216    71001     29 |  0.027 % |
919.05/919.08	c |   2686679 |   11147    60726   195301 |    74216    71514     29 |  0.027 % |
919.25/919.23	c |   2687191 |   11147    60726   195301 |    74216    72026     29 |  0.027 % |
919.65/919.67	c |   2688215 |   11147    60726   195301 |    74216    73050     29 |  0.027 % |
919.85/919.84	c |   2688727 |   11147    60726   195301 |    74216    73562     29 |  0.027 % |
919.95/920.01	c |   2689239 |   11147    60726   195301 |    74216    74074     29 |  0.027 % |
920.35/920.41	c |   2690263 |   11147    60726   195301 | 2147483647    75098     29 |  0.027 % |
920.85/920.85	c |   2692311 |   11147    60726   195301 | 2147483647    77146     29 |  0.027 % |
922.45/922.45	c |   2696408 |   11147    60726   195301 | 2147483647    81243     30 |  0.027 % |
924.65/924.66	c |   2704600 |   11147    60726   195301 |    84838    80685     32 |  0.027 % |
931.45/931.47	c |   2720984 |   11147    60726   195301 |    70988    71972     35 |  0.027 % |
931.65/931.62	c |   2721498 |   11147    60726   195301 |    70988    52961     37 |  0.027 % |
931.75/931.72	c |   2722010 |   11147    60726   195301 |    70988    53473     37 |  0.027 % |
931.95/931.93	c |   2723035 |   11147    60726   195301 |    70988    54498     37 |  0.028 % |
932.15/932.15	c |   2723549 |   11147    60726   195301 |    70988    55012     38 |  0.028 % |
932.35/932.32	c |   2724063 |   11147    60726   195301 |    70988    55526     38 |  0.028 % |
932.45/932.45	c |   2725088 |   11147    60726   195301 |    70988    56551     38 |  0.027 % |
933.05/933.09	c |   2727137 |   11147    60726   195301 |    70988    58600     39 |  0.028 % |
933.15/933.19	c |   2727649 |   11147    60726   195301 |    70988    59112     39 |  0.027 % |
933.35/933.40	c |   2728162 |   11147    60726   195301 |    70988    59625     39 |  0.027 % |
933.55/933.59	c |   2729187 |   11147    60726   195301 |    70988    60650     39 |  0.027 % |
933.75/933.75	c |   2729700 |   11147    60726   195301 |    70988    61163     39 |  0.027 % |
933.95/933.92	c |   2730212 |   11147    60726   195301 |    61464    61675     39 |  0.027 % |
934.25/934.24	c |   2731237 |   11147    60726   195301 |    61464    55068     41 |  0.027 % |
934.55/934.58	c |   2733287 |   11147    60726   195301 |    61464    57118     40 |  0.027 % |
935.65/935.66	c |   2737383 |   11147    60726   195301 |    61464    61214     41 |  0.027 % |
935.85/935.82	c |   2737896 |   11147    60726   195301 |    61464    61727     41 |  0.027 % |
935.95/936.00	c |   2738409 |   11147    60726   195301 |    61464    51416     41 |  0.027 % |
936.26/936.22	c |   2739433 |   11147    60726   195301 |    61464    52440     40 |  0.027 % |
936.35/936.33	c |   2739945 |   11147    60726   195301 |    61464    52952     40 |  0.027 % |
936.45/936.46	c |   2740457 |   11147    60726   195301 |    53007    53464     40 |  0.027 % |
936.65/936.64	c |   2741482 |   11147    60726   195301 |    53007    46757     39 |  0.027 % |
936.85/936.87	c |   2743531 |   11147    60726   195301 |    53007    48806     39 |  0.027 % |
937.05/937.04	c |   2744044 |   11147    60726   195301 |    53007    49319     39 |  0.028 % |
937.15/937.15	c |   2744556 |   11147    60726   195301 |    53007    49831     39 |  0.027 % |
937.36/937.36	c |   2745580 |   11147    60726   195301 |    53007    50855     39 |  0.028 % |
937.55/937.57	c |   2746093 |   11147    60726   195301 |    53007    51368     39 |  0.028 % |
937.75/937.74	c |   2746605 |   11147    60726   195301 |    53007    51880     40 |  0.027 % |
937.95/937.95	c |   2747629 |   11147    60726   195301 |    53007    52904     40 |  0.027 % |
938.65/938.63	c |   2749678 |   11147    60726   195301 |    53007    54953     40 |  0.027 % |
939.85/939.84	c |   2753774 |   11147    60726   195301 | 2147483647    53554     35 |  0.027 % |
941.95/941.99	c |   2761968 |   11147    60726   195301 |    59782    52715     31 |  0.027 % |
942.05/942.07	c |   2762480 |   11147    60726   195301 |    59782    53227     31 |  0.027 % |
942.25/942.28	c |   2762994 |   11147    60726   195301 |    59782    53741     31 |  0.027 % |
942.55/942.54	c |   2764020 |   11147    60726   195301 |    59782    54767     31 |  0.027 % |
942.65/942.65	c |   2764532 |   11147    60726   195301 |    59782    55279     31 |  0.027 % |
942.86/942.82	c |   2765044 |   11147    60726   195301 |    59782    55791     32 |  0.028 % |
943.05/943.11	c |   2766068 |   11147    60726   195301 |    59782    56815     32 |  0.027 % |
943.75/943.71	c |   2768117 |   11147    60726   195301 |    59782    58864     33 |  0.028 % |
943.75/943.77	c |   2768629 |   11147    60726   195301 |    59782    59376     33 |  0.027 % |
943.85/943.91	c |   2769141 |   11147    60726   195301 |    59782    59888     33 |  0.027 % |
944.15/944.20	c |   2770166 |   11147    60726   195301 | 2147483647    54925     30 |  0.027 % |
944.35/944.32	c |   2770680 |   11147    60726   195301 | 2147483647    55439     30 |  0.027 % |
944.45/944.44	c |   2771192 |   11147    60726   195301 | 2147483647    55951     30 |  0.027 % |
944.65/944.62	c |   2772216 |   11147    60726   195301 | 2147483647    56975     30 |  0.027 % |
944.95/944.94	c |   2774265 |   11147    60726   195301 | 2147483647    59024     30 |  0.027 % |
946.65/946.70	c |   2778362 |   11147    60726   195301 | 2147483647    63121     32 |  0.027 % |
946.85/946.82	c |   2778874 |   11147    60726   195301 | 2147483647    63633     32 |  0.027 % |
946.95/946.92	c |   2779387 |   11147    60726   195301 | 2147483647    64146     32 |  0.027 % |
947.15/947.11	c |   2780412 |   11147    60726   195301 | 2147483647    65171     32 |  0.027 % |
947.26/947.25	c |   2780925 |   11147    60726   195301 | 2147483647    65684     31 |  0.027 % |
947.35/947.37	c |   2781437 |   11147    60726   195301 | 2147483647    66196     32 |  0.027 % |
947.55/947.55	c |   2782461 |   11147    60726   195301 | 2147483647    67220     31 |  0.027 % |
948.15/948.15	c |   2784512 |   11147    60726   195301 | 2147483647    69271     31 |  0.027 % |
948.25/948.27	c |   2785027 |   11147    60726   195301 | 2147483647    69786     32 |  0.027 % |
948.55/948.53	c |   2785539 |   11147    60726   195301 | 2147483647    70298     32 |  0.028 % |
948.85/948.82	c |   2786564 |   11147    60726   195301 | 2147483647    71323     33 |  0.027 % |
948.95/948.94	c |   2787076 |   11147    60726   195301 | 2147483647    71835     33 |  0.027 % |
949.05/949.09	c |   2787589 |   11147    60726   195301 | 2147483647    72348     33 |  0.028 % |
949.35/949.37	c |   2788616 |   11147    60726   195301 | 2147483647    73375     34 |  0.027 % |
950.05/950.05	c |   2790664 |   11147    60726   195301 | 2147483647    75423     34 |  0.027 % |
951.35/951.41	c |   2794760 |   11147    60726   195301 | 2147483647    79519     33 |  0.027 % |
955.55/955.55	c |   2802953 |   11147    60726   195301 |    84759    64723     31 |  0.027 % |
958.75/958.76	c |   2819338 |   11147    60726   195301 |    71771    70110     32 |  0.027 % |
969.64/969.66	c |   2852107 |   11147    60726   195301 |    62385    64492     32 |  0.027 % |
969.84/969.84	c |   2852620 |   11147    60726   195301 |    62385    47199     33 |  0.027 % |
970.04/970.01	c |   2853132 |   11147    60726   195301 |    62385    47711     33 |  0.027 % |
970.14/970.12	c |   2854156 |   11147    60726   195301 |    62385    48735     32 |  0.027 % |
970.24/970.27	c |   2854670 |   11147    60726   195301 |    62385    49249     32 |  0.027 % |
970.35/970.35	c |   2855182 |   11147    60726   195301 |    62385    49761     32 |  0.027 % |
970.64/970.65	c |   2856207 |   11147    60726   195301 |    62385    50786     32 |  0.027 % |
970.94/970.95	c |   2858255 |   11147    60726   195301 |    62385    52834     32 |  0.027 % |
971.04/971.06	c |   2858768 |   11147    60726   195301 |    62385    53347     32 |  0.027 % |
971.14/971.15	c |   2859280 |   11147    60726   195301 |    62385    53859     32 |  0.027 % |
971.45/971.41	c |   2860305 |   11147    60726   195301 |    54581    54884     31 |  0.027 % |
971.54/971.56	c |   2860818 |   11147    60726   195301 |    54581    45744     29 |  0.027 % |
971.64/971.70	c |   2861332 |   11147    60726   195301 |    54581    46258     29 |  0.027 % |
971.84/971.81	c |   2862356 |   11147    60726   195301 |    54581    47282     29 |  0.027 % |
972.55/972.55	c |   2864405 |   11147    60726   195301 |    54581    49331     29 |  0.027 % |
973.14/973.11	c |   2868501 |   11147    60726   195301 |    54581    53427     30 |  0.027 % |
973.24/973.25	c |   2869014 |   11147    60726   195301 |    54581    53940     30 |  0.028 % |
973.34/973.38	c |   2869526 |   11147    60726   195301 |    54581    54452     30 |  0.027 % |
973.54/973.58	c |   2870550 |   11147    60726   195301 | 2147483647    55476     30 |  0.028 % |
973.74/973.76	c |   2871063 |   11146    60721   195291 | 2147483647    55987     30 |  0.036 % |
973.94/973.99	c |   2871576 |   11146    60721   195291 | 2147483647    56500     32 |  0.036 % |
974.24/974.24	c |   2872600 |   11146    60721   195291 | 2147483647    57524     32 |  0.036 % |
974.84/974.82	c |   2874648 |   11146    60721   195291 | 2147483647    59572     31 |  0.036 % |
974.94/974.93	c |   2875160 |   11146    60721   195291 | 2147483647    60084     31 |  0.036 % |
975.14/975.18	c |   2875674 |   11146    60721   195291 | 2147483647    60598     31 |  0.036 % |
975.44/975.49	c |   2876699 |   11146    60721   195291 | 2147483647    61623     31 |  0.036 % |
975.54/975.55	c |   2877211 |   11146    60721   195291 | 2147483647    62135     31 |  0.036 % |
975.74/975.70	c |   2877723 |   11146    60721   195291 | 2147483647    62647     31 |  0.036 % |
976.04/976.06	c |   2878747 |   11146    60721   195291 | 2147483647    63671     31 |  0.036 % |
976.44/976.41	c |   2880795 |   11146    60721   195291 | 2147483647    65719     31 |  0.036 % |
977.54/977.53	c |   2884891 |   11146    60721   195291 | 2147483647    69815     31 |  0.036 % |
980.45/980.41	c |   2893084 |   11146    60721   195291 |    74924    78008     32 |  0.036 % |
980.65/980.68	c |   2893599 |   11146    60721   195291 |    74924    57225     30 |  0.036 % |
980.85/980.81	c |   2894112 |   11146    60721   195291 |    74924    57738     30 |  0.037 % |
981.15/981.19	c |   2895136 |   11146    60721   195291 |    74924    58762     30 |  0.036 % |
981.25/981.28	c |   2895648 |   11146    60721   195291 |    74924    59274     30 |  0.036 % |
981.45/981.44	c |   2896160 |   11146    60721   195291 |    74924    59786     30 |  0.036 % |
981.65/981.62	c |   2897186 |   11146    60721   195291 |    74924    60812     30 |  0.036 % |
982.25/982.26	c |   2899236 |   11146    60721   195291 |    74924    62862     30 |  0.036 % |
982.45/982.42	c |   2899750 |   11146    60721   195291 |    74924    63376     30 |  0.036 % |
982.55/982.61	c |   2900263 |   11146    60721   195291 |    63627    63889     30 |  0.036 % |
982.85/982.81	c |   2901289 |   11146    60721   195291 |    63627    52709     28 |  0.036 % |
982.95/982.92	c |   2901802 |   11146    60721   195291 |    63627    53222     28 |  0.036 % |
983.05/983.03	c |   2902314 |   11146    60721   195291 |    63627    53734     28 |  0.036 % |
983.25/983.27	c |   2903339 |   11146    60721   195291 |    63627    54759     28 |  0.036 % |
983.65/983.67	c |   2905388 |   11146    60721   195291 |    63627    56808     29 |  0.036 % |
984.35/984.39	c |   2909489 |   11146    60721   195291 |    63627    60909     29 |  0.036 % |
984.45/984.49	c |   2910007 |   11146    60721   195291 | 2147483647    61427     29 |  0.036 % |
984.65/984.66	c |   2910519 |   11146    60721   195291 | 2147483647    61939     29 |  0.036 % |
985.05/985.07	c |   2911545 |   11146    60721   195291 | 2147483647    62965     29 |  0.037 % |
985.15/985.18	c |   2912057 |   11146    60721   195291 | 2147483647    63477     29 |  0.036 % |
985.35/985.37	c |   2912569 |   11146    60721   195291 | 2147483647    63989     30 |  0.036 % |
985.55/985.57	c |   2913595 |   11146    60721   195291 | 2147483647    65015     30 |  0.036 % |
986.15/986.13	c |   2915643 |   11146    60721   195291 | 2147483647    67063     32 |  0.037 % |
986.25/986.28	c |   2916155 |   11146    60721   195291 | 2147483647    67575     32 |  0.036 % |
986.45/986.47	c |   2916667 |   11146    60721   195291 | 2147483647    68087     32 |  0.036 % |
986.55/986.60	c |   2917692 |   11146    60721   195291 | 2147483647    69112     32 |  0.036 % |
986.75/986.76	c |   2918204 |   11146    60721   195291 | 2147483647    69624     32 |  0.036 % |
986.85/986.90	c |   2918716 |   11146    60721   195291 | 2147483647    70136     32 |  0.036 % |
987.15/987.18	c |   2919741 |   11146    60721   195291 | 2147483647    71161     32 |  0.036 % |
987.75/987.75	c |   2921790 |   11146    60721   195291 | 2147483647    73210     32 |  0.036 % |
989.15/989.13	c |   2925886 |   11146    60721   195291 | 2147483647    77306     32 |  0.036 % |
991.75/991.73	c |   2934079 |   11146    60721   195291 | 2147483647    85499     32 |  0.036 % |
998.65/998.69	c |   2950463 |   11146    60721   195291 | 2147483647    92417     41 |  0.037 % |
998.85/998.87	c |   2950976 |   11146    60721   195291 | 2147483647    92930     41 |  0.036 % |
998.95/998.98	c |   2951489 |   11146    60721   195291 | 2147483647    93443     41 |  0.036 % |
999.25/999.23	c |   2952514 |   11146    60721   195291 | 2147483647    94468     41 |  0.036 % |
999.75/999.72	c |   2953029 |   11146    60721   195291 | 2147483647    94983     42 |  0.036 % |
999.95/999.95	c |   2953541 |   11146    60721   195291 | 2147483647    95495     42 |  0.036 % |
1000.75/1000.75	c |   2954565 |   11146    60721   195291 | 2147483647    96519     44 |  0.037 % |
1002.05/1002.05	c |   2956613 |   11146    60721   195291 | 2147483647    98567     46 |  0.036 % |
1002.15/1002.20	c |   2957126 |   11146    60721   195291 | 2147483647    99080     46 |  0.036 % |
1002.45/1002.41	c |   2957640 |   11146    60721   195291 | 2147483647    99594     46 |  0.036 % |
1002.95/1002.94	c |   2958667 |   11146    60721   195291 | 2147483647   100621     46 |  0.036 % |
1003.15/1003.19	c |   2959180 |   11146    60721   195291 | 2147483647   101134     46 |  0.036 % |
1003.35/1003.34	c |   2959692 |   11146    60721   195291 | 2147483647   101646     46 |  0.036 % |
1003.65/1003.70	c |   2960719 |   11146    60721   195291 | 2147483647   102673     46 |  0.036 % |
1004.45/1004.48	c |   2962770 |   11146    60721   195291 | 2147483647   104724     45 |  0.036 % |
1006.35/1006.33	c |   2966866 |   11146    60721   195291 | 2147483647   108820     45 |  0.036 % |
1006.45/1006.48	c |   2967378 |   11146    60721   195291 | 2147483647   109332     45 |  0.036 % |
1006.55/1006.54	c |   2967892 |   11146    60721   195291 | 2147483647   109846     45 |  0.036 % |
1007.05/1007.08	c |   2968917 |   11146    60721   195291 | 2147483647   110871     45 |  0.036 % |
1007.25/1007.24	c |   2969431 |   11146    60721   195291 | 2147483647   111385     45 |  0.036 % |
1007.35/1007.32	c |   2969945 |   11146    60721   195291 | 2147483647   111899     45 |  0.036 % |
1007.85/1007.90	c |   2970970 |   11146    60721   195291 |   111954   112924     45 |  0.036 % |
1008.75/1008.74	c |   2973019 |   11146    60721   195291 |   111954    92234     46 |  0.036 % |
1008.95/1008.99	c |   2973531 |   11146    60721   195291 |   111954    92746     46 |  0.036 % |
1009.25/1009.29	c |   2974045 |   11146    60721   195291 |   111954    93260     47 |  0.036 % |
1009.65/1009.61	c |   2975069 |   11146    60721   195291 |   111954    94284     47 |  0.036 % |
1009.85/1009.86	c |   2975582 |   11146    60721   195291 |   111954    94797     47 |  0.037 % |
1010.05/1010.06	c |   2976094 |   11146    60721   195291 |   111954    95309     48 |  0.036 % |
1010.35/1010.39	c |   2977118 |   11146    60721   195291 |   111954    96333     48 |  0.036 % |
1011.05/1011.03	c |   2979167 |   11146    60721   195291 |   111954    98382     48 |  0.036 % |
1012.45/1012.49	c |   2983263 |   11146    60721   195291 |    99216    79696     50 |  0.036 % |
1015.35/1015.31	c |   2991455 |   11146    60721   195291 |    86433    87888     49 |  0.036 % |
1015.55/1015.51	c |   2991967 |   11146    60721   195291 |    86433    70181     43 |  0.036 % |
1015.75/1015.73	c |   2992479 |   11146    60721   195291 |    86433    70693     43 |  0.036 % |
1015.85/1015.84	c |   2993503 |   11146    60721   195291 |    86433    71717     43 |  0.036 % |
1016.35/1016.39	c |   2994017 |   11146    60721   195291 |    86433    72231     44 |  0.037 % |
1016.55/1016.59	c |   2994530 |   11146    60721   195291 |    86433    72744     44 |  0.036 % |
1017.35/1017.40	c |   2995555 |   11146    60721   195291 |    86433    73769     46 |  0.037 % |
1017.85/1017.89	c |   2997604 |   11146    60721   195291 |    86433    75818     45 |  0.036 % |
1018.05/1018.03	c |   2998116 |   11146    60721   195291 |    86433    76330     45 |  0.036 % |
1018.05/1018.09	c |   2998629 |   11146    60721   195291 |    86433    76843     45 |  0.036 % |
1018.45/1018.43	c |   2999653 |   11146    60721   195291 |    86433    77867     45 |  0.036 % |
1018.55/1018.52	c |   3000166 |   11146    60721   195291 |    78217    78380     45 |  0.036 % |
1018.75/1018.77	c |   3000678 |   11146    60721   195291 |    78217    68760     42 |  0.036 % |
1018.95/1018.93	c |   3001702 |   11146    60721   195291 |    78217    69784     42 |  0.036 % |
1019.45/1019.47	c |   3003751 |   11146    60721   195291 |    78217    71833     42 |  0.036 % |
1021.05/1021.01	c |   3007847 |   11146    60721   195291 |    78217    75929     42 |  0.036 % |
1021.15/1021.13	c |   3008360 |   11146    60721   195291 |    78217    76442     42 |  0.036 % |
1021.25/1021.27	c |   3008873 |   11146    60721   195291 |    78217    76955     41 |  0.036 % |
1021.65/1021.65	c |   3009897 |   11146    60721   195291 |    78217    77979     41 |  0.036 % |
1021.85/1021.85	c |   3010409 |   11146    60721   195291 |    78083    78491     41 |  0.036 % |
1022.05/1022.09	c |   3010921 |   11146    60721   195291 |    78083    68986     35 |  0.036 % |
1022.25/1022.26	c |   3011945 |   11146    60721   195291 |    78083    70010     35 |  0.036 % |
1022.55/1022.53	c |   3013993 |   11146    60721   195291 |    78083    72058     36 |  0.036 % |
1022.65/1022.70	c |   3014506 |   11146    60721   195291 |    78083    72571     35 |  0.036 % |
1022.85/1022.83	c |   3015019 |   11146    60721   195291 |    78083    73084     36 |  0.037 % |
1023.35/1023.40	c |   3016044 |   11146    60721   195291 |    78083    74109     36 |  0.036 % |
1023.55/1023.55	c |   3016557 |   11146    60721   195291 |    78083    74622     36 |  0.036 % |
1023.95/1023.97	c |   3017069 |   11146    60721   195291 |    78083    75134     37 |  0.037 % |
1024.25/1024.26	c |   3018093 |   11146    60721   195291 |    78083    76158     38 |  0.036 % |
1024.85/1024.90	c |   3020144 |   11146    60721   195291 |    78066    78209     38 |  0.037 % |
1026.25/1026.29	c |   3024240 |   11146    60721   195291 |    78066    73878     38 |  0.036 % |
1028.75/1028.75	c |   3032434 |   11146    60721   195291 |    70297    64498     35 |  0.036 % |
1034.45/1034.50	c |   3048819 |   11146    60721   195291 |    72065    61518     33 |  0.036 % |
1046.45/1046.47	c |   3081587 |   11146    60721   195291 |    63394    57032     33 |  0.036 % |
1066.65/1066.68	c |   3147123 |   11146    60721   195291 |    72616    66170     46 |  0.037 % |
1066.85/1066.85	c |   3147637 |   11146    60721   195291 |    72616    66684     46 |  0.036 % |
1066.95/1067.00	c |   3148149 |   11146    60721   195291 |    72616    67196     46 |  0.036 % |
1067.25/1067.26	c |   3149175 |   11146    60721   195291 |    72616    68222     46 |  0.036 % |
1067.35/1067.39	c |   3149688 |   11146    60721   195291 |    72616    68735     46 |  0.036 % |
1067.55/1067.51	c |   3150201 |   11146    60721   195291 |    69047    69248     45 |  0.036 % |
1067.75/1067.79	c |   3151225 |   11146    60721   195291 |    69047    57614     41 |  0.036 % |
1068.35/1068.34	c |   3153273 |   11146    60721   195291 |    69047    59662     41 |  0.036 % |
1068.45/1068.46	c |   3153787 |   11146    60721   195291 |    69047    60176     41 |  0.036 % |
1068.65/1068.61	c |   3154300 |   11146    60721   195291 |    69047    60689     41 |  0.036 % |
1068.75/1068.75	c |   3155326 |   11146    60721   195291 |    69047    61715     41 |  0.036 % |
1068.95/1068.93	c |   3155838 |   11146    60721   195291 |    69047    62227     40 |  0.036 % |
1069.05/1069.03	c |   3156350 |   11146    60721   195291 |    69047    62739     40 |  0.036 % |
1069.36/1069.39	c |   3157376 |   11146    60721   195291 |    69047    63765     40 |  0.036 % |
1069.95/1069.94	c |   3159425 |   11146    60721   195291 |    69047    65814     40 |  0.036 % |
1070.65/1070.70	c |   3163521 |   11146    60721   195291 |    66391    59044     37 |  0.036 % |
1070.85/1070.87	c |   3164033 |   11146    60721   195291 |    66391    59556     38 |  0.036 % |
1071.15/1071.16	c |   3164545 |   11146    60721   195291 |    66391    60068     39 |  0.036 % |
1071.35/1071.34	c |   3165569 |   11146    60721   195291 |    66391    61092     39 |  0.036 % |
1071.45/1071.44	c |   3166081 |   11146    60721   195291 |    66391    61604     39 |  0.037 % |
1071.65/1071.64	c |   3166594 |   11146    60721   195291 |    66391    62117     39 |  0.036 % |
1071.85/1071.89	c |   3167618 |   11146    60721   195291 |    66391    63141     39 |  0.036 % |
1072.55/1072.55	c |   3169666 |   11146    60721   195291 |    66391    65189     38 |  0.036 % |
1072.66/1072.69	c |   3170178 |   11146    60721   195291 | 2147483647    65701     38 |  0.036 % |
1072.85/1072.83	c |   3170690 |   11146    60721   195291 | 2147483647    66213     38 |  0.036 % |
1073.15/1073.12	c |   3171714 |   11146    60721   195291 | 2147483647    67237     38 |  0.036 % |
1073.25/1073.29	c |   3172226 |   11146    60721   195291 | 2147483647    67749     38 |  0.036 % |
1073.35/1073.39	c |   3172738 |   11146    60721   195291 | 2147483647    68261     38 |  0.036 % |
1073.65/1073.62	c |   3173762 |   11146    60721   195291 | 2147483647    69285     38 |  0.036 % |
1074.15/1074.12	c |   3175810 |   11146    60721   195291 | 2147483647    71333     37 |  0.036 % |
1075.05/1075.02	c |   3179906 |   11146    60721   195291 | 2147483647    75429     38 |  0.036 % |
1078.55/1078.53	c |   3188098 |   11146    60721   195291 |    75523    70864     35 |  0.036 % |
1078.75/1078.75	c |   3188610 |   11146    60721   195291 |    75523    71376     35 |  0.037 % |
1078.95/1078.99	c |   3189123 |   11146    60721   195291 |    75523    71889     35 |  0.036 % |
1079.35/1079.33	c |   3190149 |   11146    60721   195291 |    72766    72915     36 |  0.036 % |
1079.55/1079.54	c |   3190661 |   11146    60721   195291 |    72766    59406     33 |  0.036 % |
1079.75/1079.77	c |   3191174 |   11146    60721   195291 |    72766    59919     33 |  0.036 % |
1080.05/1080.09	c |   3192198 |   11146    60721   195291 |    72766    60943     32 |  0.036 % |
1080.45/1080.43	c |   3194246 |   11146    60721   195291 |    72766    62991     32 |  0.036 % |
1080.55/1080.55	c |   3194758 |   11146    60721   195291 |    72766    63503     32 |  0.036 % |
1080.75/1080.70	c |   3195271 |   11146    60721   195291 |    72766    64016     32 |  0.036 % |
1080.85/1080.90	c |   3196295 |   11146    60721   195291 |    72766    65040     32 |  0.036 % |
1080.95/1080.99	c |   3196808 |   11146    60721   195291 |    72766    65553     32 |  0.036 % |
1081.15/1081.17	c |   3197320 |   11146    60721   195291 |    72766    66065     32 |  0.036 % |
1081.55/1081.53	c |   3198344 |   11146    60721   195291 |    72766    67089     32 |  0.036 % |
1082.25/1082.22	c |   3200392 |   11146    60721   195291 | 2147483647    69137     32 |  0.036 % |
1082.75/1082.72	c |   3204489 |   11146    60721   195291 | 2147483647    73234     31 |  0.036 % |
1082.85/1082.88	c |   3205001 |   11146    60721   195291 | 2147483647    73746     31 |  0.036 % |
1083.15/1083.11	c |   3205514 |   11146    60721   195291 | 2147483647    74259     32 |  0.037 % |
1083.45/1083.45	c |   3206539 |   11146    60721   195291 | 2147483647    75284     32 |  0.036 % |
1083.66/1083.65	c |   3207051 |   11146    60721   195291 | 2147483647    75796     33 |  0.036 % |
1083.85/1083.88	c |   3207563 |   11146    60721   195291 | 2147483647    76308     33 |  0.037 % |
1084.25/1084.27	c |   3208587 |   11146    60721   195291 | 2147483647    77332     33 |  0.036 % |
1084.65/1084.68	c |   3210636 |   11146    60721   195291 | 2147483647    79381     33 |  0.037 % |
1084.95/1084.96	c |   3211149 |   11146    60721   195291 | 2147483647    79894     33 |  0.036 % |
1085.05/1085.09	c |   3211662 |   11146    60721   195291 | 2147483647    80407     33 |  0.036 % |
1085.45/1085.47	c |   3212688 |   11146    60721   195291 | 2147483647    81433     33 |  0.036 % |
1085.65/1085.61	c |   3213200 |   11146    60721   195291 | 2147483647    81945     33 |  0.036 % |
1085.75/1085.77	c |   3213712 |   11146    60721   195291 | 2147483647    82457     33 |  0.036 % |
1085.86/1085.89	c |   3214736 |   11146    60721   195291 | 2147483647    83481     33 |  0.036 % |
1086.75/1086.71	c |   3216786 |   11146    60721   195291 | 2147483647    85531     33 |  0.036 % |
1087.75/1087.77	c |   3220882 |   11146    60721   195291 |    88746    89627     34 |  0.036 % |
1090.45/1090.49	c |   3229075 |   11146    60721   195291 |    88746    86918     33 |  0.036 % |
1096.36/1096.40	c |   3245459 |   11146    60721   195291 |    73761    68551     34 |  0.037 % |
1096.56/1096.59	c |   3245971 |   11146    60721   195291 |    73761    69063     34 |  0.036 % |
1096.66/1096.67	c |   3246483 |   11146    60721   195291 |    73761    69575     34 |  0.036 % |
1096.96/1096.94	c |   3247507 |   11146    60721   195291 |    73761    70599     34 |  0.036 % |
1097.16/1097.16	c |   3248019 |   11146    60721   195291 |    73761    71111     34 |  0.036 % |
1097.46/1097.43	c |   3248532 |   11146    60721   195291 |    73761    71624     35 |  0.036 % |
1097.66/1097.68	c |   3249557 |   11146    60721   195291 |    73761    72649     36 |  0.036 % |
1098.46/1098.41	c |   3251605 |   11146    60721   195291 | 2147483647    74697     36 |  0.036 % |
1098.46/1098.49	c |   3252117 |   11146    60721   195291 | 2147483647    75209     36 |  0.036 % |
1098.66/1098.63	c |   3252629 |   11146    60721   195291 | 2147483647    75721     36 |  0.036 % |
1098.96/1098.97	c |   3253654 |   11146    60721   195291 | 2147483647    76746     36 |  0.036 % |
1099.16/1099.13	c |   3254166 |   11146    60721   195291 | 2147483647    77258     36 |  0.036 % |
1099.36/1099.35	c |   3254681 |   11146    60721   195291 | 2147483647    77773     36 |  0.036 % |
1099.46/1099.49	c |   3255706 |   11146    60721   195291 | 2147483647    78798     36 |  0.036 % |
1100.36/1100.36	c |   3257754 |   11146    60721   195291 | 2147483647    80846     36 |  0.036 % |
1101.26/1101.29	c |   3261850 |   11146    60721   195291 |    83094    84942     37 |  0.036 % |
1101.56/1101.54	c |   3262363 |   11146    60721   195291 |    83094    75376     39 |  0.036 % |
1101.66/1101.64	c |   3262875 |   11146    60721   195291 |    83094    75888     39 |  0.036 % |
1101.96/1102.00	c |   3263901 |   11146    60721   195291 |    83094    76914     38 |  0.036 % |
1102.16/1102.12	c |   3264413 |   11146    60721   195291 |    83094    77426     38 |  0.036 % |
1102.36/1102.33	c |   3264925 |   11146    60721   195291 |    83094    77938     38 |  0.036 % |
1102.56/1102.57	c |   3265949 |   11146    60721   195291 |    83094    78962     38 |  0.036 % |
1103.26/1103.23	c |   3268000 |   11146    60721   195291 |    83094    81013     38 |  0.036 % |
1103.46/1103.50	c |   3268513 |   11146    60721   195291 |    83094    81526     39 |  0.036 % |
1103.76/1103.79	c |   3269025 |   11146    60721   195291 |    83094    82038     39 |  0.037 % |
1104.06/1104.05	c |   3270051 |   11146    60721   195291 |    83013    83064     39 |  0.037 % |
1104.36/1104.37	c |   3270564 |   11146    60721   195291 |    83013    71307     39 |  0.037 % |
1104.56/1104.58	c |   3271076 |   11146    60721   195291 |    83013    71819     39 |  0.036 % |
1104.86/1104.84	c |   3272100 |   11146    60721   195291 |    83013    72843     39 |  0.036 % |
1105.36/1105.33	c |   3274150 |   11146    60721   195291 |    83013    74893     39 |  0.036 % |
1106.96/1106.93	c |   3278249 |   11146    60721   195291 |    83013    78992     43 |  0.036 % |
1110.46/1110.44	c |   3286442 |   11146    60721   195291 | 2147483647    87185     43 |  0.036 % |
1110.66/1110.66	c |   3286954 |   11146    60721   195291 | 2147483647    87697     43 |  0.036 % |
1110.86/1110.83	c |   3287466 |   11146    60721   195291 | 2147483647    88209     42 |  0.036 % |
1111.16/1111.18	c |   3288490 |   11146    60721   195291 | 2147483647    89233     42 |  0.036 % |
1111.26/1111.28	c |   3289002 |   11146    60721   195291 | 2147483647    89745     42 |  0.036 % |
1111.46/1111.42	c |   3289514 |   11146    60721   195291 | 2147483647    90257     42 |  0.036 % |
1111.66/1111.65	c |   3290538 |   11146    60721   195291 | 2147483647    91281     42 |  0.036 % |
1113.06/1113.04	c |   3292586 |   11146    60721   195291 | 2147483647    93329     44 |  0.037 % |
1113.36/1113.33	c |   3293098 |   11146    60721   195291 | 2147483647    93841     44 |  0.036 % |
1113.56/1113.51	c |   3293612 |   11146    60721   195291 | 2147483647    94355     44 |  0.036 % |
1113.76/1113.71	c |   3294637 |   11146    60721   195291 | 2147483647    95380     44 |  0.036 % |
1113.86/1113.90	c |   3295150 |   11146    60721   195291 | 2147483647    95893     44 |  0.036 % |
1114.16/1114.16	c |   3295663 |   11146    60721   195291 | 2147483647    96406     44 |  0.036 % |
1114.56/1114.55	c |   3296689 |   11146    60721   195291 | 2147483647    97432     44 |  0.036 % |
1115.46/1115.48	c |   3298737 |   11146    60721   195291 | 2147483647    99480     43 |  0.036 % |
1116.66/1116.65	c |   3302833 |   11146    60721   195291 |   100743   103576     44 |  0.036 % |
1116.96/1116.97	c |   3303347 |   11146    60721   195291 |   100743    91465     44 |  0.036 % |
1117.16/1117.13	c |   3303859 |   11146    60721   195291 |   100743    91977     44 |  0.036 % |
1117.56/1117.54	c |   3304886 |   11146    60721   195291 |   100743    93004     44 |  0.036 % |
1117.76/1117.75	c |   3305398 |   11146    60721   195291 |   100743    93516     44 |  0.036 % |
1118.06/1118.02	c |   3305910 |   11146    60721   195291 |   100743    94028     44 |  0.036 % |
1118.56/1118.57	c |   3306934 |   11146    60721   195291 |   100743    95052     44 |  0.036 % |
1119.36/1119.36	c |   3308982 |   11146    60721   195291 |   100743    97100     44 |  0.036 % |
1119.56/1119.53	c |   3309494 |   11146    60721   195291 |   100743    97612     44 |  0.036 % |
1119.76/1119.76	c |   3310006 |   11146    60721   195291 |    98118    98124     43 |  0.036 % |
1120.76/1120.78	c |   3311030 |   11146    60721   195291 |    98118    81079     42 |  0.037 % |
1121.06/1121.05	c |   3311542 |   11146    60721   195291 |    98118    81591     42 |  0.036 % |
1121.16/1121.20	c |   3312055 |   11146    60721   195291 |    98118    82104     42 |  0.037 % |
1121.56/1121.54	c |   3313079 |   11146    60721   195291 |    98118    83128     43 |  0.036 % |
1122.16/1122.12	c |   3315127 |   11146    60721   195291 |    98118    85176     44 |  0.036 % |
1123.26/1123.27	c |   3319223 |   11146    60721   195291 |    98118    89272     43 |  0.036 % |
1126.06/1126.04	c |   3327416 |   11146    60721   195291 |    90049    84731     42 |  0.036 % |
1132.86/1132.81	c |   3343801 |   11146    60721   195291 | 2147483647    92168     44 |  0.036 % |
1151.46/1151.45	c |   3376570 |   11146    60721   195291 |    64113    45007     67 |  0.036 % |
1151.56/1151.56	c |   3377084 |   11146    60721   195291 |    64113    45521     67 |  0.037 % |
1151.66/1151.65	c |   3377596 |   11146    60721   195291 |    64113    46033     67 |  0.036 % |
1151.76/1151.81	c |   3378620 |   11146    60721   195291 |    64113    47057     66 |  0.037 % |
1151.86/1151.89	c |   3379132 |   11146    60721   195291 |    64113    47569     65 |  0.036 % |
1151.96/1151.97	c |   3379644 |   11146    60721   195291 |    64113    48081     65 |  0.036 % |
1152.06/1152.08	c |   3380668 |   11146    60721   195291 |    48438    49105     64 |  0.036 % |
1152.36/1152.36	c |   3382717 |   11146    60721   195291 |    48438    36647     62 |  0.036 % |
1152.46/1152.43	c |   3383229 |   11146    60721   195291 |    48438    37159     61 |  0.036 % |
1152.46/1152.49	c |   3383743 |   11146    60721   195291 |    48438    37673     61 |  0.036 % |
1152.56/1152.61	c |   3384767 |   11146    60721   195291 |    48438    38697     60 |  0.036 % |
1152.66/1152.69	c |   3385279 |   11146    60721   195291 |    48438    39209     60 |  0.036 % |
1152.76/1152.74	c |   3385791 |   11146    60721   195291 |    48438    39721     59 |  0.036 % |
1152.96/1152.93	c |   3386815 |   11146    60721   195291 |    48438    40745     58 |  0.036 % |
1153.26/1153.28	c |   3388864 |   11146    60721   195291 |    48438    42794     56 |  0.036 % |
1154.06/1154.06	c |   3392960 |   11146    60721   195291 | 2147483647    46890     54 |  0.036 % |
1154.16/1154.15	c |   3393472 |   11146    60721   195291 | 2147483647    47402     54 |  0.036 % |
1154.26/1154.22	c |   3393984 |   11146    60721   195291 | 2147483647    47914     54 |  0.036 % |
1154.36/1154.40	c |   3395008 |   11146    60721   195291 | 2147483647    48938     53 |  0.036 % |
1154.56/1154.55	c |   3395520 |   11146    60721   195291 | 2147483647    49450     53 |  0.036 % |
1154.66/1154.70	c |   3396033 |   11146    60721   195291 | 2147483647    49963     53 |  0.036 % |
1154.96/1154.91	c |   3397057 |   11146    60721   195291 | 2147483647    50987     52 |  0.037 % |
1155.26/1155.26	c |   3399106 |   11146    60721   195291 | 2147483647    53036     51 |  0.036 % |
1155.46/1155.43	c |   3399618 |   11146    60721   195291 | 2147483647    53548     51 |  0.036 % |
1155.56/1155.55	c |   3400130 |   11146    60721   195291 | 2147483647    54060     51 |  0.036 % |
1155.96/1155.96	c |   3401154 |   11146    60721   195291 | 2147483647    55084     50 |  0.036 % |
1156.06/1156.03	c |   3401666 |   11146    60721   195291 | 2147483647    55596     50 |  0.036 % |
1156.16/1156.19	c |   3402178 |   11146    60721   195291 | 2147483647    56108     50 |  0.036 % |
1156.46/1156.46	c |   3403204 |   11146    60721   195291 | 2147483647    57134     49 |  0.036 % |
1156.66/1156.62	c |   3405252 |   11146    60721   195291 | 2147483647    59182     48 |  0.036 % |
1157.26/1157.30	c |   3409348 |   11146    60721   195291 | 2147483647    63278     49 |  0.036 % |
1159.06/1159.05	c |   3417540 |   11146    60721   195291 | 2147483647    71470     47 |  0.036 % |
1159.26/1159.29	c |   3418052 |   11146    60721   195291 | 2147483647    71982     47 |  0.037 % |
1159.46/1159.46	c |   3418564 |   11146    60721   195291 | 2147483647    72494     48 |  0.037 % |
1159.66/1159.67	c |   3419589 |   11146    60721   195291 | 2147483647    73519     47 |  0.036 % |
1159.76/1159.80	c |   3420103 |   11146    60721   195291 | 2147483647    74033     47 |  0.037 % |
1159.96/1159.95	c |   3420615 |   11146    60721   195291 | 2147483647    74545     47 |  0.036 % |
1160.16/1160.20	c |   3421640 |   11146    60721   195291 | 2147483647    75570     47 |  0.036 % |
1160.67/1160.67	c |   3423689 |   11146    60721   195291 | 2147483647    77619     46 |  0.036 % |
1160.76/1160.80	c |   3424201 |   11146    60721   195291 | 2147483647    78131     46 |  0.036 % |
1160.96/1160.98	c |   3424713 |   11146    60721   195291 | 2147483647    78643     46 |  0.036 % |
1161.16/1161.18	c |   3425737 |   11146    60721   195291 | 2147483647    79667     46 |  0.036 % |
1161.26/1161.28	c |   3426250 |   11146    60721   195291 | 2147483647    80180     46 |  0.036 % |
1161.46/1161.44	c |   3426762 |   11146    60721   195291 | 2147483647    80692     46 |  0.036 % |
1161.77/1161.78	c |   3427787 |   11146    60721   195291 | 2147483647    81717     45 |  0.036 % |
1161.96/1162.00	c |   3429835 |   11146    60721   195291 | 2147483647    83765     45 |  0.036 % |
1162.96/1162.97	c |   3433931 |   11146    60721   195291 | 2147483647    87861     45 |  0.036 % |
1163.06/1163.05	c |   3434445 |   11146    60721   195291 | 2147483647    88375     45 |  0.036 % |
1163.16/1163.20	c |   3434957 |   11146    60721   195291 | 2147483647    88887     45 |  0.036 % |
1163.36/1163.40	c |   3435981 |   11146    60721   195291 | 2147483647    89911     45 |  0.036 % |
1163.46/1163.45	c |   3436493 |   11146    60721   195291 | 2147483647    90423     45 |  0.036 % |
1163.56/1163.55	c |   3437007 |   11146    60721   195291 | 2147483647    90937     45 |  0.036 % |
1164.06/1164.08	c |   3438031 |   11146    60721   195291 | 2147483647    91961     46 |  0.036 % |
1164.96/1164.98	c |   3440079 |   11146    60721   195291 |    93930    94009     46 |  0.037 % |
1165.26/1165.27	c |   3440591 |   11146    60721   195291 |    93930    83062     39 |  0.036 % |
1165.46/1165.44	c |   3441105 |   11146    60721   195291 |    93930    83576     39 |  0.036 % |
1165.96/1165.97	c |   3442129 |   11146    60721   195291 |    93930    84600     39 |  0.036 % |
1166.06/1166.03	c |   3442641 |   11146    60721   195291 |    93930    85112     39 |  0.036 % |
1166.26/1166.23	c |   3443153 |   11146    60721   195291 |    93930    85624     39 |  0.036 % |
1166.66/1166.63	c |   3444177 |   11146    60721   195291 |    93930    86648     39 |  0.036 % |
1167.27/1167.29	c |   3446225 |   11146    60721   195291 |    93930    88696     38 |  0.036 % |
1168.76/1168.71	c |   3450321 |   11146    60721   195291 |    92471    92792     39 |  0.036 % |
1170.96/1171.01	c |   3458513 |   11146    60721   195291 |    92471    91705     34 |  0.036 % |
1177.17/1177.12	c |   3474900 |   11146    60721   195291 | 2147483647    93829     41 |  0.036 % |
1177.26/1177.28	c |   3475412 |   11146    60721   195291 | 2147483647    94341     41 |  0.036 % |
1177.46/1177.42	c |   3475924 |   11146    60721   195291 | 2147483647    94853     41 |  0.036 % |
1177.76/1177.72	c |   3476950 |   11146    60721   195291 | 2147483647    95879     41 |  0.036 % |
1177.96/1177.92	c |   3477462 |   11146    60721   195291 | 2147483647    96391     41 |  0.036 % |
1178.16/1178.17	c |   3477974 |   11146    60721   195291 | 2147483647    96903     41 |  0.036 % |
1178.66/1178.63	c |   3478998 |   11146    60721   195291 | 2147483647    97927     41 |  0.036 % |
1179.46/1179.44	c |   3481046 |   11146    60721   195291 |    98930    99975     41 |  0.036 % |
1179.66/1179.68	c |   3481559 |   11146    60721   195291 |    98930    85080     42 |  0.036 % |
1179.86/1179.86	c |   3482072 |   11146    60721   195291 |    98930    85593     42 |  0.037 % |
1180.26/1180.23	c |   3483096 |   11146    60721   195291 |    98930    86617     43 |  0.036 % |
1180.36/1180.42	c |   3483610 |   11146    60721   195291 |    98930    87131     44 |  0.036 % |
1180.66/1180.66	c |   3484122 |   11146    60721   195291 |    98930    87643     43 |  0.036 % |
1180.76/1180.77	c |   3485147 |   11146    60721   195291 |    98930    88668     43 |  0.036 % |
1181.26/1181.22	c |   3487197 |   11146    60721   195291 |    98930    90718     43 |  0.036 % |
1182.76/1182.76	c |   3491293 |   11146    60721   195291 |    93521    94814     43 |  0.036 % |
1183.06/1183.04	c |   3491806 |   11146    60721   195291 |    93521    75744     44 |  0.036 % |
1183.16/1183.20	c |   3492319 |   11146    60721   195291 |    93521    76257     44 |  0.036 % |
1183.56/1183.56	c |   3493344 |   11146    60721   195291 |    93521    77282     44 |  0.036 % |
1183.66/1183.63	c |   3493857 |   11146    60721   195291 |    93521    77795     44 |  0.036 % |
1183.77/1183.77	c |   3494369 |   11146    60721   195291 |    93521    78307     44 |  0.036 % |
1184.46/1184.45	c |   3495394 |   11146    60721   195291 |    93521    79332     45 |  0.036 % |
1184.96/1184.97	c |   3497442 |   11146    60721   195291 |    93521    81380     44 |  0.036 % |
1185.16/1185.19	c |   3497954 |   11146    60721   195291 |    93521    81892     44 |  0.036 % |
1185.26/1185.30	c |   3498466 |   11146    60721   195291 |    93521    82404     44 |  0.036 % |
1185.46/1185.46	c |   3499490 |   11146    60721   195291 |    93521    83428     44 |  0.036 % |
1185.56/1185.57	c |   3500002 |   11146    60721   195291 |    83938    83940     44 |  0.036 % |
1185.76/1185.78	c |   3500515 |   11146    60721   195291 |    83938    84453     44 |  0.036 % |
1186.26/1186.24	c |   3501539 |   11146    60721   195291 |    83938    74557     44 |  0.036 % |
1186.76/1186.80	c |   3503587 |   11146    60721   195291 |    83938    76605     44 |  0.037 % |
1188.96/1188.93	c |   3507683 |   11146    60721   195291 |    83938    80701     49 |  0.036 % |
1191.36/1191.38	c |   3515875 |   11146    60721   195291 | 2147483647    88893     49 |  0.036 % |
1191.56/1191.58	c |   3516387 |   11146    60721   195291 | 2147483647    89405     49 |  0.036 % |
1191.76/1191.72	c |   3516899 |   11146    60721   195291 | 2147483647    89917     49 |  0.036 % |
1191.96/1191.99	c |   3517925 |   11146    60721   195291 | 2147483647    90943     49 |  0.036 % |
1192.16/1192.13	c |   3518438 |   11146    60721   195291 | 2147483647    91456     49 |  0.036 % |
1192.26/1192.21	c |   3518951 |   11146    60721   195291 | 2147483647    91969     49 |  0.036 % |
1192.46/1192.50	c |   3519975 |   11146    60721   195291 | 2147483647    92993     49 |  0.036 % |
1193.36/1193.37	c |   3522024 |   11146    60721   195291 | 2147483647    95042     50 |  0.036 % |
1193.56/1193.60	c |   3522536 |   11146    60721   195291 | 2147483647    95554     50 |  0.037 % |
1193.76/1193.73	c |   3523048 |   11146    60721   195291 | 2147483647    96066     50 |  0.036 % |
1194.06/1194.10	c |   3524075 |   11146    60721   195291 | 2147483647    97093     50 |  0.037 % |
1194.36/1194.36	c |   3524587 |   11146    60721   195291 | 2147483647    97605     50 |  0.036 % |
1194.56/1194.61	c |   3525100 |   11146    60721   195291 | 2147483647    98118     50 |  0.036 % |
1195.06/1195.08	c |   3526124 |   11146    60721   195291 | 2147483647    99142     50 |  0.036 % |
1195.66/1195.67	c |   3528172 |   11146    60721   195291 | 2147483647   101190     49 |  0.036 % |
1196.86/1196.89	c |   3532268 |   11146    60721   195291 |   103018   105286     50 |  0.036 % |
1197.26/1197.22	c |   3532780 |   11146    60721   195291 |   103018    89847     49 |  0.036 % |
1197.56/1197.52	c |   3533292 |   11146    60721   195291 |   103018    90359     49 |  0.036 % |
1197.76/1197.75	c |   3534316 |   11146    60721   195291 |   103018    91383     49 |  0.036 % |
1197.96/1197.93	c |   3534828 |   11146    60721   195291 |   103018    91895     49 |  0.036 % |
1198.16/1198.16	c |   3535340 |   11146    60721   195291 |   103018    92407     49 |  0.036 % |
1198.56/1198.55	c |   3536366 |   11146    60721   195291 |   103018    93433     49 |  0.036 % |
1199.26/1199.30	c |   3538414 |   11146    60721   195291 |   103018    95481     49 |  0.036 % |
1199.46/1199.46	c |   3538926 |   11146    60721   195291 |   103018    95993     49 |  0.036 % |
1199.56/1199.60	c |   3539438 |   11146    60721   195291 |   103018    96505     49 |  0.036 % |
1199.96/1199.96	c |   3540464 |   11146    60721   195291 |    97069    97531     49 |  0.036 % |
1200.06/1200.01	HOME/SatELiteGTI: line 36: 15953 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:503) (c) roussel@cril.univ-artois.fr

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

[startup+0 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 15947
/proc/meminfo: memFree=1494380/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=9596 CPUtime=0.01
/proc/15947/stat : 15947 (runsolver) R 15945 10114 10114 0 -1 4202560 1 0 0 0 0 1 0 0 25 0 1 0 1008797528 9826304 14 4294967295 134512640 135670194 3215152304 3215150056 135164789 0 0 0 24578 0 0 0 17 1 0 0 0
/proc/15947/statm: 2399 14 0 283 0 2114 0
Current StackSize limit: 8192 KiB


[startup+0.110045 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 15947
/proc/meminfo: memFree=1494380/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2416 CPUtime=0.01
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 367 648 0 0 0 1 0 0 25 0 1 0 1008797528 2473984 277 4294967295 134512640 135169312 3216613104 3216611640 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15947/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416

[startup+0.21004 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 15947
/proc/meminfo: memFree=1494380/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2416 CPUtime=0.01
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 367 648 0 0 0 1 0 0 25 0 1 0 1008797528 2473984 277 4294967295 134512640 135169312 3216613104 3216611640 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15947/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416

[startup+0.310035 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 15947
/proc/meminfo: memFree=1494380/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2416 CPUtime=0.01
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 367 648 0 0 0 1 0 0 25 0 1 0 1008797528 2473984 277 4294967295 134512640 135169312 3216613104 3216611640 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15947/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416

[startup+0.710016 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 15947
/proc/meminfo: memFree=1494380/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 2420

[startup+1.50998 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 15953
/proc/meminfo: memFree=1487064/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=6076 CPUtime=0.94
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 1456 0 0 0 93 1 0 0 25 0 1 0 1008797586 6221824 1390 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15953/statm: 1519 1390 75 172 0 1346 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8496

[startup+3.1099 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 15953
/proc/meminfo: memFree=1486196/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=7404 CPUtime=2.54
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 1795 0 0 0 253 1 0 0 25 0 1 0 1008797586 7581696 1729 4294967295 134512640 135216591 3221111680 3221109872 134528833 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15953/statm: 1851 1729 75 172 0 1678 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9824

[startup+6.30974 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 15953
/proc/meminfo: memFree=1483068/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=10496 CPUtime=5.74
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 2538 0 0 0 573 1 0 0 25 0 1 0 1008797586 10747904 2472 4294967295 134512640 135216591 3221111680 3221109872 134528966 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15953/statm: 2624 2472 75 172 0 2451 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12916

[startup+12.7094 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 15953
/proc/meminfo: memFree=1477404/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=16120 CPUtime=12.14
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 3922 0 0 0 1212 2 0 0 25 0 1 0 1008797586 16506880 3856 4294967295 134512640 135216591 3221111680 3221109648 134538716 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15953/statm: 4030 3856 75 172 0 3857 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 18540

[startup+25.5088 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 15953
/proc/meminfo: memFree=1470688/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=22716 CPUtime=24.94
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 5544 0 0 0 2489 5 0 0 25 0 1 0 1008797586 23261184 5478 4294967295 134512640 135216591 3221111680 3221109584 134532810 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15953/statm: 5679 5478 75 172 0 5506 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 25136

[startup+51.1076 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 15957
/proc/meminfo: memFree=1466828/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=26304 CPUtime=50.54
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 6467 0 0 0 5048 6 0 0 25 0 1 0 1008797586 26935296 6401 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15953/statm: 6576 6401 75 172 0 6403 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 28724

[startup+102.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 16144
/proc/meminfo: memFree=1463216/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=29528 CPUtime=101.75
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 7283 0 0 0 10168 7 0 0 25 0 1 0 1008797586 30236672 7217 4294967295 134512640 135216591 3221111680 3221109872 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15953/statm: 7382 7217 75 172 0 7209 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 31948

[startup+162.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 16331
/proc/meminfo: memFree=1459504/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=33108 CPUtime=161.74
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 8167 0 0 0 16167 7 0 0 25 0 1 0 1008797586 33902592 8101 4294967295 134512640 135216591 3221111680 3221109872 134528902 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15953/statm: 8277 8101 75 172 0 8104 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 35528

[startup+222.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 16524
/proc/meminfo: memFree=1459636/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=33108 CPUtime=221.74
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 8193 0 0 0 22165 9 0 0 25 0 1 0 1008797586 33902592 8127 4294967295 134512640 135216591 3221111680 3221109872 134529251 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 8277 8127 75 172 0 8104 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 35528

[startup+282.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 16711
/proc/meminfo: memFree=1459396/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=33400 CPUtime=281.73
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 8229 0 0 0 28164 9 0 0 25 0 1 0 1008797586 34201600 8163 4294967295 134512640 135216591 3221111680 3221109856 134525740 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 8350 8163 75 172 0 8177 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 35820

[startup+342.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 16899
/proc/meminfo: memFree=1456288/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=36744 CPUtime=341.74
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 9077 0 0 0 34165 9 0 0 25 0 1 0 1008797586 37625856 9011 4294967295 134512640 135216591 3221111680 3221109872 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 9186 9011 75 172 0 9013 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 39164

[startup+402.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 17087
/proc/meminfo: memFree=1456296/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=36744 CPUtime=401.74
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 9077 0 0 0 40164 10 0 0 25 0 1 0 1008797586 37625856 9011 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 9186 9011 75 172 0 9013 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 39164

[startup+462.318 s]

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

[pid=15953] ppid=15947 vsize=39652 CPUtime=521.75
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 9812 0 0 0 52165 10 0 0 25 0 1 0 1008797586 40603648 9746 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 9913 9746 75 172 0 9740 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 42072

[startup+582.322 s]
/proc/loadavg: 1.15 1.04 1.01 3/95 17656
/proc/meminfo: memFree=1452948/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=39652 CPUtime=581.76
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 9812 0 0 0 58166 10 0 0 25 0 1 0 1008797586 40603648 9746 4294967295 134512640 135216591 3221111680 3221109872 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 9913 9746 75 172 0 9740 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 42072

[startup+642.319 s]
/proc/loadavg: 1.05 1.03 1.01 3/95 17844
/proc/meminfo: memFree=1452940/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=39824 CPUtime=641.76
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 9826 0 0 0 64166 10 0 0 25 0 1 0 1008797586 40779776 9760 4294967295 134512640 135216591 3221111680 3221109872 134529259 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 9956 9760 75 172 0 9783 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 42244

[startup+702.316 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 18031
/proc/meminfo: memFree=1452816/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=39824 CPUtime=701.76
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 9828 0 0 0 70166 10 0 0 25 0 1 0 1008797586 40779776 9762 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 9956 9762 75 172 0 9783 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 42244

[startup+762.323 s]
/proc/loadavg: 1.05 1.03 1.00 2/95 18219
/proc/meminfo: memFree=1448236/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=44312 CPUtime=761.77
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 10981 0 0 0 76166 11 0 0 25 0 1 0 1008797586 45375488 10915 4294967295 134512640 135216591 3221111680 3221109648 134538210 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 11078 10915 75 172 0 10905 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 46732

[startup+822.31 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 18408
/proc/meminfo: memFree=1448524/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=44312 CPUtime=821.76
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 10981 0 0 0 82163 13 0 0 25 0 1 0 1008797586 45375488 10915 4294967295 134512640 135216591 3221111680 3221109648 134538470 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 11078 10915 75 172 0 10905 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 46732

[startup+882.317 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 18599
/proc/meminfo: memFree=1448028/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=44312 CPUtime=881.77
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 10983 0 0 0 88162 15 0 0 25 0 1 0 1008797586 45375488 10917 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 11078 10917 75 172 0 10905 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 46732

[startup+942.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 18788
/proc/meminfo: memFree=1447888/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=44312 CPUtime=941.77
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 10985 0 0 0 94162 15 0 0 25 0 1 0 1008797586 45375488 10919 4294967295 134512640 135216591 3221111680 3221109856 134525281 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 11078 10919 75 172 0 10905 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 46732

[startup+1002.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 18977
/proc/meminfo: memFree=1447904/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=44576 CPUtime=1001.77
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 11032 0 0 0 100161 16 0 0 25 0 1 0 1008797586 45645824 10966 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 11144 10966 75 172 0 10971 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 46996

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 19165
/proc/meminfo: memFree=1445556/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=46820 CPUtime=1061.77
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 11602 0 0 0 106160 17 0 0 25 0 1 0 1008797586 47943680 11536 4294967295 134512640 135216591 3221111680 3221109856 134525873 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 11705 11536 75 172 0 11532 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 49240

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 19354
/proc/meminfo: memFree=1445548/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=46820 CPUtime=1121.78
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 11602 0 0 0 112160 18 0 0 25 0 1 0 1008797586 47943680 11536 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 11705 11536 75 172 0 11532 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 49240

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 19541
/proc/meminfo: memFree=1445432/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=47084 CPUtime=1181.78
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 11654 0 0 0 118157 21 0 0 25 0 1 0 1008797586 48214016 11588 4294967295 134512640 135216591 3221111680 3221109872 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 11771 11588 75 172 0 11598 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 49504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 19543
/proc/meminfo: memFree=1444060/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=48536 CPUtime=1199.48
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 12035 0 0 0 119924 24 0 0 25 0 1 0 1008797586 49700864 11969 4294967295 134512640 135216591 3221111680 3221108896 134546064 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 12134 11969 75 172 0 11961 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 50956

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

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

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 19543
/proc/meminfo: memFree=1444060/2074464 swapFree=1950872/1959888
[pid=15947] ppid=15945 vsize=2420 CPUtime=0.58
/proc/15947/stat : 15947 (SatELiteGTI) S 15945 15947 10114 0 -1 4194304 387 4336 0 0 0 1 54 3 20 0 1 0 1008797528 2478080 279 4294967295 134512640 135169312 3216613104 3216609320 3084902126 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15947/statm: 605 279 235 161 0 44 0
[pid=15953] ppid=15947 vsize=48536 CPUtime=1199.48
/proc/15953/stat : 15953 (minisat_static) R 15947 15947 10114 0 -1 4202496 12035 0 0 0 119924 24 0 0 25 0 1 0 1008797586 49700864 11969 4294967295 134512640 135216591 3221111680 3221108896 134546064 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15953/statm: 12134 11969 75 172 0 11961 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 50956

Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.07
CPU user time (s): 1199.78
CPU system time (s): 0.29
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 50956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.78
system time used= 0.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17034
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= 22
involuntary context switches= 2252

runsolver used 0.05 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi13 at 2009-05-16 05:02:47
IDJOB=1820429
IDBENCH=20403
IDSOLVER=658
FILE ID=tipi13/1820429-1242442967
PBS_JOBID=
Free space on /tmp= 8376 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820429-1242442967/watcher-1820429-1242442967 -o /tmp/evaluation-result-1820429-1242442967/solver-1820429-1242442967 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820429-1242442967.cnf

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

MD5SUM BENCH= 0cf155110f71a43081221b427d368ee8
RANDOM SEED= 765927638

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1494380 kB
Buffers:         24508 kB
Cached:         474804 kB
SwapCached:       3612 kB
Active:         259024 kB
Inactive:       249856 kB
HighTotal:     1178688 kB
HighFree:       735908 kB
LowTotal:       895776 kB
LowFree:        758472 kB
SwapTotal:     1959888 kB
SwapFree:      1950872 kB
Dirty:            3032 kB
Writeback:           0 kB
AnonPages:        8440 kB
Mapped:           3156 kB
Slab:            62600 kB
PageTables:        404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90600 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8376 MiB
End job on tipi13 at 2009-05-16 05:22:47