Trace number 3289954

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
glucose 2? (TO) 1300.03 1300.01

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
MD5SUM5092a9db644d53c7bc023e4dff206812
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 variables1192
Number of clauses10656
Sum of the clauses size56868
Maximum clause length8
Minimum clause length1
Number of clauses of size 1264
Number of clauses of size 2128
Number of clauses of size 32016
Number of clauses of size 4320
Number of clauses of size 52048
Number of clauses of size over 55880

Solver Data

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   10360    56444 |    3107       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    9592    53884 |      --       0       --      -- |     --   | -256/-512
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 800   #clauses: 9592   #literals: 53884
0.00/0.01	c CPU time:   0.007998 s
0.00/0.01	c ==============================================================================
0.00/0.02	c
0.00/0.02	c Starting glucose
0.00/0.02	c
0.01/0.37	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.01/0.37	c WARNING: for repeatability, setting FPU to use double precision
0.01/0.37	c ============================[ Problem Statistics ]=============================
0.01/0.37	c |                                                                             |
0.01/0.37	c |  Number of variables:           800                                         |
0.01/0.37	c |  Number of clauses:            9592                                         |
0.01/0.37	c |  Parse time:                   0.00 s                                       |
0.01/0.37	c |                                                                             |
0.01/0.37	c ============================[ Search Statistics ]==============================
0.01/0.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.37	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.01/0.37	c ===============================================================================
0.01/0.37	c |      1278 |     800     9592    53884 |        1     1278     21 |  0.000 % |
0.01/0.37	c |      1611 |     800     9592    53884 |        1     1611     22 |  0.000 % |
0.01/0.37	c |      1827 |     800     9592    53884 |        1     1827     23 |  0.000 % |
0.01/0.37	c |      4546 |     800     9592    53884 |        1     2558     13 |  0.000 % |
0.01/0.37	c |      5470 |     800     9592    53884 |        1     3482     15 |  0.000 % |
0.01/0.37	c |      5847 |     800     9592    53884 |        1     3859     15 |  0.000 % |
0.01/0.37	c |      6472 |     800     9592    53884 |        1     4484     17 |  0.000 % |
0.01/0.37	c |      6701 |     800     9592    53884 |        1     4713     17 |  0.000 % |
0.01/0.37	c |      7625 |     800     9592    53884 |        1     5637     17 |  0.000 % |
0.01/0.37	c |      8354 |     800     9592    53884 |        1     6366     19 |  0.000 % |
0.01/0.37	c |      9255 |     800     9592    53884 |        1     7267     19 |  0.000 % |
0.01/0.37	c |     10381 |     800     9592    53884 |        1     8393     20 |  0.000 % |
0.01/0.37	c |     11879 |     800     9592    53884 |        1     5596     14 |  0.000 % |
0.01/0.37	c |     12273 |     800     9592    53884 |        1     5990     14 |  0.000 % |
0.01/0.37	c |     13087 |     800     9592    53884 |        1     6804     16 |  0.000 % |
0.01/0.37	c |     13353 |     800     9592    53884 |        1     7070     16 |  0.000 % |
0.01/0.37	c |     13469 |     800     9592    53884 |        1     7186     16 |  0.000 % |
0.01/0.37	c |     13739 |     800     9592    53884 |        1     7456     16 |  0.000 % |
0.01/0.37	c |     13874 |     800     9592    53884 |        1     7591     17 |  0.000 % |
0.01/0.37	c |     14078 |     800     9592    53884 |        1     7795     17 |  0.000 % |
0.01/0.37	c |     14273 |     800     9592    53884 |        1     7990     17 |  0.000 % |
0.01/0.37	c |     14408 |     800     9592    53884 |        1     8125     17 |  0.000 % |
0.01/0.37	c |     14577 |     800     9592    53884 |        1     8294     18 |  0.000 % |
0.01/0.37	c |     14677 |     800     9592    53884 |        1     8394     18 |  0.000 % |
0.01/0.37	c |     14990 |     800     9592    53884 |        1     8707     18 |  0.000 % |
0.01/0.37	c |     15090 |     800     9592    53884 |        1     8807     18 |  0.000 % |
0.01/0.37	c |     15190 |     800     9592    53884 |        1     8907     18 |  0.000 % |
0.01/0.37	c |     15573 |     800     9592    53884 |        1     9290     19 |  0.000 % |
0.01/0.37	c |     15675 |     800     9592    53884 |        1     9392     19 |  0.000 % |
0.01/0.37	c |     16249 |     800     9592    53884 |        1     9966     19 |  0.000 % |
0.01/0.37	c |     16349 |     800     9592    53884 |        1    10066     20 |  0.000 % |
0.01/0.37	c |     16477 |     800     9592    53884 |        1    10194     20 |  0.000 % |
0.01/0.37	c |     16820 |     800     9592    53884 |        1    10537     20 |  0.000 % |
0.01/0.37	c |     16988 |     800     9592    53884 |        1    10705     20 |  0.000 % |
0.01/0.37	c |     17550 |     800     9592    53884 |        1    11267     20 |  0.000 % |
0.01/0.37	c |     17919 |     800     9592    53884 |        1    11636     21 |  0.000 % |
0.01/0.37	c |     18310 |     800     9592    53884 |        1    12027     21 |  0.000 % |
0.01/0.37	c |     19560 |     800     9592    53884 |        1    13277     21 |  0.000 % |
0.01/0.37	c |     21155 |     800     9592    53884 |        1     8118     14 |  0.000 % |
1.18/1.24	c |     21377 |     800     9592    53884 |        1     8340     14 |  0.000 % |
1.18/1.24	c |     22123 |     800     9592    53884 |        1     9086     15 |  0.000 % |
1.18/1.24	c |     22444 |     800     9592    53884 |        1     9407     15 |  0.000 % |
1.18/1.24	c |     24874 |     800     9592    53884 |        1    11837     18 |  0.000 % |
1.18/1.24	c |     24974 |     800     9592    53884 |        1    11937     18 |  0.000 % |
1.18/1.24	c |     27056 |     800     9592    53884 |        1    14019     19 |  0.000 % |
1.18/1.24	c |     27158 |     800     9592    53884 |        1    14121     19 |  0.000 % |
1.18/1.24	c |     27540 |     800     9592    53884 |        1    14503     19 |  0.000 % |
1.18/1.24	c |     28807 |     800     9592    53884 |        1    15770     20 |  0.000 % |
1.18/1.24	c |     29058 |     800     9592    53884 |        1    16021     20 |  0.000 % |
1.18/1.24	c |     29554 |     800     9592    53884 |        1    16517     20 |  0.000 % |
1.18/1.24	c |     32133 |     800     9592    53884 |        1     9826     12 |  0.000 % |
1.18/1.24	c |     35578 |     800     9592    53884 |        1    13271     15 |  0.000 % |
1.18/1.24	c |     35851 |     800     9592    53884 |        1    13544     16 |  0.000 % |
1.18/1.24	c |     38478 |     800     9592    53884 |        1    16171     18 |  0.000 % |
1.18/1.24	c |     38701 |     800     9592    53884 |        1    16394     18 |  0.000 % |
1.18/1.24	c |     38861 |     800     9592    53884 |        1    16554     18 |  0.000 % |
1.18/1.24	c |     38961 |     800     9592    53884 |        1    16654     18 |  0.000 % |
1.18/1.24	c |     39111 |     800     9592    53884 |        1    16804     19 |  0.000 % |
1.18/1.24	c |     39492 |     800     9592    53884 |        1    17185     19 |  0.000 % |
1.18/1.24	c |     39916 |     800     9592    53884 |        1    17609     19 |  0.000 % |
1.18/1.24	c |     42538 |     800     9592    53884 |        1    20231     20 |  0.000 % |
1.18/1.24	c |     42638 |     800     9592    53884 |        1    20331     20 |  0.000 % |
1.18/1.24	c |     42750 |     800     9592    53884 |        1    20443     20 |  0.000 % |
1.18/1.24	c |     43395 |     800     9592    53884 |        1    21088     20 |  0.000 % |
1.18/1.24	c |     44464 |     800     9592    53884 |        1    22157     21 |  0.000 % |
1.18/1.24	c |     44711 |     800     9592    53884 |        1    22404     21 |  0.000 % |
1.18/1.24	c |     45325 |     800     9592    53884 |        1    23018     21 |  0.000 % |
1.18/1.24	c |     45434 |     800     9592    53884 |        1    23127     21 |  0.000 % |
1.18/1.24	c |     45535 |     800     9592    53884 |        1    23228     21 |  0.000 % |
1.18/1.24	c |     45636 |     800     9592    53884 |        1    23329     21 |  0.000 % |
1.18/1.24	c |     45776 |     800     9592    53884 |        1    23469     21 |  0.000 % |
1.18/1.24	c |     45906 |     800     9592    53884 |        1    23599     21 |  0.000 % |
1.18/1.24	c |     46008 |     800     9592    53884 |        1    11858     10 |  0.000 % |
1.18/1.24	c |     46172 |     800     9592    53884 |        1    12022     10 |  0.000 % |
1.18/1.24	c |     46863 |     800     9592    53884 |        1    12713     11 |  0.000 % |
1.18/1.24	c |     48362 |     800     9592    53884 |        1    14212     14 |  0.000 % |
1.18/1.24	c |     48710 |     800     9592    53884 |        1    14560     14 |  0.000 % |
1.18/1.24	c |     48967 |     800     9592    53884 |        1    14817     14 |  0.000 % |
1.18/1.24	c |     49594 |     800     9592    53884 |        1    15444     15 |  0.000 % |
1.18/1.24	c |     49696 |     800     9592    53884 |        1    15546     15 |  0.000 % |
1.18/1.24	c |     49796 |     800     9592    53884 |        1    15646     15 |  0.000 % |
1.18/1.24	c |     49983 |     800     9592    53884 |        1    15833     16 |  0.000 % |
1.18/1.24	c |     51270 |     800     9592    53884 |        1    17120     17 |  0.000 % |
1.18/1.24	c |     51371 |     800     9592    53884 |        1    17221     17 |  0.000 % |
1.18/1.24	c |     51721 |     800     9592    53884 |        1    17571     17 |  0.000 % |
1.18/1.24	c |     52280 |     800     9592    53884 |        1    18130     18 |  0.000 % |
1.18/1.24	c |     52698 |     800     9592    53884 |        1    18548     18 |  0.000 % |
1.18/1.24	c |     52896 |     800     9592    53884 |        1    18746     18 |  0.000 % |
1.18/1.24	c |     54146 |     800     9592    53884 |        1    19996     19 |  0.000 % |
2.48/2.52	c |     55048 |     800     9592    53884 |        1    20898     19 |  0.000 % |
2.48/2.52	c |     56337 |     800     9592    53884 |        1    22187     20 |  0.000 % |
2.48/2.52	c |     57435 |     800     9592    53884 |        1    23285     20 |  0.000 % |
2.48/2.52	c |     57542 |     800     9592    53884 |        1    23392     20 |  0.000 % |
2.48/2.52	c |     62791 |     800     9592    53884 |        1    28641     22 |  0.000 % |
2.48/2.52	c |     65020 |     800     9592    53884 |        1    16454     13 |  0.000 % |
2.48/2.52	c |     65373 |     800     9592    53884 |        1    16807     13 |  0.000 % |
2.48/2.52	c |     68617 |     800     9592    53884 |        1    20051     16 |  0.000 % |
2.48/2.52	c |     68811 |     800     9592    53884 |        1    20245     16 |  0.000 % |
2.48/2.52	c |     69694 |     800     9592    53884 |        1    21128     17 |  0.000 % |
2.48/2.52	c |     70496 |     800     9592    53884 |        1    21930     18 |  0.000 % |
2.48/2.52	c |     70600 |     800     9592    53884 |        1    22034     18 |  0.000 % |
2.48/2.52	c |     70825 |     800     9592    53884 |        1    22259     18 |  0.000 % |
2.48/2.52	c |     70926 |     800     9592    53884 |        1    22360     18 |  0.000 % |
2.48/2.52	c |     71162 |     800     9592    53884 |        1    22596     18 |  0.000 % |
2.48/2.52	c |     71262 |     800     9592    53884 |        1    22696     18 |  0.000 % |
2.48/2.52	c |     71395 |     800     9592    53884 |        1    22829     18 |  0.000 % |
2.48/2.52	c |     71666 |     800     9592    53884 |        1    23100     18 |  0.000 % |
2.48/2.52	c |     71769 |     800     9592    53884 |        1    23203     18 |  0.000 % |
2.48/2.52	c |     71999 |     800     9592    53884 |        1    23433     18 |  0.000 % |
2.48/2.52	c |     72897 |     800     9592    53884 |        1    24331     19 |  0.000 % |
2.48/2.52	c |     73207 |     800     9592    53884 |        1    24641     19 |  0.000 % |
2.48/2.52	c |     73510 |     800     9592    53884 |        1    24944     19 |  0.000 % |
2.48/2.52	c |     73846 |     800     9592    53884 |        1    25280     20 |  0.000 % |
2.48/2.52	c |     74525 |     800     9592    53884 |        1    25959     20 |  0.000 % |
2.48/2.52	c |     75156 |     800     9592    53884 |        1    26590     20 |  0.000 % |
2.48/2.52	c |     76011 |     800     9592    53884 |        1    27445     20 |  0.000 % |
2.48/2.52	c |     76377 |     800     9592    53884 |        1    27811     20 |  0.000 % |
2.48/2.52	c |     77418 |     800     9592    53884 |        1    28852     21 |  0.000 % |
2.48/2.52	c |     79949 |     800     9592    53884 |        1    31383     22 |  0.000 % |
2.48/2.52	c |     80926 |     800     9592    53884 |        1    32360     22 |  0.000 % |
2.48/2.52	c |     81570 |     800     9592    53884 |        1    33004     22 |  0.000 % |
2.48/2.52	c |     81693 |     800     9592    53884 |        1    33127     22 |  0.000 % |
2.48/2.52	c |     82071 |     800     9592    53884 |        1    33505     22 |  0.000 % |
2.48/2.52	c |     82328 |     800     9592    53884 |        1    33762     22 |  0.000 % |
2.48/2.52	c |     82521 |     800     9592    53884 |        1    33955     22 |  0.000 % |
2.48/2.52	c |     82623 |     800     9592    53884 |        1    17051     10 |  0.000 % |
2.48/2.52	c |     85175 |     800     9592    53884 |        1    19603     13 |  0.000 % |
2.48/2.52	c |     85341 |     800     9592    53884 |        1    19769     14 |  0.000 % |
2.48/2.52	c |     87075 |     800     9592    53884 |        1    21503     15 |  0.000 % |
2.48/2.52	c |     87266 |     800     9592    53884 |        1    21694     15 |  0.000 % |
2.48/2.52	c |     87366 |     800     9592    53884 |        1    21794     15 |  0.000 % |
2.48/2.52	c |     87466 |     800     9592    53884 |        1    21894     15 |  0.000 % |
2.48/2.52	c |     87823 |     800     9592    53884 |        1    22251     15 |  0.000 % |
2.48/2.52	c |     88062 |     800     9592    53884 |        1    22490     15 |  0.000 % |
2.48/2.52	c |     88284 |     800     9592    53884 |        1    22712     15 |  0.000 % |
2.48/2.52	c |     89034 |     800     9592    53884 |        1    23462     16 |  0.000 % |
2.48/2.52	c |     89920 |     800     9592    53884 |        1    24348     16 |  0.000 % |
2.48/2.52	c |     90460 |     800     9592    53884 |        1    24888     17 |  0.000 % |
2.48/2.52	c |     90560 |     800     9592    53884 |        1    24988     17 |  0.000 % |
6.78/6.80	c |     92253 |     800     9592    53884 |        1    26681     17 |  0.000 % |
6.78/6.80	c |     92921 |     800     9592    53884 |        1    27349     18 |  0.000 % |
6.78/6.80	c |     93397 |     800     9592    53884 |        1    27825     18 |  0.000 % |
6.78/6.80	c |     93529 |     800     9592    53884 |        1    27957     18 |  0.000 % |
6.78/6.80	c |     94452 |     800     9592    53884 |        1    28880     19 |  0.000 % |
6.78/6.80	c |     94560 |     800     9592    53884 |        1    28988     19 |  0.000 % |
6.78/6.80	c |     99046 |     800     9592    53884 |        1    33474     21 |  0.000 % |
6.78/6.80	c |     99356 |     800     9592    53884 |        1    33784     21 |  0.000 % |
6.78/6.80	c |    100137 |     800     9592    53884 |        1    34565     21 |  0.000 % |
6.78/6.80	c |    100237 |     800     9592    53884 |        1    34665     21 |  0.000 % |
6.78/6.80	c |    117851 |     800     9592    53884 |        1    32677     23 |  0.000 % |
6.78/6.80	c |    119354 |     800     9592    53884 |        1    34180     23 |  0.000 % |
6.78/6.80	c |    123542 |     800     9592    53884 |        1    38368     24 |  0.000 % |
6.78/6.80	c |    128856 |     800     9592    53884 |        1    43682     25 |  0.000 % |
6.78/6.80	c |    131731 |     800     9592    53884 |        1    24356     12 |  0.000 % |
6.78/6.80	c |    132166 |     800     9592    53884 |        1    24791     12 |  0.000 % |
6.78/6.80	c |    132489 |     800     9592    53884 |        1    25114     13 |  0.000 % |
6.78/6.80	c |    132793 |     800     9592    53884 |        1    25418     13 |  0.000 % |
6.78/6.80	c |    134321 |     800     9592    53884 |        1    26946     14 |  0.000 % |
6.78/6.80	c |    134982 |     800     9592    53884 |        1    27607     14 |  0.000 % |
6.78/6.80	c |    135524 |     800     9592    53884 |        1    28149     15 |  0.000 % |
6.78/6.80	c |    135801 |     800     9592    53884 |        1    28426     15 |  0.000 % |
6.78/6.80	c |    136160 |     800     9592    53884 |        1    28785     15 |  0.000 % |
6.78/6.80	c |    142068 |     800     9592    53884 |        1    34693     17 |  0.000 % |
6.78/6.80	c |    145992 |     800     9592    53884 |        1    38617     19 |  0.000 % |
6.78/6.80	c |    146620 |     800     9592    53884 |        1    39245     19 |  0.000 % |
6.78/6.80	c |    147385 |     800     9592    53884 |        1    40010     20 |  0.000 % |
6.78/6.80	c |    148428 |     800     9592    53884 |        1    41053     20 |  0.000 % |
6.78/6.80	c |    148837 |     800     9592    53884 |        1    41462     20 |  0.000 % |
6.78/6.80	c |    149304 |     800     9592    53884 |        1    41929     20 |  0.000 % |
6.78/6.80	c |    150646 |     800     9592    53884 |        1    43271     21 |  0.000 % |
6.78/6.80	c |    151023 |     800     9592    53884 |        1    43648     21 |  0.000 % |
6.78/6.80	c |    151619 |     800     9592    53884 |        1    44244     21 |  0.000 % |
6.78/6.80	c |    152032 |     800     9592    53884 |        1    44657     21 |  0.000 % |
6.78/6.80	c |    152353 |     800     9592    53884 |        1    44978     21 |  0.000 % |
6.78/6.80	c |    152737 |     800     9592    53884 |        1    45362     21 |  0.000 % |
6.78/6.80	c |    155271 |     800     9592    53884 |        1    47896     22 |  0.000 % |
6.78/6.80	c |    157882 |     800     9592    53884 |        1    25710     11 |  0.000 % |
6.78/6.80	c |    158320 |     800     9592    53884 |        1    26148     11 |  0.000 % |
6.78/6.80	c |    158690 |     800     9592    53884 |        1    26518     12 |  0.000 % |
6.78/6.80	c |    163202 |     800     9592    53884 |        1    31030     15 |  0.000 % |
6.78/6.80	c |    164272 |     800     9592    53884 |        1    32100     16 |  0.000 % |
6.78/6.80	c |    166029 |     800     9592    53884 |        1    33857     16 |  0.000 % |
6.78/6.80	c |    166707 |     800     9592    53884 |        1    34535     17 |  0.000 % |
6.78/6.80	c |    167908 |     800     9592    53884 |        1    35736     17 |  0.000 % |
6.78/6.80	c |    169402 |     800     9592    53884 |        1    37230     18 |  0.000 % |
6.78/6.80	c |    171972 |     800     9592    53884 |        1    39800     19 |  0.000 % |
6.78/6.80	c |    172389 |     800     9592    53884 |        1    40217     19 |  0.000 % |
6.78/6.80	c |    173297 |     800     9592    53884 |        1    41125     19 |  0.000 % |
6.78/6.80	c |    176499 |     800     9592    53884 |        1    44327     20 |  0.000 % |
8.79/8.86	c |    178030 |     800     9592    53884 |        1    45858     20 |  0.000 % |
8.79/8.86	c |    178415 |     800     9592    53884 |        1    46243     20 |  0.000 % |
8.79/8.86	c |    179082 |     800     9592    53884 |        1    46910     21 |  0.000 % |
8.79/8.86	c |    183298 |     800     9592    53884 |        1    51126     21 |  0.000 % |
8.79/8.86	c |    184478 |     800     9592    53884 |        1    52306     21 |  0.000 % |
8.79/8.86	c |    185453 |     800     9592    53884 |        1    53281     22 |  0.000 % |
8.79/8.86	c |    186284 |     800     9592    53884 |        1    54112     22 |  0.000 % |
8.79/8.86	c |    186489 |     800     9592    53884 |        1    54317     22 |  0.000 % |
8.79/8.86	c |    187223 |     800     9592    53884 |        1    27647     10 |  0.000 % |
8.79/8.86	c |    187324 |     800     9592    53884 |        1    27748     10 |  0.000 % |
8.79/8.86	c |    187691 |     800     9592    53884 |        1    28115     11 |  0.000 % |
8.79/8.86	c |    189741 |     800     9592    53884 |        1    30165     13 |  0.000 % |
8.79/8.86	c |    189853 |     800     9592    53884 |        1    30277     13 |  0.000 % |
8.79/8.86	c |    189971 |     800     9592    53884 |        1    30395     13 |  0.000 % |
8.79/8.86	c |    190071 |     800     9592    53884 |        1    30495     13 |  0.000 % |
8.79/8.86	c |    190303 |     800     9592    53884 |        1    30727     13 |  0.000 % |
8.79/8.86	c |    190574 |     800     9592    53884 |        1    30998     13 |  0.000 % |
8.79/8.86	c |    191106 |     800     9592    53884 |        1    31530     13 |  0.000 % |
8.79/8.86	c |    192293 |     800     9592    53884 |        1    32717     14 |  0.000 % |
8.79/8.86	c |    194712 |     800     9592    53884 |        1    35136     16 |  0.000 % |
8.79/8.86	c |    195236 |     800     9592    53884 |        1    35660     16 |  0.000 % |
8.79/8.86	c |    195520 |     800     9592    53884 |        1    35944     16 |  0.000 % |
8.79/8.86	c |    199345 |     800     9592    53884 |        1    39769     17 |  0.000 % |
8.79/8.86	c |    199554 |     800     9592    53884 |        1    39978     17 |  0.000 % |
8.79/8.86	c |    199922 |     800     9592    53884 |        1    40346     18 |  0.000 % |
8.79/8.86	c |    200830 |     800     9592    53884 |        1    41254     18 |  0.000 % |
8.79/8.86	c |    201190 |     800     9592    53884 |        1    41614     18 |  0.000 % |
8.79/8.86	c |    201586 |     800     9592    53884 |        1    42010     18 |  0.000 % |
8.79/8.86	c |    202329 |     800     9592    53884 |        1    42753     18 |  0.000 % |
8.79/8.86	c |    203152 |     800     9592    53884 |        1    43576     19 |  0.000 % |
8.79/8.86	c |    203252 |     800     9592    53884 |        1    43676     19 |  0.000 % |
8.79/8.86	c |    203353 |     800     9592    53884 |        1    43777     19 |  0.000 % |
8.79/8.86	c |    203589 |     800     9592    53884 |        1    44013     19 |  0.000 % |
8.79/8.86	c |    203710 |     800     9592    53884 |        1    44134     19 |  0.000 % |
8.79/8.86	c |    203982 |     800     9592    53884 |        1    44406     19 |  0.000 % |
8.79/8.86	c |    204147 |     800     9592    53884 |        1    44571     19 |  0.000 % |
8.79/8.86	c |    204249 |     800     9592    53884 |        1    44673     19 |  0.000 % |
8.79/8.86	c |    209637 |     800     9592    53884 |        1    50061     21 |  0.000 % |
8.79/8.86	c |    210083 |     800     9592    53884 |        1    50507     21 |  0.000 % |
8.79/8.86	c |    210185 |     800     9592    53884 |        1    50609     21 |  0.000 % |
8.79/8.86	c |    210820 |     800     9592    53884 |        1    51244     21 |  0.000 % |
8.79/8.86	c |    212279 |     800     9592    53884 |        1    52703     22 |  0.000 % |
8.79/8.86	c |    212666 |     800     9592    53884 |        1    53090     22 |  0.000 % |
8.79/8.86	c |    213300 |     800     9592    53884 |        1    53724     22 |  0.000 % |
8.79/8.86	c |    213421 |     800     9592    53884 |        1    53845     22 |  0.000 % |
8.79/8.86	c |    213701 |     800     9592    53884 |        1    54125     22 |  0.000 % |
8.79/8.86	c |    213801 |     800     9592    53884 |        1    54225     22 |  0.000 % |
8.79/8.86	c |    214223 |     800     9592    53884 |        1    54647     22 |  0.000 % |
8.79/8.86	c |    214490 |     800     9592    53884 |        1    54914     22 |  0.000 % |
8.79/8.86	c |    214785 |     800     9592    53884 |        1    55209     22 |  0.000 % |
10.78/10.81	c |    214978 |     800     9592    53884 |        1    55402     22 |  0.000 % |
10.78/10.81	c |    215286 |     800     9592    53884 |        1    55710     22 |  0.000 % |
10.78/10.81	c |    215387 |     800     9592    53884 |        1    55811     22 |  0.000 % |
10.78/10.81	c |    215739 |     800     9592    53884 |        1    56163     22 |  0.000 % |
10.78/10.81	c |    216300 |     800     9592    53884 |        1    56724     22 |  0.000 % |
10.78/10.81	c |    217448 |     800     9592    53884 |        1    57872     23 |  0.000 % |
10.78/10.81	c |    218578 |     800     9592    53884 |        1    59002     23 |  0.000 % |
10.78/10.81	c |    219131 |     800     9592    53884 |        1    59555     23 |  0.000 % |
10.78/10.81	c |    219377 |     800     9592    53884 |        1    59801     23 |  0.000 % |
10.78/10.81	c |    221035 |     800     9592    53884 |        1    31459     11 |  0.000 % |
10.78/10.81	c |    221200 |     800     9592    53884 |        1    31624     11 |  0.000 % |
10.78/10.81	c |    225873 |     800     9592    53884 |        1    36297     13 |  0.000 % |
10.78/10.81	c |    226209 |     800     9592    53884 |        1    36633     13 |  0.000 % |
10.78/10.81	c |    226754 |     800     9592    53884 |        1    37178     14 |  0.000 % |
10.78/10.81	c |    226858 |     800     9592    53884 |        1    37282     14 |  0.000 % |
10.78/10.81	c |    227834 |     800     9592    53884 |        1    38258     14 |  0.000 % |
10.78/10.81	c |    230000 |     800     9592    53884 |        1    40424     15 |  0.000 % |
10.78/10.81	c |    230474 |     800     9592    53884 |        1    40898     16 |  0.000 % |
10.78/10.81	c |    230761 |     800     9592    53884 |        1    41185     16 |  0.000 % |
10.78/10.81	c |    231064 |     800     9592    53884 |        1    41488     16 |  0.000 % |
10.78/10.81	c |    231457 |     800     9592    53884 |        1    41881     16 |  0.000 % |
10.78/10.81	c |    231988 |     800     9592    53884 |        1    42412     16 |  0.000 % |
10.78/10.81	c |    232505 |     800     9592    53884 |        1    42929     16 |  0.000 % |
10.78/10.81	c |    232633 |     800     9592    53884 |        1    43057     16 |  0.000 % |
10.78/10.81	c |    234110 |     800     9592    53884 |        1    44534     17 |  0.000 % |
10.78/10.81	c |    234211 |     800     9592    53884 |        1    44635     17 |  0.000 % |
10.78/10.81	c |    234854 |     800     9592    53884 |        1    45278     17 |  0.000 % |
10.78/10.81	c |    235168 |     800     9592    53884 |        1    45592     17 |  0.000 % |
10.78/10.81	c |    235616 |     800     9592    53884 |        1    46040     18 |  0.000 % |
10.78/10.81	c |    236908 |     800     9592    53884 |        1    47332     18 |  0.000 % |
10.78/10.81	c |    237189 |     800     9592    53884 |        1    47613     18 |  0.000 % |
10.78/10.81	c |    237313 |     800     9592    53884 |        1    47737     18 |  0.000 % |
10.78/10.81	c |    237578 |     800     9592    53884 |        1    48002     18 |  0.000 % |
10.78/10.81	c |    238817 |     800     9592    53884 |        1    49241     19 |  0.000 % |
10.78/10.81	c |    239228 |     800     9592    53884 |        1    49652     19 |  0.000 % |
10.78/10.81	c |    240087 |     800     9592    53884 |        1    50511     19 |  0.000 % |
10.78/10.81	c |    240206 |     800     9592    53884 |        1    50630     19 |  0.000 % |
10.78/10.81	c |    240433 |     800     9592    53884 |        1    50857     19 |  0.000 % |
10.78/10.81	c |    240717 |     800     9592    53884 |        1    51141     19 |  0.000 % |
10.78/10.81	c |    241267 |     800     9592    53884 |        1    51691     19 |  0.000 % |
10.78/10.81	c |    241458 |     800     9592    53884 |        1    51882     19 |  0.000 % |
10.78/10.81	c |    243206 |     800     9592    53884 |        1    53630     20 |  0.000 % |
10.78/10.81	c |    243810 |     800     9592    53884 |        1    54234     20 |  0.000 % |
10.78/10.81	c |    243912 |     800     9592    53884 |        1    54336     20 |  0.000 % |
10.78/10.81	c |    244838 |     800     9592    53884 |        1    55262     20 |  0.000 % |
10.78/10.81	c |    245895 |     800     9592    53884 |        1    56319     21 |  0.000 % |
10.78/10.81	c |    247478 |     800     9592    53884 |        1    57902     21 |  0.000 % |
10.78/10.81	c |    247954 |     800     9592    53884 |        1    58378     21 |  0.000 % |
10.78/10.81	c |    248418 |     800     9592    53884 |        1    58842     21 |  0.000 % |
10.78/10.81	c |    249388 |     800     9592    53884 |        1    59812     21 |  0.000 % |
13.48/13.51	c |    249927 |     800     9592    53884 |        1    60351     22 |  0.000 % |
13.48/13.51	c |    250929 |     800     9592    53884 |        1    61353     22 |  0.000 % |
13.48/13.51	c |    251297 |     800     9592    53884 |        1    61721     22 |  0.000 % |
13.48/13.51	c |    252609 |     800     9592    53884 |        1    63033     22 |  0.000 % |
13.48/13.51	c |    253899 |     800     9592    53884 |        1    64323     22 |  0.000 % |
13.48/13.51	c |    254234 |     800     9592    53884 |        1    64658     22 |  0.000 % |
13.48/13.51	c |    255926 |     800     9592    53884 |        1    33750     11 |  0.000 % |
13.48/13.51	c |    256785 |     800     9592    53884 |        1    34609     11 |  0.000 % |
13.48/13.51	c |    257218 |     800     9592    53884 |        1    35042     12 |  0.000 % |
13.48/13.51	c |    258967 |     800     9592    53884 |        1    36791     13 |  0.000 % |
13.48/13.51	c |    259557 |     800     9592    53884 |        1    37381     13 |  0.000 % |
13.48/13.51	c |    264823 |     800     9592    53884 |        1    42647     16 |  0.000 % |
13.48/13.51	c |    265301 |     800     9592    53884 |        1    43125     16 |  0.000 % |
13.48/13.51	c |    265812 |     800     9592    53884 |        1    43636     16 |  0.000 % |
13.48/13.51	c |    265966 |     800     9592    53884 |        1    43790     16 |  0.000 % |
13.48/13.51	c |    266677 |     800     9592    53884 |        1    44501     17 |  0.000 % |
13.48/13.51	c |    267154 |     800     9592    53884 |        1    44978     17 |  0.000 % |
13.48/13.51	c |    267438 |     800     9592    53884 |        1    45262     17 |  0.000 % |
13.48/13.51	c |    269328 |     800     9592    53884 |        1    47152     17 |  0.000 % |
13.48/13.51	c |    269966 |     800     9592    53884 |        1    47790     18 |  0.000 % |
13.48/13.51	c |    270286 |     800     9592    53884 |        1    48110     18 |  0.000 % |
13.48/13.51	c |    270398 |     800     9592    53884 |        1    48222     18 |  0.000 % |
13.48/13.51	c |    270520 |     800     9592    53884 |        1    48344     18 |  0.000 % |
13.48/13.51	c |    270933 |     800     9592    53884 |        1    48757     18 |  0.000 % |
13.48/13.51	c |    271046 |     800     9592    53884 |        1    48870     18 |  0.000 % |
13.48/13.51	c |    271335 |     800     9592    53884 |        1    49159     18 |  0.000 % |
13.48/13.51	c |    271883 |     800     9592    53884 |        1    49707     18 |  0.000 % |
13.48/13.51	c |    273613 |     800     9592    53884 |        1    51437     19 |  0.000 % |
13.48/13.51	c |    274261 |     800     9592    53884 |        1    52085     19 |  0.000 % |
13.48/13.51	c |    275261 |     800     9592    53884 |        1    53085     19 |  0.000 % |
13.48/13.51	c |    280041 |     800     9592    53884 |        1    57865     21 |  0.000 % |
13.48/13.51	c |    280769 |     800     9592    53884 |        1    58593     21 |  0.000 % |
13.48/13.51	c |    280961 |     800     9592    53884 |        1    58785     21 |  0.000 % |
13.48/13.51	c |    281733 |     800     9592    53884 |        1    59557     21 |  0.000 % |
13.48/13.51	c |    282456 |     800     9592    53884 |        1    60280     21 |  0.000 % |
13.48/13.51	c |    283013 |     800     9592    53884 |        1    60837     21 |  0.000 % |
13.48/13.51	c |    283141 |     800     9592    53884 |        1    60965     21 |  0.000 % |
13.48/13.51	c |    283600 |     800     9592    53884 |        1    61424     21 |  0.000 % |
13.48/13.51	c |    284130 |     800     9592    53884 |        1    61954     22 |  0.000 % |
13.48/13.51	c |    284371 |     800     9592    53884 |        1    62195     22 |  0.000 % |
13.48/13.51	c |    285451 |     800     9592    53884 |        1    63275     22 |  0.000 % |
13.48/13.51	c |    285755 |     800     9592    53884 |        1    63579     22 |  0.000 % |
13.48/13.51	c |    285855 |     800     9592    53884 |        1    63679     22 |  0.000 % |
13.48/13.51	c |    286056 |     800     9592    53884 |        1    63880     22 |  0.000 % |
13.48/13.51	c |    286613 |     800     9592    53884 |        1    64437     22 |  0.000 % |
13.48/13.51	c |    286751 |     800     9592    53884 |        1    64575     22 |  0.000 % |
13.48/13.51	c |    288031 |     800     9592    53884 |        1    65855     22 |  0.000 % |
13.48/13.51	c |    289007 |     800     9592    53884 |        1    66831     23 |  0.000 % |
13.48/13.51	c |    289447 |     800     9592    53884 |        1    67271     23 |  0.000 % |
17.28/17.38	c |    289566 |     800     9592    53884 |        1    67390     23 |  0.000 % |
17.28/17.38	c |    289765 |     800     9592    53884 |        1    67589     23 |  0.000 % |
17.28/17.38	c |    290451 |     800     9592    53884 |        1    68275     23 |  0.000 % |
17.28/17.38	c |    291255 |     800     9592    53884 |        1    69079     23 |  0.000 % |
17.28/17.38	c |    291540 |     800     9592    53884 |        1    69364     23 |  0.000 % |
17.28/17.38	c |    292653 |     800     9592    53884 |        1    35271     10 |  0.000 % |
17.28/17.38	c |    293348 |     800     9592    53884 |        1    35966     11 |  0.000 % |
17.28/17.38	c |    295586 |     800     9592    53884 |        1    38204     12 |  0.000 % |
17.28/17.38	c |    295844 |     800     9592    53884 |        1    38462     12 |  0.000 % |
17.28/17.38	c |    296616 |     800     9592    53884 |        1    39234     13 |  0.000 % |
17.28/17.38	c |    297313 |     800     9592    53884 |        1    39931     13 |  0.000 % |
17.28/17.38	c |    297472 |     800     9592    53884 |        1    40090     13 |  0.000 % |
17.28/17.38	c |    298603 |     800     9592    53884 |        1    41221     13 |  0.000 % |
17.28/17.38	c |    298878 |     800     9592    53884 |        1    41496     13 |  0.000 % |
17.28/17.38	c |    300861 |     800     9592    53884 |        1    43479     14 |  0.000 % |
17.28/17.38	c |    301286 |     800     9592    53884 |        1    43904     14 |  0.000 % |
17.28/17.38	c |    312931 |     800     9592    53884 |        1    55549     18 |  0.000 % |
17.28/17.38	c |    314045 |     800     9592    53884 |        1    56663     18 |  0.000 % |
17.28/17.38	c |    314380 |     800     9592    53884 |        1    56998     18 |  0.000 % |
17.28/17.38	c |    318456 |     800     9592    53884 |        1    61074     19 |  0.000 % |
17.28/17.38	c |    318587 |     800     9592    53884 |        1    61205     19 |  0.000 % |
17.28/17.38	c |    319749 |     800     9592    53884 |        1    62367     19 |  0.000 % |
17.28/17.38	c |    320592 |     800     9592    53884 |        1    63210     20 |  0.000 % |
17.28/17.38	c |    320962 |     800     9592    53884 |        1    63580     20 |  0.000 % |
17.28/17.38	c |    321586 |     800     9592    53884 |        1    64204     20 |  0.000 % |
17.28/17.38	c |    323273 |     800     9592    53884 |        1    65891     20 |  0.000 % |
17.28/17.38	c |    324933 |     800     9592    53884 |        1    67551     21 |  0.000 % |
17.28/17.38	c |    325042 |     800     9592    53884 |        1    67660     21 |  0.000 % |
17.28/17.38	c |    325262 |     800     9592    53884 |        1    67880     21 |  0.000 % |
17.28/17.38	c |    325371 |     800     9592    53884 |        1    67989     21 |  0.000 % |
17.28/17.38	c |    325489 |     800     9592    53884 |        1    68107     21 |  0.000 % |
17.28/17.38	c |    326474 |     800     9592    53884 |        1    69092     21 |  0.000 % |
17.28/17.38	c |    327172 |     800     9592    53884 |        1    69790     21 |  0.000 % |
17.28/17.38	c |    328400 |     800     9592    53884 |        1    71018     21 |  0.000 % |
17.28/17.38	c |    328588 |     800     9592    53884 |        1    71206     21 |  0.000 % |
17.28/17.38	c |    329905 |     800     9592    53884 |        1    72523     22 |  0.000 % |
17.28/17.38	c |    330148 |     800     9592    53884 |        1    72766     22 |  0.000 % |
17.28/17.38	c |    330358 |     800     9592    53884 |        1    72976     22 |  0.000 % |
17.28/17.38	c |    331031 |     800     9592    53884 |        1    73649     22 |  0.000 % |
17.28/17.38	c |    331514 |     800     9592    53884 |        1    74132     22 |  0.000 % |
17.28/17.38	c |    333726 |     800     9592    53884 |        1    38544     11 |  0.000 % |
17.28/17.38	c |    334113 |     800     9592    53884 |        1    38931     11 |  0.000 % |
17.28/17.38	c |    335079 |     800     9592    53884 |        1    39897     12 |  0.000 % |
17.28/17.38	c |    335201 |     800     9592    53884 |        1    40019     12 |  0.000 % |
17.28/17.38	c |    335889 |     800     9592    53884 |        1    40707     12 |  0.000 % |
17.28/17.38	c |    336577 |     800     9592    53884 |        1    41395     13 |  0.000 % |
17.28/17.38	c |    337164 |     800     9592    53884 |        1    41982     13 |  0.000 % |
17.28/17.38	c |    337271 |     800     9592    53884 |        1    42089     13 |  0.000 % |
17.28/17.38	c |    340517 |     800     9592    53884 |        1    45335     15 |  0.000 % |
17.28/17.38	c |    340925 |     800     9592    53884 |        1    45743     15 |  0.000 % |
19.79/19.84	c |    341256 |     800     9592    53884 |        1    46074     15 |  0.000 % |
19.79/19.84	c |    341875 |     800     9592    53884 |        1    46693     15 |  0.000 % |
19.79/19.84	c |    343773 |     800     9592    53884 |        1    48591     16 |  0.000 % |
19.79/19.84	c |    343903 |     800     9592    53884 |        1    48721     16 |  0.000 % |
19.79/19.84	c |    344596 |     800     9592    53884 |        1    49414     16 |  0.000 % |
19.79/19.84	c |    345754 |     800     9592    53884 |        1    50572     17 |  0.000 % |
19.79/19.84	c |    346385 |     800     9592    53884 |        1    51203     17 |  0.000 % |
19.79/19.84	c |    346732 |     800     9592    53884 |        1    51550     17 |  0.000 % |
19.79/19.84	c |    346870 |     800     9592    53884 |        1    51688     17 |  0.000 % |
19.79/19.84	c |    347963 |     800     9592    53884 |        1    52781     18 |  0.000 % |
19.79/19.84	c |    348722 |     800     9592    53884 |        1    53540     18 |  0.000 % |
19.79/19.84	c |    348925 |     800     9592    53884 |        1    53743     18 |  0.000 % |
19.79/19.84	c |    350163 |     800     9592    53884 |        1    54981     19 |  0.000 % |
19.79/19.84	c |    352156 |     800     9592    53884 |        1    56974     19 |  0.000 % |
19.79/19.84	c |    352512 |     800     9592    53884 |        1    57330     19 |  0.000 % |
19.79/19.84	c |    352945 |     800     9592    53884 |        1    57763     19 |  0.000 % |
19.79/19.84	c |    353509 |     800     9592    53884 |        1    58327     20 |  0.000 % |
19.79/19.84	c |    353689 |     800     9592    53884 |        1    58507     20 |  0.000 % |
19.79/19.84	c |    353962 |     800     9592    53884 |        1    58780     20 |  0.000 % |
19.79/19.84	c |    354111 |     800     9592    53884 |        1    58929     20 |  0.000 % |
19.79/19.84	c |    354756 |     800     9592    53884 |        1    59574     20 |  0.000 % |
19.79/19.84	c |    356259 |     800     9592    53884 |        1    61077     20 |  0.000 % |
19.79/19.84	c |    357413 |     800     9592    53884 |        1    62231     20 |  0.000 % |
19.79/19.84	c |    359511 |     800     9592    53884 |        1    64329     21 |  0.000 % |
19.79/19.84	c |    359942 |     800     9592    53884 |        1    64760     21 |  0.000 % |
19.79/19.84	c |    360103 |     800     9592    53884 |        1    64921     21 |  0.000 % |
19.79/19.84	c |    360534 |     800     9592    53884 |        1    65352     21 |  0.000 % |
19.79/19.84	c |    360687 |     800     9592    53884 |        1    65505     21 |  0.000 % |
19.79/19.84	c |    361152 |     800     9592    53884 |        1    65970     21 |  0.000 % |
19.79/19.84	c |    361253 |     800     9592    53884 |        1    66071     21 |  0.000 % |
19.79/19.84	c |    361901 |     800     9592    53884 |        1    66719     21 |  0.000 % |
19.79/19.84	c |    362134 |     800     9592    53884 |        1    66952     22 |  0.000 % |
19.79/19.84	c |    362269 |     800     9592    53884 |        1    67087     22 |  0.000 % |
19.79/19.84	c |    362636 |     800     9592    53884 |        1    67454     22 |  0.000 % |
19.79/19.84	c |    363122 |     800     9592    53884 |        1    67940     22 |  0.000 % |
19.79/19.84	c |    363704 |     800     9592    53884 |        1    68522     22 |  0.000 % |
19.79/19.84	c |    364311 |     800     9592    53884 |        1    69129     22 |  0.000 % |
19.79/19.84	c |    364516 |     800     9592    53884 |        1    69334     22 |  0.000 % |
19.79/19.84	c |    364661 |     800     9592    53884 |        1    69479     22 |  0.000 % |
19.79/19.84	c |    365176 |     800     9592    53884 |        1    69994     22 |  0.000 % |
19.79/19.84	c |    365550 |     800     9592    53884 |        1    70368     22 |  0.000 % |
19.79/19.84	c |    366414 |     800     9592    53884 |        1    71232     22 |  0.000 % |
19.79/19.84	c |    367410 |     800     9592    53884 |        1    72228     23 |  0.000 % |
19.79/19.84	c |    367515 |     800     9592    53884 |        1    72333     23 |  0.000 % |
19.79/19.84	c |    368589 |     800     9592    53884 |        1    73407     23 |  0.000 % |
19.79/19.84	c |    369397 |     800     9592    53884 |        1    74215     23 |  0.000 % |
19.79/19.84	c |    370237 |     800     9592    53884 |        1    75055     23 |  0.000 % |
19.79/19.84	c |    370339 |     800     9592    53884 |        1    75157     23 |  0.000 % |
19.79/19.84	c |    370547 |     800     9592    53884 |        1    75365     23 |  0.000 % |
19.79/19.84	c |    371267 |     800     9592    53884 |        1    76085     23 |  0.000 % |
27.38/27.49	c |    373789 |     800     9592    53884 |        1    78607     24 |  0.000 % |
27.38/27.49	c |    374002 |     800     9592    53884 |        1    78820     24 |  0.000 % |
27.38/27.49	c |    375782 |     800     9592    53884 |        1    80600     24 |  0.000 % |
27.38/27.49	c |    375922 |     800     9592    53884 |        1    80740     24 |  0.000 % |
27.38/27.49	c |    376309 |     800     9592    53884 |        1    40722     10 |  0.000 % |
27.38/27.49	c |    377172 |     800     9592    53884 |        1    41585     11 |  0.000 % |
27.38/27.49	c |    377719 |     800     9592    53884 |        1    42132     11 |  0.000 % |
27.38/27.49	c |    377839 |     800     9592    53884 |        1    42252     12 |  0.000 % |
27.38/27.49	c |    378644 |     800     9592    53884 |        1    43057     12 |  0.000 % |
27.38/27.49	c |    378945 |     800     9592    53884 |        1    43358     12 |  0.000 % |
27.38/27.49	c |    379885 |     800     9592    53884 |        1    44298     13 |  0.000 % |
27.38/27.49	c |    380170 |     800     9592    53884 |        1    44583     13 |  0.000 % |
27.38/27.49	c |    380417 |     800     9592    53884 |        1    44830     13 |  0.000 % |
27.38/27.49	c |    380911 |     800     9592    53884 |        1    45324     13 |  0.000 % |
27.38/27.49	c |    381137 |     800     9592    53884 |        1    45550     13 |  0.000 % |
27.38/27.49	c |    381589 |     800     9592    53884 |        1    46002     14 |  0.000 % |
27.38/27.49	c |    382338 |     800     9592    53884 |        1    46751     14 |  0.000 % |
27.38/27.49	c |    382821 |     800     9592    53884 |        1    47234     14 |  0.000 % |
27.38/27.49	c |    383282 |     800     9592    53884 |        1    47695     14 |  0.000 % |
27.38/27.49	c |    383829 |     800     9592    53884 |        1    48242     15 |  0.000 % |
27.38/27.49	c |    384115 |     800     9592    53884 |        1    48528     15 |  0.000 % |
27.38/27.49	c |    384639 |     800     9592    53884 |        1    49052     15 |  0.000 % |
27.38/27.49	c |    385476 |     800     9592    53884 |        1    49889     15 |  0.000 % |
27.38/27.49	c |    386383 |     800     9592    53884 |        1    50796     16 |  0.000 % |
27.38/27.49	c |    386566 |     800     9592    53884 |        1    50979     16 |  0.000 % |
27.38/27.49	c |    387005 |     800     9592    53884 |        1    51418     16 |  0.000 % |
27.38/27.49	c |    387628 |     800     9592    53884 |        1    52041     16 |  0.000 % |
27.38/27.49	c |    390513 |     800     9592    53884 |        1    54926     17 |  0.000 % |
27.38/27.49	c |    391083 |     800     9592    53884 |        1    55496     17 |  0.000 % |
27.38/27.49	c |    391561 |     800     9592    53884 |        1    55974     17 |  0.000 % |
27.38/27.49	c |    394415 |     800     9592    53884 |        1    58828     18 |  0.000 % |
27.38/27.49	c |    396031 |     800     9592    53884 |        1    60444     19 |  0.000 % |
27.38/27.49	c |    438577 |     800     9592    53884 |        1    60003     17 |  0.000 % |
27.38/27.49	c |    439720 |     800     9592    53884 |        1    61146     17 |  0.000 % |
27.38/27.49	c |    440821 |     800     9592    53884 |        1    62247     18 |  0.000 % |
27.38/27.49	c |    441412 |     800     9592    53884 |        1    62838     18 |  0.000 % |
27.38/27.49	c |    442410 |     800     9592    53884 |        1    63836     18 |  0.000 % |
27.38/27.49	c |    443492 |     800     9592    53884 |        1    64918     18 |  0.000 % |
27.38/27.49	c |    445265 |     800     9592    53884 |        1    66691     19 |  0.000 % |
27.38/27.49	c |    445990 |     800     9592    53884 |        1    67416     19 |  0.000 % |
27.38/27.49	c |    448020 |     800     9592    53884 |        1    69446     19 |  0.000 % |
27.38/27.49	c |    448404 |     800     9592    53884 |        1    69830     19 |  0.000 % |
27.38/27.49	c |    448807 |     800     9592    53884 |        1    70233     20 |  0.000 % |
27.38/27.49	c |    449517 |     800     9592    53884 |        1    70943     20 |  0.000 % |
27.38/27.49	c |    450410 |     800     9592    53884 |        1    71836     20 |  0.000 % |
27.38/27.49	c |    450514 |     800     9592    53884 |        1    71940     20 |  0.000 % |
27.38/27.49	c |    453137 |     800     9592    53884 |        1    74563     21 |  0.000 % |
27.38/27.49	c |    453278 |     800     9592    53884 |        1    74704     21 |  0.000 % |
27.38/27.49	c |    453461 |     800     9592    53884 |        1    74887     21 |  0.000 % |
27.38/27.49	c |    453865 |     800     9592    53884 |        1    75291     21 |  0.000 % |
31.28/31.38	c |    454092 |     800     9592    53884 |        1    75518     21 |  0.000 % |
31.28/31.38	c |    455256 |     800     9592    53884 |        1    76682     21 |  0.000 % |
31.28/31.38	c |    455375 |     800     9592    53884 |        1    76801     21 |  0.000 % |
31.28/31.38	c |    456243 |     800     9592    53884 |        1    77669     21 |  0.000 % |
31.28/31.38	c |    456426 |     800     9592    53884 |        1    77852     21 |  0.000 % |
31.28/31.38	c |    458591 |     800     9592    53884 |        1    80017     22 |  0.000 % |
31.28/31.38	c |    462692 |     800     9592    53884 |        1    84118     22 |  0.000 % |
31.28/31.38	c |    463197 |     800     9592    53884 |        1    84623     22 |  0.000 % |
31.28/31.38	c |    463297 |     800     9592    53884 |        1    84723     22 |  0.000 % |
31.28/31.38	c |    463549 |     800     9592    53884 |        1    84975     22 |  0.000 % |
31.28/31.38	c |    463693 |     800     9592    53884 |        1    85119     22 |  0.000 % |
31.28/31.38	c |    464882 |     800     9592    53884 |        1    86308     22 |  0.000 % |
31.28/31.38	c |    465009 |     800     9592    53884 |        1    86435     22 |  0.000 % |
31.28/31.38	c |    465665 |     800     9592    53884 |        1    87091     23 |  0.000 % |
31.28/31.38	c |    466614 |     800     9592    53884 |        1    88040     23 |  0.000 % |
31.28/31.38	c |    468437 |     800     9592    53884 |        1    89863     23 |  0.000 % |
31.28/31.38	c |    468779 |     800     9592    53884 |        1    90205     23 |  0.000 % |
31.28/31.38	c |    469231 |     800     9592    53884 |        1    90657     23 |  0.000 % |
31.28/31.38	c |    469332 |     800     9592    53884 |        1    90758     23 |  0.000 % |
31.28/31.38	c |    469521 |     800     9592    53884 |        1    90947     23 |  0.000 % |
31.28/31.38	c |    470053 |     800     9592    53884 |        1    45876     11 |  0.000 % |
31.28/31.38	c |    470226 |     800     9592    53884 |        1    46049     11 |  0.000 % |
31.28/31.38	c |    470911 |     800     9592    53884 |        1    46734     12 |  0.000 % |
31.28/31.38	c |    471094 |     800     9592    53884 |        1    46917     12 |  0.000 % |
31.28/31.38	c |    471344 |     800     9592    53884 |        1    47167     12 |  0.000 % |
31.28/31.38	c |    477244 |     800     9592    53884 |        1    53067     14 |  0.000 % |
31.28/31.38	c |    478656 |     800     9592    53884 |        1    54479     15 |  0.000 % |
31.28/31.38	c |    481634 |     800     9592    53884 |        1    57457     16 |  0.000 % |
31.28/31.38	c |    481953 |     800     9592    53884 |        1    57776     16 |  0.000 % |
31.28/31.38	c |    483442 |     800     9592    53884 |        1    59265     16 |  0.000 % |
31.28/31.38	c |    484361 |     800     9592    53884 |        1    60184     17 |  0.000 % |
31.28/31.38	c |    484522 |     800     9592    53884 |        1    60345     17 |  0.000 % |
31.28/31.38	c |    484668 |     800     9592    53884 |        1    60491     17 |  0.000 % |
31.28/31.38	c |    484881 |     800     9592    53884 |        1    60704     17 |  0.000 % |
31.28/31.38	c |    485041 |     800     9592    53884 |        1    60864     17 |  0.000 % |
31.28/31.38	c |    485992 |     800     9592    53884 |        1    61815     17 |  0.000 % |
31.28/31.38	c |    486439 |     800     9592    53884 |        1    62262     18 |  0.000 % |
31.28/31.38	c |    486548 |     800     9592    53884 |        1    62371     18 |  0.000 % |
31.28/31.38	c |    492956 |     800     9592    53884 |        1    68779     19 |  0.000 % |
31.28/31.38	c |    494462 |     800     9592    53884 |        1    70285     20 |  0.000 % |
31.28/31.38	c |    494640 |     800     9592    53884 |        1    70463     20 |  0.000 % |
31.28/31.38	c |    496070 |     800     9592    53884 |        1    71893     20 |  0.000 % |
31.28/31.38	c |    496779 |     800     9592    53884 |        1    72602     20 |  0.000 % |
31.28/31.38	c |    496906 |     800     9592    53884 |        1    72729     20 |  0.000 % |
31.28/31.38	c |    497197 |     800     9592    53884 |        1    73020     20 |  0.000 % |
31.28/31.38	c |    497381 |     800     9592    53884 |        1    73204     20 |  0.000 % |
31.28/31.38	c |    497492 |     800     9592    53884 |        1    73315     20 |  0.000 % |
31.28/31.38	c |    498174 |     800     9592    53884 |        1    73997     21 |  0.000 % |
31.28/31.38	c |    498365 |     800     9592    53884 |        1    74188     21 |  0.000 % |
31.28/31.38	c |    498496 |     800     9592    53884 |        1    74319     21 |  0.000 % |
36.28/36.31	c |    498886 |     800     9592    53884 |        1    74709     21 |  0.000 % |
36.28/36.31	c |    499778 |     800     9592    53884 |        1    75601     21 |  0.000 % |
36.28/36.31	c |    500708 |     800     9592    53884 |        1    76531     21 |  0.000 % |
36.28/36.31	c |    502588 |     800     9592    53884 |        1    78411     21 |  0.000 % |
36.28/36.31	c |    503995 |     800     9592    53884 |        1    79818     22 |  0.000 % |
36.28/36.31	c |    504427 |     800     9592    53884 |        1    80250     22 |  0.000 % |
36.28/36.31	c |    504668 |     800     9592    53884 |        1    80491     22 |  0.000 % |
36.28/36.31	c |    505066 |     800     9592    53884 |        1    80889     22 |  0.000 % |
36.28/36.31	c |    505683 |     800     9592    53884 |        1    81506     22 |  0.000 % |
36.28/36.31	c |    505997 |     800     9592    53884 |        1    81820     22 |  0.000 % |
36.28/36.31	c |    506600 |     800     9592    53884 |        1    82423     22 |  0.000 % |
36.28/36.31	c |    506802 |     800     9592    53884 |        1    82625     22 |  0.000 % |
36.28/36.31	c |    507186 |     800     9592    53884 |        1    83009     22 |  0.000 % |
36.28/36.31	c |    507456 |     800     9592    53884 |        1    83279     22 |  0.000 % |
36.28/36.31	c |    508021 |     800     9592    53884 |        1    83844     22 |  0.000 % |
36.28/36.31	c |    508306 |     800     9592    53884 |        1    84129     23 |  0.000 % |
36.28/36.31	c |    509650 |     800     9592    53884 |        1    85473     23 |  0.000 % |
36.28/36.31	c |    509924 |     800     9592    53884 |        1    85747     23 |  0.000 % |
36.28/36.31	c |    510082 |     800     9592    53884 |        1    85905     23 |  0.000 % |
36.28/36.31	c |    510514 |     800     9592    53884 |        1    86337     23 |  0.000 % |
36.28/36.31	c |    531647 |     800     9592    53884 |        1    59273     16 |  0.000 % |
36.28/36.31	c |    532186 |     800     9592    53884 |        1    59812     16 |  0.000 % |
36.28/36.31	c |    532426 |     800     9592    53884 |        1    60052     16 |  0.000 % |
36.28/36.31	c |    532921 |     800     9592    53884 |        1    60547     16 |  0.000 % |
36.28/36.31	c |    533273 |     800     9592    53884 |        1    60899     16 |  0.000 % |
36.28/36.31	c |    533628 |     800     9592    53884 |        1    61254     16 |  0.000 % |
36.28/36.31	c |    533731 |     800     9592    53884 |        1    61357     16 |  0.000 % |
36.28/36.31	c |    535353 |     800     9592    53884 |        1    62979     17 |  0.000 % |
36.28/36.31	c |    536739 |     800     9592    53884 |        1    64365     17 |  0.000 % |
36.28/36.31	c |    537457 |     800     9592    53884 |        1    65083     18 |  0.000 % |
36.28/36.31	c |    537557 |     800     9592    53884 |        1    65183     18 |  0.000 % |
36.28/36.31	c |    537831 |     800     9592    53884 |        1    65457     18 |  0.000 % |
36.28/36.31	c |    538699 |     800     9592    53884 |        1    66325     18 |  0.000 % |
36.28/36.31	c |    539177 |     800     9592    53884 |        1    66803     18 |  0.000 % |
36.28/36.31	c |    539394 |     800     9592    53884 |        1    67020     18 |  0.000 % |
36.28/36.31	c |    540316 |     800     9592    53884 |        1    67942     18 |  0.000 % |
36.28/36.31	c |    540556 |     800     9592    53884 |        1    68182     18 |  0.000 % |
36.28/36.31	c |    543456 |     800     9592    53884 |        1    71082     19 |  0.000 % |
36.28/36.31	c |    543606 |     800     9592    53884 |        1    71232     19 |  0.000 % |
36.28/36.31	c |    543919 |     800     9592    53884 |        1    71545     19 |  0.000 % |
36.28/36.31	c |    544916 |     800     9592    53884 |        1    72542     20 |  0.000 % |
36.28/36.31	c |    545231 |     800     9592    53884 |        1    72857     20 |  0.000 % |
36.28/36.31	c |    545510 |     800     9592    53884 |        1    73136     20 |  0.000 % |
36.28/36.31	c |    545659 |     800     9592    53884 |        1    73285     20 |  0.000 % |
36.28/36.31	c |    545830 |     800     9592    53884 |        1    73456     20 |  0.000 % |
36.28/36.31	c |    547088 |     800     9592    53884 |        1    74714     20 |  0.000 % |
36.28/36.31	c |    547402 |     800     9592    53884 |        1    75028     20 |  0.000 % |
36.28/36.31	c |    548466 |     800     9592    53884 |        1    76092     20 |  0.000 % |
36.28/36.31	c |    549664 |     800     9592    53884 |        1    77290     21 |  0.000 % |
36.28/36.31	c |    549938 |     800     9592    53884 |        1    77564     21 |  0.000 % |
40.38/40.44	c |    550194 |     800     9592    53884 |        1    77820     21 |  0.000 % |
40.38/40.44	c |    551059 |     800     9592    53884 |        1    78685     21 |  0.000 % |
40.38/40.44	c |    551445 |     800     9592    53884 |        1    79071     21 |  0.000 % |
40.38/40.44	c |    551699 |     800     9592    53884 |        1    79325     21 |  0.000 % |
40.38/40.44	c |    551911 |     800     9592    53884 |        1    79537     21 |  0.000 % |
40.38/40.44	c |    552144 |     800     9592    53884 |        1    79770     21 |  0.000 % |
40.38/40.44	c |    552780 |     800     9592    53884 |        1    80406     22 |  0.000 % |
40.38/40.44	c |    553021 |     800     9592    53884 |        1    80647     22 |  0.000 % |
40.38/40.44	c |    553131 |     800     9592    53884 |        1    80757     22 |  0.000 % |
40.38/40.44	c |    553955 |     800     9592    53884 |        1    81581     22 |  0.000 % |
40.38/40.44	c |    554284 |     800     9592    53884 |        1    81910     22 |  0.000 % |
40.38/40.44	c |    554473 |     800     9592    53884 |        1    82099     22 |  0.000 % |
40.38/40.44	c |    555687 |     800     9592    53884 |        1    83313     22 |  0.000 % |
40.38/40.44	c |    555804 |     800     9592    53884 |        1    83430     22 |  0.000 % |
40.38/40.44	c |    556148 |     800     9592    53884 |        1    83774     22 |  0.000 % |
40.38/40.44	c |    556673 |     800     9592    53884 |        1    84299     22 |  0.000 % |
40.38/40.44	c |    557125 |     800     9592    53884 |        1    84751     22 |  0.000 % |
40.38/40.44	c |    557315 |     800     9592    53884 |        1    84941     22 |  0.000 % |
40.38/40.44	c |    558213 |     800     9592    53884 |        1    85839     23 |  0.000 % |
40.38/40.44	c |    558613 |     800     9592    53884 |        1    86239     23 |  0.000 % |
40.38/40.44	c |    560936 |     800     9592    53884 |        1    88562     23 |  0.000 % |
40.38/40.44	c |    561295 |     800     9592    53884 |        1    88921     23 |  0.000 % |
40.38/40.44	c |    561886 |     800     9592    53884 |        1    89512     23 |  0.000 % |
40.38/40.44	c |    566149 |     800     9592    53884 |        1    93775     24 |  0.000 % |
40.38/40.44	c |    566996 |     800     9592    53884 |        1    94622     24 |  0.000 % |
40.38/40.44	c |    567483 |     800     9592    53884 |        1    95109     24 |  0.000 % |
40.38/40.44	c |    569019 |     800     9592    53884 |        1    96645     24 |  0.000 % |
40.38/40.44	c |    569350 |     800     9592    53884 |        1    96976     24 |  0.000 % |
40.38/40.44	c |    569760 |     800     9592    53884 |        1    97386     25 |  0.000 % |
40.38/40.44	c |    571472 |     800     9592    53884 |        1    99098     25 |  0.000 % |
40.38/40.44	c |    572305 |     800     9592    53884 |        1    99931     25 |  0.000 % |
40.38/40.44	c |    572631 |     800     9592    53884 |        1   100257     25 |  0.000 % |
40.38/40.44	c |    573227 |     800     9592    53884 |        1   100853     25 |  0.000 % |
40.38/40.44	c |    573420 |     800     9592    53884 |        1   101046     25 |  0.000 % |
40.38/40.44	c |    573597 |     800     9592    53884 |        1   101223     25 |  0.000 % |
40.38/40.44	c |    574061 |     800     9592    53884 |        1    50884     10 |  0.000 % |
40.38/40.44	c |    574817 |     800     9592    53884 |        1    51640     11 |  0.000 % |
40.38/40.44	c |    575009 |     800     9592    53884 |        1    51832     11 |  0.000 % |
40.38/40.44	c |    575424 |     800     9592    53884 |        1    52247     11 |  0.000 % |
40.38/40.44	c |    575707 |     800     9592    53884 |        1    52530     11 |  0.000 % |
40.38/40.44	c |    576584 |     800     9592    53884 |        1    53407     11 |  0.000 % |
40.38/40.44	c |    578059 |     800     9592    53884 |        1    54882     13 |  0.000 % |
40.38/40.44	c |    587670 |     800     9592    53884 |        1    64493     16 |  0.000 % |
40.38/40.44	c |    588384 |     800     9592    53884 |        1    65207     17 |  0.000 % |
40.38/40.44	c |    589032 |     800     9592    53884 |        1    65855     17 |  0.000 % |
40.38/40.44	c |    589356 |     800     9592    53884 |        1    66179     17 |  0.000 % |
40.38/40.44	c |    589544 |     800     9592    53884 |        1    66367     17 |  0.000 % |
40.38/40.44	c |    590085 |     800     9592    53884 |        1    66908     17 |  0.000 % |
40.38/40.44	c |    590292 |     800     9592    53884 |        1    67115     17 |  0.000 % |
40.38/40.44	c |    590393 |     800     9592    53884 |        1    67216     17 |  0.000 % |
49.88/49.94	c |    591262 |     800     9592    53884 |        1    68085     18 |  0.000 % |
49.88/49.94	c |    591476 |     800     9592    53884 |        1    68299     18 |  0.000 % |
49.88/49.94	c |    592069 |     800     9592    53884 |        1    68892     18 |  0.000 % |
49.88/49.94	c |    592299 |     800     9592    53884 |        1    69122     18 |  0.000 % |
49.88/49.94	c |    592593 |     800     9592    53884 |        1    69416     18 |  0.000 % |
49.88/49.94	c |    592877 |     800     9592    53884 |        1    69700     18 |  0.000 % |
49.88/49.94	c |    594926 |     800     9592    53884 |        1    71749     18 |  0.000 % |
49.88/49.94	c |    597671 |     800     9592    53884 |        1    74494     19 |  0.000 % |
49.88/49.94	c |    605156 |     800     9592    53884 |        1    81979     20 |  0.000 % |
49.88/49.94	c |    605415 |     800     9592    53884 |        1    82238     20 |  0.000 % |
49.88/49.94	c |    605978 |     800     9592    53884 |        1    82801     20 |  0.000 % |
49.88/49.94	c |    615660 |     800     9592    53884 |        1    92483     22 |  0.000 % |
49.88/49.94	c |    616341 |     800     9592    53884 |        1    93164     22 |  0.000 % |
49.88/49.94	c |    616498 |     800     9592    53884 |        1    93321     22 |  0.000 % |
49.88/49.94	c |    616902 |     800     9592    53884 |        1    93725     22 |  0.000 % |
49.88/49.94	c |    622951 |     800     9592    53884 |        1    99774     23 |  0.000 % |
49.88/49.94	c |    627139 |     800     9592    53884 |        1   103962     24 |  0.000 % |
49.88/49.94	c |    627240 |     800     9592    53884 |        1   104063     24 |  0.000 % |
49.88/49.94	c |    652879 |     800     9592    53884 |        1    76302     17 |  0.000 % |
49.88/49.94	c |    653150 |     800     9592    53884 |        1    76573     18 |  0.000 % |
49.88/49.94	c |    654759 |     800     9592    53884 |        1    78182     18 |  0.000 % |
49.88/49.94	c |    655392 |     800     9592    53884 |        1    78815     18 |  0.000 % |
49.88/49.94	c |    656137 |     800     9592    53884 |        1    79560     18 |  0.000 % |
49.88/49.94	c |    656307 |     800     9592    53884 |        1    79730     18 |  0.000 % |
49.88/49.94	c |    657287 |     800     9592    53884 |        1    80710     18 |  0.000 % |
49.88/49.94	c |    657933 |     800     9592    53884 |        1    81356     19 |  0.000 % |
49.88/49.94	c |    658183 |     800     9592    53884 |        1    81606     19 |  0.000 % |
49.88/49.94	c |    658810 |     800     9592    53884 |        1    82233     19 |  0.000 % |
49.88/49.94	c |    658910 |     800     9592    53884 |        1    82333     19 |  0.000 % |
49.88/49.94	c |    659548 |     800     9592    53884 |        1    82971     19 |  0.000 % |
49.88/49.94	c |    659670 |     800     9592    53884 |        1    83093     19 |  0.000 % |
49.88/49.94	c |    659973 |     800     9592    53884 |        1    83396     19 |  0.000 % |
49.88/49.94	c |    660182 |     800     9592    53884 |        1    83605     19 |  0.000 % |
49.88/49.94	c |    660356 |     800     9592    53884 |        1    83779     19 |  0.000 % |
49.88/49.94	c |    660507 |     800     9592    53884 |        1    83930     19 |  0.000 % |
49.88/49.94	c |    661032 |     800     9592    53884 |        1    84455     19 |  0.000 % |
49.88/49.94	c |    661185 |     800     9592    53884 |        1    84608     19 |  0.000 % |
49.88/49.94	c |    661744 |     800     9592    53884 |        1    85167     19 |  0.000 % |
49.88/49.94	c |    662068 |     800     9592    53884 |        1    85491     20 |  0.000 % |
49.88/49.94	c |    662753 |     800     9592    53884 |        1    86176     20 |  0.000 % |
49.88/49.94	c |    662853 |     800     9592    53884 |        1    86276     20 |  0.000 % |
49.88/49.94	c |    663580 |     800     9592    53884 |        1    87003     20 |  0.000 % |
49.88/49.94	c |    664042 |     800     9592    53884 |        1    87465     20 |  0.000 % |
49.88/49.94	c |    664234 |     800     9592    53884 |        1    87657     20 |  0.000 % |
49.88/49.94	c |    664804 |     800     9592    53884 |        1    88227     20 |  0.000 % |
49.88/49.94	c |    664977 |     800     9592    53884 |        1    88400     20 |  0.000 % |
49.88/49.94	c |    665692 |     800     9592    53884 |        1    89115     20 |  0.000 % |
49.88/49.94	c |    666061 |     800     9592    53884 |        1    89484     20 |  0.000 % |
49.88/49.94	c |    666474 |     800     9592    53884 |        1    89897     21 |  0.000 % |
49.88/49.94	c |    666640 |     800     9592    53884 |        1    90063     21 |  0.000 % |
52.98/53.00	c |    667186 |     800     9592    53884 |        1    90609     21 |  0.000 % |
52.98/53.00	c |    667289 |     800     9592    53884 |        1    90712     21 |  0.000 % |
52.98/53.00	c |    667456 |     800     9592    53884 |        1    90879     21 |  0.000 % |
52.98/53.00	c |    668695 |     800     9592    53884 |        1    92118     21 |  0.000 % |
52.98/53.00	c |    669305 |     800     9592    53884 |        1    92728     21 |  0.000 % |
52.98/53.00	c |    669840 |     800     9592    53884 |        1    93263     21 |  0.000 % |
52.98/53.00	c |    671626 |     800     9592    53884 |        1    95049     22 |  0.000 % |
52.98/53.00	c |    672602 |     800     9592    53884 |        1    96025     22 |  0.000 % |
52.98/53.00	c |    672703 |     800     9592    53884 |        1    96126     22 |  0.000 % |
52.98/53.00	c |    673574 |     800     9592    53884 |        1    96997     22 |  0.000 % |
52.98/53.00	c |    675040 |     800     9592    53884 |        1    98463     22 |  0.000 % |
52.98/53.00	c |    675720 |     800     9592    53884 |        1    99143     23 |  0.000 % |
52.98/53.00	c |    675869 |     800     9592    53884 |        1    99292     23 |  0.000 % |
52.98/53.01	c |    676444 |     800     9592    53884 |        1    99867     23 |  0.000 % |
52.98/53.01	c |    676862 |     800     9592    53884 |        1   100285     23 |  0.000 % |
52.98/53.01	c |    677205 |     800     9592    53884 |        1   100628     23 |  0.000 % |
52.98/53.01	c |    677663 |     800     9592    53884 |        1   101086     23 |  0.000 % |
52.98/53.01	c |    677763 |     800     9592    53884 |        1   101186     23 |  0.000 % |
52.98/53.01	c |    680009 |     800     9592    53884 |        1   103432     23 |  0.000 % |
52.98/53.01	c |    680789 |     800     9592    53884 |        1   104212     23 |  0.000 % |
52.98/53.01	c |    681095 |     800     9592    53884 |        1   104518     23 |  0.000 % |
52.98/53.01	c |    681195 |     800     9592    53884 |        1   104618     23 |  0.000 % |
52.98/53.01	c |    681670 |     800     9592    53884 |        1   105093     23 |  0.000 % |
52.98/53.01	c |    681876 |     800     9592    53884 |        1   105299     24 |  0.000 % |
52.98/53.01	c |    682210 |     800     9592    53884 |        1   105633     24 |  0.000 % |
52.98/53.01	c |    682452 |     800     9592    53884 |        1   105875     24 |  0.000 % |
52.98/53.01	c |    682672 |     800     9592    53884 |        1   106095     24 |  0.000 % |
52.98/53.01	c |    682924 |     800     9592    53884 |        1   106347     24 |  0.000 % |
52.98/53.01	c |    683215 |     800     9592    53884 |        1   106638     24 |  0.000 % |
52.98/53.01	c |    683829 |     800     9592    53884 |        1   107252     24 |  0.000 % |
52.98/53.01	c |    684304 |     800     9592    53884 |        1   107727     24 |  0.000 % |
52.98/53.01	c |    684654 |     800     9592    53884 |        1   108077     24 |  0.000 % |
52.98/53.01	c |    685352 |     800     9592    53884 |        1   108775     24 |  0.000 % |
52.98/53.01	c |    685463 |     800     9592    53884 |        1   108886     24 |  0.000 % |
52.98/53.01	c |    685563 |     800     9592    53884 |        1   108986     24 |  0.000 % |
52.98/53.01	c |    685666 |     800     9592    53884 |        1   109089     24 |  0.000 % |
52.98/53.01	c |    686412 |     800     9592    53884 |        1   109835     24 |  0.000 % |
52.98/53.01	c |    686512 |     800     9592    53884 |        1   109935     24 |  0.000 % |
52.98/53.01	c |    686836 |     800     9592    53884 |        1   110259     24 |  0.000 % |
52.98/53.01	c |    687137 |     800     9592    53884 |        1   110560     24 |  0.000 % |
52.98/53.01	c |    687307 |     800     9592    53884 |        1   110730     24 |  0.000 % |
52.98/53.01	c |    687425 |     800     9592    53884 |        1   110848     24 |  0.000 % |
52.98/53.01	c |    687694 |     800     9592    53884 |        1   111117     24 |  0.000 % |
52.98/53.01	c |    688558 |     800     9592    53884 |        1   111981     25 |  0.000 % |
52.98/53.01	c |    688703 |     800     9592    53884 |        1    56125     10 |  0.000 % |
52.98/53.01	c |    691920 |     800     9592    53884 |        1    59342     12 |  0.000 % |
52.98/53.01	c |    692140 |     800     9592    53884 |        1    59562     12 |  0.000 % |
52.98/53.01	c |    692304 |     800     9592    53884 |        1    59726     12 |  0.000 % |
52.98/53.01	c |    692407 |     800     9592    53884 |        1    59829     12 |  0.000 % |
52.98/53.01	c |    692592 |     800     9592    53884 |        1    60014     12 |  0.000 % |
58.68/58.79	c |    693115 |     800     9592    53884 |        1    60537     12 |  0.000 % |
58.68/58.79	c |    693271 |     800     9592    53884 |        1    60693     13 |  0.000 % |
58.68/58.79	c |    694458 |     800     9592    53884 |        1    61880     13 |  0.000 % |
58.68/58.79	c |    694638 |     800     9592    53884 |        1    62060     13 |  0.000 % |
58.68/58.79	c |    694775 |     800     9592    53884 |        1    62197     13 |  0.000 % |
58.68/58.79	c |    695208 |     800     9592    53884 |        1    62630     13 |  0.000 % |
58.68/58.79	c |    695773 |     800     9592    53884 |        1    63195     14 |  0.000 % |
58.68/58.79	c |    695909 |     800     9592    53884 |        1    63331     14 |  0.000 % |
58.68/58.79	c |    696649 |     800     9592    53884 |        1    64071     14 |  0.000 % |
58.68/58.79	c |    696749 |     800     9592    53884 |        1    64171     14 |  0.000 % |
58.68/58.79	c |    696976 |     800     9592    53884 |        1    64398     14 |  0.000 % |
58.68/58.79	c |    697128 |     800     9592    53884 |        1    64550     14 |  0.000 % |
58.68/58.79	c |    698681 |     800     9592    53884 |        1    66103     15 |  0.000 % |
58.68/58.79	c |    698783 |     800     9592    53884 |        1    66205     15 |  0.000 % |
58.68/58.79	c |    699122 |     800     9592    53884 |        1    66544     15 |  0.000 % |
58.68/58.79	c |    699274 |     800     9592    53884 |        1    66696     15 |  0.000 % |
58.68/58.79	c |    702411 |     800     9592    53884 |        1    69833     16 |  0.000 % |
58.68/58.79	c |    702519 |     800     9592    53884 |        1    69941     16 |  0.000 % |
58.68/58.79	c |    702695 |     800     9592    53884 |        1    70117     16 |  0.000 % |
58.68/58.79	c |    702837 |     800     9592    53884 |        1    70259     16 |  0.000 % |
58.68/58.79	c |    705347 |     800     9592    53884 |        1    72769     17 |  0.000 % |
58.68/58.79	c |    705557 |     800     9592    53884 |        1    72979     17 |  0.000 % |
58.68/58.79	c |    706954 |     800     9592    53884 |        1    74376     17 |  0.000 % |
58.68/58.79	c |    707083 |     800     9592    53884 |        1    74505     17 |  0.000 % |
58.68/58.79	c |    708244 |     800     9592    53884 |        1    75666     18 |  0.000 % |
58.68/58.79	c |    710330 |     800     9592    53884 |        1    77752     18 |  0.000 % |
58.68/58.79	c |    714507 |     800     9592    53884 |        1    81929     19 |  0.000 % |
58.68/58.79	c |    714645 |     800     9592    53884 |        1    82067     19 |  0.000 % |
58.68/58.79	c |    716688 |     800     9592    53884 |        1    84110     19 |  0.000 % |
58.68/58.79	c |    716971 |     800     9592    53884 |        1    84393     20 |  0.000 % |
58.68/58.79	c |    717366 |     800     9592    53884 |        1    84788     20 |  0.000 % |
58.68/58.79	c |    727926 |     800     9592    53884 |        1    95348     22 |  0.000 % |
58.68/58.79	c |    728168 |     800     9592    53884 |        1    95590     22 |  0.000 % |
58.68/58.79	c |    728875 |     800     9592    53884 |        1    96297     22 |  0.000 % |
58.68/58.79	c |    730140 |     800     9592    53884 |        1    97562     22 |  0.000 % |
58.68/58.79	c |    730241 |     800     9592    53884 |        1    97663     22 |  0.000 % |
58.68/58.79	c |    730567 |     800     9592    53884 |        1    97989     22 |  0.000 % |
58.68/58.79	c |    732272 |     800     9592    53884 |        1    99694     23 |  0.000 % |
58.68/58.79	c |    733736 |     800     9592    53884 |        1   101158     23 |  0.000 % |
58.68/58.79	c |    736025 |     800     9592    53884 |        1   103447     23 |  0.000 % |
58.68/58.79	c |    741188 |     800     9592    53884 |        1   108610     24 |  0.000 % |
58.68/58.79	c |    741637 |     800     9592    53884 |        1   109059     24 |  0.000 % |
58.68/58.79	c |    743658 |     800     9592    53884 |        1   111080     24 |  0.000 % |
58.68/58.79	c |    744114 |     800     9592    53884 |        1   111536     24 |  0.000 % |
58.68/58.79	c |    744509 |     800     9592    53884 |        1   111931     25 |  0.000 % |
58.68/58.79	c |    744799 |     800     9592    53884 |        1   112221     25 |  0.000 % |
58.68/58.79	c |    745337 |     800     9592    53884 |        1   112759     25 |  0.000 % |
58.68/58.79	c |    745496 |     800     9592    53884 |        1   112918     25 |  0.000 % |
58.68/58.79	c |    745616 |     800     9592    53884 |        1   113038     25 |  0.000 % |
58.68/58.79	c |    745812 |     800     9592    53884 |        1   113234     25 |  0.000 % |
65.08/65.17	c |    746209 |     800     9592    53884 |        1   113631     25 |  0.000 % |
65.08/65.17	c |    746390 |     800     9592    53884 |        1   113812     25 |  0.000 % |
65.08/65.17	c |    746661 |     800     9592    53884 |        1   114083     25 |  0.000 % |
65.08/65.17	c |    747296 |     800     9592    53884 |        1   114718     25 |  0.000 % |
65.08/65.17	c |    747440 |     800     9592    53884 |        1   114862     25 |  0.000 % |
65.08/65.17	c |    747751 |     800     9592    53884 |        1   115173     25 |  0.000 % |
65.08/65.17	c |    760488 |     800     9592    53884 |        1    69302     16 |  0.000 % |
65.08/65.17	c |    760744 |     800     9592    53884 |        1    69558     16 |  0.000 % |
65.08/65.17	c |    761268 |     800     9592    53884 |        1    70082     16 |  0.000 % |
65.08/65.17	c |    761788 |     800     9592    53884 |        1    70602     16 |  0.000 % |
65.08/65.17	c |    762119 |     800     9592    53884 |        1    70933     16 |  0.000 % |
65.08/65.17	c |    763197 |     800     9592    53884 |        1    72011     17 |  0.000 % |
65.08/65.17	c |    763416 |     800     9592    53884 |        1    72230     17 |  0.000 % |
65.08/65.17	c |    763620 |     800     9592    53884 |        1    72434     17 |  0.000 % |
65.08/65.17	c |    763978 |     800     9592    53884 |        1    72792     17 |  0.000 % |
65.08/65.17	c |    764401 |     800     9592    53884 |        1    73215     17 |  0.000 % |
65.08/65.17	c |    764591 |     800     9592    53884 |        1    73405     17 |  0.000 % |
65.08/65.17	c |    765081 |     800     9592    53884 |        1    73895     17 |  0.000 % |
65.08/65.17	c |    765209 |     800     9592    53884 |        1    74023     17 |  0.000 % |
65.08/65.17	c |    765361 |     800     9592    53884 |        1    74175     17 |  0.000 % |
65.08/65.17	c |    765549 |     800     9592    53884 |        1    74363     17 |  0.000 % |
65.08/65.17	c |    765813 |     800     9592    53884 |        1    74627     17 |  0.000 % |
65.08/65.17	c |    766855 |     800     9592    53884 |        1    75669     18 |  0.000 % |
65.08/65.17	c |    767356 |     800     9592    53884 |        1    76170     18 |  0.000 % |
65.08/65.17	c |    769780 |     800     9592    53884 |        1    78594     19 |  0.000 % |
65.08/65.17	c |    769952 |     800     9592    53884 |        1    78766     19 |  0.000 % |
65.08/65.17	c |    774293 |     800     9592    53884 |        1    83107     20 |  0.000 % |
65.08/65.17	c |    775233 |     800     9592    53884 |        1    84047     21 |  0.000 % |
65.08/65.17	c |    775333 |     800     9592    53884 |        1    84147     21 |  0.000 % |
65.08/65.17	c |    775539 |     800     9592    53884 |        1    84353     21 |  0.000 % |
65.08/65.17	c |    775773 |     800     9592    53884 |        1    84587     21 |  0.000 % |
65.08/65.17	c |    776919 |     800     9592    53884 |        1    85733     21 |  0.000 % |
65.08/65.17	c |    778290 |     800     9592    53884 |        1    87104     21 |  0.000 % |
65.08/65.17	c |    784037 |     800     9592    53884 |        1    92851     22 |  0.000 % |
65.08/65.17	c |    784137 |     800     9592    53884 |        1    92951     22 |  0.000 % |
65.08/65.17	c |    784290 |     800     9592    53884 |        1    93104     22 |  0.000 % |
65.08/65.17	c |    784866 |     800     9592    53884 |        1    93680     23 |  0.000 % |
65.08/65.17	c |    785221 |     800     9592    53884 |        1    94035     23 |  0.000 % |
65.08/65.17	c |    786159 |     800     9592    53884 |        1    94973     23 |  0.000 % |
65.08/65.17	c |    786934 |     800     9592    53884 |        1    95748     23 |  0.000 % |
65.08/65.17	c |    787104 |     800     9592    53884 |        1    95918     23 |  0.000 % |
65.08/65.17	c |    787282 |     800     9592    53884 |        1    96096     23 |  0.000 % |
65.08/65.17	c |    790485 |     800     9592    53884 |        1    99299     24 |  0.000 % |
65.08/65.17	c |    790776 |     800     9592    53884 |        1    99590     24 |  0.000 % |
65.08/65.17	c |    790950 |     800     9592    53884 |        1    99764     24 |  0.000 % |
65.08/65.17	c |    791120 |     800     9592    53884 |        1    99934     24 |  0.000 % |
65.08/65.17	c |    792538 |     800     9592    53884 |        1   101352     24 |  0.000 % |
65.08/65.17	c |    793568 |     800     9592    53884 |        1   102382     25 |  0.000 % |
65.08/65.17	c |    794084 |     800     9592    53884 |        1   102898     25 |  0.000 % |
65.08/65.17	c |    794776 |     800     9592    53884 |        1   103590     25 |  0.000 % |
68.98/69.03	c |    794876 |     800     9592    53884 |        1   103690     25 |  0.000 % |
68.98/69.03	c |    795045 |     800     9592    53884 |        1   103859     25 |  0.000 % |
68.98/69.03	c |    795216 |     800     9592    53884 |        1   104030     25 |  0.000 % |
68.98/69.03	c |    795317 |     800     9592    53884 |        1   104131     25 |  0.000 % |
68.98/69.03	c |    798171 |     800     9592    53884 |        1   106985     25 |  0.000 % |
68.98/69.03	c |    798281 |     800     9592    53884 |        1   107095     25 |  0.000 % |
68.98/69.03	c |    798523 |     800     9592    53884 |        1   107337     25 |  0.000 % |
68.98/69.03	c |    798624 |     800     9592    53884 |        1   107438     25 |  0.000 % |
68.98/69.03	c |    800429 |     800     9592    53884 |        1   109243     26 |  0.000 % |
68.98/69.03	c |    802305 |     800     9592    53884 |        1   111119     26 |  0.000 % |
68.98/69.03	c |    802579 |     800     9592    53884 |        1   111393     26 |  0.000 % |
68.98/69.03	c |    803232 |     800     9592    53884 |        1   112046     26 |  0.000 % |
68.98/69.03	c |    803597 |     800     9592    53884 |        1   112411     26 |  0.000 % |
68.98/69.03	c |    803841 |     800     9592    53884 |        1   112655     26 |  0.000 % |
68.98/69.03	c |    804447 |     800     9592    53884 |        1   113261     26 |  0.000 % |
68.98/69.03	c |    805207 |     800     9592    53884 |        1   114021     26 |  0.000 % |
68.98/69.03	c |    805428 |     800     9592    53884 |        1   114242     26 |  0.000 % |
68.98/69.03	c |    805696 |     800     9592    53884 |        1   114510     26 |  0.000 % |
68.98/69.03	c |    809323 |     800     9592    53884 |        1   118137     26 |  0.000 % |
68.98/69.03	c |    810778 |     800     9592    53884 |        1   119592     27 |  0.000 % |
68.98/69.03	c |    811178 |     800     9592    53884 |        1   119992     27 |  0.000 % |
68.98/69.03	c |    811402 |     800     9592    53884 |        1   120216     27 |  0.000 % |
68.98/69.03	c |    811632 |     800     9592    53884 |        1   120446     27 |  0.000 % |
68.98/69.03	c |    811745 |     800     9592    53884 |        1   120559     27 |  0.000 % |
68.98/69.03	c |    811887 |     800     9592    53884 |        1   120701     27 |  0.000 % |
68.98/69.03	c |    812054 |     800     9592    53884 |        1   120868     27 |  0.000 % |
68.98/69.03	c |    812181 |     800     9592    53884 |        1   120995     27 |  0.000 % |
68.98/69.03	c |    812348 |     800     9592    53884 |        1   121162     27 |  0.000 % |
68.98/69.03	c |    813115 |     800     9592    53884 |        1   121929     27 |  0.000 % |
68.98/69.03	c |    813356 |     800     9592    53884 |        1   122170     27 |  0.000 % |
68.98/69.03	c |    813456 |     800     9592    53884 |        1   122270     27 |  0.000 % |
68.98/69.03	c |    814496 |     800     9592    53884 |        1    62111     11 |  0.000 % |
68.98/69.03	c |    814722 |     800     9592    53884 |        1    62337     11 |  0.000 % |
68.98/69.03	c |    815538 |     800     9592    53884 |        1    63153     12 |  0.000 % |
68.98/69.03	c |    815718 |     800     9592    53884 |        1    63333     12 |  0.000 % |
68.98/69.03	c |    816917 |     800     9592    53884 |        1    64532     12 |  0.000 % |
68.98/69.03	c |    817057 |     800     9592    53884 |        1    64672     12 |  0.000 % |
68.98/69.03	c |    817480 |     800     9592    53884 |        1    65095     12 |  0.000 % |
68.98/69.03	c |    817583 |     800     9592    53884 |        1    65198     12 |  0.000 % |
68.98/69.03	c |    818339 |     800     9592    53884 |        1    65954     13 |  0.000 % |
68.98/69.03	c |    818467 |     800     9592    53884 |        1    66082     13 |  0.000 % |
68.98/69.03	c |    818606 |     800     9592    53884 |        1    66221     13 |  0.000 % |
68.98/69.03	c |    818754 |     800     9592    53884 |        1    66369     13 |  0.000 % |
68.98/69.03	c |    818854 |     800     9592    53884 |        1    66469     13 |  0.000 % |
68.98/69.03	c |    819344 |     800     9592    53884 |        1    66959     13 |  0.000 % |
68.98/69.03	c |    819625 |     800     9592    53884 |        1    67240     13 |  0.000 % |
68.98/69.03	c |    822489 |     800     9592    53884 |        1    70104     14 |  0.000 % |
68.98/69.03	c |    823651 |     800     9592    53884 |        1    71266     15 |  0.000 % |
68.98/69.03	c |    823913 |     800     9592    53884 |        1    71528     15 |  0.000 % |
68.98/69.03	c |    824219 |     800     9592    53884 |        1    71834     15 |  0.000 % |
76.67/76.71	c |    824643 |     800     9592    53884 |        1    72258     15 |  0.000 % |
76.67/76.71	c |    824857 |     800     9592    53884 |        1    72472     15 |  0.000 % |
76.67/76.71	c |    825101 |     800     9592    53884 |        1    72716     15 |  0.000 % |
76.67/76.71	c |    825588 |     800     9592    53884 |        1    73203     15 |  0.000 % |
76.67/76.71	c |    825689 |     800     9592    53884 |        1    73304     16 |  0.000 % |
76.67/76.71	c |    826017 |     800     9592    53884 |        1    73632     16 |  0.000 % |
76.67/76.71	c |    826676 |     800     9592    53884 |        1    74291     16 |  0.000 % |
76.67/76.71	c |    828314 |     800     9592    53884 |        1    75929     17 |  0.000 % |
76.67/76.71	c |    828781 |     800     9592    53884 |        1    76396     17 |  0.000 % |
76.67/76.71	c |    830577 |     800     9592    53884 |        1    78192     17 |  0.000 % |
76.67/76.71	c |    830714 |     800     9592    53884 |        1    78329     17 |  0.000 % |
76.67/76.71	c |    831260 |     800     9592    53884 |        1    78875     18 |  0.000 % |
76.67/76.71	c |    831763 |     800     9592    53884 |        1    79378     18 |  0.000 % |
76.67/76.71	c |    832092 |     800     9592    53884 |        1    79707     18 |  0.000 % |
76.67/76.71	c |    832255 |     800     9592    53884 |        1    79870     18 |  0.000 % |
76.67/76.71	c |    833428 |     800     9592    53884 |        1    81043     18 |  0.000 % |
76.67/76.71	c |    842923 |     800     9592    53884 |        1    90538     20 |  0.000 % |
76.67/76.71	c |    843206 |     800     9592    53884 |        1    90821     20 |  0.000 % |
76.67/76.71	c |    843926 |     800     9592    53884 |        1    91541     20 |  0.000 % |
76.67/76.71	c |    844207 |     800     9592    53884 |        1    91822     21 |  0.000 % |
76.67/76.71	c |    844486 |     800     9592    53884 |        1    92101     21 |  0.000 % |
76.67/76.71	c |    844873 |     800     9592    53884 |        1    92488     21 |  0.000 % |
76.67/76.71	c |    845419 |     800     9592    53884 |        1    93034     21 |  0.000 % |
76.67/76.71	c |    846104 |     800     9592    53884 |        1    93719     21 |  0.000 % |
76.67/76.71	c |    847385 |     800     9592    53884 |        1    95000     21 |  0.000 % |
76.67/76.71	c |    847880 |     800     9592    53884 |        1    95495     21 |  0.000 % |
76.67/76.71	c |    848205 |     800     9592    53884 |        1    95820     21 |  0.000 % |
76.67/76.71	c |    849105 |     800     9592    53884 |        1    96720     22 |  0.000 % |
76.67/76.71	c |    852590 |     800     9592    53884 |        1   100205     23 |  0.000 % |
76.67/76.71	c |    855410 |     800     9592    53884 |        1   103025     23 |  0.000 % |
76.67/76.71	c |    855663 |     800     9592    53884 |        1   103278     23 |  0.000 % |
76.67/76.71	c |    855959 |     800     9592    53884 |        1   103574     23 |  0.000 % |
76.67/76.71	c |    856226 |     800     9592    53884 |        1   103841     23 |  0.000 % |
76.67/76.71	c |    856986 |     800     9592    53884 |        1   104601     23 |  0.000 % |
76.67/76.71	c |    857556 |     800     9592    53884 |        1   105171     23 |  0.000 % |
76.67/76.71	c |    857967 |     800     9592    53884 |        1   105582     24 |  0.000 % |
76.67/76.71	c |    858105 |     800     9592    53884 |        1   105720     24 |  0.000 % |
76.67/76.71	c |    858875 |     800     9592    53884 |        1   106490     24 |  0.000 % |
76.67/76.71	c |    859562 |     800     9592    53884 |        1   107177     24 |  0.000 % |
76.67/76.71	c |    862897 |     800     9592    53884 |        1   110512     24 |  0.000 % |
76.67/76.71	c |    862997 |     800     9592    53884 |        1   110612     24 |  0.000 % |
76.67/76.71	c |    863785 |     800     9592    53884 |        1   111400     24 |  0.000 % |
76.67/76.71	c |    864719 |     800     9592    53884 |        1   112334     25 |  0.000 % |
76.67/76.71	c |    864832 |     800     9592    53884 |        1   112447     25 |  0.000 % |
76.67/76.71	c |    866380 |     800     9592    53884 |        1   113995     25 |  0.000 % |
76.67/76.71	c |    867565 |     800     9592    53884 |        1   115180     25 |  0.000 % |
76.67/76.71	c |    867856 |     800     9592    53884 |        1   115471     25 |  0.000 % |
76.67/76.71	c |    868805 |     800     9592    53884 |        1   116420     25 |  0.000 % |
76.67/76.71	c |    878789 |     800     9592    53884 |        1   126404     27 |  0.000 % |
76.67/76.71	c |    882081 |     800     9592    53884 |        1    65894     11 |  0.000 % |
85.57/85.60	c |    882350 |     800     9592    53884 |        1    66163     11 |  0.000 % |
85.57/85.60	c |    882700 |     800     9592    53884 |        1    66513     11 |  0.000 % |
85.57/85.60	c |    883639 |     800     9592    53884 |        1    67452     11 |  0.000 % |
85.57/85.60	c |    883883 |     800     9592    53884 |        1    67696     12 |  0.000 % |
85.57/85.60	c |    884245 |     800     9592    53884 |        1    68058     12 |  0.000 % |
85.57/85.60	c |    884836 |     800     9592    53884 |        1    68649     12 |  0.000 % |
85.57/85.60	c |    885625 |     800     9592    53884 |        1    69438     12 |  0.000 % |
85.57/85.60	c |    885725 |     800     9592    53884 |        1    69538     12 |  0.000 % |
85.57/85.60	c |    903612 |     800     9592    53884 |        1    87425     19 |  0.000 % |
85.57/85.60	c |    903712 |     800     9592    53884 |        1    87525     19 |  0.000 % |
85.57/85.60	c |    903980 |     800     9592    53884 |        1    87793     19 |  0.000 % |
85.57/85.60	c |    904472 |     800     9592    53884 |        1    88285     19 |  0.000 % |
85.57/85.60	c |    904860 |     800     9592    53884 |        1    88673     19 |  0.000 % |
85.57/85.60	c |    906169 |     800     9592    53884 |        1    89982     20 |  0.000 % |
85.57/85.60	c |    906275 |     800     9592    53884 |        1    90088     20 |  0.000 % |
85.57/85.60	c |    906616 |     800     9592    53884 |        1    90429     20 |  0.000 % |
85.57/85.60	c |    906716 |     800     9592    53884 |        1    90529     20 |  0.000 % |
85.57/85.60	c |    906820 |     800     9592    53884 |        1    90633     20 |  0.000 % |
85.57/85.60	c |    910250 |     800     9592    53884 |        1    94063     21 |  0.000 % |
85.57/85.60	c |    910859 |     800     9592    53884 |        1    94672     21 |  0.000 % |
85.57/85.60	c |    911121 |     800     9592    53884 |        1    94934     21 |  0.000 % |
85.57/85.60	c |    912072 |     800     9592    53884 |        1    95885     21 |  0.000 % |
85.57/85.60	c |    912415 |     800     9592    53884 |        1    96228     21 |  0.000 % |
85.57/85.60	c |    922883 |     800     9592    53884 |        1   106696     23 |  0.000 % |
85.57/85.60	c |    924489 |     800     9592    53884 |        1   108302     23 |  0.000 % |
85.57/85.60	c |    926133 |     800     9592    53884 |        1   109946     23 |  0.000 % |
85.57/85.60	c |    926601 |     800     9592    53884 |        1   110414     23 |  0.000 % |
85.57/85.60	c |    927053 |     800     9592    53884 |        1   110866     23 |  0.000 % |
85.57/85.60	c |    927780 |     800     9592    53884 |        1   111593     24 |  0.000 % |
85.57/85.60	c |    927918 |     800     9592    53884 |        1   111731     24 |  0.000 % |
85.57/85.60	c |    931755 |     800     9592    53884 |        1   115568     25 |  0.000 % |
85.57/85.60	c |    933080 |     800     9592    53884 |        1   116893     25 |  0.000 % |
85.57/85.60	c |    933850 |     800     9592    53884 |        1   117663     25 |  0.000 % |
85.57/85.60	c |    936192 |     800     9592    53884 |        1   120005     25 |  0.000 % |
85.57/85.60	c |    936299 |     800     9592    53884 |        1   120112     25 |  0.000 % |
85.57/85.60	c |    937512 |     800     9592    53884 |        1   121325     26 |  0.000 % |
85.57/85.60	c |    941124 |     800     9592    53884 |        1   124937     26 |  0.000 % |
85.57/85.60	c |    941912 |     800     9592    53884 |        1   125725     26 |  0.000 % |
85.57/85.60	c |    945992 |     800     9592    53884 |        1   129805     26 |  0.000 % |
85.57/85.60	c |    946354 |     800     9592    53884 |        1   130167     26 |  0.000 % |
85.57/85.60	c |    946824 |     800     9592    53884 |        1   130637     26 |  0.000 % |
85.57/85.60	c |    948002 |     800     9592    53884 |        1   131815     27 |  0.000 % |
85.57/85.60	c |    948842 |     800     9592    53884 |        1   132655     27 |  0.000 % |
85.57/85.60	c |    949775 |     800     9592    53884 |        1    67193     11 |  0.000 % |
85.57/85.60	c |    950941 |     800     9592    53884 |        1    68359     12 |  0.000 % |
85.57/85.60	c |    951335 |     800     9592    53884 |        1    68753     12 |  0.000 % |
85.57/85.60	c |    951704 |     800     9592    53884 |        1    69122     12 |  0.000 % |
85.57/85.60	c |    954149 |     800     9592    53884 |        1    71567     13 |  0.000 % |
85.57/85.60	c |    954808 |     800     9592    53884 |        1    72226     14 |  0.000 % |
85.57/85.60	c |    955267 |     800     9592    53884 |        1    72685     14 |  0.000 % |
92.17/92.23	c |    955768 |     800     9592    53884 |        1    73186     14 |  0.000 % |
92.17/92.23	c |    956492 |     800     9592    53884 |        1    73910     14 |  0.000 % |
92.17/92.23	c |    957378 |     800     9592    53884 |        1    74796     15 |  0.000 % |
92.17/92.23	c |    959910 |     800     9592    53884 |        1    77328     15 |  0.000 % |
92.17/92.23	c |    960162 |     800     9592    53884 |        1    77580     15 |  0.000 % |
92.17/92.23	c |    960374 |     800     9592    53884 |        1    77792     15 |  0.000 % |
92.17/92.23	c |    960644 |     800     9592    53884 |        1    78062     15 |  0.000 % |
92.17/92.23	c |    961621 |     800     9592    53884 |        1    79039     16 |  0.000 % |
92.17/92.23	c |    962028 |     800     9592    53884 |        1    79446     16 |  0.000 % |
92.17/92.23	c |    962932 |     800     9592    53884 |        1    80350     16 |  0.000 % |
92.17/92.23	c |    963387 |     800     9592    53884 |        1    80805     16 |  0.000 % |
92.17/92.23	c |    964000 |     800     9592    53884 |        1    81418     16 |  0.000 % |
92.17/92.23	c |    964214 |     800     9592    53884 |        1    81632     17 |  0.000 % |
92.17/92.23	c |    964885 |     800     9592    53884 |        1    82303     17 |  0.000 % |
92.17/92.23	c |    965156 |     800     9592    53884 |        1    82574     17 |  0.000 % |
92.17/92.23	c |    965590 |     800     9592    53884 |        1    83008     17 |  0.000 % |
92.17/92.23	c |    966350 |     800     9592    53884 |        1    83768     17 |  0.000 % |
92.17/92.23	c |    966605 |     800     9592    53884 |        1    84023     17 |  0.000 % |
92.17/92.23	c |    967432 |     800     9592    53884 |        1    84850     18 |  0.000 % |
92.17/92.23	c |    973157 |     800     9592    53884 |        1    90575     19 |  0.000 % |
92.17/92.23	c |    973490 |     800     9592    53884 |        1    90908     19 |  0.000 % |
92.17/92.23	c |    973893 |     800     9592    53884 |        1    91311     19 |  0.000 % |
92.17/92.23	c |    974062 |     800     9592    53884 |        1    91480     19 |  0.000 % |
92.17/92.23	c |    974553 |     800     9592    53884 |        1    91971     19 |  0.000 % |
92.17/92.23	c |    974965 |     800     9592    53884 |        1    92383     19 |  0.000 % |
92.17/92.23	c |    975406 |     800     9592    53884 |        1    92824     20 |  0.000 % |
92.17/92.23	c |    979524 |     800     9592    53884 |        1    96942     21 |  0.000 % |
92.17/92.23	c |    985727 |     800     9592    53884 |        1   103145     22 |  0.000 % |
92.17/92.23	c |    988680 |     800     9592    53884 |        1   106098     22 |  0.000 % |
92.17/92.23	c |    990405 |     800     9592    53884 |        1   107823     22 |  0.000 % |
92.17/92.23	c |    990785 |     800     9592    53884 |        1   108203     23 |  0.000 % |
92.17/92.23	c |    991211 |     800     9592    53884 |        1   108629     23 |  0.000 % |
92.17/92.23	c |    991532 |     800     9592    53884 |        1   108950     23 |  0.000 % |
92.17/92.23	c |    994101 |     800     9592    53884 |        1   111519     23 |  0.000 % |
92.17/92.23	c |    994512 |     800     9592    53884 |        1   111930     23 |  0.000 % |
92.17/92.23	c |    995355 |     800     9592    53884 |        1   112773     23 |  0.000 % |
92.17/92.23	c |    995523 |     800     9592    53884 |        1   112941     23 |  0.000 % |
92.17/92.23	c |    995634 |     800     9592    53884 |        1   113052     23 |  0.000 % |
92.17/92.23	c |    995736 |     800     9592    53884 |        1   113154     23 |  0.000 % |
92.17/92.23	c |    996101 |     800     9592    53884 |        1   113519     23 |  0.000 % |
92.17/92.23	c |    996977 |     800     9592    53884 |        1   114395     24 |  0.000 % |
92.17/92.23	c |    997178 |     800     9592    53884 |        1   114596     24 |  0.000 % |
92.17/92.23	c |    998643 |     800     9592    53884 |        1   116061     24 |  0.000 % |
92.17/92.23	c |    999597 |     800     9592    53884 |        1   117015     24 |  0.000 % |
92.17/92.23	c |   1000271 |     800     9592    53884 |        1   117689     24 |  0.000 % |
92.17/92.23	c |   1000461 |     800     9592    53884 |        1   117879     24 |  0.000 % |
92.17/92.23	c |   1000790 |     800     9592    53884 |        1   118208     24 |  0.000 % |
92.17/92.23	c |   1001174 |     800     9592    53884 |        1   118592     24 |  0.000 % |
92.17/92.23	c |   1001889 |     800     9592    53884 |        1   119307     24 |  0.000 % |
92.17/92.23	c |   1002135 |     800     9592    53884 |        1   119553     24 |  0.000 % |
105.08/105.18	c |   1002257 |     800     9592    53884 |        1   119675     24 |  0.000 % |
105.08/105.18	c |   1003037 |     800     9592    53884 |        1   120455     24 |  0.000 % |
105.08/105.18	c |   1003848 |     800     9592    53884 |        1   121266     25 |  0.000 % |
105.08/105.18	c |   1005575 |     800     9592    53884 |        1   122993     25 |  0.000 % |
105.08/105.18	c |   1008378 |     800     9592    53884 |        1   125796     25 |  0.000 % |
105.08/105.18	c |   1009250 |     800     9592    53884 |        1   126668     25 |  0.000 % |
105.08/105.18	c |   1009591 |     800     9592    53884 |        1   127009     26 |  0.000 % |
105.08/105.18	c |   1010653 |     800     9592    53884 |        1   128071     26 |  0.000 % |
105.08/105.18	c |   1012785 |     800     9592    53884 |        1   130203     26 |  0.000 % |
105.08/105.18	c |   1012955 |     800     9592    53884 |        1   130373     26 |  0.000 % |
105.08/105.18	c |   1013541 |     800     9592    53884 |        1   130959     26 |  0.000 % |
105.08/105.18	c |   1013685 |     800     9592    53884 |        1   131103     26 |  0.000 % |
105.08/105.18	c |   1030173 |     800     9592    53884 |        1    78586     14 |  0.000 % |
105.08/105.18	c |   1030857 |     800     9592    53884 |        1    79270     14 |  0.000 % |
105.08/105.18	c |   1030995 |     800     9592    53884 |        1    79408     14 |  0.000 % |
105.08/105.18	c |   1031511 |     800     9592    53884 |        1    79924     14 |  0.000 % |
105.08/105.18	c |   1032064 |     800     9592    53884 |        1    80477     14 |  0.000 % |
105.08/105.18	c |   1033165 |     800     9592    53884 |        1    81578     15 |  0.000 % |
105.08/105.18	c |   1033479 |     800     9592    53884 |        1    81892     15 |  0.000 % |
105.08/105.18	c |   1033579 |     800     9592    53884 |        1    81992     15 |  0.000 % |
105.08/105.18	c |   1034398 |     800     9592    53884 |        1    82811     15 |  0.000 % |
105.08/105.18	c |   1035071 |     800     9592    53884 |        1    83484     15 |  0.000 % |
105.08/105.18	c |   1035175 |     800     9592    53884 |        1    83588     15 |  0.000 % |
105.08/105.18	c |   1035315 |     800     9592    53884 |        1    83728     15 |  0.000 % |
105.08/105.18	c |   1035415 |     800     9592    53884 |        1    83828     16 |  0.000 % |
105.08/105.18	c |   1035516 |     800     9592    53884 |        1    83929     16 |  0.000 % |
105.08/105.18	c |   1035880 |     800     9592    53884 |        1    84293     16 |  0.000 % |
105.08/105.18	c |   1038241 |     800     9592    53884 |        1    86654     16 |  0.000 % |
105.08/105.18	c |   1038347 |     800     9592    53884 |        1    86760     16 |  0.000 % |
105.08/105.18	c |   1051592 |     800     9592    53884 |        1   100005     21 |  0.000 % |
105.08/105.18	c |   1051877 |     800     9592    53884 |        1   100290     21 |  0.000 % |
105.08/105.18	c |   1052602 |     800     9592    53884 |        1   101015     21 |  0.000 % |
105.08/105.18	c |   1055080 |     800     9592    53884 |        1   103493     21 |  0.000 % |
105.08/105.18	c |   1055324 |     800     9592    53884 |        1   103737     21 |  0.000 % |
105.08/105.18	c |   1056022 |     800     9592    53884 |        1   104435     21 |  0.000 % |
105.08/105.18	c |   1057415 |     800     9592    53884 |        1   105828     22 |  0.000 % |
105.08/105.18	c |   1069738 |     800     9592    53884 |        1   118151     23 |  0.000 % |
105.08/105.18	c |   1071297 |     800     9592    53884 |        1   119710     24 |  0.000 % |
105.08/105.18	c |   1072980 |     800     9592    53884 |        1   121393     24 |  0.000 % |
105.08/105.18	c |   1074563 |     800     9592    53884 |        1   122976     24 |  0.000 % |
105.08/105.18	c |   1075843 |     800     9592    53884 |        1   124256     24 |  0.000 % |
105.08/105.18	c |   1076719 |     800     9592    53884 |        1   125132     24 |  0.000 % |
105.08/105.18	c |   1077522 |     800     9592    53884 |        1   125935     25 |  0.000 % |
105.08/105.18	c |   1077959 |     800     9592    53884 |        1   126372     25 |  0.000 % |
105.08/105.18	c |   1089386 |     800     9592    53884 |        1   137799     26 |  0.000 % |
105.08/105.18	c |   1091049 |     800     9592    53884 |        1   139462     26 |  0.000 % |
105.08/105.18	c |   1092343 |     800     9592    53884 |        1   140756     26 |  0.000 % |
105.08/105.18	c |   1092497 |     800     9592    53884 |        1   140910     26 |  0.000 % |
105.08/105.18	c |   1093246 |     800     9592    53884 |        1   141659     26 |  0.000 % |
105.08/105.18	c |   1093480 |     800     9592    53884 |        1   141893     26 |  0.000 % |
113.28/113.39	c |   1094093 |     800     9592    53884 |        1   142506     27 |  0.000 % |
113.28/113.39	c |   1098087 |     800     9592    53884 |        1    74899     12 |  0.000 % |
113.28/113.39	c |   1099451 |     800     9592    53884 |        1    76263     13 |  0.000 % |
113.28/113.39	c |   1101916 |     800     9592    53884 |        1    78728     13 |  0.000 % |
113.28/113.39	c |   1102278 |     800     9592    53884 |        1    79090     14 |  0.000 % |
113.28/113.39	c |   1102853 |     800     9592    53884 |        1    79665     14 |  0.000 % |
113.28/113.39	c |   1103408 |     800     9592    53884 |        1    80220     14 |  0.000 % |
113.28/113.39	c |   1104216 |     800     9592    53884 |        1    81028     14 |  0.000 % |
113.28/113.39	c |   1104746 |     800     9592    53884 |        1    81558     14 |  0.000 % |
113.28/113.39	c |   1106062 |     800     9592    53884 |        1    82874     15 |  0.000 % |
113.28/113.39	c |   1108400 |     800     9592    53884 |        1    85212     16 |  0.000 % |
113.28/113.39	c |   1117192 |     800     9592    53884 |        1    94004     19 |  0.000 % |
113.28/113.39	c |   1119597 |     800     9592    53884 |        1    96409     20 |  0.000 % |
113.28/113.39	c |   1119838 |     800     9592    53884 |        1    96650     20 |  0.000 % |
113.28/113.39	c |   1121013 |     800     9592    53884 |        1    97825     20 |  0.000 % |
113.28/113.39	c |   1121114 |     800     9592    53884 |        1    97926     20 |  0.000 % |
113.28/113.39	c |   1121678 |     800     9592    53884 |        1    98490     20 |  0.000 % |
113.28/113.39	c |   1122248 |     800     9592    53884 |        1    99060     20 |  0.000 % |
113.28/113.39	c |   1122390 |     800     9592    53884 |        1    99202     20 |  0.000 % |
113.28/113.39	c |   1131590 |     800     9592    53884 |        1   108402     21 |  0.000 % |
113.28/113.39	c |   1134129 |     800     9592    53884 |        1   110941     22 |  0.000 % |
113.28/113.39	c |   1134267 |     800     9592    53884 |        1   111079     22 |  0.000 % |
113.28/113.39	c |   1135335 |     800     9592    53884 |        1   112147     22 |  0.000 % |
113.28/113.39	c |   1136235 |     800     9592    53884 |        1   113047     22 |  0.000 % |
113.28/113.39	c |   1137242 |     800     9592    53884 |        1   114054     23 |  0.000 % |
113.28/113.39	c |   1138246 |     800     9592    53884 |        1   115058     23 |  0.000 % |
113.28/113.39	c |   1138974 |     800     9592    53884 |        1   115786     23 |  0.000 % |
113.28/113.39	c |   1139477 |     800     9592    53884 |        1   116289     23 |  0.000 % |
113.28/113.39	c |   1139622 |     800     9592    53884 |        1   116434     23 |  0.000 % |
113.28/113.39	c |   1139884 |     800     9592    53884 |        1   116696     23 |  0.000 % |
113.28/113.39	c |   1140628 |     800     9592    53884 |        1   117440     23 |  0.000 % |
113.28/113.39	c |   1140807 |     800     9592    53884 |        1   117619     23 |  0.000 % |
113.28/113.39	c |   1141394 |     800     9592    53884 |        1   118206     23 |  0.000 % |
113.28/113.39	c |   1142680 |     800     9592    53884 |        1   119492     24 |  0.000 % |
113.28/113.39	c |   1142974 |     800     9592    53884 |        1   119786     24 |  0.000 % |
113.28/113.39	c |   1143242 |     800     9592    53884 |        1   120054     24 |  0.000 % |
113.28/113.39	c |   1143458 |     800     9592    53884 |        1   120270     24 |  0.000 % |
113.28/113.39	c |   1144428 |     800     9592    53884 |        1   121240     24 |  0.000 % |
113.28/113.39	c |   1144829 |     800     9592    53884 |        1   121641     24 |  0.000 % |
113.28/113.39	c |   1145017 |     800     9592    53884 |        1   121829     24 |  0.000 % |
113.28/113.39	c |   1146612 |     800     9592    53884 |        1   123424     24 |  0.000 % |
113.28/113.39	c |   1146896 |     800     9592    53884 |        1   123708     24 |  0.000 % |
113.28/113.39	c |   1147497 |     800     9592    53884 |        1   124309     24 |  0.000 % |
113.28/113.39	c |   1148545 |     800     9592    53884 |        1   125357     24 |  0.000 % |
113.28/113.39	c |   1150213 |     800     9592    53884 |        1   127025     25 |  0.000 % |
113.28/113.39	c |   1151716 |     800     9592    53884 |        1   128528     25 |  0.000 % |
113.28/113.39	c |   1152557 |     800     9592    53884 |        1   129369     25 |  0.000 % |
113.28/113.39	c |   1152755 |     800     9592    53884 |        1   129567     25 |  0.000 % |
113.28/113.39	c |   1152973 |     800     9592    53884 |        1   129785     25 |  0.000 % |
113.28/113.39	c |   1153367 |     800     9592    53884 |        1   130179     25 |  0.000 % |
129.87/129.90	c |   1154327 |     800     9592    53884 |        1   131139     25 |  0.000 % |
129.87/129.90	c |   1154691 |     800     9592    53884 |        1   131503     25 |  0.000 % |
129.87/129.90	c |   1155007 |     800     9592    53884 |        1   131819     25 |  0.000 % |
129.87/129.90	c |   1156042 |     800     9592    53884 |        1   132854     25 |  0.000 % |
129.87/129.90	c |   1156314 |     800     9592    53884 |        1   133126     26 |  0.000 % |
129.87/129.90	c |   1156807 |     800     9592    53884 |        1   133619     26 |  0.000 % |
129.87/129.90	c |   1157095 |     800     9592    53884 |        1   133907     26 |  0.000 % |
129.87/129.90	c |   1157305 |     800     9592    53884 |        1   134117     26 |  0.000 % |
129.87/129.90	c |   1158203 |     800     9592    53884 |        1   135015     26 |  0.000 % |
129.87/129.90	c |   1162789 |     800     9592    53884 |        1   139601     26 |  0.000 % |
129.87/129.90	c |   1186362 |     800     9592    53884 |        1    88981     17 |  0.000 % |
129.87/129.90	c |   1187937 |     800     9592    53884 |        1    90556     17 |  0.000 % |
129.87/129.90	c |   1190844 |     800     9592    53884 |        1    93463     18 |  0.000 % |
129.87/129.90	c |   1191498 |     800     9592    53884 |        1    94117     18 |  0.000 % |
129.87/129.90	c |   1192611 |     800     9592    53884 |        1    95230     18 |  0.000 % |
129.87/129.90	c |   1192781 |     800     9592    53884 |        1    95400     18 |  0.000 % |
129.87/129.90	c |   1195530 |     800     9592    53884 |        1    98149     19 |  0.000 % |
129.87/129.90	c |   1196598 |     800     9592    53884 |        1    99217     19 |  0.000 % |
129.87/129.90	c |   1200109 |     800     9592    53884 |        1   102728     20 |  0.000 % |
129.87/129.90	c |   1200281 |     800     9592    53884 |        1   102900     20 |  0.000 % |
129.87/129.90	c |   1201773 |     800     9592    53884 |        1   104392     21 |  0.000 % |
129.87/129.90	c |   1203691 |     800     9592    53884 |        1   106310     21 |  0.000 % |
129.87/129.90	c |   1204003 |     800     9592    53884 |        1   106622     21 |  0.000 % |
129.87/129.90	c |   1204786 |     800     9592    53884 |        1   107405     21 |  0.000 % |
129.87/129.90	c |   1206042 |     800     9592    53884 |        1   108661     21 |  0.000 % |
129.87/129.90	c |   1209516 |     800     9592    53884 |        1   112135     22 |  0.000 % |
129.87/129.90	c |   1210336 |     800     9592    53884 |        1   112955     22 |  0.000 % |
129.87/129.90	c |   1210548 |     800     9592    53884 |        1   113167     22 |  0.000 % |
129.87/129.90	c |   1211287 |     800     9592    53884 |        1   113906     22 |  0.000 % |
129.87/129.90	c |   1211813 |     800     9592    53884 |        1   114432     22 |  0.000 % |
129.87/129.90	c |   1211913 |     800     9592    53884 |        1   114532     22 |  0.000 % |
129.87/129.90	c |   1212527 |     800     9592    53884 |        1   115146     23 |  0.000 % |
129.87/129.90	c |   1212768 |     800     9592    53884 |        1   115387     23 |  0.000 % |
129.87/129.90	c |   1216697 |     800     9592    53884 |        1   119316     23 |  0.000 % |
129.87/129.90	c |   1216912 |     800     9592    53884 |        1   119531     23 |  0.000 % |
129.87/129.90	c |   1218559 |     800     9592    53884 |        1   121178     23 |  0.000 % |
129.87/129.90	c |   1218830 |     800     9592    53884 |        1   121449     23 |  0.000 % |
129.87/129.90	c |   1219524 |     800     9592    53884 |        1   122143     24 |  0.000 % |
129.87/129.90	c |   1219913 |     800     9592    53884 |        1   122532     24 |  0.000 % |
129.87/129.90	c |   1226281 |     800     9592    53884 |        1   128900     25 |  0.000 % |
129.87/129.90	c |   1244800 |     800     9592    53884 |        1   147419     28 |  0.000 % |
129.87/129.90	c |   1247869 |     800     9592    53884 |        1   150488     28 |  0.000 % |
129.87/129.90	c |   1256030 |     800     9592    53884 |        1    81847     13 |  0.000 % |
129.87/129.90	c |   1256247 |     800     9592    53884 |        1    82064     13 |  0.000 % |
129.87/129.90	c |   1256949 |     800     9592    53884 |        1    82766     14 |  0.000 % |
129.87/129.90	c |   1257050 |     800     9592    53884 |        1    82867     14 |  0.000 % |
129.87/129.90	c |   1257151 |     800     9592    53884 |        1    82968     14 |  0.000 % |
129.87/129.90	c |   1257526 |     800     9592    53884 |        1    83343     14 |  0.000 % |
129.87/129.90	c |   1261268 |     800     9592    53884 |        1    87085     15 |  0.000 % |
129.87/129.90	c |   1261893 |     800     9592    53884 |        1    87710     15 |  0.000 % |
137.17/137.22	c |   1262329 |     800     9592    53884 |        1    88146     15 |  0.000 % |
137.17/137.22	c |   1262895 |     800     9592    53884 |        1    88712     15 |  0.000 % |
137.17/137.22	c |   1263129 |     800     9592    53884 |        1    88946     15 |  0.000 % |
137.17/137.22	c |   1264961 |     800     9592    53884 |        1    90778     16 |  0.000 % |
137.17/137.22	c |   1266350 |     800     9592    53884 |        1    92167     16 |  0.000 % |
137.17/137.22	c |   1268914 |     800     9592    53884 |        1    94731     17 |  0.000 % |
137.17/137.22	c |   1270066 |     800     9592    53884 |        1    95883     17 |  0.000 % |
137.17/137.22	c |   1270539 |     800     9592    53884 |        1    96356     17 |  0.000 % |
137.17/137.22	c |   1271442 |     800     9592    53884 |        1    97259     17 |  0.000 % |
137.17/137.22	c |   1273803 |     800     9592    53884 |        1    99620     18 |  0.000 % |
137.17/137.22	c |   1274091 |     800     9592    53884 |        1    99908     18 |  0.000 % |
137.17/137.22	c |   1274999 |     800     9592    53884 |        1   100816     18 |  0.000 % |
137.17/137.22	c |   1275739 |     800     9592    53884 |        1   101556     18 |  0.000 % |
137.17/137.22	c |   1275999 |     800     9592    53884 |        1   101816     19 |  0.000 % |
137.17/137.22	c |   1280123 |     800     9592    53884 |        1   105940     19 |  0.000 % |
137.17/137.22	c |   1281308 |     800     9592    53884 |        1   107125     20 |  0.000 % |
137.17/137.22	c |   1281465 |     800     9592    53884 |        1   107282     20 |  0.000 % |
137.17/137.22	c |   1282115 |     800     9592    53884 |        1   107932     20 |  0.000 % |
137.17/137.22	c |   1282294 |     800     9592    53884 |        1   108111     20 |  0.000 % |
137.17/137.22	c |   1282804 |     800     9592    53884 |        1   108621     20 |  0.000 % |
137.17/137.22	c |   1283134 |     800     9592    53884 |        1   108951     20 |  0.000 % |
137.17/137.22	c |   1283688 |     800     9592    53884 |        1   109505     20 |  0.000 % |
137.17/137.22	c |   1284852 |     800     9592    53884 |        1   110669     20 |  0.000 % |
137.17/137.22	c |   1284961 |     800     9592    53884 |        1   110778     20 |  0.000 % |
137.17/137.22	c |   1285593 |     800     9592    53884 |        1   111410     21 |  0.000 % |
137.17/137.22	c |   1285804 |     800     9592    53884 |        1   111621     21 |  0.000 % |
137.17/137.22	c |   1287332 |     800     9592    53884 |        1   113149     21 |  0.000 % |
137.17/137.22	c |   1287506 |     800     9592    53884 |        1   113323     21 |  0.000 % |
137.17/137.22	c |   1287669 |     800     9592    53884 |        1   113486     21 |  0.000 % |
137.17/137.22	c |   1287873 |     800     9592    53884 |        1   113690     21 |  0.000 % |
137.17/137.22	c |   1288271 |     800     9592    53884 |        1   114088     21 |  0.000 % |
137.17/137.22	c |   1288622 |     800     9592    53884 |        1   114439     21 |  0.000 % |
137.17/137.22	c |   1288928 |     800     9592    53884 |        1   114745     21 |  0.000 % |
137.17/137.22	c |   1289683 |     800     9592    53884 |        1   115500     22 |  0.000 % |
137.17/137.22	c |   1289891 |     800     9592    53884 |        1   115708     22 |  0.000 % |
137.17/137.22	c |   1289992 |     800     9592    53884 |        1   115809     22 |  0.000 % |
137.17/137.22	c |   1299180 |     800     9592    53884 |        1   124997     24 |  0.000 % |
137.17/137.22	c |   1299906 |     800     9592    53884 |        1   125723     24 |  0.000 % |
137.17/137.22	c |   1300032 |     800     9592    53884 |        1   125849     24 |  0.000 % |
137.17/137.22	c |   1300437 |     800     9592    53884 |        1   126254     24 |  0.000 % |
137.17/137.22	c |   1302266 |     800     9592    53884 |        1   128083     25 |  0.000 % |
137.17/137.22	c |   1302920 |     800     9592    53884 |        1   128737     25 |  0.000 % |
137.17/137.22	c |   1304585 |     800     9592    53884 |        1   130402     25 |  0.000 % |
137.17/137.22	c |   1305329 |     800     9592    53884 |        1   131146     25 |  0.000 % |
137.17/137.22	c |   1305561 |     800     9592    53884 |        1   131378     25 |  0.000 % |
137.17/137.22	c |   1305769 |     800     9592    53884 |        1   131586     25 |  0.000 % |
137.17/137.22	c |   1307001 |     800     9592    53884 |        1   132818     25 |  0.000 % |
137.17/137.22	c |   1307727 |     800     9592    53884 |        1   133544     25 |  0.000 % |
137.17/137.22	c |   1308713 |     800     9592    53884 |        1   134530     26 |  0.000 % |
137.17/137.22	c |   1310285 |     800     9592    53884 |        1   136102     26 |  0.000 % |
148.18/148.29	c |   1310445 |     800     9592    53884 |        1   136262     26 |  0.000 % |
148.18/148.29	c |   1311909 |     800     9592    53884 |        1   137726     26 |  0.000 % |
148.18/148.29	c |   1312135 |     800     9592    53884 |        1   137952     26 |  0.000 % |
148.18/148.29	c |   1312634 |     800     9592    53884 |        1   138451     26 |  0.000 % |
148.18/148.29	c |   1313681 |     800     9592    53884 |        1   139498     26 |  0.000 % |
148.18/148.29	c |   1314909 |     800     9592    53884 |        1   140726     26 |  0.000 % |
148.18/148.29	c |   1316692 |     800     9592    53884 |        1   142509     27 |  0.000 % |
148.18/148.29	c |   1316961 |     800     9592    53884 |        1   142778     27 |  0.000 % |
148.18/148.29	c |   1317905 |     800     9592    53884 |        1   143722     27 |  0.000 % |
148.18/148.29	c |   1319772 |     800     9592    53884 |        1   145589     27 |  0.000 % |
148.18/148.29	c |   1321897 |     800     9592    53884 |        1   147714     27 |  0.000 % |
148.18/148.29	c |   1322289 |     800     9592    53884 |        1   148106     27 |  0.000 % |
148.18/148.29	c |   1333315 |     800     9592    53884 |        1    79733     11 |  0.000 % |
148.18/148.29	c |   1333661 |     800     9592    53884 |        1    80079     11 |  0.000 % |
148.18/148.29	c |   1335504 |     800     9592    53884 |        1    81922     12 |  0.000 % |
148.18/148.29	c |   1337117 |     800     9592    53884 |        1    83535     12 |  0.000 % |
148.18/148.29	c |   1340567 |     800     9592    53884 |        1    86985     13 |  0.000 % |
148.18/148.29	c |   1341444 |     800     9592    53884 |        1    87862     14 |  0.000 % |
148.18/148.29	c |   1343597 |     800     9592    53884 |        1    90015     14 |  0.000 % |
148.18/148.29	c |   1347723 |     800     9592    53884 |        1    94141     15 |  0.000 % |
148.18/148.29	c |   1349286 |     800     9592    53884 |        1    95704     16 |  0.000 % |
148.18/148.29	c |   1350370 |     800     9592    53884 |        1    96788     16 |  0.000 % |
148.18/148.29	c |   1351419 |     800     9592    53884 |        1    97837     16 |  0.000 % |
148.18/148.29	c |   1351611 |     800     9592    53884 |        1    98029     17 |  0.000 % |
148.18/148.29	c |   1352548 |     800     9592    53884 |        1    98966     17 |  0.000 % |
148.18/148.29	c |   1353896 |     800     9592    53884 |        1   100314     17 |  0.000 % |
148.18/148.29	c |   1355027 |     800     9592    53884 |        1   101445     18 |  0.000 % |
148.18/148.29	c |   1359883 |     800     9592    53884 |        1   106301     19 |  0.000 % |
148.18/148.29	c |   1360746 |     800     9592    53884 |        1   107164     19 |  0.000 % |
148.18/148.29	c |   1361864 |     800     9592    53884 |        1   108282     19 |  0.000 % |
148.18/148.29	c |   1368861 |     800     9592    53884 |        1   115279     21 |  0.000 % |
148.18/148.29	c |   1369241 |     800     9592    53884 |        1   115659     21 |  0.000 % |
148.18/148.29	c |   1369435 |     800     9592    53884 |        1   115853     21 |  0.000 % |
148.18/148.29	c |   1371690 |     800     9592    53884 |        1   118108     22 |  0.000 % |
148.18/148.29	c |   1372434 |     800     9592    53884 |        1   118852     22 |  0.000 % |
148.18/148.29	c |   1372656 |     800     9592    53884 |        1   119074     22 |  0.000 % |
148.18/148.29	c |   1372786 |     800     9592    53884 |        1   119204     22 |  0.000 % |
148.18/148.29	c |   1373220 |     800     9592    53884 |        1   119638     22 |  0.000 % |
148.18/148.29	c |   1373921 |     800     9592    53884 |        1   120339     22 |  0.000 % |
148.18/148.29	c |   1375001 |     800     9592    53884 |        1   121419     22 |  0.000 % |
148.18/148.29	c |   1375516 |     800     9592    53884 |        1   121934     22 |  0.000 % |
148.18/148.29	c |   1375889 |     800     9592    53884 |        1   122307     23 |  0.000 % |
148.18/148.29	c |   1376702 |     800     9592    53884 |        1   123120     23 |  0.000 % |
148.18/148.29	c |   1378061 |     800     9592    53884 |        1   124479     23 |  0.000 % |
148.18/148.29	c |   1378785 |     800     9592    53884 |        1   125203     23 |  0.000 % |
148.18/148.29	c |   1378893 |     800     9592    53884 |        1   125311     23 |  0.000 % |
148.18/148.29	c |   1379112 |     800     9592    53884 |        1   125530     23 |  0.000 % |
148.18/148.29	c |   1380801 |     800     9592    53884 |        1   127219     23 |  0.000 % |
148.18/148.29	c |   1383828 |     800     9592    53884 |        1   130246     24 |  0.000 % |
148.18/148.29	c |   1387310 |     800     9592    53884 |        1   133728     24 |  0.000 % |
158.48/158.51	c |   1392446 |     800     9592    53884 |        1   138864     25 |  0.000 % |
158.48/158.51	c |   1393923 |     800     9592    53884 |        1   140341     25 |  0.000 % |
158.48/158.51	c |   1396206 |     800     9592    53884 |        1   142624     25 |  0.000 % |
158.48/158.51	c |   1397585 |     800     9592    53884 |        1   144003     26 |  0.000 % |
158.48/158.51	c |   1398124 |     800     9592    53884 |        1   144542     26 |  0.000 % |
158.48/158.51	c |   1398811 |     800     9592    53884 |        1   145229     26 |  0.000 % |
158.48/158.51	c |   1400353 |     800     9592    53884 |        1   146771     26 |  0.000 % |
158.48/158.51	c |   1404831 |     800     9592    53884 |        1   151249     26 |  0.000 % |
158.48/158.51	c |   1405821 |     800     9592    53884 |        1   152239     27 |  0.000 % |
158.48/158.51	c |   1406811 |     800     9592    53884 |        1   153229     27 |  0.000 % |
158.48/158.51	c |   1408228 |     800     9592    53884 |        1   154646     27 |  0.000 % |
158.48/158.51	c |   1408334 |     800     9592    53884 |        1   154752     27 |  0.000 % |
158.48/158.51	c |   1408467 |     800     9592    53884 |        1   154885     27 |  0.000 % |
158.48/158.51	c |   1408999 |     800     9592    53884 |        1   155417     27 |  0.000 % |
158.48/158.51	c |   1409130 |     800     9592    53884 |        1   155548     27 |  0.000 % |
158.48/158.51	c |   1409538 |     800     9592    53884 |        1   155956     27 |  0.000 % |
158.48/158.51	c |   1410050 |     800     9592    53884 |        1   156468     27 |  0.000 % |
158.48/158.51	c |   1410391 |     800     9592    53884 |        1   156809     27 |  0.000 % |
158.48/158.51	c |   1410735 |     800     9592    53884 |        1   157153     27 |  0.000 % |
158.48/158.51	c |   1411212 |     800     9592    53884 |        1   157630     27 |  0.000 % |
158.48/158.51	c |   1411313 |     800     9592    53884 |        1   157731     27 |  0.000 % |
158.48/158.51	c |   1411984 |     800     9592    53884 |        1   158402     27 |  0.000 % |
158.48/158.51	c |   1412085 |     800     9592    53884 |        1   158503     27 |  0.000 % |
158.48/158.51	c |   1422561 |     800     9592    53884 |        1    86982     13 |  0.000 % |
158.48/158.51	c |   1423607 |     800     9592    53884 |        1    88028     14 |  0.000 % |
158.48/158.51	c |   1426085 |     800     9592    53884 |        1    90506     15 |  0.000 % |
158.48/158.51	c |   1427323 |     800     9592    53884 |        1    91744     15 |  0.000 % |
158.48/158.51	c |   1428015 |     800     9592    53884 |        1    92436     15 |  0.000 % |
158.48/158.51	c |   1428285 |     800     9592    53884 |        1    92706     15 |  0.000 % |
158.48/158.51	c |   1428448 |     800     9592    53884 |        1    92869     15 |  0.000 % |
158.48/158.51	c |   1428570 |     800     9592    53884 |        1    92991     15 |  0.000 % |
158.48/158.51	c |   1428729 |     800     9592    53884 |        1    93150     15 |  0.000 % |
158.48/158.51	c |   1428835 |     800     9592    53884 |        1    93256     15 |  0.000 % |
158.48/158.51	c |   1432269 |     800     9592    53884 |        1    96690     16 |  0.000 % |
158.48/158.51	c |   1432741 |     800     9592    53884 |        1    97162     16 |  0.000 % |
158.48/158.51	c |   1433016 |     800     9592    53884 |        1    97437     17 |  0.000 % |
158.48/158.51	c |   1434666 |     800     9592    53884 |        1    99087     17 |  0.000 % |
158.48/158.51	c |   1442805 |     800     9592    53884 |        1   107226     19 |  0.000 % |
158.48/158.51	c |   1443226 |     800     9592    53884 |        1   107647     19 |  0.000 % |
158.48/158.51	c |   1443747 |     800     9592    53884 |        1   108168     20 |  0.000 % |
158.48/158.51	c |   1444651 |     800     9592    53884 |        1   109072     20 |  0.000 % |
158.48/158.51	c |   1444777 |     800     9592    53884 |        1   109198     20 |  0.000 % |
158.48/158.51	c |   1445836 |     800     9592    53884 |        1   110257     20 |  0.000 % |
158.48/158.51	c |   1446775 |     800     9592    53884 |        1   111196     20 |  0.000 % |
158.48/158.51	c |   1447383 |     800     9592    53884 |        1   111804     20 |  0.000 % |
158.48/158.51	c |   1447483 |     800     9592    53884 |        1   111904     21 |  0.000 % |
158.48/158.51	c |   1447775 |     800     9592    53884 |        1   112196     21 |  0.000 % |
158.48/158.51	c |   1449192 |     800     9592    53884 |        1   113613     21 |  0.000 % |
158.48/158.51	c |   1449436 |     800     9592    53884 |        1   113857     21 |  0.000 % |
177.68/177.73	c |   1450876 |     800     9592    53884 |        1   115297     21 |  0.000 % |
177.68/177.73	c |   1451014 |     800     9592    53884 |        1   115435     21 |  0.000 % |
177.68/177.73	c |   1451332 |     800     9592    53884 |        1   115753     21 |  0.000 % |
177.68/177.73	c |   1453466 |     800     9592    53884 |        1   117887     22 |  0.000 % |
177.68/177.73	c |   1454124 |     800     9592    53884 |        1   118545     22 |  0.000 % |
177.68/177.73	c |   1454681 |     800     9592    53884 |        1   119102     22 |  0.000 % |
177.68/177.73	c |   1454946 |     800     9592    53884 |        1   119367     22 |  0.000 % |
177.68/177.73	c |   1455279 |     800     9592    53884 |        1   119700     22 |  0.000 % |
177.68/177.73	c |   1456987 |     800     9592    53884 |        1   121408     22 |  0.000 % |
177.68/177.73	c |   1457368 |     800     9592    53884 |        1   121789     22 |  0.000 % |
177.68/177.73	c |   1457497 |     800     9592    53884 |        1   121918     22 |  0.000 % |
177.68/177.73	c |   1459398 |     800     9592    53884 |        1   123819     23 |  0.000 % |
177.68/177.73	c |   1460353 |     800     9592    53884 |        1   124774     23 |  0.000 % |
177.68/177.73	c |   1461341 |     800     9592    53884 |        1   125762     23 |  0.000 % |
177.68/177.73	c |   1461972 |     800     9592    53884 |        1   126393     23 |  0.000 % |
177.68/177.73	c |   1463628 |     800     9592    53884 |        1   128049     23 |  0.000 % |
177.68/177.73	c |   1464333 |     800     9592    53884 |        1   128754     23 |  0.000 % |
177.68/177.73	c |   1464774 |     800     9592    53884 |        1   129195     23 |  0.000 % |
177.68/177.73	c |   1464949 |     800     9592    53884 |        1   129370     23 |  0.000 % |
177.68/177.73	c |   1471178 |     800     9592    53884 |        1   135599     25 |  0.000 % |
177.68/177.73	c |   1471422 |     800     9592    53884 |        1   135843     25 |  0.000 % |
177.68/177.73	c |   1473421 |     800     9592    53884 |        1   137842     25 |  0.000 % |
177.68/177.73	c |   1474511 |     800     9592    53884 |        1   138932     25 |  0.000 % |
177.68/177.73	c |   1474786 |     800     9592    53884 |        1   139207     25 |  0.000 % |
177.68/177.73	c |   1476776 |     800     9592    53884 |        1   141197     26 |  0.000 % |
177.68/177.73	c |   1479345 |     800     9592    53884 |        1   143766     26 |  0.000 % |
177.68/177.73	c |   1481777 |     800     9592    53884 |        1   146198     26 |  0.000 % |
177.68/177.73	c |   1487280 |     800     9592    53884 |        1   151701     27 |  0.000 % |
177.68/177.73	c |   1504248 |     800     9592    53884 |        1   168669     28 |  0.000 % |
177.68/177.73	c |   1507440 |     800     9592    53884 |        1    87264     12 |  0.000 % |
177.68/177.73	c |   1510849 |     800     9592    53884 |        1    90673     13 |  0.000 % |
177.68/177.73	c |   1519272 |     800     9592    53884 |        1    99096     16 |  0.000 % |
177.68/177.73	c |   1520026 |     800     9592    53884 |        1    99850     16 |  0.000 % |
177.68/177.73	c |   1520372 |     800     9592    53884 |        1   100196     16 |  0.000 % |
177.68/177.73	c |   1522023 |     800     9592    53884 |        1   101847     17 |  0.000 % |
177.68/177.73	c |   1522319 |     800     9592    53884 |        1   102143     17 |  0.000 % |
177.68/177.73	c |   1522458 |     800     9592    53884 |        1   102282     17 |  0.000 % |
177.68/177.73	c |   1523619 |     800     9592    53884 |        1   103443     17 |  0.000 % |
177.68/177.73	c |   1523835 |     800     9592    53884 |        1   103659     17 |  0.000 % |
177.68/177.73	c |   1530625 |     800     9592    53884 |        1   110449     19 |  0.000 % |
177.68/177.73	c |   1539401 |     800     9592    53884 |        1   119225     21 |  0.000 % |
177.68/177.73	c |   1540999 |     800     9592    53884 |        1   120823     21 |  0.000 % |
177.68/177.73	c |   1545726 |     800     9592    53884 |        1   125550     22 |  0.000 % |
177.68/177.73	c |   1546253 |     800     9592    53884 |        1   126077     22 |  0.000 % |
177.68/177.73	c |   1547034 |     800     9592    53884 |        1   126858     22 |  0.000 % |
177.68/177.73	c |   1548266 |     800     9592    53884 |        1   128090     22 |  0.000 % |
177.68/177.73	c |   1553412 |     800     9592    53884 |        1   133236     23 |  0.000 % |
177.68/177.73	c |   1555784 |     800     9592    53884 |        1   135608     24 |  0.000 % |
177.68/177.73	c |   1557425 |     800     9592    53884 |        1   137249     24 |  0.000 % |
177.68/177.73	c |   1557958 |     800     9592    53884 |        1   137782     24 |  0.000 % |
190.08/190.14	c |   1558655 |     800     9592    53884 |        1   138479     24 |  0.000 % |
190.08/190.14	c |   1560247 |     800     9592    53884 |        1   140071     24 |  0.000 % |
190.08/190.14	c |   1560577 |     800     9592    53884 |        1   140401     24 |  0.000 % |
190.08/190.14	c |   1561515 |     800     9592    53884 |        1   141339     24 |  0.000 % |
190.08/190.14	c |   1562104 |     800     9592    53884 |        1   141928     24 |  0.000 % |
190.08/190.14	c |   1562243 |     800     9592    53884 |        1   142067     24 |  0.000 % |
190.08/190.14	c |   1562494 |     800     9592    53884 |        1   142318     25 |  0.000 % |
190.08/190.14	c |   1563896 |     800     9592    53884 |        1   143720     25 |  0.000 % |
190.08/190.14	c |   1565365 |     800     9592    53884 |        1   145189     25 |  0.000 % |
190.08/190.14	c |   1566072 |     800     9592    53884 |        1   145896     25 |  0.000 % |
190.08/190.14	c |   1566466 |     800     9592    53884 |        1   146290     25 |  0.000 % |
190.08/190.14	c |   1569333 |     800     9592    53884 |        1   149157     26 |  0.000 % |
190.08/190.14	c |   1570940 |     800     9592    53884 |        1   150764     26 |  0.000 % |
190.08/190.14	c |   1571617 |     800     9592    53884 |        1   151441     26 |  0.000 % |
190.08/190.14	c |   1571925 |     800     9592    53884 |        1   151749     26 |  0.000 % |
190.08/190.14	c |   1572631 |     800     9592    53884 |        1   152455     26 |  0.000 % |
190.08/190.14	c |   1573137 |     800     9592    53884 |        1   152961     26 |  0.000 % |
190.08/190.14	c |   1574417 |     800     9592    53884 |        1   154241     26 |  0.000 % |
190.08/190.14	c |   1575141 |     800     9592    53884 |        1   154965     26 |  0.000 % |
190.08/190.14	c |   1576781 |     800     9592    53884 |        1   156605     26 |  0.000 % |
190.08/190.14	c |   1577235 |     800     9592    53884 |        1   157059     26 |  0.000 % |
190.08/190.14	c |   1577738 |     800     9592    53884 |        1   157562     26 |  0.000 % |
190.08/190.14	c |   1578244 |     800     9592    53884 |        1   158068     26 |  0.000 % |
190.08/190.14	c |   1579150 |     800     9592    53884 |        1   158974     27 |  0.000 % |
190.08/190.14	c |   1580152 |     800     9592    53884 |        1   159976     27 |  0.000 % |
190.08/190.14	c |   1582100 |     800     9592    53884 |        1   161924     27 |  0.000 % |
190.08/190.14	c |   1590782 |     800     9592    53884 |        1   170606     28 |  0.000 % |
190.08/190.14	c |   1590887 |     800     9592    53884 |        1   170711     28 |  0.000 % |
190.08/190.14	c |   1593802 |     800     9592    53884 |        1   173626     28 |  0.000 % |
190.08/190.14	c |   1596896 |     800     9592    53884 |        1    89511     11 |  0.000 % |
190.08/190.14	c |   1597348 |     800     9592    53884 |        1    89963     11 |  0.000 % |
190.08/190.14	c |   1597924 |     800     9592    53884 |        1    90539     12 |  0.000 % |
190.08/190.14	c |   1598472 |     800     9592    53884 |        1    91087     12 |  0.000 % |
190.08/190.14	c |   1598817 |     800     9592    53884 |        1    91432     12 |  0.000 % |
190.08/190.14	c |   1599805 |     800     9592    53884 |        1    92420     12 |  0.000 % |
190.08/190.14	c |   1600747 |     800     9592    53884 |        1    93362     13 |  0.000 % |
190.08/190.14	c |   1604942 |     800     9592    53884 |        1    97557     14 |  0.000 % |
190.08/190.14	c |   1605042 |     800     9592    53884 |        1    97657     14 |  0.000 % |
190.08/190.14	c |   1606125 |     800     9592    53884 |        1    98740     15 |  0.000 % |
190.08/190.14	c |   1606244 |     800     9592    53884 |        1    98859     15 |  0.000 % |
190.08/190.14	c |   1606451 |     800     9592    53884 |        1    99066     15 |  0.000 % |
190.08/190.14	c |   1611635 |     800     9592    53884 |        1   104250     16 |  0.000 % |
190.08/190.14	c |   1612839 |     800     9592    53884 |        1   105454     16 |  0.000 % |
190.08/190.14	c |   1614142 |     800     9592    53884 |        1   106757     17 |  0.000 % |
190.08/190.14	c |   1615503 |     800     9592    53884 |        1   108118     17 |  0.000 % |
190.08/190.14	c |   1617670 |     800     9592    53884 |        1   110285     18 |  0.000 % |
190.08/190.14	c |   1621077 |     800     9592    53884 |        1   113692     18 |  0.000 % |
190.08/190.14	c |   1621205 |     800     9592    53884 |        1   113820     18 |  0.000 % |
190.08/190.14	c |   1622302 |     800     9592    53884 |        1   114917     19 |  0.000 % |
190.08/190.14	c |   1626176 |     800     9592    53884 |        1   118791     20 |  0.000 % |
203.98/204.02	c |   1626453 |     800     9592    53884 |        1   119068     20 |  0.000 % |
203.98/204.02	c |   1627645 |     800     9592    53884 |        1   120260     20 |  0.000 % |
203.98/204.02	c |   1629608 |     800     9592    53884 |        1   122223     20 |  0.000 % |
203.98/204.02	c |   1629854 |     800     9592    53884 |        1   122469     20 |  0.000 % |
203.98/204.02	c |   1630444 |     800     9592    53884 |        1   123059     20 |  0.000 % |
203.98/204.02	c |   1630940 |     800     9592    53884 |        1   123555     21 |  0.000 % |
203.98/204.02	c |   1631283 |     800     9592    53884 |        1   123898     21 |  0.000 % |
203.98/204.02	c |   1632031 |     800     9592    53884 |        1   124646     21 |  0.000 % |
203.98/204.02	c |   1632934 |     800     9592    53884 |        1   125549     21 |  0.000 % |
203.98/204.02	c |   1633209 |     800     9592    53884 |        1   125824     21 |  0.000 % |
203.98/204.02	c |   1634506 |     800     9592    53884 |        1   127121     21 |  0.000 % |
203.98/204.02	c |   1635214 |     800     9592    53884 |        1   127829     22 |  0.000 % |
203.98/204.02	c |   1638672 |     800     9592    53884 |        1   131287     22 |  0.000 % |
203.98/204.02	c |   1642434 |     800     9592    53884 |        1   135049     23 |  0.000 % |
203.98/204.02	c |   1642571 |     800     9592    53884 |        1   135186     23 |  0.000 % |
203.98/204.02	c |   1643248 |     800     9592    53884 |        1   135863     23 |  0.000 % |
203.98/204.02	c |   1644462 |     800     9592    53884 |        1   137077     23 |  0.000 % |
203.98/204.02	c |   1654675 |     800     9592    53884 |        1   147290     25 |  0.000 % |
203.98/204.02	c |   1656653 |     800     9592    53884 |        1   149268     25 |  0.000 % |
203.98/204.02	c |   1657715 |     800     9592    53884 |        1   150330     25 |  0.000 % |
203.98/204.02	c |   1658135 |     800     9592    53884 |        1   150750     25 |  0.000 % |
203.98/204.02	c |   1659725 |     800     9592    53884 |        1   152340     25 |  0.000 % |
203.98/204.02	c |   1660249 |     800     9592    53884 |        1   152864     25 |  0.000 % |
203.98/204.02	c |   1660648 |     800     9592    53884 |        1   153263     25 |  0.000 % |
203.98/204.02	c |   1662071 |     800     9592    53884 |        1   154686     25 |  0.000 % |
203.98/204.02	c |   1662422 |     800     9592    53884 |        1   155037     25 |  0.000 % |
203.98/204.02	c |   1662573 |     800     9592    53884 |        1   155188     25 |  0.000 % |
203.98/204.02	c |   1663840 |     800     9592    53884 |        1   156455     26 |  0.000 % |
203.98/204.02	c |   1667953 |     800     9592    53884 |        1   160568     26 |  0.000 % |
203.98/204.02	c |   1668300 |     800     9592    53884 |        1   160915     26 |  0.000 % |
203.98/204.02	c |   1669433 |     800     9592    53884 |        1   162048     27 |  0.000 % |
203.98/204.02	c |   1671253 |     800     9592    53884 |        1   163868     27 |  0.000 % |
203.98/204.02	c |   1675894 |     800     9592    53884 |        1   168509     27 |  0.000 % |
203.98/204.02	c |   1676239 |     800     9592    53884 |        1   168854     27 |  0.000 % |
203.98/204.02	c |   1679447 |     800     9592    53884 |        1   172062     27 |  0.000 % |
203.98/204.02	c |   1687827 |     800     9592    53884 |        1    90649     11 |  0.000 % |
203.98/204.02	c |   1689407 |     800     9592    53884 |        1    92229     11 |  0.000 % |
203.98/204.02	c |   1689853 |     800     9592    53884 |        1    92675     12 |  0.000 % |
203.98/204.02	c |   1691269 |     800     9592    53884 |        1    94091     12 |  0.000 % |
203.98/204.02	c |   1692200 |     800     9592    53884 |        1    95022     12 |  0.000 % |
203.98/204.02	c |   1692477 |     800     9592    53884 |        1    95299     13 |  0.000 % |
203.98/204.02	c |   1693015 |     800     9592    53884 |        1    95837     13 |  0.000 % |
203.98/204.02	c |   1694464 |     800     9592    53884 |        1    97286     13 |  0.000 % |
203.98/204.02	c |   1694831 |     800     9592    53884 |        1    97653     13 |  0.000 % |
203.98/204.02	c |   1695346 |     800     9592    53884 |        1    98168     14 |  0.000 % |
203.98/204.02	c |   1696604 |     800     9592    53884 |        1    99426     14 |  0.000 % |
203.98/204.02	c |   1701929 |     800     9592    53884 |        1   104751     15 |  0.000 % |
203.98/204.02	c |   1703427 |     800     9592    53884 |        1   106249     16 |  0.000 % |
203.98/204.02	c |   1704323 |     800     9592    53884 |        1   107145     16 |  0.000 % |
203.98/204.02	c |   1705194 |     800     9592    53884 |        1   108016     16 |  0.000 % |
227.88/227.95	c |   1706020 |     800     9592    53884 |        1   108842     16 |  0.000 % |
227.88/227.95	c |   1706875 |     800     9592    53884 |        1   109697     17 |  0.000 % |
227.88/227.95	c |   1708241 |     800     9592    53884 |        1   111063     17 |  0.000 % |
227.88/227.95	c |   1708995 |     800     9592    53884 |        1   111817     17 |  0.000 % |
227.88/227.95	c |   1709175 |     800     9592    53884 |        1   111997     17 |  0.000 % |
227.88/227.95	c |   1712533 |     800     9592    53884 |        1   115355     18 |  0.000 % |
227.88/227.95	c |   1713054 |     800     9592    53884 |        1   115876     18 |  0.000 % |
227.88/227.95	c |   1713155 |     800     9592    53884 |        1   115977     18 |  0.000 % |
227.88/227.95	c |   1716487 |     800     9592    53884 |        1   119309     19 |  0.000 % |
227.88/227.95	c |   1717156 |     800     9592    53884 |        1   119978     19 |  0.000 % |
227.88/227.95	c |   1717260 |     800     9592    53884 |        1   120082     19 |  0.000 % |
227.88/227.95	c |   1718952 |     800     9592    53884 |        1   121774     20 |  0.000 % |
227.88/227.95	c |   1719396 |     800     9592    53884 |        1   122218     20 |  0.000 % |
227.88/227.95	c |   1720010 |     800     9592    53884 |        1   122832     20 |  0.000 % |
227.88/227.95	c |   1722069 |     800     9592    53884 |        1   124891     20 |  0.000 % |
227.88/227.95	c |   1744747 |     800     9592    53884 |        1   147569     24 |  0.000 % |
227.88/227.95	c |   1745147 |     800     9592    53884 |        1   147969     24 |  0.000 % |
227.88/227.95	c |   1745556 |     800     9592    53884 |        1   148378     24 |  0.000 % |
227.88/227.95	c |   1749670 |     800     9592    53884 |        1   152492     25 |  0.000 % |
227.88/227.95	c |   1750944 |     800     9592    53884 |        1   153766     25 |  0.000 % |
227.88/227.95	c |   1754406 |     800     9592    53884 |        1   157228     25 |  0.000 % |
227.88/227.95	c |   1754798 |     800     9592    53884 |        1   157620     25 |  0.000 % |
227.88/227.95	c |   1754905 |     800     9592    53884 |        1   157727     25 |  0.000 % |
227.88/227.95	c |   1757094 |     800     9592    53884 |        1   159916     26 |  0.000 % |
227.88/227.95	c |   1759947 |     800     9592    53884 |        1   162769     26 |  0.000 % |
227.88/227.95	c |   1760448 |     800     9592    53884 |        1   163270     26 |  0.000 % |
227.88/227.95	c |   1761104 |     800     9592    53884 |        1   163926     26 |  0.000 % |
227.88/227.95	c |   1761325 |     800     9592    53884 |        1   164147     26 |  0.000 % |
227.88/227.95	c |   1761743 |     800     9592    53884 |        1   164565     26 |  0.000 % |
227.88/227.95	c |   1775924 |     800     9592    53884 |        1   178746     28 |  0.000 % |
227.88/227.95	c |   1778223 |     800     9592    53884 |        1   181045     28 |  0.000 % |
227.88/227.95	c |   1789006 |     800     9592    53884 |        1    99432     13 |  0.000 % |
227.88/227.95	c |   1789742 |     800     9592    53884 |        1   100168     13 |  0.000 % |
227.88/227.95	c |   1791378 |     800     9592    53884 |        1   101804     13 |  0.000 % |
227.88/227.95	c |   1803070 |     800     9592    53884 |        1   113496     17 |  0.000 % |
227.88/227.95	c |   1813704 |     800     9592    53884 |        1   124130     20 |  0.000 % |
227.88/227.95	c |   1814852 |     800     9592    53884 |        1   125278     20 |  0.000 % |
227.88/227.95	c |   1815471 |     800     9592    53884 |        1   125897     20 |  0.000 % |
227.88/227.95	c |   1821730 |     800     9592    53884 |        1   132156     21 |  0.000 % |
227.88/227.95	c |   1830810 |     800     9592    53884 |        1   141236     24 |  0.000 % |
227.88/227.95	c |   1831003 |     800     9592    53884 |        1   141429     24 |  0.000 % |
227.88/227.95	c |   1833372 |     800     9592    53884 |        1   143798     24 |  0.000 % |
227.88/227.95	c |   1834192 |     800     9592    53884 |        1   144618     24 |  0.000 % |
227.88/227.95	c |   1834545 |     800     9592    53884 |        1   144971     24 |  0.000 % |
227.88/227.95	c |   1834869 |     800     9592    53884 |        1   145295     24 |  0.000 % |
227.88/227.95	c |   1835863 |     800     9592    53884 |        1   146289     24 |  0.000 % |
227.88/227.95	c |   1837157 |     800     9592    53884 |        1   147583     24 |  0.000 % |
227.88/227.95	c |   1840339 |     800     9592    53884 |        1   150765     25 |  0.000 % |
227.88/227.95	c |   1844486 |     800     9592    53884 |        1   154912     26 |  0.000 % |
227.88/227.95	c |   1845142 |     800     9592    53884 |        1   155568     26 |  0.000 % |
250.18/250.24	c |   1848533 |     800     9592    53884 |        1   158959     26 |  0.000 % |
250.18/250.24	c |   1852064 |     800     9592    53884 |        1   162490     26 |  0.000 % |
250.18/250.24	c |   1852321 |     800     9592    53884 |        1   162747     27 |  0.000 % |
250.18/250.24	c |   1853774 |     800     9592    53884 |        1   164200     27 |  0.000 % |
250.18/250.24	c |   1854512 |     800     9592    53884 |        1   164938     27 |  0.000 % |
250.18/250.24	c |   1855792 |     800     9592    53884 |        1   166218     27 |  0.000 % |
250.18/250.24	c |   1857648 |     800     9592    53884 |        1   168074     27 |  0.000 % |
250.18/250.24	c |   1859818 |     800     9592    53884 |        1   170244     27 |  0.000 % |
250.18/250.24	c |   1859918 |     800     9592    53884 |        1   170344     27 |  0.000 % |
250.18/250.24	c |   1861169 |     800     9592    53884 |        1   171595     28 |  0.000 % |
250.18/250.24	c |   1863219 |     800     9592    53884 |        1   173645     28 |  0.000 % |
250.18/250.24	c |   1877603 |     800     9592    53884 |        1   188029     29 |  0.000 % |
250.18/250.24	c |   1878440 |     800     9592    53884 |        1   188866     29 |  0.000 % |
250.18/250.24	c |   1878599 |     800     9592    53884 |        1   189025     29 |  0.000 % |
250.18/250.24	c |   1895516 |     800     9592    53884 |        1   110932     15 |  0.000 % |
250.18/250.24	c |   1898198 |     800     9592    53884 |        1   113614     16 |  0.000 % |
250.18/250.24	c |   1900616 |     800     9592    53884 |        1   116032     17 |  0.000 % |
250.18/250.24	c |   1902393 |     800     9592    53884 |        1   117809     17 |  0.000 % |
250.18/250.24	c |   1908475 |     800     9592    53884 |        1   123891     19 |  0.000 % |
250.18/250.24	c |   1911741 |     800     9592    53884 |        1   127157     19 |  0.000 % |
250.18/250.24	c |   1913738 |     800     9592    53884 |        1   129154     20 |  0.000 % |
250.18/250.24	c |   1917049 |     800     9592    53884 |        1   132465     20 |  0.000 % |
250.18/250.24	c |   1922452 |     800     9592    53884 |        1   137868     21 |  0.000 % |
250.18/250.24	c |   1922627 |     800     9592    53884 |        1   138043     21 |  0.000 % |
250.18/250.24	c |   1923881 |     800     9592    53884 |        1   139297     21 |  0.000 % |
250.18/250.24	c |   1923990 |     800     9592    53884 |        1   139406     21 |  0.000 % |
250.18/250.24	c |   1924659 |     800     9592    53884 |        1   140075     21 |  0.000 % |
250.18/250.24	c |   1924909 |     800     9592    53884 |        1   140325     22 |  0.000 % |
250.18/250.24	c |   1925434 |     800     9592    53884 |        1   140850     22 |  0.000 % |
250.18/250.24	c |   1925931 |     800     9592    53884 |        1   141347     22 |  0.000 % |
250.18/250.24	c |   1927760 |     800     9592    53884 |        1   143176     22 |  0.000 % |
250.18/250.24	c |   1928150 |     800     9592    53884 |        1   143566     22 |  0.000 % |
250.18/250.24	c |   1928770 |     800     9592    53884 |        1   144186     22 |  0.000 % |
250.18/250.24	c |   1932391 |     800     9592    53884 |        1   147807     23 |  0.000 % |
250.18/250.24	c |   1933028 |     800     9592    53884 |        1   148444     23 |  0.000 % |
250.18/250.24	c |   1935109 |     800     9592    53884 |        1   150525     23 |  0.000 % |
250.18/250.24	c |   1936311 |     800     9592    53884 |        1   151727     23 |  0.000 % |
250.18/250.24	c |   1937203 |     800     9592    53884 |        1   152619     23 |  0.000 % |
250.18/250.24	c |   1938649 |     800     9592    53884 |        1   154065     23 |  0.000 % |
250.18/250.24	c |   1948009 |     800     9592    53884 |        1   163425     24 |  0.000 % |
250.18/250.24	c |   1948201 |     800     9592    53884 |        1   163617     24 |  0.000 % |
250.18/250.24	c |   1950732 |     800     9592    53884 |        1   166148     25 |  0.000 % |
250.18/250.24	c |   1952346 |     800     9592    53884 |        1   167762     25 |  0.000 % |
250.18/250.24	c |   1953426 |     800     9592    53884 |        1   168842     25 |  0.000 % |
250.18/250.24	c |   1957810 |     800     9592    53884 |        1   173226     26 |  0.000 % |
250.18/250.24	c |   1959183 |     800     9592    53884 |        1   174599     26 |  0.000 % |
250.18/250.24	c |   1959729 |     800     9592    53884 |        1   175145     26 |  0.000 % |
250.18/250.24	c |   1961815 |     800     9592    53884 |        1   177231     26 |  0.000 % |
250.18/250.24	c |   1964504 |     800     9592    53884 |        1   179920     26 |  0.000 % |
250.18/250.24	c |   1964838 |     800     9592    53884 |        1   180254     27 |  0.000 % |
270.68/270.73	c |   1965662 |     800     9592    53884 |        1   181078     27 |  0.000 % |
270.68/270.73	c |   1965852 |     800     9592    53884 |        1   181268     27 |  0.000 % |
270.68/270.73	c |   1966557 |     800     9592    53884 |        1   181973     27 |  0.000 % |
270.68/270.73	c |   1966833 |     800     9592    53884 |        1   182249     27 |  0.000 % |
270.68/270.73	c |   1967295 |     800     9592    53884 |        1   182711     27 |  0.000 % |
270.68/270.73	c |   1993554 |     800     9592    53884 |        1   111376     16 |  0.000 % |
270.68/270.73	c |   1993742 |     800     9592    53884 |        1   111564     16 |  0.000 % |
270.68/270.73	c |   1995358 |     800     9592    53884 |        1   113180     17 |  0.000 % |
270.68/270.73	c |   1999058 |     800     9592    53884 |        1   116880     18 |  0.000 % |
270.68/270.73	c |   1999638 |     800     9592    53884 |        1   117460     18 |  0.000 % |
270.68/270.73	c |   2001436 |     800     9592    53884 |        1   119258     18 |  0.000 % |
270.68/270.73	c |   2001907 |     800     9592    53884 |        1   119729     18 |  0.000 % |
270.68/270.73	c |   2002100 |     800     9592    53884 |        1   119922     18 |  0.000 % |
270.68/270.73	c |   2002953 |     800     9592    53884 |        1   120775     19 |  0.000 % |
270.68/270.73	c |   2014675 |     800     9592    53884 |        1   132497     21 |  0.000 % |
270.68/270.73	c |   2015276 |     800     9592    53884 |        1   133098     21 |  0.000 % |
270.68/270.73	c |   2015437 |     800     9592    53884 |        1   133259     21 |  0.000 % |
270.68/270.73	c |   2015990 |     800     9592    53884 |        1   133812     21 |  0.000 % |
270.68/270.73	c |   2021507 |     800     9592    53884 |        1   139329     22 |  0.000 % |
270.68/270.73	c |   2023201 |     800     9592    53884 |        1   141023     22 |  0.000 % |
270.68/270.73	c |   2023423 |     800     9592    53884 |        1   141245     22 |  0.000 % |
270.68/270.73	c |   2024752 |     800     9592    53884 |        1   142574     22 |  0.000 % |
270.68/270.73	c |   2026089 |     800     9592    53884 |        1   143911     22 |  0.000 % |
270.68/270.73	c |   2027720 |     800     9592    53884 |        1   145542     23 |  0.000 % |
270.68/270.73	c |   2029106 |     800     9592    53884 |        1   146928     23 |  0.000 % |
270.68/270.73	c |   2031442 |     800     9592    53884 |        1   149264     23 |  0.000 % |
270.68/270.73	c |   2032577 |     800     9592    53884 |        1   150399     23 |  0.000 % |
270.68/270.73	c |   2033698 |     800     9592    53884 |        1   151520     23 |  0.000 % |
270.68/270.73	c |   2039753 |     800     9592    53884 |        1   157575     25 |  0.000 % |
270.68/270.73	c |   2040613 |     800     9592    53884 |        1   158435     25 |  0.000 % |
270.68/270.73	c |   2042597 |     800     9592    53884 |        1   160419     25 |  0.000 % |
270.68/270.73	c |   2043231 |     800     9592    53884 |        1   161053     25 |  0.000 % |
270.68/270.73	c |   2044186 |     800     9592    53884 |        1   162008     25 |  0.000 % |
270.68/270.73	c |   2046000 |     800     9592    53884 |        1   163822     26 |  0.000 % |
270.68/270.73	c |   2046838 |     800     9592    53884 |        1   164660     26 |  0.000 % |
270.68/270.73	c |   2053962 |     800     9592    53884 |        1   171784     26 |  0.000 % |
270.68/270.73	c |   2054238 |     800     9592    53884 |        1   172060     26 |  0.000 % |
270.68/270.73	c |   2054925 |     800     9592    53884 |        1   172747     26 |  0.000 % |
270.68/270.73	c |   2057025 |     800     9592    53884 |        1   174847     27 |  0.000 % |
270.68/270.73	c |   2057451 |     800     9592    53884 |        1   175273     27 |  0.000 % |
270.68/270.73	c |   2058095 |     800     9592    53884 |        1   175917     27 |  0.000 % |
270.68/270.73	c |   2065328 |     800     9592    53884 |        1   183150     27 |  0.000 % |
270.68/270.73	c |   2067618 |     800     9592    53884 |        1   185440     28 |  0.000 % |
270.68/270.73	c |   2068924 |     800     9592    53884 |        1   186746     28 |  0.000 % |
270.68/270.73	c |   2069192 |     800     9592    53884 |        1   187014     28 |  0.000 % |
270.68/270.73	c |   2071197 |     800     9592    53884 |        1   189019     28 |  0.000 % |
270.68/270.73	c |   2073687 |     800     9592    53884 |        1   191509     28 |  0.000 % |
270.68/270.73	c |   2075189 |     800     9592    53884 |        1   193011     29 |  0.000 % |
270.68/270.73	c |   2077053 |     800     9592    53884 |        1   194875     29 |  0.000 % |
270.68/270.73	c |   2077230 |     800     9592    53884 |        1   195052     29 |  0.000 % |
300.29/300.33	c |   2077732 |     800     9592    53884 |        1   195554     29 |  0.000 % |
300.29/300.33	c |   2084413 |     800     9592    53884 |        1   102031     11 |  0.000 % |
300.29/300.33	c |   2088754 |     800     9592    53884 |        1   106372     12 |  0.000 % |
300.29/300.33	c |   2090228 |     800     9592    53884 |        1   107846     13 |  0.000 % |
300.29/300.33	c |   2091644 |     800     9592    53884 |        1   109262     13 |  0.000 % |
300.29/300.33	c |   2092208 |     800     9592    53884 |        1   109826     13 |  0.000 % |
300.29/300.33	c |   2093589 |     800     9592    53884 |        1   111207     14 |  0.000 % |
300.29/300.33	c |   2094095 |     800     9592    53884 |        1   111713     14 |  0.000 % |
300.29/300.33	c |   2094917 |     800     9592    53884 |        1   112535     14 |  0.000 % |
300.29/300.33	c |   2100257 |     800     9592    53884 |        1   117875     16 |  0.000 % |
300.29/300.33	c |   2103277 |     800     9592    53884 |        1   120895     16 |  0.000 % |
300.29/300.33	c |   2104319 |     800     9592    53884 |        1   121937     16 |  0.000 % |
300.29/300.33	c |   2107919 |     800     9592    53884 |        1   125537     17 |  0.000 % |
300.29/300.33	c |   2108309 |     800     9592    53884 |        1   125927     17 |  0.000 % |
300.29/300.33	c |   2108771 |     800     9592    53884 |        1   126389     18 |  0.000 % |
300.29/300.33	c |   2109053 |     800     9592    53884 |        1   126671     18 |  0.000 % |
300.29/300.33	c |   2109206 |     800     9592    53884 |        1   126824     18 |  0.000 % |
300.29/300.33	c |   2113056 |     800     9592    53884 |        1   130674     18 |  0.000 % |
300.29/300.33	c |   2113252 |     800     9592    53884 |        1   130870     18 |  0.000 % |
300.29/300.33	c |   2117278 |     800     9592    53884 |        1   134896     19 |  0.000 % |
300.29/300.33	c |   2120387 |     800     9592    53884 |        1   138005     20 |  0.000 % |
300.29/300.33	c |   2122055 |     800     9592    53884 |        1   139673     20 |  0.000 % |
300.29/300.33	c |   2122752 |     800     9592    53884 |        1   140370     20 |  0.000 % |
300.29/300.33	c |   2123104 |     800     9592    53884 |        1   140722     20 |  0.000 % |
300.29/300.33	c |   2123589 |     800     9592    53884 |        1   141207     20 |  0.000 % |
300.29/300.33	c |   2124009 |     800     9592    53884 |        1   141627     20 |  0.000 % |
300.29/300.33	c |   2143051 |     800     9592    53884 |        1   160669     23 |  0.000 % |
300.29/300.33	c |   2143814 |     800     9592    53884 |        1   161432     23 |  0.000 % |
300.29/300.33	c |   2143916 |     800     9592    53884 |        1   161534     23 |  0.000 % |
300.29/300.33	c |   2144465 |     800     9592    53884 |        1   162083     23 |  0.000 % |
300.29/300.33	c |   2144673 |     800     9592    53884 |        1   162291     23 |  0.000 % |
300.29/300.33	c |   2222712 |     800     9592    53884 |        1   137533     19 |  0.000 % |
300.29/300.33	c |   2224151 |     800     9592    53884 |        1   138972     19 |  0.000 % |
300.29/300.33	c |   2226168 |     800     9592    53884 |        1   140989     20 |  0.000 % |
300.29/300.33	c |   2226965 |     800     9592    53884 |        1   141786     20 |  0.000 % |
300.29/300.33	c |   2227688 |     800     9592    53884 |        1   142509     20 |  0.000 % |
300.29/300.33	c |   2230401 |     800     9592    53884 |        1   145222     20 |  0.000 % |
300.29/300.33	c |   2232409 |     800     9592    53884 |        1   147230     21 |  0.000 % |
300.29/300.33	c |   2232639 |     800     9592    53884 |        1   147460     21 |  0.000 % |
300.29/300.33	c |   2233842 |     800     9592    53884 |        1   148663     21 |  0.000 % |
300.29/300.33	c |   2234348 |     800     9592    53884 |        1   149169     21 |  0.000 % |
300.29/300.33	c |   2235342 |     800     9592    53884 |        1   150163     21 |  0.000 % |
300.29/300.33	c |   2236872 |     800     9592    53884 |        1   151693     21 |  0.000 % |
300.29/300.33	c |   2238569 |     800     9592    53884 |        1   153390     22 |  0.000 % |
300.29/300.33	c |   2239032 |     800     9592    53884 |        1   153853     22 |  0.000 % |
300.29/300.33	c |   2239342 |     800     9592    53884 |        1   154163     22 |  0.000 % |
300.29/300.33	c |   2242934 |     800     9592    53884 |        1   157755     22 |  0.000 % |
300.29/300.33	c |   2243342 |     800     9592    53884 |        1   158163     22 |  0.000 % |
300.29/300.33	c |   2244124 |     800     9592    53884 |        1   158945     22 |  0.000 % |
300.29/300.33	c |   2244945 |     800     9592    53884 |        1   159766     22 |  0.000 % |
333.88/333.93	c |   2246075 |     800     9592    53884 |        1   160896     23 |  0.000 % |
333.88/333.93	c |   2247232 |     800     9592    53884 |        1   162053     23 |  0.000 % |
333.88/333.93	c |   2272073 |     800     9592    53884 |        1   186894     26 |  0.000 % |
333.88/333.93	c |   2272969 |     800     9592    53884 |        1   187790     26 |  0.000 % |
333.88/333.93	c |   2284453 |     800     9592    53884 |        1   199274     27 |  0.000 % |
333.88/333.93	c |   2284819 |     800     9592    53884 |        1   199640     27 |  0.000 % |
333.88/333.93	c |   2285091 |     800     9592    53884 |        1   199912     27 |  0.000 % |
333.88/333.93	c |   2287829 |     800     9592    53884 |        1   202650     27 |  0.000 % |
333.88/333.93	c |   2305121 |     800     9592    53884 |        1   114536     13 |  0.000 % |
333.88/333.93	c |   2305499 |     800     9592    53884 |        1   114914     13 |  0.000 % |
333.88/333.93	c |   2308209 |     800     9592    53884 |        1   117624     14 |  0.000 % |
333.88/333.93	c |   2310234 |     800     9592    53884 |        1   119649     15 |  0.000 % |
333.88/333.93	c |   2311940 |     800     9592    53884 |        1   121355     15 |  0.000 % |
333.88/333.93	c |   2312087 |     800     9592    53884 |        1   121502     15 |  0.000 % |
333.88/333.93	c |   2314399 |     800     9592    53884 |        1   123814     16 |  0.000 % |
333.88/333.93	c |   2315293 |     800     9592    53884 |        1   124708     16 |  0.000 % |
333.88/333.93	c |   2317742 |     800     9592    53884 |        1   127157     17 |  0.000 % |
333.88/333.93	c |   2318590 |     800     9592    53884 |        1   128005     17 |  0.000 % |
333.88/333.93	c |   2321704 |     800     9592    53884 |        1   131119     17 |  0.000 % |
333.88/333.93	c |   2322558 |     800     9592    53884 |        1   131973     18 |  0.000 % |
333.88/333.93	c |   2352527 |     800     9592    53884 |        1   161942     22 |  0.000 % |
333.88/333.93	c |   2352921 |     800     9592    53884 |        1   162336     22 |  0.000 % |
333.88/333.93	c |   2357211 |     800     9592    53884 |        1   166626     23 |  0.000 % |
333.88/333.93	c |   2360543 |     800     9592    53884 |        1   169958     23 |  0.000 % |
333.88/333.93	c |   2360645 |     800     9592    53884 |        1   170060     23 |  0.000 % |
333.88/333.93	c |   2363810 |     800     9592    53884 |        1   173225     23 |  0.000 % |
333.88/333.93	c |   2366108 |     800     9592    53884 |        1   175523     24 |  0.000 % |
333.88/333.93	c |   2367179 |     800     9592    53884 |        1   176594     24 |  0.000 % |
333.88/333.93	c |   2369113 |     800     9592    53884 |        1   178528     24 |  0.000 % |
333.88/333.93	c |   2369557 |     800     9592    53884 |        1   178972     24 |  0.000 % |
333.88/333.93	c |   2373111 |     800     9592    53884 |        1   182526     24 |  0.000 % |
333.88/333.93	c |   2373312 |     800     9592    53884 |        1   182727     25 |  0.000 % |
333.88/333.93	c |   2377320 |     800     9592    53884 |        1   186735     25 |  0.000 % |
333.88/333.93	c |   2377603 |     800     9592    53884 |        1   187018     25 |  0.000 % |
333.88/333.93	c |   2381174 |     800     9592    53884 |        1   190589     25 |  0.000 % |
333.88/333.93	c |   2382801 |     800     9592    53884 |        1   192216     25 |  0.000 % |
333.88/333.93	c |   2384895 |     800     9592    53884 |        1   194310     26 |  0.000 % |
333.88/333.93	c |   2388709 |     800     9592    53884 |        1   198124     26 |  0.000 % |
333.88/333.93	c |   2389557 |     800     9592    53884 |        1   198972     26 |  0.000 % |
333.88/333.93	c |   2393259 |     800     9592    53884 |        1   202674     26 |  0.000 % |
333.88/333.93	c |   2393586 |     800     9592    53884 |        1   203001     27 |  0.000 % |
333.88/333.93	c |   2396388 |     800     9592    53884 |        1   205803     27 |  0.000 % |
333.88/333.93	c |   2396840 |     800     9592    53884 |        1   206255     27 |  0.000 % |
333.88/333.93	c |   2397701 |     800     9592    53884 |        1   207116     27 |  0.000 % |
333.88/333.93	c |   2398100 |     800     9592    53884 |        1   207515     27 |  0.000 % |
333.88/333.93	c |   2398686 |     800     9592    53884 |        1   208101     27 |  0.000 % |
333.88/333.93	c |   2398983 |     800     9592    53884 |        1   208398     27 |  0.000 % |
333.88/333.93	c |   2403964 |     800     9592    53884 |        1   213379     28 |  0.000 % |
333.88/333.93	c |   2404968 |     800     9592    53884 |        1   214383     28 |  0.000 % |
333.88/333.93	c |   2405894 |     800     9592    53884 |        1   215309     28 |  0.000 % |
392.69/392.70	c |   2406413 |     800     9592    53884 |        1   215828     28 |  0.000 % |
392.69/392.70	c |   2406794 |     800     9592    53884 |        1   108210     10 |  0.000 % |
392.69/392.70	c |   2411073 |     800     9592    53884 |        1   112489     11 |  0.000 % |
392.69/392.70	c |   2411383 |     800     9592    53884 |        1   112799     11 |  0.000 % |
392.69/392.70	c |   2415407 |     800     9592    53884 |        1   116823     12 |  0.000 % |
392.69/392.70	c |   2416477 |     800     9592    53884 |        1   117893     13 |  0.000 % |
392.69/392.70	c |   2418554 |     800     9592    53884 |        1   119970     13 |  0.000 % |
392.69/392.70	c |   2420309 |     800     9592    53884 |        1   121725     14 |  0.000 % |
392.69/392.70	c |   2422442 |     800     9592    53884 |        1   123858     14 |  0.000 % |
392.69/392.70	c |   2425295 |     800     9592    53884 |        1   126711     15 |  0.000 % |
392.69/392.70	c |   2427042 |     800     9592    53884 |        1   128458     16 |  0.000 % |
392.69/392.70	c |   2430726 |     800     9592    53884 |        1   132142     17 |  0.000 % |
392.69/392.70	c |   2432301 |     800     9592    53884 |        1   133717     17 |  0.000 % |
392.69/392.70	c |   2432910 |     800     9592    53884 |        1   134326     17 |  0.000 % |
392.69/392.70	c |   2445543 |     800     9592    53884 |        1   146959     19 |  0.000 % |
392.69/392.70	c |   2446887 |     800     9592    53884 |        1   148303     19 |  0.000 % |
392.69/392.70	c |   2449295 |     800     9592    53884 |        1   150711     20 |  0.000 % |
392.69/392.70	c |   2449657 |     800     9592    53884 |        1   151073     20 |  0.000 % |
392.69/392.70	c |   2458754 |     800     9592    53884 |        1   160170     21 |  0.000 % |
392.69/392.70	c |   2459538 |     800     9592    53884 |        1   160954     21 |  0.000 % |
392.69/392.70	c |   2460939 |     800     9592    53884 |        1   162355     21 |  0.000 % |
392.69/392.70	c |   2464010 |     800     9592    53884 |        1   165426     22 |  0.000 % |
392.69/392.70	c |   2464707 |     800     9592    53884 |        1   166123     22 |  0.000 % |
392.69/392.70	c |   2464857 |     800     9592    53884 |        1   166273     22 |  0.000 % |
392.69/392.70	c |   2468084 |     800     9592    53884 |        1   169500     23 |  0.000 % |
392.69/392.70	c |   2468759 |     800     9592    53884 |        1   170175     23 |  0.000 % |
392.69/392.70	c |   2470437 |     800     9592    53884 |        1   171853     23 |  0.000 % |
392.69/392.70	c |   2479535 |     800     9592    53884 |        1   180951     24 |  0.000 % |
392.69/392.70	c |   2480377 |     800     9592    53884 |        1   181793     24 |  0.000 % |
392.69/392.70	c |   2480886 |     800     9592    53884 |        1   182302     24 |  0.000 % |
392.69/392.70	c |   2481833 |     800     9592    53884 |        1   183249     24 |  0.000 % |
392.69/392.70	c |   2483583 |     800     9592    53884 |        1   184999     24 |  0.000 % |
392.69/392.70	c |   2485674 |     800     9592    53884 |        1   187090     25 |  0.000 % |
392.69/392.70	c |   2605232 |     800     9592    53884 |        1   196054     25 |  0.000 % |
392.69/392.70	c |   2605958 |     800     9592    53884 |        1   196780     25 |  0.000 % |
392.69/392.70	c |   2607558 |     800     9592    53884 |        1   198380     25 |  0.000 % |
392.69/392.70	c |   2607836 |     800     9592    53884 |        1   198658     26 |  0.000 % |
392.69/392.70	c |   2609111 |     800     9592    53884 |        1   199933     26 |  0.000 % |
392.69/392.70	c |   2617535 |     800     9592    53884 |        1   208357     26 |  0.000 % |
392.69/392.70	c |   2618104 |     800     9592    53884 |        1   208926     26 |  0.000 % |
392.69/392.70	c |   2685064 |     800     9592    53884 |        1   162686     20 |  0.000 % |
392.69/392.70	c |   2687440 |     800     9592    53884 |        1   165062     21 |  0.000 % |
392.69/392.70	c |   2690049 |     800     9592    53884 |        1   167671     21 |  0.000 % |
392.69/392.70	c |   2690700 |     800     9592    53884 |        1   168322     21 |  0.000 % |
392.69/392.70	c |   2693467 |     800     9592    53884 |        1   171089     21 |  0.000 % |
392.69/392.70	c |   2694144 |     800     9592    53884 |        1   171766     22 |  0.000 % |
392.69/392.70	c |   2694685 |     800     9592    53884 |        1   172307     22 |  0.000 % |
392.69/392.70	c |   2698332 |     800     9592    53884 |        1   175954     22 |  0.000 % |
392.69/392.70	c |   2698465 |     800     9592    53884 |        1   176087     22 |  0.000 % |
392.69/392.70	c |   2698687 |     800     9592    53884 |        1   176309     22 |  0.000 % |
570.89/570.92	c |   2698844 |     800     9592    53884 |        1   176466     22 |  0.000 % |
570.89/570.92	c |   2703882 |     800     9592    53884 |        1   181504     23 |  0.000 % |
570.89/570.92	c |   2704772 |     800     9592    53884 |        1   182394     23 |  0.000 % |
570.89/570.92	c |   2715561 |     800     9592    53884 |        1   193183     25 |  0.000 % |
570.89/570.92	c |   2715856 |     800     9592    53884 |        1   193478     25 |  0.000 % |
570.89/570.92	c |   2721385 |     800     9592    53884 |        1   199007     25 |  0.000 % |
570.89/570.92	c |   2724600 |     800     9592    53884 |        1   202222     26 |  0.000 % |
570.89/570.92	c |   2748990 |     800     9592    53884 |        1   226612     27 |  0.000 % |
570.89/570.92	c |   2749740 |     800     9592    53884 |        1   227362     28 |  0.000 % |
570.89/570.92	c |   2750537 |     800     9592    53884 |        1   228159     28 |  0.000 % |
570.89/570.92	c |   2753791 |     800     9592    53884 |        1   231413     28 |  0.000 % |
570.89/570.92	c |   2754338 |     800     9592    53884 |        1   116158     11 |  0.000 % |
570.89/570.92	c |   2754708 |     800     9592    53884 |        1   116528     11 |  0.000 % |
570.89/570.92	c |   3054238 |     800     9592    53884 |        1   176664     24 |  0.000 % |
570.89/570.92	c |   3055274 |     800     9592    53884 |        1   177700     24 |  0.000 % |
570.89/570.92	c |   3064436 |     800     9592    53884 |        1   186862     25 |  0.000 % |
570.89/570.92	c |   3069581 |     800     9592    53884 |        1   192007     26 |  0.000 % |
570.89/570.92	c |   3070066 |     800     9592    53884 |        1   192492     26 |  0.000 % |
570.89/570.92	c |   3071885 |     800     9592    53884 |        1   194311     26 |  0.000 % |
570.89/570.92	c |   3072790 |     800     9592    53884 |        1   195216     26 |  0.000 % |
570.89/570.92	c |   3077019 |     800     9592    53884 |        1   199445     27 |  0.000 % |
570.89/570.92	c |   3082118 |     800     9592    53884 |        1   204544     27 |  0.000 % |
570.89/570.92	c |   3093658 |     800     9592    53884 |        1   216084     28 |  0.000 % |
570.89/570.92	c |   3096398 |     800     9592    53884 |        1   218824     29 |  0.000 % |
570.89/570.92	c |   3110385 |     800     9592    53884 |        1   232811     30 |  0.000 % |
570.89/570.92	c |   3110700 |     800     9592    53884 |        1   233126     30 |  0.000 % |
570.89/570.92	c |   3114838 |     800     9592    53884 |        1   237264     30 |  0.000 % |
570.89/570.92	c |   3116380 |     800     9592    53884 |        1   238806     30 |  0.000 % |
570.89/570.92	c |   3117928 |     800     9592    53884 |        1   240354     30 |  0.000 % |
570.89/570.92	c |   3119471 |     800     9592    53884 |        1   241897     30 |  0.000 % |
570.89/570.92	c |   3120476 |     800     9592    53884 |        1   242902     30 |  0.000 % |
570.89/570.92	c |   3156310 |     800     9592    53884 |        1   155134     19 |  0.000 % |
570.89/570.92	c |   3156679 |     800     9592    53884 |        1   155503     19 |  0.000 % |
570.89/570.92	c |   3157512 |     800     9592    53884 |        1   156336     19 |  0.000 % |
570.89/570.92	c |   3157656 |     800     9592    53884 |        1   156480     19 |  0.000 % |
570.89/570.92	c |   3161375 |     800     9592    53884 |        1   160199     20 |  0.000 % |
570.89/570.92	c |   3162135 |     800     9592    53884 |        1   160959     20 |  0.000 % |
570.89/570.92	c |   3163038 |     800     9592    53884 |        1   161862     20 |  0.000 % |
570.89/570.92	c |   3164596 |     800     9592    53884 |        1   163420     20 |  0.000 % |
570.89/570.92	c |   3166545 |     800     9592    53884 |        1   165369     20 |  0.000 % |
570.89/570.92	c |   3166713 |     800     9592    53884 |        1   165537     20 |  0.000 % |
570.89/570.92	c |   3175593 |     800     9592    53884 |        1   174417     22 |  0.000 % |
570.89/570.92	c |   3180211 |     800     9592    53884 |        1   179035     23 |  0.000 % |
570.89/570.92	c |   3184288 |     800     9592    53884 |        1   183112     23 |  0.000 % |
570.89/570.92	c |   3185690 |     800     9592    53884 |        1   184514     23 |  0.000 % |
570.89/570.92	c |   3231220 |     800     9592    53884 |        1   230044     29 |  0.000 % |
570.89/570.92	c |   3231443 |     800     9592    53884 |        1   230267     29 |  0.000 % |
570.89/570.92	c |   3276847 |     800     9592    53884 |        1   149473     16 |  0.000 % |
570.89/570.92	c |   3277055 |     800     9592    53884 |        1   149681     16 |  0.000 % |
570.89/570.92	c |   3282628 |     800     9592    53884 |        1   155254     17 |  0.000 % |
648.09/648.17	c |   3297785 |     800     9592    53884 |        1   170411     21 |  0.000 % |
648.09/648.17	c |   3299897 |     800     9592    53884 |        1   172523     21 |  0.000 % |
648.09/648.17	c |   3303594 |     800     9592    53884 |        1   176220     22 |  0.000 % |
648.09/648.17	c |   3315464 |     800     9592    53884 |        1   188090     24 |  0.000 % |
648.09/648.17	c |   3316023 |     800     9592    53884 |        1   188649     24 |  0.000 % |
648.09/648.17	c |   3317325 |     800     9592    53884 |        1   189951     24 |  0.000 % |
648.09/648.17	c |   3319953 |     800     9592    53884 |        1   192579     24 |  0.000 % |
648.09/648.17	c |   3323865 |     800     9592    53884 |        1   196491     25 |  0.000 % |
648.09/648.17	c |   3327815 |     800     9592    53884 |        1   200441     25 |  0.000 % |
648.09/648.17	c |   3345769 |     800     9592    53884 |        1   218395     28 |  0.000 % |
648.09/648.17	c |   3355777 |     800     9592    53884 |        1   228403     29 |  0.000 % |
648.09/648.17	c |   3435035 |     800     9592    53884 |        1   178864     25 |  0.000 % |
648.09/648.17	c |   3444731 |     800     9592    53884 |        1   188560     25 |  0.000 % |
648.09/648.17	c |   3447141 |     800     9592    53884 |        1   190970     26 |  0.000 % |
648.09/648.17	c |   3451953 |     800     9592    53884 |        1   195782     26 |  0.000 % |
648.09/648.17	c |   3453451 |     800     9592    53884 |        1   197280     26 |  0.000 % |
648.09/648.17	c |   3456300 |     800     9592    53884 |        1   200129     27 |  0.000 % |
648.09/648.17	c |   3460175 |     800     9592    53884 |        1   204004     27 |  0.000 % |
648.09/648.17	c |   3460680 |     800     9592    53884 |        1   204509     27 |  0.000 % |
648.09/648.17	c |   3463871 |     800     9592    53884 |        1   207700     27 |  0.000 % |
648.09/648.17	c |   3464022 |     800     9592    53884 |        1   207851     27 |  0.000 % |
648.09/648.17	c |   3468767 |     800     9592    53884 |        1   212596     27 |  0.000 % |
648.09/648.17	c |   3470865 |     800     9592    53884 |        1   214694     28 |  0.000 % |
648.09/648.17	c |   3472801 |     800     9592    53884 |        1   216630     28 |  0.000 % |
648.09/648.17	c |   3473684 |     800     9592    53884 |        1   217513     28 |  0.000 % |
648.09/648.17	c |   3506210 |     800     9592    53884 |        1   250039     29 |  0.000 % |
648.09/648.17	c |   3507550 |     800     9592    53884 |        1   251379     30 |  0.000 % |
648.09/648.17	c |   3514280 |     800     9592    53884 |        1   258109     30 |  0.000 % |
648.09/648.17	c |   3516436 |     800     9592    53884 |        1   260265     30 |  0.000 % |
648.09/648.17	c |   3517081 |     800     9592    53884 |        1   260910     30 |  0.000 % |
648.09/648.17	c |   3517480 |     800     9592    53884 |        1   261309     30 |  0.000 % |
648.09/648.17	c |   3529321 |     800     9592    53884 |        1   141749     14 |  0.000 % |
648.09/648.17	c |   3529572 |     800     9592    53884 |        1   142000     14 |  0.000 % |
648.09/648.17	c |   3544117 |     800     9592    53884 |        1   156545     17 |  0.000 % |
648.09/648.17	c |   3545612 |     800     9592    53884 |        1   158040     18 |  0.000 % |
648.09/648.17	c |   3545716 |     800     9592    53884 |        1   158144     18 |  0.000 % |
648.09/648.17	c |   3547983 |     800     9592    53884 |        1   160411     18 |  0.000 % |
648.09/648.17	c |   3548555 |     800     9592    53884 |        1   160983     18 |  0.000 % |
648.09/648.17	c |   3551087 |     800     9592    53884 |        1   163515     19 |  0.000 % |
648.09/648.17	c |   3551491 |     800     9592    53884 |        1   163919     19 |  0.000 % |
648.09/648.17	c |   3560154 |     800     9592    53884 |        1   172582     20 |  0.000 % |
648.09/648.17	c |   3561640 |     800     9592    53884 |        1   174068     20 |  0.000 % |
648.09/648.17	c |   3569932 |     800     9592    53884 |        1   182360     22 |  0.000 % |
648.09/648.17	c |   3574264 |     800     9592    53884 |        1   186692     22 |  0.000 % |
648.09/648.17	c |   3575373 |     800     9592    53884 |        1   187801     22 |  0.000 % |
648.09/648.17	c |   3580527 |     800     9592    53884 |        1   192955     23 |  0.000 % |
648.09/648.17	c |   3580658 |     800     9592    53884 |        1   193086     23 |  0.000 % |
648.09/648.17	c |   3592563 |     800     9592    53884 |        1   204991     25 |  0.000 % |
648.09/648.17	c |   3593356 |     800     9592    53884 |        1   205784     25 |  0.000 % |
648.09/648.17	c |   3594891 |     800     9592    5HOME/glucose.sh: line 55: 21229 Terminated              $RS $TMP.cnf $TMP.result "$@"

