Trace number 1834055

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.06 1200.51

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
MD5SUM8e1d63506cdb99d6b859945ef44fe71f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables430
Number of clauses97558
Sum of the clauses size571598
Maximum clause length12
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21578
Number of clauses of size 30
Number of clauses of size 4738
Number of clauses of size 55690
Number of clauses of size over 589488

Solver Data

0.00/0.00	c Parsing...
0.00/0.10	c ==============================================================================
0.00/0.10	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.10	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |   97494   571534 |   29248       0        0     nan |  0.000 % |
2.38/2.40	c |         0 |   62226   390286 |      --       0       --      -- |     --   | -5316/23808
2.38/2.40	c ==============================================================================
2.38/2.40	c Result  :   #vars: 335   #clauses: 62226   #literals: 390286
2.38/2.40	c CPU time:   2.38164 s
2.38/2.40	c ==============================================================================
2.48/2.52	c This is MiniSat 2.0 beta
2.48/2.52	c WARNING: for repeatability, setting FPU to use double precision
2.48/2.52	c ============================[ Problem Statistics ]=============================
2.48/2.52	c |                                                                             |
2.48/2.52	c |  Number of variables:  335                                                  |
2.48/2.52	c |  Number of clauses:    62226                                                |
2.48/2.56	c |  Parsing time:         0.04         s                                       |
2.48/2.57	c ============================[ Search Statistics ]==============================
2.48/2.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.48/2.57	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.48/2.57	c ===============================================================================
2.48/2.57	c |         0 |     335    62226   390286 |    20742        0    nan |  0.000 % |
2.48/2.58	c |       100 |     334    62226   390286 |    20742       99     14 |  0.299 % |
2.48/2.58	c |       200 |     333    62226   390286 |    20742      198     13 |  0.598 % |
2.48/2.59	c |       306 |     333    62226   390286 |    20742      304     15 |  0.598 % |
2.48/2.59	c |       416 |     333    62226   390286 |    20742      414     15 |  0.608 % |
2.51/2.60	c |       517 |     333    62226   390286 |    20742      515     15 |  0.598 % |
2.51/2.60	c |       628 |     333    62226   390286 |    20742      626     15 |  0.598 % |
2.51/2.61	c |       749 |     333    62226   390286 |    20742      747     15 |  0.598 % |
2.51/2.61	c |       850 |     333    62226   390286 |    20742      848     15 |  0.598 % |
2.51/2.62	c |       960 |     333    62226   390286 |    20742      958     15 |  0.604 % |
2.51/2.62	c |      1086 |     333    62226   390286 |    20742     1084     15 |  0.598 % |
2.51/2.63	c |      1219 |     333    62226   390286 |    20742     1217     15 |  0.598 % |
2.51/2.63	c |      1319 |     332    62226   390286 |    20742     1316     15 |  0.903 % |
2.51/2.64	c |      1432 |     332    62226   390286 |    20742     1429     15 |  0.896 % |
2.51/2.64	c |      1553 |     332    62226   390286 |    20742     1550     15 |  0.896 % |
2.51/2.65	c |      1686 |     332    62226   390286 |    20742     1683     16 |  0.896 % |
2.51/2.66	c |      1835 |     332    62226   390286 |    20742     1832     16 |  0.903 % |
2.51/2.66	c |      1935 |     332    62226   390286 |    20742     1932     16 |  0.896 % |
2.51/2.67	c |      2045 |     332    62226   390286 |    20742     2042     16 |  0.896 % |
2.51/2.67	c |      2167 |     332    62226   390286 |    20742     2164     17 |  0.896 % |
2.51/2.68	c |      2301 |     332    62226   390286 |    20742     2298     16 |  0.896 % |
2.51/2.69	c |      2447 |     332    62226   390286 |    20742     2444     16 |  0.896 % |
2.51/2.69	c |      2607 |     332    62226   390286 |    20742     2604     16 |  0.896 % |
2.51/2.69	c |      2714 |     332    62226   390286 |    20742     2711     16 |  0.903 % |
2.51/2.70	c |      2824 |     332    62226   390286 |    20742     2821     16 |  0.899 % |
2.51/2.71	c |      2947 |     332    62226   390286 |    20742     2944     16 |  0.897 % |
2.51/2.71	c |      3080 |     332    62226   390286 |    20742     3077     16 |  0.896 % |
2.51/2.72	c |      3226 |     332    62226   390286 |    20742     3223     16 |  0.896 % |
2.51/2.73	c |      3388 |     332    62226   390286 |    20742     3385     16 |  0.896 % |
2.51/2.73	c |      3565 |     332    62226   390286 |    20742     3562     16 |  0.899 % |
2.51/2.74	c |      3665 |     332    62226   390286 |    20742     3662     16 |  0.896 % |
2.51/2.74	c |      3776 |     332    62226   390286 |    20742     3773     17 |  0.903 % |
2.51/2.75	c |      3897 |     332    62226   390286 |    20742     3894     17 |  0.896 % |
2.51/2.76	c |      4031 |     332    62226   390286 |    20742     4028     16 |  0.896 % |
2.51/2.76	c |      4180 |     332    62226   390286 |    20742     4177     17 |  0.896 % |
2.51/2.77	c |      4343 |     332    62226   390286 |    20742     4340     17 |  0.896 % |
2.51/2.78	c |      4520 |     332    62226   390286 |    20742     4517     17 |  0.896 % |
2.51/2.79	c |      4713 |     332    62226   390286 |    20742     4710     17 |  0.896 % |
2.51/2.79	c |      4814 |     332    62226   390286 |    20742     4811     17 |  0.896 % |
2.51/2.80	c |      4924 |     332    62226   390286 |    20742     4921     17 |  0.896 % |
2.51/2.80	c |      5047 |     332    62226   390286 |    20742     5044     17 |  0.904 % |
2.51/2.81	c |      5181 |     332    62226   390286 |    20742     5178     17 |  0.897 % |
2.51/2.82	c |      5327 |     332    62226   390286 |    20742     5324     17 |  0.900 % |
2.51/2.83	c |      5488 |     332    62226   390286 |    20742     5485     17 |  0.903 % |
2.51/2.84	c |      5666 |     332    62226   390286 |    20742     5663     17 |  0.896 % |
2.51/2.84	c |      5860 |     332    62226   390286 |    20742     5857     17 |  0.896 % |
2.51/2.85	c |      6072 |     332    62226   390286 |    20742     6069     17 |  0.896 % |
2.51/2.86	c |      6173 |     332    62226   390286 |    20742     6170     17 |  0.896 % |
2.51/2.87	c |      6285 |     332    62226   390286 |    20742     6282     17 |  0.899 % |
2.51/2.87	c |      6407 |     332    62226   390286 |    20742     6404     17 |  0.899 % |
2.51/2.88	c |      6541 |     332    62226   390286 |    20742     6538     17 |  0.903 % |
2.51/2.89	c |      6687 |     332    62226   390286 |    20742     6684     17 |  0.896 % |
2.51/2.89	c |      6847 |     332    62226   390286 |    20742     6843     17 |  1.194 % |
2.51/2.90	c |      7024 |     331    62226   390286 |    20742     7020     17 |  1.195 % |
2.51/2.91	c |      7217 |     331    62226   390286 |    20742     7213     17 |  1.195 % |
2.51/2.92	c |      7431 |     330    62226   390286 |    20742     7426     17 |  1.493 % |
2.51/2.94	c |      7668 |     329    62226   390286 |    20742     7662     17 |  1.792 % |
2.51/2.94	c |      7768 |     329    62226   390286 |    20742     7762     17 |  1.796 % |
2.51/2.95	c |      7878 |     329    62226   390286 |    20742     7872     17 |  1.792 % |
2.51/2.95	c |      7999 |     329    62226   390286 |    20742     7993     17 |  1.798 % |
2.51/2.96	c |      8133 |     329    62226   390286 |    20742     8127     17 |  1.795 % |
2.51/2.97	c |      8279 |     329    62226   390286 |    20742     8273     17 |  1.793 % |
2.51/2.98	c |      8439 |     329    62226   390286 |    20742     8433     17 |  1.792 % |
2.51/2.99	c |      8618 |     329    62226   390286 |    20742     8612     17 |  1.799 % |
2.51/3.00	c |      8812 |     329    62226   390286 |    20742     8806     17 |  1.798 % |
2.51/3.01	c |      9025 |     329    62226   390286 |    20742     9019     17 |  1.792 % |
2.51/3.02	c |      9259 |     329    62226   390286 |    20742     9253     17 |  1.793 % |
2.51/3.04	c |      9515 |     329    62226   390286 |    20742     9509     17 |  1.792 % |
2.51/3.04	c |      9615 |     329    62226   390286 |    20742     9609     17 |  1.793 % |
2.51/3.05	c |      9726 |     329    62226   390286 |    20742     9720     17 |  1.792 % |
2.51/3.05	c |      9847 |     329    62226   390286 |    20742     9841     17 |  1.793 % |
2.51/3.06	c |      9980 |     329    62226   390286 |    20742     9974     17 |  1.792 % |
2.51/3.07	c |     10126 |     329    62226   390286 | 2147483647    10120     17 |  1.792 % |
2.51/3.08	c |     10286 |     329    62226   390286 | 2147483647    10280     17 |  1.792 % |
2.51/3.09	c |     10464 |     329    62226   390286 | 2147483647    10458     17 |  1.792 % |
2.51/3.10	c |     10657 |     329    62226   390286 | 2147483647    10651     17 |  1.792 % |
2.51/3.12	c |     10869 |     329    62226   390286 | 2147483647    10863     17 |  1.792 % |
2.51/3.13	c |     11102 |     328    62226   390286 | 2147483647    11095     17 |  2.090 % |
2.51/3.14	c |     11358 |     328    62226   390286 | 2147483647    11351     17 |  2.098 % |
2.51/3.16	c |     11639 |     328    62226   390286 | 2147483647    11632     17 |  2.097 % |
2.51/3.17	c |     11741 |     328    62226   390286 | 2147483647    11734     17 |  2.090 % |
2.51/3.17	c |     11851 |     328    62226   390286 | 2147483647    11844     17 |  2.090 % |
2.51/3.18	c |     11972 |     328    62226   390286 | 2147483647    11965     17 |  2.090 % |
2.51/3.19	c |     12107 |     328    62226   390286 | 2147483647    12100     17 |  2.098 % |
2.51/3.20	c |     12254 |     328    62226   390286 | 2147483647    12247     17 |  2.090 % |
2.51/3.21	c |     12415 |     328    62226   390286 | 2147483647    12408     17 |  2.090 % |
2.51/3.22	c |     12593 |     328    62226   390286 | 2147483647    12586     17 |  2.092 % |
2.51/3.23	c |     12787 |     328    62226   390286 | 2147483647    12780     18 |  2.090 % |
2.51/3.25	c |     12999 |     328    62226   390286 | 2147483647    12992     18 |  2.090 % |
2.51/3.26	c |     13232 |     328    62226   390286 | 2147483647    13225     17 |  2.090 % |
2.51/3.27	c |     13488 |     328    62226   390286 | 2147483647    13481     17 |  2.091 % |
2.51/3.29	c |     13769 |     328    62226   390286 | 2147483647    13762     18 |  2.090 % |
3.28/3.32	c |     14080 |     328    62226   390286 | 2147483647    14073     18 |  2.099 % |
3.28/3.33	c |     14181 |     328    62226   390286 | 2147483647    14174     18 |  2.090 % |
3.28/3.33	c |     14292 |     328    62226   390286 | 2147483647    14285     18 |  2.090 % |
3.28/3.34	c |     14415 |     328    62226   390286 | 2147483647    14408     18 |  2.091 % |
3.28/3.35	c |     14549 |     328    62226   390286 | 2147483647    14542     18 |  2.092 % |
3.28/3.37	c |     14697 |     328    62226   390286 | 2147483647    14690     18 |  2.090 % |
3.28/3.38	c |     14858 |     328    62226   390286 | 2147483647    14851     18 |  2.090 % |
3.28/3.39	c |     15037 |     328    62226   390286 | 2147483647    15030     18 |  2.090 % |
3.37/3.40	c |     15231 |     328    62226   390286 | 2147483647    15224     18 |  2.090 % |
3.37/3.42	c |     15444 |     328    62226   390286 | 2147483647    15437     18 |  2.090 % |
3.37/3.43	c |     15678 |     328    62226   390286 | 2147483647    15671     18 |  2.090 % |
3.37/3.45	c |     15935 |     328    62226   390286 | 2147483647    15928     18 |  2.090 % |
3.37/3.47	c |     16219 |     328    62226   390286 | 2147483647    16212     18 |  2.090 % |
3.37/3.49	c |     16528 |     328    62226   390286 | 2147483647    16521     18 |  2.090 % |
3.47/3.52	c |     16867 |     328    62226   390286 | 2147483647    16860     18 |  2.090 % |
3.47/3.52	c |     16972 |     328    62226   390286 | 2147483647    16965     18 |  2.097 % |
3.47/3.53	c |     17082 |     328    62226   390286 | 2147483647    17075     18 |  2.090 % |
3.47/3.55	c |     17203 |     328    62226   390286 | 2147483647    17196     18 |  2.090 % |
3.47/3.56	c |     17337 |     328    62226   390286 | 2147483647    17330     18 |  2.090 % |
3.47/3.57	c |     17486 |     328    62226   390286 | 2147483647    17479     18 |  2.090 % |
3.47/3.58	c |     17646 |     328    62226   390286 | 2147483647    17639     18 |  2.090 % |
3.57/3.60	c |     17822 |     328    62226   390286 | 2147483647    17815     18 |  2.096 % |
3.57/3.61	c |     18018 |     328    62226   390286 | 2147483647    18011     18 |  2.098 % |
3.57/3.63	c |     18230 |     328    62226   390286 | 2147483647    18223     18 |  2.090 % |
3.57/3.64	c |     18463 |     328    62226   390286 | 2147483647    18456     18 |  2.090 % |
3.57/3.66	c |     18719 |     328    62226   390286 | 2147483647    18712     18 |  2.090 % |
3.57/3.69	c |     19000 |     328    62226   390286 | 2147483647    18993     19 |  2.090 % |
3.67/3.72	c |     19310 |     328    62226   390286 | 2147483647    19303     19 |  2.090 % |
3.67/3.75	c |     19649 |     328    62226   390286 | 2147483647    19642     19 |  2.090 % |
3.67/3.77	c |     20021 |     328    62226   390286 | 2147483647    20014     19 |  2.090 % |
3.67/3.79	c |     20121 |     328    62226   390286 | 2147483647    20114     19 |  2.090 % |
3.77/3.80	c |     20231 |     328    62226   390286 | 2147483647    20224     19 |  2.090 % |
3.77/3.81	c |     20352 |     328    62226   390286 | 2147483647    20345     19 |  2.091 % |
3.77/3.82	c |     20485 |     328    62226   390286 | 2147483647    20478     19 |  2.093 % |
3.77/3.84	c |     20631 |     328    62226   390286 | 2147483647    20624     19 |  2.091 % |
3.77/3.85	c |     20791 |     328    62226   390286 | 2147483647    20784     19 |  2.090 % |
3.77/3.87	c |     20967 |     328    62226   390286 | 2147483647    20960     19 |  2.090 % |
3.77/3.89	c |     21160 |     328    62226   390286 | 2147483647    21153     19 |  2.097 % |
3.87/3.90	c |     21372 |     328    62226   390286 | 2147483647    21365     19 |  2.090 % |
3.87/3.92	c |     21611 |     328    62226   390286 | 2147483647    21604     19 |  2.090 % |
3.87/3.94	c |     21868 |     328    62226   390286 | 2147483647    21861     19 |  2.090 % |
3.87/3.97	c |     22149 |     328    62226   390286 | 2147483647    22142     19 |  2.093 % |
3.87/3.99	c |     22458 |     328    62226   390286 | 2147483647    22451     19 |  2.098 % |
3.97/4.03	c |     22797 |     328    62226   390286 | 2147483647    22790     19 |  2.090 % |
3.97/4.06	c |     23172 |     328    62226   390286 | 2147483647    23165     19 |  2.090 % |
3.97/4.09	c |     23583 |     328    62226   390286 | 2147483647    23576     19 |  2.090 % |
4.07/4.10	c |     23683 |     328    62226   390286 | 2147483647    23676     19 |  2.090 % |
4.07/4.12	c |     23794 |     328    62226   390286 | 2147483647    23787     19 |  2.090 % |
4.07/4.13	c |     23915 |     328    62226   390286 | 2147483647    23908     19 |  2.098 % |
4.07/4.15	c |     24052 |     328    62226   390286 | 2147483647    24045     19 |  2.090 % |
4.07/4.17	c |     24199 |     328    62226   390286 | 2147483647    24192     19 |  2.090 % |
4.07/4.19	c |     24359 |     328    62226   390286 | 2147483647    24352     19 |  2.095 % |
4.17/4.21	c |     24536 |     328    62226   390286 | 2147483647    24529     19 |  2.090 % |
4.17/4.23	c |     24731 |     328    62226   390286 | 2147483647    24724     19 |  2.090 % |
4.17/4.25	c |     24943 |     328    62226   390286 | 2147483647    24936     19 |  2.090 % |
4.17/4.26	c |     25177 |     328    62226   390286 | 2147483647    25170     19 |  2.090 % |
4.17/4.28	c |     25433 |     328    62226   390286 | 2147483647    25426     19 |  2.090 % |
4.27/4.30	c |     25717 |     328    62226   390286 | 2147483647    25710     19 |  2.097 % |
4.27/4.33	c |     26026 |     328    62226   390286 | 2147483647    26019     19 |  2.098 % |
4.27/4.36	c |     26366 |     328    62226   390286 | 2147483647    26359     19 |  2.090 % |
4.27/4.40	c |     26740 |     328    62226   390286 | 2147483647    26733     19 |  2.090 % |
4.37/4.43	c |     27151 |     328    62226   390286 | 2147483647    27144     19 |  2.097 % |
4.37/4.47	c |     27601 |     328    62226   390286 | 2147483647    27594     19 |  2.090 % |
4.37/4.48	c |     27701 |     328    62226   390286 | 2147483647    27694     19 |  2.098 % |
4.37/4.49	c |     27811 |     328    62226   390286 | 2147483647    27804     19 |  2.090 % |
4.47/4.51	c |     27932 |     328    62226   390286 | 2147483647    27925     19 |  2.090 % |
4.47/4.52	c |     28065 |     328    62226   390286 | 2147483647    28058     19 |  2.090 % |
4.47/4.54	c |     28211 |     328    62226   390286 | 2147483647    28204     19 |  2.090 % |
4.47/4.56	c |     28372 |     328    62226   390286 | 2147483647    28365     19 |  2.098 % |
4.47/4.58	c |     28548 |     328    62226   390286 | 2147483647    28541     19 |  2.090 % |
4.57/4.60	c |     28744 |     328    62226   390286 | 2147483647    28737     19 |  2.090 % |
4.57/4.61	c |     28958 |     328    62226   390286 | 2147483647    28951     19 |  2.090 % |
4.57/4.64	c |     29191 |     328    62226   390286 | 2147483647    29184     19 |  2.092 % |
4.57/4.66	c |     29448 |     328    62226   390286 | 2147483647    29441     19 |  2.090 % |
4.57/4.69	c |     29730 |     328    62226   390286 | 2147483647    29723     19 |  2.090 % |
4.68/4.71	c |     30039 |     328    62226   390286 | 2147483647    30032     19 |  2.090 % |
4.68/4.76	c |     30379 |     328    62226   390286 | 2147483647    30372     19 |  2.092 % |
4.78/4.80	c |     30753 |     328    62226   390286 | 2147483647    30746     19 |  2.090 % |
4.78/4.86	c |     31163 |     328    62226   390286 | 2147483647    31156     19 |  2.090 % |
4.87/4.90	c |     31615 |     328    62226   390286 | 2147483647    31608     19 |  2.090 % |
4.87/4.95	c |     32110 |     328    62226   390286 | 2147483647    32103     20 |  2.090 % |
4.87/4.96	c |     32213 |     328    62226   390286 | 2147483647    32206     20 |  2.098 % |
4.87/4.97	c |     32323 |     328    62226   390286 | 2147483647    32316     20 |  2.096 % |
4.87/4.99	c |     32444 |     328    62226   390286 | 2147483647    32437     20 |  2.090 % |
4.97/5.00	c |     32578 |     328    62226   390286 | 2147483647    32571     20 |  2.090 % |
4.97/5.02	c |     32726 |     328    62226   390286 | 2147483647    32719     20 |  2.090 % |
4.97/5.04	c |     32886 |     328    62226   390286 | 2147483647    32879     20 |  2.090 % |
4.97/5.05	c |     33062 |     328    62226   390286 | 2147483647    33055     20 |  2.097 % |
4.97/5.08	c |     33255 |     328    62226   390286 | 2147483647    33248     20 |  2.090 % |
5.07/5.11	c |     33468 |     328    62226   390286 | 2147483647    33461     20 |  2.090 % |
5.07/5.13	c |     33702 |     328    62226   390286 | 2147483647    33695     20 |  2.090 % |
5.07/5.15	c |     33962 |     328    62226   390286 | 2147483647    33955     20 |  2.090 % |
5.07/5.18	c |     34244 |     328    62226   390286 | 2147483647    34237     20 |  2.090 % |
5.17/5.21	c |     34554 |     328    62226   390286 | 2147483647    34547     20 |  2.098 % |
5.17/5.27	c |     34895 |     328    62226   390286 | 2147483647    34888     20 |  2.090 % |
5.27/5.31	c |     35268 |     328    62226   390286 | 2147483647    35261     20 |  2.091 % |
5.27/5.38	c |     35677 |     328    59022   373736 | 2147483647    35647     20 |  2.096 % |
5.37/5.43	c |     36126 |     328    59022   373736 | 2147483647    36096     20 |  2.090 % |
5.37/5.47	c |     36621 |     328    59022   373736 | 2147483647    36591     20 |  2.093 % |
5.48/5.54	c |     37163 |     328    59022   373736 | 2147483647    37133     20 |  2.090 % |
5.48/5.55	c |     37263 |     328    59022   373736 | 2147483647    37233     20 |  2.091 % |
5.48/5.57	c |     37374 |     328    59022   373736 | 2147483647    37344     20 |  2.090 % |
5.48/5.58	c |     37495 |     328    59022   373736 | 2147483647    37465     20 |  2.098 % |
5.48/5.59	c |     37634 |     328    59022   373736 | 2147483647    37604     20 |  2.099 % |
5.58/5.61	c |     37780 |     328    59022   373736 | 2147483647    37750     20 |  2.090 % |
5.58/5.63	c |     37941 |     328    59022   373736 | 2147483647    37911     20 |  2.090 % |
5.58/5.66	c |     38119 |     328    59022   373736 | 2147483647    38089     20 |  2.090 % |
5.58/5.67	c |     38315 |     328    59022   373736 | 2147483647    38285     20 |  2.090 % |
5.67/5.70	c |     38530 |     328    59022   373736 | 2147483647    38500     20 |  2.090 % |
5.67/5.73	c |     38763 |     328    59022   373736 | 2147483647    38733     20 |  2.090 % |
5.67/5.76	c |     39019 |     328    59022   373736 | 2147483647    38989     20 |  2.090 % |
5.77/5.80	c |     39301 |     328    59022   373736 | 2147483647    39271     20 |  2.090 % |
5.77/5.84	c |     39612 |     328    59022   373736 | 2147483647    39582     20 |  2.090 % |
5.77/5.89	c |     39951 |     328    59022   373736 | 2147483647    39921     20 |  2.090 % |
5.87/5.94	c |     40325 |     328    59022   373736 | 2147483647    40295     20 |  2.092 % |
5.87/5.99	c |     40735 |     328    59022   373736 | 2147483647    40705     20 |  2.096 % |
5.97/6.05	c |     41185 |     328    59022   373736 | 2147483647    41155     20 |  2.090 % |
6.07/6.11	c |     41678 |     328    59022   373736 | 2147483647    41648     20 |  2.098 % |
6.07/6.17	c |     42221 |     328    59022   373736 | 2147483647    42191     20 |  2.091 % |
6.17/6.24	c |     42817 |     328    59022   373736 | 2147483647    42787     20 |  2.091 % |
6.17/6.25	c |     42917 |     328    59022   373736 | 2147483647    42887     20 |  2.090 % |
6.17/6.27	c |     43027 |     328    59022   373736 | 2147483647    42997     20 |  2.100 % |
6.27/6.31	c |     43150 |     328    59022   373736 | 2147483647    43120     21 |  2.090 % |
6.27/6.33	c |     43284 |     328    59022   373736 | 2147483647    43254     21 |  2.090 % |
6.27/6.35	c |     43430 |     328    59022   373736 | 2147483647    43400     21 |  2.090 % |
6.27/6.38	c |     43594 |     328    59022   373736 | 2147483647    43564     21 |  2.090 % |
6.37/6.43	c |     43770 |     328    59022   373736 | 2147483647    43740     21 |  2.090 % |
6.37/6.45	c |     43963 |     328    59022   373736 | 2147483647    43933     21 |  2.090 % |
6.37/6.49	c |     44175 |     328    59022   373736 | 2147483647    44145     21 |  2.090 % |
6.47/6.53	c |     44408 |     328    59022   373736 | 2147483647    44378     21 |  2.098 % |
6.47/6.56	c |     44664 |     328    59022   373736 | 2147483647    44634     21 |  2.090 % |
6.57/6.62	c |     44946 |     328    59022   373736 | 2147483647    44916     21 |  2.098 % |
6.57/6.67	c |     45255 |     328    59022   373736 | 2147483647    45225     21 |  2.090 % |
6.67/6.72	c |     45594 |     328    59022   373736 | 2147483647    45564     21 |  2.102 % |
6.67/6.78	c |     45967 |     328    59022   373736 | 2147483647    45937     21 |  2.090 % |
6.76/6.84	c |     46377 |     328    59022   373736 | 2147483647    46347     21 |  2.090 % |
6.86/6.90	c |     46828 |     328    59022   373736 | 2147483647    46798     21 |  2.090 % |
6.86/6.96	c |     47323 |     328    59022   373736 | 2147483647    47293     21 |  2.098 % |
6.96/7.02	c |     47867 |     328    59022   373736 | 2147483647    47837     21 |  2.090 % |
7.06/7.11	c |     48464 |     328    59022   373736 | 2147483647    48434     21 |  2.090 % |
7.16/7.22	c |     49119 |     328    59022   373736 | 2147483647    49089     21 |  2.090 % |
7.16/7.24	c |     49219 |     328    59022   373736 | 2147483647    49189     21 |  2.090 % |
7.16/7.26	c |     49332 |     328    59022   373736 | 2147483647    49302     21 |  2.090 % |
7.16/7.29	c |     49455 |     328    59022   373736 | 2147483647    49425     21 |  2.090 % |
7.26/7.31	c |     49588 |     328    59022   373736 | 2147483647    49558     21 |  2.090 % |
7.26/7.33	c |     49734 |     328    59022   373736 | 2147483647    49704     21 |  2.091 % |
7.26/7.36	c |     49896 |     328    59022   373736 | 2147483647    49866     21 |  2.096 % |
7.26/7.39	c |     50072 |     328    59022   373736 | 2147483647    50042     21 |  2.090 % |
7.36/7.42	c |     50265 |     328    59022   373736 | 2147483647    50235     21 |  2.090 % |
7.36/7.45	c |     50480 |     328    59022   373736 | 2147483647    50450     21 |  2.090 % |
7.36/7.47	c |     50713 |     328    59022   373736 | 2147483647    50683     21 |  2.097 % |
7.36/7.49	c |     50969 |     328    59022   373736 | 2147483647    50939     21 |  2.097 % |
7.46/7.53	c |     51251 |     328    59022   373736 | 2147483647    51221     21 |  2.093 % |
7.46/7.57	c |     51560 |     328    59022   373736 | 2147483647    51530     21 |  2.098 % |
7.56/7.67	c |     51900 |     328    59022   373736 | 2147483647    51870     21 |  2.090 % |
7.66/7.73	c |     52272 |     328    59022   373736 | 2147483647    52242     21 |  2.096 % |
7.66/7.79	c |     52683 |     328    59022   373736 | 2147483647    52653     21 |  2.090 % |
7.76/7.86	c |     53133 |     328    59022   373736 | 2147483647    53103     21 |  2.090 % |
7.86/7.92	c |     53626 |     328    59022   373736 | 2147483647    53596     21 |  2.090 % |
7.96/8.02	c |     54168 |     328    59022   373736 | 2147483647    54138     21 |  2.095 % |
8.06/8.12	c |     54764 |     328    59022   373736 | 2147483647    54734     21 |  2.090 % |
8.16/8.24	c |     55421 |     328    59022   373736 | 2147483647    55391     21 |  2.090 % |
8.26/8.36	c |     56141 |     328    59022   373736 | 2147483647    56111     21 |  2.090 % |
8.26/8.38	c |     56245 |     328    59022   373736 | 2147483647    56215     21 |  2.095 % |
8.36/8.40	c |     56355 |     328    59022   373736 | 2147483647    56325     21 |  2.090 % |
8.36/8.42	c |     56476 |     328    59022   373736 | 2147483647    56446     21 |  2.090 % |
8.36/8.45	c |     56609 |     328    59022   373736 | 2147483647    56579     21 |  2.097 % |
8.36/8.47	c |     56756 |     328    59022   373736 | 2147483647    56726     21 |  2.099 % |
8.46/8.50	c |     56916 |     328    59022   373736 | 2147483647    56886     21 |  2.090 % |
8.46/8.53	c |     57092 |     328    59022   373736 | 2147483647    57062     21 |  2.090 % |
8.46/8.58	c |     57285 |     328    59022   373736 | 2147483647    57255     21 |  2.092 % |
8.56/8.63	c |     57498 |     328    59022   373736 | 2147483647    57468     21 |  2.090 % |
8.56/8.68	c |     57732 |     328    59022   373736 | 2147483647    57702     21 |  2.090 % |
8.66/8.74	c |     57990 |     328    59022   373736 | 2147483647    57960     21 |  2.090 % |
8.76/8.80	c |     58271 |     328    59022   373736 | 2147483647    58241     21 |  2.090 % |
8.76/8.86	c |     58580 |     328    59022   373736 | 2147483647    58550     21 |  2.090 % |
8.86/8.92	c |     58919 |     328    59022   373736 | 2147483647    58889     21 |  2.090 % |
8.96/9.00	c |     59294 |     328    59022   373736 | 2147483647    59264     21 |  2.090 % |
8.96/9.07	c |     59703 |     328    59022   373736 | 2147483647    59673     21 |  2.090 % |
9.06/9.15	c |     60153 |     328    59022   373736 | 2147483647    60123     21 |  2.097 % |
9.16/9.24	c |     60648 |     328    59022   373736 | 2147483647    60618     21 |  2.096 % |
9.26/9.32	c |     61190 |     328    59022   373736 | 2147483647    61160     21 |  2.098 % |
9.36/9.43	c |     61786 |     328    59022   373736 | 2147483647    61756     21 |  2.090 % |
9.46/9.54	c |     62441 |     328    59022   373736 | 2147483647    62411     21 |  2.090 % |
9.56/9.66	c |     63164 |     328    59022   373736 | 2147483647    63134     21 |  2.090 % |
9.76/9.83	c |     63956 |     328    59022   373736 | 2147483647    63926     21 |  2.098 % |
9.76/9.85	c |     64059 |     328    59022   373736 | 2147483647    64029     21 |  2.090 % |
9.76/9.89	c |     64172 |     328    59022   373736 | 2147483647    64142     21 |  2.090 % |
9.86/9.94	c |     64295 |     328    59022   373736 | 2147483647    64265     21 |  2.098 % |
9.86/9.97	c |     64428 |     328    59022   373736 | 2147483647    64398     21 |  2.098 % |
9.96/10.00	c |     64576 |     328    59022   373736 | 2147483647    64546     21 |  2.090 % |
9.96/10.04	c |     64736 |     328    59022   373736 | 2147483647    64706     21 |  2.090 % |
9.96/10.08	c |     64913 |     328    59022   373736 | 2147483647    64883     21 |  2.096 % |
10.05/10.12	c |     65107 |     328    59022   373736 | 2147483647    65077     21 |  2.090 % |
10.05/10.19	c |     65319 |     328    59022   373736 | 2147483647    65289     21 |  2.098 % |
10.15/10.26	c |     65554 |     328    59022   373736 | 2147483647    65524     22 |  2.090 % |
10.25/10.34	c |     65811 |     328    59022   373736 | 2147483647    65781     22 |  2.090 % |
10.35/10.42	c |     66092 |     328    59022   373736 | 2147483647    66062     21 |  2.090 % |
10.45/10.51	c |     66402 |     328    59022   373736 | 2147483647    66372     22 |  2.090 % |
10.55/10.63	c |     66741 |     328    59022   373736 | 2147483647    66711     22 |  2.090 % |
10.65/10.74	c |     67114 |     328    59022   373736 | 2147483647    67084     22 |  2.090 % |
10.75/10.85	c |     67526 |     328    59022   373736 | 2147483647    67496     22 |  2.098 % |
10.85/10.96	c |     67975 |     328    59022   373736 | 2147483647    67945     22 |  2.090 % |
11.06/11.11	c |     68468 |     328    59022   373736 | 2147483647    68438     22 |  2.090 % |
11.06/11.20	c |     69010 |     328    59022   373736 | 2147483647    68980     22 |  2.098 % |
11.25/11.33	c |     69606 |     328    59022   373736 | 2147483647    69576     22 |  2.090 % |
11.35/11.43	c |     70261 |     328    59022   373736 | 2147483647    70231     22 |  2.090 % |
11.45/11.55	c |     70981 |     328    59022   373736 | 2147483647    70951     22 |  2.090 % |
11.65/11.70	c |     71773 |     328    59022   373736 | 2147483647    71743     22 |  2.090 % |
11.75/11.83	c |     72645 |     328    59022   373736 | 2147483647    72615     22 |  2.090 % |
11.75/11.84	c |     72745 |     328    59022   373736 | 2147483647    72715     22 |  2.090 % |
11.75/11.86	c |     72855 |     328    59022   373736 | 2147483647    72825     22 |  2.090 % |
11.75/11.89	c |     72976 |     328    59022   373736 | 2147483647    72946     22 |  2.090 % |
11.85/11.94	c |     73110 |     328    59022   373736 | 2147483647    73080     22 |  2.098 % |
11.85/11.98	c |     73257 |     328    59022   373736 | 2147483647    73227     22 |  2.090 % |
11.95/12.01	c |     73417 |     328    59022   373736 | 2147483647    73387     22 |  2.091 % |
11.95/12.04	c |     73594 |     328    59022   373736 | 2147483647    73564     22 |  2.090 % |
11.95/12.09	c |     73788 |     328    59022   373736 | 2147483647    73758     22 |  2.090 % |
12.06/12.14	c |     74000 |     328    59022   373736 | 2147483647    73970     22 |  2.098 % |
12.16/12.21	c |     74233 |     328    59022   373736 | 2147483647    74203     22 |  2.090 % |
12.16/12.29	c |     74489 |     328    59022   373736 | 2147483647    74459     22 |  2.092 % |
12.25/12.35	c |     74771 |     328    59022   373736 | 2147483647    74741     22 |  2.098 % |
12.35/12.43	c |     75083 |     328    59022   373736 | 2147483647    75053     22 |  2.090 % |
12.45/12.57	c |     75423 |     328    59022   373736 | 2147483647    75393     22 |  2.090 % |
12.55/12.66	c |     75795 |     328    59022   373736 | 2147483647    75765     22 |  2.090 % |
12.65/12.77	c |     76204 |     328    59022   373736 | 2147483647    76174     22 |  2.090 % |
12.75/12.88	c |     76654 |     328    59022   373736 | 2147483647    76624     22 |  2.090 % |
12.95/13.02	c |     77149 |     328    59022   373736 | 2147483647    77119     22 |  2.090 % |
13.05/13.18	c |     77691 |     328    59022   373736 | 2147483647    77661     22 |  2.090 % |
13.26/13.33	c |     78289 |     328    59022   373736 | 2147483647    78259     22 |  2.090 % |
13.35/13.45	c |     78947 |     328    59022   373736 | 2147483647    78917     22 |  2.098 % |
13.55/13.64	c |     79668 |     328    59022   373736 | 2147483647    79638     22 |  2.096 % |
13.65/13.79	c |     80462 |     328    59022   373736 | 2147483647    80432     22 |  2.090 % |
13.95/14.04	c |     81333 |     328    59022   373736 | 2147483647    81303     22 |  2.090 % |
14.15/14.27	c |     82293 |     328    59022   373736 | 2147483647    82263     22 |  2.090 % |
14.26/14.30	c |     82393 |     328    59022   373736 | 2147483647    82363     22 |  2.090 % |
14.26/14.35	c |     82506 |     328    59022   373736 | 2147483647    82476     22 |  2.090 % |
14.26/14.38	c |     82627 |     328    59022   373736 | 2147483647    82597     22 |  2.090 % |
14.36/14.43	c |     82761 |     328    59022   373736 | 2147483647    82731     22 |  2.096 % |
14.36/14.48	c |     82908 |     327    59022   373736 | 2147483647    82877     22 |  2.389 % |
14.45/14.52	c |     83070 |     327    59022   373736 | 2147483647    83039     22 |  2.389 % |
14.55/14.62	c |     83247 |     327    59022   373736 | 2147483647    83216     22 |  2.389 % |
14.55/14.68	c |     83442 |     327    59022   373736 | 2147483647    83411     22 |  2.389 % |
14.65/14.75	c |     83657 |     327    59022   373736 | 2147483647    83626     22 |  2.389 % |
14.75/14.80	c |     83891 |     327    59022   373736 | 2147483647    83860     22 |  2.389 % |
14.75/14.88	c |     84148 |     327    59022   373736 | 2147483647    84117     22 |  2.389 % |
14.85/14.96	c |     84431 |     327    59022   373736 | 2147483647    84400     22 |  2.389 % |
14.95/15.06	c |     84740 |     327    59022   373736 | 2147483647    84709     23 |  2.389 % |
15.05/15.16	c |     85079 |     327    59022   373736 | 2147483647    85048     23 |  2.389 % |
15.15/15.26	c |     85451 |     327    59022   373736 | 2147483647    85420     23 |  2.389 % |
15.26/15.38	c |     85860 |     327    59022   373736 | 2147483647    85829     23 |  2.397 % |
15.36/15.46	c |     86309 |     327    59022   373736 | 2147483647    86278     23 |  2.389 % |
15.56/15.61	c |     86803 |     327    59022   373736 | 2147483647    86772     23 |  2.400 % |
15.66/15.74	c |     87345 |     327    59022   373736 | 2147483647    87314     23 |  2.395 % |
15.76/15.82	c |     87944 |     327    59022   373736 | 2147483647    87913     23 |  2.389 % |
15.86/15.93	c |     88601 |     327    59022   373736 | 2147483647    88570     23 |  2.389 % |
15.95/16.06	c |     89322 |     327    59022   373736 | 2147483647    89291     23 |  2.389 % |
16.15/16.23	c |     90114 |     327    59022   373736 | 2147483647    90083     23 |  2.389 % |
16.35/16.45	c |     90986 |     326    59022   373736 | 2147483647    90954     23 |  2.687 % |
16.65/16.75	c |     91945 |     326    59022   373736 | 2147483647    91913     23 |  2.687 % |
16.95/17.06	c |     92998 |     326    59022   373736 | 2147483647    92966     23 |  2.687 % |
16.95/17.09	c |     93102 |     326    59022   373736 | 2147483647    93070     23 |  2.687 % |
17.05/17.12	c |     93212 |     326    59022   373736 | 2147483647    93180     23 |  2.687 % |
17.05/17.15	c |     93335 |     326    59022   373736 | 2147483647    93303     23 |  2.696 % |
17.05/17.19	c |     93468 |     326    59022   373736 | 2147483647    93436     23 |  2.687 % |
17.15/17.23	c |     93614 |     326    59022   373736 | 2147483647    93582     23 |  2.693 % |
17.15/17.28	c |     93775 |     326    59022   373736 | 2147483647    93743     23 |  2.687 % |
17.25/17.32	c |     93951 |     326    59022   373736 | 2147483647    93919     23 |  2.687 % |
17.35/17.43	c |     94146 |     326    59022   373736 | 2147483647    94114     23 |  2.687 % |
17.45/17.51	c |     94358 |     326    59022   373736 | 2147483647    94326     23 |  2.687 % |
17.45/17.59	c |     94597 |     326    59022   373736 | 2147483647    94565     23 |  2.687 % |
17.55/17.68	c |     94853 |     326    59022   373736 | 2147483647    94821     23 |  2.689 % |
17.65/17.78	c |     95135 |     326    59022   373736 | 2147483647    95103     23 |  2.696 % |
17.75/17.89	c |     95444 |     326    59022   373736 | 2147483647    95412     23 |  2.695 % |
17.95/18.00	c |     95783 |     326    59022   373736 | 2147483647    95751     23 |  2.687 % |
18.05/18.13	c |     96156 |     326    59022   373736 | 2147483647    96124     23 |  2.687 % |
18.15/18.28	c |     96565 |     326    59022   373736 | 2147483647    96533     23 |  2.687 % |
18.35/18.47	c |     97014 |     326    59022   373736 | 2147483647    96982     23 |  2.687 % |
18.54/18.62	c |     97507 |     326    59022   373736 | 2147483647    97475     23 |  2.687 % |
18.84/18.92	c |     98049 |     326    59022   373736 | 2147483647    98017     23 |  2.687 % |
19.04/19.10	c |     98646 |     326    59022   373736 | 2147483647    98614     23 |  2.687 % |
19.24/19.33	c |     99301 |     326    59022   373736 | 2147483647    99269     23 |  2.687 % |
19.44/19.57	c |    100021 |     326    59022   373736 | 2147483647    99989     23 |  2.687 % |
19.95/20.01	c |    100814 |     326    59022   373736 | 2147483647   100782     23 |  2.687 % |
20.25/20.37	c |    101685 |     326    59022   373736 | 2147483647   101653     23 |  2.695 % |
20.75/20.80	c |    102644 |     326    59022   373736 | 2147483647   102612     23 |  2.687 % |
21.15/21.22	c |    103699 |     326    59022   373736 | 2147483647   103667     23 |  2.687 % |
21.65/21.72	c |    104858 |     326    59022   373736 | 2147483647   104826     24 |  2.687 % |
21.65/21.75	c |    104960 |     326    59022   373736 | 2147483647   104928     24 |  2.687 % |
21.65/21.79	c |    105070 |     326    59022   373736 | 2147483647   105038     24 |  2.687 % |
21.75/21.89	c |    105194 |     326    59022   373736 | 2147483647   105162     24 |  2.687 % |
21.85/21.96	c |    105328 |     326    59022   373736 | 2147483647   105296     24 |  2.687 % |
21.96/22.02	c |    105474 |     326    59022   373736 | 2147483647   105442     24 |  2.687 % |
22.06/22.11	c |    105635 |     326    59022   373736 | 2147483647   105603     24 |  2.687 % |
22.15/22.20	c |    105813 |     326    59022   373736 | 2147483647   105781     24 |  2.687 % |
22.15/22.27	c |    106009 |     326    59022   373736 | 2147483647   105977     24 |  2.687 % |
22.25/22.36	c |    106222 |     326    59022   373736 | 2147483647   106190     24 |  2.687 % |
22.35/22.42	c |    106455 |     326    59022   373736 | 2147483647   106423     24 |  2.687 % |
22.45/22.54	c |    106713 |     326    59022   373736 | 2147483647   106681     24 |  2.688 % |
22.55/22.62	c |    106994 |     326    59022   373736 | 2147483647   106962     23 |  2.694 % |
22.65/22.71	c |    107303 |     326    59022   373736 | 2147483647   107271     23 |  2.694 % |
22.75/22.81	c |    107645 |     326    59022   373736 | 2147483647   107613     23 |  2.687 % |
22.85/22.98	c |    108021 |     326    59022   373736 | 2147483647   107989     23 |  2.692 % |
23.15/23.27	c |    108430 |     326    59022   373736 | 2147483647   108398     23 |  2.687 % |
23.34/23.49	c |    108879 |     326    59022   373736 | 2147483647   108847     23 |  2.687 % |
23.54/23.60	c |    109373 |     326    59022   373736 | 2147483647   109341     23 |  2.687 % |
23.64/23.77	c |    109915 |     326    59022   373736 | 2147483647   109883     23 |  2.687 % |
23.94/24.02	c |    110515 |     326    59022   373736 | 2147483647   110483     24 |  2.687 % |
24.25/24.33	c |    111170 |     326    59022   373736 | 2147483647   111138     24 |  2.687 % |
24.54/24.65	c |    111890 |     326    59022   373736 | 2147483647   111858     24 |  2.687 % |
24.84/24.98	c |    112682 |     326    59022   373736 | 2147483647   112650     24 |  2.687 % |
25.25/25.38	c |    113554 |     326    57192   363325 | 2147483647   113514     24 |  2.687 % |
25.74/25.85	c |    114512 |     326    57192   363325 | 2147483647   114472     24 |  2.687 % |
26.35/26.41	c |    115566 |     326    57192   363325 | 2147483647   115526     24 |  2.687 % |
26.84/26.95	c |    116725 |     326    57192   363325 | 2147483647   116685     24 |  2.687 % |
27.34/27.49	c |    117998 |     326    57192   363325 | 2147483647   117958     24 |  2.687 % |
27.44/27.54	c |    118098 |     326    57192   363325 | 2147483647   118058     24 |  2.687 % |
27.54/27.62	c |    118208 |     326    57192   363325 | 2147483647   118168     24 |  2.687 % |
27.54/27.68	c |    118330 |     326    57192   363325 | 2147483647   118290     24 |  2.687 % |
27.64/27.76	c |    118465 |     326    57192   363325 | 2147483647   118425     24 |  2.687 % |
27.74/27.86	c |    118611 |     326    57192   363325 | 2147483647   118571     24 |  2.687 % |
27.84/27.93	c |    118775 |     326    57192   363325 | 2147483647   118735     24 |  2.687 % |
27.84/27.99	c |    118952 |     326    57192   363325 | 2147483647   118912     24 |  2.687 % |
27.94/28.09	c |    119145 |     326    57192   363325 | 2147483647   119105     24 |  2.695 % |
28.04/28.16	c |    119357 |     326    57192   363325 | 2147483647   119317     24 |  2.687 % |
28.14/28.26	c |    119592 |     326    57192   363325 | 2147483647   119552     24 |  2.687 % |
28.24/28.40	c |    119848 |     326    57192   363325 | 2147483647   119808     24 |  2.687 % |
28.44/28.50	c |    120130 |     326    57192   363325 | 2147483647   120090     24 |  2.687 % |
28.54/28.61	c |    120439 |     326    57192   363325 | 2147483647   120399     24 |  2.687 % |
28.64/28.75	c |    120778 |     326    57192   363325 | 2147483647   120738     24 |  2.687 % |
28.74/28.88	c |    121151 |     326    57192   363325 | 2147483647   121111     24 |  2.687 % |
28.95/29.03	c |    121561 |     326    57192   363325 | 2147483647   121521     24 |  2.687 % |
29.25/29.34	c |    122010 |     326    57192   363325 | 2147483647   121970     24 |  2.687 % |
29.55/29.61	c |    122503 |     326    57192   363325 | 2147483647   122463     24 |  2.687 % |
29.85/29.93	c |    123046 |     326    57192   363325 | 2147483647   123006     24 |  2.687 % |
30.05/30.11	c |    123643 |     326    57192   363325 | 2147483647   123603     24 |  2.687 % |
30.25/30.37	c |    124298 |     326    57192   363325 | 2147483647   124258     24 |  2.687 % |
30.55/30.60	c |    125018 |     326    57192   363325 | 2147483647   124978     24 |  2.687 % |
31.05/31.10	c |    125810 |     326    57192   363325 | 2147483647   125770     24 |  2.687 % |
31.45/31.52	c |    126683 |     326    57192   363325 | 2147483647   126643     24 |  2.687 % |
31.85/31.98	c |    127641 |     326    57192   363325 | 2147483647   127601     24 |  2.687 % |
32.34/32.44	c |    128695 |     326    57192   363325 | 2147483647   128655     24 |  2.687 % |
32.95/33.01	c |    129854 |     326    57192   363325 | 2147483647   129814     24 |  2.695 % |
33.44/33.50	c |    131127 |     326    57192   363325 | 2147483647   131087     24 |  2.687 % |
34.34/34.44	c |    132529 |     326    57192   363325 | 2147483647   132489     24 |  2.687 % |
34.44/34.54	c |    132630 |     326    57192   363325 | 2147483647   132590     24 |  2.687 % |
34.54/34.64	c |    132741 |     326    57192   363325 | 2147483647   132701     24 |  2.687 % |
34.64/34.72	c |    132864 |     326    57192   363325 | 2147483647   132824     25 |  2.687 % |
34.74/34.80	c |    132997 |     326    57192   363325 | 2147483647   132957     25 |  2.693 % |
34.74/34.86	c |    133143 |     326    57192   363325 | 2147483647   133103     25 |  2.687 % |
34.84/34.96	c |    133304 |     326    57192   363325 | 2147483647   133264     25 |  2.688 % |
34.94/35.05	c |    133482 |     326    57192   363325 | 2147483647   133442     25 |  2.687 % |
35.04/35.16	c |    133677 |     326    57192   363325 | 2147483647   133637     25 |  2.687 % |
35.14/35.25	c |    133890 |     326    57192   363325 | 2147483647   133850     25 |  2.687 % |
35.24/35.36	c |    134125 |     326    57192   363325 | 2147483647   134085     25 |  2.687 % |
35.44/35.52	c |    134381 |     326    57192   363325 | 2147483647   134341     25 |  2.687 % |
35.64/35.71	c |    134662 |     326    57192   363325 | 2147483647   134622     25 |  2.687 % |
35.74/35.85	c |    134971 |     326    57192   363325 | 2147483647   134931     25 |  2.687 % |
35.94/36.04	c |    135310 |     326    57192   363325 | 2147483647   135270     25 |  2.687 % |
36.14/36.25	c |    135683 |     326    57192   363325 | 2147483647   135643     25 |  2.687 % |
36.34/36.46	c |    136092 |     326    57192   363325 | 2147483647   136052     25 |  2.687 % |
36.64/36.77	c |    136541 |     326    57192   363325 | 2147483647   136501     25 |  2.687 % |
36.84/36.97	c |    137038 |     326    57192   363325 | 2147483647   136998     25 |  2.687 % |
37.23/37.31	c |    137580 |     326    57192   363325 | 2147483647   137540     25 |  2.687 % |
37.44/37.58	c |    138176 |     326    57192   363325 | 2147483647   138136     25 |  2.687 % |
37.83/37.93	c |    138832 |     326    57192   363325 | 2147483647   138792     25 |  2.687 % |
38.13/38.27	c |    139553 |     326    57192   363325 | 2147483647   139513     25 |  2.687 % |
38.54/38.66	c |    140345 |     326    57192   363325 | 2147483647   140305     25 |  2.687 % |
38.84/38.99	c |    141218 |     326    57192   363325 | 2147483647   141178     25 |  2.687 % |
39.24/39.36	c |    142177 |     326    57192   363325 | 2147483647   142137     25 |  2.695 % |
39.54/39.66	c |    143231 |     326    57192   363325 | 2147483647   143191     25 |  2.687 % |
40.14/40.22	c |    144391 |     326    57192   363325 | 2147483647   144351     25 |  2.695 % |
40.74/40.87	c |    145664 |     326    57192   363325 | 2147483647   145624     25 |  2.687 % |
41.34/41.49	c |    147064 |     326    57192   363325 | 2147483647   147024     25 |  2.687 % |
42.44/42.56	c |    148604 |     326    57192   363325 | 2147483647   148564     25 |  2.687 % |
42.54/42.62	c |    148704 |     326    57192   363325 | 2147483647   148664     25 |  2.695 % |
42.54/42.68	c |    148815 |     326    57192   363325 | 2147483647   148775     25 |  2.687 % |
42.63/42.74	c |    148937 |     326    57192   363325 | 2147483647   148897     25 |  2.687 % |
42.73/42.81	c |    149072 |     326    57192   363325 | 2147483647   149032     25 |  2.687 % |
42.84/42.93	c |    149218 |     326    57192   363325 | 2147483647   149178     25 |  2.687 % |
42.94/43.04	c |    149378 |     326    57192   363325 | 2147483647   149338     25 |  2.687 % |
42.94/43.09	c |    149555 |     326    57192   363325 | 2147483647   149515     25 |  2.694 % |
43.13/43.28	c |    149748 |     326    57192   363325 | 2147483647   149708     25 |  2.687 % |
43.33/43.41	c |    149960 |     326    57192   363325 | 2147483647   149920     25 |  2.687 % |
43.43/43.58	c |    150193 |     326    57192   363325 | 2147483647   150153     25 |  2.687 % |
43.53/43.68	c |    150449 |     326    57192   363325 | 2147483647   150409     25 |  2.687 % |
43.73/43.82	c |    150732 |     326    57192   363325 | 2147483647   150692     25 |  2.695 % |
43.83/43.99	c |    151042 |     326    57192   363325 | 2147483647   151002     25 |  2.688 % |
44.13/44.28	c |    151383 |     326    57192   363325 | 2147483647   151343     25 |  2.687 % |
44.53/44.61	c |    151757 |     326    57192   363325 | 2147483647   151717     25 |  2.687 % |
44.83/44.90	c |    152166 |     326    57192   363325 | 2147483647   152126     25 |  2.687 % |
45.13/45.26	c |    152616 |     326    57192   363325 | 2147483647   152576     25 |  2.687 % |
45.43/45.52	c |    153112 |     326    57192   363325 | 2147483647   153072     25 |  2.687 % |
45.83/45.94	c |    153654 |     326    57192   363325 | 2147483647   153614     25 |  2.687 % |
46.13/46.30	c |    154250 |     326    57192   363325 | 2147483647   154210     25 |  2.694 % |
46.63/46.70	c |    154907 |     326    57192   363325 | 2147483647   154867     25 |  2.695 % |
47.03/47.16	c |    155627 |     326    57192   363325 | 2147483647   155587     25 |  2.687 % |
47.53/47.65	c |    156419 |     326    57192   363325 | 2147483647   156379     25 |  2.687 % |
48.03/48.15	c |    157290 |     326    57192   363325 | 2147483647   157250     25 |  2.687 % |
48.53/48.68	c |    158248 |     326    57192   363325 | 2147483647   158208     25 |  2.687 % |
49.23/49.37	c |    159302 |     326    57192   363325 | 2147483647   159262     25 |  2.687 % |
49.83/49.90	c |    160462 |     326    57192   363325 | 2147483647   160422     25 |  2.687 % |
50.33/50.46	c |    161736 |     326    57192   363325 | 2147483647   161696     25 |  2.687 % |
51.23/51.32	c |    163136 |     326    57192   363325 | 2147483647   163096     25 |  2.695 % |
52.12/52.28	c |    164676 |     326    57192   363325 | 2147483647   164636     25 |  2.687 % |
53.02/53.12	c |    166370 |     326    57192   363325 | 2147483647   166330     25 |  2.687 % |
53.02/53.18	c |    166473 |     326    57192   363325 | 2147483647   166433     25 |  2.687 % |
53.13/53.26	c |    166583 |     326    57192   363325 | 2147483647   166543     25 |  2.687 % |
53.33/53.42	c |    166705 |     326    57192   363325 | 2147483647   166665     25 |  2.688 % |
53.43/53.53	c |    166841 |     326    57192   363325 | 2147483647   166801     25 |  2.687 % |
53.53/53.67	c |    166987 |     326    57192   363325 | 2147483647   166947     25 |  2.687 % |
53.63/53.78	c |    167148 |     326    57192   363325 | 2147483647   167108     25 |  2.694 % |
53.83/53.90	c |    167324 |     326    57192   363325 | 2147483647   167284     25 |  2.687 % |
53.93/54.05	c |    167517 |     326    57192   363325 | 2147483647   167477     25 |  2.687 % |
54.33/54.42	c |    167729 |     326    57192   363325 | 2147483647   167689     25 |  2.687 % |
54.53/54.61	c |    167962 |     326    57192   363325 | 2147483647   167922     25 |  2.687 % |
54.63/54.75	c |    168219 |     326    57192   363325 | 2147483647   168179     25 |  2.687 % |
54.83/54.97	c |    168500 |     326    57192   363325 | 2147483647   168460     25 |  2.694 % |
55.03/55.14	c |    168810 |     326    57192   363325 | 2147483647   168770     25 |  2.687 % |
55.13/55.30	c |    169151 |     326    57192   363325 | 2147483647   169111     25 |  2.687 % |
55.33/55.44	c |    169524 |     326    57192   363325 | 2147483647   169484     25 |  2.687 % |
55.63/55.76	c |    169934 |     326    57192   363325 | 2147483647   169894     25 |  2.687 % |
55.93/56.09	c |    170383 |     326    57192   363325 | 2147483647   170343     25 |  2.687 % |
56.13/56.29	c |    170876 |     326    57192   363325 | 2147483647   170836     25 |  2.687 % |
56.43/56.56	c |    171420 |     326    57192   363325 | 2147483647   171380     25 |  2.696 % |
56.92/57.02	c |    172018 |     326    57192   363325 | 2147483647   171978     26 |  2.687 % |
57.42/57.59	c |    172674 |     326    57192   363325 | 2147483647   172634     26 |  2.687 % |
57.92/58.06	c |    173395 |     326    57192   363325 | 2147483647   173355     26 |  2.687 % |
58.23/58.32	c |    174187 |     326    57192   363325 | 2147483647   174147     26 |  2.687 % |
58.92/59.02	c |    175058 |     326    57192   363325 | 2147483647   175018     26 |  2.687 % |
59.33/59.49	c |    176020 |     326    57192   363325 | 2147483647   175980     26 |  2.687 % |
60.12/60.22	c |    177074 |     326    57192   363325 | 2147483647   177034     26 |  2.687 % |
61.02/61.13	c |    178233 |     326    57192   363325 | 2147483647   178193     26 |  2.687 % |
61.92/62.03	c |    179507 |     326    57192   363325 | 2147483647   179467     26 |  2.687 % |
62.92/63.04	c |    180908 |     326    57192   363325 | 2147483647   180868     26 |  2.687 % |
63.82/63.95	c |    182449 |     326    57192   363325 | 2147483647   182409     26 |  2.695 % |
64.72/64.86	c |    184143 |     326    57192   363325 | 2147483647   184103     26 |  2.687 % |
65.92/66.03	c |    186010 |     326    57192   363325 | 2147483647   185970     26 |  2.687 % |
65.92/66.09	c |    186110 |     326    57192   363325 | 2147483647   186070     26 |  2.687 % |
66.02/66.18	c |    186221 |     326    57192   363325 | 2147483647   186181     26 |  2.687 % |
66.12/66.25	c |    186343 |     326    57192   363325 | 2147483647   186303     26 |  2.695 % |
66.22/66.33	c |    186477 |     326    57192   363325 | 2147483647   186437     26 |  2.687 % |
66.22/66.37	c |    186623 |     326    57192   363325 | 2147483647   186583     26 |  2.687 % |
66.32/66.43	c |    186783 |     326    57192   363325 | 2147483647   186743     26 |  2.687 % |
66.52/66.61	c |    186959 |     326    57192   363325 | 2147483647   186919     26 |  2.687 % |
66.62/66.73	c |    187155 |     326    57192   363325 | 2147483647   187115     26 |  2.687 % |
66.72/66.85	c |    187367 |     326    57192   363325 | 2147483647   187327     26 |  2.687 % |
66.92/67.01	c |    187600 |     326    57192   363325 | 2147483647   187560     26 |  2.687 % |
67.02/67.14	c |    187857 |     326    57192   363325 | 2147483647   187817     26 |  2.687 % |
67.22/67.31	c |    188138 |     326    57192   363325 | 2147483647   188098     26 |  2.687 % |
67.32/67.48	c |    188450 |     326    57192   363325 | 2147483647   188410     26 |  2.687 % |
67.62/67.70	c |    188790 |     326    57192   363325 | 2147483647   188750     26 |  2.687 % |
67.82/67.94	c |    189163 |     326    57192   363325 | 2147483647   189123     26 |  2.687 % |
68.02/68.14	c |    189574 |     326    57192   363325 | 2147483647   189534     26 |  2.687 % |
68.42/68.55	c |    190024 |     326    57192   363325 | 2147483647   189984     26 |  2.687 % |
68.92/69.03	c |    190518 |     326    57192   363325 | 2147483647   190478     26 |  2.687 % |
69.42/69.50	c |    191060 |     326    57192   363325 | 2147483647   191020     26 |  2.687 % |
69.82/69.97	c |    191657 |     326    57192   363325 | 2147483647   191617     26 |  2.687 % |
70.33/70.45	c |    192314 |     326    57192   363325 | 2147483647   192274     26 |  2.687 % |
70.82/70.97	c |    193035 |     326    57192   363325 | 2147483647   192995     26 |  2.687 % |
71.53/71.66	c |    193828 |     326    57192   363325 | 2147483647   193788     26 |  2.687 % |
72.22/72.35	c |    194701 |     326    57192   363325 | 2147483647   194661     26 |  2.687 % |
73.12/73.29	c |    195659 |     326    57192   363325 | 2147483647   195619     26 |  2.687 % |
74.22/74.33	c |    196714 |     326    57192   363325 | 2147483647   196674     26 |  2.687 % |
75.12/75.20	c |    197872 |     326    57192   363325 | 2147483647   197832     26 |  2.687 % |
76.02/76.18	c |    199146 |     326    57192   363325 | 2147483647   199106     26 |  2.687 % |
77.42/77.59	c |    200549 |     326    57192   363325 | 2147483647   200509     26 |  2.687 % |
79.12/79.22	c |    202092 |     326    57192   363325 | 2147483647   202052     26 |  2.687 % |
80.41/80.54	c |    203787 |     326    57192   363325 | 2147483647   203747     26 |  2.687 % |
82.11/82.27	c |    205652 |     326    57192   363325 | 2147483647   205612     26 |  2.695 % |
84.01/84.17	c |    207701 |     326    57192   363325 | 2147483647   207661     26 |  2.687 % |
84.11/84.25	c |    207801 |     326    57192   363325 | 2147483647   207761     26 |  2.687 % |
84.21/84.38	c |    207912 |     326    57192   363325 | 2147483647   207872     26 |  2.688 % |
84.41/84.54	c |    208033 |     326    57192   363325 | 2147483647   207993     26 |  2.687 % |
84.61/84.70	c |    208171 |     326    57192   363325 | 2147483647   208131     26 |  2.687 % |
84.71/84.85	c |    208319 |     326    57192   363325 | 2147483647   208279     26 |  2.687 % |
84.81/84.97	c |    208483 |     326    57192   363325 | 2147483647   208443     26 |  2.687 % |
85.01/85.10	c |    208659 |     326    57192   363325 | 2147483647   208619     26 |  2.694 % |
85.11/85.24	c |    208852 |     326    57192   363325 | 2147483647   208812     26 |  2.687 % |
85.31/85.40	c |    209065 |     326    57192   363325 | 2147483647   209025     26 |  2.687 % |
85.51/85.62	c |    209298 |     326    57192   363325 | 2147483647   209258     26 |  2.687 % |
85.71/85.81	c |    209554 |     326    57192   363325 | 2147483647   209514     26 |  2.687 % |
85.91/86.10	c |    209837 |     326    57192   363325 | 2147483647   209797     26 |  2.687 % |
86.21/86.32	c |    210146 |     326    57192   363325 |   209963   210106     26 |  2.687 % |
87.01/87.15	c |    210485 |     326    57192   363325 |   209963   181423     26 |  2.687 % |
87.31/87.44	c |    210859 |     326    57192   363325 |   209963   181797     26 |  2.687 % |
87.71/87.86	c |    211271 |     326    57192   363325 |   209963   182209     26 |  2.687 % |
87.91/88.10	c |    211720 |     326    57192   363325 |   209963   182658     26 |  2.687 % |
88.41/88.50	c |    212213 |     326    57192   363325 |   209963   183151     26 |  2.693 % |
88.81/88.92	c |    212756 |     326    57192   363325 |   209963   183694     26 |  2.687 % |
89.21/89.34	c |    213352 |     326    57192   363325 |   209963   184290     26 |  2.694 % |
89.71/89.82	c |    214007 |     326    57192   363325 |   209963   184945     26 |  2.687 % |
90.42/90.54	c |    214727 |     326    57192   363325 |   209963   185665     26 |  2.688 % |
90.92/91.03	c |    215519 |     326    57192   363325 |   209963   186457     26 |  2.687 % |
91.92/92.02	c |    216391 |     326    57192   363325 |   209963   187329     26 |  2.687 % |
92.52/92.62	c |    217350 |     326    57192   363325 |   209963   188288     26 |  2.687 % |
93.32/93.50	c |    218404 |     326    57192   363325 |   209963   189342     26 |  2.687 % |
94.12/94.28	c |    219562 |     326    57192   363325 |   209963   190500     26 |  2.687 % |
95.51/95.65	c |    220835 |     326    57192   363325 |   190942   166774     26 |  2.687 % |
96.61/96.76	c |    222238 |     326    57192   363325 |   190942   168177     26 |  2.687 % |
97.61/97.75	c |    223779 |     326    57192   363325 |   190942   169718     26 |  2.687 % |
98.61/98.77	c |    225473 |     326    57192   363325 |   190942   171412     26 |  2.687 % |
100.12/100.24	c |    227336 |     326    57192   363325 |   190942   173275     26 |  2.687 % |
101.31/101.41	c |    229387 |     326    57192   363325 |   190942   175326     27 |  2.687 % |
102.81/102.95	c |    231640 |     326    57192   363325 |   175941   159967     26 |  2.687 % |
102.91/103.01	c |    231740 |     326    57192   363325 |   175941   160067     26 |  2.687 % |
102.91/103.09	c |    231853 |     326    57192   363325 |   175941   160180     26 |  2.687 % |
103.01/103.15	c |    231976 |     326    57192   363325 |   175941   160303     26 |  2.687 % |
103.11/103.26	c |    232110 |     326    57192   363325 |   175941   160437     26 |  2.687 % |
103.21/103.40	c |    232256 |     326    57192   363325 |   175941   160583     26 |  2.687 % |
103.41/103.51	c |    232417 |     326    57192   363325 |   175941   160744     26 |  2.687 % |
103.51/103.64	c |    232593 |     326    57192   363325 |   175941   160920     26 |  2.687 % |
103.71/103.83	c |    232786 |     326    57192   363325 |   175941   161113     26 |  2.687 % |
103.81/103.94	c |    232999 |     326    57192   363325 |   175941   161326     26 |  2.687 % |
103.91/104.09	c |    233232 |     326    57192   363325 |   175941   161559     26 |  2.687 % |
104.01/104.20	c |    233488 |     326    57192   363325 |   175941   161815     26 |  2.695 % |
104.21/104.33	c |    233770 |     326    57192   363325 |   175941   162097     26 |  2.687 % |
104.31/104.43	c |    234080 |     326    57192   363325 |   175941   162407     26 |  2.693 % |
104.51/104.61	c |    234420 |     326    57192   363325 |   175941   162747     26 |  2.687 % |
104.61/104.78	c |    234792 |     326    57192   363325 |   175941   163119     26 |  2.700 % |
104.71/104.88	c |    235201 |     326    57192   363325 |   175941   163528     26 |  2.687 % |
105.01/105.13	c |    235652 |     326    57192   363325 |   175941   163979     26 |  2.687 % |
105.11/105.30	c |    236145 |     326    57192   363325 |   175941   164472     26 |  2.687 % |
105.41/105.52	c |    236688 |     326    57192   363325 |   175941   165015     26 |  2.687 % |
105.61/105.74	c |    237285 |     326    57192   363325 |   175941   165612     26 |  2.687 % |
106.01/106.17	c |    237940 |     326    57192   363325 |   175941   166267     26 |  2.687 % |
106.41/106.53	c |    238660 |     326    57192   363325 |   175941   166987     26 |  2.687 % |
106.91/107.07	c |    239452 |     326    57192   363325 |   175941   167779     26 |  2.687 % |
107.21/107.38	c |    240325 |     326    57192   363325 | 2147483647   168652     27 |  2.687 % |
107.91/108.03	c |    241283 |     326    57192   363325 | 2147483647   169610     26 |  2.687 % |
108.21/108.33	c |    242337 |     326    57192   363325 | 2147483647   170664     27 |  2.687 % |
109.00/109.10	c |    243495 |     326    57192   363325 | 2147483647   171822     27 |  2.687 % |
110.10/110.20	c |    244768 |     324    57192   363325 | 2147483647   173094     27 |  3.284 % |
111.01/111.11	c |    246169 |     324    57192   363325 | 2147483647   174495     27 |  3.284 % |
112.30/112.42	c |    247709 |     324    57192   363325 | 2147483647   176035     27 |  3.284 % |
113.50/113.62	c |    249403 |     324    57192   363325 | 2147483647   177729     27 |  3.284 % |
115.10/115.20	c |    251267 |     324    57192   363325 | 2147483647   179593     27 |  3.284 % |
116.40/116.51	c |    253318 |     324    57192   363325 | 2147483647   181644     27 |  3.284 % |
118.10/118.22	c |    255574 |     324    57192   363325 | 2147483647   183900     27 |  3.284 % |
120.50/120.61	c |    258053 |     324    57192   363325 | 2147483647   186379     27 |  3.284 % |
120.60/120.74	c |    258155 |     324    57192   363325 | 2147483647   186481     27 |  3.284 % |
120.70/120.84	c |    258265 |     324    57192   363325 | 2147483647   186591     27 |  3.284 % |
120.80/120.94	c |    258386 |     324    57192   363325 | 2147483647   186712     27 |  3.284 % |
120.90/121.07	c |    258519 |     324    57192   363325 | 2147483647   186845     27 |  3.284 % |
121.10/121.21	c |    258666 |     324    57192   363325 | 2147483647   186992     27 |  3.284 % |
121.20/121.37	c |    258828 |     324    57192   363325 | 2147483647   187154     27 |  3.284 % |
121.50/121.63	c |    259006 |     324    57192   363325 | 2147483647   187332     27 |  3.284 % |
121.60/121.79	c |    259201 |     324    57192   363325 | 2147483647   187527     27 |  3.284 % |
121.80/121.96	c |    259415 |     324    57192   363325 | 2147483647   187741     27 |  3.284 % |
122.00/122.17	c |    259652 |     324    57192   363325 | 2147483647   187978     27 |  3.284 % |
122.20/122.36	c |    259911 |     324    57192   363325 | 2147483647   188237     27 |  3.284 % |
122.90/123.03	c |    260192 |     324    57192   363325 |   188326   168572     26 |  3.284 % |
123.10/123.22	c |    260504 |     324    57192   363325 |   188326   168884     26 |  3.284 % |
123.40/123.54	c |    260846 |     324    57192   363325 |   188326   169226     26 |  3.284 % |
123.70/123.89	c |    261218 |     324    57192   363325 |   188326   169598     26 |  3.284 % |
124.20/124.33	c |    261628 |     324    57192   363325 |   188326   170008     26 |  3.284 % |
124.40/124.57	c |    262078 |     324    57192   363325 |   188326   170458     26 |  3.284 % |
125.10/125.22	c |    262572 |     324    57192   363325 |   188326   170952     26 |  3.284 % |
125.40/125.52	c |    263114 |     324    57192   363325 |   188326   171494     26 |  3.284 % |
125.70/125.87	c |    263711 |     324    57192   363325 |   188326   172091     26 |  3.284 % |
126.30/126.46	c |    264366 |     324    57192   363325 |   188326   172746     26 |  3.284 % |
126.70/126.86	c |    265088 |     324    57192   363325 |   188326   173468     27 |  3.284 % |
127.29/127.46	c |    265880 |     324    57192   363325 |   188326   174260     27 |  3.284 % |
127.89/128.05	c |    266751 |     324    57192   363325 |   188326   175131     27 |  3.284 % |
128.49/128.61	c |    267709 |     324    57192   363325 |   188326   176089     26 |  3.284 % |
129.09/129.24	c |    268765 |     324    57192   363325 |   188326   177145     27 |  3.284 % |
129.99/130.13	c |    269924 |     324    57192   363325 |   188326   178304     27 |  3.284 % |
130.69/130.89	c |    271198 |     324    57192   363325 | 2147483647   179578     27 |  3.284 % |
131.79/131.94	c |    272598 |     324    57192   363325 | 2147483647   180978     27 |  3.284 % |
133.00/133.12	c |    274138 |     324    57192   363325 | 2147483647   182518     27 |  3.284 % |
133.99/134.16	c |    275833 |     324    57192   363325 | 2147483647   184213     27 |  3.284 % |
135.39/135.51	c |    277696 |     324    57192   363325 | 2147483647   186076     27 |  3.284 % |
136.69/136.87	c |    279745 |     324    57192   363325 | 2147483647   188125     27 |  3.292 % |
138.39/138.51	c |    281999 |     324    57192   363325 | 2147483647   190379     27 |  3.284 % |
140.89/141.04	c |    284477 |     324    55829   356105 | 2147483647   192849     27 |  3.284 % |
143.99/144.15	c |    287203 |     324    55829   356105 | 2147483647   195575     27 |  3.284 % |
144.09/144.26	c |    287304 |     324    55829   356105 | 2147483647   195676     27 |  3.284 % |
144.29/144.43	c |    287414 |     324    55829   356105 | 2147483647   195786     27 |  3.284 % |
144.29/144.50	c |    287535 |     324    55829   356105 | 2147483647   195907     27 |  3.284 % |
144.59/144.70	c |    287670 |     324    55829   356105 | 2147483647   196042     27 |  3.285 % |
144.69/144.86	c |    287817 |     324    55829   356105 | 2147483647   196189     27 |  3.284 % |
144.89/145.03	c |    287977 |     324    55829   356105 | 2147483647   196349     27 |  3.284 % |
145.09/145.20	c |    288154 |     324    55829   356105 | 2147483647   196526     27 |  3.284 % |
145.19/145.31	c |    288348 |     324    55829   356105 | 2147483647   196720     27 |  3.284 % |
145.29/145.42	c |    288561 |     324    55829   356105 | 2147483647   196933     27 |  3.284 % |
145.49/145.64	c |    288795 |     324    55829   356105 | 2147483647   197167     27 |  3.284 % |
145.69/145.80	c |    289052 |     324    55829   356105 | 2147483647   197424     27 |  3.284 % |
145.89/146.09	c |    289334 |     324    55829   356105 | 2147483647   197706     27 |  3.284 % |
146.19/146.31	c |    289645 |     324    55829   356105 | 2147483647   198017     27 |  3.284 % |
146.59/146.71	c |    289986 |     324    55829   356105 | 2147483647   198358     27 |  3.284 % |
147.49/147.68	c |    290358 |     324    55829   356105 |   198372   174869     27 |  3.284 % |
147.99/148.14	c |    290769 |     324    55829   356105 |   198372   175280     27 |  3.284 % |
148.28/148.49	c |    291219 |     324    55829   356105 |   198372   175730     27 |  3.284 % |
148.68/148.86	c |    291713 |     324    55829   356105 |   198372   176224     27 |  3.284 % |
148.98/149.12	c |    292260 |     324    55829   356105 |   198372   176771     27 |  3.284 % |
149.49/149.69	c |    292856 |     324    55829   356105 |   198372   177367     27 |  3.284 % |
149.98/150.10	c |    293511 |     324    55829   356105 |   198372   178022     27 |  3.284 % |
150.59/150.72	c |    294231 |     324    55829   356105 |   198372   178742     27 |  3.284 % |
150.98/151.12	c |    295024 |     324    55829   356105 |   198372   179535     27 |  3.284 % |
151.98/152.16	c |    295895 |     324    55829   356105 |   198372   180406     27 |  3.284 % |
152.58/152.76	c |    296855 |     324    55829   356105 |   198372   181366     27 |  3.284 % |
153.38/153.51	c |    297908 |     324    55829   356105 |   198372   182419     27 |  3.284 % |
154.38/154.53	c |    299067 |     324    55829   356105 |   198372   183578     27 |  3.284 % |
156.09/156.26	c |    300340 |     324    55829   356105 |   184511   166010     26 |  3.284 % |
157.18/157.38	c |    301741 |     324    55829   356105 |   184511   167411     26 |  3.285 % |
158.38/158.53	c |    303282 |     324    55829   356105 |   184511   168952     27 |  3.284 % |
159.78/159.93	c |    304978 |     324    55829   356105 |   184511   170648     27 |  3.284 % |
161.38/161.56	c |    306841 |     324    55829   356105 |   184511   172511     27 |  3.284 % |
163.08/163.26	c |    308892 |     324    55829   356105 |   184511   174562     27 |  3.284 % |
165.38/165.59	c |    311148 |     324    55829   356105 | 2147483647   176818     27 |  3.284 % |
167.08/167.30	c |    313627 |     324    55829   356105 | 2147483647   179297     27 |  3.284 % |
169.08/169.20	c |    316354 |     324    55829   356105 | 2147483647   182024     27 |  3.284 % |
171.58/171.74	c |    319352 |     324    55829   356105 | 2147483647   185022     27 |  3.284 % |
171.68/171.84	c |    319455 |     324    55829   356105 | 2147483647   185125     27 |  3.284 % |
171.78/171.92	c |    319565 |     324    55829   356105 | 2147483647   185235     27 |  3.284 % |
171.89/172.06	c |    319686 |     324    55829   356105 | 2147483647   185356     27 |  3.284 % |
171.99/172.18	c |    319820 |     324    55829   356105 | 2147483647   185490     27 |  3.284 % |
172.19/172.33	c |    319966 |     324    55829   356105 | 2147483647   185636     27 |  3.285 % |
172.29/172.46	c |    320126 |     324    55829   356105 | 2147483647   185796     27 |  3.284 % |
172.48/172.64	c |    320302 |     324    55829   356105 | 2147483647   185972     27 |  3.284 % |
172.59/172.78	c |    320495 |     324    55829   356105 | 2147483647   186165     27 |  3.284 % |
172.78/172.95	c |    320707 |     324    55829   356105 | 2147483647   186377     27 |  3.284 % |
172.98/173.12	c |    320940 |     324    55829   356105 | 2147483647   186610     27 |  3.284 % |
173.18/173.30	c |    321196 |     324    55829   356105 | 2147483647   186866     27 |  3.284 % |
173.28/173.49	c |    321477 |     324    55829   356105 | 2147483647   187147     27 |  3.284 % |
173.58/173.76	c |    321787 |     324    55829   356105 | 2147483647   187457     27 |  3.284 % |
173.88/174.05	c |    322129 |     324    55829   356105 | 2147483647   187799     27 |  3.284 % |
174.28/174.41	c |    322501 |     324    55829   356105 | 2147483647   188171     27 |  3.284 % |
174.79/174.92	c |    322911 |     324    55829   356105 | 2147483647   188581     27 |  3.284 % |
175.18/175.36	c |    323361 |     324    55829   356105 | 2147483647   189031     27 |  3.284 % |
175.58/175.72	c |    323856 |     324    55829   356105 | 2147483647   189526     27 |  3.284 % |
175.99/176.15	c |    324400 |     324    55829   356105 | 2147483647   190070     27 |  3.284 % |
176.48/176.63	c |    324997 |     324    55829   356105 | 2147483647   190667     27 |  3.284 % |
177.09/177.21	c |    325652 |     324    55829   356105 | 2147483647   191322     27 |  3.284 % |
177.68/177.83	c |    326374 |     324    55829   356105 | 2147483647   192044     27 |  3.284 % |
178.19/178.35	c |    327166 |     324    55829   356105 | 2147483647   192836     27 |  3.284 % |
178.68/178.84	c |    328040 |     324    55829   356105 | 2147483647   193710     27 |  3.284 % |
179.78/179.99	c |    328999 |     324    55829   356105 | 2147483647   194669     27 |  3.285 % |
180.58/180.74	c |    330055 |     324    55829   356105 |   195671   195725     27 |  3.284 % |
182.68/182.83	c |    331213 |     324    55829   356105 |   195671   173340     27 |  3.284 % |
183.28/183.48	c |    332486 |     324    55829   356105 |   195671   174613     27 |  3.284 % |
184.79/184.93	c |    333886 |     324    55829   356105 |   195671   176013     27 |  3.284 % |
186.18/186.35	c |    335427 |     324    55829   356105 |   195671   177554     27 |  3.284 % |
187.58/187.73	c |    337121 |     324    55829   356105 |   195671   179248     27 |  3.284 % |
189.18/189.31	c |    338985 |     324    55829   356105 |   195671   181112     27 |  3.284 % |
191.58/191.76	c |    341034 |     324    55829   356105 |   182127   161956     27 |  3.284 % |
192.68/192.88	c |    343288 |     324    55829   356105 |   182127   164210     27 |  3.284 % |
194.88/195.05	c |    345766 |     324    55829   356105 |   182127   166688     27 |  3.284 % |
197.18/197.37	c |    348491 |     324    55829   356105 |   182127   169413     27 |  3.284 % |
199.18/199.35	c |    351488 |     324    55829   356105 | 2147483647   172410     27 |  3.284 % |
201.88/202.03	c |    354786 |     324    55829   356105 | 2147483647   175708     27 |  3.284 % |
201.98/202.10	c |    354886 |     324    55829   356105 | 2147483647   175808     27 |  3.284 % |
202.08/202.20	c |    354999 |     324    55829   356105 | 2147483647   175921     27 |  3.284 % |
202.18/202.32	c |    355120 |     324    55829   356105 | 2147483647   176042     27 |  3.284 % |
202.28/202.42	c |    355253 |     324    55829   356105 | 2147483647   176175     27 |  3.284 % |
202.38/202.54	c |    355399 |     324    55829   356105 | 2147483647   176321     27 |  3.284 % |
202.48/202.69	c |    355564 |     324    55829   356105 | 2147483647   176486     27 |  3.284 % |
202.68/202.85	c |    355740 |     324    55829   356105 | 2147483647   176662     27 |  3.284 % |
202.78/202.97	c |    355933 |     324    55829   356105 | 2147483647   176855     27 |  3.284 % |
202.97/203.10	c |    356145 |     324    55829   356105 | 2147483647   177067     27 |  3.284 % |
203.07/203.27	c |    356378 |     324    55829   356105 | 2147483647   177300     27 |  3.284 % |
203.27/203.41	c |    356634 |     324    55829   356105 | 2147483647   177556     28 |  3.284 % |
203.48/203.60	c |    356916 |     324    55829   356105 | 2147483647   177838     28 |  3.284 % |
203.57/203.79	c |    357226 |     324    55829   356105 | 2147483647   178148     28 |  3.284 % |
203.87/204.02	c |    357565 |     324    55829   356105 | 2147483647   178487     28 |  3.284 % |
204.27/204.40	c |    357939 |     324    55829   356105 | 2147483647   178861     28 |  3.285 % |
204.67/204.80	c |    358348 |     324    55829   356105 | 2147483647   179270     28 |  3.292 % |
205.07/205.24	c |    358797 |     324    55829   356105 | 2147483647   179719     28 |  3.284 % |
205.58/205.74	c |    359294 |     324    55829   356105 | 2147483647   180216     28 |  3.284 % |
205.97/206.12	c |    359836 |     324    55829   356105 | 2147483647   180758     28 |  3.284 % |
206.47/206.63	c |    360432 |     324    55829   356105 | 2147483647   181354     28 |  3.284 % |
207.07/207.24	c |    361090 |     323    55829   356105 | 2147483647   182011     28 |  3.584 % |
207.97/208.19	c |    361810 |     323    55829   356105 | 2147483647   182731     28 |  3.583 % |
208.47/208.67	c |    362602 |     323    55829   356105 | 2147483647   183523     28 |  3.583 % |
209.27/209.49	c |    363473 |     323    55829   356105 | 2147483647   184394     28 |  3.583 % |
210.07/210.25	c |    364431 |     323    55829   356105 | 2147483647   185352     28 |  3.583 % |
211.27/211.44	c |    365484 |     323    55829   356105 | 2147483647   186405     28 |  3.583 % |
212.17/212.34	c |    366642 |     323    55829   356105 | 2147483647   187563     28 |  3.583 % |
213.87/214.07	c |    367915 |     323    55829   356105 | 2147483647   188836     28 |  3.583 % |
215.57/215.74	c |    369317 |     323    55829   356105 | 2147483647   190238     28 |  3.583 % |
217.57/217.72	c |    370857 |     323    55829   356105 |   190921   165568     28 |  3.583 % |
218.97/219.17	c |    372552 |     323    55829   356105 |   190921   167263     28 |  3.583 % |
220.37/220.59	c |    374415 |     323    55829   356105 |   190921   169126     28 |  3.583 % |
222.17/222.39	c |    376464 |     323    55829   356105 |   190921   171175     28 |  3.583 % |
224.37/224.55	c |    378718 |     323    55829   356105 |   190921   173429     28 |  3.589 % |
226.76/226.97	c |    381197 |     323    55829   356105 | 2147483647   175908     28 |  3.583 % |
229.66/229.80	c |    383924 |     323    55829   356105 | 2147483647   178635     28 |  3.583 % |
232.76/232.98	c |    386921 |     323    55829   356105 | 2147483647   181632     28 |  3.583 % |
235.86/236.03	c |    390217 |     323    55829   356105 | 2147483647   184928     29 |  3.583 % |
238.46/238.67	c |    393843 |     323    55829   356105 | 2147483647   188554     29 |  3.583 % |
238.66/238.81	c |    393943 |     323    55829   356105 | 2147483647   188654     29 |  3.583 % |
238.76/238.90	c |    394054 |     323    55829   356105 | 2147483647   188765     29 |  3.583 % |
238.96/239.15	c |    394176 |     323    55829   356105 | 2147483647   188887     29 |  3.584 % |
239.06/239.30	c |    394310 |     323    55829   356105 | 2147483647   189021     29 |  3.583 % |
239.26/239.48	c |    394456 |     323    55829   356105 | 2147483647   189167     29 |  3.583 % |
239.46/239.63	c |    394616 |     323    55829   356105 | 2147483647   189327     29 |  3.583 % |
239.56/239.77	c |    394792 |     323    55829   356105 | 2147483647   189503     29 |  3.583 % |
239.76/239.97	c |    394986 |     323    55829   356105 | 2147483647   189697     29 |  3.583 % |
239.96/240.17	c |    395199 |     323    55829   356105 | 2147483647   189910     29 |  3.583 % |
240.26/240.40	c |    395432 |     323    55829   356105 | 2147483647   190143     29 |  3.583 % |
240.46/240.67	c |    395689 |     323    55829   356105 | 2147483647   190400     29 |  3.583 % |
240.86/241.04	c |    395970 |     323    55829   356105 | 2147483647   190681     29 |  3.583 % |
241.16/241.37	c |    396280 |     323    55829   356105 | 2147483647   190991     29 |  3.583 % |
241.56/241.78	c |    396619 |     323    55829   356105 | 2147483647   191330     29 |  3.583 % |
241.86/242.10	c |    396991 |     323    55829   356105 | 2147483647   191702     29 |  3.583 % |
242.26/242.46	c |    397400 |     323    55829   356105 | 2147483647   192111     29 |  3.583 % |
242.86/243.00	c |    397850 |     323    55829   356105 | 2147483647   192561     29 |  3.583 % |
243.06/243.29	c |    398348 |     323    55829   356105 | 2147483647   193059     29 |  3.583 % |
243.46/243.64	c |    398890 |     323    55829   356105 | 2147483647   193601     29 |  3.583 % |
243.76/243.91	c |    399487 |     323    55829   356105 | 2147483647   194198     29 |  3.583 % |
244.25/244.44	c |    400142 |     323    55829   356105 |   194711   194853     29 |  3.583 % |
245.35/245.59	c |    400862 |     323    55829   356105 |   194711   172781     29 |  3.588 % |
245.75/245.96	c |    401655 |     323    55829   356105 |   194711   173574     29 |  3.583 % |
246.15/246.37	c |    402526 |     323    55829   356105 |   194711   174445     29 |  3.583 % |
246.95/247.13	c |    403484 |     323    55829   356105 |   194711   175403     29 |  3.583 % |
247.75/247.97	c |    404540 |     323    55829   356105 |   194711   176459     29 |  3.583 % |
248.95/249.13	c |    405700 |     323    55829   356105 |   194711   177619     29 |  3.583 % |
250.35/250.50	c |    406973 |     323    55829   356105 |   194711   178892     29 |  3.583 % |
251.45/251.70	c |    408373 |     323    55829   356105 |   194711   180292     29 |  3.583 % |
252.75/252.98	c |    409915 |     323    55829   356105 |   194711   181834     29 |  3.583 % |
254.95/255.11	c |    411610 |     323    55829   356105 |   181919   160768     28 |  3.583 % |
256.55/256.77	c |    413473 |     323    55829   356105 |   181919   162631     28 |  3.583 % |
258.45/258.61	c |    415523 |     323    55829   356105 |   181919   164681     28 |  3.583 % |
260.75/260.93	c |    417776 |     323    55829   356105 |   181919   166934     29 |  3.583 % |
262.94/263.10	c |    420254 |     323    55829   356105 | 2147483647   169412     29 |  3.583 % |
265.34/265.50	c |    422981 |     323    55829   356105 | 2147483647   172139     29 |  3.583 % |
268.25/268.47	c |    425978 |     323    55829   356105 | 2147483647   175136     29 |  3.583 % |
271.04/271.21	c |    429274 |     323    55829   356105 | 2147483647   178432     29 |  3.583 % |
274.44/274.69	c |    432902 |     323    55829   356105 | 2147483647   182060     29 |  3.583 % |
276.94/277.13	c |    436892 |     323    55829   356105 | 2147483647   186050     29 |  3.583 % |
276.94/277.20	c |    436993 |     323    55829   356105 | 2147483647   186151     29 |  3.583 % |
277.04/277.28	c |    437103 |     323    55829   356105 | 2147483647   186261     29 |  3.583 % |
277.14/277.36	c |    437225 |     323    55829   356105 | 2147483647   186383     29 |  3.583 % |
277.24/277.42	c |    437359 |     323    55829   356105 | 2147483647   186517     29 |  3.583 % |
277.24/277.47	c |    437506 |     323    55829   356105 | 2147483647   186664     29 |  3.583 % |
277.54/277.75	c |    437668 |     323    55829   356105 | 2147483647   186826     29 |  3.583 % |
277.64/277.86	c |    437846 |     323    55829   356105 | 2147483647   187004     29 |  3.583 % |
277.74/277.97	c |    438042 |     323    55829   356105 | 2147483647   187200     29 |  3.583 % |
278.04/278.20	c |    438257 |     323    55829   356105 | 2147483647   187415     29 |  3.584 % |
278.04/278.29	c |    438490 |     323    55829   356105 | 2147483647   187648     29 |  3.583 % |
278.14/278.37	c |    438747 |     323    55829   356105 | 2147483647   187905     29 |  3.583 % |
278.34/278.52	c |    439030 |     323    55829   356105 | 2147483647   188188     29 |  3.583 % |
278.74/279.00	c |    439339 |     323    55829   356105 | 2147483647   188497     29 |  3.583 % |
279.14/279.31	c |    439679 |     323    55829   356105 | 2147483647   188837     29 |  3.583 % |
279.44/279.68	c |    440051 |     323    55829   356105 | 2147483647   189209     29 |  3.583 % |
279.84/280.02	c |    440461 |     323    55829   356105 | 2147483647   189619     29 |  3.583 % |
280.34/280.57	c |    440911 |     323    55829   356105 | 2147483647   190069     29 |  3.583 % |
280.84/281.08	c |    441404 |     323    55829   356105 | 2147483647   190562     29 |  3.583 % |
281.54/281.76	c |    441947 |     323    55829   356105 | 2147483647   191105     29 |  3.583 % |
282.13/282.32	c |    442544 |     323    55829   356105 | 2147483647   191702     29 |  3.583 % |
282.73/282.98	c |    443202 |     323    55829   356105 | 2147483647   192360     29 |  3.583 % |
283.53/283.71	c |    443924 |     323    55829   356105 | 2147483647   193082     29 |  3.583 % |
284.23/284.44	c |    444716 |     323    55829   356105 | 2147483647   193874     29 |  3.583 % |
284.93/285.15	c |    445587 |     323    55829   356105 | 2147483647   194745     29 |  3.583 % |
285.84/286.01	c |    446545 |     323    55829   356105 | 2147483647   195703     29 |  3.583 % |
287.04/287.21	c |    447600 |     323    55829   356105 | 2147483647   196758     29 |  3.583 % |
287.83/288.00	c |    448758 |     323    55829   356105 | 2147483647   197916     29 |  3.583 % |
288.63/288.81	c |    450033 |     323    55829   356105 |   199158   199191     29 |  3.583 % |
290.73/290.93	c |    451436 |     323    55829   356105 |   199158   176776     28 |  3.583 % |
291.83/292.04	c |    452976 |     323    55829   356105 |   199158   178316     28 |  3.583 % |
293.03/293.27	c |    454670 |     323    55829   356105 |   199158   180010     28 |  3.588 % |
294.13/294.33	c |    456533 |     323    55829   356105 |   199158   181873     29 |  3.583 % |
295.83/296.06	c |    458584 |     323    55829   356105 |   199158   183924     29 |  3.583 % |
298.73/298.97	c |    460837 |     323    55829   356105 | 2147483647   186177     29 |  3.583 % |
300.93/301.20	c |    463315 |     323    55829   356105 | 2147483647   188655     29 |  3.583 % |
303.03/303.24	c |    466041 |     323    55829   356105 | 2147483647   191381     29 |  3.583 % |
305.83/306.06	c |    469040 |     323    55829   356105 | 2147483647   194380     29 |  3.583 % |
309.13/309.30	c |    472336 |     323    55829   356105 |   195340   174808     28 |  3.583 % |
312.42/312.61	c |    475961 |     323    55829   356105 |   195340   178433     28 |  3.583 % |
316.42/316.60	c |    479949 |     323    55829   356105 |   195340   182421     28 |  3.583 % |
319.82/320.04	c |    484334 |     323    55829   356105 | 2147483647   186806     29 |  3.583 % |
319.92/320.17	c |    484434 |     323    55829   356105 | 2147483647   186906     29 |  3.583 % |
320.02/320.28	c |    484545 |     323    55829   356105 | 2147483647   187017     29 |  3.583 % |
320.23/320.45	c |    484666 |     323    55829   356105 | 2147483647   187138     29 |  3.583 % |
320.43/320.63	c |    484802 |     323    55829   356105 | 2147483647   187274     29 |  3.583 % |
320.63/320.81	c |    484949 |     323    55829   356105 | 2147483647   187421     29 |  3.583 % |
320.73/320.95	c |    485111 |     323    55829   356105 | 2147483647   187583     29 |  3.583 % |
320.83/321.08	c |    485290 |     323    55829   356105 | 2147483647   187762     29 |  3.583 % |
321.03/321.22	c |    485483 |     323    55829   356105 | 2147483647   187955     29 |  3.583 % |
321.23/321.40	c |    485696 |     323    55829   356105 | 2147483647   188168     29 |  3.583 % |
321.43/321.69	c |    485929 |     323    55829   356105 | 2147483647   188401     29 |  3.583 % |
321.83/322.03	c |    486187 |     323    55829   356105 | 2147483647   188659     29 |  3.583 % |
322.13/322.35	c |    486468 |     323    55829   356105 | 2147483647   188940     29 |  3.583 % |
322.53/322.72	c |    486778 |     323    55829   356105 | 2147483647   189250     29 |  3.583 % |
322.93/323.16	c |    487117 |     323    55829   356105 | 2147483647   189589     29 |  3.583 % |
323.33/323.58	c |    487490 |     323    55829   356105 | 2147483647   189962     29 |  3.583 % |
323.83/324.05	c |    487901 |     323    55829   356105 | 2147483647   190373     29 |  3.583 % |
324.13/324.33	c |    488352 |     323    55829   356105 | 2147483647   190824     29 |  3.583 % |
324.43/324.63	c |    488845 |     323    55829   356105 | 2147483647   191317     29 |  3.583 % |
324.93/325.17	c |    489387 |     323    55829   356105 | 2147483647   191859     29 |  3.583 % |
325.43/325.65	c |    489983 |     323    55829   356105 | 2147483647   192455     29 |  3.583 % |
326.63/326.87	c |    490638 |     323    55829   356105 |   192473   169396     28 |  3.583 % |
327.43/327.60	c |    491359 |     323    55829   356105 |   192473   170117     28 |  3.583 % |
328.03/328.23	c |    492151 |     323    55829   356105 |   192473   170909     28 |  3.583 % |
328.73/328.92	c |    493022 |     323    55829   356105 |   192473   171780     28 |  3.583 % |
329.72/329.90	c |    493980 |     323    55829   356105 |   192473   172738     28 |  3.583 % |
330.43/330.64	c |    495035 |     323    55829   356105 |   192473   173793     28 |  3.583 % |
331.42/331.65	c |    496193 |     323    55829   356105 |   192473   174951     28 |  3.583 % |
332.42/332.60	c |    497467 |     323    55829   356105 |   192473   176225     28 |  3.583 % |
333.62/333.86	c |    498868 |     323    55829   356105 |   192473   177626     28 |  3.583 % |
335.72/335.93	c |    500408 |     323    55829   356105 |   178762   156729     27 |  3.583 % |
336.92/337.13	c |    502102 |     323    55829   356105 |   178762   158423     27 |  3.583 % |
338.63/338.89	c |    503965 |     323    55829   356105 |   178762   160286     27 |  3.583 % |
340.62/340.89	c |    506015 |     323    55829   356105 |   178762   162336     27 |  3.583 % |
342.92/343.15	c |    508270 |     323    55829   356105 |   178762   164591     27 |  3.583 % |
345.02/345.20	c |    510749 |     323    55829   356105 | 2147483647   167070     27 |  3.583 % |
347.02/347.30	c |    513474 |     323    55829   356105 | 2147483647   169795     27 |  3.583 % |
349.32/349.53	c |    516473 |     323    55829   356105 | 2147483647   172794     28 |  3.583 % |
351.82/352.08	c |    519769 |     323    55829   356105 | 2147483647   176090     28 |  3.583 % |
354.62/354.89	c |    523394 |     323    55829   356105 | 2147483647   179715     28 |  3.583 % |
357.92/358.18	c |    527383 |     322    55829   356105 | 2147483647   183703     28 |  3.881 % |
361.01/361.29	c |    531768 |     322    55829   356105 | 2147483647   188088     28 |  3.881 % |
365.21/365.43	c |    536592 |     322    55829   356105 | 2147483647   192912     28 |  3.881 % |
365.31/365.56	c |    536692 |     322    55829   356105 | 2147483647   193012     28 |  3.881 % |
365.41/365.64	c |    536803 |     322    55829   356105 | 2147483647   193123     28 |  3.881 % |
365.51/365.77	c |    536925 |     322    55829   356105 | 2147483647   193245     28 |  3.881 % |
365.71/365.92	c |    537059 |     322    55829   356105 | 2147483647   193379     28 |  3.881 % |
365.91/366.14	c |    537207 |     322    55829   356105 | 2147483647   193527     28 |  3.881 % |
366.12/366.31	c |    537367 |     322    55829   356105 | 2147483647   193687     28 |  3.881 % |
366.22/366.40	c |    537545 |     322    55829   356105 | 2147483647   193865     28 |  3.881 % |
366.41/366.65	c |    537740 |     322    55829   356105 | 2147483647   194060     28 |  3.881 % |
366.61/366.83	c |    537953 |     322    55829   356105 | 2147483647   194273     28 |  3.881 % |
366.81/367.02	c |    538189 |     322    55829   356105 | 2147483647   194509     28 |  3.881 % |
367.11/367.33	c |    538445 |     322    55829   356105 | 2147483647   194765     28 |  3.881 % |
367.32/367.51	c |    538727 |     322    55829   356105 | 2147483647   195047     28 |  3.881 % |
367.61/367.85	c |    539036 |     322    55829   356105 | 2147483647   195356     28 |  3.881 % |
368.11/368.36	c |    539376 |     322    55829   356105 | 2147483647   195696     28 |  3.881 % |
368.51/368.77	c |    539749 |     322    55829   356105 | 2147483647   196069     28 |  3.881 % |
369.01/369.29	c |    540158 |     322    55829   356105 | 2147483647   196478     28 |  3.881 % |
369.61/369.80	c |    540607 |     322    55829   356105 | 2147483647   196927     28 |  3.881 % |
370.01/370.22	c |    541100 |     322    55829   356105 | 2147483647   197420     28 |  3.890 % |
370.31/370.56	c |    541642 |     322    55829   356105 | 2147483647   197962     28 |  3.881 % |
371.01/371.21	c |    542239 |     322    54926   351537 | 2147483647   198556     28 |  3.881 % |
371.51/371.74	c |    542894 |     322    54926   351537 | 2147483647   199211     28 |  3.881 % |
372.21/372.46	c |    543614 |     322    54926   351537 | 2147483647   199931     28 |  3.881 % |
373.21/373.44	c |    544407 |     322    54926   351537 | 2147483647   200724     28 |  3.881 % |
374.01/374.22	c |    545278 |     322    54926   351537 | 2147483647   201595     28 |  3.881 % |
374.71/374.95	c |    546237 |     322    54926   351537 | 2147483647   202554     28 |  3.881 % |
375.81/376.00	c |    547290 |     322    54926   351537 | 2147483647   203607     28 |  3.881 % |
377.11/377.34	c |    548449 |     322    54926   351537 | 2147483647   204766     28 |  3.881 % |
378.41/378.67	c |    549724 |     322    54926   351537 | 2147483647   206041     28 |  3.881 % |
380.61/380.84	c |    551124 |     322    54926   351537 |   206319   177822     28 |  3.881 % |
381.81/382.01	c |    552665 |     322    54926   351537 |   206319   179363     28 |  3.887 % |
383.31/383.52	c |    554359 |     322    54926   351537 |   206319   181057     28 |  3.881 % |
384.81/385.08	c |    556222 |     322    54926   351537 |   206319   182920     28 |  3.881 % |
386.81/387.01	c |    558272 |     322    54926   351537 |   206319   184970     28 |  3.881 % |
389.91/390.10	c |    560528 |     322    54926   351537 |   186698   160721     28 |  3.881 % |
392.10/392.37	c |    563008 |     322    54926   351537 |   186698   163201     28 |  3.881 % |
394.40/394.64	c |    565734 |     322    54926   351537 |   186698   165927     28 |  3.881 % |
396.30/396.56	c |    568731 |     322    54926   351537 |   186698   168924     28 |  3.881 % |
399.10/399.40	c |    572027 |     322    54926   351537 | 2147483647   172220     28 |  3.881 % |
402.70/402.95	c |    575654 |     322    54926   351537 | 2147483647   175847     28 |  3.881 % |
407.10/407.37	c |    579641 |     322    54926   351537 | 2147483647   179834     28 |  3.881 % |
409.80/410.04	c |    584026 |     322    54926   351537 | 2147483647   184219     28 |  3.881 % |
415.00/415.28	c |    588849 |     322    54926   351537 | 2147483647   189042     28 |  3.881 % |
420.89/421.19	c |    594157 |     322    54926   351537 |   190193   173941     28 |  3.881 % |
421.10/421.34	c |    594258 |     322    54926   351537 |   190193   174042     28 |  3.881 % |
421.20/421.44	c |    594368 |     322    54926   351537 |   190193   174152     28 |  3.881 % |
421.29/421.58	c |    594492 |     322    54926   351537 |   190193   174276     28 |  3.881 % |
421.49/421.74	c |    594626 |     322    54926   351537 |   190193   174410     28 |  3.881 % |
421.69/421.90	c |    594773 |     322    54926   351537 |   190193   174557     28 |  3.881 % |
421.79/422.05	c |    594933 |     322    54926   351537 |   190193   174717     28 |  3.881 % |
421.89/422.20	c |    595112 |     322    54926   351537 |   190193   174896     28 |  3.881 % |
422.09/422.31	c |    595305 |     322    54926   351537 |   190193   175089     28 |  3.881 % |
422.20/422.50	c |    595517 |     322    54926   351537 |   190193   175301     28 |  3.881 % |
422.49/422.70	c |    595750 |     322    54926   351537 |   190193   175534     28 |  3.881 % |
422.69/422.97	c |    596006 |     322    54926   351537 |   190193   175790     28 |  3.881 % |
423.19/423.46	c |    596288 |     322    54926   351537 |   190193   176072     28 |  3.881 % |
423.40/423.68	c |    596597 |     322    54926   351537 |   190193   176381     28 |  3.881 % |
423.99/424.25	c |    596937 |     322    54926   351537 |   190193   176721     28 |  3.881 % |
424.29/424.54	c |    597310 |     322    54926   351537 |   190193   177094     28 |  3.881 % |
424.79/425.05	c |    597719 |     322    54926   351537 |   190193   177503     28 |  3.881 % |
425.19/425.47	c |    598169 |     322    54926   351537 |   190193   177953     28 |  3.881 % |
425.79/426.08	c |    598662 |     322    54926   351537 |   190193   178446     28 |  3.881 % |
426.39/426.66	c |    599205 |     322    54926   351537 |   190193   178989     28 |  3.881 % |
427.19/427.41	c |    599802 |     322    54926   351537 |   190193   179586     28 |  3.881 % |
428.49/428.71	c |    600460 |     322    54926   351537 |   179784   158065     28 |  3.881 % |
429.09/429.30	c |    601180 |     322    54926   351537 |   179784   158785     28 |  3.881 % |
429.69/429.94	c |    601973 |     322    54926   351537 |   179784   159578     28 |  3.881 % |
430.39/430.69	c |    602844 |     322    54926   351537 |   179784   160449     28 |  3.881 % |
431.19/431.46	c |    603805 |     322    54926   351537 |   179784   161410     28 |  3.881 % |
432.19/432.41	c |    604858 |     322    54926   351537 |   179784   162463     28 |  3.881 % |
433.09/433.40	c |    606016 |     322    54926   351537 |   179784   163621     28 |  3.881 % |
434.59/434.87	c |    607290 |     322    54926   351537 |   179784   164895     28 |  3.881 % |
435.79/436.06	c |    608692 |     322    54926   351537 |   179784   166297     28 |  3.881 % |
437.29/437.53	c |    610233 |     322    54926   351537 | 2147483647   167838     28 |  3.881 % |
438.59/438.88	c |    611927 |     322    54926   351537 | 2147483647   169532     28 |  3.881 % |
440.19/440.47	c |    613790 |     322    54926   351537 | 2147483647   171395     28 |  3.881 % |
441.69/441.91	c |    615841 |     322    54926   351537 | 2147483647   173446     28 |  3.881 % |
443.48/443.72	c |    618095 |     322    54926   351537 | 2147483647   175700     28 |  3.881 % |
445.38/445.66	c |    620573 |     322    54926   351537 | 2147483647   178178     28 |  3.881 % |
447.48/447.75	c |    623298 |     322    54926   351537 | 2147483647   180903     28 |  3.881 % |
449.48/449.76	c |    626296 |     322    54926   351537 | 2147483647   183901     29 |  3.881 % |
451.77/452.07	c |    629594 |     322    54926   351537 | 2147483647   187199     29 |  3.881 % |
455.87/456.19	c |    633221 |     322    54926   351537 | 2147483647   190826     29 |  3.881 % |
460.17/460.43	c |    637209 |     322    54926   351537 | 2147483647   194814     29 |  3.881 % |
464.57/464.86	c |    641595 |     322    54926   351537 |   197608   175815     29 |  3.881 % |
468.97/469.22	c |    646419 |     322    54926   351537 |   197608   180639     29 |  3.881 % |
474.77/475.02	c |    651725 |     322    54926   351537 |   184220   167363     29 |  3.881 % |
479.97/480.26	c |    657563 |     322    54926   351537 |   184220   173201     29 |  3.881 % |
480.07/480.38	c |    657667 |     322    54926   351537 |   184220   173305     29 |  3.881 % |
480.17/480.43	c |    657779 |     322    54926   351537 |   184220   173417     29 |  3.881 % |
480.17/480.46	c |    657902 |     322    54926   351537 |   184220   173540     29 |  3.888 % |
480.27/480.52	c |    658035 |     322    54926   351537 |   184220   173673     29 |  3.884 % |
480.37/480.65	c |    658183 |     322    54926   351537 |   184220   173821     29 |  3.882 % |
480.47/480.76	c |    658343 |     322    54926   351537 |   184220   173981     29 |  3.881 % |
480.57/480.84	c |    658519 |     322    54926   351537 |   184220   174157     29 |  3.881 % |
480.87/481.12	c |    658713 |     322    54926   351537 |   184220   174351     29 |  3.882 % |
480.97/481.22	c |    658929 |     322    54926   351537 |   184220   174567     29 |  3.881 % |
481.07/481.34	c |    659164 |     322    54926   351537 |   184220   174802     29 |  3.881 % |
481.27/481.52	c |    659420 |     322    54926   351537 |   184220   175058     29 |  3.881 % |
481.37/481.69	c |    659701 |     322    54926   351537 |   184220   175339     29 |  3.881 % |
481.67/481.92	c |    660013 |     322    54926   351537 | 2147483647   175651     29 |  3.882 % |
482.36/482.62	c |    660353 |     322    54926   351537 | 2147483647   175991     29 |  3.881 % |
482.67/482.92	c |    660727 |     322    54926   351537 | 2147483647   176365     29 |  3.881 % |
482.96/483.27	c |    661136 |     322    54926   351537 | 2147483647   176774     29 |  3.881 % |
483.56/483.80	c |    661586 |     322    54926   351537 | 2147483647   177224     29 |  3.881 % |
484.16/484.43	c |    662079 |     322    54926   351537 | 2147483647   177717     29 |  3.881 % |
484.76/485.06	c |    662621 |     322    54926   351537 | 2147483647   178259     29 |  3.881 % |
485.56/485.88	c |    663217 |     322    54926   351537 | 2147483647   178855     29 |  3.881 % |
486.26/486.57	c |    663873 |     322    54926   351537 | 2147483647   179511     29 |  3.881 % |
486.96/487.23	c |    664595 |     322    54926   351537 | 2147483647   180233     29 |  3.881 % |
487.86/488.16	c |    665387 |     322    54926   351537 | 2147483647   181025     29 |  3.881 % |
489.06/489.31	c |    666259 |     322    54926   351537 | 2147483647   181897     29 |  3.881 % |
490.37/490.62	c |    667218 |     322    54926   351537 | 2147483647   182856     29 |  3.881 % |
492.26/492.53	c |    668273 |     322    54926   351537 | 2147483647   183911     29 |  3.881 % |
493.06/493.40	c |    669431 |     322    54926   351537 | 2147483647   185069     29 |  3.881 % |
495.26/495.52	c |    670704 |     322    54926   351537 |   185642   156988     28 |  3.881 % |
496.06/496.35	c |    672107 |     322    54926   351537 |   185642   158391     28 |  3.881 % |
497.26/497.52	c |    673647 |     322    54926   351537 |   185642   159931     28 |  3.881 % |
498.66/498.99	c |    675341 |     322    54926   351537 |   185642   161625     28 |  3.881 % |
500.16/500.40	c |    677204 |     322    54926   351537 |   185642   163488     28 |  3.881 % |
502.06/502.36	c |    679253 |     322    54926   351537 |   185642   165537     28 |  3.881 % |
504.86/505.13	c |    681506 |     322    54926   351537 |   166285   149533     28 |  3.881 % |
507.46/507.72	c |    683986 |     322    54926   351537 |   166285   152013     28 |  3.881 % |
510.06/510.39	c |    686712 |     322    54926   351537 |   166285   154739     28 |  3.881 % |
512.36/512.67	c |    689711 |     322    54926   351537 |   166285   157738     28 |  3.881 % |
515.15/515.44	c |    693008 |     322    54926   351537 | 2147483647   161035     28 |  3.881 % |
518.96/519.23	c |    696634 |     322    54926   351537 | 2147483647   164661     28 |  3.881 % |
522.66/522.93	c |    700621 |     322    54926   351537 | 2147483647   168648     29 |  3.881 % |
525.46/525.74	c |    705006 |     322    54926   351537 | 2147483647   173033     29 |  3.881 % |
529.16/529.46	c |    709829 |     322    54926   351537 | 2147483647   177856     29 |  3.881 % |
534.96/535.22	c |    715135 |     322    54926   351537 |   178027   163575     29 |  3.881 % |
539.75/540.07	c |    720971 |     322    54926   351537 | 2147483647   169411     29 |  3.881 % |
544.15/544.49	c |    727389 |     322    54926   351537 | 2147483647   175829     30 |  3.881 % |
544.26/544.55	c |    727490 |     322    54926   351537 | 2147483647   175930     30 |  3.881 % |
544.45/544.73	c |    727600 |     322    54926   351537 | 2147483647   176040     30 |  3.881 % |
544.55/544.87	c |    727721 |     322    54926   351537 | 2147483647   176161     30 |  3.881 % |
544.75/545.00	c |    727855 |     322    54926   351537 | 2147483647   176295     30 |  3.881 % |
544.85/545.17	c |    728002 |     322    54926   351537 | 2147483647   176442     30 |  3.881 % |
545.15/545.43	c |    728162 |     322    54926   351537 | 2147483647   176602     30 |  3.881 % |
545.25/545.59	c |    728339 |     322    54926   351537 | 2147483647   176779     30 |  3.881 % |
545.55/545.82	c |    728535 |     322    54926   351537 | 2147483647   176975     30 |  3.881 % |
545.75/546.08	c |    728748 |     322    54926   351537 | 2147483647   177188     30 |  3.881 % |
546.05/546.32	c |    728981 |     322    54926   351537 | 2147483647   177421     30 |  3.881 % |
546.25/546.56	c |    729237 |     322    54926   351537 | 2147483647   177677     30 |  3.881 % |
546.85/547.15	c |    729518 |     322    54926   351537 | 2147483647   177958     30 |  3.881 % |
547.25/547.52	c |    729828 |     322    54926   351537 | 2147483647   178268     30 |  3.881 % |
547.45/547.75	c |    730167 |     322    54926   351537 | 2147483647   178607     30 |  3.888 % |
547.85/548.10	c |    730539 |     322    54926   351537 | 2147483647   178979     30 |  3.881 % |
548.25/548.58	c |    730948 |     322    54926   351537 | 2147483647   179388     30 |  3.881 % |
548.76/549.00	c |    731398 |     322    54926   351537 | 2147483647   179838     30 |  3.881 % |
549.05/549.35	c |    731891 |     322    54926   351537 | 2147483647   180331     30 |  3.881 % |
549.65/549.99	c |    732433 |     322    54926   351537 | 2147483647   180873     30 |  3.881 % |
550.35/550.61	c |    733031 |     322    54926   351537 | 2147483647   181471     30 |  3.881 % |
550.95/551.22	c |    733686 |     322    54926   351537 | 2147483647   182126     30 |  3.881 % |
551.55/551.89	c |    734408 |     322    54926   351537 | 2147483647   182848     30 |  3.881 % |
552.15/552.45	c |    735201 |     322    54926   351537 | 2147483647   183641     30 |  3.881 % |
552.95/553.27	c |    736072 |     322    54926   351537 | 2147483647   184512     30 |  3.881 % |
554.05/554.38	c |    737031 |     322    54926   351537 | 2147483647   185471     30 |  3.881 % |
555.05/555.37	c |    738085 |     322    54926   351537 | 2147483647   186525     30 |  3.881 % |
556.25/556.59	c |    739243 |     322    54926   351537 | 2147483647   187683     30 |  3.881 % |
558.45/558.74	c |    740516 |     322    54926   351537 |   188443   164427     29 |  3.881 % |
559.75/560.07	c |    741918 |     322    54926   351537 |   188443   165829     29 |  3.881 % |
561.25/561.57	c |    743460 |     322    54926   351537 |   188443   167371     29 |  3.881 % |
562.45/562.79	c |    745156 |     322    54926   351537 |   188443   169067     29 |  3.881 % |
564.65/564.91	c |    747020 |     322    54926   351537 |   188443   170931     29 |  3.881 % |
566.85/567.13	c |    749069 |     322    54926   351537 |   188443   172980     29 |  3.882 % |
569.24/569.55	c |    751322 |     322    54926   351537 |   173912   154180     29 |  3.881 % |
572.04/572.31	c |    753800 |     322    54926   351537 |   173912   156658     29 |  3.881 % |
574.14/574.43	c |    756527 |     322    54926   351537 |   173912   159385     29 |  3.881 % |
577.54/577.87	c |    759525 |     322    54926   351537 |   173912   162383     29 |  3.881 % |
581.44/581.70	c |    762821 |     322    54926   351537 | 2147483647   165679     29 |  3.881 % |
585.14/585.47	c |    766447 |     322    54926   351537 | 2147483647   169305     29 |  3.881 % |
589.74/590.05	c |    770434 |     322    54926   351537 |   172859   154744     29 |  3.881 % |
593.04/593.30	c |    774820 |     322    54926   351537 |   172859   159130     29 |  3.881 % |
596.74/597.08	c |    779644 |     322    54926   351537 |   172859   163954     29 |  3.881 % |
600.94/601.25	c |    784950 |     322    54926   351537 | 2147483647   169260     29 |  3.881 % |
605.74/606.10	c |    790787 |     322    54926   351537 |   174310   155530     29 |  3.888 % |
611.03/611.34	c |    797205 |     322    54926   351537 |   174310   161948     29 |  3.881 % |
618.93/619.26	c |    804265 |     322    54926   351537 | 2147483647   169008     29 |  3.881 % |
619.14/619.42	c |    804365 |     322    54926   351537 | 2147483647   169108     29 |  3.887 % |
619.23/619.57	c |    804476 |     322    54926   351537 | 2147483647   169219     29 |  3.881 % |
619.33/619.69	c |    804600 |     322    54926   351537 | 2147483647   169343     29 |  3.881 % |
619.53/619.83	c |    804733 |     322    54926   351537 | 2147483647   169476     29 |  3.881 % |
619.63/619.91	c |    804882 |     322    54926   351537 | 2147483647   169625     29 |  3.881 % |
619.63/619.98	c |    805044 |     322    54926   351537 | 2147483647   169787     29 |  3.881 % |
619.83/620.17	c |    805223 |     322    54926   351537 | 2147483647   169966     29 |  3.881 % |
619.93/620.27	c |    805416 |     322    54926   351537 | 2147483647   170159     29 |  3.881 % |
620.03/620.34	c |    805628 |     322    54926   351537 | 2147483647   170371     29 |  3.881 % |
620.14/620.44	c |    805863 |     322    54926   351537 | 2147483647   170606     29 |  3.881 % |
620.24/620.57	c |    806123 |     322    54926   351537 | 2147483647   170866     29 |  3.881 % |
620.33/620.69	c |    806407 |     322    54926   351537 | 2147483647   171150     29 |  3.881 % |
620.63/620.93	c |    806716 |     322    54926   351537 | 2147483647   171459     29 |  3.890 % |
620.73/621.06	c |    807057 |     322    54926   351537 | 2147483647   171800     29 |  3.881 % |
620.93/621.30	c |    807429 |     322    54926   351537 | 2147483647   172172     29 |  3.882 % |
621.13/621.45	c |    807839 |     322    54926   351537 | 2147483647   172582     29 |  3.881 % |
621.33/621.67	c |    808289 |     322    54926   351537 | 2147483647   173032     29 |  3.890 % |
621.63/621.90	c |    808785 |     322    54926   351537 | 2147483647   173528     29 |  3.881 % |
621.83/622.10	c |    809328 |     322    54926   351537 | 2147483647   174071     29 |  3.881 % |
622.23/622.59	c |    809924 |     322    54926   351537 | 2147483647   174667     29 |  3.881 % |
622.73/623.06	c |    810580 |     322    54926   351537 | 2147483647   175323     29 |  3.881 % |
623.13/623.46	c |    811301 |     322    54926   351537 | 2147483647   176044     29 |  3.881 % |
623.73/624.04	c |    812093 |     322    54926   351537 | 2147483647   176836     29 |  3.881 % |
624.53/624.84	c |    812966 |     322    54926   351537 | 2147483647   177709     29 |  3.881 % |
625.33/625.61	c |    813925 |     322    54926   351537 | 2147483647   178668     29 |  3.881 % |
626.13/626.47	c |    814979 |     322    54926   351537 | 2147483647   179722     29 |  3.881 % |
627.23/627.57	c |    816138 |     322    54926   351537 | 2147483647   180881     29 |  3.881 % |
629.03/629.32	c |    817414 |     322    54926   351537 | 2147483647   182157     29 |  3.881 % |
630.43/630.79	c |    818815 |     322    54926   351537 | 2147483647   183558     29 |  3.881 % |
632.63/632.98	c |    820357 |     322    54926   351537 |   184745   165553     29 |  3.881 % |
634.53/634.89	c |    822051 |     322    54926   351537 |   184745   167247     29 |  3.881 % |
636.32/636.69	c |    823915 |     322    54926   351537 |   184745   169111     29 |  3.881 % |
638.52/638.81	c |    825966 |     322    54926   351537 |   184745   171162     29 |  3.881 % |
640.72/641.06	c |    828221 |     322    54926   351537 |   184745   173417     29 |  3.881 % |
643.42/643.75	c |    830701 |     322    54926   351537 |   175196   156132     29 |  3.881 % |
645.02/645.33	c |    833426 |     322    54926   351537 |   175196   158857     29 |  3.881 % |
647.82/648.10	c |    836423 |     322    54926   351537 |   175196   161854     29 |  3.881 % |
650.72/651.01	c |    839720 |     322    54926   351537 |   175196   165151     29 |  3.881 % |
654.82/655.14	c |    843350 |     322    54926   351537 | 2147483647   168781     29 |  3.881 % |
659.42/659.75	c |    847337 |     322    54926   351537 | 2147483647   172768     29 |  3.881 % |
663.92/664.28	c |    851724 |     322    54926   351537 |   175431   157757     29 |  3.881 % |
668.71/669.06	c |    856547 |     322    54926   351537 |   175431   162580     29 |  3.881 % |
674.02/674.33	c |    861854 |     322    54926   351537 | 2147483647   167887     29 |  3.881 % |
680.51/680.86	c |    867689 |     322    54926   351537 | 2147483647   173722     29 |  3.881 % |
686.81/687.18	c |    874108 |     322    54926   351537 |   176037   161963     29 |  3.881 % |
694.11/694.42	c |    881167 |     322    54926   351537 |   167857   149021     29 |  3.881 % |
700.90/701.20	c |    888933 |     322    54926   351537 |   167857   156787     29 |  3.881 % |
701.00/701.31	c |    889034 |     322    54926   351537 |   167857   156888     29 |  3.881 % |
701.10/701.47	c |    889145 |     322    54926   351537 |   167857   156999     29 |  3.881 % |
701.30/701.60	c |    889266 |     322    54926   351537 |   167857   157120     29 |  3.881 % |
701.40/701.73	c |    889406 |     322    54926   351537 |   167857   157260     29 |  3.881 % |
701.51/701.87	c |    889553 |     322    54926   351537 |   167857   157407     29 |  3.881 % |
701.70/702.05	c |    889713 |     322    54926   351537 |   167857   157567     29 |  3.881 % |
701.90/702.24	c |    889889 |     322    54926   351537 |   167857   157743     29 |  3.881 % |
702.20/702.51	c |    890083 |     322    54926   351537 | 2147483647   157937     29 |  3.881 % |
702.40/702.76	c |    890296 |     322    54926   351537 | 2147483647   158150     29 |  3.881 % |
702.60/702.95	c |    890529 |     322    54926   351537 | 2147483647   158383     29 |  3.881 % |
702.90/703.24	c |    890788 |     322    54926   351537 | 2147483647   158642     29 |  3.881 % |
703.30/703.63	c |    891069 |     322    54926   351537 | 2147483647   158923     29 |  3.881 % |
703.60/703.90	c |    891381 |     322    54926   351537 | 2147483647   159235     29 |  3.881 % |
703.90/704.21	c |    891720 |     322    54926   351537 | 2147483647   159574     29 |  3.881 % |
704.20/704.59	c |    892093 |     322    54926   351537 | 2147483647   159947     29 |  3.881 % |
704.70/705.03	c |    892502 |     322    54926   351537 | 2147483647   160356     29 |  3.881 % |
705.10/705.46	c |    892951 |     322    54926   351537 | 2147483647   160805     29 |  3.881 % |
705.50/705.81	c |    893445 |     322    54926   351537 | 2147483647   161299     29 |  3.881 % |
705.90/706.22	c |    893988 |     322    54926   351537 | 2147483647   161842     29 |  3.889 % |
706.40/706.71	c |    894584 |     322    54926   351537 | 2147483647   162438     29 |  3.881 % |
707.20/707.54	c |    895240 |     322    54926   351537 | 2147483647   163094     29 |  3.881 % |
707.90/708.29	c |    895962 |     322    54926   351537 | 2147483647   163816     29 |  3.881 % |
708.50/708.84	c |    896758 |     322    54926   351537 | 2147483647   164612     29 |  3.881 % |
709.30/709.61	c |    897633 |     322    54926   351537 | 2147483647   165487     29 |  3.881 % |
710.20/710.55	c |    898591 |     322    54926   351537 | 2147483647   166445     29 |  3.881 % |
711.00/711.38	c |    899644 |     322    54926   351537 | 2147483647   167498     29 |  3.881 % |
712.00/712.38	c |    900802 |     322    54926   351537 | 2147483647   168656     29 |  3.881 % |
713.00/713.36	c |    902075 |     322    54926   351537 | 2147483647   169929     29 |  3.881 % |
714.09/714.45	c |    903479 |     322    54926   351537 | 2147483647   171333     29 |  3.881 % |
714.99/715.33	c |    905020 |     322    54926   351537 | 2147483647   172874     29 |  3.881 % |
716.19/716.56	c |    906714 |     322    54926   351537 | 2147483647   174568     29 |  3.881 % |
716.79/717.10	c |    908577 |     322    54926   351537 | 2147483647   176431     29 |  3.888 % |
719.89/720.26	c |    910627 |     322    54926   351537 | 2147483647   178481     29 |  3.881 % |
722.69/723.08	c |    912880 |     322    54926   351537 | 2147483647   180734     29 |  3.881 % |
726.59/726.94	c |    915358 |     322    54926   351537 | 2147483647   183212     29 |  3.881 % |
730.79/731.11	c |    918083 |     322    54926   351537 | 2147483647   185937     29 |  3.881 % |
734.59/734.91	c |    921080 |     322    54926   351537 |   187855   159091     29 |  3.881 % |
737.99/738.35	c |    924377 |     322    54926   351537 |   187855   162388     29 |  3.881 % |
740.89/741.21	c |    928002 |     322    54926   351537 |   187855   166013     29 |  3.881 % |
744.98/745.36	c |    931989 |     322    54926   351537 |   168012   151985     29 |  3.881 % |
749.28/749.63	c |    936374 |     322    54926   351537 |   168012   156370     29 |  3.881 % |
752.78/753.17	c |    941200 |     322    54926   351537 | 2147483647   161196     29 |  3.881 % |
758.49/758.89	c |    946507 |     322    54926   351537 | 2147483647   166503     30 |  3.881 % |
766.39/766.71	c |    952345 |     322    54926   351537 |   169996   154017     29 |  3.881 % |
772.88/773.26	c |    958764 |     322    54926   351537 |   169996   160436     30 |  3.881 % |
779.68/780.09	c |    965825 |     322    54926   351537 |   161672   149618     29 |  3.881 % |
786.78/787.16	c |    973589 |     322    54926   351537 | 2147483647   157382     29 |  3.881 % |
796.78/797.17	c |    982129 |     322    54926   351537 |   163794   146044     29 |  3.881 % |
796.88/797.29	c |    982230 |     322    54926   351537 |   163794   146145     29 |  3.881 % |
797.08/797.40	c |    982342 |     322    54926   351537 |   163794   146257     29 |  3.881 % |
797.08/797.47	c |    982463 |     322    54926   351537 |   163794   146378     29 |  3.881 % |
797.18/797.58	c |    982598 |     322    54926   351537 |   163794   146513     29 |  3.881 % |
797.38/797.79	c |    982745 |     322    54926   351537 |   163794   146660     29 |  3.881 % |
797.58/797.99	c |    982905 |     322    54926   351537 |   163794   146820     29 |  3.881 % |
797.88/798.20	c |    983082 |     322    54926   351537 |   163794   146997     29 |  3.881 % |
798.07/798.41	c |    983275 |     322    54926   351537 |   163794   147190     29 |  3.881 % |
798.17/798.58	c |    983487 |     322    54926   351537 |   163794   147402     29 |  3.881 % |
798.38/798.71	c |    983721 |     322    54926   351537 |   163794   147636     29 |  3.881 % |
798.67/799.08	c |    983978 |     322    54926   351537 |   163794   147893     29 |  3.881 % |
798.97/799.31	c |    984260 |     322    54926   351537 |   163794   148175     29 |  3.881 % |
799.27/799.63	c |    984570 |     322    54926   351537 |   163794   148485     29 |  3.881 % |
799.67/800.02	c |    984910 |     322    54926   351537 |   163794   148825     29 |  3.881 % |
800.07/800.45	c |    985282 |     322    54926   351537 |   163794   149197     29 |  3.881 % |
800.48/800.88	c |    985691 |     322    54926   351537 |   163794   149606     29 |  3.881 % |
800.87/801.20	c |    986142 |     322    54926   351537 |   163794   150057     29 |  3.881 % |
801.27/801.68	c |    986636 |     322    54926   351537 |   163794   150551     29 |  3.881 % |
801.58/802.00	c |    987178 |     322    54926   351537 |   163794   151093     29 |  3.881 % |
801.97/802.38	c |    987774 |     322    54926   351537 |   163794   151689     29 |  3.881 % |
802.47/802.89	c |    988429 |     322    54926   351537 |   163794   152344     29 |  3.881 % |
803.37/803.74	c |    989149 |     322    54926   351537 |   163794   153064     29 |  3.888 % |
804.17/804.56	c |    989942 |     322    54926   351537 |   163794   153857     29 |  3.881 % |
805.17/805.58	c |    990813 |     322    54926   351537 |   153916   138424     29 |  3.881 % |
805.87/806.26	c |    991773 |     322    54926   351537 |   153916   139384     29 |  3.881 % |
806.57/806.98	c |    992828 |     322    54926   351537 |   153916   140439     29 |  3.881 % |
807.47/807.85	c |    993987 |     322    54926   351537 |   153916   141598     29 |  3.881 % |
808.17/808.57	c |    995261 |     322    54926   351537 |   153916   142872     29 |  3.881 % |
809.17/809.51	c |    996662 |     322    54926   351537 |   153916   144273     29 |  3.881 % |
810.57/810.92	c |    998203 |     322    54926   351537 |   153916   145814     29 |  3.881 % |
812.17/812.58	c |    999897 |     322    54926   351537 |   153916   147508     29 |  3.881 % |
814.17/814.55	c |   1001761 |     322    54926   351537 | 2147483647   149372     29 |  3.881 % |
816.37/816.70	c |   1003810 |     322    54926   351537 | 2147483647   151421     29 |  3.881 % |
818.76/819.13	c |   1006063 |     322    54926   351537 | 2147483647   153674     30 |  3.881 % |
821.06/821.48	c |   1008543 |     322    54926   351537 | 2147483647   156154     30 |  3.881 % |
823.76/824.11	c |   1011275 |     322    54926   351537 | 2147483647   158886     30 |  3.881 % |
826.76/827.11	c |   1014272 |     322    54926   351537 | 2147483647   161883     30 |  3.881 % |
829.76/830.13	c |   1017568 |     322    54926   351537 | 2147483647   165179     30 |  3.881 % |
833.66/834.00	c |   1021193 |     322    54926   351537 |   167611   151770     30 |  3.881 % |
837.66/838.08	c |   1025180 |     322    54926   351537 |   167611   155757     30 |  3.881 % |
842.06/842.45	c |   1029566 |     322    54926   351537 |   167611   160143     30 |  3.881 % |
847.35/847.77	c |   1034389 |     322    54926   351537 |   160578   147737     30 |  3.881 % |
852.55/852.99	c |   1039694 |     322    54926   351537 |   160578   153042     30 |  3.881 % |
860.05/860.41	c |   1045535 |     322    54926   351537 | 2147483647   158883     31 |  3.889 % |
866.35/866.74	c |   1051954 |     322    54926   351537 |   163350   146344     30 |  3.881 % |
872.25/872.63	c |   1059016 |     322    54926   351537 |   163350   153406     30 |  3.881 % |
878.74/879.14	c |   1066780 |     322    54926   351537 |   154391   142415     29 |  3.881 % |
885.54/885.90	c |   1075320 |     322    54926   351537 | 2147483647   150955     29 |  3.881 % |
892.15/892.54	c |   1084715 |     322    54926   351537 | 2147483647   160350     29 |  3.888 % |
892.15/892.59	c |   1084815 |     322    54926   351537 | 2147483647   160450     29 |  3.888 % |
892.25/892.63	c |   1084925 |     322    54926   351537 | 2147483647   160560     29 |  3.881 % |
892.25/892.68	c |   1085047 |     322    54926   351537 | 2147483647   160682     29 |  3.881 % |
892.45/892.80	c |   1085182 |     322    54926   351537 | 2147483647   160817     29 |  3.881 % |
892.55/892.92	c |   1085328 |     322    54926   351537 | 2147483647   160963     29 |  3.887 % |
892.65/893.00	c |   1085492 |     322    54926   351537 | 2147483647   161127     29 |  3.881 % |
892.65/893.08	c |   1085668 |     322    54926   351537 | 2147483647   161303     29 |  3.881 % |
892.75/893.17	c |   1085862 |     322    54926   351537 | 2147483647   161497     29 |  3.882 % |
892.85/893.26	c |   1086074 |     322    54926   351537 | 2147483647   161709     29 |  3.881 % |
893.15/893.59	c |   1086307 |     322    54926   351537 | 2147483647   161942     29 |  3.882 % |
893.45/893.86	c |   1086570 |     322    54926   351537 | 2147483647   162205     29 |  3.881 % |
893.65/894.03	c |   1086851 |     322    54926   351537 | 2147483647   162486     29 |  3.881 % |
893.85/894.27	c |   1087160 |     322    54926   351537 | 2147483647   162795     29 |  3.881 % |
894.25/894.65	c |   1087499 |     322    54926   351537 | 2147483647   163134     29 |  3.881 % |
894.55/894.97	c |   1087872 |     322    54926   351537 | 2147483647   163507     29 |  3.881 % |
894.95/895.35	c |   1088281 |     322    54926   351537 | 2147483647   163916     29 |  3.881 % |
895.35/895.79	c |   1088730 |     322    54926   351537 | 2147483647   164365     29 |  3.881 % |
895.65/896.10	c |   1089223 |     322    54926   351537 | 2147483647   164858     29 |  3.881 % |
896.15/896.54	c |   1089765 |     322    54926   351537 | 2147483647   165400     29 |  3.881 % |
896.65/897.06	c |   1090362 |     322    54926   351537 | 2147483647   165997     29 |  3.881 % |
897.35/897.76	c |   1091019 |     322    54926   351537 | 2147483647   166654     29 |  3.881 % |
898.25/898.60	c |   1091739 |     322    54926   351537 | 2147483647   167374     29 |  3.881 % |
898.85/899.23	c |   1092532 |     322    54926   351537 | 2147483647   168167     29 |  3.881 % |
900.05/900.40	c |   1093403 |     322    54926   351537 | 2147483647   169038     29 |  3.881 % |
900.95/901.33	c |   1094362 |     322    54926   351537 | 2147483647   169997     29 |  3.881 % |
902.15/902.51	c |   1095415 |     322    54926   351537 | 2147483647   171050     29 |  3.881 % |
903.45/903.84	c |   1096575 |     322    54926   351537 | 2147483647   172210     30 |  3.881 % |
905.14/905.54	c |   1097850 |     322    54926   351537 | 2147483647   173485     30 |  3.881 % |
906.54/906.96	c |   1099250 |     322    54926   351537 | 2147483647   174885     30 |  3.881 % |
908.94/909.31	c |   1100790 |     322    54926   351537 |   175635   154466     29 |  3.881 % |
910.45/910.81	c |   1102486 |     322    54926   351537 |   175635   156162     29 |  3.881 % |
912.44/912.84	c |   1104349 |     322    54926   351537 |   175635   158025     29 |  3.881 % |
914.85/915.24	c |   1106398 |     322    54926   351537 |   175635   160074     29 |  3.881 % |
916.84/917.26	c |   1108651 |     322    54926   351537 |   175635   162327     29 |  3.888 % |
919.04/919.44	c |   1111130 |     322    54926   351537 |   163677   147306     29 |  3.881 % |
921.84/922.23	c |   1113855 |     322    54926   351537 |   163677   150031     29 |  3.881 % |
924.94/925.38	c |   1116852 |     322    54926   351537 |   163677   153028     29 |  3.881 % |
928.14/928.56	c |   1120150 |     322    54926   351537 | 2147483647   156326     29 |  3.881 % |
932.14/932.58	c |   1123775 |     322    54926   351537 | 2147483647   159951     29 |  3.881 % |
936.44/936.88	c |   1127762 |     322    54926   351537 | 2147483647   163938     29 |  3.881 % |
941.83/942.23	c |   1132148 |     322    54926   351537 |   166176   150529     29 |  3.881 % |
947.13/947.58	c |   1136971 |     322    54926   351537 |   166176   155352     29 |  3.881 % |
952.43/952.85	c |   1142279 |     322    54926   351537 | 2147483647   160660     30 |  3.881 % |
957.63/958.04	c |   1148114 |     322    54926   351537 | 2147483647   166495     30 |  3.881 % |
964.43/964.87	c |   1154532 |     321    54686   350477 |   168383   151108     29 |  4.180 % |
971.73/972.17	c |   1161592 |     321    54686   350477 | 2147483647   158168     29 |  4.180 % |
979.92/980.37	c |   1169357 |     321    54686   350477 | 2147483647   165933     30 |  4.180 % |
988.82/989.27	c |   1177899 |     321    54686   350477 |   166577   156497     30 |  4.180 % |
995.52/995.98	c |   1187295 |     321    54686   350477 | 2147483647   165893     30 |  4.180 % |
1004.31/1004.78	c |   1197629 |     321    54686   350477 |   168598   156830     30 |  4.180 % |
1004.41/1004.85	c |   1197729 |     321    54686   350477 |   168598   156930     30 |  4.180 % |
1004.51/1004.95	c |   1197839 |     321    54686   350477 |   168598   157040     30 |  4.180 % |
1004.61/1005.09	c |   1197961 |     321    54686   350477 |   168598   157162     30 |  4.180 % |
1004.71/1005.17	c |   1198094 |     321    54686   350477 |   168598   157295     30 |  4.180 % |
1004.91/1005.31	c |   1198240 |     321    54686   350477 |   168598   157441     30 |  4.180 % |
1005.02/1005.43	c |   1198404 |     321    54686   350477 |   168598   157605     30 |  4.180 % |
1005.12/1005.56	c |   1198580 |     321    54686   350477 |   168598   157781     30 |  4.180 % |
1005.41/1005.83	c |   1198773 |     321    54686   350477 |   168598   157974     30 |  4.180 % |
1005.61/1006.06	c |   1198987 |     321    54686   350477 |   168598   158188     30 |  4.180 % |
1005.81/1006.28	c |   1199220 |     321    54686   350477 |   168598   158421     30 |  4.180 % |
1006.22/1006.68	c |   1199476 |     321    54686   350477 |   168598   158677     30 |  4.180 % |
1006.61/1007.01	c |   1199757 |     321    54686   350477 |   168598   158958     30 |  4.180 % |
1006.91/1007.40	c |   1200069 |     321    54686   350477 |   159202   159270     30 |  4.180 % |
1007.61/1008.05	c |   1200409 |     321    54686   350477 |   159202   141580     31 |  4.180 % |
1007.81/1008.24	c |   1200783 |     321    54686   350477 |   159202   141954     31 |  4.180 % |
1008.11/1008.58	c |   1201193 |     321    54686   350477 |   159202   142364     31 |  4.180 % |
1008.91/1009.31	c |   1201643 |     321    54686   350477 |   159202   142814     31 |  4.184 % |
1009.31/1009.75	c |   1202136 |     321    54686   350477 |   159202   143307     31 |  4.180 % |
1009.81/1010.23	c |   1202678 |     321    54686   350477 |   159202   143849     31 |  4.180 % |
1010.21/1010.68	c |   1203275 |     321    54686   350477 |   159202   144446     31 |  4.180 % |
1010.71/1011.14	c |   1203930 |     321    54686   350477 |   159202   145101     31 |  4.180 % |
1011.31/1011.70	c |   1204650 |     321    54686   350477 |   159202   145821     31 |  4.180 % |
1012.01/1012.47	c |   1205442 |     321    54686   350477 |   159202   146613     31 |  4.180 % |
1012.61/1013.03	c |   1206313 |     321    54686   350477 |   159202   147484     31 |  4.180 % |
1013.31/1013.79	c |   1207276 |     321    54686   350477 |   159202   148447     31 |  4.180 % |
1014.21/1014.63	c |   1208329 |     321    54686   350477 |   159202   149500     31 |  4.180 % |
1015.41/1015.88	c |   1209487 |     321    54686   350477 |   159202   150658     31 |  4.180 % |
1016.71/1017.15	c |   1210760 |     321    54686   350477 |   151171   135515     30 |  4.180 % |
1017.21/1017.60	c |   1212161 |     321    54686   350477 |   151171   136916     30 |  4.180 % |
1017.91/1018.33	c |   1213701 |     321    54686   350477 |   151171   138456     30 |  4.187 % |
1018.41/1018.82	c |   1215395 |     321    54686   350477 |   151171   140150     30 |  4.180 % |
1019.61/1020.00	c |   1217258 |     321    54686   350477 |   151171   142013     30 |  4.180 % |
1020.01/1020.45	c |   1219308 |     321    54686   350477 |   151171   144063     30 |  4.180 % |
1021.31/1021.72	c |   1221564 |     321    54686   350477 | 2147483647   146319     30 |  4.180 % |
1022.71/1023.16	c |   1224044 |     321    54686   350477 | 2147483647   148799     30 |  4.180 % |
1025.51/1025.90	c |   1226772 |     321    54686   350477 | 2147483647   151527     30 |  4.180 % |
1027.61/1028.04	c |   1229770 |     321    54686   350477 | 2147483647   154525     30 |  4.180 % |
1031.00/1031.42	c |   1233066 |     321    54686   350477 | 2147483647   157821     30 |  4.180 % |
1035.30/1035.78	c |   1236691 |     321    54686   350477 | 2147483647   161446     30 |  4.180 % |
1039.30/1039.78	c |   1240678 |     321    54686   350477 |   164755   146063     30 |  4.180 % |
1043.40/1043.81	c |   1245064 |     321    54686   350477 |   164755   150449     30 |  4.180 % |
1048.10/1048.55	c |   1249887 |     321    54686   350477 |   164755   155272     30 |  4.180 % |
1054.10/1054.54	c |   1255195 |     321    54686   350477 | 2147483647   160580     30 |  4.180 % |
1061.00/1061.46	c |   1261030 |     321    54686   350477 |   165385   148500     30 |  4.180 % |
1066.30/1066.76	c |   1267448 |     321    54686   350477 |   165385   154918     30 |  4.180 % |
1073.79/1074.26	c |   1274507 |     321    54686   350477 |   157471   145342     30 |  4.180 % |
1080.69/1081.11	c |   1282271 |     321    54686   350477 | 2147483647   153106     30 |  4.180 % |
1087.29/1087.79	c |   1290812 |     321    54686   350477 | 2147483647   161647     30 |  4.180 % |
1096.08/1096.59	c |   1300209 |     321    54686   350477 | 2147483647   171044     30 |  4.180 % |
1108.88/1109.35	c |   1310543 |     321    54686   350477 |   180835   160969     29 |  4.180 % |
1117.58/1118.03	c |   1321909 |     321    54686   350477 | 2147483647   172335     29 |  4.180 % |
1117.68/1118.11	c |   1322012 |     321    54686   350477 | 2147483647   172438     29 |  4.180 % |
1117.78/1118.25	c |   1322122 |     321    54686   350477 | 2147483647   172548     29 |  4.180 % |
1117.88/1118.37	c |   1322243 |     321    54686   350477 | 2147483647   172669     29 |  4.180 % |
1117.98/1118.48	c |   1322377 |     321    54686   350477 | 2147483647   172803     29 |  4.180 % |
1118.08/1118.53	c |   1322523 |     321    54686   350477 | 2147483647   172949     29 |  4.180 % |
1118.18/1118.63	c |   1322684 |     321    54686   350477 | 2147483647   173110     29 |  4.180 % |
1118.28/1118.75	c |   1322864 |     321    54686   350477 | 2147483647   173290     29 |  4.180 % |
1118.38/1118.89	c |   1323057 |     321    54686   350477 | 2147483647   173483     29 |  4.181 % |
1118.67/1119.19	c |   1323270 |     321    54686   350477 | 2147483647   173696     29 |  4.180 % |
1118.97/1119.46	c |   1323504 |     321    54686   350477 | 2147483647   173930     29 |  4.180 % |
1119.38/1119.81	c |   1323760 |     321    54686   350477 | 2147483647   174186     29 |  4.180 % |
1119.67/1120.17	c |   1324044 |     321    54686   350477 | 2147483647   174470     29 |  4.180 % |
1120.17/1120.61	c |   1324354 |     321    54686   350477 | 2147483647   174780     29 |  4.180 % |
1120.37/1120.85	c |   1324693 |     321    54686   350477 | 2147483647   175119     29 |  4.180 % |
1120.77/1121.27	c |   1325065 |     321    54686   350477 | 2147483647   175491     29 |  4.180 % |
1121.27/1121.71	c |   1325474 |     321    54686   350477 | 2147483647   175900     29 |  4.180 % |
1121.77/1122.21	c |   1325924 |     321    54686   350477 | 2147483647   176350     29 |  4.180 % |
1122.27/1122.79	c |   1326417 |     321    54686   350477 | 2147483647   176843     29 |  4.180 % |
1123.07/1123.55	c |   1326959 |     321    54686   350477 | 2147483647   177385     29 |  4.180 % |
1123.88/1124.39	c |   1327555 |     321    54686   350477 | 2147483647   177981     29 |  4.180 % |
1124.67/1125.19	c |   1328211 |     321    54686   350477 | 2147483647   178637     29 |  4.180 % |
1125.67/1126.15	c |   1328931 |     321    54686   350477 | 2147483647   179357     29 |  4.180 % |
1126.77/1127.24	c |   1329724 |     321    54686   350477 | 2147483647   180150     29 |  4.180 % |
1128.27/1128.70	c |   1330596 |     321    54686   350477 |   180426   158072     28 |  4.180 % |
1129.17/1129.60	c |   1331554 |     321    54686   350477 |   180426   159030     28 |  4.180 % |
1129.97/1130.46	c |   1332607 |     321    54686   350477 |   180426   160083     28 |  4.180 % |
1131.57/1132.07	c |   1333765 |     321    54686   350477 |   180426   161241     28 |  4.180 % |
1132.47/1133.00	c |   1335038 |     321    54686   350477 |   180426   162514     29 |  4.180 % |
1133.87/1134.34	c |   1336440 |     321    54686   350477 |   180426   163916     29 |  4.180 % |
1135.07/1135.50	c |   1337988 |     321    54686   350477 |   180426   165464     29 |  4.180 % |
1136.87/1137.39	c |   1339683 |     321    54686   350477 |   180426   167159     29 |  4.180 % |
1139.37/1139.82	c |   1341547 |     321    54686   350477 |   167477   149916     28 |  4.180 % |
1141.37/1141.84	c |   1343600 |     321    54686   350477 |   167477   151969     28 |  4.180 % |
1143.97/1144.46	c |   1345853 |     321    54686   350477 |   167477   154222     29 |  4.180 % |
1146.87/1147.34	c |   1348334 |     321    54686   350477 |   167477   156703     29 |  4.180 % |
1150.27/1150.72	c |   1351059 |     321    54686   350477 |   158369   143412     28 |  4.180 % |
1153.17/1153.65	c |   1354059 |     321    54686   350477 |   158369   146412     29 |  4.180 % |
1156.27/1156.72	c |   1357355 |     321    54686   350477 |   158369   149708     29 |  4.180 % |
1159.97/1160.43	c |   1360980 |     321    54686   350477 | 2147483647   153333     29 |  4.188 % |
1162.77/1163.29	c |   1364967 |     321    54686   350477 | 2147483647   157320     29 |  4.180 % |
1166.57/1167.03	c |   1369352 |     321    54686   350477 | 2147483647   161705     29 |  4.187 % |
1170.67/1171.14	c |   1374175 |     321    54686   350477 | 2147483647   166528     29 |  4.192 % |
1176.37/1176.83	c |   1379481 |     321    54686   350477 | 2147483647   171834     29 |  4.180 % |
1182.36/1182.86	c |   1385316 |     321    54686   350477 |   172355   150062     28 |  4.180 % |
1190.26/1190.80	c |   1391735 |     321    54686   350477 |   154748   137575     28 |  4.180 % |
1196.06/1196.52	c |   1398795 |     321    54686   350477 |   154748   144635     28 |  4.180 % |

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17594
/proc/meminfo: memFree=1819632/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=0
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310795371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17594/statm: 1339 237 197 169 0 50 0

