Trace number 1820548

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.07 1200.02

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
MD5SUM8ca1246723b65c8e0ae1eddb535ce13f
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 variables2010
Number of clauses6802
Sum of the clauses size17668
Maximum clause length25
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22961
Number of clauses of size 33733
Number of clauses of size 443
Number of clauses of size 546
Number of clauses of size over 516

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |    6799    17665 |    2039       0        0     nan |  0.000 % |
0.00/0.03	c |         0 |    5732    16991 |      --       0       --      -- |     --   | -1017/-571
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 1384   #clauses: 5732   #literals: 16991
0.00/0.03	c CPU time:   0.04 s
0.00/0.03	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  1384                                                 |
0.00/0.04	c |  Number of clauses:    5732                                                 |
0.00/0.04	c |  Parsing time:         0.00         s                                       |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.05	c |         0 |    1384     5732    16991 |     1910        0    nan |  0.000 % |
0.00/0.05	c |       100 |    1384     5732    16991 |     1910      100     22 |  0.000 % |
0.00/0.05	c |       201 |    1384     5732    16991 |     1910      201     21 |  0.000 % |
0.00/0.06	c |       302 |    1384     5732    16991 |     1910      302     29 |  0.000 % |
0.00/0.07	c |       413 |    1384     5732    16991 |     1910      413     33 |  0.000 % |
0.00/0.08	c |       514 |    1384     5732    16991 |     1910      514     38 |  0.000 % |
0.00/0.08	c |       624 |    1382     5723    16969 |     1910      623     33 |  0.145 % |
0.00/0.09	c |       746 |    1382     5723    16969 |     1910      745     34 |  0.147 % |
0.05/0.10	c |       846 |    1382     5723    16969 |     1910      845     35 |  0.145 % |
0.05/0.11	c |       957 |    1382     5723    16969 |     1910      956     36 |  0.145 % |
0.05/0.12	c |      1078 |    1382     5723    16969 |     1910     1077     36 |  0.145 % |
0.05/0.13	c |      1211 |    1381     5718    16956 |     1910     1209     36 |  0.217 % |
0.05/0.13	c |      1311 |    1381     5718    16956 |     1910     1309     35 |  0.217 % |
0.05/0.14	c |      1422 |    1381     5718    16956 |     1910     1420     36 |  0.217 % |
0.05/0.16	c |      1543 |    1381     5718    16956 |     1910     1541     36 |  0.217 % |
0.05/0.17	c |      1676 |    1381     5718    16956 |     1910     1674     35 |  0.217 % |
0.05/0.18	c |      1822 |    1381     5718    16956 |     1910     1820     35 |  0.217 % |
0.05/0.19	c |      1924 |    1381     5718    16956 |     1910     1922     34 |  0.217 % |
0.05/0.20	c |      2034 |    1381     5718    16956 |     1910     1840     35 |  0.217 % |
0.05/0.21	c |      2158 |    1380     5714    16940 |     1910     1954     35 |  0.289 % |
0.05/0.22	c |      2292 |    1380     5714    16940 |     1910     1893     32 |  0.289 % |
0.05/0.24	c |      2440 |    1380     5714    16940 |     1910     2041     34 |  0.289 % |
0.05/0.25	c |      2601 |    1380     5714    16940 |     1910     1998     32 |  0.289 % |
0.05/0.27	c |      2701 |    1380     5714    16940 |     1910     1899     32 |  0.289 % |
0.05/0.28	c |      2812 |    1380     5714    16940 |     1910     2010     34 |  0.292 % |
0.05/0.29	c |      2934 |    1380     5714    16940 |     1910     1931     34 |  0.289 % |
0.05/0.31	c |      3067 |    1380     5714    16940 |     1910     1871     34 |  0.289 % |
0.05/0.31	c |      3214 |    1380     5714    16940 |     1910     2018     34 |  0.289 % |
0.05/0.32	c |      3374 |    1380     5714    16940 |     1910     1977     33 |  0.289 % |
0.05/0.34	c |      3552 |    1380     5714    16940 |     1910     1958     32 |  0.292 % |
0.05/0.34	c |      3653 |    1380     5714    16940 |     1910     1864     31 |  0.289 % |
0.05/0.35	c |      3767 |    1380     5714    16940 |     1910     1978     32 |  0.289 % |
0.05/0.36	c |      3889 |    1380     5714    16940 |     1910     1903     31 |  0.289 % |
0.05/0.38	c |      4023 |    1380     5714    16940 |     1910     2037     32 |  0.289 % |
0.05/0.38	c |      4169 |    1380     5714    16940 |     1910     1980     30 |  0.289 % |
0.05/0.39	c |      4329 |    1380     5714    16940 |     1910     1942     27 |  0.289 % |
0.05/0.41	c |      4505 |    1380     5714    16940 |     1910     1924     27 |  0.289 % |
0.05/0.42	c |      4699 |    1380     5714    16940 |     1910     1926     27 |  0.289 % |
0.05/0.43	c |      4799 |    1380     5714    16940 |     1910     1834     27 |  0.289 % |
0.05/0.44	c |      4911 |    1380     5714    16940 |     1910     1946     27 |  0.289 % |
0.05/0.44	c |      5032 |    1380     5714    16940 |     1910     1873     26 |  0.289 % |
0.05/0.45	c |      5166 |    1380     5714    16940 |     1910     2007     27 |  0.289 % |
0.05/0.45	c |      5313 |    1380     5714    16940 |     1910     1954     24 |  0.289 % |
0.05/0.47	c |      5474 |    1380     5714    16940 |     1910     1920     25 |  0.289 % |
0.05/0.49	c |      5652 |    1380     5714    16940 |     1910     1906     27 |  0.289 % |
0.05/0.51	c |      5847 |    1380     5714    16940 |     1910     2101     28 |  0.289 % |
0.05/0.54	c |      6059 |    1380     5714    16940 |     1910     2103     29 |  0.289 % |
0.05/0.55	c |      6160 |    1380     5714    16940 |     1910     1994     29 |  0.291 % |
0.05/0.56	c |      6270 |    1380     5714    16940 |     1910     1905     29 |  0.289 % |
0.05/0.57	c |      6392 |    1380     5714    16940 |     1910     2027     30 |  0.289 % |
0.05/0.58	c |      6525 |    1380     5714    16940 |     1910     1958     31 |  0.289 % |
0.05/0.59	c |      6671 |    1380     5714    16940 |     1910     1909     31 |  0.289 % |
0.05/0.61	c |      6831 |    1380     5714    16940 |     1910     2069     31 |  0.289 % |
0.05/0.62	c |      7007 |    1380     5714    16940 |     1910     2039     29 |  0.289 % |
0.05/0.64	c |      7202 |    1380     5714    16940 |     1910     2031     32 |  0.289 % |
0.05/0.66	c |      7414 |    1380     5714    16940 |     1910     2040     32 |  0.289 % |
0.05/0.67	c |      7648 |    1380     5714    16940 |     1910     2070     31 |  0.289 % |
0.05/0.68	c |      7751 |    1380     5714    16940 |     1910     1966     29 |  0.289 % |
0.05/0.69	c |      7862 |    1380     5714    16940 |     1910     1881     30 |  0.289 % |
0.05/0.70	c |      7985 |    1380     5714    16940 |     1910     2004     29 |  0.289 % |
0.05/0.71	c |      8118 |    1380     5714    16940 |     1910     1937     28 |  0.289 % |
0.05/0.73	c |      8264 |    1380     5714    16940 |     1910     1890     27 |  0.289 % |
0.05/0.74	c |      8424 |    1380     5714    16940 |     1910     2050     27 |  0.289 % |
0.05/0.76	c |      8601 |    1380     5714    16940 |     1910     2022     26 |  0.289 % |
0.05/0.77	c |      8794 |    1380     5714    16940 |     1910     2013     24 |  0.289 % |
0.05/0.79	c |      9006 |    1380     5714    16940 |     1910     2024     24 |  0.289 % |
0.05/0.80	c |      9239 |    1380     5714    16940 |     1910     2055     23 |  0.289 % |
0.05/0.81	c |      9496 |    1377     5700    16905 |     1910     1910     20 |  0.506 % |
0.05/0.82	c |      9596 |    1377     5700    16905 |     1910     1815     19 |  0.506 % |
0.05/0.83	c |      9706 |    1377     5700    16905 |     1910     1925     20 |  0.506 % |
0.05/0.84	c |      9828 |    1377     5700    16905 |     1910     1855     21 |  0.506 % |
0.05/0.85	c |      9962 |    1377     5700    16905 |     1910     1989     21 |  0.506 % |
0.05/0.86	c |     10108 |    1377     5700    16905 | 2147483647     1937     21 |  0.506 % |
0.05/0.86	c |     10268 |    1377     5700    16905 | 2147483647     2097     21 |  0.506 % |
0.05/0.89	c |     10444 |    1377     5700    16905 | 2147483647     2273     25 |  0.506 % |
0.05/0.90	c |     10638 |    1377     5700    16905 | 2147483647     2467     26 |  0.506 % |
0.05/0.93	c |     10850 |    1377     5700    16905 | 2147483647     2679     27 |  0.506 % |
0.05/0.96	c |     11084 |    1377     5700    16905 | 2147483647     2913     28 |  0.506 % |
0.05/0.98	c |     11341 |    1377     5700    16905 | 2147483647     3170     30 |  0.508 % |
0.05/0.99	c |     11622 |    1377     5700    16905 | 2147483647     3451     29 |  0.506 % |
0.05/1.00	c |     11722 |    1377     5700    16905 | 2147483647     3551     29 |  0.506 % |
0.05/1.01	c |     11833 |    1377     5700    16905 | 2147483647     3662     29 |  0.506 % |
0.05/1.02	c |     11954 |    1377     5700    16905 | 2147483647     3783     29 |  0.506 % |
0.05/1.03	c |     12089 |    1377     5700    16905 | 2147483647     3918     29 |  0.506 % |
0.05/1.03	c |     12237 |    1377     5700    16905 | 2147483647     4066     29 |  0.506 % |
0.05/1.05	c |     12397 |    1377     5700    16905 | 2147483647     4226     28 |  0.506 % |
0.05/1.06	c |     12573 |    1377     5700    16905 | 2147483647     4402     29 |  0.506 % |
0.05/1.08	c |     12766 |    1377     5700    16905 | 2147483647     4595     30 |  0.506 % |
0.05/1.08	c |     12978 |    1377     5700    16905 | 2147483647     4807     29 |  0.506 % |
0.05/1.10	c |     13211 |    1377     5700    16905 | 2147483647     5040     29 |  0.506 % |
1.12/1.12	c |     13467 |    1377     5700    16905 | 2147483647     5296     30 |  0.506 % |
1.12/1.16	c |     13749 |    1377     5700    16905 | 2147483647     5578     31 |  0.506 % |
1.12/1.20	c |     14059 |    1377     5700    16905 | 2147483647     5888     31 |  0.506 % |
1.12/1.21	c |     14159 |    1377     5700    16905 | 2147483647     5988     31 |  0.508 % |
1.22/1.22	c |     14270 |    1377     5700    16905 | 2147483647     6099     31 |  0.506 % |
1.22/1.24	c |     14392 |    1377     5700    16905 | 2147483647     6221     32 |  0.506 % |
1.22/1.26	c |     14525 |    1377     5700    16905 | 2147483647     6354     32 |  0.506 % |
1.22/1.27	c |     14671 |    1377     5700    16905 | 2147483647     6500     33 |  0.508 % |
1.22/1.28	c |     14831 |    1377     5700    16905 | 2147483647     6660     33 |  0.506 % |
1.22/1.31	c |     15007 |    1377     5700    16905 | 2147483647     6836     34 |  0.506 % |
1.22/1.32	c |     15201 |    1377     5700    16905 | 2147483647     7030     33 |  0.506 % |
1.32/1.34	c |     15413 |    1377     5700    16905 | 2147483647     7242     33 |  0.506 % |
1.32/1.37	c |     15648 |    1377     5700    16905 | 2147483647     7477     33 |  0.506 % |
1.32/1.41	c |     15905 |    1377     5700    16905 | 2147483647     7734     34 |  0.506 % |
1.42/1.44	c |     16186 |    1377     5700    16905 | 2147483647     8015     34 |  0.506 % |
1.42/1.48	c |     16498 |    1377     5700    16905 | 2147483647     8327     34 |  0.506 % |
1.52/1.53	c |     16837 |    1377     5700    16905 | 2147483647     8666     34 |  0.508 % |
1.52/1.54	c |     16937 |    1377     5700    16905 | 2147483647     8766     34 |  0.506 % |
1.52/1.55	c |     17047 |    1377     5700    16905 | 2147483647     8876     34 |  0.506 % |
1.52/1.56	c |     17169 |    1377     5700    16905 | 2147483647     8998     34 |  0.509 % |
1.52/1.58	c |     17302 |    1377     5700    16905 | 2147483647     9131     34 |  0.506 % |
1.52/1.60	c |     17449 |    1377     5700    16905 | 2147483647     9278     34 |  0.506 % |
1.62/1.63	c |     17611 |    1377     5700    16905 | 2147483647     9440     34 |  0.506 % |
1.62/1.65	c |     17787 |    1377     5700    16905 | 2147483647     9616     35 |  0.506 % |
1.62/1.68	c |     17981 |    1377     5700    16905 | 2147483647     9810     35 |  0.506 % |
1.62/1.69	c |     18193 |    1377     5700    16905 | 2147483647    10022     34 |  0.506 % |
1.62/1.71	c |     18426 |    1377     5700    16905 | 2147483647    10255     34 |  0.506 % |
1.72/1.75	c |     18682 |    1377     5700    16905 | 2147483647    10511     34 |  0.506 % |
1.72/1.80	c |     18963 |    1377     5700    16905 | 2147483647    10792     34 |  0.506 % |
1.82/1.85	c |     19276 |    1377     5700    16905 | 2147483647    11105     34 |  0.506 % |
1.92/1.93	c |     19615 |    1377     5700    16905 | 2147483647    11444     35 |  0.506 % |
1.92/1.99	c |     19988 |    1377     5700    16905 | 2147483647    11817     35 |  0.506 % |
1.92/1.99	c |     20088 |    1377     5700    16905 | 2147483647    11917     35 |  0.506 % |
1.92/2.01	c |     20200 |    1377     5700    16905 | 2147483647    12029     35 |  0.506 % |
1.92/2.02	c |     20322 |    1377     5700    16905 | 2147483647    12151     35 |  0.506 % |
2.02/2.04	c |     20456 |    1377     5700    16905 | 2147483647    12285     35 |  0.506 % |
2.02/2.06	c |     20603 |    1377     5700    16905 | 2147483647    12432     35 |  0.506 % |
2.02/2.09	c |     20763 |    1377     5700    16905 | 2147483647    12592     35 |  0.506 % |
2.02/2.12	c |     20939 |    1377     5700    16905 | 2147483647    12768     35 |  0.506 % |
2.12/2.15	c |     21134 |    1377     5700    16905 | 2147483647    12963     35 |  0.506 % |
2.12/2.18	c |     21346 |    1377     5700    16905 | 2147483647    13175     35 |  0.506 % |
2.12/2.22	c |     21579 |    1377     5700    16905 | 2147483647    13408     35 |  0.506 % |
2.22/2.24	c |     21835 |    1377     5700    16905 | 2147483647    13664     35 |  0.506 % |
2.22/2.29	c |     22117 |    1377     5700    16905 | 2147483647    13946     36 |  0.506 % |
2.32/2.33	c |     22426 |    1377     5700    16905 | 2147483647    14255     36 |  0.506 % |
2.32/2.39	c |     22766 |    1377     5700    16905 | 2147483647    14595     36 |  0.506 % |
2.42/2.47	c |     23139 |    1377     5700    16905 | 2147483647    14968     36 |  0.506 % |
2.52/2.53	c |     23549 |    1377     5700    16905 | 2147483647    15378     36 |  0.506 % |
2.52/2.55	c |     23649 |    1377     5700    16905 | 2147483647    15478     36 |  0.506 % |
2.52/2.56	c |     23760 |    1377     5700    16905 | 2147483647    15589     36 |  0.506 % |
2.52/2.59	c |     23881 |    1377     5700    16905 | 2147483647    15710     36 |  0.506 % |
2.52/2.62	c |     24014 |    1377     5700    16905 | 2147483647    15843     36 |  0.506 % |
2.62/2.64	c |     24160 |    1377     5700    16905 | 2147483647    15989     36 |  0.508 % |
2.62/2.67	c |     24320 |    1377     5700    16905 | 2147483647    16149     36 |  0.506 % |
2.72/2.73	c |     24497 |    1377     5700    16905 | 2147483647    16326     36 |  0.506 % |
2.72/2.75	c |     24690 |    1377     5700    16905 | 2147483647    16519     36 |  0.506 % |
2.72/2.78	c |     24902 |    1377     5700    16905 | 2147483647    16731     36 |  0.506 % |
2.82/2.84	c |     25136 |    1377     5700    16905 | 2147483647    16965     36 |  0.506 % |
2.82/2.89	c |     25393 |    1377     5700    16905 | 2147483647    17222     36 |  0.506 % |
2.92/2.93	c |     25675 |    1377     5700    16905 | 2147483647    17504     36 |  0.506 % |
2.92/2.97	c |     25984 |    1377     5700    16905 | 2147483647    17813     36 |  0.506 % |
3.02/3.04	c |     26325 |    1377     5700    16905 | 2147483647    18154     36 |  0.506 % |
3.12/3.14	c |     26697 |    1377     5700    16905 | 2147483647    18526     36 |  0.506 % |
3.22/3.24	c |     27107 |    1377     5700    16905 | 2147483647    18936     36 |  0.506 % |
3.42/3.44	c |     27556 |    1377     5700    16905 | 2147483647    19385     36 |  0.506 % |
3.42/3.45	c |     27657 |    1377     5700    16905 | 2147483647    19486     36 |  0.508 % |
3.42/3.48	c |     27767 |    1377     5700    16905 | 2147483647    19596     36 |  0.506 % |
3.42/3.50	c |     27890 |    1377     5700    16905 | 2147483647    19719     36 |  0.506 % |
3.52/3.53	c |     28024 |    1377     5700    16905 | 2147483647    19853     36 |  0.506 % |
3.52/3.56	c |     28170 |    1377     5700    16905 | 2147483647    19999     36 |  0.508 % |
3.52/3.60	c |     28333 |    1377     5700    16905 | 2147483647    20162     36 |  0.506 % |
3.62/3.64	c |     28510 |    1377     5700    16905 | 2147483647    20339     36 |  0.506 % |
3.62/3.67	c |     28704 |    1377     5700    16905 | 2147483647    20533     36 |  0.506 % |
3.62/3.70	c |     28917 |    1373     5685    16868 | 2147483647    20742     36 |  0.795 % |
3.72/3.75	c |     29150 |    1373     5685    16868 | 2147483647    20975     36 |  0.795 % |
3.72/3.80	c |     29406 |    1373     5685    16868 | 2147483647    21231     36 |  0.795 % |
3.82/3.88	c |     29688 |    1373     5685    16868 | 2147483647    21513     36 |  0.795 % |
3.92/3.98	c |     29998 |    1373     5685    16868 | 2147483647    21823     36 |  0.795 % |
4.02/4.05	c |     30337 |    1373     5685    16868 | 2147483647    22162     36 |  0.795 % |
4.12/4.13	c |     30711 |    1373     5685    16868 | 2147483647    22536     36 |  0.795 % |
4.22/4.22	c |     31121 |    1373     5685    16868 | 2147483647    22946     36 |  0.795 % |
4.32/4.34	c |     31570 |    1373     5685    16868 | 2147483647    23395     36 |  0.795 % |
4.42/4.48	c |     32063 |    1373     5685    16868 | 2147483647    23888     36 |  0.795 % |
4.42/4.50	c |     32166 |    1373     5685    16868 | 2147483647    23991     36 |  0.795 % |
4.52/4.54	c |     32276 |    1373     5685    16868 | 2147483647    24101     36 |  0.795 % |
4.52/4.58	c |     32397 |    1373     5685    16868 | 2147483647    24222     36 |  0.795 % |
4.62/4.65	c |     32530 |    1373     5685    16868 | 2147483647    24355     36 |  0.795 % |
4.62/4.68	c |     32676 |    1373     5685    16868 | 2147483647    24501     36 |  0.798 % |
4.62/4.71	c |     32836 |    1373     5685    16868 | 2147483647    24661     36 |  0.797 % |
4.72/4.77	c |     33014 |    1373     5685    16868 | 2147483647    24839     36 |  0.795 % |
4.72/4.81	c |     33207 |    1373     5685    16868 | 2147483647    25032     36 |  0.795 % |
4.82/4.87	c |     33419 |    1373     5685    16868 | 2147483647    25244     36 |  0.795 % |
4.92/4.96	c |     33652 |    1373     5685    16868 | 2147483647    25477     37 |  0.798 % |
4.92/5.00	c |     33908 |    1373     5685    16868 | 2147483647    25733     36 |  0.795 % |
5.02/5.04	c |     34190 |    1373     5685    16868 | 2147483647    26015     36 |  0.795 % |
5.12/5.15	c |     34499 |    1373     5685    16868 | 2147483647    26324     36 |  0.795 % |
5.22/5.27	c |     34838 |    1373     5685    16868 | 2147483647    26663     36 |  0.795 % |
5.42/5.43	c |     35211 |    1373     5685    16868 | 2147483647    27036     36 |  0.797 % |
5.52/5.55	c |     35620 |    1373     5685    16868 | 2147483647    27445     36 |  0.795 % |
5.62/5.72	c |     36070 |    1373     5685    16868 | 2147483647    27895     37 |  0.795 % |
5.82/5.83	c |     36563 |    1373     5685    16868 | 2147483647    28388     37 |  0.798 % |
5.92/5.97	c |     37105 |    1373     5685    16868 | 2147483647    28930     37 |  0.795 % |
5.92/6.00	c |     37206 |    1373     5685    16868 | 2147483647    29031     37 |  0.795 % |
6.02/6.03	c |     37318 |    1373     5685    16868 | 2147483647    29143     37 |  0.795 % |
6.02/6.08	c |     37440 |    1373     5685    16868 | 2147483647    29265     37 |  0.795 % |
6.02/6.12	c |     37573 |    1373     5685    16868 | 2147483647    29398     37 |  0.795 % |
6.12/6.15	c |     37720 |    1373     5685    16868 | 2147483647    29545     37 |  0.797 % |
6.22/6.23	c |     37881 |    1373     5685    16868 | 2147483647    29706     37 |  0.795 % |
6.22/6.29	c |     38057 |    1373     5685    16868 | 2147483647    29882     37 |  0.795 % |
6.32/6.37	c |     38250 |    1373     5685    16868 | 2147483647    30075     37 |  0.797 % |
6.42/6.43	c |     38462 |    1373     5685    16868 | 2147483647    30287     37 |  0.795 % |
6.52/6.52	c |     38696 |    1373     5685    16868 | 2147483647    30521     37 |  0.795 % |
6.62/6.64	c |     38955 |    1373     5685    16868 | 2147483647    30780     37 |  0.795 % |
6.72/6.74	c |     39236 |    1373     5685    16868 | 2147483647    31061     37 |  0.795 % |
6.82/6.91	c |     39545 |    1373     5685    16868 | 2147483647    31370     37 |  0.795 % |
6.92/6.98	c |     39885 |    1373     5685    16868 | 2147483647    31710     37 |  0.797 % |
7.02/7.05	c |     40260 |    1373     5685    16868 | 2147483647    32085     37 |  0.795 % |
7.12/7.16	c |     40669 |    1373     5685    16868 | 2147483647    32494     37 |  0.795 % |
7.32/7.36	c |     41119 |    1373     5685    16868 | 2147483647    32944     37 |  0.795 % |
7.52/7.62	c |     41612 |    1373     5685    16868 | 2147483647    33437     37 |  0.795 % |
7.72/7.82	c |     42155 |    1373     5685    16868 | 2147483647    33980     37 |  0.795 % |
7.92/8.00	c |     42752 |    1373     5685    16868 | 2147483647    34577     37 |  0.795 % |
8.02/8.06	c |     42853 |    1373     5685    16868 | 2147483647    34678     37 |  0.795 % |
8.12/8.16	c |     42964 |    1373     5685    16868 | 2147483647    34789     37 |  0.795 % |
8.12/8.21	c |     43085 |    1373     5685    16868 | 2147483647    34910     37 |  0.795 % |
8.22/8.24	c |     43219 |    1373     5685    16868 | 2147483647    35044     37 |  0.797 % |
8.22/8.32	c |     43367 |    1373     5685    16868 | 2147483647    35192     37 |  0.795 % |
8.32/8.40	c |     43527 |    1373     5685    16868 | 2147483647    35352     37 |  0.795 % |
8.42/8.46	c |     43704 |    1373     5685    16868 | 2147483647    35529     37 |  0.795 % |
8.42/8.51	c |     43898 |    1373     5685    16868 | 2147483647    35723     37 |  0.795 % |
8.52/8.57	c |     44112 |    1373     5685    16868 | 2147483647    35937     37 |  0.795 % |
8.62/8.69	c |     44345 |    1373     5685    16868 | 2147483647    36170     37 |  0.795 % |
8.82/8.83	c |     44602 |    1373     5685    16868 | 2147483647    36427     37 |  0.795 % |
9.02/9.04	c |     44884 |    1373     5685    16868 | 2147483647    36709     37 |  0.795 % |
9.12/9.20	c |     45195 |    1373     5685    16868 | 2147483647    37020     37 |  0.795 % |
9.32/9.35	c |     45535 |    1373     5685    16868 | 2147483647    37360     37 |  0.795 % |
9.42/9.44	c |     45907 |    1373     5685    16868 | 2147483647    37732     37 |  0.797 % |
9.52/9.58	c |     46316 |    1373     5685    16868 | 2147483647    38141     37 |  0.795 % |
9.72/9.80	c |     46767 |    1373     5685    16868 | 2147483647    38592     37 |  0.795 % |
10.02/10.07	c |     47262 |    1373     5685    16868 | 2147483647    39087     37 |  0.795 % |
10.32/10.35	c |     47807 |    1373     5685    16868 | 2147483647    39632     38 |  0.795 % |
10.72/10.76	c |     48403 |    1373     5685    16868 | 2147483647    40228     38 |  0.795 % |
11.02/11.11	c |     49060 |    1373     5685    16868 | 2147483647    40885     38 |  0.795 % |
11.12/11.14	c |     49160 |    1373     5685    16868 | 2147483647    40985     38 |  0.797 % |
11.12/11.16	c |     49270 |    1373     5685    16868 | 2147483647    41095     38 |  0.795 % |
11.22/11.23	c |     49391 |    1373     5685    16868 | 2147483647    41216     38 |  0.795 % |
11.22/11.24	c |     49524 |    1373     5685    16868 | 2147483647    41349     37 |  0.795 % |
11.22/11.27	c |     49670 |    1373     5685    16868 | 2147483647    41495     37 |  0.795 % |
11.32/11.33	c |     49831 |    1373     5685    16868 | 2147483647    41656     37 |  0.795 % |
11.42/11.42	c |     50007 |    1373     5685    16868 |    41826    41832     37 |  0.795 % |
11.42/11.48	c |     50202 |    1373     5685    16868 |    41826    42027     37 |  0.795 % |
11.52/11.55	c |     50417 |    1372     5681    16852 |    41826    35238     35 |  0.867 % |
11.52/11.62	c |     50650 |    1372     5681    16852 |    41826    35471     35 |  0.867 % |
11.72/11.76	c |     50907 |    1372     5681    16852 |    41826    35728     35 |  0.867 % |
11.82/11.83	c |     51189 |    1372     5681    16852 |    41826    36010     35 |  0.867 % |
11.92/11.97	c |     51498 |    1372     5681    16852 |    41826    36319     35 |  0.867 % |
12.12/12.18	c |     51837 |    1372     5681    16852 |    41826    36658     35 |  0.867 % |
12.32/12.41	c |     52212 |    1372     5681    16852 |    41826    37033     35 |  0.867 % |
12.52/12.58	c |     52621 |    1372     5681    16852 |    41826    37442     35 |  0.867 % |
12.72/12.78	c |     53071 |    1372     5681    16852 |    41826    37892     35 |  0.867 % |
12.92/12.95	c |     53564 |    1372     5681    16852 |    41826    38385     35 |  0.867 % |
13.12/13.17	c |     54106 |    1372     5681    16852 |    41826    38927     35 |  0.867 % |
13.42/13.43	c |     54702 |    1372     5681    16852 |    41826    39523     36 |  0.867 % |
13.72/13.79	c |     55357 |    1372     5681    16852 |    41826    40178     36 |  0.867 % |
14.22/14.23	c |     56077 |    1372     5681    16852 |    41826    40898     36 |  0.867 % |
14.22/14.26	c |     56177 |    1372     5681    16852 |    41826    40998     36 |  0.867 % |
14.22/14.30	c |     56287 |    1372     5681    16852 |    41826    41108     36 |  0.867 % |
14.32/14.34	c |     56408 |    1372     5681    16852 |    41826    41229     36 |  0.867 % |
14.32/14.41	c |     56543 |    1372     5681    16852 |    41826    41364     36 |  0.867 % |
14.42/14.45	c |     56689 |    1372     5681    16852 |    41826    41510     36 |  0.867 % |
14.52/14.54	c |     56849 |    1372     5681    16852 |    41826    41670     36 |  0.867 % |
14.62/14.62	c |     57025 |    1372     5681    16852 |    41826    41846     36 |  0.867 % |
14.72/14.73	c |     57220 |    1372     5681    16852 |    41826    34129     34 |  0.867 % |
14.82/14.84	c |     57432 |    1372     5681    16852 |    41826    34341     34 |  0.867 % |
14.92/14.96	c |     57666 |    1372     5681    16852 |    41826    34575     34 |  0.867 % |
15.02/15.10	c |     57923 |    1372     5681    16852 |    41826    34832     34 |  0.867 % |
15.22/15.23	c |     58204 |    1372     5681    16852 |    41826    35113     34 |  0.867 % |
15.22/15.30	c |     58514 |    1372     5681    16852 |    41826    35423     34 |  0.867 % |
15.32/15.35	c |     58854 |    1372     5681    16852 |    41826    35763     34 |  0.867 % |
15.32/15.38	c |     59226 |    1372     5681    16852 |    41826    36135     33 |  0.867 % |
15.52/15.52	c |     59636 |    1372     5681    16852 |    41826    36545     34 |  0.867 % |
15.72/15.74	c |     60087 |    1372     5681    16852 |    36909    36996     34 |  0.867 % |
15.92/15.97	c |     60581 |    1372     5681    16852 |    36909    30807     32 |  0.870 % |
16.12/16.14	c |     61123 |    1372     5681    16852 |    36909    31349     32 |  0.867 % |
16.32/16.41	c |     61719 |    1372     5681    16852 |    36909    31945     32 |  0.867 % |
16.72/16.74	c |     62376 |    1372     5681    16852 |    36909    32602     32 |  0.867 % |
17.02/17.10	c |     63096 |    1372     5681    16852 |    36909    33322     32 |  0.867 % |
17.22/17.30	c |     63889 |    1372     5681    16852 |    36909    34115     33 |  0.867 % |
17.32/17.34	c |     63989 |    1372     5681    16852 |    36909    34215     33 |  0.869 % |
17.32/17.38	c |     64100 |    1372     5681    16852 |    36909    34326     33 |  0.870 % |
17.42/17.42	c |     64221 |    1372     5681    16852 |    36909    34447     33 |  0.867 % |
17.42/17.45	c |     64354 |    1372     5681    16852 |    36909    34580     33 |  0.867 % |
17.52/17.55	c |     64502 |    1372     5681    16852 |    36909    34728     33 |  0.867 % |
17.52/17.59	c |     64663 |    1372     5681    16852 |    36909    34889     33 |  0.870 % |
17.62/17.65	c |     64840 |    1372     5681    16852 |    36909    35066     33 |  0.867 % |
17.62/17.71	c |     65033 |    1372     5681    16852 |    36909    35259     33 |  0.867 % |
17.72/17.78	c |     65246 |    1372     5681    16852 |    36909    35472     33 |  0.869 % |
17.82/17.85	c |     65479 |    1372     5681    16852 |    36909    35705     33 |  0.867 % |
17.92/17.97	c |     65736 |    1372     5681    16852 |    36909    35962     33 |  0.867 % |
18.02/18.02	c |     66017 |    1372     5681    16852 |    36909    36243     33 |  0.867 % |
18.12/18.20	c |     66326 |    1372     5681    16852 |    36909    36552     33 |  0.871 % |
18.42/18.43	c |     66665 |    1372     5681    16852 |    36909    36891     33 |  0.867 % |
18.42/18.50	c |     67039 |    1372     5681    16852 |    36909    31041     31 |  0.867 % |
18.52/18.55	c |     67448 |    1372     5681    16852 |    36909    31450     31 |  0.867 % |
18.82/18.84	c |     67898 |    1372     5681    16852 |    36909    31900     31 |  0.867 % |
19.12/19.13	c |     68392 |    1372     5681    16852 |    36909    32394     31 |  0.867 % |
19.32/19.37	c |     68936 |    1372     5681    16852 |    36909    32938     31 |  0.867 % |
19.62/19.70	c |     69532 |    1372     5681    16852 |    36909    33534     31 |  0.867 % |
19.82/19.83	c |     70189 |    1372     5681    16852 |    34003    34191     32 |  0.867 % |
20.02/20.07	c |     70909 |    1372     5681    16852 |    34003    29383     30 |  0.867 % |
20.32/20.41	c |     71702 |    1372     5681    16852 |    34003    30176     30 |  0.867 % |
20.82/20.83	c |     72574 |    1372     5681    16852 |    34003    31048     31 |  0.867 % |
20.82/20.85	c |     72674 |    1372     5681    16852 |    34003    31148     31 |  0.867 % |
20.82/20.88	c |     72785 |    1372     5681    16852 |    34003    31259     31 |  0.870 % |
20.92/20.93	c |     72907 |    1372     5681    16852 |    34003    31381     31 |  0.867 % |
20.92/20.99	c |     73040 |    1372     5681    16852 |    34003    31514     31 |  0.867 % |
21.02/21.04	c |     73186 |    1371     5677    16836 |    34003    31616     31 |  0.941 % |
21.02/21.08	c |     73346 |    1371     5677    16836 |    34003    31776     31 |  0.939 % |
21.12/21.17	c |     73522 |    1371     5677    16836 |    34003    31952     31 |  0.939 % |
21.22/21.23	c |     73715 |    1371     5677    16836 |    34003    32145     31 |  0.942 % |
21.22/21.29	c |     73930 |    1371     5677    16836 |    34003    32360     31 |  0.939 % |
21.32/21.35	c |     74164 |    1371     5677    16836 |    34003    32594     31 |  0.939 % |
21.32/21.39	c |     74421 |    1371     5677    16836 |    34003    32851     31 |  0.939 % |
21.52/21.53	c |     74702 |    1371     5677    16836 |    34003    33132     31 |  0.939 % |
21.62/21.67	c |     75013 |    1371     5677    16836 |    34003    33443     31 |  0.939 % |
21.72/21.75	c |     75355 |    1371     5677    16836 |    34003    33785     31 |  0.942 % |
21.82/21.85	c |     75727 |    1371     5677    16836 |    34003    34157     31 |  0.939 % |
22.02/22.07	c |     76137 |    1371     5677    16836 |    34003    30099     30 |  0.940 % |
22.12/22.18	c |     76586 |    1371     5677    16836 |    34003    30548     30 |  0.939 % |
22.22/22.29	c |     77080 |    1371     5677    16836 |    34003    31042     30 |  0.941 % |
22.42/22.49	c |     77623 |    1371     5677    16836 |    34003    31585     31 |  0.939 % |
22.62/22.68	c |     78220 |    1371     5677    16836 |    34003    32182     31 |  0.939 % |
22.92/23.00	c |     78876 |    1371     5677    16836 |    34003    32838     31 |  0.939 % |
23.22/23.26	c |     79597 |    1371     5677    16836 |    34003    33559     31 |  0.939 % |
23.42/23.45	c |     80389 |    1371     5677    16836 |    33963    34351     32 |  0.942 % |
23.72/23.80	c |     81261 |    1371     5677    16836 |    33963    29920     31 |  0.939 % |
24.02/24.10	c |     82220 |    1371     5677    16836 |    33963    30879     31 |  0.939 % |
24.12/24.15	c |     82321 |    1371     5677    16836 |    33963    30980     31 |  0.939 % |
24.12/24.20	c |     82431 |    1371     5677    16836 |    33963    31090     31 |  0.939 % |
24.22/24.28	c |     82552 |    1371     5677    16836 |    33963    31211     31 |  0.939 % |
24.22/24.31	c |     82686 |    1371     5677    16836 |    33963    31345     31 |  0.939 % |
24.32/24.35	c |     82834 |    1371     5677    16836 |    33963    31493     31 |  0.940 % |
24.42/24.43	c |     82994 |    1371     5677    16836 |    33963    31653     31 |  0.939 % |
24.42/24.50	c |     83171 |    1371     5677    16836 |    33963    31830     31 |  0.939 % |
24.52/24.57	c |     83364 |    1371     5677    16836 |    33963    32023     31 |  0.939 % |
24.62/24.66	c |     83576 |    1371     5677    16836 |    33963    32235     31 |  0.939 % |
24.72/24.72	c |     83810 |    1371     5677    16836 |    33963    32469     31 |  0.939 % |
24.82/24.86	c |     84066 |    1371     5677    16836 |    33963    32725     31 |  0.939 % |
24.92/24.95	c |     84349 |    1371     5677    16836 |    33963    33008     32 |  0.941 % |
25.02/25.08	c |     84659 |    1371     5677    16836 |    33963    33318     32 |  0.939 % |
25.12/25.21	c |     84998 |    1371     5677    16836 |    33963    33657     32 |  0.939 % |
25.42/25.45	c |     85371 |    1371     5677    16836 |    33963    34030     32 |  0.939 % |
25.52/25.55	c |     85782 |    1371     5677    16836 |    33963    29320     30 |  0.939 % |
25.62/25.70	c |     86231 |    1371     5677    16836 |    33963    29769     30 |  0.939 % |
25.82/25.91	c |     86725 |    1371     5677    16836 |    33963    30263     30 |  0.939 % |
26.32/26.33	c |     87269 |    1371     5677    16836 |    33963    30807     31 |  0.939 % |
26.52/26.59	c |     87865 |    1371     5677    16836 |    33963    31403     31 |  0.939 % |
26.82/26.86	c |     88520 |    1371     5677    16836 |    33963    32058     31 |  0.939 % |
27.02/27.12	c |     89240 |    1371     5677    16836 |    33963    32778     31 |  0.942 % |
27.42/27.44	c |     90032 |    1371     5677    16836 |    33538    33570     32 |  0.939 % |
27.72/27.82	c |     90903 |    1371     5677    16836 |    33538    29588     31 |  0.940 % |
28.22/28.22	c |     91861 |    1371     5677    16836 |    33538    30546     31 |  0.939 % |
28.62/28.66	c |     92917 |    1371     5677    16836 |    33538    31602     31 |  0.939 % |
28.62/28.68	c |     93017 |    1371     5677    16836 |    33538    31702     31 |  0.939 % |
28.62/28.70	c |     93127 |    1371     5677    16836 |    33538    31812     31 |  0.942 % |
28.72/28.76	c |     93248 |    1371     5677    16836 |    33538    31933     31 |  0.940 % |
28.72/28.80	c |     93381 |    1371     5677    16836 |    33538    32066     31 |  0.939 % |
28.82/28.90	c |     93529 |    1371     5677    16836 |    33538    32214     31 |  0.939 % |
28.92/28.95	c |     93689 |    1371     5677    16836 |    33538    32374     32 |  0.942 % |
28.92/29.00	c |     93865 |    1371     5677    16836 |    33538    32550     31 |  0.939 % |
29.02/29.10	c |     94059 |    1371     5677    16836 |    33538    32744     32 |  0.942 % |
29.12/29.18	c |     94273 |    1371     5677    16836 |    33538    32958     32 |  0.939 % |
29.22/29.30	c |     94506 |    1371     5677    16836 |    33538    33191     32 |  0.939 % |
29.32/29.34	c |     94764 |    1371     5677    16836 |    33538    33449     32 |  0.940 % |
29.42/29.48	c |     95046 |    1371     5677    16836 |    33538    33731     32 |  0.939 % |
29.52/29.60	c |     95355 |    1371     5677    16836 |    33538    28613     30 |  0.939 % |
29.72/29.75	c |     95695 |    1371     5677    16836 |    33538    28953     31 |  0.939 % |
29.82/29.87	c |     96070 |    1371     5677    16836 |    33538    29328     31 |  0.939 % |
29.92/29.96	c |     96482 |    1371     5677    16836 |    33538    29740     31 |  0.943 % |
30.02/30.09	c |     96931 |    1371     5677    16836 |    33538    30189     31 |  0.942 % |
30.22/30.26	c |     97424 |    1371     5677    16836 |    33538    30682     31 |  0.939 % |
30.42/30.48	c |     97967 |    1371     5677    16836 |    33538    31225     31 |  0.939 % |
30.72/30.73	c |     98563 |    1371     5677    16836 |    33538    31821     31 |  0.939 % |
30.93/30.97	c |     99220 |    1371     5677    16836 |    33538    32478     31 |  0.942 % |
31.22/31.27	c |     99941 |    1371     5677    16836 |    33538    33199     31 |  0.942 % |
31.52/31.59	c |    100733 |    1371     5677    16836 |    33258    29701     29 |  0.939 % |
31.82/31.91	c |    101604 |    1371     5677    16836 |    33258    30572     30 |  0.939 % |
32.22/32.26	c |    102564 |    1371     5677    16836 |    33258    31532     30 |  0.939 % |
32.62/32.68	c |    103618 |    1371     5677    16836 |    33258    32586     30 |  0.940 % |
33.13/33.13	c |    104777 |    1371     5677    16836 |    33258    29946     29 |  0.939 % |
33.13/33.19	c |    104879 |    1371     5677    16836 |    33258    30048     30 |  0.940 % |
33.22/33.27	c |    104989 |    1371     5677    16836 |    33258    30158     30 |  0.939 % |
33.22/33.31	c |    105110 |    1371     5677    16836 |    33258    30279     30 |  0.939 % |
33.32/33.37	c |    105244 |    1371     5677    16836 |    33258    30413     30 |  0.940 % |
33.42/33.43	c |    105392 |    1371     5677    16836 |    33258    30561     30 |  0.939 % |
33.42/33.51	c |    105553 |    1371     5677    16836 |    33258    30722     30 |  0.939 % |
33.52/33.54	c |    105729 |    1371     5677    16836 |    33258    30898     30 |  0.942 % |
33.52/33.57	c |    105923 |    1371     5677    16836 |    33258    31092     30 |  0.940 % |
33.52/33.62	c |    106135 |    1371     5677    16836 |    33258    31304     30 |  0.939 % |
33.62/33.66	c |    106369 |    1371     5677    16836 |    33258    31538     30 |  0.939 % |
33.72/33.72	c |    106626 |    1371     5677    16836 |    33258    31795     30 |  0.939 % |
33.82/33.87	c |    106909 |    1371     5677    16836 |    33258    32078     30 |  0.940 % |
33.92/33.99	c |    107218 |    1371     5677    16836 |    33258    32387     30 |  0.939 % |
34.11/34.18	c |    107558 |    1371     5677    16836 |    33258    32727     30 |  0.939 % |
34.31/34.31	c |    107932 |    1371     5677    16836 |    33258    33101     30 |  0.939 % |
34.41/34.49	c |    108341 |    1371     5677    16836 |    33258    33510     30 |  0.939 % |
34.61/34.68	c |    108791 |    1371     5677    16836 |    33258    30108     29 |  0.939 % |
34.81/34.86	c |    109284 |    1371     5677    16836 |    33258    30601     29 |  0.939 % |
35.01/35.05	c |    109826 |    1371     5677    16836 |    33258    31143     29 |  0.939 % |
35.32/35.39	c |    110423 |    1371     5677    16836 |    31319    28444     28 |  0.939 % |
35.51/35.59	c |    111078 |    1371     5677    16836 |    31319    29099     28 |  0.939 % |
35.61/35.71	c |    111798 |    1371     5677    16836 |    31319    29819     28 |  0.941 % |
35.81/35.83	c |    112590 |    1371     5677    16836 |    31319    30611     28 |  0.939 % |
36.01/36.06	c |    113461 |    1371     5677    16836 |    31319    31482     28 |  0.939 % |
36.31/36.34	c |    114419 |    1371     5677    16836 |    31319    29292     27 |  0.939 % |
36.61/36.67	c |    115472 |    1371     5677    16836 |    31319    30345     27 |  0.939 % |
37.21/37.26	c |    116631 |    1371     5677    16836 |    31319    31504     27 |  0.939 % |
37.52/37.60	c |    117904 |    1371     5677    16836 |    31319    29627     26 |  0.939 % |
37.61/37.62	c |    118004 |    1371     5677    16836 |    31319    29727     26 |  0.939 % |
37.61/37.64	c |    118115 |    1371     5677    16836 |    31319    29838     26 |  0.939 % |
37.61/37.69	c |    118238 |    1371     5677    16836 |    31319    29961     26 |  0.939 % |
37.71/37.76	c |    118371 |    1371     5677    16836 |    31319    30094     26 |  0.942 % |
37.81/37.83	c |    118518 |    1371     5677    16836 |    31319    30241     26 |  0.939 % |
37.81/37.85	c |    118679 |    1371     5677    16836 |    31319    30402     26 |  0.942 % |
37.81/37.86	c |    118859 |    1371     5677    16836 |    31319    30582     26 |  0.939 % |
37.81/37.91	c |    119052 |    1371     5677    16836 |    31319    30775     26 |  0.940 % |
37.91/37.96	c |    119264 |    1371     5677    16836 |    31319    30987     26 |  0.939 % |
38.01/38.03	c |    119497 |    1371     5677    16836 |    31319    31220     26 |  0.939 % |
38.21/38.26	c |    119753 |    1371     5677    16836 |    31319    31476     27 |  0.939 % |
38.31/38.38	c |    120034 |    1371     5677    16836 | 2147483647    28610     25 |  0.939 % |
38.51/38.52	c |    120343 |    1371     5677    16836 | 2147483647    28919     25 |  0.939 % |
38.62/38.67	c |    120682 |    1371     5677    16836 | 2147483647    29258     26 |  0.939 % |
38.71/38.74	c |    121056 |    1371     5677    16836 | 2147483647    29632     26 |  0.939 % |
38.71/38.79	c |    121466 |    1371     5677    16836 | 2147483647    30042     25 |  0.939 % |
38.91/38.93	c |    121915 |    1371     5677    16836 | 2147483647    30491     26 |  0.939 % |
39.11/39.16	c |    122409 |    1371     5677    16836 | 2147483647    30985     26 |  0.939 % |
39.31/39.40	c |    122952 |    1371     5677    16836 | 2147483647    31528     26 |  0.939 % |
39.72/39.79	c |    123548 |    1371     5677    16836 | 2147483647    32124     27 |  0.942 % |
39.91/39.96	c |    124205 |    1371     5677    16836 | 2147483647    32781     27 |  0.942 % |
40.31/40.32	c |    124926 |    1371     5677    16836 | 2147483647    33502     27 |  0.939 % |
40.41/40.41	c |    125719 |    1371     5677    16836 | 2147483647    34295     27 |  0.939 % |
40.71/40.79	c |    126591 |    1371     5677    16836 | 2147483647    35167     27 |  0.939 % |
40.91/40.92	c |    127550 |    1371     5677    16836 | 2147483647    36126     27 |  0.939 % |
41.31/41.38	c |    128604 |    1371     5677    16836 | 2147483647    37180     28 |  0.939 % |
42.01/42.08	c |    129762 |    1371     5677    16836 | 2147483647    38338     28 |  0.939 % |
42.61/42.71	c |    131036 |    1371     5677    16836 |    38577    34769     27 |  0.939 % |
43.02/43.05	c |    132436 |    1371     5677    16836 |    38577    36169     27 |  0.940 % |
43.02/43.08	c |    132536 |    1371     5677    16836 |    38577    36269     28 |  0.939 % |
43.11/43.12	c |    132647 |    1371     5677    16836 |    38577    36380     28 |  0.939 % |
43.11/43.16	c |    132770 |    1371     5677    16836 |    38577    36503     28 |  0.939 % |
43.21/43.22	c |    132907 |    1371     5677    16836 |    38577    36640     28 |  0.939 % |
43.31/43.32	c |    133053 |    1371     5677    16836 |    38577    36786     28 |  0.939 % |
43.31/43.36	c |    133213 |    1371     5677    16836 |    38577    36946     28 |  0.939 % |
43.41/43.50	c |    133390 |    1371     5677    16836 |    38577    37123     28 |  0.939 % |
43.61/43.63	c |    133583 |    1371     5677    16836 |    38577    37316     28 |  0.942 % |
43.61/43.66	c |    133795 |    1371     5677    16836 |    38577    37528     28 |  0.942 % |
43.71/43.80	c |    134028 |    1371     5677    16836 |    38577    37761     28 |  0.939 % |
43.91/43.92	c |    134286 |    1371     5677    16836 |    38577    38019     28 |  0.942 % |
43.91/44.00	c |    134567 |    1371     5677    16836 |    38577    38300     28 |  0.939 % |
44.01/44.07	c |    134877 |    1371     5677    16836 |    38577    38610     28 |  0.940 % |
44.21/44.28	c |    135216 |    1371     5677    16836 |    38577    32153     26 |  0.939 % |
44.41/44.42	c |    135588 |    1371     5677    16836 |    38577    32525     26 |  0.939 % |
44.51/44.57	c |    135999 |    1371     5677    16836 |    38577    32936     26 |  0.941 % |
44.71/44.78	c |    136449 |    1371     5677    16836 |    38577    33386     26 |  0.939 % |
44.91/44.94	c |    136942 |    1371     5677    16836 |    38577    33879     27 |  0.942 % |
45.11/45.13	c |    137485 |    1371     5677    16836 |    38577    34422     27 |  0.939 % |
45.41/45.41	c |    138081 |    1371     5677    16836 |    38577    35018     27 |  0.939 % |
45.51/45.55	c |    138738 |    1371     5677    16836 |    38577    35675     27 |  0.941 % |
45.61/45.69	c |    139460 |    1371     5677    16836 |    38577    36397     27 |  0.939 % |
46.01/46.08	c |    140252 |    1371     5677    16836 |    36938    37189     27 |  0.939 % |
46.41/46.48	c |    141123 |    1371     5677    16836 |    36938    32281     26 |  0.939 % |
46.91/46.98	c |    142081 |    1371     5677    16836 |    36938    33239     27 |  0.939 % |
47.11/47.18	c |    143134 |    1371     5677    16836 |    36938    34292     27 |  0.942 % |
47.42/47.42	c |    144292 |    1371     5677    16836 |    36938    35450     27 |  0.939 % |
47.71/47.81	c |    145565 |    1371     5677    16836 |    36938    36723     28 |  0.940 % |
48.31/48.37	c |    146965 |    1371     5677    16836 |    36938    32870     26 |  0.939 % |
48.52/48.58	c |    148506 |    1371     5677    16836 |    36938    34411     26 |  0.939 % |
48.52/48.60	c |    148607 |    1371     5677    16836 |    36938    34512     26 |  0.939 % |
48.61/48.61	c |    148718 |    1371     5677    16836 |    36938    34623     26 |  0.939 % |
48.61/48.69	c |    148840 |    1371     5677    16836 |    36938    34745     26 |  0.939 % |
48.71/48.73	c |    148975 |    1371     5677    16836 |    36938    34880     26 |  0.939 % |
48.71/48.77	c |    149121 |    1371     5677    16836 |    36938    35026     26 |  0.939 % |
48.81/48.82	c |    149281 |    1371     5677    16836 |    36938    35186     26 |  0.939 % |
48.81/48.88	c |    149457 |    1371     5677    16836 |    36938    35362     26 |  0.939 % |
48.91/48.98	c |    149650 |    1371     5677    16836 |    36938    35555     26 |  0.939 % |
49.01/49.05	c |    149862 |    1371     5677    16836 |    36938    35767     26 |  0.939 % |
49.11/49.13	c |    150095 |    1371     5677    16836 |    35906    36000     26 |  0.939 % |
49.21/49.21	c |    150351 |    1371     5677    16836 |    35906    31822     25 |  0.939 % |
49.21/49.30	c |    150632 |    1371     5677    16836 |    35906    32103     25 |  0.939 % |
49.31/49.38	c |    150942 |    1371     5677    16836 |    35906    32413     25 |  0.939 % |
49.51/49.55	c |    151281 |    1371     5677    16836 |    35906    32752     25 |  0.939 % |
49.71/49.71	c |    151653 |    1371     5677    16836 |    35906    33124     26 |  0.939 % |
49.91/49.91	c |    152062 |    1371     5677    16836 |    35906    33533     26 |  0.939 % |
50.01/50.01	c |    152513 |    1371     5677    16836 |    35906    33984     26 |  0.939 % |
50.11/50.19	c |    153007 |    1371     5677    16836 |    35906    34478     26 |  0.942 % |
50.41/50.42	c |    153551 |    1371     5677    16836 |    35906    35022     26 |  0.942 % |
50.51/50.52	c |    154148 |    1371     5677    16836 |    35906    35619     26 |  0.943 % |
50.91/50.92	c |    154804 |    1371     5677    16836 |    35906    36275     27 |  0.939 % |
51.21/51.28	c |    155525 |    1371     5677    16836 |    35906    31868     25 |  0.942 % |
51.51/51.54	c |    156318 |    1371     5677    16836 |    35906    32661     26 |  0.940 % |
51.61/51.65	c |    157189 |    1371     5677    16836 |    35906    33532     26 |  0.942 % |
52.01/52.07	c |    158147 |    1371     5677    16836 |    35906    34490     27 |  0.939 % |
52.61/52.65	c |    159200 |    1371     5677    16836 |    35906    35543     27 |  0.939 % |
53.31/53.32	c |    160359 |    1371     5677    16836 |    36343    36702     27 |  0.939 % |
53.91/53.98	c |    161632 |    1371     5677    16836 |    36343    32127     26 |  0.939 % |
54.71/54.80	c |    163032 |    1371     5677    16836 |    36343    33527     27 |  0.939 % |
55.21/55.23	c |    164572 |    1371     5677    16836 |    36343    35067     27 |  0.941 % |
55.81/55.85	c |    166266 |    1371     5677    16836 |    36343    36761     28 |  0.939 % |
55.91/55.91	c |    166368 |    1371     5677    16836 |    36343    31528     27 |  0.939 % |
55.91/55.95	c |    166479 |    1371     5677    16836 |    36343    31639     27 |  0.939 % |
55.91/56.00	c |    166602 |    1371     5677    16836 |    36343    31762     27 |  0.939 % |
56.01/56.04	c |    166737 |    1371     5677    16836 |    36343    31897     27 |  0.942 % |
56.01/56.10	c |    166883 |    1371     5677    16836 |    36343    32043     27 |  0.939 % |
56.11/56.16	c |    167044 |    1371     5677    16836 |    36343    32204     27 |  0.939 % |
56.22/56.22	c |    167221 |    1371     5677    16836 |    36343    32381     27 |  0.942 % |
56.22/56.28	c |    167414 |    1371     5677    16836 |    36343    32574     27 |  0.939 % |
56.31/56.36	c |    167626 |    1371     5677    16836 |    36343    32786     27 |  0.940 % |
56.41/56.45	c |    167859 |    1371     5677    16836 |    36343    33019     27 |  0.939 % |
56.51/56.56	c |    168115 |    1371     5677    16836 |    36343    33275     27 |  0.939 % |
56.71/56.75	c |    168398 |    1371     5677    16836 |    36343    33558     27 |  0.939 % |
56.81/56.89	c |    168707 |    1371     5677    16836 |    36343    33867     27 |  0.939 % |
57.01/57.02	c |    169047 |    1371     5677    16836 |    36343    34207     27 |  0.939 % |
57.01/57.09	c |    169420 |    1371     5677    16836 |    36343    34580     27 |  0.942 % |
57.11/57.19	c |    169829 |    1371     5677    16836 |    36343    34989     27 |  0.939 % |
57.21/57.28	c |    170280 |    1371     5677    16836 |    35161    35440     27 |  0.939 % |
57.32/57.40	c |    170774 |    1371     5677    16836 |    35161    31259     27 |  0.939 % |
57.71/57.71	c |    171316 |    1371     5677    16836 |    35161    31801     28 |  0.942 % |
57.91/58.00	c |    171913 |    1371     5677    16836 |    35161    32398     28 |  0.939 % |
58.21/58.24	c |    172568 |    1371     5677    16836 |    35161    33053     28 |  0.939 % |
58.31/58.37	c |    173288 |    1371     5677    16836 |    35161    33773     28 |  0.939 % |
58.61/58.64	c |    174082 |    1371     5677    16836 |    35161    34567     29 |  0.939 % |
58.81/58.81	c |    174954 |    1371     5677    16836 |    35161    35439     28 |  0.939 % |
59.21/59.26	c |    175913 |    1371     5677    16836 |    35161    31843     28 |  0.939 % |
59.71/59.76	c |    176966 |    1371     5677    16836 |    35161    32896     28 |  0.939 % |
60.41/60.43	c |    178125 |    1371     5677    16836 |    35161    34055     28 |  0.939 % |
61.11/61.15	c |    179399 |    1371     5677    16836 |    35161    35329     28 |  0.939 % |
61.81/61.85	c |    180799 |    1371     5677    16836 |    31581    28819     26 |  0.939 % |
62.41/62.49	c |    182340 |    1371     5677    16836 |    31581    30360     27 |  0.939 % |
63.31/63.36	c |    184035 |    1371     5677    16836 |    31581    28873     26 |  0.941 % |
63.61/63.70	c |    185898 |    1371     5677    16836 |    31581    30736     27 |  0.942 % |
63.71/63.75	c |    185998 |    1371     5677    16836 |    31581    30836     27 |  0.939 % |
63.71/63.79	c |    186109 |    1371     5677    16836 |    31581    30947     27 |  0.939 % |
63.81/63.84	c |    186230 |    1371     5677    16836 |    31581    31068     27 |  0.939 % |
63.81/63.90	c |    186364 |    1371     5677    16836 |    31581    31202     27 |  0.939 % |
63.92/63.96	c |    186511 |    1371     5677    16836 |    31581    31349     27 |  0.939 % |
63.92/63.99	c |    186671 |    1371     5677    16836 |    31581    31509     27 |  0.942 % |
64.01/64.05	c |    186848 |    1371     5677    16836 |    31581    31686     27 |  0.940 % |
64.11/64.16	c |    187043 |    1371     5677    16836 |    31581    28713     26 |  0.942 % |
64.11/64.20	c |    187256 |    1371     5677    16836 |    31581    28926     26 |  0.942 % |
64.21/64.26	c |    187489 |    1371     5677    16836 |    31581    29159     26 |  0.940 % |
64.31/64.35	c |    187746 |    1371     5677    16836 |    31581    29416     26 |  0.939 % |
64.41/64.44	c |    188028 |    1371     5677    16836 |    31581    29698     27 |  0.939 % |
64.51/64.53	c |    188337 |    1371     5677    16836 |    31581    30007     27 |  0.940 % |
64.61/64.66	c |    188677 |    1371     5677    16836 |    31581    30347     27 |  0.940 % |
64.81/64.81	c |    189051 |    1371     5677    16836 |    31581    30721     27 |  0.943 % |
64.91/64.94	c |    189462 |    1371     5677    16836 |    31581    31132     27 |  0.939 % |
64.91/65.01	c |    189912 |    1371     5677    16836 |    31581    31582     27 |  0.942 % |
65.21/65.22	c |    190406 |    1371     5677    16836 | 2147483647    32076     27 |  0.939 % |
65.51/65.51	c |    190948 |    1371     5677    16836 | 2147483647    32618     27 |  0.939 % |
65.71/65.73	c |    191544 |    1371     5677    16836 | 2147483647    33214     28 |  0.939 % |
66.01/66.04	c |    192202 |    1371     5677    16836 | 2147483647    33872     28 |  0.942 % |
66.31/66.40	c |    192922 |    1371     5677    16836 | 2147483647    34592     28 |  0.939 % |
66.81/66.81	c |    193714 |    1371     5677    16836 | 2147483647    35384     29 |  0.939 % |
67.22/67.26	c |    194586 |    1371     5677    16836 | 2147483647    36256     29 |  0.939 % |
67.51/67.55	c |    195546 |    1371     5677    16836 | 2147483647    37216     29 |  0.942 % |
68.01/68.07	c |    196600 |    1371     5677    16836 | 2147483647    38270     30 |  0.942 % |
68.41/68.41	c |    197760 |    1371     5677    16836 | 2147483647    39430     29 |  0.939 % |
68.61/68.65	c |    199034 |    1371     5677    16836 | 2147483647    40704     29 |  0.939 % |
68.81/68.89	c |    200434 |    1371     5677    16836 |    41670    36413     28 |  0.942 % |
69.81/69.88	c |    201974 |    1371     5677    16836 |    41670    37953     28 |  0.939 % |
70.71/70.75	c |    203670 |    1371     5677    16836 |    41670    39649     29 |  0.939 % |
71.81/71.83	c |    205533 |    1371     5677    16836 |    41670    41512     30 |  0.939 % |
72.31/72.38	c |    207584 |    1371     5677    16836 |    41670    35008     29 |  0.942 % |
72.41/72.41	c |    207685 |    1371     5677    16836 |    41670    35109     29 |  0.942 % |
72.41/72.43	c |    207797 |    1371     5677    16836 |    41670    35221     29 |  0.939 % |
72.41/72.45	c |    207918 |    1371     5677    16836 |    41670    35342     29 |  0.940 % |
72.51/72.53	c |    208053 |    1371     5677    16836 |    41670    35477     29 |  0.942 % |
72.61/72.64	c |    208200 |    1371     5677    16836 |    41670    35624     29 |  0.939 % |
72.72/72.73	c |    208360 |    1371     5677    16836 |    41670    35784     29 |  0.942 % |
72.81/72.82	c |    208538 |    1371     5677    16836 |    41670    35962     29 |  0.939 % |
72.81/72.89	c |    208733 |    1371     5677    16836 |    41670    36157     29 |  0.942 % |
72.91/72.98	c |    208945 |    1371     5677    16836 |    41670    36369     29 |  0.941 % |
73.01/73.09	c |    209178 |    1371     5677    16836 |    41670    36602     29 |  0.939 % |
73.21/73.22	c |    209434 |    1371     5677    16836 |    41670    36858     29 |  0.939 % |
73.31/73.40	c |    209715 |    1371     5677    16836 |    41670    37139     29 |  0.939 % |
73.51/73.58	c |    210026 |    1371     5677    16836 |    37425    37450     29 |  0.939 % |
73.61/73.68	c |    210366 |    1371     5677    16836 |    37425    30317     27 |  0.942 % |
73.71/73.80	c |    210740 |    1371     5677    16836 |    37425    30691     27 |  0.939 % |
73.91/73.94	c |    211151 |    1371     5677    16836 |    37425    31102     27 |  0.939 % |
74.01/74.04	c |    211601 |    1371     5677    16836 |    37425    31552     27 |  0.939 % |
74.21/74.28	c |    212094 |    1371     5677    16836 |    37425    32045     28 |  0.940 % |
74.31/74.39	c |    212637 |    1371     5677    16836 |    37425    32588     28 |  0.939 % |
74.61/74.66	c |    213233 |    1371     5677    16836 |    37425    33184     28 |  0.939 % |
74.81/74.91	c |    213889 |    1371     5677    16836 |    37425    33840     28 |  0.939 % |
75.31/75.40	c |    214609 |    1371     5677    16836 |    37425    34560     28 |  0.940 % |
75.61/75.63	c |    215401 |    1371     5677    16836 |    37425    35352     28 |  0.939 % |
75.91/75.99	c |    216272 |    1371     5677    16836 |    37425    36223     29 |  0.939 % |
76.31/76.35	c |    217230 |    1371     5677    16836 |    37425    37181     28 |  0.939 % |
76.81/76.91	c |    218283 |    1371     5677    16836 |    37425    32600     27 |  0.942 % |
77.41/77.43	c |    219441 |    1371     5677    16836 |    37425    33758     27 |  0.939 % |
77.91/77.98	c |    220714 |    1371     5677    16836 |    34318    30382     27 |  0.939 % |
78.51/78.56	c |    222114 |    1371     5677    16836 |    34318    31782     27 |  0.939 % |
79.21/79.29	c |    223654 |    1371     5677    16836 |    34318    33322     28 |  0.939 % |
79.91/80.01	c |    225349 |    1371     5677    16836 |    34318    31572     27 |  0.939 % |
80.61/80.64	c |    227214 |    1371     5677    16836 |    34318    33437     27 |  0.939 % |
81.52/81.54	c |    229263 |    1371     5677    16836 |    34318    31955     26 |  0.939 % |
82.81/82.81	c |    231517 |    1371     5677    16836 | 2147483647    34209     26 |  0.939 % |
82.81/82.85	c |    231617 |    1371     5677    16836 | 2147483647    34309     27 |  0.941 % |
82.81/82.90	c |    231730 |    1371     5677    16836 | 2147483647    34422     27 |  0.940 % |
82.91/82.97	c |    231851 |    1371     5677    16836 | 2147483647    34543     27 |  0.942 % |
83.01/83.04	c |    231986 |    1371     5677    16836 | 2147483647    34678     27 |  0.939 % |
83.11/83.13	c |    232133 |    1371     5677    16836 | 2147483647    34825     27 |  0.939 % |
83.11/83.18	c |    232295 |    1371     5677    16836 | 2147483647    34987     27 |  0.939 % |
83.21/83.26	c |    232472 |    1371     5677    16836 | 2147483647    35164     27 |  0.939 % |
83.41/83.43	c |    232665 |    1371     5677    16836 | 2147483647    35357     27 |  0.939 % |
83.51/83.60	c |    232878 |    1371     5677    16836 | 2147483647    35570     27 |  0.939 % |
83.61/83.68	c |    233112 |    1371     5677    16836 | 2147483647    35804     27 |  0.939 % |
83.61/83.71	c |    233370 |    1371     5677    16836 | 2147483647    36062     27 |  0.939 % |
83.81/83.85	c |    233651 |    1371     5677    16836 | 2147483647    36343     27 |  0.939 % |
83.91/83.97	c |    233962 |    1371     5677    16836 | 2147483647    36654     27 |  0.939 % |
84.11/84.11	c |    234302 |    1371     5677    16836 | 2147483647    36994     27 |  0.939 % |
84.21/84.26	c |    234675 |    1371     5677    16836 | 2147483647    37367     27 |  0.939 % |
84.41/84.41	c |    235084 |    1371     5677    16836 | 2147483647    37776     27 |  0.939 % |
84.51/84.53	c |    235535 |    1371     5677    16836 | 2147483647    38227     27 |  0.942 % |
84.72/84.73	c |    236028 |    1371     5677    16836 | 2147483647    38720     27 |  0.939 % |
84.92/84.92	c |    236570 |    1371     5677    16836 | 2147483647    39262     28 |  0.942 % |
85.11/85.11	c |    237167 |    1371     5677    16836 | 2147483647    39859     28 |  0.942 % |
85.31/85.36	c |    237822 |    1371     5677    16836 | 2147483647    40514     28 |  0.939 % |
85.72/85.77	c |    238542 |    1371     5677    16836 | 2147483647    41234     28 |  0.939 % |
85.82/85.88	c |    239335 |    1371     5677    16836 | 2147483647    42027     28 |  0.939 % |
86.32/86.41	c |    240207 |    1371     5677    16836 |    42692    42899     28 |  0.939 % |
86.92/86.98	c |    241165 |    1371     5677    16836 |    42692    37298     26 |  0.942 % |
87.52/87.54	c |    242219 |    1371     5677    16836 |    42692    38352     27 |  0.939 % |
88.22/88.27	c |    243377 |    1371     5677    16836 |    42692    39510     27 |  0.939 % |
89.02/89.09	c |    244652 |    1371     5677    16836 |    42692    40785     27 |  0.939 % |
90.02/90.07	c |    246053 |    1371     5677    16836 |    42692    42186     27 |  0.939 % |
90.52/90.61	c |    247594 |    1371     5677    16836 |    42692    35939     27 |  0.941 % |
91.32/91.32	c |    249289 |    1371     5677    16836 |    42692    37634     27 |  0.942 % |
92.32/92.36	c |    251152 |    1371     5677    16836 |    38348    32552     25 |  0.939 % |
93.52/93.57	c |    253201 |    1371     5677    16836 |    38348    34601     26 |  0.939 % |
94.72/94.73	c |    255455 |    1371     5677    16836 |    38348    36855     27 |  0.939 % |
96.12/96.14	c |    257933 |    1371     5677    16836 |    38348    32994     26 |  0.939 % |
96.12/96.19	c |    258033 |    1371     5677    16836 |    38348    33094     26 |  0.939 % |
96.12/96.21	c |    258144 |    1371     5677    16836 |    38348    33205     26 |  0.940 % |
96.22/96.23	c |    258265 |    1371     5677    16836 |    38348    33326     26 |  0.939 % |
96.22/96.31	c |    258398 |    1371     5677    16836 |    38348    33459     26 |  0.940 % |
96.32/96.37	c |    258546 |    1371     5677    16836 |    38348    33607     26 |  0.939 % |
96.32/96.41	c |    258706 |    1371     5677    16836 |    38348    33767     27 |  0.943 % |
96.42/96.47	c |    258882 |    1371     5677    16836 |    38348    33943     27 |  0.939 % |
96.52/96.56	c |    259075 |    1371     5677    16836 |    38348    34136     27 |  0.939 % |
96.62/96.68	c |    259288 |    1371     5677    16836 |    38348    34349     27 |  0.943 % |
96.72/96.80	c |    259521 |    1371     5677    16836 |    38348    34582     27 |  0.942 % |
96.82/96.87	c |    259778 |    1371     5677    16836 |    38348    34839     27 |  0.939 % |
96.92/96.99	c |    260060 |    1371     5677    16836 |    35061    35121     27 |  0.939 % |
97.12/97.17	c |    260369 |    1371     5677    16836 |    35061    29675     26 |  0.943 % |
97.22/97.29	c |    260709 |    1371     5677    16836 |    35061    30015     26 |  0.939 % |
97.42/97.50	c |    261082 |    1371     5677    16836 |    35061    30388     26 |  0.939 % |
97.62/97.67	c |    261493 |    1371     5677    16836 |    35061    30799     27 |  0.939 % |
97.82/97.90	c |    261942 |    1371     5677    16836 |    35061    31248     27 |  0.939 % |
98.02/98.04	c |    262436 |    1371     5677    16836 |    35061    31742     27 |  0.939 % |
98.22/98.24	c |    262978 |    1371     5677    16836 |    35061    32284     27 |  0.939 % |
98.42/98.43	c |    263575 |    1371     5677    16836 |    35061    32881     27 |  0.942 % |
98.52/98.61	c |    264230 |    1371     5677    16836 |    35061    33536     27 |  0.942 % |
98.82/98.88	c |    264952 |    1371     5677    16836 |    35061    34258     27 |  0.939 % |
99.22/99.28	c |    265746 |    1371     5677    16836 |    35061    35052     28 |  0.939 % |
99.72/99.72	c |    266617 |    1371     5677    16836 |    35061    30725     26 |  0.939 % |
100.22/100.30	c |    267575 |    1371     5677    16836 |    35061    31683     26 |  0.939 % |
100.42/100.50	c |    268628 |    1371     5677    16836 |    35061    32736     27 |  0.942 % |
101.02/101.02	c |    269786 |    1371     5677    16836 |    35061    33894     28 |  0.939 % |
101.52/101.60	c |    271060 |    1371     5677    16836 |    34108    29975     27 |  0.939 % |
101.92/101.91	c |    272464 |    1371     5677    16836 |    34108    31379     27 |  0.942 % |
102.62/102.62	c |    274004 |    1371     5677    16836 |    34108    32919     28 |  0.939 % |
103.02/103.06	c |    275698 |    1371     5677    16836 |    34108    34613     29 |  0.942 % |
103.82/103.85	c |    277563 |    1371     5677    16836 |    34108    30755     28 |  0.939 % |
104.22/104.29	c |    279612 |    1371     5677    16836 |    34108    32804     29 |  0.939 % |
105.02/105.07	c |    281865 |    1371     5677    16836 |    33194    29596     28 |  0.939 % |
105.62/105.65	c |    284346 |    1371     5677    16836 |    33194    32077     28 |  0.942 % |
106.82/106.84	c |    287072 |    1371     5677    16836 |    33194    30014     28 |  0.943 % |
106.82/106.86	c |    287173 |    1371     5677    16836 |    33194    30115     28 |  0.941 % |
106.82/106.87	c |    287283 |    1371     5677    16836 |    33194    30225     28 |  0.939 % |
106.92/106.93	c |    287404 |    1371     5677    16836 |    33194    30346     28 |  0.939 % |
106.92/106.98	c |    287538 |    1371     5677    16836 |    33194    30480     28 |  0.942 % |
106.92/107.01	c |    287686 |    1371     5677    16836 |    33194    30628     28 |  0.942 % |
107.02/107.07	c |    287848 |    1371     5677    16836 |    33194    30790     28 |  0.942 % |
107.02/107.10	c |    288024 |    1371     5677    16836 |    33194    30966     28 |  0.939 % |
107.12/107.14	c |    288217 |    1371     5677    16836 |    33194    31159     28 |  0.940 % |
107.22/107.22	c |    288430 |    1370     5673    16820 |    33194    31362     28 |  1.012 % |
107.32/107.34	c |    288663 |    1370     5673    16820 |    33194    31595     28 |  1.012 % |
107.32/107.41	c |    288919 |    1370     5673    16820 |    33194    31851     28 |  1.012 % |
107.52/107.53	c |    289200 |    1370     5673    16820 |    33194    32132     28 |  1.012 % |
107.62/107.66	c |    289509 |    1370     5673    16820 |    33194    32441     28 |  1.012 % |
107.72/107.74	c |    289848 |    1370     5673    16820 |    33194    32780     29 |  1.014 % |
107.82/107.89	c |    290220 |    1370     5673    16820 |    32932    33152     29 |  1.012 % |
108.02/108.03	c |    290629 |    1370     5673    16820 |    32932    28596     27 |  1.012 % |
108.12/108.15	c |    291078 |    1370     5673    16820 |    32932    29045     27 |  1.012 % |
108.22/108.25	c |    291571 |    1370     5673    16820 |    32932    29538     27 |  1.014 % |
108.42/108.48	c |    292114 |    1370     5673    16820 |    32932    30081     27 |  1.012 % |
108.72/108.78	c |    292710 |    1370     5673    16820 |    32932    30677     28 |  1.014 % |
109.02/109.10	c |    293365 |    1370     5673    16820 |    32932    31332     28 |  1.012 % |
109.42/109.43	c |    294086 |    1370     5673    16820 |    32932    32053     28 |  1.012 % |
109.42/109.51	c |    294880 |    1370     5673    16820 |    32932    32847     28 |  1.013 % |
110.12/110.12	c |    295753 |    1370     5673    16820 |    32932    28894     26 |  1.012 % |
110.42/110.47	c |    296711 |    1370     5673    16820 |    32932    29852     27 |  1.012 % |
111.02/111.04	c |    297765 |    1370     5673    16820 |    32932    30906     27 |  1.012 % |
111.52/111.56	c |    298923 |    1370     5673    16820 |    32932    32064     27 |  1.014 % |
112.12/112.19	c |    300198 |    1370     5673    16820 |    33143    33339     28 |  1.012 % |
112.72/112.76	c |    301598 |    1370     5673    16820 |    33143    30315     26 |  1.014 % |
113.12/113.21	c |    303139 |    1370     5673    16820 |    33143    31856     27 |  1.014 % |
113.82/113.89	c |    304833 |    1370     5673    16820 |    33143    33550     27 |  1.012 % |
114.62/114.69	c |    306698 |    1370     5673    16820 |    33143    31118     27 |  1.012 % |
115.82/115.83	c |    308747 |    1370     5673    16820 |    33143    33167     28 |  1.012 % |
116.52/116.56	c |    311000 |    1370     5673    16820 |    30280    28183     25 |  1.012 % |
117.12/117.16	c |    313479 |    1370     5673    16820 |    30280    30662     26 |  1.013 % |
118.02/118.02	c |    316204 |    1370     5673    16820 |    30280    29500     26 |  1.012 % |
119.42/119.45	c |    319201 |    1370     5673    16820 |    30280    29326     26 |  1.012 % |
119.42/119.48	c |    319303 |    1370     5673    16820 |    30280    29428     26 |  1.012 % |
119.52/119.51	c |    319414 |    1370     5673    16820 |    30280    29539     26 |  1.012 % |
119.52/119.56	c |    319537 |    1370     5673    16820 |    30280    29662     26 |  1.012 % |
119.62/119.62	c |    319671 |    1370     5673    16820 |    30280    29796     26 |  1.014 % |
119.62/119.69	c |    319819 |    1370     5673    16820 |    30280    29944     26 |  1.012 % |
119.72/119.77	c |    319980 |    1370     5673    16820 |    30280    30105     26 |  1.014 % |
119.82/119.85	c |    320157 |    1370     5673    16820 | 2147483647    30282     26 |  1.012 % |
119.92/119.96	c |    320350 |    1370     5673    16820 | 2147483647    30475     26 |  1.012 % |
119.92/120.01	c |    320562 |    1370     5673    16820 | 2147483647    30687     26 |  1.012 % |
120.02/120.05	c |    320795 |    1370     5673    16820 | 2147483647    30920     26 |  1.014 % |
120.12/120.16	c |    321051 |    1370     5673    16820 | 2147483647    31176     26 |  1.012 % |
120.12/120.18	c |    321335 |    1370     5673    16820 | 2147483647    31460     26 |  1.012 % |
120.32/120.40	c |    321644 |    1370     5673    16820 | 2147483647    31769     26 |  1.012 % |
120.52/120.54	c |    321985 |    1370     5673    16820 | 2147483647    32110     27 |  1.012 % |
120.62/120.65	c |    322357 |    1370     5673    16820 | 2147483647    32482     27 |  1.015 % |
120.82/120.82	c |    322767 |    1370     5673    16820 | 2147483647    32892     27 |  1.012 % |
121.02/121.02	c |    323216 |    1370     5673    16820 | 2147483647    33341     27 |  1.012 % |
121.22/121.23	c |    323710 |    1370     5673    16820 | 2147483647    33835     27 |  1.012 % |
121.42/121.47	c |    324253 |    1370     5673    16820 | 2147483647    34378     27 |  1.012 % |
121.72/121.73	c |    324850 |    1370     5673    16820 | 2147483647    34975     27 |  1.012 % |
121.92/121.98	c |    325505 |    1370     5673    16820 | 2147483647    35630     27 |  1.012 % |
122.22/122.23	c |    326225 |    1370     5673    16820 | 2147483647    36350     28 |  1.014 % |
122.52/122.53	c |    327017 |    1370     5673    16820 | 2147483647    37142     28 |  1.012 % |
122.62/122.70	c |    327889 |    1370     5673    16820 | 2147483647    38014     28 |  1.012 % |
122.72/122.80	c |    328848 |    1370     5673    16820 | 2147483647    38973     27 |  1.012 % |
123.32/123.34	c |    329901 |    1370     5673    16820 | 2147483647    40026     28 |  1.012 % |
124.12/124.12	c |    331060 |    1370     5673    16820 |    40125    36440     27 |  1.012 % |
124.62/124.71	c |    332334 |    1370     5673    16820 |    40125    37714     27 |  1.014 % |
125.32/125.33	c |    333735 |    1370     5673    16820 |    40125    39115     28 |  1.014 % |
126.22/126.27	c |    335277 |    1370     5673    16820 |    40125    34263     27 |  1.014 % |
127.02/127.11	c |    336971 |    1370     5673    16820 |    40125    35957     28 |  1.012 % |
127.92/127.98	c |    338834 |    1370     5673    16820 |    40125    37820     28 |  1.012 % |
128.92/128.97	c |    340886 |    1370     5673    16820 |    38986    33847     27 |  1.012 % |
129.82/129.91	c |    343141 |    1370     5673    16820 |    38986    36102     27 |  1.012 % |
131.62/131.68	c |    345619 |    1370     5673    16820 |    38986    38580     28 |  1.012 % |
133.12/133.18	c |    348344 |    1370     5673    16820 |    38986    35353     27 |  1.012 % |
135.02/135.09	c |    351343 |    1370     5673    16820 |    37010    32351     27 |  1.012 % |
136.82/136.83	c |    354640 |    1370     5673    16820 |    37010    35648     28 |  1.012 % |
136.82/136.87	c |    354740 |    1370     5673    16820 |    37010    35748     28 |  1.012 % |
136.92/136.94	c |    354851 |    1370     5673    16820 |    37010    35859     28 |  1.012 % |
136.92/136.99	c |    354973 |    1370     5673    16820 |    37010    35981     28 |  1.012 % |
137.02/137.04	c |    355107 |    1370     5673    16820 |    37010    36115     28 |  1.012 % |
137.02/137.07	c |    355253 |    1370     5673    16820 |    37010    36261     28 |  1.014 % |
137.12/137.14	c |    355414 |    1370     5673    16820 |    37010    36422     28 |  1.012 % |
137.12/137.19	c |    355591 |    1370     5673    16820 |    37010    36599     28 |  1.012 % |
137.22/137.25	c |    355785 |    1370     5673    16820 |    37010    36793     28 |  1.015 % |
137.32/137.34	c |    355997 |    1370     5673    16820 |    37010    37005     28 |  1.012 % |
137.42/137.43	c |    356233 |    1370     5673    16820 |    37010    37241     28 |  1.012 % |
137.52/137.58	c |    356489 |    1370     5673    16820 |    37010    32268     27 |  1.012 % |
137.62/137.66	c |    356770 |    1370     5673    16820 |    37010    32549     27 |  1.012 % |
137.72/137.81	c |    357082 |    1370     5673    16820 |    37010    32861     27 |  1.012 % |
137.82/137.89	c |    357423 |    1370     5673    16820 |    37010    33202     27 |  1.012 % |
137.92/138.00	c |    357795 |    1370     5673    16820 |    37010    33574     27 |  1.014 % |
138.12/138.15	c |    358205 |    1370     5673    16820 |    37010    33984     27 |  1.014 % |
138.32/138.38	c |    358654 |    1370     5673    16820 |    37010    34433     27 |  1.012 % |
138.52/138.55	c |    359148 |    1370     5673    16820 |    37010    34927     28 |  1.012 % |
138.72/138.77	c |    359691 |    1370     5673    16820 |    37010    35470     28 |  1.014 % |
138.92/138.95	c |    360288 |    1370     5673    16820 |    35782    36067     27 |  1.012 % |
139.22/139.23	c |    360944 |    1370     5673    16820 |    35782    31659     26 |  1.012 % |
139.42/139.49	c |    361664 |    1370     5673    16820 |    35782    32379     27 |  1.012 % |
139.92/139.97	c |    362457 |    1370     5673    16820 |    35782    33172     27 |  1.012 % |
140.52/140.55	c |    363330 |    1370     5673    16820 |    35782    34045     27 |  1.012 % |
140.92/140.94	c |    364289 |    1370     5673    16820 |    35782    35004     27 |  1.014 % |
141.42/141.49	c |    365342 |    1370     5673    16820 |    35782    36057     28 |  1.012 % |
142.02/142.04	c |    366501 |    1370     5673    16820 |    35782    31971     27 |  1.012 % |
142.42/142.48	c |    367774 |    1370     5673    16820 |    35782    33244     27 |  1.014 % |
142.92/142.98	c |    369174 |    1370     5673    16820 |    35782    34644     27 |  1.012 % |
143.72/143.73	c |    370715 |    1370     5673    16820 |    35471    31130     25 |  1.012 % |
144.22/144.27	c |    372410 |    1370     5673    16820 |    35471    32825     25 |  1.012 % |
145.32/145.39	c |    374274 |    1370     5673    16820 |    35471    34689     26 |  1.012 % |
146.52/146.55	c |    376325 |    1370     5673    16820 |    35471    31722     26 |  1.012 % |
147.82/147.91	c |    378580 |    1370     5673    16820 |    35471    33977     26 |  1.012 % |
148.72/148.73	c |    381058 |    1370     5673    16820 |    35397    31921     25 |  1.012 % |
149.62/149.62	c |    383783 |    1370     5673    16820 |    35397    34646     26 |  1.012 % |
150.72/150.79	c |    386780 |    1370     5673    16820 |    35397    33624     26 |  1.012 % |
152.52/152.58	c |    390076 |    1370     5673    16820 |    32804    32878     26 |  1.012 % |
153.52/153.60	c |    393703 |    1370     5673    16820 |    32804    32781     27 |  1.015 % |
153.62/153.62	c |    393803 |    1370     5673    16820 |    32804    32881     27 |  1.012 % |
153.62/153.67	c |    393913 |    1370     5673    16820 |    32804    27434     25 |  1.012 % |
153.62/153.70	c |    394035 |    1370     5673    16820 |    32804    27556     25 |  1.012 % |
153.72/153.71	c |    394168 |    1370     5673    16820 |    32804    27689     25 |  1.012 % |
153.72/153.73	c |    394316 |    1370     5673    16820 |    32804    27837     25 |  1.012 % |
153.72/153.76	c |    394477 |    1370     5673    16820 |    32804    27998     25 |  1.012 % |
153.72/153.78	c |    394655 |    1370     5673    16820 |    32804    28176     25 |  1.012 % |
153.82/153.84	c |    394849 |    1370     5673    16820 |    32804    28370     25 |  1.012 % |
153.82/153.91	c |    395061 |    1370     5673    16820 |    32804    28582     25 |  1.012 % |
153.92/153.97	c |    395295 |    1370     5673    16820 |    32804    28816     26 |  1.015 % |
153.92/154.01	c |    395553 |    1370     5673    16820 |    32804    29074     26 |  1.012 % |
154.02/154.05	c |    395834 |    1370     5673    16820 |    32804    29355     26 |  1.012 % |
154.12/154.20	c |    396146 |    1370     5673    16820 |    32804    29667     26 |  1.012 % |
154.32/154.35	c |    396487 |    1370     5673    16820 |    32804    30008     26 |  1.012 % |
154.52/154.52	c |    396859 |    1370     5673    16820 |    32804    30380     26 |  1.012 % |
154.62/154.68	c |    397268 |    1370     5673    16820 |    32804    30789     26 |  1.012 % |
154.82/154.88	c |    397720 |    1370     5673    16820 |    32804    31241     26 |  1.012 % |
155.02/155.07	c |    398213 |    1370     5673    16820 |    32804    31734     26 |  1.012 % |
155.32/155.32	c |    398756 |    1370     5673    16820 |    32804    32277     26 |  1.012 % |
155.52/155.56	c |    399353 |    1370     5673    16820 |    32804    32874     27 |  1.012 % |
155.82/155.89	c |    400009 |    1370     5673    16820 |    28865    28874     26 |  1.012 % |
156.02/156.05	c |    400730 |    1370     5673    16820 |    28865    29595     26 |  1.013 % |
156.22/156.27	c |    401522 |    1370     5673    16820 |    28865    26152     26 |  1.012 % |
156.52/156.56	c |    402393 |    1370     5673    16820 |    28865    27023     26 |  1.014 % |
156.82/156.83	c |    403352 |    1370     5673    16820 |    28865    27982     26 |  1.012 % |
157.32/157.35	c |    404406 |    1370     5673    16820 |    28865    29036     26 |  1.012 % |
157.72/157.75	c |    405566 |    1370     5673    16820 |    28865    26710     26 |  1.012 % |
158.12/158.12	c |    406840 |    1370     5673    16820 |    28865    27984     26 |  1.014 % |
158.42/158.49	c |    408240 |    1370     5673    16820 |    28865    29384     27 |  1.012 % |
158.92/158.92	c |    409782 |    1370     5673    16820 |    28865    27520     25 |  1.012 % |
159.42/159.43	c |    411476 |    1370     5673    16820 | 2147483647    29214     27 |  1.012 % |
160.12/160.18	c |    413341 |    1370     5673    16820 | 2147483647    31079     27 |  1.012 % |
161.22/161.22	c |    415391 |    1370     5673    16820 | 2147483647    33129     27 |  1.012 % |
162.22/162.26	c |    417644 |    1370     5673    16820 | 2147483647    35382     28 |  1.012 % |
163.42/163.47	c |    420123 |    1370     5673    16820 |    37738    37861     28 |  1.012 % |
164.92/164.97	c |    422848 |    1370     5673    16820 |    37738    35894     27 |  1.012 % |
166.62/166.64	c |    425845 |    1370     5673    16820 |    37738    32064     26 |  1.012 % |
168.12/168.18	c |    429141 |    1370     5673    16820 |    37738    35360     28 |  1.012 % |
170.22/170.22	c |    432766 |    1370     5673    16820 |    36219    32416     26 |  1.012 % |
172.83/172.83	c |    436753 |    1370     5673    16820 |    36219    36403     26 |  1.012 % |
172.92/172.92	c |    436853 |    1370     5673    16820 |    36219    32219     25 |  1.014 % |
172.92/172.98	c |    436964 |    1370     5673    16820 |    36219    32330     25 |  1.012 % |
173.02/173.02	c |    437086 |    1370     5673    16820 |    36219    32452     25 |  1.013 % |
173.02/173.06	c |    437219 |    1370     5673    16820 |    36219    32585     25 |  1.014 % |
173.12/173.13	c |    437366 |    1370     5673    16820 |    36219    32732     25 |  1.012 % |
173.12/173.18	c |    437526 |    1370     5673    16820 |    36219    32892     25 |  1.012 % |
173.22/173.22	c |    437702 |    1370     5673    16820 |    36219    33068     26 |  1.014 % |
173.22/173.30	c |    437895 |    1370     5673    16820 |    36219    33261     26 |  1.014 % |
173.32/173.40	c |    438111 |    1370     5673    16820 |    36219    33477     26 |  1.012 % |
173.52/173.53	c |    438345 |    1370     5673    16820 |    36219    33711     26 |  1.012 % |
173.72/173.73	c |    438602 |    1370     5673    16820 |    36219    33968     26 |  1.012 % |
173.82/173.83	c |    438883 |    1370     5673    16820 |    36219    34249     26 |  1.012 % |
173.93/173.98	c |    439192 |    1370     5673    16820 |    36219    34558     26 |  1.012 % |
174.02/174.11	c |    439532 |    1370     5673    16820 |    36219    34898     26 |  1.012 % |
174.22/174.29	c |    439905 |    1370     5673    16820 |    36219    35271     26 |  1.012 % |
174.52/174.54	c |    440315 |    1370     5673    16820 |    35367    35681     26 |  1.012 % |
174.72/174.72	c |    440764 |    1370     5673    16820 |    35367    31209     25 |  1.012 % |
174.92/174.95	c |    441257 |    1370     5673    16820 |    35367    31702     25 |  1.015 % |
175.12/175.13	c |    441800 |    1370     5673    16820 |    35367    32245     26 |  1.012 % |
175.32/175.37	c |    442397 |    1370     5673    16820 |    35367    32842     26 |  1.012 % |
175.52/175.59	c |    443052 |    1370     5673    16820 |    35367    33497     26 |  1.012 % |
175.72/175.74	c |    443772 |    1370     5673    16820 |    35367    34217     26 |  1.014 % |
175.92/175.93	c |    444564 |    1370     5673    16820 |    35367    35009     26 |  1.012 % |
176.02/176.10	c |    445435 |    1370     5673    16820 |    35367    35880     26 |  1.014 % |
176.32/176.35	c |    446393 |    1370     5673    16820 |    35367    32759     26 |  1.012 % |
176.72/176.80	c |    447446 |    1370     5673    16820 |    35367    33812     26 |  1.012 % |
177.23/177.28	c |    448604 |    1370     5673    16820 |    35367    34970     26 |  1.012 % |
177.72/177.76	c |    449878 |    1370     5673    16820 |    35367    32082     25 |  1.012 % |
178.33/178.32	c |    451279 |    1370     5673    16820 |    32206    29480     24 |  1.012 % |
178.92/178.93	c |    452819 |    1370     5673    16820 |    32206    31020     25 |  1.015 % |
179.72/179.77	c |    454513 |    1370     5673    16820 |    32206    29324     24 |  1.012 % |
180.53/180.56	c |    456377 |    1370     5673    16820 |    32206    31188     25 |  1.012 % |
181.22/181.22	c |    458426 |    1370     5673    16820 |    32206    29614     25 |  1.012 % |
182.22/182.21	c |    460680 |    1370     5673    16820 |    31189    28345     24 |  1.012 % |
183.32/183.31	c |    463158 |    1370     5673    16820 |    31189    30823     25 |  1.012 % |
184.52/184.56	c |    465883 |    1370     5673    16820 |    31189    30332     25 |  1.012 % |
185.92/185.97	c |    468880 |    1370     5673    16820 |    31189    30161     25 |  1.012 % |
187.82/187.82	c |    472176 |    1370     5673    16820 | 2147483647    33457     26 |  1.012 % |
189.82/189.91	c |    475801 |    1370     5673    16820 | 2147483647    37082     26 |  1.012 % |
192.52/192.53	c |    479789 |    1370     5673    16820 | 2147483647    41070     27 |  1.012 % |
193.52/193.57	c |    484174 |    1370     5673    16820 |    41281    39409     25 |  1.012 % |
193.62/193.62	c |    484274 |    1370     5673    16820 |    41281    39509     25 |  1.014 % |
193.62/193.67	c |    484384 |    1370     5673    16820 |    41281    39619     25 |  1.012 % |
193.73/193.74	c |    484506 |    1370     5673    16820 |    41281    39741     25 |  1.012 % |
193.73/193.81	c |    484639 |    1370     5673    16820 |    41281    39874     25 |  1.014 % |
193.82/193.87	c |    484786 |    1370     5673    16820 |    41281    40021     25 |  1.012 % |
193.92/193.93	c |    484946 |    1370     5673    16820 |    41281    40181     25 |  1.012 % |
193.92/193.99	c |    485124 |    1370     5673    16820 |    41281    40359     26 |  1.012 % |
194.02/194.07	c |    485317 |    1370     5673    16820 |    41281    40552     25 |  1.012 % |
194.12/194.20	c |    485529 |    1370     5673    16820 |    41281    40764     26 |  1.012 % |
194.32/194.31	c |    485764 |    1370     5673    16820 |    41281    40999     26 |  1.014 % |
194.42/194.45	c |    486020 |    1370     5673    16820 |    41281    41255     26 |  1.014 % |
194.52/194.51	c |    486301 |    1370     5673    16820 |    41281    37388     25 |  1.012 % |
194.62/194.66	c |    486610 |    1370     5673    16820 |    41281    37697     25 |  1.012 % |
194.83/194.83	c |    486950 |    1370     5673    16820 |    41281    38037     25 |  1.012 % |
194.92/195.00	c |    487322 |    1370     5673    16820 |    41281    38409     25 |  1.012 % |
195.22/195.22	c |    487732 |    1370     5673    16820 |    41281    38819     25 |  1.012 % |
195.32/195.40	c |    488181 |    1370     5673    16820 |    41281    39268     25 |  1.012 % |
195.52/195.59	c |    488674 |    1370     5673    16820 |    41281    39761     25 |  1.012 % |
195.72/195.81	c |    489216 |    1370     5673    16820 |    41281    40303     26 |  1.012 % |
195.93/195.97	c |    489814 |    1370     5673    16820 |    41281    40901     26 |  1.012 % |
196.42/196.43	c |    490469 |    1370     5673    16820 |    41087    41556     26 |  1.012 % |
196.82/196.82	c |    491190 |    1370     5673    16820 |    41087    36648     25 |  1.012 % |
197.12/197.19	c |    491983 |    1370     5673    16820 |    41087    37441     25 |  1.012 % |
197.62/197.67	c |    492854 |    1370     5673    16820 |    41087    38312     25 |  1.012 % |
198.13/198.15	c |    493813 |    1370     5673    16820 |    41087    39271     26 |  1.012 % |
198.72/198.80	c |    494868 |    1370     5673    16820 |    41087    40326     26 |  1.012 % |
199.32/199.37	c |    496028 |    1370     5673    16820 |    41087    41486     26 |  1.012 % |
199.72/199.73	c |    497301 |    1370     5673    16820 |    41087    36761     25 |  1.013 % |
200.22/200.28	c |    498702 |    1370     5673    16820 |    41087    38162     26 |  1.014 % |
200.82/200.85	c |    500242 |    1370     5673    16820 |    39460    39702     26 |  1.012 % |
201.22/201.21	c |    501937 |    1370     5673    16820 |    39460    34995     25 |  1.012 % |
201.43/201.49	c |    503801 |    1370     5673    16820 |    39460    36859     24 |  1.012 % |
202.62/202.66	c |    505851 |    1370     5673    16820 |    39460    38909     25 |  1.012 % |
203.82/203.87	c |    508105 |    1370     5673    16820 |    39460    36608     26 |  1.012 % |
205.42/205.47	c |    510583 |    1370     5673    16820 |    38503    33632     26 |  1.012 % |
206.22/206.24	c |    513309 |    1370     5673    16820 |    38503    36358     27 |  1.014 % |
207.82/207.91	c |    516307 |    1370     5673    16820 |    38503    31968     26 |  1.012 % |
209.02/209.03	c |    519603 |    1370     5673    16820 |    38503    35264     27 |  1.012 % |
210.32/210.34	c |    523228 |    1370     5673    16820 |    35662    32994     26 |  1.012 % |
212.43/212.51	c |    527216 |    1370     5673    16820 |    35662    31981     27 |  1.012 % |
214.83/214.84	c |    531601 |    1370     5673    16820 |    34765    31640     27 |  1.012 % |
217.33/217.38	c |    536424 |    1370     5673    16820 |    34765    31768     26 |  1.012 % |
217.43/217.44	c |    536524 |    1370     5673    16820 |    34765    31868     26 |  1.012 % |
217.43/217.49	c |    536635 |    1370     5673    16820 |    34765    31979     26 |  1.012 % |
217.53/217.56	c |    536757 |    1370     5673    16820 |    34765    32101     26 |  1.012 % |
217.53/217.61	c |    536891 |    1370     5673    16820 |    34765    32235     26 |  1.012 % |
217.63/217.69	c |    537038 |    1370     5673    16820 |    34765    32382     26 |  1.012 % |
217.73/217.75	c |    537199 |    1370     5673    16820 |    34765    32543     26 |  1.014 % |
217.73/217.78	c |    537376 |    1370     5673    16820 |    34765    32720     26 |  1.012 % |
217.73/217.81	c |    537569 |    1370     5673    16820 |    34765    32913     26 |  1.012 % |
217.83/217.85	c |    537781 |    1370     5673    16820 |    34765    33125     26 |  1.012 % |
217.93/217.95	c |    538014 |    1370     5673    16820 |    34765    33358     26 |  1.014 % |
217.93/218.00	c |    538270 |    1370     5673    16820 |    34765    33614     27 |  1.014 % |
218.03/218.03	c |    538552 |    1370     5673    16820 |    34765    33896     27 |  1.012 % |
218.03/218.06	c |    538863 |    1370     5673    16820 |    34765    34207     26 |  1.012 % |
218.23/218.26	c |    539204 |    1370     5673    16820 |    34765    34548     27 |  1.013 % |
218.33/218.41	c |    539577 |    1370     5673    16820 |    34765    34921     27 |  1.012 % |
218.53/218.54	c |    539986 |    1370     5673    16820 |    34765    30907     26 |  1.014 % |
218.63/218.69	c |    540436 |    1370     5673    16820 |    30922    31357     26 |  1.015 % |
218.83/218.84	c |    540930 |    1370     5673    16820 |    30922    27703     25 |  1.012 % |
219.03/219.07	c |    541473 |    1370     5673    16820 |    30922    28246     25 |  1.012 % |
219.23/219.31	c |    542070 |    1370     5673    16820 |    30922    28843     25 |  1.012 % |
219.33/219.38	c |    542727 |    1370     5673    16820 |    30922    29500     25 |  1.012 % |
219.43/219.44	c |    543447 |    1370     5673    16820 |    30922    30220     24 |  1.012 % |
219.53/219.60	c |    544241 |    1370     5673    16820 |    30922    31014     24 |  1.012 % |
219.73/219.78	c |    545114 |    1370     5673    16820 |    30922    28786     24 |  1.012 % |
220.03/220.10	c |    546073 |    1370     5673    16820 |    30922    29745     24 |  1.012 % |
220.23/220.25	c |    547126 |    1370     5673    16820 |    30922    30798     24 |  1.012 % |
220.33/220.39	c |    548284 |    1370     5673    16820 |    30922    28854     23 |  1.012 % |
220.83/220.91	c |    549558 |    1370     5673    16820 |    30922    30128     24 |  1.012 % |
221.23/221.32	c |    550958 |    1370     5673    16820 | 2147483647    31528     24 |  1.012 % |
221.73/221.79	c |    552498 |    1370     5673    16820 | 2147483647    33068     25 |  1.012 % |
222.83/222.82	c |    554193 |    1370     5673    16820 | 2147483647    34763     25 |  1.012 % |
223.83/223.90	c |    556057 |    1370     5673    16820 | 2147483647    36627     25 |  1.012 % |
224.33/224.33	c |    558108 |    1370     5673    16820 | 2147483647    38678     26 |  1.012 % |
225.33/225.40	c |    560362 |    1370     5673    16820 |    40570    40932     27 |  1.015 % |
226.73/226.79	c |    562841 |    1370     5673    16820 |    40570    37484     26 |  1.012 % |
228.03/228.07	c |    565567 |    1370     5673    16820 |    40570    40210     26 |  1.012 % |
229.43/229.46	c |    568564 |    1370     5673    16820 |    40570    37083     26 |  1.013 % |
230.83/230.92	c |    571861 |    1370     5673    16820 |    38519    33951     26 |  1.014 % |
232.43/232.50	c |    575486 |    1370     5673    16820 |    38519    37576     27 |  1.012 % |
234.43/234.47	c |    579474 |    1370     5673    16820 |    38519    35634     26 |  1.012 % |
236.83/236.86	c |    583859 |    1370     5673    16820 |    36161    35089     26 |  1.012 % |
239.43/239.46	c |    588683 |    1370     5673    16820 |    36161    35578     26 |  1.012 % |
241.73/241.74	c |    593988 |    1370     5673    16820 |    32775    29928     26 |  1.012 % |
241.73/241.79	c |    594088 |    1370     5673    16820 |    32775    30028     26 |  1.012 % |
241.73/241.81	c |    594198 |    1370     5673    16820 |    32775    30138     26 |  1.014 % |
241.83/241.85	c |    594320 |    1370     5673    16820 |    32775    30260     26 |  1.012 % |
241.83/241.89	c |    594453 |    1370     5673    16820 |    32775    30393     26 |  1.012 % |
241.93/241.95	c |    594599 |    1370     5673    16820 |    32775    30539     26 |  1.012 % |
241.93/241.98	c |    594760 |    1370     5673    16820 |    32775    30700     26 |  1.014 % |
242.03/242.04	c |    594937 |    1370     5673    16820 |    32775    30877     26 |  1.014 % |
242.03/242.11	c |    595131 |    1370     5673    16820 |    32775    31071     26 |  1.012 % |
242.13/242.15	c |    595343 |    1370     5673    16820 |    32775    31283     26 |  1.012 % |
242.13/242.17	c |    595576 |    1370     5673    16820 |    32775    31516     26 |  1.012 % |
242.13/242.20	c |    595832 |    1370     5673    16820 |    32775    31772     26 |  1.014 % |
242.33/242.38	c |    596113 |    1370     5673    16820 |    32775    32053     26 |  1.012 % |
242.43/242.52	c |    596422 |    1370     5673    16820 |    32775    32362     26 |  1.012 % |
242.63/242.67	c |    596762 |    1370     5673    16820 |    32775    32702     27 |  1.012 % |
242.83/242.88	c |    597135 |    1370     5673    16820 |    32775    33075     27 |  1.012 % |
243.03/243.07	c |    597546 |    1370     5673    16820 |    32775    30179     26 |  1.012 % |
243.13/243.19	c |    597996 |    1370     5673    16820 |    32775    30629     26 |  1.014 % |
243.33/243.37	c |    598489 |    1370     5673    16820 |    32775    31122     26 |  1.012 % |
243.43/243.50	c |    599031 |    1370     5673    16820 |    32775    31664     26 |  1.012 % |
243.63/243.65	c |    599629 |    1370     5673    16820 |    32775    32262     27 |  1.014 % |
243.83/243.91	c |    600285 |    1370     5673    16820 |    32633    32918     27 |  1.012 % |
244.13/244.18	c |    601006 |    1370     5673    16820 |    32633    30083     27 |  1.012 % |
244.23/244.24	c |    601798 |    1370     5673    16820 |    32633    30875     27 |  1.012 % |
244.63/244.71	c |    602669 |    1370     5673    16820 |    32633    31746     27 |  1.012 % |
245.13/245.20	c |    603627 |    1370     5673    16820 |    32633    32704     27 |  1.012 % |
245.43/245.49	c |    604680 |    1370     5673    16820 |    32633    30229     26 |  1.012 % |
245.93/245.97	c |    605838 |    1370     5673    16820 |    32633    31387     27 |  1.014 % |
246.03/246.10	c |    607113 |    1370     5673    16820 |    32633    32662     26 |  1.012 % |
246.63/246.71	c |    608514 |    1370     5673    16820 |    32633    30797     26 |  1.012 % |
247.13/247.18	c |    610054 |    1370     5673    16820 | 2147483647    32337     26 |  1.012 % |
247.83/247.91	c |    611750 |    1370     5673    16820 | 2147483647    34033     27 |  1.012 % |
248.63/248.67	c |    613613 |    1370     5673    16820 | 2147483647    35896     27 |  1.012 % |
249.93/249.95	c |    615664 |    1370     5673    16820 | 2147483647    37947     28 |  1.012 % |
251.33/251.41	c |    617917 |    1370     5673    16820 | 2147483647    40200     28 |  1.012 % |
252.83/252.83	c |    620395 |    1370     5673    16820 |    42284    37650     27 |  1.012 % |
254.43/254.47	c |    623120 |    1370     5673    16820 |    42284    40375     28 |  1.012 % |
256.23/256.30	c |    626118 |    1370     5673    16820 |    42284    37461     27 |  1.012 % |
258.53/258.53	c |    629414 |    1370     5673    16820 |    42284    40757     28 |  1.012 % |
260.93/260.99	c |    633039 |    1370     5673    16820 |    41343    38426     27 |  1.012 % |
263.43/263.43	c |    637027 |    1370     5673    16820 |    41343    34991     25 |  1.015 % |
265.83/265.86	c |    641413 |    1370     5673    16820 |    37964    31814     25 |  1.015 % |
267.63/267.64	c |    646237 |    1370     5673    16820 |    37964    36638     27 |  1.012 % |
268.53/268.57	c |    651543 |    1370     5673    16820 |    33722    30302     25 |  1.012 % |
270.33/270.32	c |    657378 |    1370     5673    16820 |    33722    31483     29 |  1.012 % |
270.33/270.37	c |    657479 |    1370     5673    16820 |    33722    31584     29 |  1.012 % |
270.43/270.43	c |    657592 |    1370     5673    16820 |    33722    31697     29 |  1.014 % |
270.43/270.45	c |    657715 |    1370     5673    16820 |    33722    31820     29 |  1.013 % |
270.43/270.49	c |    657849 |    1370     5673    16820 |    33722    31954     29 |  1.012 % |
270.53/270.54	c |    657996 |    1370     5673    16820 |    33722    32101     29 |  1.012 % |
270.63/270.62	c |    658156 |    1370     5673    16820 |    33722    32261     29 |  1.012 % |
270.63/270.69	c |    658333 |    1370     5673    16820 |    33722    32438     29 |  1.012 % |
270.73/270.77	c |    658526 |    1370     5673    16820 |    33722    32631     29 |  1.012 % |
270.83/270.82	c |    658740 |    1370     5673    16820 |    33722    32845     29 |  1.014 % |
270.83/270.91	c |    658974 |    1370     5673    16820 |    33722    33079     29 |  1.012 % |
271.03/271.02	c |    659230 |    1370     5673    16820 |    33722    33335     29 |  1.012 % |
271.03/271.11	c |    659511 |    1370     5673    16820 |    33722    33616     29 |  1.014 % |
271.13/271.14	c |    659821 |    1370     5673    16820 |    33722    33926     29 |  1.014 % |
271.33/271.32	c |    660161 |    1370     5673    16820 |    29557    29718     29 |  1.012 % |
271.43/271.50	c |    660533 |    1370     5673    16820 |    29557    26118     28 |  1.012 % |
271.53/271.61	c |    660942 |    1370     5673    16820 |    29557    26527     29 |  1.012 % |
271.73/271.76	c |    661391 |    1370     5673    16820 |    29557    26976     29 |  1.013 % |
271.83/271.87	c |    661886 |    1370     5673    16820 |    29557    27471     29 |  1.012 % |
272.03/272.05	c |    662428 |    1370     5673    16820 |    29557    28013     29 |  1.012 % |
272.23/272.27	c |    663024 |    1370     5673    16820 |    29557    28609     29 |  1.012 % |
272.43/272.47	c |    663680 |    1370     5673    16820 |    29557    29265     29 |  1.014 % |
272.73/272.74	c |    664401 |    1370     5673    16820 |    29557    29986     29 |  1.014 % |
273.03/273.02	c |    665196 |    1370     5673    16820 |    29557    27299     28 |  1.012 % |
273.23/273.26	c |    666067 |    1370     5673    16820 |    29557    28170     29 |  1.014 % |
273.33/273.39	c |    667026 |    1370     5673    16820 |    29557    29129     28 |  1.014 % |
273.53/273.61	c |    668080 |    1370     5673    16820 |    29557    27201     28 |  1.012 % |
273.83/273.86	c |    669238 |    1370     5673    16820 |    29557    28359     28 |  1.012 % |
274.13/274.20	c |    670511 |    1370     5673    16820 | 2147483647    29632     28 |  1.012 % |
274.63/274.71	c |    671914 |    1370     5673    16820 | 2147483647    31035     28 |  1.014 % |
275.43/275.45	c |    673454 |    1370     5673    16820 | 2147483647    32575     28 |  1.015 % |
276.33/276.38	c |    675149 |    1370     5673    16820 | 2147483647    34270     29 |  1.012 % |
277.23/277.31	c |    677014 |    1370     5673    16820 | 2147483647    36135     29 |  1.012 % |
278.03/278.03	c |    679065 |    1370     5673    16820 | 2147483647    38186     30 |  1.014 % |
278.73/278.79	c |    681318 |    1370     5673    16820 |    39121    33271     28 |  1.014 % |
279.93/279.94	c |    683796 |    1370     5673    16820 |    39121    35749     29 |  1.012 % |
280.73/280.75	c |    686521 |    1370     5673    16820 |    39121    38474     29 |  1.012 % |
281.73/281.76	c |    689518 |    1370     5673    16820 |    39121    34634     28 |  1.012 % |
283.53/283.52	c |    692814 |    1370     5673    16820 |    35116    31552     28 |  1.012 % |
285.13/285.19	c |    696440 |    1370     5673    16820 |    35116    35178     29 |  1.014 % |
285.63/285.65	c |    700428 |    1370     5673    16820 |    31820    27250     25 |  1.012 % |
287.73/287.75	c |    704814 |    1370     5673    16820 |    31820    31636     28 |  1.012 % |
290.43/290.46	c |    709638 |    1370     5673    16820 |    31820    29939     27 |  1.012 % |
293.03/293.11	c |    714944 |    1370     5673    16820 | 2147483647    35245     28 |  1.012 % |
296.43/296.50	c |    720780 |    1370     5673    16820 | 2147483647    41081     28 |  1.012 % |
299.34/299.41	c |    727198 |    1370     5673    16820 | 2147483647    47499     27 |  1.012 % |
299.43/299.45	c |    727300 |    1370     5673    16820 | 2147483647    47601     27 |  1.012 % |
299.43/299.50	c |    727411 |    1370     5673    16820 | 2147483647    47712     27 |  1.012 % |
299.53/299.57	c |    727533 |    1370     5673    16820 | 2147483647    47834     27 |  1.012 % |
299.63/299.62	c |    727666 |    1370     5673    16820 | 2147483647    47967     27 |  1.014 % |
299.63/299.69	c |    727814 |    1370     5673    16820 | 2147483647    48115     27 |  1.012 % |
299.83/299.81	c |    727975 |    1370     5673    16820 | 2147483647    48276     27 |  1.012 % |
299.83/299.89	c |    728151 |    1370     5673    16820 | 2147483647    48452     28 |  1.014 % |
299.93/299.93	c |    728344 |    1370     5673    16820 | 2147483647    48645     28 |  1.012 % |
300.03/300.04	c |    728556 |    1370     5673    16820 | 2147483647    48857     28 |  1.012 % |
300.03/300.08	c |    728789 |    1370     5673    16820 | 2147483647    49090     28 |  1.012 % |
300.23/300.24	c |    729046 |    1370     5673    16820 | 2147483647    49347     28 |  1.012 % |
300.33/300.38	c |    729327 |    1370     5673    16820 | 2147483647    49628     28 |  1.012 % |
300.53/300.58	c |    729637 |    1370     5673    16820 | 2147483647    49938     28 |  1.012 % |
300.83/300.85	c |    729977 |    1370     5673    16820 | 2147483647    50278     28 |  1.014 % |
300.93/301.00	c |    730350 |    1370     5673    16820 |    50301    50651     28 |  1.012 % |
301.23/301.25	c |    730759 |    1370     5673    16820 |    50301    43544     26 |  1.012 % |
301.43/301.49	c |    731208 |    1370     5673    16820 |    50301    43993     26 |  1.012 % |
301.73/301.80	c |    731701 |    1370     5673    16820 |    50301    44486     26 |  1.012 % |
301.93/301.96	c |    732243 |    1370     5673    16820 |    50301    45028     26 |  1.014 % |
302.23/302.28	c |    732839 |    1370     5673    16820 |    50301    45624     26 |  1.015 % |
302.43/302.48	c |    733496 |    1370     5673    16820 |    50301    46281     26 |  1.012 % |
302.83/302.91	c |    734217 |    1370     5673    16820 |    50301    47002     27 |  1.012 % |
303.43/303.51	c |    735009 |    1370     5673    16820 |    50301    47794     27 |  1.012 % |
303.74/303.73	c |    735880 |    1370     5673    16820 |    50301    48665     27 |  1.014 % |
304.43/304.49	c |    736839 |    1370     5673    16820 |    50301    49624     27 |  1.012 % |
305.03/305.07	c |    737894 |    1370     5673    16820 |    50301    50679     28 |  1.012 % |
306.03/306.03	c |    739054 |    1370     5673    16820 |    50301    41037     26 |  1.012 % |
306.33/306.32	c |    740327 |    1370     5673    16820 |    41984    42310     27 |  1.014 % |
307.13/307.12	c |    741727 |    1370     5673    16820 |    41984    34699     25 |  1.012 % |
307.83/307.88	c |    743267 |    1370     5673    16820 |    41984    36239     25 |  1.012 % |
308.73/308.77	c |    744962 |    1370     5673    16820 |    41984    37934     26 |  1.014 % |
309.93/309.92	c |    746827 |    1370     5673    16820 |    41984    39799     26 |  1.012 % |
311.03/311.02	c |    748877 |    1370     5673    16820 |    41984    41849     26 |  1.012 % |
312.03/312.07	c |    751130 |    1370     5673    16820 |    36188    31940     26 |  1.012 % |
313.03/313.09	c |    753610 |    1370     5673    16820 |    36188    34420     27 |  1.012 % |
313.73/313.77	c |    756335 |    1370     5673    16820 |    36188    33293     26 |  1.012 % |
315.43/315.43	c |    759332 |    1370     5673    16820 |    36188    36290     27 |  1.012 % |
317.23/317.29	c |    762628 |    1370     5673    16820 | 2147483647    35957     26 |  1.012 % |
318.93/318.95	c |    766255 |    1370     5673    16820 | 2147483647    39584     27 |  1.012 % |
321.53/321.58	c |    770242 |    1370     5673    16820 |    43329    43571     27 |  1.012 % |
324.13/324.12	c |    774627 |    1370     5673    16820 |    43329    42202     27 |  1.012 % |
327.63/327.70	c |    779451 |    1370     5673    16820 |    43329    40214     27 |  1.012 % |
330.03/330.12	c |    784756 |    1370     5673    16820 |    40765    39054     28 |  1.012 % |
333.23/333.30	c |    790591 |    1370     5673    16820 |    37702    38293     27 |  1.012 % |
334.93/334.93	c |    797009 |    1370     5673    16820 |    37702    38374     30 |  1.014 % |
337.23/337.28	c |    804068 |    1370     5673    16820 |    32698    30363     28 |  1.014 % |
337.23/337.31	c |    804169 |    1370     5673    16820 |    32698    30464     28 |  1.012 % |
337.33/337.34	c |    804279 |    1370     5673    16820 |    32698    30574     28 |  1.012 % |
337.33/337.38	c |    804401 |    1370     5673    16820 |    32698    30696     28 |  1.012 % |
337.43/337.46	c |    804534 |    1370     5673    16820 |    32698    30829     28 |  1.012 % |
337.43/337.49	c |    804681 |    1370     5673    16820 |    32698    30976     28 |  1.014 % |
337.53/337.55	c |    804842 |    1370     5673    16820 |    32698    31137     28 |  1.012 % |
337.63/337.66	c |    805018 |    1370     5673    16820 |    32698    31313     28 |  1.012 % |
337.73/337.73	c |    805212 |    1370     5673    16820 |    32698    31507     28 |  1.015 % |
337.84/337.83	c |    805424 |    1370     5673    16820 |    32698    31719     28 |  1.012 % |
337.93/337.93	c |    805657 |    1370     5673    16820 |    32698    31952     28 |  1.012 % |
338.03/338.04	c |    805914 |    1370     5673    16820 |    32698    32209     29 |  1.012 % |
338.13/338.17	c |    806195 |    1370     5673    16820 |    32698    32490     29 |  1.012 % |
338.33/338.33	c |    806504 |    1370     5673    16820 |    32698    32799     28 |  1.012 % |
338.43/338.48	c |    806845 |    1370     5673    16820 |    32698    28025     28 |  1.012 % |
338.64/338.63	c |    807217 |    1370     5673    16820 |    32698    28397     28 |  1.012 % |
338.74/338.74	c |    807626 |    1370     5673    16820 |    32698    28806     29 |  1.012 % |
338.74/338.82	c |    808075 |    1370     5673    16820 |    32698    29255     28 |  1.012 % |
338.94/338.94	c |    808570 |    1370     5673    16820 |    32698    29750     29 |  1.012 % |
339.14/339.16	c |    809112 |    1370     5673    16820 |    32698    30292     29 |  1.012 % |
339.44/339.44	c |    809709 |    1370     5673    16820 |    32698    30889     29 |  1.012 % |
339.64/339.67	c |    810364 |    1370     5673    16820 |    31181    31544     29 |  1.012 % |
339.94/339.95	c |    811084 |    1370     5673    16820 |    31181    27297     29 |  1.014 % |
340.04/340.11	c |    811876 |    1370     5673    16820 |    31181    28089     29 |  1.014 % |
340.24/340.30	c |    812747 |    1370     5673    16820 |    31181    28960     29 |  1.012 % |
340.74/340.80	c |    813706 |    1370     5673    16820 |    31181    29919     29 |  1.014 % |
341.24/341.27	c |    814760 |    1370     5673    16820 |    31181    30973     29 |  1.012 % |
341.74/341.78	c |    815919 |    1370     5673    16820 |    31181    28508     27 |  1.012 % |
342.14/342.14	c |    817192 |    1370     5673    16820 |    31181    29781     27 |  1.012 % |
342.84/342.85	c |    818592 |    1370     5673    16820 |    31181    31181     27 |  1.012 % |
343.54/343.53	c |    820132 |    1370     5673    16820 |    29117    29246     26 |  1.012 % |
344.14/344.16	c |    821826 |    1370     5673    16820 |    29117    27554     26 |  1.014 % |
344.84/344.85	c |    823690 |    1370     5673    16820 |    29117    29418     27 |  1.012 % |
345.84/345.83	c |    825739 |    1370     5673    16820 |    29117    28521     27 |  1.012 % |
346.54/346.56	c |    827993 |    1370     5673    16820 |    29117    27816     27 |  1.012 % |
347.54/347.54	c |    830473 |    1370     5673    16820 | 2147483647    27319     28 |  1.012 % |
348.44/348.52	c |    833200 |    1370     5673    16820 | 2147483647    30046     28 |  1.014 % |
349.74/349.80	c |    836198 |    1370     5673    16820 | 2147483647    33044     28 |  1.012 % |
351.54/351.60	c |    839494 |    1370     5673    16820 | 2147483647    36340     29 |  1.012 % |
353.54/353.58	c |    843120 |    1370     5673    16820 |    36846    35562     28 |  1.012 % |
355.24/355.31	c |    847108 |    1370     5673    16820 |    36846    34767     28 |  1.012 % |
357.54/357.60	c |    851495 |    1370     5673    16820 |    33386    31127     26 |  1.012 % |
358.44/358.46	c |    856319 |    1370     5673    16820 |    33386    32606     24 |  1.012 % |
361.04/361.09	c |    861624 |    1370     5673    16820 | 2147483647    34524     27 |  1.012 % |
364.14/364.15	c |    867459 |    1370     5673    16820 | 2147483647    40359     30 |  1.012 % |
367.84/367.90	c |    873878 |    1370     5673    16820 |    42900    40597     30 |  1.012 % |
372.24/372.24	c |    880938 |    1370     5673    16820 |    39622    34002     32 |  1.012 % |
375.94/375.98	c |    888703 |    1370     5673    16820 |    39622    37704     30 |  1.013 % |
376.04/376.03	c |    888805 |    1370     5673    16820 |    39622    37806     30 |  1.012 % |
376.04/376.06	c |    888918 |    1370     5673    16820 |    39622    37919     30 |  1.012 % |
376.04/376.10	c |    889039 |    1370     5673    16820 |    39622    38040     30 |  1.012 % |
376.14/376.18	c |    889172 |    1370     5673    16820 |    39622    38173     30 |  1.012 % |
376.24/376.28	c |    889318 |    1370     5673    16820 |    39622    38319     30 |  1.014 % |
376.34/376.38	c |    889478 |    1370     5673    16820 |    39622    38479     30 |  1.014 % |
376.44/376.49	c |    889654 |    1370     5673    16820 |    39622    38655     30 |  1.012 % |
376.54/376.61	c |    889847 |    1370     5673    16820 |    39622    38848     30 |  1.012 % |
376.74/376.75	c |    890060 |    1370     5673    16820 |    39004    39061     30 |  1.012 % |
376.84/376.87	c |    890293 |    1370     5673    16820 |    39004    34827     28 |  1.014 % |
376.94/376.94	c |    890549 |    1370     5673    16820 |    39004    35083     28 |  1.012 % |
376.94/377.00	c |    890830 |    1370     5673    16820 |    39004    35364     28 |  1.014 % |
377.04/377.11	c |    891140 |    1370     5673    16820 |    39004    35674     28 |  1.014 % |
377.14/377.21	c |    891479 |    1370     5673    16820 |    39004    36013     29 |  1.012 % |
377.34/377.32	c |    891852 |    1370     5673    16820 |    39004    36386     29 |  1.012 % |
377.54/377.52	c |    892261 |    1370     5673    16820 |    39004    36795     29 |  1.012 % |
377.84/377.85	c |    892711 |    1370     5673    16820 |    39004    37245     29 |  1.012 % |
378.04/378.11	c |    893204 |    1370     5673    16820 |    39004    37738     29 |  1.012 % |
378.44/378.47	c |    893746 |    1370     5673    16820 |    39004    38280     29 |  1.012 % |
378.64/378.68	c |    894343 |    1370     5673    16820 |    39004    38877     29 |  1.012 % |
379.04/379.04	c |    894998 |    1370     5673    16820 |    39004    39532     29 |  1.012 % |
379.24/379.28	c |    895718 |    1370     5673    16820 |    39004    34680     27 |  1.012 % |
379.64/379.70	c |    896510 |    1370     5673    16820 |    39004    35472     28 |  1.012 % |
379.94/379.99	c |    897381 |    1370     5673    16820 |    39004    36343     28 |  1.014 % |
380.44/380.49	c |    898341 |    1370     5673    16820 |    39004    37303     28 |  1.013 % |
381.04/381.10	c |    899394 |    1370     5673    16820 |    39004    38356     28 |  1.014 % |
381.74/381.78	c |    900552 |    1370     5673    16820 |    38963    33473     27 |  1.012 % |
382.04/382.03	c |    901826 |    1370     5673    16820 |    38963    34747     27 |  1.014 % |
382.64/382.64	c |    903227 |    1370     5673    16820 |    38963    36148     28 |  1.012 % |
383.44/383.52	c |    904768 |    1370     5673    16820 |    38963    37689     29 |  1.012 % |
383.94/383.99	c |    906466 |    1370     5673    16820 |    38963    32656     27 |  1.012 % |
384.64/384.67	c |    908330 |    1370     5673    16820 |    38963    34520     28 |  1.012 % |
385.14/385.13	c |    910379 |    1370     5673    16820 |    36192    36569     28 |  1.012 % |
386.04/386.05	c |    912634 |    1370     5673    16820 |    36192    33013     29 |  1.014 % |
387.34/387.34	c |    915112 |    1370     5673    16820 |    36192    35491     30 |  1.012 % |
388.34/388.35	c |    917837 |    1370     5673    16820 |    36192    32562     29 |  1.012 % |
389.64/389.67	c |    920835 |    1370     5673    16820 |    34726    31343     28 |  1.012 % |
390.34/390.34	c |    924132 |    1370     5673    16820 |    34726    34640     27 |  1.012 % |
392.03/392.04	c |    927758 |    1370     5673    16820 |    34726    34788     29 |  1.012 % |
394.03/394.02	c |    931746 |    1370     5673    16820 |    33553    30603     28 |  1.012 % |
396.53/396.59	c |    936132 |    1370     5673    16820 |    33553    31086     28 |  1.012 % |
398.93/398.92	c |    940955 |    1370     5673    16820 | 2147483647    32512     27 |  1.012 % |
401.23/401.29	c |    946260 |    1370     5673    16820 | 2147483647    37817     29 |  1.012 % |
405.33/405.39	c |    952095 |    1370     5673    16820 |    41557    38976     29 |  1.012 % |
408.83/408.84	c |    958514 |    1370     5673    16820 |    41557    38431     31 |  1.012 % |
412.03/412.08	c |    965575 |    1370     5673    16820 |    39917    37050     32 |  1.014 % |
414.13/414.13	c |    973340 |    1370     5673    16820 |    32624    29073     31 |  1.012 % |
418.14/418.16	c |    981880 |    1370     5673    16820 |    30908    28664     31 |  1.012 % |
418.14/418.18	c |    981982 |    1370     5673    16820 |    30908    28766     31 |  1.014 % |
418.14/418.20	c |    982092 |    1370     5673    16820 |    30908    28876     30 |  1.014 % |
418.23/418.21	c |    982215 |    1370     5673    16820 |    30908    28999     30 |  1.014 % |
418.23/418.24	c |    982348 |    1370     5673    16820 |    30908    29132     30 |  1.012 % |
418.23/418.28	c |    982496 |    1370     5673    16820 |    30908    29280     30 |  1.014 % |
418.33/418.33	c |    982657 |    1370     5673    16820 |    30908    29441     30 |  1.014 % |
418.33/418.40	c |    982834 |    1370     5673    16820 |    30908    29618     31 |  1.012 % |
418.43/418.47	c |    983027 |    1370     5673    16820 |    30908    29811     31 |  1.012 % |
418.53/418.53	c |    983240 |    1370     5673    16820 |    30908    30024     31 |  1.014 % |
418.53/418.60	c |    983473 |    1370     5673    16820 |    30908    30257     31 |  1.014 % |
418.63/418.69	c |    983731 |    1370     5673    16820 |    30908    30515     31 |  1.012 % |
418.73/418.78	c |    984013 |    1370     5673    16820 |    30908    30797     31 |  1.012 % |
418.83/418.88	c |    984322 |    1370     5673    16820 |    30908    31106     31 |  1.014 % |
419.03/419.06	c |    984661 |    1370     5673    16820 |    30908    27516     29 |  1.012 % |
419.24/419.24	c |    985034 |    1370     5673    16820 |    30908    27889     29 |  1.014 % |
419.43/419.43	c |    985444 |    1370     5673    16820 |    30908    28299     29 |  1.014 % |
419.43/419.49	c |    985894 |    1370     5673    16820 |    30908    28749     29 |  1.012 % |
419.63/419.71	c |    986387 |    1370     5673    16820 |    30908    29242     30 |  1.012 % |
419.93/419.92	c |    986929 |    1370     5673    16820 |    30908    29784     30 |  1.012 % |
420.03/420.04	c |    987525 |    1370     5673    16820 |    30908    30380     30 |  1.012 % |
420.23/420.26	c |    988182 |    1370     5673    16820 |    30908    31037     30 |  1.013 % |
420.53/420.53	c |    988902 |    1370     5673    16820 |    30908    28121     29 |  1.012 % |
420.93/420.97	c |    989695 |    1370     5673    16820 |    30908    28914     29 |  1.012 % |
421.13/421.12	c |    990570 |    1370     5673    16820 |    29219    26845     29 |  1.012 % |
421.23/421.22	c |    991528 |    1370     5673    16820 |    29219    27803     29 |  1.012 % |
421.44/421.47	c |    992581 |    1370     5673    16820 |    29219    28856     29 |  1.012 % |
421.73/421.71	c |    993739 |    1370     5673    16820 |    29219    27065     29 |  1.012 % |
422.13/422.17	c |    995012 |    1370     5673    16820 |    29219    28338     29 |  1.012 % |
422.43/422.44	c |    996413 |    1370     5673    16820 |    29219    29739     30 |  1.014 % |
423.13/423.12	c |    997953 |    1370     5673    16820 |    29219    28306     29 |  1.012 % |
423.73/423.77	c |    999647 |    1370     5673    16820 |    29219    27023     28 |  1.012 % |
424.33/424.32	c |   1001512 |    1370     5673    16820 | 2147483647    28888     29 |  1.012 % |
424.83/424.86	c |   1003561 |    1370     5673    16820 | 2147483647    30937     29 |  1.014 % |
425.63/425.67	c |   1005814 |    1370     5673    16820 | 2147483647    33190     29 |  1.012 % |
427.03/427.06	c |   1008293 |    1370     5673    16820 | 2147483647    35669     29 |  1.012 % |
428.53/428.55	c |   1011020 |    1370     5673    16820 |    37376    33965     28 |  1.012 % |
429.33/429.35	c |   1014017 |    1370     5673    16820 |    37376    36962     29 |  1.012 % |
430.03/430.07	c |   1017318 |    1370     5673    16820 |    37376    33798     29 |  1.014 % |
431.93/431.92	c |   1020945 |    1370     5673    16820 |    36480    30813     29 |  1.012 % |
433.93/433.98	c |   1024932 |    1370     5673    16820 |    36480    34800     30 |  1.012 % |
436.53/436.54	c |   1029319 |    1370     5673    16820 |    36480    33985     30 |  1.012 % |
439.04/439.10	c |   1034142 |    1370     5673    16820 |    34667    33685     31 |  1.012 % |
441.63/441.66	c |   1039449 |    1370     5673    16820 |    34667    34839     30 |  1.012 % |
444.23/444.24	c |   1045284 |    1370     5673    16820 | 2147483647    37191     29 |  1.012 % |
447.63/447.70	c |   1051703 |    1370     5673    16820 | 2147483647    43610     30 |  1.014 % |
452.43/452.50	c |   1058763 |    1370     5673    16820 | 2147483647    50670     31 |  1.012 % |
458.43/458.46	c |   1066528 |    1370     5673    16820 |    51907    47829     29 |  1.014 % |
460.03/460.06	c |   1075068 |    1370     5673    16820 |    51301    47328     25 |  1.012 % |
462.93/462.92	c |   1084463 |    1370     5673    16820 |    42885    38658     27 |  1.012 % |
462.93/462.96	c |   1084564 |    1370     5673    16820 |    42885    38759     27 |  1.012 % |
462.93/462.98	c |   1084674 |    1370     5673    16820 |    42885    38869     27 |  1.012 % |
463.03/463.02	c |   1084795 |    1370     5673    16820 |    42885    38990     27 |  1.012 % |
463.03/463.05	c |   1084929 |    1370     5673    16820 |    42885    39124     27 |  1.012 % |
463.13/463.13	c |   1085077 |    1370     5673    16820 |    42885    39272     27 |  1.012 % |
463.13/463.20	c |   1085238 |    1370     5673    16820 |    42885    39433     27 |  1.012 % |
463.24/463.26	c |   1085414 |    1370     5673    16820 |    42885    39609     27 |  1.014 % |
463.33/463.33	c |   1085607 |    1370     5673    16820 |    42885    39802     27 |  1.014 % |
463.43/463.43	c |   1085821 |    1370     5673    16820 |    42885    40016     27 |  1.012 % |
463.53/463.53	c |   1086056 |    1370     5673    16820 |    42885    40251     27 |  1.012 % |
463.53/463.58	c |   1086312 |    1370     5673    16820 |    42885    40507     28 |  1.014 % |
463.73/463.71	c |   1086593 |    1370     5673    16820 |    42885    40788     28 |  1.012 % |
463.73/463.77	c |   1086904 |    1370     5673    16820 |    42885    41099     28 |  1.014 % |
463.83/463.89	c |   1087244 |    1370     5673    16820 |    42885    41439     28 |  1.012 % |
464.13/464.17	c |   1087616 |    1370     5673    16820 |    42885    41811     28 |  1.012 % |
464.43/464.43	c |   1088025 |    1370     5673    16820 |    42885    42220     28 |  1.012 % |
464.53/464.53	c |   1088476 |    1370     5673    16820 |    42885    42671     28 |  1.012 % |
464.73/464.73	c |   1088970 |    1370     5673    16820 |    42885    43165     28 |  1.012 % |
465.03/465.01	c |   1089512 |    1370     5673    16820 |    42885    34900     28 |  1.012 % |
465.24/465.22	c |   1090108 |    1370     5673    16820 |    35388    35496     28 |  1.014 % |
465.44/465.51	c |   1090763 |    1370     5673    16820 |    35388    29099     29 |  1.012 % |
465.74/465.75	c |   1091483 |    1370     5673    16820 |    35388    29819     29 |  1.012 % |
466.24/466.27	c |   1092276 |    1370     5673    16820 |    35388    30612     29 |  1.012 % |
466.34/466.40	c |   1093147 |    1370     5673    16820 |    35388    31483     29 |  1.014 % |
466.54/466.59	c |   1094105 |    1370     5673    16820 |    35388    32441     29 |  1.012 % |
466.84/466.91	c |   1095159 |    1370     5673    16820 |    35388    33495     28 |  1.012 % |
467.34/467.37	c |   1096318 |    1370     5673    16820 |    35388    34654     29 |  1.012 % |
467.64/467.63	c |   1097593 |    1370     5673    16820 |    35388    31701     30 |  1.012 % |
468.34/468.33	c |   1098994 |    1370     5673    16820 |    35388    33102     31 |  1.012 % |
468.74/468.76	c |   1100535 |    1370     5673    16820 |    34108    30589     30 |  1.012 % |
469.14/469.19	c |   1102231 |    1370     5673    16820 |    34108    32285     30 |  1.012 % |
469.94/469.93	c |   1104094 |    1370     5673    16820 |    34108    34148     30 |  1.012 % |
470.34/470.38	c |   1106143 |    1370     5673    16820 |    34108    32484     28 |  1.014 % |
471.44/471.50	c |   1108397 |    1370     5673    16820 |    34108    29774     27 |  1.012 % |
472.74/472.74	c |   1110876 |    1370     5673    16820 |    31377    28280     26 |  1.012 % |
473.74/473.74	c |   1113604 |    1370     5673    16820 |    31377    31008     26 |  1.012 % |
475.24/475.22	c |   1116604 |    1370     5673    16820 |    31377    30807     28 |  1.012 % |
476.44/476.50	c |   1119901 |    1370     5673    16820 |    31377    30915     28 |  1.012 % |
478.44/478.42	c |   1123526 |    1370     5673    16820 | 2147483647    34540     29 |  1.012 % |
479.84/479.87	c |   1127514 |    1370     5673    16820 | 2147483647    38528     30 |  1.014 % |
482.04/482.09	c |   1131900 |    1370     5673    16820 |    41017    36255     29 |  1.014 % |
484.84/484.85	c |   1136725 |    1370     5673    16820 |    41017    41080     31 |  1.012 % |
487.44/487.50	c |   1142030 |    1370     5673    16820 |    36720    31625     28 |  1.012 % |
490.24/490.29	c |   1147865 |    1370     5673    16820 |    36720    31634     28 |  1.014 % |
493.74/493.73	c |   1154283 |    1370     5673    16820 |    33771    33146     28 |  1.012 % |
496.34/496.35	c |   1161343 |    1370     5673    16820 |    30823    28460     28 |  1.012 % |
497.74/497.74	c |   1169108 |    1370     5673    16820 |    30823    29978     26 |  1.012 % |
502.34/502.36	c |   1177648 |    1370     5673    16820 | 2147483647    38518     28 |  1.014 % |
507.04/507.03	c |   1187043 |    1370     5673    16820 |    40871    38989     28 |  1.012 % |
512.14/512.21	c |   1197377 |    1370     5673    16820 |    36193    30082     28 |  1.014 % |
512.24/512.25	c |   1197477 |    1370     5673    16820 |    36193    30182     29 |  1.012 % |
512.24/512.31	c |   1197590 |    1370     5673    16820 |    36193    30295     29 |  1.012 % |
512.34/512.36	c |   1197711 |    1370     5673    16820 |    36193    30416     29 |  1.014 % |
512.34/512.41	c |   1197844 |    1370     5673    16820 |    36193    30549     29 |  1.014 % |
512.44/512.50	c |   1197990 |    1370     5673    16820 |    36193    30695     29 |  1.012 % |
512.54/512.54	c |   1198152 |    1370     5673    16820 |    36193    30857     29 |  1.014 % |
512.64/512.62	c |   1198329 |    1370     5673    16820 |    36193    31034     29 |  1.012 % |
512.74/512.72	c |   1198522 |    1370     5673    16820 |    36193    31227     29 |  1.012 % |
512.74/512.77	c |   1198734 |    1370     5673    16820 |    36193    31439     29 |  1.014 % |
512.74/512.81	c |   1198968 |    1370     5673    16820 |    36193    31673     29 |  1.012 % |
512.94/512.91	c |   1199226 |    1370     5673    16820 |    36193    31931     29 |  1.015 % |
513.04/513.08	c |   1199508 |    1370     5673    16820 |    36193    32213     29 |  1.012 % |
513.24/513.21	c |   1199817 |    1370     5673    16820 |    36193    32522     29 |  1.014 % |
513.34/513.33	c |   1200157 |    1370     5673    16820 |    32705    32862     29 |  1.012 % |
513.44/513.48	c |   1200530 |    1370     5673    16820 |    32705    26812     29 |  1.012 % |
513.54/513.52	c |   1200942 |    1370     5673    16820 |    32705    27224     28 |  1.014 % |
513.54/513.56	c |   1201392 |    1370     5673    16820 |    32705    27674     28 |  1.012 % |
513.74/513.76	c |   1201885 |    1370     5673    16820 |    32705    28167     29 |  1.012 % |
513.94/513.96	c |   1202427 |    1370     5673    16820 |    32705    28709     29 |  1.014 % |
514.24/514.29	c |   1203024 |    1370     5673    16820 |    32705    29306     29 |  1.012 % |
514.34/514.39	c |   1203680 |    1370     5673    16820 |    32705    29962     29 |  1.012 % |
514.64/514.63	c |   1204401 |    1370     5673    16820 |    32705    30683     29 |  1.012 % |
514.84/514.89	c |   1205195 |    1370     5673    16820 |    32705    31477     29 |  1.014 % |
515.04/515.04	c |   1206067 |    1370     5673    16820 |    32705    32349     29 |  1.012 % |
515.24/515.22	c |   1207025 |    1370     5673    16820 |    32705    33307     29 |  1.012 % |
515.54/515.60	c |   1208079 |    1370     5673    16820 |    32705    29761     28 |  1.012 % |
515.84/515.86	c |   1209237 |    1370     5673    16820 |    32705    30919     29 |  1.014 % |
516.24/516.24	c |   1210510 |    1370     5673    16820 |    31682    32192     29 |  1.015 % |
516.44/516.49	c |   1211910 |    1370     5673    16820 |    31682    28595     28 |  1.012 % |
517.14/517.20	c |   1213451 |    1370     5673    16820 |    31682    30136     29 |  1.012 % |
517.94/517.99	c |   1215145 |    1370     5673    16820 |    31682    31830     29 |  1.012 % |
518.74/518.79	c |   1217008 |    1370     5673    16820 |    31682    29981     28 |  1.012 % |
519.24/519.27	c |   1219058 |    1370     5673    16820 |    31682    32031     27 |  1.012 % |
519.74/519.78	c |   1221311 |    1370     5673    16820 |    29611    27027     28 |  1.012 % |
520.54/520.59	c |   1223790 |    1370     5673    16820 |    29611    29506     28 |  1.014 % |
521.84/521.89	c |   1226515 |    1370     5673    16820 |    29611    28937     27 |  1.014 % |
522.64/522.67	c |   1229512 |    1370     5673    16820 |    29611    28887     28 |  1.012 % |
523.44/523.51	c |   1232810 |    1370     5673    16820 |    29376    28382     28 |  1.014 % |
524.74/524.79	c |   1236435 |    1370     5673    16820 |    29376    27964     27 |  1.014 % |
526.54/526.59	c |   1240423 |    1370     5673    16820 |    28245    28664     29 |  1.012 % |
527.94/527.98	c |   1244808 |    1370     5673    16820 |    28245    27321     29 |  1.012 % |
529.74/529.72	c |   1249632 |    1370     5673    16820 |    28245    26429     29 |  1.012 % |
531.54/531.55	c |   1254937 |    1370     5673    16820 | 2147483647    31734     29 |  1.012 % |
534.24/534.24	c |   1260772 |    1370     5673    16820 | 2147483647    37569     28 |  1.012 % |
538.24/538.27	c |   1267192 |    1370     5673    16820 | 2147483647    43989     29 |  1.012 % |
542.54/542.60	c |   1274252 |    1370     5673    16820 |    46799    44575     29 |  1.012 % |
548.24/548.21	c |   1282017 |    1370     5673    16820 |    42540    37831     27 |  1.012 % |
550.64/550.66	c |   1290559 |    1370     5673    16820 |    36682    37241     35 |  1.013 % |
553.64/553.64	c |   1299954 |    1370     5673    16820 |    36682    32882     35 |  1.012 % |
557.85/557.84	c |   1310289 |    1370     5673    16820 | 2147483647    32113     36 |  1.012 % |
565.34/565.35	c |   1321655 |    1370     5673    16820 |    41824    35528     33 |  1.014 % |
565.34/565.39	c |   1321755 |    1370     5673    16820 |    41824    35628     33 |  1.012 % |
565.44/565.43	c |   1321865 |    1370     5673    16820 |    41824    35738     33 |  1.012 % |
565.44/565.51	c |   1321987 |    1370     5673    16820 |    41824    35860     33 |  1.014 % |
565.55/565.58	c |   1322120 |    1370     5673    16820 |    41824    35993     33 |  1.012 % |
565.64/565.66	c |   1322266 |    1370     5673    16820 |    41824    36139     33 |  1.012 % |
565.64/565.70	c |   1322427 |    1370     5673    16820 |    41824    36300     33 |  1.012 % |
565.74/565.71	c |   1322603 |    1370     5673    16820 |    41824    36476     33 |  1.012 % |
565.74/565.73	c |   1322797 |    1370     5673    16820 |    41824    36670     33 |  1.012 % |
565.84/565.87	c |   1323011 |    1370     5673    16820 |    41824    36884     33 |  1.014 % |
565.94/565.97	c |   1323245 |    1370     5673    16820 |    41824    37118     33 |  1.012 % |
566.04/566.07	c |   1323502 |    1370     5673    16820 |    41824    37375     33 |  1.012 % |
566.24/566.23	c |   1323783 |    1370     5673    16820 |    41824    37656     33 |  1.013 % |
566.34/566.36	c |   1324092 |    1370     5673    16820 |    41824    37965     33 |  1.014 % |
566.54/566.52	c |   1324432 |    1370     5673    16820 |    41824    38305     33 |  1.012 % |
566.74/566.76	c |   1324805 |    1370     5673    16820 |    41824    38678     33 |  1.014 % |
567.04/567.05	c |   1325216 |    1370     5673    16820 |    41824    39089     33 |  1.014 % |
567.24/567.23	c |   1325665 |    1370     5673    16820 |    41824    39538     33 |  1.014 % |
567.34/567.39	c |   1326158 |    1370     5673    16820 |    41824    40031     33 |  1.012 % |
567.64/567.65	c |   1326701 |    1370     5673    16820 |    41824    40574     33 |  1.012 % |
567.94/567.99	c |   1327299 |    1370     5673    16820 |    41824    41172     33 |  1.012 % |
568.34/568.33	c |   1327955 |    1370     5673    16820 |    41824    41828     33 |  1.012 % |
568.74/568.73	c |   1328676 |    1370     5673    16820 |    41824    34440     33 |  1.012 % |
569.04/569.04	c |   1329468 |    1370     5673    16820 |    41824    35232     33 |  1.012 % |
569.44/569.45	c |   1330340 |    1370     5673    16820 |    35765    36104     33 |  1.012 % |
569.84/569.91	c |   1331299 |    1370     5673    16820 |    35765    30699     32 |  1.012 % |
570.24/570.29	c |   1332353 |    1370     5673    16820 |    35765    31753     32 |  1.012 % |
570.74/570.72	c |   1333511 |    1370     5673    16820 |    35765    32911     32 |  1.012 % |
570.94/570.96	c |   1334784 |    1370     5673    16820 |    35765    34184     32 |  1.014 % |
571.14/571.13	c |   1336184 |    1370     5673    16820 |    35765    35584     31 |  1.012 % |
571.94/571.99	c |   1337725 |    1370     5673    16820 |    35765    33296     31 |  1.012 % |
573.04/573.09	c |   1339420 |    1370     5673    16820 |    35765    34991     32 |  1.012 % |
574.04/574.02	c |   1341284 |    1370     5673    16820 |    35571    32713     29 |  1.014 % |
575.45/575.50	c |   1343334 |    1370     5673    16820 |    35571    34763     30 |  1.012 % |
576.44/576.43	c |   1345587 |    1370     5673    16820 |    35571    32319     29 |  1.014 % |
577.44/577.45	c |   1348066 |    1370     5673    16820 |    35571    34798     30 |  1.014 % |
578.34/578.40	c |   1350792 |    1370     5673    16820 |    31385    32177     31 |  1.014 % |
579.24/579.24	c |   1353790 |    1370     5673    16820 |    31385    30239     30 |  1.014 % |
580.74/580.72	c |   1357087 |    1370     5673    16820 |    31385    29016     32 |  1.012 % |
581.34/581.38	c |   1360712 |    1370     5673    16820 |    31931    29319     30 |  1.012 % |
583.24/583.25	c |   1364700 |    1370     5673    16820 |    31931    30050     30 |  1.012 % |
585.24/585.25	c |   1369085 |    1370     5673    16820 |    31931    31014     30 |  1.012 % |
585.74/585.79	c |   1373908 |    1370     5673    16820 | 2147483647    35837     28 |  1.012 % |
588.44/588.42	c |   1379214 |    1370     5673    16820 | 2147483647    41143     31 |  1.012 % |
589.34/589.40	c |   1385050 |    1370     5673    16820 |    41930    38324     28 |  1.012 % |
592.55/592.56	c |   1391468 |    1370     5673    16820 |    38955    35684     26 |  1.014 % |
596.25/596.26	c |   1398528 |    1370     5673    16820 |    38955    37572     26 |  1.012 % |
598.95/599.01	c |   1406292 |    1370     5673    16820 |    39045    38389     29 |  1.012 % |
603.55/603.60	c |   1414832 |    1370     5673    16820 |    33269    31324     30 |  1.014 % |
607.75/607.74	c |   1424227 |    1370     5673    16820 |    32069    29587     32 |  1.012 % |
613.15/613.16	c |   1434561 |    1370     5673    16820 | 2147483647    36669     32 |  1.012 % |
616.15/616.21	c |   1445929 |    1370     5673    16820 |    42108    40040     33 |  1.014 % |
621.15/621.15	c |   1458433 |    1370     5673    16820 |    35100    31554     34 |  1.014 % |
621.15/621.18	c |   1458534 |    1370     5673    16820 |    35100    31655     34 |  1.012 % |
621.25/621.22	c |   1458645 |    1370     5673    16820 |    35100    31766     34 |  1.012 % |
621.25/621.28	c |   1458767 |    1370     5673    16820 |    35100    31888     34 |  1.012 % |
621.35/621.38	c |   1458900 |    1370     5673    16820 |    35100    32021     34 |  1.012 % |
621.45/621.47	c |   1459046 |    1370     5673    16820 |    35100    32167     34 |  1.012 % |
621.55/621.52	c |   1459206 |    1370     5673    16820 |    35100    32327     34 |  1.012 % |
621.55/621.57	c |   1459384 |    1370     5673    16820 |    35100    32505     34 |  1.012 % |
621.55/621.61	c |   1459577 |    1370     5673    16820 |    35100    32698     34 |  1.012 % |
621.65/621.67	c |   1459790 |    1370     5673    16820 |    35100    32911     34 |  1.012 % |
621.75/621.72	c |   1460023 |    1370     5673    16820 |    33122    33144     34 |  1.012 % |
621.85/621.82	c |   1460279 |    1370     5673    16820 |    33122    28602     34 |  1.012 % |
621.85/621.90	c |   1460561 |    1370     5673    16820 |    33122    28884     34 |  1.012 % |
621.95/622.01	c |   1460870 |    1370     5673    16820 |    33122    29193     34 |  1.012 % |
622.15/622.17	c |   1461210 |    1370     5673    16820 |    33122    29533     34 |  1.012 % |
622.25/622.29	c |   1461583 |    1370     5673    16820 |    33122    29906     34 |  1.012 % |
622.35/622.38	c |   1461992 |    1370     5673    16820 |    33122    30315     34 |  1.012 % |
622.45/622.49	c |   1462441 |    1370     5673    16820 |    33122    30764     34 |  1.014 % |
622.65/622.68	c |   1462935 |    1370     5673    16820 |    33122    31258     34 |  1.012 % |
622.75/622.73	c |   1463478 |    1370     5673    16820 |    33122    31801     34 |  1.012 % |
623.05/623.06	c |   1464075 |    1370     5673    16820 |    33122    32398     34 |  1.012 % |
623.05/623.11	c |   1464732 |    1370     5673    16820 |    33122    33055     34 |  1.012 % |
623.55/623.55	c |   1465452 |    1370     5673    16820 |    33122    33775     34 |  1.012 % |
623.95/623.95	c |   1466244 |    1370     5673    16820 |    33122    30537     33 |  1.012 % |
624.25/624.31	c |   1467115 |    1370     5673    16820 |    33122    31408     33 |  1.012 % |
624.75/624.77	c |   1468074 |    1370     5673    16820 |    33122    32367     34 |  1.014 % |
624.95/624.94	c |   1469127 |    1370     5673    16820 |    33122    30010     32 |  1.012 % |
625.05/625.06	c |   1470287 |    1370     5673    16820 | 2147483647    31170     31 |  1.012 % |
625.65/625.65	c |   1471560 |    1370     5673    16820 | 2147483647    32443     32 |  1.012 % |
626.15/626.17	c |   1472961 |    1370     5673    16820 | 2147483647    33844     32 |  1.014 % |
627.15/627.15	c |   1474503 |    1370     5673    16820 | 2147483647    35386     32 |  1.012 % |
627.85/627.89	c |   1476200 |    1370     5673    16820 | 2147483647    37083     32 |  1.014 % |
628.65/628.62	c |   1478064 |    1370     5673    16820 | 2147483647    38947     32 |  1.012 % |
629.35/629.32	c |   1480113 |    1370     5673    16820 |    40883    40996     32 |  1.014 % |
630.45/630.45	c |   1482367 |    1370     5673    16820 |    40883    37474     30 |  1.012 % |
631.95/631.93	c |   1484847 |    1370     5673    16820 |    40883    39954     30 |  1.012 % |
633.55/633.55	c |   1487572 |    1370     5673    16820 |    40883    36072     29 |  1.012 % |
634.55/634.52	c |   1490571 |    1370     5673    16820 |    38500    39071     30 |  1.012 % |
635.15/635.21	c |   1493868 |    1370     5673    16820 |    38500    34632     28 |  1.012 % |
636.75/636.78	c |   1497493 |    1370     5673    16820 |    38500    38257     29 |  1.012 % |
638.45/638.47	c |   1501480 |    1370     5673    16820 |    35162    31718     29 |  1.012 % |
640.55/640.60	c |   1505867 |    1370     5673    16820 |    35162    31747     30 |  1.012 % |
642.85/642.90	c |   1510691 |    1370     5673    16820 |    31825    28935     29 |  1.012 % |
645.15/645.14	c |   1515996 |    1370     5673    16820 |    31825    31011     29 |  1.012 % |
646.15/646.12	c |   1521831 |    1370     5673    16820 | 2147483647    33642     27 |  1.012 % |
649.55/649.57	c |   1528250 |    1370     5673    16820 | 2147483647    40061     29 |  1.012 % |
653.75/653.75	c |   1535309 |    1370     5673    16820 | 2147483647    47120     29 |  1.012 % |
658.95/658.96	c |   1543073 |    1370     5673    16820 |    51812    44762     29 |  1.012 % |
662.55/662.54	c |   1551614 |    1370     5673    16820 |    51689    41720     30 |  1.012 % |
668.35/668.40	c |   1561008 |    1370     5673    16820 |    50108    40457     31 |  1.012 % |
674.05/674.09	c |   1571341 |    1370     5673    16820 |    49449    39470     36 |  1.013 % |
680.85/680.85	c |   1582708 |    1370     5673    16820 |    48130    40832     35 |  1.012 % |
688.05/688.05	c |   1595210 |    1370     5673    16820 |    48124    44315     33 |  1.012 % |
696.15/696.16	c |   1608962 |    1370     5673    16820 |    38598    32267     26 |  1.014 % |
696.15/696.20	c |   1609062 |    1370     5673    16820 |    38598    32367     26 |  1.012 % |
696.25/696.25	c |   1609172 |    1370     5673    16820 |    38598    32477     26 |  1.014 % |
696.25/696.30	c |   1609294 |    1370     5673    16820 |    38598    32599     26 |  1.012 % |
696.35/696.36	c |   1609427 |    1370     5673    16820 |    38598    32732     26 |  1.012 % |
696.46/696.42	c |   1609573 |    1370     5673    16820 |    38598    32878     26 |  1.012 % |
696.46/696.44	c |   1609733 |    1370     5673    16820 |    38598    33038     26 |  1.012 % |
696.55/696.53	c |   1609910 |    1370     5673    16820 |    38598    33215     26 |  1.012 % |
696.55/696.61	c |   1610104 |    1370     5673    16820 |    33305    33409     26 |  1.012 % |
696.65/696.70	c |   1610318 |    1370     5673    16820 |    33305    27833     26 |  1.012 % |
696.75/696.81	c |   1610551 |    1370     5673    16820 |    33305    28066     26 |  1.012 % |
696.85/696.87	c |   1610807 |    1370     5673    16820 |    33305    28322     26 |  1.014 % |
696.85/696.91	c |   1611089 |    1370     5673    16820 |    33305    28604     26 |  1.012 % |
696.95/696.97	c |   1611398 |    1370     5673    16820 |    33305    28913     26 |  1.012 % |
697.15/697.14	c |   1611737 |    1370     5673    16820 |    33305    29252     26 |  1.012 % |
697.35/697.32	c |   1612109 |    1370     5673    16820 |    33305    29624     26 |  1.012 % |
697.45/697.48	c |   1612520 |    1370     5673    16820 |    33305    30035     26 |  1.012 % |
697.56/697.58	c |   1612969 |    1370     5673    16820 |    33305    30484     27 |  1.014 % |
697.75/697.80	c |   1613462 |    1370     5673    16820 |    33305    30977     27 |  1.012 % |
697.95/697.97	c |   1614006 |    1370     5673    16820 |    33305    31521     27 |  1.012 % |
698.15/698.12	c |   1614602 |    1370     5673    16820 |    33305    32117     27 |  1.012 % |
698.35/698.32	c |   1615257 |    1370     5673    16820 |    33305    32772     27 |  1.012 % |
698.55/698.52	c |   1615978 |    1370     5673    16820 |    33305    33493     28 |  1.014 % |
698.66/698.68	c |   1616770 |    1370     5673    16820 |    33305    29983     28 |  1.012 % |
698.95/698.97	c |   1617641 |    1370     5673    16820 |    33305    30854     28 |  1.012 % |
699.45/699.46	c |   1618600 |    1370     5673    16820 |    33305    31813     29 |  1.014 % |
699.95/699.94	c |   1619654 |    1370     5673    16820 |    33305    32867     30 |  1.012 % |
700.55/700.52	c |   1620812 |    1370     5673    16820 |    33213    29503     29 |  1.014 % |
701.15/701.15	c |   1622085 |    1370     5673    16820 |    33213    30776     29 |  1.014 % |
701.55/701.57	c |   1623486 |    1370     5673    16820 |    33213    32177     30 |  1.012 % |
702.35/702.33	c |   1625026 |    1370     5673    16820 |    33213    29468     29 |  1.014 % |
702.75/702.74	c |   1626721 |    1370     5673    16820 |    33213    31163     30 |  1.014 % |
702.95/702.99	c |   1628585 |    1370     5673    16820 |    33213    33027     29 |  1.012 % |
704.05/704.04	c |   1630635 |    1370     5673    16820 |    30259    30892     30 |  1.012 % |
704.95/704.98	c |   1632888 |    1370     5673    16820 |    30259    28996     31 |  1.012 % |
705.95/705.93	c |   1635366 |    1370     5673    16820 |    30259    28391     30 |  1.012 % |
707.15/707.21	c |   1638092 |    1370     5673    16820 |    30259    28064     30 |  1.012 % |
707.85/707.91	c |   1641090 |    1370     5673    16820 | 2147483647    31062     30 |  1.014 % |
708.85/708.85	c |   1644386 |    1370     5673    16820 | 2147483647    34358     31 |  1.014 % |
710.85/710.81	c |   1648012 |    1370     5673    16820 | 2147483647    37984     31 |  1.012 % |
712.25/712.21	c |   1652000 |    1370     5673    16820 |    39972    34691     30 |  1.014 % |
713.85/713.82	c |   1656385 |    1370     5673    16820 |    39972    39076     29 |  1.014 % |
716.26/716.26	c |   1661208 |    1370     5673    16820 |    35584    30935     27 |  1.012 % |
718.76/718.78	c |   1666514 |    1370     5673    16820 |    35584    31126     27 |  1.012 % |
721.06/721.11	c |   1672352 |    1370     5673    16820 |    34615    31162     30 |  1.013 % |
724.36/724.34	c |   1678770 |    1370     5673    16820 |    34615    33882     29 |  1.012 % |
727.36/727.40	c |   1685831 |    1370     5673    16820 |    35112    31111     31 |  1.012 % |
731.76/731.77	c |   1693597 |    1370     5673    16820 |    35280    34899     31 |  1.012 % |
732.96/732.96	c |   1702137 |    1370     5673    16820 | 2147483647    36314     27 |  1.015 % |
738.26/738.24	c |   1711531 |    1370     5673    16820 |    44178    38312     33 |  1.012 % |
744.66/744.71	c |   1721865 |    1370     5673    16820 |    37180    31029     34 |  1.012 % |
751.25/751.25	c |   1733235 |    1370     5673    16820 |    32177    29779     29 |  1.014 % |
757.05/757.07	c |   1745738 |    1370     5673    16820 |    32209    29995     32 |  1.012 % |
765.85/765.91	c |   1759491 |    1370     5673    16820 |    30174    28930     39 |  1.012 % |
772.05/772.08	c |   1774619 |    1370     5673    16820 |    27545    25718     34 |  1.014 % |
772.15/772.12	c |   1774719 |    1370     5673    16820 |    27545    25818     34 |  1.012 % |
772.15/772.15	c |   1774830 |    1370     5673    16820 |    27545    25929     34 |  1.012 % |
772.15/772.19	c |   1774952 |    1370     5673    16820 |    27545    26051     34 |  1.012 % |
772.25/772.23	c |   1775085 |    1370     5673    16820 |    27545    26184     34 |  1.012 % |
772.25/772.25	c |   1775232 |    1370     5673    16820 |    27545    26331     34 |  1.012 % |
772.25/772.30	c |   1775392 |    1370     5673    16820 |    27545    26491     34 |  1.014 % |
772.35/772.39	c |   1775569 |    1370     5673    16820 |    27545    26668     34 |  1.012 % |
772.45/772.43	c |   1775763 |    1370     5673    16820 |    27545    26862     34 |  1.013 % |
772.45/772.48	c |   1775975 |    1370     5673    16820 |    27545    27074     34 |  1.012 % |
772.55/772.53	c |   1776208 |    1370     5673    16820 |    27545    27307     34 |  1.012 % |
772.55/772.59	c |   1776465 |    1370     5673    16820 |    27545    27564     34 |  1.012 % |
772.65/772.70	c |   1776746 |    1370     5673    16820 |    27545    25089     33 |  1.012 % |
772.75/772.79	c |   1777055 |    1370     5673    16820 |    27545    25398     33 |  1.012 % |
772.85/772.85	c |   1777394 |    1370     5673    16820 |    27545    25737     33 |  1.014 % |
772.85/772.89	c |   1777767 |    1370     5673    16820 |    27545    26110     33 |  1.012 % |
773.05/773.08	c |   1778178 |    1370     5673    16820 |    27545    26521     33 |  1.014 % |
773.15/773.19	c |   1778629 |    1370     5673    16820 |    27545    26972     33 |  1.012 % |
773.35/773.36	c |   1779123 |    1370     5673    16820 |    27545    27466     33 |  1.012 % |
773.55/773.56	c |   1779665 |    1370     5673    16820 |    27545    25216     33 |  1.012 % |
773.75/773.74	c |   1780263 |    1370     5673    16820 | 2147483647    25814     33 |  1.012 % |
773.95/773.93	c |   1780920 |    1370     5673    16820 | 2147483647    26471     33 |  1.012 % |
774.15/774.20	c |   1781640 |    1370     5673    16820 | 2147483647    27191     33 |  1.012 % |
774.45/774.47	c |   1782433 |    1370     5673    16820 | 2147483647    27984     33 |  1.012 % |
774.75/774.75	c |   1783306 |    1370     5673    16820 | 2147483647    28857     34 |  1.012 % |
775.05/775.08	c |   1784264 |    1370     5673    16820 | 2147483647    29815     34 |  1.012 % |
775.35/775.41	c |   1785317 |    1370     5673    16820 | 2147483647    30868     34 |  1.012 % |
775.95/775.93	c |   1786475 |    1370     5673    16820 | 2147483647    32026     34 |  1.012 % |
776.65/776.67	c |   1787750 |    1370     5673    16820 | 2147483647    33301     34 |  1.012 % |
777.25/777.22	c |   1789151 |    1370     5673    16820 | 2147483647    34702     34 |  1.012 % |
777.85/777.87	c |   1790693 |    1370     5673    16820 | 2147483647    36244     34 |  1.012 % |
778.65/778.63	c |   1792387 |    1370     5673    16820 | 2147483647    37938     35 |  1.012 % |
779.15/779.13	c |   1794251 |    1370     5673    16820 | 2147483647    39802     34 |  1.012 % |
780.15/780.17	c |   1796301 |    1370     5673    16820 | 2147483647    41852     34 |  1.012 % |
781.45/781.41	c |   1798556 |    1370     5673    16820 | 2147483647    44107     34 |  1.012 % |
781.95/781.92	c |   1801034 |    1370     5673    16820 |    45551    41000     32 |  1.014 % |
782.55/782.52	c |   1803760 |    1370     5673    16820 |    45551    43726     33 |  1.012 % |
784.25/784.23	c |   1806757 |    1370     5673    16820 |    45551    38912     31 |  1.012 % |
786.15/786.17	c |   1810055 |    1370     5673    16820 |    42155    42210     32 |  1.012 % |
788.25/788.28	c |   1813680 |    1370     5673    16820 |    42155    38174     30 |  1.014 % |
790.55/790.60	c |   1817668 |    1370     5673    16820 |    42155    42162     30 |  1.014 % |
793.65/793.63	c |   1822053 |    1370     5673    16820 |    36434    31774     28 |  1.012 % |
794.95/794.95	c |   1826877 |    1370     5673    16820 |    36434    36598     30 |  1.014 % |
796.75/796.80	c |   1832183 |    1370     5673    16820 |    32995    28876     30 |  1.012 % |
799.55/799.53	c |   1838019 |    1370     5673    16820 |    32995    29797     31 |  1.012 % |
801.85/801.87	c |   1844437 |    1370     5673    16820 |    31779    32043     31 |  1.012 % |
804.45/804.48	c |   1851496 |    1370     5673    16820 |    30523    28358     30 |  1.012 % |
806.15/806.14	c |   1859260 |    1370     5673    16820 |    30523    29980     26 |  1.012 % |
809.65/809.71	c |   1867801 |    1370     5673    16820 | 2147483647    38521     30 |  1.012 % |
815.85/815.83	c |   1877196 |    1370     5673    16820 |    40720    35959     29 |  1.012 % |
821.25/821.29	c |   1887529 |    1370     5673    16820 |    38763    32157     29 |  1.012 % |
824.85/824.86	c |   1898895 |    1370     5673    16820 |    34629    28535     37 |  1.014 % |
828.25/828.24	c |   1911397 |    1370     5673    16820 |    26671    25303     36 |  1.012 % |
833.65/833.66	c |   1925149 |    1370     5673    16820 | 2147483647    30955     29 |  1.012 % |
840.95/841.00	c |   1940277 |    1370     5673    16820 |    45807    46083     30 |  1.012 % |
852.76/852.78	c |   1956917 |    1370     5673    16820 |    42062    41527     33 |  1.012 % |
852.86/852.83	c |   1957017 |    1370     5673    16820 |    42062    41627     33 |  1.012 % |
852.86/852.90	c |   1957128 |    1370     5673    16820 |    42062    41738     33 |  1.012 % |
852.96/852.97	c |   1957249 |    1370     5673    16820 |    42062    41859     33 |  1.012 % |
853.06/853.05	c |   1957382 |    1370     5673    16820 |    42062    41992     33 |  1.012 % |
853.16/853.12	c |   1957530 |    1370     5673    16820 |    42062    42140     33 |  1.012 % |
853.26/853.24	c |   1957691 |    1370     5673    16820 |    42062    34483     33 |  1.015 % |
853.26/853.30	c |   1957868 |    1370     5673    16820 |    42062    34660     33 |  1.014 % |
853.36/853.31	c |   1958061 |    1370     5673    16820 |    42062    34853     33 |  1.012 % |
853.36/853.33	c |   1958273 |    1370     5673    16820 |    42062    35065     32 |  1.012 % |
853.46/853.48	c |   1958506 |    1370     5673    16820 |    42062    35298     33 |  1.012 % |
853.56/853.56	c |   1958762 |    1370     5673    16820 |    42062    35554     33 |  1.014 % |
853.66/853.63	c |   1959044 |    1370     5673    16820 |    42062    35836     33 |  1.014 % |
853.66/853.65	c |   1959353 |    1370     5673    16820 |    42062    36145     33 |  1.012 % |
853.76/853.80	c |   1959693 |    1370     5673    16820 |    42062    36485     33 |  1.012 % |
853.96/854.01	c |   1960066 |    1370     5673    16820 |    36792    36858     32 |  1.012 % |
854.16/854.18	c |   1960477 |    1370     5673    16820 |    36792    30715     32 |  1.012 % |
854.36/854.35	c |   1960926 |    1370     5673    16820 |    36792    31164     32 |  1.012 % |
854.46/854.47	c |   1961420 |    1370     5673    16820 |    36792    31658     32 |  1.012 % |
854.56/854.56	c |   1961963 |    1370     5673    16820 |    36792    32201     32 |  1.012 % |
854.96/854.95	c |   1962559 |    1370     5673    16820 |    36792    32797     32 |  1.012 % |
855.16/855.13	c |   1963214 |    1370     5673    16820 |    36792    33452     32 |  1.015 % |
855.36/855.34	c |   1963935 |    1370     5673    16820 |    36792    34173     32 |  1.012 % |
855.66/855.66	c |   1964728 |    1370     5673    16820 |    36792    34966     33 |  1.012 % |
855.96/856.01	c |   1965600 |    1370     5673    16820 |    36792    35838     33 |  1.012 % |
856.26/856.30	c |   1966558 |    1370     5673    16820 |    36792    36796     33 |  1.012 % |
856.76/856.79	c |   1967611 |    1370     5673    16820 |    36792    32006     33 |  1.014 % |
857.16/857.12	c |   1968769 |    1370     5673    16820 |    36792    33164     33 |  1.012 % |
857.56/857.52	c |   1970042 |    1370     5673    16820 |    34395    34437     33 |  1.012 % |
857.66/857.71	c |   1971444 |    1370     5673    16820 |    34395    30545     30 |  1.012 % |
858.66/858.61	c |   1972985 |    1370     5673    16820 |    34395    32086     31 |  1.012 % |
859.56/859.56	c |   1974679 |    1370     5673    16820 |    34395    33780     32 |  1.012 % |
860.46/860.47	c |   1976545 |    1370     5673    16820 |    34395    30299     30 |  1.012 % |
861.06/861.02	c |   1978595 |    1370     5673    16820 |    34395    32349     31 |  1.015 % |
861.96/862.01	c |   1980848 |    1370     5673    16820 |    33755    29136     30 |  1.014 % |
863.06/863.11	c |   1983326 |    1370     5673    16820 |    33755    31614     31 |  1.012 % |
864.46/864.47	c |   1986052 |    1370     5673    16820 |    33755    30303     30 |  1.012 % |
865.06/865.10	c |   1989049 |    1370     5673    16820 |    33755    33300     32 |  1.014 % |
866.56/866.55	c |   1992345 |    1370     5673    16820 |    34254    31756     30 |  1.014 % |
868.16/868.21	c |   1995971 |    1370     5673    16820 |    34254    30102     29 |  1.014 % |
869.66/869.65	c |   1999958 |    1370     5673    16820 |    34254    34089     30 |  1.012 % |
871.46/871.47	c |   2004345 |    1370     5673    16820 |    34131    33021     29 |  1.012 % |
873.56/873.57	c |   2009168 |    1370     5673    16820 |    34131    33187     29 |  1.012 % |
876.96/876.93	c |   2014473 |    1370     5673    16820 |    34021    31028     28 |  1.012 % |
879.26/879.25	c |   2020309 |    1370     5673    16820 | 2147483647    33395     29 |  1.012 % |
883.26/883.24	c |   2026727 |    1370     5673    16820 | 2147483647    39813     30 |  1.012 % |
888.26/888.28	c |   2033786 |    1370     5673    16820 |    43087    39830     30 |  1.012 % |
892.86/892.85	c |   2041550 |    1370     5673    16820 |    39275    34682     28 |  1.012 % |
896.16/896.14	c |   2050092 |    1370     5673    16820 |    37658    37750     29 |  1.015 % |
898.06/898.06	c |   2059486 |    1370     5673    16820 |    37658    36789     25 |  1.014 % |
903.16/903.15	c |   2069821 |    1370     5673    16820 |    37306    37281     29 |  1.012 % |
909.36/909.39	c |   2081188 |    1370     5673    16820 |    37817    33523     32 |  1.012 % |
916.66/916.68	c |   2093690 |    1370     5673    16820 |    37806    37312     31 |  1.012 % |
925.16/925.21	c |   2107443 |    1370     5673    16820 |    32140    30070     29 |  1.012 % |
931.26/931.21	c |   2122571 |    1370     5673    16820 | 2147483647    29320     30 |  1.012 % |
937.16/937.14	c |   2139211 |    1370     5673    16820 |    36749    37142     39 |  1.014 % |
942.46/942.49	c |   2157513 |    1370     5673    16820 | 2147483647    34945     32 |  1.012 % |
942.56/942.52	c |   2157613 |    1370     5673    16820 | 2147483647    35045     32 |  1.014 % |
942.56/942.57	c |   2157723 |    1370     5673    16820 | 2147483647    35155     32 |  1.012 % |
942.56/942.59	c |   2157844 |    1370     5673    16820 | 2147483647    35276     32 |  1.012 % |
942.66/942.65	c |   2157978 |    1370     5673    16820 | 2147483647    35410     32 |  1.012 % |
942.76/942.72	c |   2158124 |    1370     5673    16820 | 2147483647    35556     32 |  1.012 % |
942.76/942.77	c |   2158285 |    1370     5673    16820 | 2147483647    35717     32 |  1.012 % |
942.87/942.87	c |   2158461 |    1370     5673    16820 | 2147483647    35893     32 |  1.012 % |
942.96/942.91	c |   2158654 |    1370     5673    16820 | 2147483647    36086     32 |  1.012 % |
942.96/942.97	c |   2158866 |    1370     5673    16820 | 2147483647    36298     32 |  1.012 % |
943.06/943.08	c |   2159100 |    1370     5673    16820 | 2147483647    36532     32 |  1.012 % |
943.16/943.19	c |   2159356 |    1370     5673    16820 | 2147483647    36788     32 |  1.014 % |
943.26/943.30	c |   2159638 |    1370     5673    16820 | 2147483647    37070     32 |  1.014 % |
943.36/943.34	c |   2159947 |    1370     5673    16820 | 2147483647    37379     32 |  1.012 % |
943.56/943.51	c |   2160287 |    1370     5673    16820 |    37432    37719     32 |  1.012 % |
943.66/943.68	c |   2160660 |    1370     5673    16820 |    37432    32438     28 |  1.012 % |
943.86/943.87	c |   2161069 |    1370     5673    16820 |    37432    32847     29 |  1.012 % |
944.06/944.04	c |   2161518 |    1370     5673    16820 |    37432    33296     29 |  1.012 % |
944.06/944.11	c |   2162011 |    1370     5673    16820 |    37432    33789     29 |  1.014 % |
944.26/944.25	c |   2162553 |    1370     5673    16820 |    37432    34331     29 |  1.012 % |
944.46/944.43	c |   2163149 |    1370     5673    16820 |    37432    34927     29 |  1.014 % |
944.66/944.68	c |   2163805 |    1370     5673    16820 |    37432    35583     29 |  1.012 % |
944.96/944.94	c |   2164526 |    1370     5673    16820 |    37432    36304     30 |  1.012 % |
945.26/945.21	c |   2165318 |    1370     5673    16820 |    37432    37096     30 |  1.012 % |
945.56/945.52	c |   2166189 |    1370     5673    16820 |    37432    32633     27 |  1.012 % |
946.17/946.12	c |   2167147 |    1370     5673    16820 |    37432    33591     27 |  1.012 % |
946.76/946.72	c |   2168200 |    1370     5673    16820 |    37432    34644     28 |  1.012 % |
946.96/946.95	c |   2169358 |    1370     5673    16820 |    37432    35802     28 |  1.012 % |
947.76/947.79	c |   2170632 |    1370     5673    16820 |    36445    32117     28 |  1.012 % |
948.26/948.29	c |   2172033 |    1370     5673    16820 |    36445    33518     28 |  1.012 % |
948.66/948.70	c |   2173574 |    1370     5673    16820 |    36445    35059     28 |  1.014 % |
949.16/949.11	c |   2175268 |    1370     5673    16820 |    36445    36753     28 |  1.012 % |
949.96/950.00	c |   2177131 |    1370     5673    16820 |    36445    34941     29 |  1.012 % |
950.76/950.72	c |   2179180 |    1370     5673    16820 |    36445    36990     30 |  1.012 % |
951.86/951.90	c |   2181433 |    1370     5673    16820 |    33200    30887     31 |  1.012 % |
952.86/952.85	c |   2183913 |    1370     5673    16820 |    33200    33367     31 |  1.012 % |
953.96/953.96	c |   2186638 |    1370     5673    16820 |    33200    32576     31 |  1.012 % |
955.56/955.56	c |   2189635 |    1370     5673    16820 |    33200    32199     30 |  1.012 % |
957.66/957.64	c |   2192932 |    1370     5673    16820 | 2147483647    35496     31 |  1.012 % |
959.76/959.71	c |   2196558 |    1370     5673    16820 | 2147483647    39122     32 |  1.012 % |
960.86/960.88	c |   2200545 |    1370     5673    16820 |    42564    36566     30 |  1.014 % |
962.46/962.45	c |   2204930 |    1370     5673    16820 |    42564    40951     32 |  1.012 % |
964.87/964.84	c |   2209754 |    1370     5673    16820 |    42564    37418     32 |  1.012 % |
967.26/967.27	c |   2215059 |    1370     5673    16820 |    37665    35973     31 |  1.012 % |
969.66/969.67	c |   2220894 |    1370     5673    16820 |    36908    33313     30 |  1.014 % |
972.27/972.23	c |   2227312 |    1370     5673    16820 |    36908    34328     31 |  1.012 % |
974.87/974.84	c |   2234372 |    1370     5673    16820 |    37016    33880     27 |  1.012 % |
978.67/978.70	c |   2242136 |    1370     5673    16820 | 2147483647    37910     28 |  1.012 % |
983.47/983.51	c |   2250677 |    1370     5673    16820 |    45775    38828     29 |  1.012 % |
988.87/988.88	c |   2260071 |    1370     5673    16820 |    39557    39628     29 |  1.012 % |
993.17/993.18	c |   2270404 |    1370     5673    16820 |    32743    33145     37 |  1.013 % |
996.67/996.63	c |   2281770 |    1370     5673    16820 | 2147483647    33532     34 |  1.012 % |
1004.07/1004.11	c |   2294272 |    1370     5673    16820 |    41762    39969     37 |  1.012 % |
1008.87/1008.84	c |   2308024 |    1370     5673    16820 |    39645    38837     27 |  1.012 % |
1016.67/1016.63	c |   2323153 |    1370     5673    16820 |    34745    31898     37 |  1.014 % |
1024.17/1024.16	c |   2339792 |    1370     5673    16820 |    33178    30158     33 |  1.012 % |
1034.17/1034.18	c |   2358094 |    1370     5673    16820 | 2147483647    35788     36 |  1.012 % |
1037.97/1037.92	c |   2378227 |    1370     5673    16820 |    36053    35540     22 |  1.012 % |
1037.97/1037.95	c |   2378327 |    1370     5673    16820 |    36053    35640     23 |  1.012 % |
1038.07/1038.04	c |   2378437 |    1370     5673    16820 |    36053    35750     23 |  1.012 % |
1038.07/1038.11	c |   2378558 |    1370     5673    16820 |    36053    35871     23 |  1.012 % |
1038.17/1038.14	c |   2378691 |    1370     5673    16820 |    36053    36004     23 |  1.012 % |
1038.17/1038.20	c |   2378838 |    1370     5673    16820 |    36053    36151     23 |  1.012 % |
1038.27/1038.29	c |   2378999 |    1370     5673    16820 |    36053    29933     18 |  1.012 % |
1038.37/1038.35	c |   2379175 |    1370     5673    16820 |    36053    30109     18 |  1.012 % |
1038.37/1038.41	c |   2379369 |    1370     5673    16820 |    36053    30303     18 |  1.012 % |
1038.47/1038.45	c |   2379582 |    1370     5673    16820 |    36053    30516     18 |  1.012 % |
1038.47/1038.50	c |   2379816 |    1370     5673    16820 |    36053    30750     18 |  1.012 % |
1038.67/1038.62	c |   2380073 |    1370     5673    16820 |    30935    31007     18 |  1.012 % |
1038.67/1038.70	c |   2380355 |    1370     5673    16820 |    30935    26048     15 |  1.012 % |
1038.77/1038.75	c |   2380664 |    1370     5673    16820 |    30935    26357     15 |  1.014 % |
1038.87/1038.84	c |   2381004 |    1370     5673    16820 |    30935    26697     15 |  1.012 % |
1038.97/1038.93	c |   2381376 |    1370     5673    16820 |    30935    27069     16 |  1.014 % |
1039.07/1039.07	c |   2381785 |    1370     5673    16820 |    30935    27478     16 |  1.012 % |
1039.27/1039.29	c |   2382234 |    1370     5673    16820 |    30935    27927     16 |  1.014 % |
1039.47/1039.50	c |   2382729 |    1370     5673    16820 |    30935    28422     17 |  1.012 % |
1039.77/1039.78	c |   2383271 |    1370     5673    16820 |    30935    28964     17 |  1.012 % |
1039.97/1040.00	c |   2383868 |    1370     5673    16820 |    30935    29561     17 |  1.012 % |
1040.27/1040.23	c |   2384525 |    1370     5673    16820 |    30935    30218     18 |  1.012 % |
1040.37/1040.39	c |   2385246 |    1370     5673    16820 |    30935    30939     18 |  1.015 % |
1040.67/1040.70	c |   2386038 |    1370     5673    16820 |    30935    28588     18 |  1.012 % |
1040.77/1040.78	c |   2386910 |    1370     5673    16820 |    30935    29460     19 |  1.014 % |
1041.17/1041.16	c |   2387869 |    1370     5673    16820 |    30935    30419     19 |  1.012 % |
1041.87/1041.85	c |   2388922 |    1370     5673    16820 |    30935    28328     21 |  1.012 % |
1042.17/1042.16	c |   2390080 |    1370     5673    16820 | 2147483647    29486     22 |  1.012 % |
1042.47/1042.47	c |   2391355 |    1370     5673    16820 | 2147483647    30761     23 |  1.014 % |
1042.87/1042.89	c |   2392755 |    1370     5673    16820 | 2147483647    32161     23 |  1.012 % |
1043.57/1043.54	c |   2394296 |    1370     5673    16820 | 2147483647    33702     23 |  1.012 % |
1044.17/1044.18	c |   2395992 |    1370     5673    16820 | 2147483647    35398     24 |  1.012 % |
1045.18/1045.14	c |   2397855 |    1370     5673    16820 | 2147483647    37261     24 |  1.012 % |
1045.87/1045.88	c |   2399904 |    1370     5673    16820 | 2147483647    39310     25 |  1.012 % |
1046.77/1046.80	c |   2402157 |    1370     5673    16820 | 2147483647    41563     25 |  1.012 % |
1048.17/1048.18	c |   2404636 |    1370     5673    16820 | 2147483647    44042     26 |  1.012 % |
1048.97/1048.93	c |   2407361 |    1370     5673    16820 | 2147483647    46767     26 |  1.012 % |
1050.77/1050.78	c |   2410359 |    1370     5673    16820 |    49406    49765     27 |  1.012 % |
1052.47/1052.44	c |   2413655 |    1370     5673    16820 |    49406    45586     29 |  1.012 % |
1053.57/1053.53	c |   2417280 |    1370     5673    16820 |    49406    49211     28 |  1.012 % |
1056.47/1056.48	c |   2421267 |    1370     5673    16820 |    43770    37656     27 |  1.012 % |
1059.57/1059.53	c |   2425653 |    1370     5673    16820 |    43770    42042     28 |  1.012 % |
1062.78/1062.80	c |   2430476 |    1370     5673    16820 |    38746    32957     26 |  1.014 % |
1065.27/1065.27	c |   2435781 |    1370     5673    16820 |    38746    38262     26 |  1.012 % |
1068.57/1068.57	c |   2441617 |    1370     5673    16820 |    37896    34421     27 |  1.012 % |
1072.77/1072.74	c |   2448035 |    1370     5673    16820 |    37896    34711     29 |  1.012 % |
1074.77/1074.74	c |   2455095 |    1370     5673    16820 |    36677    35893     32 |  1.014 % |
1076.27/1076.26	c |   2462859 |    1370     5673    16820 |    34841    30837     35 |  1.013 % |
1078.47/1078.51	c |   2471399 |    1370     5673    16820 | 2147483647    35858     33 |  1.012 % |
1082.37/1082.40	c |   2480794 |    1370     5673    16820 |    44461    38345     33 |  1.012 % |
1091.07/1091.03	c |   2491129 |    1370     5673    16820 |    38883    32424     29 |  1.012 % |
1100.68/1100.67	c |   2502495 |    1370     5673    16820 |    34175    30492     31 |  1.012 % |
1107.28/1107.23	c |   2514997 |    1370     5673    16820 |    33528    29817     30 |  1.012 % |
1114.87/1114.84	c |   2528750 |    1370     5673    16820 |    31019    30101     31 |  1.012 % |
1123.87/1123.88	c |   2543878 |    1370     5673    16820 | 2147483647    42095     32 |  1.014 % |
1136.97/1136.98	c |   2560520 |    1370     5673    16820 |    41511    34941     29 |  1.012 % |
1144.27/1144.21	c |   2578824 |    1370     5673    16820 |    35844    29905     42 |  1.013 % |
1153.97/1153.92	c |   2598959 |    1370     5673    16820 | 2147483647    38070     44 |  1.012 % |
1168.47/1168.41	c |   2621104 |    1370     5673    16820 |    35262    30820     33 |  1.012 % |
1168.47/1168.44	c |   2621204 |    1370     5673    16820 |    35262    30920     33 |  1.012 % |
1168.47/1168.48	c |   2621314 |    1370     5673    16820 |    35262    31030     33 |  1.012 % |
1168.57/1168.52	c |   2621435 |    1370     5673    16820 |    35262    31151     33 |  1.012 % |
1168.57/1168.58	c |   2621569 |    1370     5673    16820 |    35262    31285     33 |  1.012 % |
1168.67/1168.61	c |   2621715 |    1370     5673    16820 |    35262    31431     33 |  1.012 % |
1168.67/1168.67	c |   2621875 |    1370     5673    16820 |    35262    31591     33 |  1.012 % |
1168.77/1168.74	c |   2622052 |    1370     5673    16820 |    35262    31768     33 |  1.012 % |
1168.77/1168.77	c |   2622245 |    1370     5673    16820 |    35262    31961     33 |  1.012 % |
1168.87/1168.87	c |   2622457 |    1370     5673    16820 |    35262    32173     33 |  1.012 % |
1168.97/1168.93	c |   2622690 |    1370     5673    16820 |    35262    32406     33 |  1.012 % |
1169.07/1169.04	c |   2622946 |    1370     5673    16820 |    35262    32662     33 |  1.012 % |
1169.07/1169.09	c |   2623227 |    1370     5673    16820 |    35262    32943     33 |  1.012 % |
1169.27/1169.23	c |   2623536 |    1370     5673    16820 |    35262    33252     33 |  1.012 % |
1169.37/1169.32	c |   2623877 |    1370     5673    16820 |    35262    33593     33 |  1.014 % |
1169.57/1169.54	c |   2624249 |    1370     5673    16820 |    35262    33965     33 |  1.012 % |
1169.67/1169.69	c |   2624658 |    1370     5673    16820 |    35262    34374     33 |  1.014 % |
1169.87/1169.90	c |   2625109 |    1370     5673    16820 |    35262    34825     34 |  1.012 % |
1170.07/1170.06	c |   2625603 |    1370     5673    16820 |    35262    35319     34 |  1.012 % |
1170.37/1170.32	c |   2626145 |    1370     5673    16820 |    35262    30965     32 |  1.012 % |
1170.58/1170.53	c |   2626741 |    1370     5673    16820 |    35262    31561     32 |  1.012 % |
1170.77/1170.80	c |   2627396 |    1370     5673    16820 |    35262    32216     32 |  1.012 % |
1171.07/1171.03	c |   2628116 |    1370     5673    16820 |    35262    32936     32 |  1.012 % |
1171.27/1171.26	c |   2628908 |    1370     5673    16820 |    35262    33728     32 |  1.012 % |
1171.57/1171.60	c |   2629780 |    1370     5673    16820 |    35262    34600     32 |  1.012 % |
1172.07/1172.10	c |   2630740 |    1370     5673    16820 |    34820    31240     31 |  1.012 % |
1172.57/1172.51	c |   2631794 |    1370     5673    16820 |    34820    32294     31 |  1.012 % |
1172.67/1172.67	c |   2632954 |    1370     5673    16820 |    34820    33454     31 |  1.012 % |
1172.78/1172.79	c |   2634228 |    1370     5673    16820 |    34820    34728     30 |  1.012 % |
1173.67/1173.67	c |   2635629 |    1370     5673    16820 |    34820    32597     30 |  1.012 % |
1174.57/1174.54	c |   2637170 |    1370     5673    16820 |    34820    34138     31 |  1.012 % |
1175.37/1175.39	c |   2638865 |    1370     5673    16820 |    34820    32118     30 |  1.012 % |
1176.67/1176.61	c |   2640729 |    1370     5673    16820 |    33255    30572     29 |  1.012 % |
1177.47/1177.47	c |   2642779 |    1370     5673    16820 |    33255    32622     29 |  1.012 % |
1178.57/1178.51	c |   2645034 |    1370     5673    16820 |    33255    31510     29 |  1.012 % |
1179.07/1179.10	c |   2647512 |    1370     5673    16820 |    33255    33988     31 |  1.014 % |
1179.77/1179.71	c |   2650239 |    1370     5673    16820 | 2147483647    32892     30 |  1.015 % |
1181.47/1181.44	c |   2653237 |    1370     5673    16820 | 2147483647    35890     31 |  1.012 % |
1182.97/1182.94	c |   2656534 |    1370     5673    16820 | 2147483647    39187     31 |  1.012 % |
1184.17/1184.12	c |   2660159 |    1370     5673    16820 |    42653    42812     33 |  1.014 % |
1186.37/1186.35	c |   2664146 |    1370     5673    16820 |    42653    39483     32 |  1.015 % |
1189.28/1189.30	c |   2668531 |    1370     5673    16820 |    42653    35708     32 |  1.015 % |
1190.38/1190.36	c |   2673355 |    1370     5673    16820 |    37177    32789     33 |  1.015 % |
1192.87/1192.86	c |   2678660 |    1370     5673    16820 |    37177    30988     34 |  1.012 % |
1195.37/1195.40	c |   2684498 |    1370     5673    16820 |    32328    30985     32 |  1.014 % |
1198.37/1198.33	c |   2690916 |    1370     5673    16820 |    31256    26808     31 |  1.014 % |
1200.07/1200.01	HOME/SatELiteGTI: line 36: 15575 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1820548-1242452600/watcher-1820548-1242452600 -o /tmp/evaluation-result-1820548-1242452600/solver-1820548-1242452600 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820548-1242452600.cnf 

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