Verifier Data

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

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3289954-1303773809/watcher-3289954-1303773809 -o /tmp/evaluation-result-3289954-1303773809/solver-3289954-1303773809 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3289954-1303773809.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 1.07 1.63 4/186 21226
/proc/meminfo: memFree=13300768/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) R 21224 21226 18371 0 -1 4202496 316 0 0 0 0 0 0 0 21 0 1 0 488979668 8912896 252 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814060437 0 65538 4100 65536 0 0 0 17 4 0 0 0
/proc/21226/statm: 2176 252 211 178 0 69 0

[startup+0.022351 s]
/proc/loadavg: 0.78 1.07 1.63 4/186 21226
/proc/meminfo: memFree=13300768/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.100334 s]
/proc/loadavg: 0.78 1.07 1.63 4/186 21226
/proc/meminfo: memFree=13300768/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.300302 s]
/proc/loadavg: 0.78 1.07 1.63 4/186 21226
/proc/meminfo: memFree=13300768/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.700185 s]
/proc/loadavg: 0.78 1.07 1.63 4/186 21226
/proc/meminfo: memFree=13300768/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+1.50116 s]
/proc/loadavg: 0.96 1.10 1.64 5/194 21241
/proc/meminfo: memFree=13268616/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=25164 CPUtime=1.47 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 2488 0 0 0 147 0 0 0 25 0 1 0 488979670 25767936 1914 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 6291 1914 249 17 0 2932 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33868