[startup+0.105886 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17594
/proc/meminfo: memFree=1819632/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=0
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310795371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17594/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201892 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17594
/proc/meminfo: memFree=1819632/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=0
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310795371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17594/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301898 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17594
/proc/meminfo: memFree=1819632/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=0
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310795371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17594/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701923 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17594
/proc/meminfo: memFree=1819632/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=0
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310795371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17594/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50198 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 17599
/proc/meminfo: memFree=1809312/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=0
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310795371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17594/statm: 1339 237 197 169 0 50 0
[pid=17598] ppid=17594 vsize=10536 CPUtime=1.48
/proc/17598/stat : 17598 (SatELite_releas) R 17594 17594 17347 0 -1 4194304 2656 0 0 0 147 1 0 0 25 0 1 0 310795372 10788864 2437 1992294400 134512640 135223648 4294956128 18446744073709551615 134578243 0 0 4096 3 0 0 0 17 1 0 0
/proc/17598/statm: 2634 2437 76 173 0 2459 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15892

[startup+3.10109 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 17599
/proc/meminfo: memFree=1808096/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 5356

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17600
/proc/meminfo: memFree=1807968/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=10764 CPUtime=3.76
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 2545 0 0 0 375 1 0 0 25 0 1 0 310795623 11022336 2531 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 2691 2531 77 171 0 2518 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16120

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17600
/proc/meminfo: memFree=1802912/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=15256 CPUtime=10.14
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 3665 0 0 0 1013 1 0 0 25 0 1 0 310795623 15622144 3651 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 3814 3651 77 171 0 3641 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 20612

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 17600
/proc/meminfo: memFree=1797152/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=20692 CPUtime=22.93
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 5024 0 0 0 2290 3 0 0 25 0 1 0 310795623 21188608 5010 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 5173 5010 77 171 0 5000 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 26048

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 17600
/proc/meminfo: memFree=1789792/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=28488 CPUtime=48.52
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 6904 0 0 0 4847 5 0 0 25 0 1 0 310795623 29171712 6890 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 7122 6890 77 171 0 6949 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 33844

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 17600
/proc/meminfo: memFree=1781728/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=36792 CPUtime=99.7
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 8879 0 0 0 9962 8 0 0 25 0 1 0 310795623 37675008 8865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 9198 8865 77 171 0 9025 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 42148

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17600
/proc/meminfo: memFree=1780960/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=37488 CPUtime=159.67
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 9055 0 0 0 15959 8 0 0 25 0 1 0 310795623 38387712 9041 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 9372 9041 77 171 0 9199 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 42844

[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17600
/proc/meminfo: memFree=1780320/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=38000 CPUtime=219.66
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 9200 0 0 0 21957 9 0 0 25 0 1 0 310795623 38912000 9186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 9500 9186 77 171 0 9327 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 43356

[startup+282.301 s]
/proc/loadavg: 1.08 1.01 1.00 2/66 17600
/proc/meminfo: memFree=1778976/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=39588 CPUtime=279.62
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 9519 0 0 0 27953 9 0 0 25 0 1 0 310795623 40538112 9505 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 9897 9505 77 171 0 9724 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 44944

[startup+342.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 17600
/proc/meminfo: memFree=1778464/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=39916 CPUtime=339.61
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 9643 0 0 0 33951 10 0 0 25 0 1 0 310795623 40873984 9629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 9979 9629 77 171 0 9806 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 45272

[startup+402.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17600
/proc/meminfo: memFree=1778144/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=40332 CPUtime=399.59
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 9722 0 0 0 39949 10 0 0 25 0 1 0 310795623 41299968 9708 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10083 9708 77 171 0 9910 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 45688

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1777696/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51

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

/proc/17600/statm: 10246 9849 77 171 0 10073 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 46340

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1777184/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=41392 CPUtime=579.53
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 9951 0 0 0 57942 11 0 0 25 0 1 0 310795623 42385408 9937 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10348 9937 77 171 0 10175 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 46748

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1777120/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=41392 CPUtime=639.51
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 9958 0 0 0 63940 11 0 0 25 0 1 0 310795623 42385408 9944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10348 9944 77 171 0 10175 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 46748

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776928/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=41724 CPUtime=699.49
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 9998 0 0 0 69938 11 0 0 25 0 1 0 310795623 42725376 9984 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10431 9984 77 171 0 10258 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 47080

[startup+762.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776736/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=41900 CPUtime=759.48
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10043 0 0 0 75936 12 0 0 25 0 1 0 310795623 42905600 10029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10475 10029 77 171 0 10302 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 47256

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776672/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=41980 CPUtime=819.45
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10054 0 0 0 81933 12 0 0 25 0 1 0 310795623 42987520 10040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10495 10040 77 171 0 10322 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 47336

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776480/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=42144 CPUtime=879.44
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10092 0 0 0 87932 12 0 0 25 0 1 0 310795623 43155456 10078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10536 10078 77 171 0 10363 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 47500

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776352/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=42224 CPUtime=939.42
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10112 0 0 0 93929 13 0 0 25 0 1 0 310795623 43237376 10098 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10556 10098 77 171 0 10383 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 47580

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776352/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=42224 CPUtime=999.41
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10112 0 0 0 99928 13 0 0 25 0 1 0 310795623 43237376 10098 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10556 10098 77 171 0 10383 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 47580

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776352/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=42224 CPUtime=1059.38
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10112 0 0 0 105925 13 0 0 25 0 1 0 310795623 43237376 10098 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10556 10098 77 171 0 10383 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 47580

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776160/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=42304 CPUtime=1119.36
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10138 0 0 0 111923 13 0 0 25 0 1 0 310795623 43319296 10124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10576 10124 77 171 0 10403 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 47660

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776096/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=42304 CPUtime=1179.35
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10153 0 0 0 117921 14 0 0 25 0 1 0 310795623 43319296 10139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10576 10139 77 171 0 10403 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 47660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17606
/proc/meminfo: memFree=1776096/2055920 swapFree=4179964/4192956
[pid=17594] ppid=17592 vsize=5356 CPUtime=2.51
/proc/17594/stat : 17594 (SatELiteGTI) S 17592 17594 17347 0 -1 4194304 336 3195 0 0 0 0 248 3 16 0 1 0 310795371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17594/statm: 1339 239 197 169 0 50 0
[pid=17600] ppid=17594 vsize=42304 CPUtime=1197.55
/proc/17600/stat : 17600 (minisat_static) R 17594 17594 17347 0 -1 4194304 10153 0 0 0 119741 14 0 0 25 0 1 0 310795623 43319296 10139 1992294400 134512640 135215339 4294956240 18446744073709551615 134538092 0 0 4096 3 0 0 0 17 1 0 0
/proc/17600/statm: 10576 10139 77 171 0 10403 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 47660

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17594 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=484622
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=35994
# CPU time returned by wait4() is 2.52062
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1199.89
CPU system time (s): 0.17
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 47660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.48462
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3531
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= 13
involuntary context switches= 10

runsolver used 1.48877 second user time and 3.01054 second system time

The end

Launcher Data

Begin job on node22 at 2009-05-20 15:53:38
IDJOB=1834055
IDBENCH=71151
IDSOLVER=671
FILE ID=node22/1834055-1242827618
PBS_JOBID= 9322523
Free space on /tmp= 66400 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_9gates_u2_autoenc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834055-1242827618/watcher-1834055-1242827618 -o /tmp/evaluation-result-1834055-1242827618/solver-1834055-1242827618 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834055-1242827618.cnf

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

MD5SUM BENCH= 8e1d63506cdb99d6b859945ef44fe71f
RANDOM SEED=1461725738

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1820112 kB
Buffers:         52844 kB
Cached:         133020 kB
SwapCached:       7936 kB
Active:          99420 kB
Inactive:        96544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820112 kB
SwapTotal:     4192956 kB
SwapFree:      4179964 kB
Dirty:            4280 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            25952 kB
Committed_AS:  1148216 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66400 MiB
End job on node22 at 2009-05-20 16:13:41