[startup+0 s]
/proc/loadavg: 0.93 1.00 0.99 2/96 15569
/proc/meminfo: memFree=1300540/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2416 CPUtime=0
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 367 644 0 0 0 0 0 0 18 0 1 0 1009758342 2473984 277 4294967295 134512640 135169312 3218135136 3218133672 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 604 277 235 161 0 43 0
[pid=15573] ppid=15569 vsize=952 CPUtime=0.01
/proc/15573/stat : 15573 (SatELite_releas) R 15569 15569 11066 0 -1 4202496 110 0 0 0 1 0 0 0 18 0 1 0 1009758343 974848 46 4294967295 134512640 135223648 3220230736 3220229756 134668528 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15573/statm: 238 50 40 174 0 63 0

[startup+0.104823 s]
/proc/loadavg: 0.93 1.00 0.99 2/96 15569
/proc/meminfo: memFree=1300540/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2420

[startup+0.224815 s]
/proc/loadavg: 0.93 1.00 0.99 2/96 15569
/proc/meminfo: memFree=1300540/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2420

[startup+0.32481 s]
/proc/loadavg: 0.93 1.00 0.99 2/96 15569
/proc/meminfo: memFree=1300540/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2420

[startup+0.724788 s]
/proc/loadavg: 0.93 1.00 0.99 2/96 15569
/proc/meminfo: memFree=1300540/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2420