[startup+3.10078 s]
/proc/loadavg: 0.96 1.10 1.64 5/194 21241
/proc/meminfo: memFree=13253240/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=25164 CPUtime=3.06 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 3454 0 0 0 306 0 0 0 25 0 1 0 488979670 25767936 2833 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224757 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 6291 2833 249 17 0 2932 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33868

[startup+6.3003 s]
/proc/loadavg: 1.20 1.15 1.65 5/194 21241
/proc/meminfo: memFree=13244312/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=29600 CPUtime=6.27 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 5674 0 0 0 626 1 0 0 25 0 1 0 488979670 30310400 3724 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224721 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 7400 3724 249 17 0 4041 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38304

[startup+12.7002 s]
/proc/loadavg: 1.42 1.20 1.66 5/194 21241
/proc/meminfo: memFree=13213184/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=36672 CPUtime=12.67 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 7768 0 0 0 1266 1 0 0 25 0 1 0 488979670 37552128 5733 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 9168 5733 249 17 0 5809 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45376

[startup+25.5011 s]
/proc/loadavg: 1.99 1.33 1.70 5/194 21242
/proc/meminfo: memFree=13188060/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=41092 CPUtime=25.47 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 8975 0 0 0 2546 1 0 0 25 0 1 0 488979670 42078208 6878 33554432000 4194304 4260849 140734114528160 18446744073709551615 4228261 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 10273 6878 249 17 0 6914 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49796

[startup+51.1008 s]
/proc/loadavg: 2.68 1.55 1.76 5/194 21242
/proc/meminfo: memFree=13133740/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=41092 CPUtime=51.07 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 9024 0 0 0 5106 1 0 0 25 0 1 0 488979670 42078208 6927 33554432000 4194304 4260849 140734114528160 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 10273 6927 249 17 0 6914 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49796

[startup+102.307 s]
/proc/loadavg: 3.50 1.94 1.88 5/194 21244
/proc/meminfo: memFree=13045676/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=62956 CPUtime=102.27 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 20837 0 0 0 10224 3 0 0 25 0 1 0 488979670 64466944 11422 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 15739 11422 250 17 0 12380 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 71660

[startup+162.301 s]
/proc/loadavg: 3.81 2.31 2.01 5/194 21245
/proc/meminfo: memFree=13019860/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=93308 CPUtime=162.27 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 26816 0 0 0 16222 5 0 0 25 0 1 0 488979670 95547392 12611 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 23327 12611 250 17 0 19968 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 102012

[startup+222.301 s]
/proc/loadavg: 3.93 2.62 2.13 5/194 21247
/proc/meminfo: memFree=12967760/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=93308 CPUtime=222.27 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 27449 0 0 0 22222 5 0 0 25 0 1 0 488979670 95547392 13236 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 23327 13236 250 17 0 19968 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 102012