[startup+1.52474 s]
/proc/loadavg: 0.93 1.00 0.99 3/98 15575
/proc/meminfo: memFree=1299020/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=3796 CPUtime=1.47
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 651 0 0 0 147 0 0 0 25 0 1 0 1009758347 3887104 586 4294967295 134512640 135215339 3217956992 3217955280 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 949 586 72 172 0 776 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6216

[startup+3.12466 s]
/proc/loadavg: 0.93 1.00 0.99 3/98 15575
/proc/meminfo: memFree=1297532/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=5704 CPUtime=3.07
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 1113 0 0 0 307 0 0 0 25 0 1 0 1009758347 5840896 1048 4294967295 134512640 135215339 3217956992 3217955280 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 1426 1048 72 172 0 1253 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8124

[startup+6.32448 s]
/proc/loadavg: 0.93 1.00 0.99 3/98 15575
/proc/meminfo: memFree=1294860/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=7848 CPUtime=6.27
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 1665 0 0 0 627 0 0 0 25 0 1 0 1009758347 8036352 1600 4294967295 134512640 135215339 3217956992 3217954992 134532604 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 1962 1600 72 172 0 1789 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10268

[startup+12.7241 s]
/proc/loadavg: 0.94 1.00 0.99 3/98 15758
/proc/meminfo: memFree=1291408/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=10304 CPUtime=12.67
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2254 0 0 0 1264 3 0 0 25 0 1 0 1009758347 10551296 2189 4294967295 134512640 135215339 3217956992 3217955280 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2576 2189 72 172 0 2403 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12724