[startup+282.301 s]
/proc/loadavg: 4.01 2.88 2.25 5/194 21248
/proc/meminfo: memFree=12986220/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=93308 CPUtime=282.27 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 28134 0 0 0 28222 5 0 0 25 0 1 0 488979670 95547392 13909 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 23327 13909 250 17 0 19968 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 102012

[startup+342.301 s]
/proc/loadavg: 4.06 3.10 2.36 5/194 21250
/proc/meminfo: memFree=12951844/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=93308 CPUtime=342.27 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 28494 0 0 0 34222 5 0 0 25 0 1 0 488979670 95547392 14266 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 23327 14266 250 17 0 19968 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 102012

[startup+402.301 s]
/proc/loadavg: 4.02 3.26 2.46 5/194 21252
/proc/meminfo: memFree=12949332/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6

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

[pid=21229] ppid=21226 vsize=93308 CPUtime=522.28 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 46220 0 0 0 52220 8 0 0 25 0 1 0 488979670 95547392 15310 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 23327 15310 250 17 0 19968 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 102012

[startup+582.3 s]
/proc/loadavg: 4.05 3.60 2.73 5/194 21256
/proc/meminfo: memFree=12911540/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=93308 CPUtime=582.28 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 62700 0 0 0 58218 10 0 0 25 0 1 0 488979670 95547392 15310 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 23327 15310 250 17 0 19968 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 102012

[startup+642.3 s]
/proc/loadavg: 4.02 3.67 2.81 5/194 21258
/proc/meminfo: memFree=12845036/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=93308 CPUtime=642.28 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 80237 0 0 0 64215 13 0 0 25 0 1 0 488979670 95547392 15310 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 23327 15310 250 17 0 19968 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 102012

[startup+702.3 s]
/proc/loadavg: 4.00 3.73 2.88 5/194 21260
/proc/meminfo: memFree=12839932/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=93308 CPUtime=702.28 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 89023 0 0 0 70213 15 0 0 25 0 1 0 488979670 95547392 15310 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 23327 15310 250 17 0 19968 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 102012

[startup+762.307 s]
/proc/loadavg: 4.00 3.78 2.95 5/194 21261
/proc/meminfo: memFree=12772956/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=762.29 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 104642 0 0 0 76211 18 0 0 25 0 1 0 488979670 108224512 22433 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224751 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 22433 250 17 0 23063 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 114392

[startup+822.301 s]
/proc/loadavg: 4.00 3.81 3.01 5/194 21263
/proc/meminfo: memFree=12815452/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=822.28 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 114141 0 0 0 82208 20 0 0 25 0 1 0 488979670 108224512 23021 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 23021 250 17 0 23063 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 114392