[startup+25.5234 s]
/proc/loadavg: 0.95 1.00 0.99 3/98 15758
/proc/meminfo: memFree=1291668/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=10304 CPUtime=25.47
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2261 0 0 0 2544 3 0 0 25 0 1 0 1009758347 10551296 2196 4294967295 134512640 135215339 3217956992 3217955280 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2576 2196 72 172 0 2403 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 12724

[startup+51.112 s]
/proc/loadavg: 0.97 1.00 0.99 3/98 15762
/proc/meminfo: memFree=1291764/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=10304 CPUtime=51.06
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2261 0 0 0 5103 3 0 0 25 0 1 0 1009758347 10551296 2196 4294967295 134512640 135215339 3217956992 3217955280 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2576 2196 72 172 0 2403 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 12724

[startup+102.319 s]
/proc/loadavg: 0.98 1.00 0.99 3/98 15947
/proc/meminfo: memFree=1291880/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=10304 CPUtime=102.27
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2262 0 0 0 10223 4 0 0 25 0 1 0 1009758347 10551296 2197 4294967295 134512640 135215339 3217956992 3217955280 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2576 2197 72 172 0 2403 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 12724

[startup+162.316 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 16140
/proc/meminfo: memFree=1291516/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=10304 CPUtime=162.27
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2263 0 0 0 16223 4 0 0 25 0 1 0 1009758347 10551296 2198 4294967295 134512640 135215339 3217956992 3217955280 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2576 2198 72 172 0 2403 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 12724

[startup+222.322 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 16329
/proc/meminfo: memFree=1291516/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=10452 CPUtime=222.28
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2295 0 0 0 22221 7 0 0 25 0 1 0 1009758347 10702848 2230 4294967295 134512640 135215339 3217956992 3217955280 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2613 2230 72 172 0 2440 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 12872

[startup+282.319 s]
/proc/loadavg: 1.06 1.03 1.00 2/98 16517
/proc/meminfo: memFree=1291508/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=10452 CPUtime=282.28
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2299 0 0 0 28217 11 0 0 25 0 1 0 1009758347 10702848 2234 4294967295 134512640 135215339 3217956992 3217955280 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2613 2234 72 172 0 2440 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 12872

[startup+342.326 s]
/proc/loadavg: 1.02 1.02 1.00 3/98 16704
/proc/meminfo: memFree=1290508/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=11244 CPUtime=342.29
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2515 0 0 0 34216 13 0 0 25 0 1 0 1009758347 11513856 2450 4294967295 134512640 135215339 3217956992 3217955280 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2811 2450 72 172 0 2638 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 13664

[startup+402.312 s]
/proc/loadavg: 1.08 1.04 1.01 3/98 16892
/proc/meminfo: memFree=1290400/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=11380 CPUtime=402.28
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2525 0 0 0 40215 13 0 0 25 0 1 0 1009758347 11653120 2460 4294967295 134512640 135215339 3217956992 3217955280 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 2845 2460 72 172 0 2672 0
Current children cumulated CPU time (s) 402.33

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

/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=12580 CPUtime=522.29
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2836 0 0 0 52216 13 0 0 25 0 1 0 1009758347 12881920 2771 4294967295 134512640 135215339 3217956992 3217955280 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3145 2771 72 172 0 2972 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 15000

[startup+582.313 s]
/proc/loadavg: 1.26 1.09 1.02 3/98 17462
/proc/meminfo: memFree=1289036/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=12712 CPUtime=582.29
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2879 0 0 0 58215 14 0 0 25 0 1 0 1009758347 13017088 2814 4294967295 134512640 135215339 3217956992 3217955280 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3178 2814 72 172 0 3005 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 15132

[startup+642.319 s]
/proc/loadavg: 1.15 1.09 1.02 2/98 17648
/proc/meminfo: memFree=1288896/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=12712 CPUtime=642.3
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 2886 0 0 0 64211 19 0 0 25 0 1 0 1009758347 13017088 2821 4294967295 134512640 135215339 3217956992 3217954192 134545547 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3178 2821 72 172 0 3005 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 15132

[startup+702.316 s]
/proc/loadavg: 1.05 1.07 1.01 2/98 17835
/proc/meminfo: memFree=1288020/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=13784 CPUtime=702.3
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3130 0 0 0 70201 29 0 0 25 0 1 0 1009758347 14114816 3065 4294967295 134512640 135215339 3217956992 3217955200 134534168 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3446 3065 72 172 0 3273 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 16204

[startup+762.313 s]
/proc/loadavg: 1.02 1.05 1.01 2/98 18024
/proc/meminfo: memFree=1288020/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=13784 CPUtime=762.3
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3130 0 0 0 76201 29 0 0 25 0 1 0 1009758347 14114816 3065 4294967295 134512640 135215339 3217956992 3217955280 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3446 3065 72 172 0 3273 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 16204

[startup+822.309 s]
/proc/loadavg: 1.00 1.04 1.00 3/98 18213
/proc/meminfo: memFree=1287896/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=13784 CPUtime=822.3
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3130 0 0 0 82201 29 0 0 25 0 1 0 1009758347 14114816 3065 4294967295 134512640 135215339 3217956992 3217955280 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3446 3065 72 172 0 3273 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 16204

[startup+882.316 s]
/proc/loadavg: 1.00 1.03 1.00 3/98 18405
/proc/meminfo: memFree=1288260/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=13784 CPUtime=882.31
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3130 0 0 0 88202 29 0 0 25 0 1 0 1009758347 14114816 3065 4294967295 134512640 135215339 3217956992 3217955280 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3446 3065 72 172 0 3273 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 16204

[startup+942.313 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 18592
/proc/meminfo: memFree=1288292/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=13784 CPUtime=942.31
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3130 0 0 0 94202 29 0 0 25 0 1 0 1009758347 14114816 3065 4294967295 134512640 135215339 3217956992 3217955280 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3446 3065 72 172 0 3273 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 16204

[startup+1002.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 18778
/proc/meminfo: memFree=1288144/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=13784 CPUtime=1002.32
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3130 0 0 0 100203 29 0 0 25 0 1 0 1009758347 14114816 3065 4294967295 134512640 135215339 3217956992 3217955280 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3446 3065 72 172 0 3273 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 16204

[startup+1062.32 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 18967
/proc/meminfo: memFree=1288044/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=13784 CPUtime=1062.32
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3133 0 0 0 106203 29 0 0 25 0 1 0 1009758347 14114816 3068 4294967295 134512640 135215339 3217956992 3217955264 134525713 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3446 3068 72 172 0 3273 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 16204

[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 19156
/proc/meminfo: memFree=1287648/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=13920 CPUtime=1122.32
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3178 0 0 0 112203 29 0 0 25 0 1 0 1009758347 14254080 3113 4294967295 134512640 135215339 3217956992 3217955280 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3480 3113 72 172 0 3307 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 16340

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 19344
/proc/meminfo: memFree=1286904/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=14856 CPUtime=1182.32
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3397 0 0 0 118199 33 0 0 25 0 1 0 1009758347 15212544 3332 4294967295 134512640 135215339 3217956992 3217955280 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3714 3332 72 172 0 3541 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 17276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 19345
/proc/meminfo: memFree=1286912/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=14856 CPUtime=1200.02
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3397 0 0 0 119969 33 0 0 25 0 1 0 1009758347 15212544 3332 4294967295 134512640 135215339 3217956992 3217955280 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3714 3332 72 172 0 3541 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 17276

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 19345
/proc/meminfo: memFree=1286912/2074464 swapFree=1950760/1959888
[pid=15569] ppid=15567 vsize=2420 CPUtime=0.05
/proc/15569/stat : 15569 (SatELiteGTI) S 15567 15569 11066 0 -1 4194304 386 1074 0 0 0 0 5 0 19 0 1 0 1009758342 2478080 278 4294967295 134512640 135169312 3218135136 3218131352 3085065966 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15569/statm: 605 278 235 161 0 44 0
[pid=15575] ppid=15569 vsize=14856 CPUtime=1200.02
/proc/15575/stat : 15575 (minisat_static) R 15569 15569 11066 0 -1 4202496 3397 0 0 0 119969 33 0 0 25 0 1 0 1009758347 15212544 3332 4294967295 134512640 135215339 3217956992 3217955280 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15575/statm: 3714 3332 72 172 0 3541 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 17276

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.74
system time used= 0.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5132
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= 23
involuntary context switches= 637

runsolver used 0.05 second user time and 0.04 second system time

The end

Launcher Data

Begin job on tipi23 at 2009-05-16 07:43:20
IDJOB=1820548
IDBENCH=20470
IDSOLVER=657
FILE ID=tipi23/1820548-1242452600
PBS_JOBID=
Free space on /tmp= 9776 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.13.unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820548-1242452600/watcher-1820548-1242452600 -o /tmp/evaluation-result-1820548-1242452600/solver-1820548-1242452600 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820548-1242452600.cnf

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

MD5SUM BENCH= 8ca1246723b65c8e0ae1eddb535ce13f
RANDOM SEED= 1620572269

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1300556 kB
Buffers:         39776 kB
Cached:         634460 kB
SwapCached:       3700 kB
Active:         313664 kB
Inactive:       372268 kB
HighTotal:     1178688 kB
HighFree:       538092 kB
LowTotal:       895776 kB
LowFree:        762464 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            1692 kB
Writeback:           0 kB
AnonPages:       10860 kB
Mapped:           4408 kB
Slab:            79504 kB
PageTables:        524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9776 MiB
End job on tipi23 at 2009-05-16 08:03:21