[startup+882.301 s]
/proc/loadavg: 4.00 3.84 3.07 5/194 21264
/proc/meminfo: memFree=12850780/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=882.28 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 123155 0 0 0 88206 22 0 0 25 0 1 0 488979670 108224512 23021 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 23021 250 17 0 23063 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 114392

[startup+942.301 s]
/proc/loadavg: 4.07 3.89 3.13 5/194 21266
/proc/meminfo: memFree=12750176/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=942.28 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 132232 0 0 0 94204 24 0 0 25 0 1 0 488979670 108224512 23024 33554432000 4194304 4260849 140734114528160 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 23024 250 17 0 23063 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 114392

[startup+1002.3 s]
/proc/loadavg: 4.02 3.90 3.18 5/194 21268
/proc/meminfo: memFree=12764660/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=1002.28 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 141645 0 0 0 100202 26 0 0 25 0 1 0 488979670 108224512 23024 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 23024 250 17 0 23063 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 114392

[startup+1062.3 s]
/proc/loadavg: 4.07 3.93 3.23 5/194 21269
/proc/meminfo: memFree=12811876/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=1062.29 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 151163 0 0 0 106201 28 0 0 25 0 1 0 488979670 108224512 23027 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224818 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 23027 250 17 0 23063 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 114392

[startup+1122.3 s]
/proc/loadavg: 4.02 3.94 3.28 5/194 21271
/proc/meminfo: memFree=12792612/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=1122.29 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 161021 0 0 0 112199 30 0 0 25 0 1 0 488979670 108224512 23027 33554432000 4194304 4260849 140734114528160 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 23027 250 17 0 23063 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 114392

[startup+1182.3 s]
/proc/loadavg: 4.01 3.95 3.32 5/194 21272
/proc/meminfo: memFree=12735528/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=155008 CPUtime=1182.29 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 169729 0 0 0 118198 31 0 0 25 0 1 0 488979670 158728192 31712 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 38752 31712 250 17 0 35393 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 163712

[startup+1242.3 s]
/proc/loadavg: 4.00 3.96 3.36 5/194 21274
/proc/meminfo: memFree=12846604/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=1242.29 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 170954 0 0 0 124197 32 0 0 25 0 1 0 488979670 108224512 23028 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 23028 250 17 0 23063 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 114392



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.89 3.94 3.39 3/182 21310
/proc/meminfo: memFree=13048528/32950928 swapFree=67111528/67111528
[pid=21226] ppid=21224 vsize=8704 CPUtime=0.01 cores=4,6
/proc/21226/stat : 21226 (glucose.sh) S 21224 21226 18371 0 -1 4202496 359 467 0 0 0 0 1 0 21 0 1 0 488979668 8912896 254 33554432000 4194304 4922060 140734315114784 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/21226/statm: 2176 254 211 178 0 69 0
[pid=21229] ppid=21226 vsize=105688 CPUtime=1299.99 cores=4,6
/proc/21229/stat : 21229 (glucose_static) R 21226 21226 18371 0 -1 4202496 181157 0 0 0 129965 34 0 0 25 0 1 0 488979670 108224512 23033 33554432000 4194304 4260849 140734114528160 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21229/statm: 26422 23033 250 17 0 23063 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 114392

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.03
CPU user time (s): 1299.67
CPU system time (s): 0.353946
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 163712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.67
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181995
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= 9
involuntary context switches= 14609

runsolver used 2.06968 second user time and 5.04423 second system time

The end

Launcher Data

Begin job on node126 at 2011-04-26 01:23:30
IDJOB=3289954
IDBENCH=83412
IDSOLVER=1651
FILE ID=node126/3289954-1303773809
RUNJOBID= node126-1303773803-21191
PBS_JOBID= 13157131
Free space on /tmp= 71392 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289954-1303773809/watcher-3289954-1303773809 -o /tmp/evaluation-result-3289954-1303773809/solver-3289954-1303773809 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3289954-1303773809.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 5092a9db644d53c7bc023e4dff206812
RANDOM SEED=1577063623

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13300924 kB
Buffers:       2000772 kB
Cached:       16981792 kB
SwapCached:          0 kB
Active:        8039480 kB
Inactive:     11036724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13300924 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7332 kB
Writeback:           0 kB
AnonPages:       93028 kB
Mapped:          15212 kB
Slab:           509832 kB
PageTables:       5584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   265492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71388 MiB
End job on node126 at 2011-04-26 01:45:12