Trace number 1832061

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.01 1200.61

General information on the benchmark

Nameindustrial/palacios/hard/
safe-30-h29-unsat.cnf
MD5SUM7cb48ce6f0320bc88623afd3c5af4aae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables129128
Number of clauses437794
Sum of the clauses size1056806
Maximum clause length61
Minimum clause length1
Number of clauses of size 130
Number of clauses of size 2310376
Number of clauses of size 3124560
Number of clauses of size 4189
Number of clauses of size 583
Number of clauses of size over 52556

Solver Data

0.00/0.02	c Parsing...
0.00/0.37	c ==============================================================================
0.00/0.37	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.37	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.37	c ==============================================================================
0.00/0.37	c |         0 |  437704  1056626 |  131311       0        0     nan |  0.000 % |
18.05/18.13	c |         0 |  164704  1115453 |      --       0       --      -- |     --   | -273000/58827
18.05/18.13	c ==============================================================================
18.05/18.13	c Result  :   #vars: 6952   #clauses: 164704   #literals: 1115453
18.05/18.13	c CPU time:   17.8313 s
18.05/18.13	c ==============================================================================
18.36/18.49	c This is MiniSat 2.0 beta
18.36/18.49	c WARNING: for repeatability, setting FPU to use double precision
18.36/18.49	c ============================[ Problem Statistics ]=============================
18.36/18.49	c |                                                                             |
18.36/18.49	c |  Number of variables:  6952                                                 |
18.36/18.49	c |  Number of clauses:    164704                                               |
18.53/18.65	c |  Parsing time:         0.13         s                                       |
18.53/18.66	c ============================[ Search Statistics ]==============================
18.53/18.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.53/18.66	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.53/18.66	c ===============================================================================
18.53/18.66	c |         0 |    6952   164704  1115453 |    54901        0    nan |  0.000 % |
18.63/18.76	c |       100 |    6952   164704  1115453 |    54901      100     12 |  0.000 % |
18.72/18.81	c |       200 |    6952   164704  1115453 |    54901      200     16 |  0.000 % |
18.82/18.90	c |       300 |    6952   164704  1115453 |    54901      300     31 |  0.000 % |
18.82/18.94	c |       410 |    6952   164704  1115453 |    54901      410     25 |  0.000 % |
18.92/19.00	c |       510 |    6952   164704  1115453 |    54901      510     22 |  0.000 % |
18.92/19.03	c |       620 |    6952   164704  1115453 |    54901      620     22 |  0.000 % |
18.92/19.06	c |       741 |    6952   164704  1115453 |    54901      741     21 |  0.000 % |
18.92/19.09	c |       842 |    6952   164704  1115453 |    54901      842     20 |  0.000 % |
19.02/19.14	c |       952 |    6952   164704  1115453 |    54901      952     21 |  0.000 % |
19.02/19.18	c |      1076 |    6952   164704  1115453 |    54901     1076     19 |  0.000 % |
19.12/19.23	c |      1209 |    6952   164704  1115453 |    54901     1209     18 |  0.000 % |
19.12/19.28	c |      1309 |    6952   164704  1115453 |    54901     1309     18 |  0.000 % |
19.22/19.34	c |      1419 |    6952   164704  1115453 |    54901     1419     20 |  0.000 % |
19.22/19.38	c |      1540 |    6952   164704  1115453 |    54901     1540     19 |  0.000 % |
19.32/19.42	c |      1674 |    6952   164704  1115453 |    54901     1674     19 |  0.000 % |
19.32/19.46	c |      1820 |    6952   164704  1115453 |    54901     1820     19 |  0.000 % |
19.42/19.50	c |      1922 |    6952   164704  1115453 |    54901     1922     19 |  0.000 % |
19.42/19.54	c |      2032 |    6952   164704  1115453 |    54901     2032     20 |  0.000 % |
19.42/19.59	c |      2153 |    6952   164704  1115453 |    54901     2153     20 |  0.000 % |
19.52/19.63	c |      2286 |    6952   164704  1115453 |    54901     2286     21 |  0.000 % |
19.62/19.73	c |      2433 |    6952   164704  1115453 |    54901     2433     22 |  0.000 % |
19.62/19.78	c |      2594 |    6952   164704  1115453 |    54901     2594     22 |  0.000 % |
19.72/19.82	c |      2695 |    6952   164704  1115453 |    54901     2695     22 |  0.000 % |
19.72/19.87	c |      2807 |    6952   164704  1115453 |    54901     2807     22 |  0.000 % |
19.82/19.92	c |      2929 |    6952   164704  1115453 |    54901     2929     21 |  0.000 % |
19.92/20.06	c |      3063 |    6952   164704  1115453 |    54901     3063     23 |  0.000 % |
19.92/20.10	c |      3209 |    6952   164704  1115453 |    54901     3209     23 |  0.000 % |
20.02/20.17	c |      3374 |    6952   164704  1115453 |    54901     3374     23 |  0.000 % |
20.12/20.22	c |      3551 |    6952   164704  1115453 |    54901     3551     22 |  0.000 % |
20.12/20.25	c |      3653 |    6952   164704  1115453 |    54901     3653     22 |  0.000 % |
20.22/20.34	c |      3763 |    6952   164704  1115453 |    54901     3763     23 |  0.000 % |
20.32/20.44	c |      3885 |    6952   164704  1115453 |    54901     3885     23 |  0.000 % |
20.32/20.49	c |      4018 |    6952   164704  1115453 |    54901     4018     23 |  0.000 % |
20.42/20.54	c |      4164 |    6952   164704  1115453 |    54901     4164     22 |  0.000 % |
20.52/20.65	c |      4324 |    6952   164704  1115453 |    54901     4324     24 |  0.000 % |
20.52/20.70	c |      4502 |    6952   164704  1115453 |    54901     4502     23 |  0.000 % |
20.62/20.79	c |      4695 |    6949   164618  1114165 |    54901     4663     23 |  0.043 % |
20.72/20.82	c |      4797 |    6949   164618  1114165 |    54901     4765     23 |  0.043 % |
20.72/20.86	c |      4907 |    6949   164618  1114165 |    54901     4875     23 |  0.043 % |
20.82/20.91	c |      5028 |    6949   164618  1114165 |    54901     4996     23 |  0.043 % |
20.82/20.99	c |      5161 |    6949   164618  1114165 |    54901     5129     23 |  0.043 % |
20.92/21.04	c |      5307 |    6949   164618  1114165 |    54901     5275     23 |  0.043 % |
20.92/21.09	c |      5467 |    6949   164618  1114165 |    54901     5435     23 |  0.043 % |
21.02/21.15	c |      5643 |    6949   164618  1114165 |    54901     5611     23 |  0.043 % |
21.12/21.24	c |      5836 |    6949   164618  1114165 |    54901     5804     23 |  0.043 % |
21.22/21.34	c |      6050 |    6949   164618  1114165 |    54901     6018     24 |  0.043 % |
21.22/21.37	c |      6150 |    6949   164618  1114165 |    54901     6118     24 |  0.043 % |
21.32/21.41	c |      6260 |    6949   164618  1114165 |    54901     6228     24 |  0.043 % |
21.32/21.46	c |      6384 |    6949   164618  1114165 |    54901     6352     24 |  0.043 % |
21.42/21.58	c |      6517 |    6949   164618  1114165 |    54901     6485     26 |  0.043 % |
21.52/21.63	c |      6666 |    6949   164618  1114165 |    54901     6634     26 |  0.043 % |
21.52/21.69	c |      6826 |    6949   164618  1114165 |    54901     6794     26 |  0.043 % |
21.62/21.76	c |      7002 |    6949   164618  1114165 |    54901     6970     26 |  0.043 % |
21.72/21.81	c |      7197 |    6949   164618  1114165 |    54901     7165     25 |  0.043 % |
21.72/21.86	c |      7411 |    6949   164618  1114165 |    54901     7379     25 |  0.043 % |
21.82/21.94	c |      7644 |    6949   164618  1114165 |    54901     7612     25 |  0.043 % |
21.82/21.98	c |      7745 |    6949   164618  1114165 |    54901     7713     25 |  0.043 % |
21.92/22.03	c |      7856 |    6949   164618  1114165 |    54901     7824     25 |  0.043 % |
22.01/22.12	c |      7978 |    6949   164618  1114165 |    54901     7946     25 |  0.043 % |
22.01/22.18	c |      8111 |    6949   164618  1114165 |    54901     8079     25 |  0.043 % |
22.11/22.27	c |      8257 |    6949   164618  1114165 |    54901     8225     25 |  0.043 % |
22.21/22.32	c |      8421 |    6949   164618  1114165 |    54901     8389     25 |  0.043 % |
22.21/22.37	c |      8597 |    6949   164618  1114165 |    54901     8565     25 |  0.043 % |
22.31/22.41	c |      8791 |    6949   164618  1114165 |    54901     8759     25 |  0.043 % |
22.31/22.47	c |      9005 |    6949   164618  1114165 |    54901     8973     25 |  0.043 % |
22.41/22.56	c |      9238 |    6949   164618  1114165 |    54901     9206     24 |  0.043 % |
22.51/22.65	c |      9494 |    6949   164618  1114165 |    54901     9462     24 |  0.043 % |
22.51/22.67	c |      9594 |    6949   164618  1114165 |    54901     9562     24 |  0.043 % |
22.61/22.70	c |      9704 |    6949   164618  1114165 |    54901     9672     24 |  0.043 % |
22.61/22.75	c |      9827 |    6949   164618  1114165 |    54901     9795     24 |  0.043 % |
22.71/22.83	c |      9961 |    6949   164618  1114165 |    54901     9929     24 |  0.043 % |
22.81/22.91	c |     10107 |    6949   164618  1114165 | 2147483647    10075     24 |  0.043 % |
22.91/23.03	c |     10268 |    6949   164618  1114165 | 2147483647    10236     25 |  0.043 % |
22.91/23.09	c |     10445 |    6949   164618  1114165 | 2147483647    10413     25 |  0.043 % |
23.01/23.15	c |     10638 |    6949   164618  1114165 | 2147483647    10606     24 |  0.043 % |
23.11/23.20	c |     10852 |    6949   164618  1114165 | 2147483647    10820     24 |  0.043 % |
23.21/23.31	c |     11085 |    6949   164618  1114165 | 2147483647    11053     25 |  0.043 % |
23.31/23.43	c |     11343 |    6949   164618  1114165 | 2147483647    11311     25 |  0.043 % |
23.40/23.50	c |     11624 |    6949   164618  1114165 | 2147483647    11592     24 |  0.043 % |
23.40/23.54	c |     11726 |    6949   164618  1114165 | 2147483647    11694     24 |  0.043 % |
23.50/23.61	c |     11837 |    6949   164618  1114165 | 2147483647    11805     25 |  0.043 % |
23.50/23.67	c |     11958 |    6949   164618  1114165 | 2147483647    11926     25 |  0.043 % |
23.60/23.71	c |     12091 |    6949   164618  1114165 | 2147483647    12059     25 |  0.043 % |
23.60/23.77	c |     12237 |    6949   164618  1114165 | 2147483647    12205     25 |  0.043 % |
23.70/23.85	c |     12398 |    6949   164618  1114165 | 2147483647    12366     25 |  0.043 % |
23.80/23.91	c |     12574 |    6949   164618  1114165 | 2147483647    12542     25 |  0.043 % |
23.90/24.00	c |     12767 |    6949   164618  1114165 | 2147483647    12735     25 |  0.043 % |
23.90/24.07	c |     12981 |    6949   164618  1114165 | 2147483647    12949     25 |  0.043 % |
24.01/24.18	c |     13215 |    6949   164618  1114165 | 2147483647    13183     25 |  0.043 % |
24.11/24.28	c |     13472 |    6949   164618  1114165 | 2147483647    13440     25 |  0.043 % |
24.20/24.36	c |     13754 |    6949   164618  1114165 | 2147483647    13722     25 |  0.043 % |
24.30/24.50	c |     14063 |    6949   164618  1114165 | 2147483647    14031     25 |  0.043 % |
24.40/24.54	c |     14165 |    6949   164618  1114165 | 2147483647    14133     25 |  0.043 % |
24.40/24.57	c |     14275 |    6949   164618  1114165 | 2147483647    14243     25 |  0.043 % |
24.51/24.61	c |     14396 |    6949   164618  1114165 | 2147483647    14364     24 |  0.043 % |
24.51/24.68	c |     14530 |    6949   164618  1114165 | 2147483647    14498     25 |  0.043 % |
24.61/24.73	c |     14676 |    6949   164618  1114165 | 2147483647    14644     25 |  0.043 % |
24.61/24.79	c |     14838 |    6944   164461  1113325 | 2147483647    14694     25 |  0.115 % |
24.71/24.83	c |     15016 |    6944   164461  1113325 | 2147483647    14872     25 |  0.115 % |
24.71/24.89	c |     15209 |    6940   164461  1113325 | 2147483647    15063     24 |  0.173 % |
24.81/24.99	c |     15421 |    6940   164461  1113325 | 2147483647    15275     25 |  0.173 % |
24.91/25.07	c |     15654 |    6940   164461  1113325 | 2147483647    15508     25 |  0.173 % |
25.01/25.14	c |     15913 |    6940   164461  1113325 | 2147483647    15767     25 |  0.173 % |
25.11/25.24	c |     16194 |    6935   164461  1113325 | 2147483647    16045     24 |  0.288 % |
25.21/25.32	c |     16503 |    6935   164461  1113325 | 2147483647    16354     24 |  0.288 % |
25.31/25.44	c |     16842 |    6935   164461  1113325 | 2147483647    16693     24 |  0.288 % |
25.31/25.47	c |     16943 |    6935   164461  1113325 | 2147483647    16794     24 |  0.288 % |
25.41/25.50	c |     17053 |    6935   164461  1113325 | 2147483647    16904     24 |  0.288 % |
25.41/25.55	c |     17174 |    6935   164461  1113325 | 2147483647    17025     24 |  0.288 % |
25.41/25.60	c |     17307 |    6935   164461  1113325 | 2147483647    17158     24 |  0.288 % |
25.50/25.64	c |     17457 |    6932   164461  1113325 | 2147483647    17306     24 |  0.331 % |
25.60/25.71	c |     17617 |    6932   164461  1113325 | 2147483647    17466     24 |  0.331 % |
25.70/25.82	c |     17795 |    6932   164461  1113325 | 2147483647    17644     24 |  0.331 % |
25.70/25.88	c |     17989 |    6932   164461  1113325 | 2147483647    17838     24 |  0.331 % |
25.80/25.97	c |     18201 |    6932   164461  1113325 | 2147483647    18050     24 |  0.331 % |
25.90/26.04	c |     18434 |    6932   164461  1113325 | 2147483647    18283     23 |  0.331 % |
26.10/26.22	c |     18691 |    6932   164461  1113325 | 2147483647    18540     24 |  0.331 % |
26.21/26.32	c |     18972 |    6929   164134  1109722 | 2147483647    18501     24 |  0.331 % |
26.31/26.49	c |     19281 |    6929   164134  1109722 | 2147483647    18810     24 |  0.331 % |
26.50/26.61	c |     19620 |    6929   164134  1109722 | 2147483647    19149     24 |  0.331 % |
26.60/26.77	c |     19993 |    6929   164134  1109722 | 2147483647    19522     24 |  0.331 % |
26.70/26.81	c |     20093 |    6929   164134  1109722 | 2147483647    19622     24 |  0.331 % |
26.70/26.87	c |     20203 |    6929   164134  1109722 | 2147483647    19732     24 |  0.331 % |
26.80/26.93	c |     20324 |    6929   164134  1109722 | 2147483647    19853     24 |  0.331 % |
26.80/26.98	c |     20457 |    6929   164134  1109722 | 2147483647    19986     24 |  0.331 % |
26.90/27.04	c |     20604 |    6929   164134  1109722 | 2147483647    20133     24 |  0.331 % |
27.00/27.14	c |     20765 |    6929   164134  1109722 | 2147483647    20294     24 |  0.331 % |
27.00/27.18	c |     20942 |    6929   164134  1109722 | 2147483647    20471     24 |  0.331 % |
27.10/27.24	c |     21136 |    6929   164134  1109722 | 2147483647    20665     24 |  0.331 % |
27.20/27.33	c |     21348 |    6929   164134  1109722 | 2147483647    20877     24 |  0.331 % |
27.20/27.39	c |     21581 |    6929   164134  1109722 | 2147483647    21110     24 |  0.331 % |
27.31/27.50	c |     21840 |    6929   164134  1109722 | 2147483647    21369     24 |  0.331 % |
27.50/27.68	c |     22122 |    6929   164134  1109722 | 2147483647    21651     24 |  0.331 % |
27.60/27.78	c |     22432 |    6929   164134  1109722 | 2147483647    21961     24 |  0.331 % |
27.70/27.88	c |     22772 |    6929   164134  1109722 | 2147483647    22301     24 |  0.331 % |
28.00/28.14	c |     23145 |    6929   164134  1109722 | 2147483647    22674     24 |  0.331 % |
28.20/28.37	c |     23555 |    6929   164134  1109722 | 2147483647    23084     25 |  0.331 % |
28.30/28.41	c |     23655 |    6929   164134  1109722 | 2147483647    23184     25 |  0.331 % |
28.30/28.45	c |     23772 |    6929   164134  1109722 | 2147483647    23301     25 |  0.331 % |
28.40/28.51	c |     23893 |    6918   163881  1106293 | 2147483647    23256     25 |  0.489 % |
28.40/28.56	c |     24026 |    6918   163881  1106293 | 2147483647    23389     25 |  0.489 % |
28.50/28.62	c |     24172 |    6915   163881  1106293 | 2147483647    23532     25 |  0.561 % |
28.50/28.68	c |     24332 |    6911   163881  1106293 | 2147483647    23691     25 |  0.590 % |
28.60/28.78	c |     24508 |    6911   163881  1106293 | 2147483647    23867     25 |  0.590 % |
28.80/28.92	c |     24702 |    6909   163881  1106293 | 2147483647    24059     25 |  0.619 % |
28.90/29.04	c |     24915 |    6909   163881  1106293 | 2147483647    24272     25 |  0.619 % |
29.00/29.18	c |     25149 |    6909   163881  1106293 | 2147483647    24506     25 |  0.619 % |
29.10/29.25	c |     25406 |    6909   163881  1106293 | 2147483647    24763     25 |  0.619 % |
29.30/29.44	c |     25689 |    6909   163881  1106293 | 2147483647    25046     25 |  0.619 % |
29.40/29.52	c |     25999 |    6909   163881  1106293 | 2147483647    25356     25 |  0.619 % |
29.50/29.69	c |     26339 |    6870   163881  1106293 | 2147483647    25692     25 |  1.251 % |
29.70/29.81	c |     26711 |    6870   163881  1106293 | 2147483647    26064     25 |  1.251 % |
29.90/30.05	c |     27120 |    6870   163881  1106293 | 2147483647    26473     25 |  1.251 % |
30.10/30.22	c |     27569 |    6870   163881  1106293 | 2147483647    26922     25 |  1.252 % |
30.10/30.29	c |     27671 |    6863   162301  1083981 | 2147483647    26097     25 |  1.338 % |
30.20/30.36	c |     27782 |    6862   162301  1083981 | 2147483647    26208     25 |  1.338 % |
30.30/30.40	c |     27903 |    6862   162301  1083981 | 2147483647    26329     25 |  1.338 % |
30.30/30.45	c |     28037 |    6862   162301  1083981 | 2147483647    26463     25 |  1.338 % |
30.40/30.50	c |     28184 |    6862   162301  1083981 | 2147483647    26610     25 |  1.338 % |
30.40/30.57	c |     28345 |    6861   162301  1083981 | 2147483647    26770     25 |  1.352 % |
30.50/30.67	c |     28521 |    6861   162301  1083981 | 2147483647    26946     25 |  1.352 % |
30.60/30.74	c |     28714 |    6859   162301  1083981 | 2147483647    27137     25 |  1.381 % |
30.70/30.81	c |     28926 |    6859   162301  1083981 | 2147483647    27349     25 |  1.381 % |
30.79/30.90	c |     29161 |    6859   162301  1083981 | 2147483647    27584     25 |  1.381 % |
30.79/30.99	c |     29417 |    6859   162301  1083981 | 2147483647    27840     25 |  1.381 % |
30.99/31.13	c |     29698 |    6859   162301  1083981 | 2147483647    28121     25 |  1.381 % |
31.09/31.22	c |     30010 |    6859   162301  1083981 | 2147483647    28433     25 |  1.381 % |
31.19/31.37	c |     30349 |    6859   162301  1083981 | 2147483647    28772     25 |  1.381 % |
31.39/31.50	c |     30721 |    6859   162301  1083981 | 2147483647    29144     25 |  1.381 % |
31.49/31.65	c |     31130 |    6859   162301  1083981 | 2147483647    29553     25 |  1.381 % |
31.69/31.84	c |     31580 |    6859   162301  1083981 | 2147483647    30003     25 |  1.381 % |
31.89/32.02	c |     32073 |    6856   162034  1079898 | 2147483647    30344     25 |  1.381 % |
31.89/32.04	c |     32173 |    6856   162034  1079898 | 2147483647    30444     25 |  1.381 % |
31.89/32.08	c |     32283 |    6852   162034  1079898 | 2147483647    30551     25 |  1.438 % |
31.99/32.14	c |     32406 |    6847   162034  1079898 | 2147483647    30669     25 |  1.511 % |
32.09/32.23	c |     32541 |    6847   162034  1079898 | 2147483647    30804     25 |  1.510 % |
32.09/32.29	c |     32687 |    6847   162034  1079898 | 2147483647    30950     25 |  1.510 % |
32.19/32.35	c |     32847 |    6847   162034  1079898 | 2147483647    31110     24 |  1.510 % |
32.29/32.40	c |     33024 |    6847   162034  1079898 | 2147483647    31287     24 |  1.510 % |
32.29/32.49	c |     33217 |    6847   162034  1079898 | 2147483647    31480     24 |  1.510 % |
32.49/32.61	c |     33430 |    6847   162034  1079898 | 2147483647    31693     24 |  1.510 % |
32.59/32.74	c |     33663 |    6847   162034  1079898 | 2147483647    31926     24 |  1.510 % |
32.79/32.92	c |     33919 |    6847   162034  1079898 | 2147483647    32182     25 |  1.510 % |
32.89/33.01	c |     34200 |    6847   162034  1079898 | 2147483647    32463     25 |  1.510 % |
32.98/33.14	c |     34509 |    6847   162034  1079898 | 2147483647    32772     25 |  1.510 % |
33.08/33.28	c |     34849 |    6835   162034  1079898 | 2147483647    33108     24 |  1.755 % |
33.28/33.41	c |     35223 |    6835   162034  1079898 | 2147483647    33482     25 |  1.755 % |
33.38/33.57	c |     35632 |    6835   162034  1079898 | 2147483647    33891     24 |  1.755 % |
33.48/33.68	c |     36082 |    6835   162034  1079898 | 2147483647    34341     24 |  1.755 % |
33.68/33.88	c |     36576 |    6827   161364  1070137 | 2147483647    34215     24 |  1.798 % |
33.99/34.12	c |     37118 |    6825   161364  1070137 | 2147483647    34756     24 |  1.827 % |
33.99/34.15	c |     37220 |    6825   161364  1070137 | 2147483647    34858     24 |  1.827 % |
33.99/34.19	c |     37330 |    6825   161364  1070137 | 2147483647    34968     24 |  1.827 % |
34.08/34.26	c |     37451 |    6825   161364  1070137 | 2147483647    35089     24 |  1.827 % |
34.18/34.31	c |     37584 |    6825   161364  1070137 | 2147483647    35222     24 |  1.827 % |
34.18/34.36	c |     37731 |    6825   161364  1070137 | 2147483647    35369     24 |  1.827 % |
34.28/34.44	c |     37892 |    6825   161364  1070137 | 2147483647    35530     24 |  1.827 % |
34.38/34.51	c |     38068 |    6825   161364  1070137 | 2147483647    35706     24 |  1.827 % |
34.38/34.60	c |     38261 |    6819   161364  1070137 | 2147483647    35895     24 |  1.928 % |
34.48/34.68	c |     38475 |    6819   161364  1070137 | 2147483647    36109     24 |  1.928 % |
34.68/34.81	c |     38709 |    6819   161364  1070137 | 2147483647    36343     24 |  1.928 % |
34.78/34.97	c |     38967 |    6819   161364  1070137 | 2147483647    36601     24 |  1.928 % |
34.88/35.05	c |     39248 |    6819   161364  1070137 | 2147483647    36882     24 |  1.928 % |
34.99/35.18	c |     39557 |    6819   161364  1070137 | 2147483647    37191     24 |  1.928 % |
35.18/35.32	c |     39897 |    6819   161364  1070137 | 2147483647    37531     24 |  1.928 % |
35.29/35.42	c |     40269 |    6819   161364  1070137 | 2147483647    37903     24 |  1.928 % |
35.59/35.71	c |     40683 |    6819   161364  1070137 | 2147483647    38317     24 |  1.928 % |
35.79/35.98	c |     41132 |    6818   161021  1064927 | 2147483647    38455     25 |  1.928 % |
36.29/36.43	c |     41626 |    6818   161021  1064927 | 2147483647    38949     25 |  1.928 % |
36.39/36.59	c |     42168 |    6818   161021  1064927 | 2147483647    39491     25 |  1.928 % |
36.69/36.84	c |     42764 |    6818   161021  1064927 | 2147483647    40087     25 |  1.928 % |
36.79/36.90	c |     42864 |    6818   161021  1064927 | 2147483647    40187     25 |  1.928 % |
36.89/37.01	c |     42975 |    6818   161021  1064927 | 2147483647    40298     25 |  1.928 % |
36.89/37.09	c |     43096 |    6818   161021  1064927 | 2147483647    40419     25 |  1.928 % |
36.99/37.20	c |     43230 |    6818   161021  1064927 | 2147483647    40553     25 |  1.928 % |
37.19/37.31	c |     43376 |    6818   161021  1064927 | 2147483647    40699     25 |  1.928 % |
37.29/37.41	c |     43536 |    6818   161021  1064927 | 2147483647    40859     25 |  1.928 % |
37.39/37.51	c |     43713 |    6818   161021  1064927 | 2147483647    41036     25 |  1.928 % |
37.39/37.58	c |     43906 |    6794   161021  1064927 | 2147483647    41228     25 |  2.359 % |
37.49/37.65	c |     44118 |    6794   161021  1064927 | 2147483647    41440     24 |  2.359 % |
37.59/37.74	c |     44352 |    6794   161021  1064927 | 2147483647    41674     24 |  2.359 % |
37.68/37.89	c |     44608 |    6794   161021  1064927 | 2147483647    41930     24 |  2.359 % |
37.88/38.04	c |     44889 |    6788   160107  1052179 | 2147483647    41832     24 |  2.359 % |
37.98/38.17	c |     45200 |    6788   160107  1052179 | 2147483647    42143     24 |  2.359 % |
38.18/38.37	c |     45539 |    6788   160107  1052179 | 2147483647    42482     24 |  2.359 % |
38.29/38.47	c |     45912 |    6788   160107  1052179 | 2147483647    42855     24 |  2.359 % |
38.48/38.69	c |     46323 |    6742   160107  1052179 | 2147483647    43252     24 |  3.409 % |
38.68/38.87	c |     46772 |    6742   160107  1052179 | 2147483647    43701     24 |  3.409 % |
38.88/39.03	c |     47266 |    6742   160107  1052179 | 2147483647    44195     24 |  3.409 % |
39.08/39.21	c |     47808 |    6742   160107  1052179 | 2147483647    44737     24 |  3.409 % |
39.28/39.46	c |     48404 |    6742   160107  1052179 | 2147483647    45333     24 |  3.409 % |
39.49/39.67	c |     49060 |    6742   160107  1052179 | 2147483647    45989     24 |  3.409 % |
39.58/39.71	c |     49162 |    6740   160107  1052179 | 2147483647    46090     24 |  3.510 % |
39.58/39.78	c |     49272 |    6740   160107  1052179 | 2147483647    46200     24 |  3.510 % |
39.68/39.85	c |     49394 |    6740   160107  1052179 | 2147483647    46322     24 |  3.510 % |
39.78/39.94	c |     49527 |    6708   157889  1019164 | 2147483647    45338     24 |  3.510 % |
39.88/40.00	c |     49676 |    6708   157889  1019164 | 2147483647    45487     24 |  3.510 % |
39.88/40.07	c |     49838 |    6708   157889  1019164 | 2147483647    45649     24 |  3.510 % |
39.98/40.16	c |     50014 |    6708   157889  1019164 | 2147483647    45825     24 |  3.510 % |
40.08/40.25	c |     50209 |    6707   157889  1019164 | 2147483647    46019     24 |  3.525 % |
40.18/40.32	c |     50422 |    6707   157889  1019164 | 2147483647    46232     24 |  3.524 % |
40.28/40.42	c |     50658 |    6707   157889  1019164 | 2147483647    46468     24 |  3.524 % |
40.38/40.52	c |     50914 |    6707   157889  1019164 | 2147483647    46724     24 |  3.524 % |
40.49/40.62	c |     51196 |    6707   157889  1019164 | 2147483647    47006     24 |  3.524 % |
40.59/40.72	c |     51505 |    6707   157889  1019164 | 2147483647    47315     23 |  3.524 % |
40.68/40.88	c |     51844 |    6700   157889  1019164 | 2147483647    47651     23 |  3.625 % |
40.98/41.11	c |     52217 |    6700   157889  1019164 | 2147483647    48024     23 |  3.625 % |
41.08/41.24	c |     52626 |    6700   157889  1019164 | 2147483647    48433     23 |  3.625 % |
41.38/41.54	c |     53076 |    6700   157889  1019164 | 2147483647    48883     24 |  3.625 % |
41.58/41.78	c |     53570 |    6700   157889  1019164 | 2147483647    49377     24 |  3.626 % |
41.88/42.08	c |     54115 |    6696   157889  1019164 | 2147483647    49920     24 |  3.682 % |
42.08/42.26	c |     54711 |    6696   157524  1013307 | 2147483647    50331     23 |  3.683 % |
42.28/42.49	c |     55368 |    6696   157524  1013307 | 2147483647    50988     23 |  3.682 % |
42.58/42.72	c |     56090 |    6696   157524  1013307 | 2147483647    51710     23 |  3.682 % |
42.58/42.75	c |     56190 |    6696   157524  1013307 | 2147483647    51810     23 |  3.682 % |
42.68/42.81	c |     56301 |    6696   157524  1013307 | 2147483647    51921     23 |  3.682 % |
42.68/42.87	c |     56422 |    6696   157524  1013307 | 2147483647    52042     23 |  3.683 % |
42.88/43.00	c |     56555 |    6696   157524  1013307 | 2147483647    52175     23 |  3.683 % |
42.88/43.06	c |     56703 |    6696   157524  1013307 | 2147483647    52323     23 |  3.682 % |
42.98/43.15	c |     56863 |    6696   157524  1013307 | 2147483647    52483     23 |  3.682 % |
43.08/43.21	c |     57039 |    6696   157524  1013307 | 2147483647    52659     23 |  3.682 % |
43.18/43.36	c |     57232 |    6690   157524  1013307 | 2147483647    52850     23 |  3.783 % |
43.28/43.44	c |     57445 |    6690   157524  1013307 | 2147483647    53063     23 |  3.783 % |
43.48/43.60	c |     57678 |    6690   157524  1013307 | 2147483647    53296     23 |  3.783 % |
43.58/43.77	c |     57936 |    6690   157524  1013307 | 2147483647    53554     23 |  3.783 % |
43.78/43.91	c |     58217 |    6690   157524  1013307 | 2147483647    53835     23 |  3.783 % |
43.88/44.04	c |     58526 |    6690   157524  1013307 | 2147483647    54144     23 |  3.783 % |
43.98/44.15	c |     58867 |    6688   157524  1013307 | 2147483647    54483     23 |  3.812 % |
44.08/44.26	c |     59240 |    6688   157524  1013307 | 2147483647    54856     23 |  3.812 % |
44.28/44.46	c |     59650 |    6687   157271  1009439 | 2147483647    55084     23 |  3.812 % |
44.48/44.61	c |     60099 |    6687   157271  1009439 | 2147483647    55533     23 |  3.812 % |
44.68/44.87	c |     60593 |    6687   157271  1009439 | 2147483647    56027     23 |  3.812 % |
44.98/45.11	c |     61135 |    6685   157271  1009439 | 2147483647    56568     23 |  3.855 % |
45.18/45.39	c |     61731 |    6685   157271  1009439 | 2147483647    57164     23 |  3.855 % |
45.38/45.55	c |     62387 |    6685   157271  1009439 | 2147483647    57820     23 |  3.855 % |
45.78/45.91	c |     63107 |    6685   157271  1009439 | 2147483647    58540     23 |  3.855 % |
45.98/46.15	c |     63899 |    6685   157271  1009439 | 2147483647    59332     23 |  3.855 % |
46.08/46.20	c |     64001 |    6685   157271  1009439 | 2147483647    59434     23 |  3.855 % |
46.08/46.26	c |     64113 |    6685   157271  1009439 | 2147483647    59546     23 |  3.855 % |
46.18/46.30	c |     64237 |    6685   157271  1009439 | 2147483647    59670     23 |  3.855 % |
46.18/46.35	c |     64371 |    6685   157271  1009439 | 2147483647    59804     23 |  3.855 % |
46.28/46.43	c |     64518 |    6685   157271  1009439 | 2147483647    59951     23 |  3.855 % |
46.37/46.53	c |     64678 |    6681   157271  1009439 | 2147483647    60109     23 |  3.927 % |
46.47/46.63	c |     64855 |    6681   157271  1009439 | 2147483647    60286     23 |  3.927 % |
46.57/46.74	c |     65048 |    6681   157271  1009439 | 2147483647    60479     23 |  3.927 % |
46.68/46.86	c |     65261 |    6679   157048  1006061 | 2147483647    60596     23 |  3.927 % |
46.78/46.94	c |     65495 |    6679   157048  1006061 | 2147483647    60830     23 |  3.927 % |
46.88/47.06	c |     65751 |    6678   157048  1006061 | 2147483647    61085     23 |  3.941 % |
46.98/47.17	c |     66032 |    6674   157048  1006061 | 2147483647    61364     23 |  4.013 % |
47.09/47.28	c |     66341 |    6674   157048  1006061 | 2147483647    61673     23 |  4.013 % |
47.19/47.36	c |     66682 |    6674   157048  1006061 | 2147483647    62014     23 |  4.013 % |
47.38/47.55	c |     67057 |    6674   157048  1006061 | 2147483647    62389     23 |  4.013 % |
47.48/47.69	c |     67467 |    6674   157048  1006061 | 2147483647    62799     23 |  4.013 % |
47.78/47.99	c |     67916 |    6674   157048  1006061 | 2147483647    63248     23 |  4.013 % |
48.08/48.26	c |     68409 |    6674   157048  1006061 | 2147483647    63741     23 |  4.013 % |
48.38/48.52	c |     68952 |    6674   157048  1006061 | 2147483647    64284     23 |  4.014 % |
48.68/48.82	c |     69549 |    6674   157048  1006061 | 2147483647    64881     23 |  4.013 % |
48.98/49.10	c |     70205 |    6674   157048  1006061 | 2147483647    65537     23 |  4.013 % |
49.28/49.40	c |     70926 |    6674   157048  1006061 | 2147483647    66258     23 |  4.013 % |
49.58/49.70	c |     71718 |    6673   156855  1002926 | 2147483647    66989     22 |  4.013 % |
49.88/50.05	c |     72590 |    6673   156855  1002926 | 2147483647    67861     22 |  4.013 % |
49.98/50.12	c |     72690 |    6673   156855  1002926 | 2147483647    67961     22 |  4.013 % |
49.98/50.16	c |     72800 |    6673   156855  1002926 | 2147483647    68071     22 |  4.013 % |
49.98/50.20	c |     72921 |    6673   156855  1002926 | 2147483647    68192     22 |  4.013 % |
50.18/50.30	c |     73055 |    6673   156855  1002926 | 2147483647    68326     22 |  4.013 % |
50.18/50.36	c |     73202 |    6673   156855  1002926 | 2147483647    68473     22 |  4.014 % |
50.28/50.45	c |     73363 |    6673   156855  1002926 | 2147483647    68634     22 |  4.013 % |
50.38/50.52	c |     73539 |    6673   156855  1002926 | 2147483647    68810     22 |  4.014 % |
50.48/50.62	c |     73732 |    6673   156855  1002926 | 2147483647    69003     22 |  4.013 % |
50.48/50.67	c |     73946 |    6673   156855  1002926 | 2147483647    69217     22 |  4.013 % |
50.57/50.77	c |     74179 |    6673   156855  1002926 | 2147483647    69450     22 |  4.013 % |
50.67/50.86	c |     74436 |    6673   156855  1002926 | 2147483647    69707     22 |  4.014 % |
50.77/50.97	c |     74717 |    6673   156855  1002926 | 2147483647    69988     22 |  4.013 % |
50.97/51.11	c |     75026 |    6673   156855  1002926 | 2147483647    70297     22 |  4.013 % |
51.07/51.26	c |     75365 |    6671   156855  1002926 | 2147483647    70635     22 |  4.042 % |
51.27/51.44	c |     75738 |    6671   156855  1002926 | 2147483647    71008     22 |  4.042 % |
51.47/51.61	c |     76148 |    6671   156855  1002926 | 2147483647    71418     22 |  4.042 % |
51.67/51.81	c |     76597 |    6671   156855  1002926 | 2147483647    71867     22 |  4.042 % |
51.87/52.08	c |     77090 |    6671   156855  1002926 | 2147483647    72360     22 |  4.042 % |
52.07/52.28	c |     77632 |    6671   156801  1002199 | 2147483647    72859     22 |  4.042 % |
52.57/52.70	c |     78231 |    6671   156801  1002199 | 2147483647    73458     22 |  4.042 % |
52.77/52.97	c |     78886 |    6671   156801  1002199 | 2147483647    74113     22 |  4.042 % |
53.37/53.51	c |     79607 |    6671   156801  1002199 | 2147483647    74834     22 |  4.042 % |
53.67/53.84	c |     80400 |    6671   156801  1002199 | 2147483647    75627     22 |  4.042 % |
54.07/54.21	c |     81271 |    6671   156801  1002199 | 2147483647    76498     22 |  4.042 % |
54.37/54.52	c |     82231 |    6671   156801  1002199 | 2147483647    77458     22 |  4.042 % |
54.37/54.60	c |     82333 |    6671   156801  1002199 | 2147483647    77560     22 |  4.042 % |
54.47/54.63	c |     82443 |    6671   156801  1002199 | 2147483647    77670     22 |  4.042 % |
54.47/54.69	c |     82564 |    6671   156801  1002199 | 2147483647    77791     22 |  4.042 % |
54.67/54.81	c |     82699 |    6670   156801  1002199 | 2147483647    77925     22 |  4.056 % |
54.67/54.89	c |     82845 |    6670   156801  1002199 | 2147483647    78071     22 |  4.056 % |
54.77/54.95	c |     83006 |    6670   156801  1002199 | 2147483647    78232     22 |  4.057 % |
54.87/55.05	c |     83184 |    6664   156801  1002199 | 2147483647    78407     22 |  5.064 % |
55.06/55.26	c |     83377 |    6664   156801  1002199 | 2147483647    78600     22 |  5.063 % |
55.16/55.40	c |     83590 |    6600   154776   971509 | 2147483647    77722     22 |  5.063 % |
55.26/55.46	c |     83824 |    6600   154776   971509 | 2147483647    77956     22 |  5.063 % |
55.46/55.69	c |     84080 |    6600   154776   971509 | 2147483647    78212     22 |  5.063 % |
55.66/55.80	c |     84361 |    6600   154776   971509 | 2147483647    78493     22 |  5.063 % |
55.87/56.03	c |     84670 |    6600   154776   971509 | 2147483647    78802     22 |  5.063 % |
55.97/56.18	c |     85009 |    6600   154776   971509 | 2147483647    79141     22 |  5.063 % |
56.16/56.31	c |     85384 |    6598   154776   971509 | 2147483647    79514     22 |  5.092 % |
56.36/56.51	c |     85794 |    6598   154776   971509 | 2147483647    79924     22 |  5.092 % |
56.66/56.84	c |     86243 |    6597   154776   971509 | 2147483647    80372     22 |  5.106 % |
56.86/57.02	c |     86736 |    6597   154776   971509 | 2147483647    80865     22 |  5.107 % |
57.36/57.53	c |     87278 |    6597   154776   971509 | 2147483647    81407     22 |  5.107 % |
57.56/57.73	c |     87874 |    6597   154776   971509 | 2147483647    82003     22 |  5.107 % |
57.86/58.03	c |     88531 |    6597   154776   971509 | 2147483647    82660     22 |  5.106 % |
58.06/58.26	c |     89252 |    6597   154776   971509 | 2147483647    83381     22 |  5.106 % |
58.36/58.54	c |     90044 |    6597   154776   971509 | 2147483647    84173     22 |  5.106 % |
58.76/58.95	c |     90915 |    6576   154538   968117 | 2147483647    84979     22 |  5.438 % |
59.26/59.48	c |     91874 |    6576   154538   968117 | 2147483647    85938     22 |  5.437 % |
59.66/59.87	c |     92929 |    6576   154538   968117 | 2147483647    86993     22 |  5.437 % |
59.76/59.98	c |     93029 |    6576   154538   968117 | 2147483647    87093     22 |  5.437 % |
59.86/60.04	c |     93139 |    6573   154538   968117 | 2147483647    87202     22 |  5.596 % |
59.86/60.09	c |     93260 |    6573   154538   968117 | 2147483647    87323     22 |  5.596 % |
59.96/60.15	c |     93394 |    6573   154538   968117 | 2147483647    87457     22 |  5.596 % |
60.06/60.21	c |     93540 |    6573   154538   968117 | 2147483647    87603     22 |  5.596 % |
60.16/60.31	c |     93700 |    6573   154538   968117 | 2147483647    87763     22 |  5.596 % |
60.16/60.39	c |     93877 |    6573   154538   968117 | 2147483647    87940     22 |  5.596 % |
60.36/60.50	c |     94070 |    6573   154538   968117 | 2147483647    88133     22 |  5.596 % |
60.36/60.58	c |     94286 |    6573   154538   968117 | 2147483647    88349     22 |  5.596 % |
60.56/60.73	c |     94521 |    6573   154538   968117 | 2147483647    88584     22 |  5.596 % |
60.66/60.84	c |     94777 |    6572   154538   968117 | 2147483647    88839     22 |  5.624 % |
60.76/60.95	c |     95059 |    6572   154538   968117 | 2147483647    89121     22 |  5.624 % |
60.96/61.15	c |     95368 |    6572   154538   968117 | 2147483647    89430     22 |  5.624 % |
61.26/61.43	c |     95711 |    6572   154538   968117 | 2147483647    89773     22 |  5.624 % |
61.46/61.62	c |     96084 |    6572   154538   968117 | 2147483647    90146     22 |  5.624 % |
61.76/61.95	c |     96495 |    6569   154538   968117 | 2147483647    90556     22 |  5.667 % |
62.16/62.40	c |     96944 |    6569   154538   968117 | 2147483647    91005     22 |  5.667 % |
62.66/62.83	c |     97438 |    6569   154538   968117 | 2147483647    91499     22 |  5.667 % |
63.06/63.29	c |     97981 |    6558   153515   951618 | 2147483647    91446     22 |  5.668 % |
63.56/63.75	c |     98578 |    6558   153515   951618 | 2147483647    92043     23 |  5.667 % |
63.85/64.08	c |     99234 |    6558   153515   951618 | 2147483647    92699     23 |  5.668 % |
64.55/64.72	c |     99954 |    6558   153515   951618 | 2147483647    93419     23 |  5.667 % |
64.85/65.06	c |    100746 |    6558   153515   951618 | 2147483647    94211     23 |  5.668 % |
65.35/65.51	c |    101617 |    6558   153515   951618 | 2147483647    95082     23 |  5.667 % |
65.65/65.84	c |    102575 |    6558   153515   951618 | 2147483647    96040     22 |  5.667 % |
66.36/66.57	c |    103630 |    6558   153515   951618 | 2147483647    97095     23 |  5.668 % |
66.76/66.91	c |    104789 |    6558   153515   951618 | 2147483647    98254     23 |  5.667 % |
66.76/66.97	c |    104890 |    6558   153515   951618 | 2147483647    98355     23 |  5.667 % |
66.86/67.02	c |    105000 |    6558   153515   951618 | 2147483647    98465     23 |  5.667 % |
66.86/67.08	c |    105121 |    6558   153515   951618 | 2147483647    98586     23 |  5.667 % |
66.96/67.17	c |    105255 |    6558   153515   951618 | 2147483647    98720     23 |  5.667 % |
67.06/67.29	c |    105401 |    6558   153515   951618 | 2147483647    98866     23 |  5.667 % |
67.26/67.42	c |    105562 |    6558   153515   951618 | 2147483647    99027     23 |  5.667 % |
67.36/67.58	c |    105738 |    6558   153515   951618 | 2147483647    99203     23 |  5.668 % |
67.46/67.64	c |    105931 |    6558   153515   951618 | 2147483647    99396     23 |  5.667 % |
67.66/67.84	c |    106145 |    6558   153515   951618 | 2147483647    99610     23 |  5.667 % |
67.76/67.92	c |    106378 |    6558   153515   951618 | 2147483647    99843     23 |  5.667 % |
67.96/68.11	c |    106634 |    6558   153515   951618 | 2147483647   100099     22 |  5.667 % |
68.06/68.27	c |    106918 |    6558   153515   951618 | 2147483647   100383     23 |  5.667 % |
68.26/68.46	c |    107228 |    6558   153515   951618 | 2147483647   100693     23 |  5.667 % |
68.46/68.61	c |    107568 |    6558   153515   951618 | 2147483647   101033     22 |  5.667 % |
68.66/68.84	c |    107940 |    6558   153515   951618 | 2147483647   101405     22 |  5.667 % |
68.76/68.99	c |    108349 |    6558   153515   951618 | 2147483647   101814     22 |  5.668 % |
69.06/69.25	c |    108798 |    6558   153515   951618 | 2147483647   102263     22 |  5.667 % |
69.26/69.41	c |    109291 |    6558   153515   951618 | 2147483647   102756     22 |  5.667 % |
69.55/69.73	c |    109833 |    6558   153515   951618 | 2147483647   103298     22 |  5.667 % |
69.95/70.20	c |    110432 |    6557   153504   951554 | 2147483647   103891     22 |  5.682 % |
70.45/70.64	c |    111088 |    6557   153504   951554 | 2147483647   104547     22 |  5.682 % |
70.65/70.87	c |    111808 |    6557   153504   951554 | 2147483647   105267     22 |  5.682 % |
71.15/71.30	c |    112600 |    6557   153504   951554 | 2147483647   106059     22 |  5.682 % |
71.55/71.79	c |    113471 |    6557   153504   951554 | 2147483647   106930     22 |  5.682 % |
71.95/72.18	c |    114430 |    6557   153504   951554 | 2147483647   107889     22 |  5.682 % |
72.35/72.54	c |    115483 |    6557   153504   951554 | 2147483647   108942     22 |  5.682 % |
72.75/72.93	c |    116641 |    6557   153504   951554 | 2147483647   110100     22 |  5.682 % |
73.15/73.34	c |    117914 |    6557   153504   951554 | 2147483647   111373     22 |  5.682 % |
73.15/73.39	c |    118014 |    6557   153504   951554 | 2147483647   111473     22 |  5.682 % |
73.35/73.50	c |    118124 |    6556   153504   951554 | 2147483647   111582     22 |  5.696 % |
73.35/73.58	c |    118246 |    6556   153504   951554 | 2147483647   111704     22 |  5.696 % |
73.45/73.68	c |    118380 |    6556   153504   951554 | 2147483647   111838     22 |  5.696 % |
73.55/73.75	c |    118527 |    6556   153504   951554 | 2147483647   111985     22 |  5.696 % |
73.65/73.83	c |    118689 |    6556   153504   951554 | 2147483647   112147     22 |  5.696 % |
73.85/74.07	c |    118866 |    6556   153472   951027 | 2147483647   112313     22 |  5.696 % |
74.05/74.26	c |    119059 |    6556   153472   951027 | 2147483647   112506     22 |  5.696 % |
74.24/74.42	c |    119271 |    6556   153472   951027 | 2147483647   112718     22 |  5.696 % |
74.34/74.55	c |    119505 |    6556   153472   951027 | 2147483647   112952     22 |  5.697 % |
74.44/74.66	c |    119762 |    6556   153472   951027 | 2147483647   113209     22 |  5.696 % |
74.66/74.87	c |    120043 |    6556   153472   951027 | 2147483647   113490     22 |  5.696 % |
74.95/75.18	c |    120352 |    6556   153472   951027 | 2147483647   113799     22 |  5.697 % |
75.15/75.39	c |    120692 |    6556   153472   951027 | 2147483647   114139     22 |  5.696 % |
75.45/75.61	c |    121064 |    6556   153472   951027 | 2147483647   114511     22 |  5.696 % |
75.66/75.83	c |    121473 |    6556   153472   951027 | 2147483647   114920     22 |  5.696 % |
75.85/76.02	c |    121922 |    6556   153472   951027 | 2147483647   115369     22 |  5.696 % |
76.15/76.31	c |    122416 |    6556   153472   951027 | 2147483647   115863     22 |  5.696 % |
76.45/76.65	c |    122958 |    6556   153472   951027 | 2147483647   116405     22 |  5.697 % |
77.05/77.20	c |    123556 |    6556   153472   951027 | 2147483647   117003     22 |  5.696 % |
77.25/77.47	c |    124211 |    6556   153472   951027 | 2147483647   117658     22 |  5.696 % |
77.45/77.67	c |    124932 |    6556   153472   951027 | 2147483647   118379     22 |  5.696 % |
77.75/78.00	c |    125725 |    6556   153472   951027 | 2147483647   119172     22 |  5.696 % |
78.55/78.70	c |    126597 |    6556   153472   951027 | 2147483647   120044     22 |  5.696 % |
79.25/79.42	c |    127557 |    6556   153472   951027 | 2147483647   121004     22 |  5.697 % |
79.55/79.71	c |    128610 |    6556   153472   951027 | 2147483647   122057     22 |  5.697 % |
79.95/80.10	c |    129768 |    6556   153472   951027 | 2147483647   123215     22 |  5.696 % |
80.35/80.59	c |    131041 |    6556   153472   951027 | 2147483647   124488     22 |  5.696 % |
81.94/82.11	c |    132441 |    6555   153457   950922 | 2147483647   125883     22 |  5.711 % |
81.94/82.17	c |    132541 |    6555   153457   950922 | 2147483647   125983     22 |  5.711 % |
82.04/82.27	c |    132651 |    6554   153457   950922 | 2147483647   126092     22 |  5.725 % |
82.14/82.36	c |    132772 |    6552   153457   950922 | 2147483647   126212     22 |  5.754 % |
82.25/82.45	c |    132907 |    6552   153457   950922 | 2147483647   126347     22 |  5.754 % |
82.35/82.54	c |    133057 |    6549   153457   950922 | 2147483647   126495     22 |  5.797 % |
82.44/82.69	c |    133218 |    6549   153457   950922 | 2147483647   126656     22 |  5.797 % |
82.64/82.80	c |    133394 |    6549   153457   950922 | 2147483647   126832     22 |  5.797 % |
82.74/82.94	c |    133589 |    6549   153457   950922 | 2147483647   127027     22 |  5.797 % |
82.84/83.04	c |    133801 |    6549   153457   950922 | 2147483647   127239     22 |  5.797 % |
82.94/83.19	c |    134034 |    6549   153457   950922 | 2147483647   127472     22 |  5.797 % |
83.14/83.32	c |    134290 |    6548   153457   950922 | 2147483647   127727     22 |  5.811 % |
83.35/83.51	c |    134573 |    6548   153457   950922 | 2147483647   128010     22 |  5.811 % |
83.45/83.68	c |    134883 |    6543   153457   950922 | 2147483647   128318     22 |  5.883 % |
83.64/83.89	c |    135222 |    6543   153457   950922 | 2147483647   128657     22 |  5.883 % |
83.85/84.06	c |    135594 |    6543   153457   950922 | 2147483647   129029     22 |  5.883 % |
84.25/84.41	c |    136003 |    6543   153457   950922 | 2147483647   129438     22 |  5.883 % |
84.55/84.74	c |    136452 |    6543   153457   950922 | 2147483647   129887     22 |  5.883 % |
84.95/85.15	c |    136945 |    6543   153457   950922 | 2147483647   130380     22 |  5.883 % |
85.35/85.58	c |    137488 |    6543   153457   950922 | 2147483647   130923     22 |  5.884 % |
85.74/85.94	c |    138087 |    6543   153457   950922 | 2147483647   131522     22 |  5.883 % |
86.04/86.29	c |    138742 |    6543   153457   950922 | 2147483647   132177     22 |  5.883 % |
86.54/86.74	c |    139463 |    6543   153457   950922 | 2147483647   132898     22 |  5.883 % |
86.84/87.06	c |    140257 |    6543   153457   950922 | 2147483647   133692     22 |  5.884 % |
87.44/87.68	c |    141128 |    6543   153457   950922 | 2147483647   134563     22 |  5.883 % |
87.84/88.04	c |    142086 |    6543   153146   946593 | 2147483647   135352     22 |  5.883 % |
88.74/88.94	c |    143140 |    6543   153146   946593 | 2147483647   136406     22 |  5.883 % |
89.14/89.37	c |    144300 |    6543   153146   946593 | 2147483647   137566     22 |  5.883 % |
89.84/90.01	c |    145574 |    6543   153146   946593 | 2147483647   138840     22 |  5.883 % |
90.24/90.50	c |    146974 |    6543   153146   946593 | 2147483647   140240     22 |  5.883 % |
91.33/91.53	c |    148514 |    6543   153146   946593 | 2147483647   141780     22 |  5.883 % |
91.43/91.61	c |    148618 |    6543   153146   946593 | 2147483647   141884     22 |  5.883 % |
91.43/91.69	c |    148729 |    6543   153146   946593 | 2147483647   141995     22 |  5.883 % |
91.53/91.79	c |    148851 |    6543   153146   946593 | 2147483647   142117     22 |  5.883 % |
91.63/91.87	c |    148984 |    6543   153146   946593 | 2147483647   142250     22 |  5.883 % |
91.73/91.94	c |    149131 |    6543   153146   946593 | 2147483647   142397     22 |  5.883 % |
91.93/92.12	c |    149292 |    6543   153146   946593 | 2147483647   142558     22 |  5.883 % |
92.03/92.20	c |    149469 |    6543   153146   946593 | 2147483647   142735     22 |  5.884 % |
92.24/92.45	c |    149662 |    6543   153146   946593 | 2147483647   142928     22 |  5.883 % |
92.33/92.52	c |    149874 |    6543   153146   946593 | 2147483647   143140     22 |  5.883 % |
92.53/92.78	c |    150108 |    6543   153146   946593 | 2147483647   143374     22 |  5.883 % |
92.73/92.99	c |    150364 |    6543   153146   946593 | 2147483647   143630     22 |  5.883 % |
92.93/93.20	c |    150645 |    6543   153146   946593 | 2147483647   143911     22 |  5.883 % |
93.13/93.38	c |    150955 |    6543   153146   946593 | 2147483647   144221     22 |  5.883 % |
93.33/93.58	c |    151294 |    6543   153146   946593 | 2147483647   144560     22 |  5.883 % |
93.53/93.74	c |    151666 |    6543   153146   946593 | 2147483647   144932     22 |  5.883 % |
93.73/93.97	c |    152076 |    6543   153146   946593 | 2147483647   145342     22 |  5.883 % |
94.23/94.47	c |    152526 |    6543   153146   946593 | 2147483647   145792     22 |  5.884 % |
94.53/94.73	c |    153020 |    6543   153146   946593 | 2147483647   146286     22 |  5.883 % |
95.03/95.23	c |    153562 |    6543   153146   946593 | 2147483647   146828     22 |  5.884 % |
95.33/95.54	c |    154159 |    6543   153146   946593 | 2147483647   147425     22 |  5.883 % |
95.73/95.96	c |    154814 |    6543   153146   946593 | 2147483647   148080     22 |  5.883 % |
95.93/96.17	c |    155535 |    6543   153146   946593 | 2147483647   148801     22 |  5.883 % |
97.04/97.22	c |    156327 |    6543   153146   946593 | 2147483647   149593     22 |  5.883 % |
97.83/98.02	c |    157198 |    6543   153146   946593 | 2147483647   150464     22 |  5.884 % |
98.53/98.76	c |    158157 |    6543   153146   946593 | 2147483647   151423     22 |  5.884 % |
98.93/99.17	c |    159213 |    6543   153146   946593 | 2147483647   152479     22 |  5.883 % |
99.43/99.64	c |    160372 |    6543   153146   946593 | 2147483647   153638     22 |  5.883 % |
99.93/100.10	c |    161645 |    6543   153146   946593 | 2147483647   154911     22 |  5.883 % |
100.53/100.73	c |    163046 |    6543   153146   946593 | 2147483647   156312     22 |  5.883 % |
101.23/101.49	c |    164586 |    6542   153110   946052 | 2147483647   157847     22 |  5.898 % |
102.13/102.39	c |    166280 |    6542   153110   946052 | 2147483647   159541     22 |  5.898 % |
102.23/102.47	c |    166380 |    6542   153110   946052 | 2147483647   159641     22 |  5.898 % |
102.33/102.51	c |    166491 |    6542   153110   946052 | 2147483647   159752     22 |  5.898 % |
102.43/102.61	c |    166613 |    6542   153110   946052 | 2147483647   159874     22 |  5.898 % |
102.43/102.69	c |    166747 |    6542   153110   946052 | 2147483647   160008     22 |  5.898 % |
102.63/102.89	c |    166893 |    6542   153110   946052 | 2147483647   160154     22 |  5.898 % |
102.83/103.02	c |    167054 |    6542   153110   946052 | 2147483647   160315     22 |  5.898 % |
102.93/103.16	c |    167230 |    6542   153110   946052 | 2147483647   160491     22 |  5.898 % |
103.13/103.33	c |    167424 |    6542   153110   946052 | 2147483647   160685     22 |  5.898 % |
103.33/103.50	c |    167636 |    6542   153110   946052 | 2147483647   160897     22 |  5.898 % |
103.63/103.85	c |    167869 |    6542   153110   946052 | 2147483647   161130     22 |  5.898 % |
103.92/104.14	c |    168125 |    6542   153110   946052 | 2147483647   161386     22 |  5.898 % |
104.42/104.65	c |    168408 |    6542   153110   946052 | 2147483647   161669     22 |  5.898 % |
104.62/104.84	c |    168717 |    6542   153110   946052 | 2147483647   161978     22 |  5.898 % |
104.92/105.12	c |    169057 |    6542   153110   946052 | 2147483647   162318     22 |  5.898 % |
105.22/105.43	c |    169430 |    6542   153110   946052 | 2147483647   162691     22 |  5.898 % |
105.43/105.67	c |    169841 |    6542   153110   946052 | 2147483647   163102     22 |  5.898 % |
105.62/105.89	c |    170291 |    6542   153110   946052 | 2147483647   163552     22 |  5.898 % |
106.02/106.21	c |    170784 |    6542   153110   946052 | 2147483647   164045     22 |  5.898 % |
106.22/106.46	c |    171326 |    6542   153110   946052 | 2147483647   164587     22 |  5.898 % |
106.72/106.95	c |    171922 |    6542   153110   946052 | 2147483647   165183     22 |  5.898 % |
107.02/107.27	c |    172577 |    6542   153110   946052 | 2147483647   165838     22 |  5.898 % |
107.92/108.19	c |    173300 |    6542   153110   946052 | 2147483647   166561     22 |  5.898 % |
108.32/108.53	c |    174094 |    6542   153110   946052 | 2147483647   167355     22 |  5.898 % |
109.22/109.46	c |    174967 |    6542   153110   946052 | 2147483647   168228     22 |  5.898 % |
109.52/109.77	c |    175925 |    6542   153110   946052 | 2147483647   169186     22 |  5.898 % |
110.22/110.45	c |    176980 |    6542   153110   946052 | 2147483647   170241     22 |  5.898 % |
111.12/111.30	c |    178138 |    6540   153046   944998 | 2147483647   171390     22 |  5.927 % |
111.82/112.03	c |    179411 |    6540   153046   944998 | 2147483647   172663     22 |  5.926 % |
112.42/112.69	c |    180811 |    6540   153046   944998 | 2147483647   174063     22 |  5.927 % |
113.22/113.44	c |    182352 |    6540   153046   944998 | 2147483647   175604     22 |  5.926 % |
113.72/113.95	c |    184047 |    6540   153046   944998 | 2147483647   177299     22 |  5.926 % |
114.53/114.74	c |    185913 |    6540   153046   944998 | 2147483647   179165     22 |  5.926 % |
114.62/114.82	c |    186013 |    6540   153046   944998 | 2147483647   179265     22 |  5.926 % |
114.62/114.89	c |    186124 |    6540   153046   944998 | 2147483647   179376     22 |  5.926 % |
114.72/114.97	c |    186246 |    6540   153046   944998 | 2147483647   179498     22 |  5.926 % |
114.82/115.10	c |    186379 |    6540   153046   944998 | 2147483647   179631     22 |  5.926 % |
114.92/115.17	c |    186525 |    6540   153046   944998 | 2147483647   179777     22 |  5.926 % |
115.02/115.27	c |    186686 |    6540   153046   944998 | 2147483647   179938     22 |  5.926 % |
115.12/115.36	c |    186862 |    6540   153046   944998 | 2147483647   180114     22 |  5.926 % |
115.23/115.48	c |    187055 |    6540   153046   944998 | 2147483647   180307     22 |  5.926 % |
115.42/115.62	c |    187267 |    6540   153046   944998 | 2147483647   180519     22 |  5.926 % |
115.62/115.81	c |    187502 |    6540   153046   944998 | 2147483647   180754     22 |  5.926 % |
115.72/115.99	c |    187758 |    6540   153046   944998 | 2147483647   181010     22 |  5.926 % |
115.92/116.18	c |    188041 |    6540   153046   944998 | 2147483647   181293     22 |  5.926 % |
116.22/116.45	c |    188350 |    6540   153046   944998 | 2147483647   181602     22 |  5.926 % |
116.43/116.62	c |    188690 |    6540   153046   944998 | 2147483647   181942     22 |  5.926 % |
116.52/116.74	c |    189062 |    6540   153046   944998 | 2147483647   182314     22 |  5.926 % |
116.72/116.97	c |    189472 |    6540   153046   944998 | 2147483647   182724     22 |  5.926 % |
116.92/117.15	c |    189921 |    6540   153046   944998 | 2147483647   183173     22 |  5.926 % |
117.22/117.48	c |    190415 |    6540   153046   944998 | 2147483647   183667     22 |  5.926 % |
117.82/118.04	c |    190958 |    6540   153046   944998 | 2147483647   184210     22 |  5.926 % |
118.32/118.53	c |    191555 |    6540   153046   944998 | 2147483647   184807     22 |  5.926 % |
118.72/118.90	c |    192210 |    6540   153046   944998 | 2147483647   185462     22 |  5.926 % |
120.12/120.39	c |    192930 |    6540   153046   944998 | 2147483647   186182     22 |  5.926 % |
120.61/120.80	c |    193722 |    6540   153046   944998 | 2147483647   186974     22 |  5.927 % |
121.51/121.71	c |    194593 |    6540   153046   944998 | 2147483647   187845     22 |  5.926 % |
122.12/122.36	c |    195551 |    6540   153046   944998 | 2147483647   188803     22 |  5.926 % |
122.72/122.95	c |    196605 |    6539   153014   944471 | 2147483647   189844     22 |  5.941 % |
124.12/124.33	c |    197764 |    6539   153014   944471 | 2147483647   191003     22 |  5.941 % |
124.71/124.95	c |    199037 |    6539   153014   944471 | 2147483647   192276     22 |  5.941 % |
125.91/126.11	c |    200437 |    6533   153014   944471 | 2147483647   193674     22 |  6.027 % |
126.61/126.82	c |    201979 |    6533   153014   944471 | 2147483647   195216     22 |  6.027 % |
127.41/127.69	c |    203673 |    6533   153014   944471 | 2147483647   196910     22 |  6.027 % |
128.61/128.86	c |    205536 |    6533   153014   944471 | 2147483647   198773     22 |  6.027 % |
129.91/130.11	c |    207585 |    6533   153014   944471 | 2147483647   200822     22 |  6.027 % |
130.01/130.23	c |    207685 |    6533   153014   944471 | 2147483647   200922     22 |  6.027 % |
130.11/130.36	c |    207796 |    6533   153014   944471 | 2147483647   201033     22 |  6.027 % |
130.21/130.48	c |    207917 |    6533   153014   944471 | 2147483647   201154     22 |  6.027 % |
130.51/130.75	c |    208052 |    6533   153014   944471 | 2147483647   201289     22 |  6.027 % |
130.72/130.94	c |    208198 |    6533   153014   944471 | 2147483647   201435     22 |  6.027 % |
130.82/131.04	c |    208358 |    6533   153014   944471 | 2147483647   201595     22 |  6.027 % |
131.12/131.32	c |    208535 |    6533   153014   944471 | 2147483647   201772     22 |  6.027 % |
131.32/131.59	c |    208728 |    6533   153014   944471 | 2147483647   201964     22 |  6.041 % |
131.72/131.98	c |    208942 |    6532   153014   944471 | 2147483647   202178     22 |  6.041 % |
132.22/132.44	c |    209177 |    6532   153014   944471 | 2147483647   202413     22 |  6.041 % |
132.62/132.89	c |    209433 |    6532   153014   944471 | 2147483647   202669     22 |  6.042 % |
133.12/133.31	c |    209716 |    6532   153014   944471 | 2147483647   202952     22 |  6.041 % |
133.52/133.74	c |    210026 |    6532   153014   944471 | 2147483647   203262     22 |  6.041 % |
134.02/134.22	c |    210366 |    6532   152791   940813 | 2147483647   203483     22 |  6.041 % |
134.21/134.44	c |    210739 |    6532   152791   940813 | 2147483647   203856     22 |  6.042 % |
134.61/134.82	c |    211149 |    6532   152791   940813 | 2147483647   204266     22 |  6.041 % |
134.81/135.04	c |    211599 |    6532   152791   940813 | 2147483647   204716     22 |  6.041 % |
135.41/135.67	c |    212092 |    6527   152791   940813 | 2147483647   205208     22 |  6.113 % |
135.81/136.05	c |    212635 |    6527   152791   940813 | 2147483647   205751     22 |  6.113 % |
136.41/136.65	c |    213232 |    6527   152791   940813 | 2147483647   206348     22 |  6.113 % |
136.91/137.14	c |    213888 |    6527   152791   940813 | 2147483647   207004     22 |  6.113 % |
137.41/137.61	c |    214608 |    6527   152791   940813 | 2147483647   207724     22 |  6.113 % |
137.91/138.14	c |    215400 |    6527   152791   940813 | 2147483647   208516     22 |  6.114 % |
138.42/138.66	c |    216271 |    6527   152791   940813 | 2147483647   209387     22 |  6.113 % |
138.91/139.16	c |    217229 |    6527   152791   940813 | 2147483647   210345     22 |  6.113 % |
139.61/139.87	c |    218283 |    6527   152791   940813 | 2147483647   211399     22 |  6.113 % |
140.91/141.11	c |    219444 |    6527   152791   940813 | 2147483647   212560     22 |  6.113 % |
142.21/142.42	c |    220717 |    6527   152791   940813 | 2147483647   213833     23 |  6.113 % |
144.00/144.21	c |    222117 |    6527   152791   940813 | 2147483647   215233     23 |  6.113 % |
145.30/145.50	c |    223658 |    6527   152791   940813 | 2147483647   216774     23 |  6.113 % |
146.31/146.56	c |    225354 |    6527   152791   940813 | 2147483647   218470     23 |  6.113 % |
147.41/147.63	c |    227219 |    6527   152632   938209 | 2147483647   220274     23 |  6.113 % |
148.41/148.65	c |    229269 |    6527   152632   938209 | 2147483647   222324     23 |  6.113 % |
149.81/150.02	c |    231522 |    6527   152632   938209 | 2147483647   224577     23 |  6.113 % |
149.91/150.14	c |    231622 |    6527   152632   938209 | 2147483647   224677     23 |  6.113 % |
150.01/150.28	c |    231733 |    6515   152632   938209 | 2147483647   224786     23 |  6.286 % |
150.31/150.52	c |    231855 |    6515   152632   938209 | 2147483647   224908     23 |  6.286 % |
150.41/150.63	c |    231988 |    6515   152632   938209 | 2147483647   225041     23 |  6.286 % |
150.61/150.82	c |    232134 |    6515   152632   938209 | 2147483647   225187     23 |  6.286 % |
150.71/150.97	c |    232295 |    6515   152632   938209 | 2147483647   225348     23 |  6.286 % |
150.91/151.15	c |    232472 |    6511   152632   938209 | 2147483647   225524     23 |  6.372 % |
151.01/151.28	c |    232665 |    6511   152632   938209 | 2147483647   225717     23 |  6.372 % |
151.21/151.42	c |    232877 |    6511   152632   938209 | 2147483647   225929     23 |  6.372 % |
151.41/151.69	c |    233110 |    6511   152632   938209 | 2147483647   226162     23 |  6.372 % |
151.81/152.04	c |    233366 |    6511   152632   938209 | 2147483647   226418     23 |  6.372 % |
151.91/152.17	c |    233647 |    6511   152632   938209 | 2147483647   226699     23 |  6.372 % |
152.31/152.51	c |    233956 |    6511   152632   938209 | 2147483647   227008     23 |  6.372 % |
152.50/152.76	c |    234296 |    6511   152632   938209 | 2147483647   227348     23 |  6.372 % |
152.80/153.03	c |    234670 |    6511   152632   938209 | 2147483647   227722     23 |  6.372 % |
153.00/153.23	c |    235079 |    6511   152632   938209 | 2147483647   228131     23 |  6.372 % |
153.30/153.54	c |    235529 |    6511   152632   938209 | 2147483647   228581     23 |  6.372 % |
153.71/153.98	c |    236023 |    6509   152632   938209 | 2147483647   229073     23 |  6.401 % |
154.00/154.27	c |    236566 |    6509   152632   938209 | 2147483647   229616     23 |  6.401 % |
154.40/154.69	c |    237164 |    6503   152632   938209 | 2147483647   230213     23 |  6.732 % |
155.00/155.23	c |    237819 |    6503   152632   938209 | 2147483647   230868     23 |  6.732 % |
156.10/156.39	c |    238540 |    6503   152632   938209 | 2147483647   231589     23 |  6.732 % |
157.70/157.97	c |    239335 |    6503   152632   938209 | 2147483647   232384     23 |  6.732 % |
158.30/158.54	c |    240207 |    6502   152632   938209 | 2147483647   233255     23 |  6.746 % |
158.80/159.09	c |    241167 |    6502   152632   938209 | 2147483647   234215     23 |  6.746 % |
159.40/159.63	c |    242220 |    6502   152632   938209 | 2147483647   235268     23 |  6.746 % |
160.00/160.28	c |    243378 |    6502   152632   938209 | 2147483647   236426     23 |  6.746 % |
161.20/161.45	c |    244651 |    6483   151456   920236 | 2147483647   237207     23 |  6.746 % |
162.70/162.96	c |    246051 |    6483   151456   920236 | 2147483647   238607     23 |  6.746 % |
163.60/163.84	c |    247592 |    6483   151456   920236 | 2147483647   240148     23 |  6.746 % |
166.79/167.01	c |    249287 |    6483   151456   920236 | 2147483647   241843     23 |  6.746 % |
168.19/168.49	c |    251150 |    6483   151456   920236 | 2147483647   243706     23 |  6.747 % |
170.59/170.80	c |    253199 |    6483   151456   920236 | 2147483647   245755     23 |  6.746 % |
172.29/172.56	c |    255454 |    6483   151456   920236 | 2147483647   248010     23 |  6.746 % |
174.10/174.39	c |    257933 |    6483   151456   920236 | 2147483647   250489     23 |  6.746 % |
174.20/174.45	c |    258036 |    6483   151456   920236 | 2147483647   250592     23 |  6.746 % |
174.30/174.56	c |    258148 |    6483   151456   920236 | 2147483647   250704     23 |  6.746 % |
174.50/174.72	c |    258269 |    6483   151456   920236 | 2147483647   250825     23 |  6.746 % |
174.60/174.84	c |    258402 |    6483   151456   920236 | 2147483647   250958     23 |  6.747 % |
174.70/174.96	c |    258548 |    6483   151456   920236 | 2147483647   251104     23 |  6.746 % |
174.90/175.11	c |    258708 |    6483   151456   920236 | 2147483647   251264     23 |  6.746 % |
175.10/175.32	c |    258886 |    6483   151456   920236 | 2147483647   251442     23 |  6.746 % |
175.20/175.47	c |    259079 |    6483   151456   920236 | 2147483647   251635     23 |  6.746 % |
175.30/175.59	c |    259291 |    6482   151456   920236 | 2147483647   251846     23 |  6.761 % |
175.60/175.86	c |    259524 |    6482   151456   920236 | 2147483647   252079     23 |  6.761 % |
175.80/176.05	c |    259780 |    6482   151456   920236 | 2147483647   252335     23 |  6.761 % |
176.20/176.47	c |    260061 |    6482   151456   920236 | 2147483647   252616     23 |  6.761 % |
176.40/176.64	c |    260371 |    6482   151456   920236 | 2147483647   252926     23 |  6.761 % |
176.60/176.86	c |    260711 |    6482   151456   920236 | 2147483647   253266     23 |  6.761 % |
177.00/177.24	c |    261084 |    6482   151456   920236 | 2147483647   253639     23 |  6.761 % |
177.30/177.58	c |    261493 |    6482   151424   919709 | 2147483647   254037     23 |  6.761 % |
177.80/178.07	c |    261942 |    6482   151424   919709 | 2147483647   254486     23 |  6.761 % |
178.50/178.71	c |    262436 |    6482   151424   919709 | 2147483647   254980     23 |  6.761 % |
178.70/178.93	c |    262978 |    6482   151424   919709 | 2147483647   255522     23 |  6.761 % |
179.60/179.80	c |    263576 |    6482   151424   919709 | 2147483647   256120     23 |  6.761 % |
179.90/180.20	c |    264231 |    6482   151424   919709 | 2147483647   256775     23 |  6.761 % |
180.70/180.91	c |    264952 |    6482   151424   919709 | 2147483647   257496     23 |  6.761 % |
181.69/181.96	c |    265745 |    6482   151424   919709 | 2147483647   258289     23 |  6.761 % |
182.49/182.70	c |    266616 |    6482   151424   919709 | 2147483647   259160     23 |  6.761 % |
182.89/183.12	c |    267574 |    6482   151424   919709 | 2147483647   260118     23 |  6.761 % |
183.59/183.83	c |    268628 |    6482   151424   919709 | 2147483647   261172     23 |  6.761 % |
184.19/184.46	c |    269786 |    6482   151424   919709 | 2147483647   262330     23 |  6.761 % |
184.79/185.02	c |    271060 |    6482   151424   919709 | 2147483647   263604     23 |  6.761 % |
185.69/185.96	c |    272462 |    6482   151424   919709 | 2147483647   265006     23 |  6.761 % |
186.99/187.26	c |    274003 |    6482   151424   919709 | 2147483647   266547     23 |  6.761 % |
188.09/188.39	c |    275698 |    6482   151424   919709 | 2147483647   268242     23 |  6.761 % |
189.19/189.46	c |    277562 |    6482   151424   919709 | 2147483647   270106     23 |  6.761 % |
190.18/190.47	c |    279614 |    6482   151424   919709 | 2147483647   272158     23 |  6.761 % |
191.19/191.48	c |    281868 |    6482   151424   919709 | 2147483647   274412     23 |  6.761 % |
194.28/194.58	c |    284347 |    6482   151424   919709 | 2147483647   276891     23 |  6.761 % |
199.49/199.79	c |    287072 |    6482   151424   919709 | 2147483647   279616     24 |  6.761 % |
199.69/199.94	c |    287173 |    6482   151424   919709 | 2147483647   279717     24 |  6.761 % |
199.79/200.04	c |    287283 |    6482   151424   919709 | 2147483647   279827     24 |  6.761 % |
199.99/200.26	c |    287406 |    6482   151424   919709 | 2147483647   279950     24 |  6.761 % |
200.09/200.35	c |    287539 |    6482   151424   919709 | 2147483647   280083     24 |  6.761 % |
200.29/200.59	c |    287687 |    6482   151424   919709 | 2147483647   280231     24 |  6.761 % |
200.59/200.89	c |    287847 |    6482   151424   919709 | 2147483647   280391     24 |  6.761 % |
200.79/201.03	c |    288023 |    6482   151424   919709 | 2147483647   280567     24 |  6.761 % |
200.89/201.20	c |    288218 |    6482   151424   919709 | 2147483647   280762     24 |  6.761 % |
201.09/201.38	c |    288430 |    6482   151424   919709 | 2147483647   280974     24 |  6.761 % |
201.29/201.55	c |    288663 |    6482   151424   919709 | 2147483647   281207     24 |  6.761 % |
201.49/201.72	c |    288919 |    6482   151424   919709 | 2147483647   281463     24 |  6.761 % |
201.79/202.08	c |    289201 |    6482   151424   919709 | 2147483647   281745     24 |  6.761 % |
202.19/202.44	c |    289511 |    6482   151424   919709 | 2147483647   282055     24 |  6.761 % |
202.49/202.78	c |    289851 |    6482   151424   919709 | 2147483647   282395     24 |  6.761 % |
202.88/203.19	c |    290225 |    6482   151424   919709 | 2147483647   282769     24 |  6.761 % |
203.19/203.44	c |    290634 |    6482   151424   919709 | 2147483647   283178     24 |  6.761 % |
203.38/203.67	c |    291084 |    6482   151424   919709 | 2147483647   283628     24 |  6.761 % |
204.08/204.33	c |    291579 |    6476   151232   916547 | 2147483647   284005     24 |  6.847 % |
204.39/204.63	c |    292121 |    6476   151232   916547 | 2147483647   284547     24 |  6.847 % |
204.78/205.09	c |    292717 |    6476   151232   916547 | 2147483647   285143     24 |  6.847 % |
205.18/205.47	c |    293373 |    6476   151232   916547 | 2147483647   285799     24 |  6.847 % |
205.58/205.86	c |    294094 |    6476   151232   916547 | 2147483647   286520     24 |  6.847 % |
206.38/206.61	c |    294886 |    6476   151232   916547 | 2147483647   287312     24 |  6.847 % |
206.78/207.00	c |    295757 |    6476   151232   916547 | 2147483647   288183     24 |  6.847 % |
207.78/208.05	c |    296720 |    6476   151232   916547 | 2147483647   289146     24 |  6.847 % |
208.08/208.39	c |    297773 |    6476   151232   916547 | 2147483647   290199     24 |  6.847 % |
208.98/209.28	c |    298931 |    6476   151232   916547 | 2147483647   291357     24 |  6.847 % |
209.58/209.86	c |    300204 |    6476   151232   916547 | 2147483647   292630     24 |  6.847 % |
210.18/210.43	c |    301604 |    6476   151232   916547 | 2147483647   294030     24 |  6.847 % |
210.88/211.10	c |    303144 |    6476   151232   916547 | 2147483647   295570     23 |  6.847 % |
211.98/212.26	c |    304838 |    6476   151232   916547 | 2147483647   297264     23 |  6.847 % |
212.98/213.26	c |    306701 |    6476   151232   916547 | 2147483647   299127     23 |  6.847 % |
214.18/214.48	c |    308750 |    6476   151232   916547 | 2147483647   301176     23 |  6.847 % |
215.78/216.02	c |    311003 |    6476   151232   916547 | 2147483647   303429     23 |  6.847 % |
217.77/218.09	c |    313481 |    6476   151232   916547 | 2147483647   305907     23 |  6.847 % |
219.37/219.67	c |    316206 |    6476   151232   916547 | 2147483647   308632     23 |  6.847 % |
221.77/222.03	c |    319204 |    6476   151232   916547 | 2147483647   311630     23 |  6.847 % |
221.87/222.18	c |    319304 |    6476   151232   916547 | 2147483647   311730     23 |  6.847 % |
222.07/222.31	c |    319414 |    6476   151232   916547 | 2147483647   311840     23 |  6.847 % |
222.17/222.48	c |    319535 |    6476   151232   916547 | 2147483647   311961     23 |  6.847 % |
222.47/222.71	c |    319668 |    6476   151232   916547 | 2147483647   312094     23 |  6.847 % |
222.57/222.84	c |    319815 |    6476   151232   916547 | 2147483647   312241     23 |  6.847 % |
222.67/222.96	c |    319976 |    6476   151232   916547 | 2147483647   312402     23 |  6.847 % |
222.77/223.08	c |    320153 |    6476   151232   916547 | 2147483647   312579     23 |  6.847 % |
223.07/223.33	c |    320346 |    6476   151232   916547 | 2147483647   312772     23 |  6.847 % |
223.17/223.43	c |    320558 |    6476   151232   916547 | 2147483647   312984     23 |  6.847 % |
223.27/223.56	c |    320791 |    6476   151232   916547 | 2147483647   313217     23 |  6.847 % |
223.47/223.74	c |    321047 |    6476   151232   916547 | 2147483647   313473     23 |  6.847 % |
223.87/224.14	c |    321329 |    6476   151232   916547 | 2147483647   313755     23 |  6.847 % |
224.47/224.78	c |    321640 |    6476   151232   916547 | 2147483647   314066     23 |  6.847 % |
225.27/225.56	c |    321979 |    6476   151232   916547 | 2147483647   314405     23 |  6.847 % |
225.67/225.92	c |    322351 |    6476   151232   916547 | 2147483647   314777     23 |  6.847 % |
225.97/226.20	c |    322761 |    6476   151232   916547 | 2147483647   315187     23 |  6.847 % |
226.27/226.57	c |    323210 |    6476   151232   916547 | 2147483647   315636     23 |  6.847 % |
226.46/226.78	c |    323703 |    6476   151232   916547 | 2147483647   316129     23 |  6.847 % |
227.06/227.37	c |    324246 |    6476   151232   916547 | 2147483647   316672     23 |  6.847 % |
227.37/227.63	c |    324842 |    6476   151232   916547 | 2147483647   317268     23 |  6.847 % |
228.06/228.33	c |    325498 |    6476   151232   916547 | 2147483647   317924     23 |  6.847 % |
228.86/229.15	c |    326219 |    6476   151232   916547 | 2147483647   318645     23 |  6.847 % |
229.86/230.14	c |    327011 |    6476   151232   916547 | 2147483647   319437     23 |  6.847 % |
230.67/230.91	c |    327882 |    6476   151232   916547 | 2147483647   320308     23 |  6.847 % |
231.26/231.53	c |    328840 |    6476   151232   916547 | 2147483647   321266     23 |  6.847 % |
232.26/232.51	c |    329893 |    6476   151232   916547 | 2147483647   322319     23 |  6.847 % |
232.56/232.89	c |    331052 |    6476   151232   916547 | 2147483647   323478     23 |  6.847 % |
233.37/233.69	c |    332325 |    6476   151232   916547 | 2147483647   324751     23 |  6.847 % |
234.17/234.42	c |    333725 |    6476   151232   916547 | 2147483647   326151     23 |  6.847 % |
235.87/236.16	c |    335265 |    6476   151232   916547 | 2147483647   327691     23 |  6.847 % |
237.47/237.76	c |    336960 |    6476   151232   916547 | 2147483647   329386     23 |  6.847 % |
239.27/239.54	c |    338823 |    6476   151232   916547 | 2147483647   331249     23 |  6.847 % |
241.17/241.47	c |    340872 |    6476   151232   916547 | 2147483647   333298     23 |  6.847 % |
242.87/243.14	c |    343125 |    6476   151232   916547 | 2147483647   335551     23 |  6.847 % |
245.86/246.18	c |    345605 |    6476   151232   916547 | 2147483647   338031     24 |  6.847 % |
247.46/247.78	c |    348330 |    6476   151232   916547 | 2147483647   340756     24 |  6.847 % |
248.66/248.98	c |    351327 |    6476   151232   916547 | 2147483647   343753     23 |  6.847 % |
251.66/251.92	c |    354623 |    6476   151232   916547 | 2147483647   347049     24 |  6.847 % |
251.75/252.04	c |    354723 |    6476   151232   916547 | 2147483647   347149     24 |  6.847 % |
251.85/252.15	c |    354833 |    6476   151232   916547 | 2147483647   347259     24 |  6.847 % |
251.95/252.27	c |    354954 |    6476   151232   916547 | 2147483647   347380     24 |  6.847 % |
252.05/252.38	c |    355088 |    6476   151232   916547 | 2147483647   347514     24 |  6.847 % |
252.35/252.60	c |    355234 |    6476   151232   916547 | 2147483647   347660     24 |  6.847 % |
252.45/252.71	c |    355395 |    6476   151232   916547 | 2147483647   347821     24 |  6.847 % |
252.66/252.99	c |    355571 |    6476   151232   916547 | 2147483647   347997     24 |  6.847 % |
252.95/253.25	c |    355766 |    6476   151232   916547 | 2147483647   348192     24 |  6.847 % |
253.45/253.72	c |    355979 |    6476   151232   916547 | 2147483647   348405     24 |  6.847 % |
253.76/254.05	c |    356212 |    6476   151232   916547 | 2147483647   348638     24 |  6.847 % |
254.25/254.53	c |    356468 |    6476   151232   916547 | 2147483647   348894     24 |  6.847 % |
254.45/254.79	c |    356749 |    6476   151232   916547 | 2147483647   349175     24 |  6.847 % |
254.97/255.24	c |    357058 |    6476   151232   916547 | 2147483647   349484     24 |  6.847 % |
255.26/255.55	c |    357398 |    6476   151232   916547 | 2147483647   349824     24 |  6.847 % |
255.76/256.06	c |    357771 |    6476   151232   916547 | 2147483647   350197     24 |  6.847 % |
256.16/256.45	c |    358180 |    6476   151232   916547 | 2147483647   350606     24 |  6.847 % |
256.66/256.96	c |    358631 |    6476   151232   916547 | 2147483647   351057     24 |  6.847 % |
257.26/257.56	c |    359124 |    6476   151232   916547 | 2147483647   351550     24 |  6.847 % |
257.76/258.01	c |    359666 |    6476   151232   916547 | 2147483647   352092     24 |  6.847 % |
258.26/258.55	c |    360263 |    6476   151232   916547 | 2147483647   352689     24 |  6.847 % |
258.96/259.21	c |    360919 |    6476   151232   916547 | 2147483647   353345     24 |  6.847 % |
259.46/259.70	c |    361639 |    6476   151232   916547 | 2147483647   354065     24 |  6.847 % |
260.66/260.98	c |    362432 |    6476   151232   916547 | 2147483647   354858     24 |  6.847 % |
262.25/262.50	c |    363303 |    6476   151232   916547 | 2147483647   355729     24 |  6.847 % |
263.05/263.31	c |    364262 |    6476   151232   916547 | 2147483647   356688     24 |  6.847 % |
264.35/264.66	c |    365316 |    6476   151232   916547 | 2147483647   357742     24 |  6.847 % |
266.05/266.38	c |    366475 |    6476   151232   916547 | 2147483647   358901     24 |  6.847 % |
267.95/268.29	c |    367751 |    6476   151232   916547 | 2147483647   360177     24 |  6.847 % |
269.85/270.20	c |    369151 |    6476   151232   916547 | 2147483647   361577     24 |  6.847 % |
271.95/272.28	c |    370693 |    6475   151200   916020 | 2147483647   363083     24 |  6.861 % |
272.85/273.11	c |    372388 |    6475   151200   916020 | 2147483647   364778     24 |  6.862 % |
274.35/274.62	c |    374252 |    6475   151200   916020 | 2147483647   366642     24 |  6.861 % |
276.25/276.55	c |    376302 |    6475   151200   916020 | 2147483647   368692     24 |  6.861 % |
278.55/278.85	c |    378555 |    6475   151200   916020 | 2147483647   370945     24 |  6.861 % |
281.35/281.61	c |    381033 |    6475   151200   916020 | 2147483647   373423     24 |  6.861 % |
283.15/283.43	c |    383758 |    6475   151200   916020 | 2147483647   376148     24 |  6.861 % |
284.74/285.09	c |    386756 |    6475   151200   916020 | 2147483647   379146     24 |  6.861 % |
287.14/287.48	c |    390053 |    6475   151200   916020 | 2147483647   382443     24 |  6.861 % |
289.84/290.11	c |    393678 |    6475   151200   916020 | 2147483647   386068     23 |  6.861 % |
289.95/290.24	c |    393778 |    6475   151200   916020 | 2147483647   386168     23 |  6.862 % |
290.05/290.34	c |    393889 |    6475   151200   916020 | 2147483647   386279     23 |  6.862 % |
290.15/290.43	c |    394011 |    6475   151200   916020 | 2147483647   386401     23 |  6.861 % |
290.45/290.74	c |    394145 |    6475   151200   916020 | 2147483647   386535     23 |  6.861 % |
290.65/290.94	c |    394293 |    6475   151200   916020 | 2147483647   386683     23 |  6.861 % |
290.85/291.18	c |    394453 |    6475   151200   916020 | 2147483647   386843     23 |  6.861 % |
291.15/291.43	c |    394630 |    6475   151200   916020 | 2147483647   387020     23 |  6.861 % |
291.45/291.73	c |    394825 |    6475   151200   916020 | 2147483647   387215     23 |  6.861 % |
291.55/291.89	c |    395037 |    6475   151200   916020 | 2147483647   387427     23 |  6.861 % |
291.95/292.22	c |    395270 |    6471   151200   916020 | 2147483647   387657     23 |  6.919 % |
292.35/292.65	c |    395526 |    6471   151200   916020 | 2147483647   387913     23 |  6.919 % |
292.85/293.12	c |    395810 |    6471   151200   916020 | 2147483647   388197     23 |  6.919 % |
293.15/293.47	c |    396121 |    6471   151200   916020 | 2147483647   388508     23 |  6.919 % |
293.45/293.72	c |    396461 |    6471   151200   916020 | 2147483647   388848     23 |  6.919 % |
293.75/294.00	c |    396833 |    6471   151200   916020 | 2147483647   389220     23 |  6.919 % |
294.35/294.63	c |    397244 |    6471   151200   916020 | 2147483647   389631     23 |  6.919 % |
294.64/294.93	c |    397693 |    6471   151200   916020 | 2147483647   390080     23 |  6.919 % |
295.34/295.64	c |    398187 |    6471   151200   916020 | 2147483647   390574     23 |  6.919 % |
296.34/296.60	c |    398729 |    6471   151200   916020 | 2147483647   391116     23 |  6.919 % |
296.65/296.95	c |    399326 |    6471   151200   916020 | 2147483647   391713     23 |  6.919 % |
297.34/297.64	c |    399982 |    6471   151200   916020 | 2147483647   392369     23 |  6.919 % |
297.74/298.08	c |    400703 |    6471   151200   916020 | 2147483647   393090     23 |  6.919 % |
298.34/298.63	c |    401495 |    6471   151200   916020 | 2147483647   393882     23 |  6.919 % |
299.04/299.39	c |    402367 |    6471   151200   916020 | 2147483647   394754     23 |  6.919 % |
299.94/300.27	c |    403325 |    6471   151200   916020 | 2147483647   395712     23 |  6.919 % |
301.23/301.59	c |    404378 |    6471   151200   916020 | 2147483647   396765     23 |  6.919 % |
302.83/303.15	c |    405537 |    6471   151073   913943 | 2147483647   397802     23 |  6.919 % |
303.53/303.84	c |    406810 |    6471   151073   913943 | 2147483647   399075     23 |  6.919 % |
304.83/305.16	c |    408211 |    6471   151073   913943 | 2147483647   400476     23 |  6.919 % |
305.63/305.98	c |    409752 |    6471   151073   913943 | 2147483647   402017     23 |  6.919 % |
307.34/307.67	c |    411447 |    6471   151073   913943 | 2147483647   403712     23 |  6.919 % |
308.53/308.82	c |    413310 |    6471   151073   913943 | 2147483647   405575     23 |  6.919 % |
309.84/310.11	c |    415359 |    6471   151073   913943 | 2147483647   407624     23 |  6.919 % |
310.73/311.08	c |    417613 |    6471   151073   913943 | 2147483647   409878     23 |  6.919 % |
313.13/313.44	c |    420092 |    6471   151073   913943 | 2147483647   412357     23 |  6.919 % |
316.43/316.76	c |    422817 |    6471   151073   913943 | 2147483647   415082     23 |  6.919 % |
319.73/320.03	c |    425814 |    6471   151073   913943 | 2147483647   418079     23 |  6.919 % |
323.33/323.63	c |    429111 |    6471   151073   913943 | 2147483647   421376     23 |  6.919 % |
326.13/326.43	c |    432737 |    6471   151073   913943 | 2147483647   425002     24 |  6.919 % |
330.73/331.10	c |    436724 |    6471   151073   913943 | 2147483647   428989     24 |  6.919 % |
330.83/331.19	c |    436826 |    6471   151073   913943 | 2147483647   429091     24 |  6.919 % |
331.03/331.31	c |    436938 |    6471   151073   913943 | 2147483647   429203     24 |  6.919 % |
331.13/331.46	c |    437061 |    6471   151073   913943 | 2147483647   429326     24 |  6.919 % |
331.33/331.68	c |    437194 |    6471   151073   913943 | 2147483647   429459     24 |  6.919 % |
331.63/331.93	c |    437341 |    6471   151073   913943 | 2147483647   429606     24 |  6.919 % |
331.83/332.19	c |    437501 |    6471   151073   913943 | 2147483647   429766     24 |  6.919 % |
332.13/332.48	c |    437677 |    6471   151073   913943 | 2147483647   429942     24 |  6.919 % |
332.43/332.75	c |    437870 |    6471   151073   913943 | 2147483647   430135     24 |  6.919 % |
332.82/333.14	c |    438082 |    6471   151073   913943 | 2147483647   430347     24 |  6.919 % |
333.12/333.42	c |    438317 |    6471   151073   913943 | 2147483647   430582     24 |  6.919 % |
333.32/333.69	c |    438573 |    6471   151073   913943 | 2147483647   430838     24 |  6.919 % |
333.62/333.96	c |    438854 |    6471   151073   913943 | 2147483647   431119     24 |  6.919 % |
333.92/334.27	c |    439164 |    6471   151073   913943 | 2147483647   431429     24 |  6.919 % |
334.42/334.73	c |    439504 |    6471   151073   913943 | 2147483647   431769     24 |  6.919 % |
335.02/335.30	c |    439877 |    6470   151073   913943 | 2147483647   432141     24 |  6.933 % |
335.32/335.64	c |    440287 |    6470   151073   913943 | 2147483647   432551     24 |  6.933 % |
335.92/336.23	c |    440738 |    6470   151073   913943 | 2147483647   433002     24 |  6.933 % |
336.33/336.65	c |    441233 |    6470   151073   913943 | 2147483647   433497     24 |  6.933 % |
336.82/337.12	c |    441777 |    6470   151057   913809 | 2147483647   434037     24 |  6.933 % |
337.92/338.22	c |    442374 |    6470   151057   913809 | 2147483647   434634     24 |  6.933 % |
338.72/339.09	c |    443029 |    6470   151057   913809 | 2147483647   435289     24 |  6.933 % |
340.22/340.57	c |    443749 |    6466   151057   913809 | 2147483647   436007     24 |  7.006 % |
341.32/341.66	c |    444541 |    6466   151057   913809 | 2147483647   436799     24 |  7.006 % |
342.62/342.93	c |    445415 |    6466   151057   913809 | 2147483647   437673     24 |  7.005 % |
343.22/343.56	c |    446373 |    6466   151057   913809 | 2147483647   438631     24 |  7.005 % |
344.83/345.16	c |    447428 |    6466   151057   913809 | 2147483647   439686     24 |  7.005 % |
347.72/348.00	c |    448587 |    6466   151057   913809 | 2147483647   440845     24 |  7.005 % |
349.43/349.78	c |    449860 |    6466   151057   913809 | 2147483647   442118     24 |  7.005 % |
350.82/351.18	c |    451260 |    6466   151057   913809 | 2147483647   443518     24 |  7.005 % |
353.02/353.39	c |    452801 |    6466   151057   913809 | 2147483647   445059     24 |  7.005 % |
354.62/354.91	c |    454495 |    6466   151057   913809 | 2147483647   446753     24 |  7.005 % |
356.82/357.18	c |    456358 |    6466   151057   913809 | 2147483647   448616     24 |  7.005 % |
361.42/361.73	c |    458407 |    6466   151057   913809 | 2147483647   450665     24 |  7.005 % |
365.01/365.36	c |    460661 |    6466   151057   913809 | 2147483647   452919     24 |  7.005 % |
369.91/370.20	c |    463140 |    6466   151057   913809 | 2147483647   455398     24 |  7.005 % |
373.81/374.19	c |    465865 |    6466   151057   913809 | 2147483647   458123     24 |  7.005 % |
379.11/379.47	c |    468863 |    6466   151057   913809 | 2147483647   461121     24 |  7.005 % |
384.31/384.63	c |    472160 |    6466   151057   913809 |   462261   407641     24 |  7.005 % |
388.30/388.69	c |    475785 |    6466   151057   913809 |   462261   411266     24 |  7.005 % |
395.30/395.60	c |    479772 |    6465   150910   911557 |   462261   415216     24 |  7.005 % |
402.50/402.83	c |    484157 |    6465   150910   911557 | 2147483647   419601     24 |  7.005 % |
402.60/403.00	c |    484259 |    6465   150910   911557 | 2147483647   419703     24 |  7.005 % |
403.00/403.31	c |    484370 |    6465   150910   911557 | 2147483647   419814     24 |  7.005 % |
403.10/403.44	c |    484491 |    6465   150910   911557 | 2147483647   419935     24 |  7.005 % |
403.50/403.86	c |    484626 |    6465   150910   911557 | 2147483647   420070     24 |  7.005 % |
403.90/404.27	c |    484773 |    6465   150910   911557 | 2147483647   420217     24 |  7.005 % |
404.50/404.82	c |    484933 |    6465   150910   911557 | 2147483647   420377     24 |  7.005 % |
404.80/405.19	c |    485110 |    6465   150910   911557 | 2147483647   420554     24 |  7.006 % |
405.10/405.48	c |    485303 |    6465   150910   911557 | 2147483647   420747     24 |  7.005 % |
405.50/405.85	c |    485516 |    6465   150910   911557 | 2147483647   420960     24 |  7.005 % |
405.60/405.96	c |    485750 |    6465   150910   911557 | 2147483647   421194     24 |  7.005 % |
406.00/406.32	c |    486006 |    6465   150910   911557 | 2147483647   421450     24 |  7.005 % |
406.40/406.71	c |    486287 |    6465   150910   911557 | 2147483647   421731     24 |  7.005 % |
406.60/407.00	c |    486596 |    6465   150910   911557 | 2147483647   422040     24 |  7.005 % |
407.20/407.52	c |    486937 |    6464   150910   911557 | 2147483647   422380     24 |  7.020 % |
407.50/407.87	c |    487309 |    6464   150910   911557 | 2147483647   422752     24 |  7.020 % |
408.30/408.62	c |    487718 |    6464   150910   911557 | 2147483647   423161     24 |  7.020 % |
408.90/409.23	c |    488167 |    6464   150910   911557 | 2147483647   423610     24 |  7.020 % |
409.30/409.69	c |    488660 |    6464   150910   911557 | 2147483647   424103     24 |  7.020 % |
409.90/410.21	c |    489203 |    6464   150910   911557 | 2147483647   424646     24 |  7.020 % |
410.50/410.82	c |    489799 |    6464   150910   911557 | 2147483647   425242     24 |  7.020 % |
410.90/411.28	c |    490455 |    6464   150910   911557 | 2147483647   425898     24 |  7.020 % |
411.50/411.88	c |    491175 |    6464   150910   911557 | 2147483647   426618     24 |  7.020 % |
412.60/412.99	c |    491967 |    6464   150910   911557 | 2147483647   427410     24 |  7.020 % |
413.70/414.03	c |    492840 |    6464   150910   911557 | 2147483647   428283     24 |  7.020 % |
414.19/414.57	c |    493800 |    6464   150910   911557 | 2147483647   429243     24 |  7.020 % |
414.89/415.20	c |    494855 |    6464   150910   911557 | 2147483647   430298     24 |  7.020 % |
415.50/415.86	c |    496013 |    6464   150910   911557 | 2147483647   431456     24 |  7.020 % |
416.60/416.98	c |    497288 |    6464   150910   911557 | 2147483647   432731     24 |  7.020 % |
418.39/418.71	c |    498689 |    6464   150910   911557 | 2147483647   434132     24 |  7.020 % |
420.39/420.79	c |    500229 |    6464   150910   911557 | 2147483647   435672     24 |  7.020 % |
421.59/421.92	c |    501924 |    6464   150910   911557 | 2147483647   437367     24 |  7.020 % |
423.59/423.90	c |    503787 |    6464   150910   911557 | 2147483647   439230     24 |  7.020 % |
425.29/425.63	c |    505836 |    6464   150910   911557 | 2147483647   441279     24 |  7.020 % |
427.39/427.71	c |    508090 |    6464   150910   911557 | 2147483647   443533     24 |  7.020 % |
429.89/430.29	c |    510569 |    6464   150910   911557 | 2147483647   446012     24 |  7.020 % |
433.89/434.23	c |    513294 |    6464   150910   911557 | 2147483647   448737     24 |  7.020 % |
436.78/437.17	c |    516291 |    6464   150878   911059 | 2147483647   451724     24 |  7.020 % |
439.48/439.82	c |    519587 |    6464   150878   911059 | 2147483647   455020     24 |  7.020 % |
447.38/447.79	c |    523213 |    6464   150878   911059 | 2147483647   458646     24 |  7.020 % |
451.18/451.50	c |    527201 |    6464   150878   911059 | 2147483647   462634     24 |  7.020 % |
454.39/454.72	c |    531586 |    6464   150878   911059 |   465434   467019     24 |  7.020 % |
460.18/460.55	c |    536411 |    6464   150878   911059 |   465434   425143     24 |  7.020 % |
460.38/460.74	c |    536511 |    6464   150878   911059 |   465434   425243     24 |  7.020 % |
460.59/460.94	c |    536623 |    6464   150878   911059 |   465434   425355     24 |  7.020 % |
460.68/461.09	c |    536744 |    6464   150878   911059 |   465434   425476     24 |  7.020 % |
460.88/461.25	c |    536877 |    6464   150878   911059 |   465434   425609     24 |  7.020 % |
461.18/461.57	c |    537024 |    6464   150878   911059 |   465434   425756     24 |  7.020 % |
461.38/461.80	c |    537184 |    6464   150878   911059 |   465434   425916     24 |  7.020 % |
461.69/462.09	c |    537360 |    6464   150878   911059 |   465434   426092     24 |  7.020 % |
461.88/462.25	c |    537553 |    6464   150878   911059 |   465434   426285     24 |  7.020 % |
462.28/462.62	c |    537765 |    6464   150878   911059 |   465434   426497     24 |  7.020 % |
462.68/463.01	c |    537998 |    6464   150878   911059 |   465434   426730     24 |  7.020 % |
462.98/463.38	c |    538255 |    6464   150878   911059 |   465434   426987     24 |  7.020 % |
463.28/463.69	c |    538536 |    6464   150878   911059 |   465434   427268     24 |  7.020 % |
463.88/464.23	c |    538846 |    6464   150878   911059 |   465434   427578     24 |  7.020 % |
464.18/464.54	c |    539185 |    6464   150878   911059 |   465434   427917     24 |  7.020 % |
464.38/464.77	c |    539557 |    6464   150878   911059 |   465434   428289     24 |  7.020 % |
464.78/465.15	c |    539967 |    6464   150878   911059 |   465434   428699     24 |  7.020 % |
465.18/465.55	c |    540419 |    6464   150878   911059 | 2147483647   429151     24 |  7.020 % |
465.68/466.00	c |    540913 |    6464   150878   911059 | 2147483647   429645     24 |  7.020 % |
466.08/466.47	c |    541459 |    6464   150878   911059 | 2147483647   430191     24 |  7.020 % |
466.28/466.69	c |    542056 |    6464   150878   911059 | 2147483647   430788     24 |  7.020 % |
467.38/467.79	c |    542713 |    6464   150878   911059 | 2147483647   431445     24 |  7.020 % |
468.88/469.30	c |    543435 |    6464   150878   911059 | 2147483647   432167     24 |  7.020 % |
470.98/471.35	c |    544227 |    6464   150878   911059 | 2147483647   432959     24 |  7.020 % |
472.88/473.25	c |    545099 |    6464   150878   911059 | 2147483647   433831     24 |  7.020 % |
474.27/474.63	c |    546059 |    6464   150878   911059 | 2147483647   434791     24 |  7.020 % |
475.57/475.93	c |    547112 |    6464   150878   911059 | 2147483647   435844     24 |  7.020 % |
478.27/478.64	c |    548270 |    6464   150878   911059 | 2147483647   437002     24 |  7.020 % |
479.67/480.05	c |    549544 |    6464   150878   911059 | 2147483647   438276     24 |  7.020 % |
482.17/482.53	c |    550944 |    6464   150878   911059 |   438732   439676     24 |  7.020 % |
485.77/486.18	c |    552484 |    6464   150878   911059 |   438732   397249     24 |  7.020 % |
487.47/487.83	c |    554178 |    6464   150878   911059 |   438732   398943     24 |  7.020 % |
489.07/489.43	c |    556041 |    6464   150878   911059 |   438732   400806     24 |  7.020 % |
491.07/491.40	c |    558091 |    6464   150878   911059 |   438732   402856     24 |  7.020 % |
493.67/494.01	c |    560344 |    6464   150878   911059 | 2147483647   405109     24 |  7.020 % |
496.07/496.45	c |    562822 |    6464   150878   911059 | 2147483647   407587     24 |  7.020 % |
498.77/499.12	c |    565547 |    6464   150878   911059 | 2147483647   410312     24 |  7.020 % |
502.76/503.15	c |    568544 |    6464   150878   911059 | 2147483647   413309     24 |  7.020 % |
506.26/506.67	c |    571840 |    6464   150878   911059 | 2147483647   416605     24 |  7.020 % |
510.36/510.72	c |    575466 |    6464   150878   911059 | 2147483647   420231     24 |  7.020 % |
515.76/516.18	c |    579453 |    6464   150878   911059 | 2147483647   424218     24 |  7.020 % |
519.86/520.22	c |    583838 |    6464   150878   911059 | 2147483647   428603     24 |  7.020 % |
524.76/525.19	c |    588661 |    6464   150878   911059 | 2147483647   433426     24 |  7.020 % |
528.25/528.69	c |    593968 |    6464   150878   911059 | 2147483647   438733     24 |  7.020 % |
528.45/528.80	c |    594070 |    6464   150878   911059 | 2147483647   438835     24 |  7.020 % |
528.55/528.95	c |    594181 |    6464   150878   911059 | 2147483647   438946     24 |  7.020 % |
528.76/529.15	c |    594303 |    6464   150878   911059 | 2147483647   439068     24 |  7.020 % |
529.25/529.61	c |    594436 |    6464   150878   911059 | 2147483647   439201     24 |  7.020 % |
529.65/530.03	c |    594582 |    6464   150878   911059 | 2147483647   439347     24 |  7.020 % |
530.05/530.48	c |    594742 |    6464   150878   911059 | 2147483647   439507     24 |  7.020 % |
530.25/530.67	c |    594918 |    6464   150878   911059 | 2147483647   439683     24 |  7.020 % |
530.65/531.00	c |    595113 |    6464   150878   911059 | 2147483647   439878     24 |  7.020 % |
530.86/531.25	c |    595325 |    6464   150878   911059 | 2147483647   440090     24 |  7.020 % |
531.15/531.51	c |    595559 |    6464   150878   911059 | 2147483647   440324     24 |  7.020 % |
531.45/531.83	c |    595816 |    6464   150878   911059 | 2147483647   440581     24 |  7.020 % |
531.85/532.26	c |    596097 |    6464   150878   911059 | 2147483647   440862     24 |  7.020 % |
532.45/532.87	c |    596407 |    6464   150878   911059 | 2147483647   441172     24 |  7.020 % |
532.75/533.12	c |    596747 |    6464   150878   911059 | 2147483647   441512     24 |  7.020 % |
533.65/534.01	c |    597120 |    6464   150878   911059 | 2147483647   441885     24 |  7.020 % |
534.05/534.45	c |    597531 |    6464   150878   911059 | 2147483647   442296     24 |  7.020 % |
534.65/535.05	c |    597980 |    6464   150878   911059 | 2147483647   442745     24 |  7.020 % |
535.05/535.43	c |    598473 |    6464   150878   911059 | 2147483647   443238     24 |  7.020 % |
536.05/536.45	c |    599015 |    6464   150878   911059 | 2147483647   443780     24 |  7.020 % |
536.85/537.24	c |    599611 |    6464   150878   911059 | 2147483647   444376     24 |  7.020 % |
537.45/537.88	c |    600267 |    6464   150878   911059 | 2147483647   445032     24 |  7.020 % |
538.45/538.82	c |    600988 |    6464   150878   911059 | 2147483647   445753     24 |  7.020 % |
538.75/539.13	c |    601781 |    6464   150878   911059 | 2147483647   446546     24 |  7.020 % |
539.55/539.94	c |    602653 |    6464   150878   911059 | 2147483647   447418     24 |  7.020 % |
540.55/540.94	c |    603611 |    6464   150878   911059 | 2147483647   448376     24 |  7.020 % |
542.35/542.73	c |    604664 |    6464   150878   911059 | 2147483647   449429     24 |  7.020 % |
542.84/543.21	c |    605822 |    6464   150878   911059 | 2147483647   450587     24 |  7.020 % |
544.24/544.69	c |    607097 |    6464   150878   911059 | 2147483647   451862     24 |  7.020 % |
545.84/546.21	c |    608498 |    6464   150878   911059 | 2147483647   453263     24 |  7.020 % |
547.24/547.67	c |    610038 |    6464   150878   911059 | 2147483647   454803     24 |  7.020 % |
548.94/549.31	c |    611732 |    6464   150878   911059 | 2147483647   456497     24 |  7.020 % |
551.14/551.54	c |    613596 |    6464   150878   911059 | 2147483647   458361     24 |  7.020 % |
553.74/554.17	c |    615645 |    6464   150878   911059 | 2147483647   460410     24 |  7.020 % |
555.14/555.51	c |    617898 |    6464   150878   911059 | 2147483647   462663     24 |  7.020 % |
556.14/556.59	c |    620377 |    6464   150878   911059 |   464766   465142     24 |  7.020 % |
557.64/558.07	c |    623102 |    6464   150878   911059 |   464766   467867     24 |  7.020 % |
560.24/560.68	c |    626101 |    6464   150878   911059 |   464766   424080     24 |  7.020 % |
561.54/561.99	c |    629400 |    6464   150878   911059 |   464766   427379     24 |  7.020 % |
564.63/565.09	c |    633026 |    6464   150878   911059 | 2147483647   431005     24 |  7.020 % |
570.23/570.64	c |    637014 |    6464   150878   911059 | 2147483647   434993     24 |  7.020 % |
578.43/578.87	c |    641400 |    6464   150878   911059 |   437979   439379     24 |  7.020 % |
582.43/582.83	c |    646223 |    6464   150878   911059 |   437979   355113     24 |  7.020 % |
586.03/586.40	c |    651530 |    6464   150878   911059 | 2147483647   360420     24 |  7.020 % |
591.33/591.72	c |    657365 |    6464   150878   911059 | 2147483647   366255     24 |  7.020 % |
591.52/591.97	c |    657466 |    6464   150878   911059 | 2147483647   366356     24 |  7.020 % |
591.72/592.11	c |    657576 |    6464   150878   911059 | 2147483647   366466     24 |  7.020 % |
591.82/592.23	c |    657699 |    6464   150878   911059 | 2147483647   366589     24 |  7.020 % |
592.02/592.40	c |    657833 |    6464   150878   911059 | 2147483647   366723     24 |  7.020 % |
592.12/592.58	c |    657979 |    6464   150878   911059 | 2147483647   366869     24 |  7.020 % |
592.53/592.95	c |    658139 |    6464   150878   911059 | 2147483647   367029     24 |  7.020 % |
592.92/593.38	c |    658316 |    6464   150878   911059 | 2147483647   367206     24 |  7.020 % |
593.22/593.70	c |    658513 |    6464   150878   911059 | 2147483647   367403     24 |  7.020 % |
593.63/594.02	c |    658726 |    6464   150878   911059 | 2147483647   367616     24 |  7.020 % |
594.12/594.54	c |    658960 |    6464   150878   911059 | 2147483647   367850     24 |  7.020 % |
594.63/595.03	c |    659217 |    6464   150878   911059 | 2147483647   368107     24 |  7.020 % |
595.22/595.65	c |    659498 |    6464   150878   911059 | 2147483647   368388     24 |  7.020 % |
595.62/596.06	c |    659807 |    6464   150878   911059 | 2147483647   368697     24 |  7.020 % |
596.22/596.68	c |    660146 |    6464   150878   911059 |   368890   369036     24 |  7.020 % |
596.82/597.27	c |    660519 |    6464   150878   911059 |   368890   369409     24 |  7.020 % |
597.62/598.08	c |    660929 |    6464   150878   911059 |   368890   329311     23 |  7.020 % |
598.02/598.41	c |    661379 |    6464   150878   911059 |   368890   329761     23 |  7.020 % |
598.32/598.76	c |    661873 |    6464   150878   911059 |   368890   330255     23 |  7.020 % |
598.72/599.11	c |    662415 |    6464   150878   911059 |   368890   330797     23 |  7.020 % |
599.02/599.45	c |    663012 |    6464   150878   911059 |   368890   331394     23 |  7.020 % |
599.52/599.92	c |    663667 |    6464   150878   911059 |   368890   332049     23 |  7.020 % |
600.32/600.72	c |    664388 |    6464   150878   911059 |   368890   332770     23 |  7.020 % |
601.02/601.49	c |    665181 |    6464   150878   911059 |   368890   333563     23 |  7.020 % |
601.92/602.37	c |    666054 |    6464   150878   911059 |   368890   334436     23 |  7.020 % |
603.02/603.46	c |    667014 |    6464   150878   911059 |   368890   335396     23 |  7.020 % |
603.92/604.38	c |    668068 |    6464   150878   911059 |   368890   336450     23 |  7.020 % |
604.52/604.99	c |    669226 |    6464   150878   911059 |   368890   337608     23 |  7.020 % |
605.51/605.93	c |    670499 |    6464   150878   911059 | 2147483647   338881     23 |  7.020 % |
606.82/607.29	c |    671899 |    6464   150878   911059 | 2147483647   340281     23 |  7.020 % |
608.41/608.81	c |    673439 |    6464   150878   911059 | 2147483647   341821     23 |  7.020 % |
609.91/610.32	c |    675133 |    6464   150878   911059 | 2147483647   343515     23 |  7.020 % |
611.31/611.76	c |    676996 |    6464   150878   911059 | 2147483647   345378     23 |  7.020 % |
612.71/613.10	c |    679047 |    6464   150878   911059 | 2147483647   347429     23 |  7.020 % |
614.51/614.94	c |    681300 |    6464   150878   911059 | 2147483647   349682     23 |  7.020 % |
615.61/616.06	c |    683778 |    6464   150878   911059 | 2147483647   352160     23 |  7.020 % |
617.91/618.36	c |    686505 |    6464   150878   911059 | 2147483647   354887     23 |  7.020 % |
620.11/620.58	c |    689503 |    6462   150815   910036 | 2147483647   357851     23 |  7.050 % |
624.00/624.44	c |    692800 |    6462   150815   910036 | 2147483647   361148     23 |  7.048 % |
632.90/633.38	c |    696427 |    6462   150815   910036 | 2147483647   364775     24 |  7.048 % |
637.90/638.30	c |    700414 |    6462   150815   910036 |   368348   368762     24 |  7.048 % |
642.20/642.66	c |    704801 |    6462   150815   910036 |   368348   306444     23 |  7.048 % |
646.40/646.88	c |    709625 |    6462   150815   910036 |   368348   311268     23 |  7.048 % |
650.49/650.95	c |    714930 |    6462   150815   910036 | 2147483647   316573     23 |  7.048 % |
656.39/656.81	c |    720765 |    6462   150815   910036 | 2147483647   322408     23 |  7.048 % |
665.29/665.73	c |    727185 |    6462   150815   910036 | 2147483647   328828     23 |  7.048 % |
665.39/665.85	c |    727285 |    6462   150815   910036 | 2147483647   328928     23 |  7.049 % |
665.59/666.03	c |    727396 |    6462   150815   910036 | 2147483647   329039     23 |  7.048 % |
665.69/666.14	c |    727517 |    6462   150815   910036 | 2147483647   329160     23 |  7.048 % |
665.89/666.36	c |    727652 |    6461   150815   910036 | 2147483647   329294     23 |  7.221 % |
665.99/666.48	c |    727799 |    6461   150815   910036 | 2147483647   329441     23 |  7.221 % |
666.29/666.70	c |    727961 |    6461   150815   910036 | 2147483647   329603     23 |  7.221 % |
666.49/666.96	c |    728137 |    6450   150432   903743 | 2147483647   329741     23 |  7.221 % |
666.89/667.31	c |    728330 |    6450   150432   903743 | 2147483647   329934     23 |  7.221 % |
666.99/667.46	c |    728542 |    6450   150432   903743 | 2147483647   330146     23 |  7.221 % |
667.39/667.81	c |    728775 |    6447   150432   903743 | 2147483647   330378     23 |  7.322 % |
667.59/668.09	c |    729031 |    6447   150432   903743 | 2147483647   330634     23 |  7.322 % |
667.99/668.47	c |    729312 |    6447   150432   903743 | 2147483647   330915     23 |  7.322 % |
668.29/668.75	c |    729622 |    6447   150432   903743 | 2147483647   331225     23 |  7.322 % |
668.49/668.94	c |    729961 |    6447   150432   903743 | 2147483647   331564     23 |  7.322 % |
668.79/669.20	c |    730334 |    6447   150432   903743 |   331603   331937     23 |  7.322 % |
668.99/669.44	c |    730743 |    6447   150432   903743 |   331603   332346     23 |  7.322 % |
669.89/670.35	c |    731192 |    6447   150432   903743 |   331603   287223     23 |  7.322 % |
670.19/670.67	c |    731685 |    6447   150432   903743 |   331603   287716     23 |  7.322 % |
670.39/670.88	c |    732228 |    6447   150432   903743 |   331603   288259     23 |  7.322 % |
670.89/671.30	c |    732824 |    6447   150432   903743 |   331603   288855     23 |  7.322 % |
671.29/671.72	c |    733479 |    6447   150432   903743 |   331603   289510     23 |  7.322 % |
671.69/672.17	c |    734199 |    6447   150432   903743 |   331603   290230     23 |  7.322 % |
672.69/673.19	c |    734992 |    6447   150432   903743 |   331603   291023     23 |  7.322 % |
673.19/673.69	c |    735863 |    6447   150432   903743 |   331603   291894     23 |  7.322 % |
673.89/674.31	c |    736822 |    6447   150432   903743 |   331603   292853     23 |  7.322 % |
674.28/674.71	c |    737875 |    6447   150432   903743 |   331603   293906     23 |  7.322 % |
675.68/676.12	c |    739033 |    6447   150432   903743 |   331603   295064     23 |  7.322 % |
676.48/676.96	c |    740307 |    6447   150432   903743 | 2147483647   296338     22 |  7.322 % |
678.19/678.65	c |    741708 |    6447   150432   903743 | 2147483647   297739     23 |  7.322 % |
679.18/679.66	c |    743249 |    6447   150432   903743 | 2147483647   299280     23 |  7.322 % |
680.58/681.00	c |    744943 |    6447   150432   903743 | 2147483647   300974     23 |  7.322 % |
681.78/682.24	c |    746806 |    6447   150432   903743 | 2147483647   302837     22 |  7.322 % |
683.08/683.53	c |    748855 |    6447   150432   903743 | 2147483647   304886     22 |  7.322 % |
683.98/684.43	c |    751109 |    6447   150432   903743 | 2147483647   307140     22 |  7.322 % |
686.48/686.98	c |    753590 |    6447   150432   903743 | 2147483647   309621     22 |  7.322 % |
688.08/688.52	c |    756315 |    6447   150432   903743 | 2147483647   312346     22 |  7.322 % |
689.48/689.92	c |    759316 |    6446   150432   903743 | 2147483647   315346     22 |  7.336 % |
691.08/691.51	c |    762613 |    6446   150432   903743 | 2147483647   318643     22 |  7.336 % |
692.98/693.44	c |    766238 |    6446   150432   903743 | 2147483647   322268     22 |  7.336 % |
695.88/696.39	c |    770225 |    6442   150211   900410 | 2147483647   326207     22 |  7.336 % |
700.07/700.58	c |    774610 |    6442   150211   900410 | 2147483647   330592     22 |  7.336 % |
704.07/704.50	c |    779433 |    6442   150211   900410 | 2147483647   335415     22 |  7.336 % |
709.17/709.66	c |    784738 |    6442   150211   900410 | 2147483647   340720     22 |  7.336 % |
715.67/716.18	c |    790573 |    6442   150211   900410 | 2147483647   346555     23 |  7.336 % |
724.77/725.29	c |    796991 |    6442   150211   900410 | 2147483647   352973     23 |  7.336 % |
731.67/732.16	c |    804050 |    6442   150211   900410 |   355983   324072     23 |  7.336 % |
731.87/732.33	c |    804150 |    6442   150211   900410 |   355983   324172     23 |  7.336 % |
732.07/732.54	c |    804261 |    6442   150211   900410 |   355983   324283     23 |  7.336 % |
732.27/732.72	c |    804382 |    6442   150211   900410 |   355983   324404     23 |  7.336 % |
732.37/732.83	c |    804515 |    6442   150211   900410 |   355983   324537     23 |  7.336 % |
732.67/733.10	c |    804663 |    6442   150211   900410 |   355983   324685     23 |  7.336 % |
732.77/733.29	c |    804823 |    6442   150211   900410 |   355983   324845     23 |  7.336 % |
732.97/733.43	c |    804999 |    6442   150211   900410 |   355983   325021     23 |  7.336 % |
733.17/733.67	c |    805192 |    6442   150211   900410 |   355983   325214     23 |  7.336 % |
733.37/733.82	c |    805405 |    6442   150211   900410 |   355983   325427     23 |  7.336 % |
733.77/734.25	c |    805638 |    6442   150211   900410 |   355983   325660     23 |  7.336 % |
734.27/734.72	c |    805894 |    6442   150211   900410 |   355983   325916     23 |  7.336 % |
734.47/734.92	c |    806175 |    6442   150211   900410 |   355983   326197     23 |  7.336 % |
734.87/735.34	c |    806485 |    6442   150211   900410 |   355983   326507     23 |  7.336 % |
735.07/735.54	c |    806826 |    6442   150211   900410 |   355983   326848     23 |  7.336 % |
735.57/736.09	c |    807201 |    6442   150211   900410 |   355983   327223     23 |  7.336 % |
735.97/736.48	c |    807611 |    6442   150211   900410 |   355983   327633     23 |  7.336 % |
736.67/737.14	c |    808061 |    6442   150211   900410 |   355983   328083     23 |  7.336 % |
737.37/737.88	c |    808554 |    6442   150211   900410 |   355983   328576     23 |  7.336 % |
737.77/738.27	c |    809096 |    6442   150211   900410 |   355983   329118     23 |  7.336 % |
738.47/738.98	c |    809693 |    6442   150211   900410 |   355983   329715     23 |  7.336 % |
738.97/739.41	c |    810349 |    6442   150211   900410 | 2147483647   330371     23 |  7.336 % |
739.27/739.75	c |    811069 |    6442   150211   900410 | 2147483647   331091     23 |  7.336 % |
740.27/740.70	c |    811861 |    6442   150211   900410 | 2147483647   331883     23 |  7.336 % |
742.27/742.75	c |    812732 |    6442   150211   900410 | 2147483647   332754     23 |  7.336 % |
743.27/743.76	c |    813690 |    6442   150211   900410 | 2147483647   333712     23 |  7.336 % |
744.57/745.06	c |    814744 |    6442   150211   900410 | 2147483647   334766     23 |  7.336 % |
745.97/746.45	c |    815902 |    6442   150211   900410 | 2147483647   335924     23 |  7.336 % |
747.37/747.89	c |    817178 |    6442   150211   900410 | 2147483647   337200     23 |  7.336 % |
749.86/750.30	c |    818578 |    6442   150211   900410 | 2147483647   338600     23 |  7.336 % |
752.86/753.30	c |    820119 |    6442   150211   900410 | 2147483647   340141     23 |  7.336 % |
754.36/754.88	c |    821814 |    6442   150211   900410 | 2147483647   341836     23 |  7.336 % |
756.76/757.22	c |    823678 |    6442   150211   900410 | 2147483647   343700     23 |  7.336 % |
758.26/758.71	c |    825727 |    6442   150211   900410 | 2147483647   345749     23 |  7.336 % |
761.36/761.81	c |    827980 |    6442   150211   900410 | 2147483647   348002     23 |  7.336 % |
762.96/763.43	c |    830459 |    6442   150211   900410 |   350022   350481     23 |  7.336 % |
765.56/766.09	c |    833184 |    6442   150211   900410 |   350022   353206     23 |  7.336 % |
768.66/769.15	c |    836182 |    6442   150211   900410 |   350022   320884     23 |  7.336 % |
772.76/773.26	c |    839478 |    6442   150211   900410 |   350022   324180     23 |  7.336 % |
777.26/777.74	c |    843103 |    6442   150211   900410 | 2147483647   327805     23 |  7.336 % |
780.66/781.19	c |    847090 |    6442   150211   900410 | 2147483647   331792     23 |  7.336 % |
786.75/787.28	c |    851476 |    6442   150211   900410 | 2147483647   336178     23 |  7.336 % |
791.05/791.53	c |    856300 |    6442   150211   900410 | 2147483647   341002     23 |  7.336 % |
796.75/797.25	c |    861606 |    6442   150211   900410 | 2147483647   346308     24 |  7.336 % |
802.45/802.92	c |    867442 |    6441   150173   899860 | 2147483647   352140     23 |  7.350 % |
808.94/809.42	c |    873860 |    6441   150173   899860 | 2147483647   358558     24 |  7.350 % |
811.44/811.94	c |    880919 |    6441   150173   899860 | 2147483647   365617     24 |  7.350 % |
817.74/818.28	c |    888683 |    6441   150173   899860 | 2147483647   373381     24 |  7.351 % |
817.85/818.38	c |    888784 |    6441   150173   899860 | 2147483647   373482     24 |  7.350 % |
818.04/818.58	c |    888895 |    6441   150173   899860 | 2147483647   373593     24 |  7.350 % |
818.24/818.75	c |    889016 |    6441   150173   899860 | 2147483647   373714     24 |  7.350 % |
818.44/818.98	c |    889151 |    6441   150173   899860 | 2147483647   373849     24 |  7.350 % |
818.74/819.21	c |    889298 |    6441   150173   899860 | 2147483647   373996     24 |  7.350 % |
818.94/819.45	c |    889458 |    6441   150173   899860 | 2147483647   374156     24 |  7.350 % |
819.14/819.69	c |    889634 |    6441   150173   899860 | 2147483647   374332     24 |  7.350 % |
819.34/819.88	c |    889827 |    6441   150173   899860 | 2147483647   374525     24 |  7.350 % |
819.64/820.10	c |    890039 |    6441   150173   899860 | 2147483647   374737     24 |  7.350 % |
819.74/820.29	c |    890274 |    6441   150173   899860 | 2147483647   374972     24 |  7.350 % |
819.94/820.50	c |    890531 |    6441   150173   899860 | 2147483647   375229     24 |  7.350 % |
820.24/820.76	c |    890812 |    6441   150173   899860 | 2147483647   375510     24 |  7.351 % |
820.64/821.14	c |    891122 |    6441   150173   899860 | 2147483647   375820     24 |  7.350 % |
821.04/821.51	c |    891462 |    6441   150173   899860 | 2147483647   376160     24 |  7.350 % |
821.74/822.25	c |    891838 |    6441   150173   899860 | 2147483647   376536     24 |  7.350 % |
821.94/822.44	c |    892249 |    6441   150173   899860 | 2147483647   376947     24 |  7.350 % |
822.44/822.98	c |    892698 |    6441   150173   899860 | 2147483647   377396     24 |  7.350 % |
822.84/823.31	c |    893191 |    6441   150173   899860 | 2147483647   377889     24 |  7.350 % |
823.14/823.67	c |    893733 |    6441   150173   899860 | 2147483647   378431     24 |  7.350 % |
823.64/824.11	c |    894329 |    6441   150173   899860 | 2147483647   379027     24 |  7.350 % |
824.14/824.65	c |    894984 |    6441   150173   899860 | 2147483647   379682     24 |  7.350 % |
824.64/825.15	c |    895705 |    6441   150173   899860 | 2147483647   380403     24 |  7.350 % |
825.34/825.84	c |    896497 |    6441   150173   899860 | 2147483647   381195     24 |  7.350 % |
825.84/826.35	c |    897368 |    6441   150173   899860 | 2147483647   382066     24 |  7.350 % |
826.54/827.05	c |    898327 |    6441   150173   899860 | 2147483647   383025     24 |  7.350 % |
827.64/828.14	c |    899383 |    6441   150173   899860 | 2147483647   384081     24 |  7.350 % |
830.53/831.07	c |    900542 |    6441   150173   899860 | 2147483647   385240     24 |  7.350 % |
833.34/833.85	c |    901815 |    6441   150173   899860 | 2147483647   386513     24 |  7.351 % |
834.63/835.10	c |    903216 |    6441   150173   899860 | 2147483647   387914     24 |  7.350 % |
836.03/836.58	c |    904756 |    6441   150173   899860 | 2147483647   389454     24 |  7.350 % |
837.13/837.61	c |    906450 |    6441   150173   899860 | 2147483647   391148     24 |  7.350 % |
837.93/838.43	c |    908314 |    6441   150173   899860 | 2147483647   393012     24 |  7.350 % |
839.23/839.76	c |    910364 |    6441   150173   899860 | 2147483647   395062     24 |  7.350 % |
840.73/841.22	c |    912618 |    6441   150173   899860 | 2147483647   397316     24 |  7.350 % |
843.93/844.44	c |    915096 |    6441   150173   899860 | 2147483647   399794     24 |  7.350 % |
845.63/846.19	c |    917823 |    6441   150173   899860 | 2147483647   402521     24 |  7.351 % |
848.93/849.44	c |    920820 |    6441   150173   899860 | 2147483647   405518     24 |  7.350 % |
852.03/852.57	c |    924116 |    6441   150173   899860 | 2147483647   408814     24 |  7.350 % |
855.72/856.24	c |    927741 |    6441   150173   899860 | 2147483647   412439     24 |  7.350 % |
861.83/862.31	c |    931728 |    6441   150173   899860 | 2147483647   416426     24 |  7.350 % |
869.22/869.75	c |    936114 |    6441   150173   899860 | 2147483647   420812     24 |  7.350 % |
875.22/875.76	c |    940937 |    6441   150173   899860 |   424698   425635     24 |  7.350 % |
884.42/884.93	c |    946242 |    6441   150173   899860 |   424698   370256     25 |  7.350 % |
889.32/889.87	c |    952077 |    6441   150173   899860 |   374014   376091     24 |  7.350 % |
893.72/894.20	c |    958496 |    6441   150173   899860 |   374014   292502     24 |  7.350 % |
900.31/900.89	c |    965559 |    6441   150173   899860 | 2147483647   299565     24 |  7.351 % |
907.61/908.20	c |    973326 |    6441   150173   899860 | 2147483647   307332     24 |  7.350 % |
912.41/912.92	c |    981866 |    6441   150173   899860 | 2147483647   315872     24 |  7.351 % |
912.51/913.06	c |    981966 |    6441   150173   899860 | 2147483647   315972     24 |  7.350 % |
912.70/913.22	c |    982077 |    6441   150173   899860 | 2147483647   316083     24 |  7.351 % |
912.80/913.36	c |    982199 |    6441   150173   899860 | 2147483647   316205     24 |  7.350 % |
912.90/913.48	c |    982333 |    6441   150173   899860 | 2147483647   316339     24 |  7.350 % |
913.10/913.62	c |    982480 |    6441   150173   899860 | 2147483647   316486     24 |  7.350 % |
913.20/913.75	c |    982640 |    6441   150173   899860 | 2147483647   316646     24 |  7.350 % |
913.40/913.94	c |    982817 |    6441   150173   899860 | 2147483647   316823     24 |  7.350 % |
913.51/914.04	c |    983011 |    6441   150173   899860 | 2147483647   317017     24 |  7.350 % |
913.61/914.19	c |    983224 |    6441   150173   899860 | 2147483647   317230     24 |  7.350 % |
913.80/914.38	c |    983457 |    6441   150173   899860 | 2147483647   317463     24 |  7.351 % |
914.00/914.52	c |    983714 |    6441   150173   899860 | 2147483647   317720     24 |  7.350 % |
914.30/914.81	c |    983996 |    6441   150173   899860 | 2147483647   318002     24 |  7.350 % |
914.40/914.96	c |    984307 |    6441   150173   899860 | 2147483647   318313     24 |  7.350 % |
915.10/915.65	c |    984646 |    6441   150173   899860 | 2147483647   318652     24 |  7.350 % |
915.60/916.14	c |    985019 |    6441   150173   899860 | 2147483647   319025     24 |  7.350 % |
916.10/916.60	c |    985428 |    6441   150173   899860 | 2147483647   319434     24 |  7.350 % |
916.70/917.23	c |    985877 |    6441   150173   899860 | 2147483647   319883     24 |  7.350 % |
918.30/918.81	c |    986371 |    6441   150173   899860 | 2147483647   320377     24 |  7.350 % |
919.30/919.89	c |    986913 |    6441   150173   899860 | 2147483647   320919     24 |  7.350 % |
920.30/920.81	c |    987509 |    6441   150173   899860 | 2147483647   321515     24 |  7.350 % |
920.70/921.22	c |    988164 |    6441   150173   899860 | 2147483647   322170     24 |  7.350 % |
921.30/921.88	c |    988884 |    6441   150173   899860 | 2147483647   322890     24 |  7.351 % |
921.90/922.49	c |    989676 |    6441   150173   899860 | 2147483647   323682     24 |  7.350 % |
922.40/922.99	c |    990548 |    6441   150173   899860 | 2147483647   324554     24 |  7.350 % |
923.60/924.16	c |    991507 |    6441   150173   899860 | 2147483647   325513     24 |  7.350 % |
925.00/925.50	c |    992561 |    6441   150173   899860 | 2147483647   326567     24 |  7.351 % |
925.80/926.32	c |    993721 |    6441   150173   899860 | 2147483647   327727     24 |  7.350 % |
927.20/927.71	c |    994994 |    6441   150173   899860 | 2147483647   329000     24 |  7.350 % |
927.80/928.39	c |    996398 |    6441   150173   899860 | 2147483647   330404     24 |  7.350 % |
929.60/930.19	c |    997939 |    6440   150141   899333 | 2147483647   331938     24 |  7.365 % |
930.79/931.33	c |    999633 |    6440   150141   899333 | 2147483647   333632     24 |  7.365 % |
932.39/932.99	c |   1001496 |    6440   150141   899333 | 2147483647   335495     24 |  7.365 % |
933.99/934.51	c |   1003545 |    6440   150141   899333 | 2147483647   337544     24 |  7.365 % |
936.79/937.37	c |   1005799 |    6440   150141   899333 | 2147483647   339798     24 |  7.365 % |
940.39/940.96	c |   1008278 |    6440   150141   899333 | 2147483647   342277     24 |  7.365 % |
943.29/943.88	c |   1011003 |    6440   150141   899333 |   343999   345002     24 |  7.365 % |
948.29/948.84	c |   1014001 |    6440   150141   899333 |   343999   313500     24 |  7.365 % |
950.19/950.76	c |   1017297 |    6440   150141   899333 |   343999   316796     24 |  7.365 % |
955.30/955.87	c |   1020923 |    6440   150141   899333 |   319501   320422     24 |  7.365 % |
959.09/959.67	c |   1024910 |    6440   150141   899333 |   319501   263232     23 |  7.365 % |
964.29/964.84	c |   1029296 |    6440   150141   899333 |   319501   267618     23 |  7.365 % |
968.09/968.63	c |   1034120 |    6440   150141   899333 | 2147483647   272442     23 |  7.365 % |
970.99/971.51	c |   1039425 |    6440   150141   899333 | 2147483647   277747     23 |  7.365 % |
974.59/975.13	c |   1045261 |    6440   150141   899333 | 2147483647   283583     23 |  7.365 % |
976.99/977.50	c |   1051680 |    6440   150141   899333 | 2147483647   290002     23 |  7.365 % |
980.89/981.49	c |   1058741 |    6440   150141   899333 | 2147483647   297063     23 |  7.365 % |
984.58/985.19	c |   1066506 |    6440   150141   899333 | 2147483647   304828     23 |  7.365 % |
988.58/989.19	c |   1075046 |    6440   150141   899333 | 2147483647   313368     23 |  7.365 % |
999.88/1000.48	c |   1084440 |    6440   150141   899333 | 2147483647   322762     23 |  7.365 % |
999.98/1000.59	c |   1084541 |    6440   150141   899333 | 2147483647   322863     23 |  7.365 % |
1000.18/1000.70	c |   1084651 |    6440   150141   899333 | 2147483647   322973     23 |  7.365 % |
1000.28/1000.84	c |   1084773 |    6440   150141   899333 | 2147483647   323095     23 |  7.365 % |
1000.58/1001.14	c |   1084907 |    6440   150141   899333 | 2147483647   323229     23 |  7.365 % |
1000.78/1001.37	c |   1085054 |    6440   150141   899333 | 2147483647   323376     23 |  7.365 % |
1000.98/1001.58	c |   1085215 |    6440   150141   899333 | 2147483647   323537     23 |  7.365 % |
1001.28/1001.84	c |   1085392 |    6440   150141   899333 | 2147483647   323714     23 |  7.365 % |
1001.48/1002.07	c |   1085586 |    6440   150141   899333 | 2147483647   323908     23 |  7.365 % |
1001.68/1002.28	c |   1085798 |    6440   150141   899333 | 2147483647   324120     23 |  7.365 % |
1002.08/1002.62	c |   1086031 |    6440   150141   899333 | 2147483647   324353     23 |  7.365 % |
1002.28/1002.82	c |   1086287 |    6440   150141   899333 | 2147483647   324609     23 |  7.365 % |
1002.48/1003.07	c |   1086568 |    6440   150141   899333 | 2147483647   324890     23 |  7.365 % |
1002.88/1003.47	c |   1086878 |    6440   150141   899333 | 2147483647   325200     23 |  7.365 % |
1003.18/1003.77	c |   1087217 |    6440   150141   899333 | 2147483647   325539     23 |  7.365 % |
1003.78/1004.32	c |   1087590 |    6440   150141   899333 | 2147483647   325912     23 |  7.365 % |
1004.08/1004.62	c |   1087999 |    6440   150141   899333 | 2147483647   326321     23 |  7.365 % |
1004.88/1005.42	c |   1088448 |    6437   150109   898806 | 2147483647   326764     23 |  7.408 % |
1005.88/1006.45	c |   1088942 |    6437   150109   898806 | 2147483647   327258     23 |  7.408 % |
1006.48/1007.03	c |   1089484 |    6437   150109   898806 | 2147483647   327800     23 |  7.408 % |
1007.28/1007.87	c |   1090080 |    6437   150109   898806 | 2147483647   328396     23 |  7.408 % |
1008.18/1008.73	c |   1090736 |    6437   150109   898806 | 2147483647   329052     23 |  7.408 % |
1008.98/1009.59	c |   1091456 |    6437   150109   898806 | 2147483647   329772     23 |  7.408 % |
1009.78/1010.36	c |   1092248 |    6437   150109   898806 | 2147483647   330564     23 |  7.408 % |
1010.58/1011.13	c |   1093119 |    6437   150109   898806 | 2147483647   331435     23 |  7.408 % |
1011.18/1011.72	c |   1094078 |    6437   150109   898806 | 2147483647   332394     23 |  7.408 % |
1011.98/1012.58	c |   1095132 |    6437   150109   898806 | 2147483647   333448     23 |  7.408 % |
1012.97/1013.54	c |   1096291 |    6437   150109   898806 | 2147483647   334607     23 |  7.408 % |
1014.17/1014.70	c |   1097565 |    6437   150109   898806 | 2147483647   335881     23 |  7.408 % |
1016.47/1017.00	c |   1098966 |    6437   150109   898806 | 2147483647   337282     23 |  7.408 % |
1018.37/1018.98	c |   1100507 |    6437   150109   898806 | 2147483647   338823     23 |  7.408 % |
1019.37/1019.90	c |   1102201 |    6437   150109   898806 | 2147483647   340517     23 |  7.408 % |
1021.47/1022.10	c |   1104066 |    6437   150109   898806 | 2147483647   342382     23 |  7.408 % |
1023.27/1023.85	c |   1106115 |    6437   150109   898806 | 2147483647   344431     23 |  7.408 % |
1025.16/1025.71	c |   1108368 |    6437   150109   898806 | 2147483647   346684     23 |  7.408 % |
1026.36/1026.99	c |   1110846 |    6437   150109   898806 | 2147483647   349162     23 |  7.408 % |
1028.06/1028.61	c |   1113572 |    6437   150109   898806 | 2147483647   351888     23 |  7.408 % |
1030.17/1030.73	c |   1116569 |    6437   150109   898806 | 2147483647   354885     23 |  7.408 % |
1033.26/1033.82	c |   1119865 |    6437   150109   898806 | 2147483647   358181     23 |  7.408 % |
1034.96/1035.57	c |   1123491 |    6437   150109   898806 | 2147483647   361807     23 |  7.408 % |
1038.36/1038.92	c |   1127478 |    6437   150109   898806 | 2147483647   365794     23 |  7.408 % |
1040.46/1041.08	c |   1131866 |    6437   150045   897752 | 2147483647   370152     23 |  7.408 % |
1044.06/1044.67	c |   1136691 |    6437   150045   897752 | 2147483647   374977     23 |  7.408 % |
1046.76/1047.36	c |   1141996 |    6437   150045   897752 | 2147483647   380282     23 |  7.408 % |
1049.76/1050.31	c |   1147831 |    6437   150045   897752 | 2147483647   386117     23 |  7.408 % |
1053.46/1054.06	c |   1154249 |    6437   150045   897752 | 2147483647   392535     23 |  7.408 % |
1059.45/1060.05	c |   1161310 |    6437   150045   897752 | 2147483647   399596     23 |  7.408 % |
1064.95/1065.50	c |   1169075 |    6437   150045   897752 | 2147483647   407361     23 |  7.408 % |
1076.95/1077.50	c |   1177616 |    6437   150045   897752 | 2147483647   415902     23 |  7.408 % |
1087.54/1088.12	c |   1187011 |    6437   150045   897752 |   418287   341438     23 |  7.408 % |
1099.64/1100.24	c |   1197344 |    6437   150045   897752 |   344430   290712     22 |  7.408 % |
1099.74/1100.36	c |   1197444 |    6437   150045   897752 |   344430   290812     22 |  7.408 % |
1099.84/1100.48	c |   1197554 |    6437   150045   897752 |   344430   290922     22 |  7.408 % |
1100.04/1100.62	c |   1197675 |    6437   150045   897752 |   344430   291043     22 |  7.408 % |
1100.24/1100.82	c |   1197809 |    6437   150045   897752 |   344430   291177     22 |  7.408 % |
1100.34/1101.00	c |   1197955 |    6437   150045   897752 |   344430   291323     22 |  7.408 % |
1100.84/1101.44	c |   1198115 |    6437   150045   897752 |   344430   291483     22 |  7.408 % |
1101.14/1101.76	c |   1198293 |    6437   150045   897752 |   344430   291661     22 |  7.408 % |
1101.44/1102.06	c |   1198488 |    6437   150045   897752 |   344430   291856     22 |  7.408 % |
1101.93/1102.54	c |   1198701 |    6437   150045   897752 |   344430   292069     22 |  7.408 % |
1102.33/1102.97	c |   1198934 |    6437   150045   897752 |   344430   292302     22 |  7.408 % |
1102.83/1103.44	c |   1199191 |    6437   150045   897752 |   344430   292559     22 |  7.408 % |
1103.03/1103.67	c |   1199475 |    6437   150045   897752 |   344430   292843     22 |  7.408 % |
1103.63/1104.22	c |   1199784 |    6437   150045   897752 |   344430   293152     22 |  7.408 % |
1103.93/1104.51	c |   1200123 |    6437   150045   897752 |   293368   293491     22 |  7.408 % |
1104.33/1104.96	c |   1200496 |    6437   150045   897752 |   293368   293864     22 |  7.408 % |
1105.03/1105.64	c |   1200905 |    6437   150045   897752 |   293368   294273     22 |  7.408 % |
1106.04/1106.63	c |   1201357 |    6437   150045   897752 |   293368   260940     22 |  7.408 % |
1106.43/1107.02	c |   1201851 |    6437   150045   897752 |   293368   261434     22 |  7.408 % |
1106.83/1107.46	c |   1202393 |    6437   150045   897752 |   293368   261976     22 |  7.408 % |
1107.33/1107.95	c |   1202989 |    6437   150045   897752 |   293368   262572     22 |  7.408 % |
1108.03/1108.67	c |   1203644 |    6437   150045   897752 |   293368   263227     22 |  7.408 % |
1108.53/1109.10	c |   1204365 |    6437   150045   897752 |   293368   263948     22 |  7.408 % |
1109.24/1109.81	c |   1205157 |    6437   150045   897752 |   293368   264740     22 |  7.408 % |
1109.53/1110.17	c |   1206028 |    6437   150045   897752 |   293368   265611     22 |  7.408 % |
1111.33/1111.93	c |   1206986 |    6437   150045   897752 |   293368   266569     22 |  7.408 % |
1112.23/1112.80	c |   1208041 |    6437   150045   897752 |   293368   267624     22 |  7.408 % |
1113.13/1113.80	c |   1209201 |    6437   150045   897752 |   293368   268784     22 |  7.408 % |
1113.83/1114.48	c |   1210474 |    6437   150045   897752 | 2147483647   270057     22 |  7.408 % |
1114.63/1115.24	c |   1211874 |    6437   150045   897752 | 2147483647   271457     22 |  7.408 % |
1116.03/1116.68	c |   1213414 |    6437   150045   897752 | 2147483647   272997     22 |  7.408 % |
1118.33/1118.96	c |   1215108 |    6437   150045   897752 | 2147483647   274691     22 |  7.408 % |
1120.53/1121.14	c |   1216971 |    6437   150045   897752 | 2147483647   276554     22 |  7.408 % |
1122.13/1122.78	c |   1219020 |    6437   150045   897752 | 2147483647   278603     22 |  7.408 % |
1123.43/1124.06	c |   1221273 |    6437   150045   897752 | 2147483647   280856     22 |  7.408 % |
1125.33/1125.96	c |   1223751 |    6437   150045   897752 | 2147483647   283334     22 |  7.408 % |
1126.73/1127.30	c |   1226476 |    6437   150045   897752 | 2147483647   286059     22 |  7.408 % |
1128.83/1129.47	c |   1229473 |    6437   150045   897752 | 2147483647   289056     22 |  7.408 % |
1131.53/1132.12	c |   1232771 |    6437   150045   897752 | 2147483647   292354     22 |  7.408 % |
1133.43/1134.05	c |   1236396 |    6437   150045   897752 | 2147483647   295979     22 |  7.408 % |
1135.12/1135.71	c |   1240385 |    6437   150045   897752 | 2147483647   299968     22 |  7.408 % |
1137.02/1137.63	c |   1244770 |    6437   150045   897752 | 2147483647   304353     22 |  7.408 % |
1142.52/1143.16	c |   1249593 |    6437   150045   897752 | 2147483647   309176     22 |  7.408 % |
1147.02/1147.67	c |   1254899 |    6437   150045   897752 | 2147483647   314482     22 |  7.408 % |
1154.12/1154.76	c |   1260734 |    6437   150045   897752 |   319584   320317     22 |  7.408 % |
1161.71/1162.36	c |   1267153 |    6437   150045   897752 |   319584   270492     22 |  7.408 % |
1169.81/1170.45	c |   1274212 |    6437   150045   897752 | 2147483647   277551     22 |  7.408 % |
1176.01/1176.65	c |   1281976 |    6437   150045   897752 | 2147483647   285315     22 |  7.408 % |
1183.21/1183.84	c |   1290516 |    6437   150045   897752 |   293340   293855     22 |  7.408 % |
1187.71/1188.31	c |   1299911 |    6437   150045   897752 |   293340   266948     23 |  7.408 % |
1192.41/1193.05	c |   1310245 |    6437   150045   897752 | 2147483647   277282     23 |  7.408 % |
1197.71/1198.33	c |   1321611 |    6437   150045   897752 | 2147483647   288648     22 |  7.408 % |
1197.81/1198.44	c |   1321712 |    6437   150045   897752 | 2147483647   288749     22 |  7.408 % |
1197.91/1198.55	c |   1321823 |    6437   150045   897752 | 2147483647   288860     22 |  7.408 % |
1198.01/1198.69	c |   1321944 |    6437   150045   897752 | 2147483647   288981     22 |  7.408 % |
1198.21/1198.82	c |   1322079 |    6437   150045   897752 | 2147483647   289116     22 |  7.408 % |
1198.31/1198.94	c |   1322225 |    6437   150045   897752 | 2147483647   289262     22 |  7.408 % |
1198.61/1199.21	c |   1322386 |    6437   150045   897752 | 2147483647   289423     22 |  7.408 % |
1198.91/1199.56	c |   1322562 |    6437   150045   897752 | 2147483647   289599     22 |  7.408 % |
1199.11/1199.72	c |   1322756 |    6437   150045   897752 | 2147483647   289793     22 |  7.408 % |
1199.31/1199.94	c |   1322968 |    6437   150045   897752 | 2147483647   290005     22 |  7.408 % |
1199.51/1200.16	c |   1323202 |    6437   150045   897752 | 2147483647   290239     22 |  7.408 % |
1199.81/1200.41	c |   1323458 |    6437   150045   897752 | 2147483647   290495     22 |  7.408 % |
1199.91/1200.56	c |   1323739 |    6437   150045   897752 | 2147483647   290776     22 |  7.408 % |

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-1832061-1242769130/watcher-1832061-1242769130 -o /tmp/evaluation-result-1832061-1242769130/solver-1832061-1242769130 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832061-1242769130.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: 1.08 1.02 0.94 3/64 10559
/proc/meminfo: memFree=1838504/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304939024 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/10559/statm: 1339 235 195 169 0 50 0
[pid=10560] ppid=10559 vsize=5356 CPUtime=0
/proc/10560/stat : 10560 (SatELiteGTI) S 10559 10559 10472 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304939024 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1339 238 198 169 0 50 0
[pid=10562] ppid=10560 vsize=5356 CPUtime=0
/proc/10562/stat : 10562 (SatELiteGTI) D 10560 10559 10472 0 -1 4194368 18 0 0 0 0 0 0 0 21 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962540645 0 0 4096 65538 18446744071563608240 0 0 17 1 0 0
/proc/10562/statm: 1339 239 199 169 0 50 0

[startup+0.015967 s]
/proc/loadavg: 1.08 1.02 0.94 3/64 10559
/proc/meminfo: memFree=1838504/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304939024 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/10559/statm: 1339 235 195 169 0 50 0
[pid=10560] ppid=10559 vsize=5356 CPUtime=0
/proc/10560/stat : 10560 (SatELiteGTI) S 10559 10559 10472 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304939024 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1339 238 198 169 0 50 0
[pid=10562] ppid=10560 vsize=5356 CPUtime=0
/proc/10562/stat : 10562 (SatELiteGTI) D 10560 10559 10472 0 -1 4194368 18 0 0 0 0 0 0 0 21 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962540645 0 0 4096 65538 18446744071563608240 0 0 17 1 0 0
/proc/10562/statm: 1339 239 199 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16068

[startup+0.101988 s]
/proc/loadavg: 1.08 1.02 0.94 3/64 10559
/proc/meminfo: memFree=1838504/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304939024 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302016 s]
/proc/loadavg: 1.08 1.02 0.94 3/64 10559
/proc/meminfo: memFree=1838504/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304939024 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701068 s]
/proc/loadavg: 1.08 1.02 0.94 3/64 10559
/proc/meminfo: memFree=1838504/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304939024 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50117 s]
/proc/loadavg: 1.08 1.02 0.94 2/66 10564
/proc/meminfo: memFree=1778704/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304939024 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 237 197 169 0 50 0
[pid=10564] ppid=10559 vsize=60192 CPUtime=1.47
/proc/10564/stat : 10564 (SatELite_releas) R 10559 10559 10472 0 -1 4194304 14856 0 0 0 137 10 0 0 25 0 1 0 304939026 61636608 14426 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/10564/statm: 15048 14426 76 173 0 14873 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 65548

[startup+3.10238 s]
/proc/loadavg: 1.08 1.02 0.94 2/66 10564
/proc/meminfo: memFree=1771600/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304939024 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 237 197 169 0 50 0
[pid=10564] ppid=10559 vsize=63624 CPUtime=3.06
/proc/10564/stat : 10564 (SatELite_releas) R 10559 10559 10472 0 -1 4194304 15686 0 0 0 292 14 0 0 25 0 1 0 304939026 65150976 15256 1992294400 134512640 135223648 4294956128 18446744073709551615 134541279 0 0 4096 3 0 0 0 17 1 0 0
/proc/10564/statm: 15906 15256 76 173 0 15731 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 68980

[startup+6.30182 s]
/proc/loadavg: 1.07 1.02 0.94 2/66 10564
/proc/meminfo: memFree=1755344/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304939024 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 237 197 169 0 50 0
[pid=10564] ppid=10559 vsize=69052 CPUtime=6.26
/proc/10564/stat : 10564 (SatELite_releas) R 10559 10559 10472 0 -1 4194304 17012 0 0 0 603 23 0 0 25 0 1 0 304939026 70709248 16582 1992294400 134512640 135223648 4294956128 18446744073709551615 134548979 0 0 4096 3 0 0 0 17 1 0 0
/proc/10564/statm: 17263 16582 76 173 0 17088 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 74408

[startup+12.7017 s]
/proc/loadavg: 1.07 1.02 0.94 2/66 10564
/proc/meminfo: memFree=1745808/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=0
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304939024 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 237 197 169 0 50 0
[pid=10564] ppid=10559 vsize=73916 CPUtime=12.66
/proc/10564/stat : 10564 (SatELite_releas) R 10559 10559 10472 0 -1 4194304 18071 0 0 0 1241 25 0 0 25 0 1 0 304939026 75689984 17514 1992294400 134512640 135223648 4294956128 18446744073709551615 134549042 0 0 4096 3 0 0 0 17 1 0 0
/proc/10564/statm: 18479 17514 76 173 0 18304 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 79272

[startup+25.5014 s]
/proc/loadavg: 1.05 1.01 0.94 2/66 10565
/proc/meminfo: memFree=1793104/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=16744 CPUtime=6.98
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 4034 0 0 0 695 3 0 0 25 0 1 0 304940873 17145856 4020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 4186 4020 77 171 0 4013 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 22100

[startup+51.1019 s]
/proc/loadavg: 1.03 1.01 0.94 2/66 10565
/proc/meminfo: memFree=1787280/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=22848 CPUtime=32.54
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 5516 0 0 0 3249 5 0 0 25 0 1 0 304940873 23396352 5502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 5712 5502 77 171 0 5539 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 28204

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 0.94 2/66 10565
/proc/meminfo: memFree=1776400/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=33732 CPUtime=83.7
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 8214 0 0 0 8361 9 0 0 25 0 1 0 304940873 34541568 8200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 8433 8200 77 171 0 8260 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 39088

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10565
/proc/meminfo: memFree=1765776/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=44324 CPUtime=143.67
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 10858 0 0 0 14355 12 0 0 25 0 1 0 304940873 45387776 10844 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 11081 10844 77 171 0 10908 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 49680

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10565
/proc/meminfo: memFree=1756048/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=54312 CPUtime=203.64
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 13261 0 0 0 20350 14 0 0 25 0 1 0 304940873 55615488 13247 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 13578 13247 77 171 0 13405 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 59668

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10565
/proc/meminfo: memFree=1747216/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=62792 CPUtime=263.62
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 15445 0 0 0 26345 17 0 0 25 0 1 0 304940873 64299008 15431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 15698 15431 77 171 0 15525 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 68148

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10565
/proc/meminfo: memFree=1738704/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=70812 CPUtime=323.59
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 17518 0 0 0 32339 20 0 0 25 0 1 0 304940873 72511488 17504 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 17703 17504 77 171 0 17530 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 76168

[startup+402.301 s]

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

/proc/10565/statm: 19194 18796 77 171 0 19021 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 82132

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10567
/proc/meminfo: memFree=1731984/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78012 CPUtime=563.5
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19104 0 0 0 56328 22 0 0 25 0 1 0 304940873 79884288 19090 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19503 19090 77 171 0 19330 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 83368

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10567
/proc/meminfo: memFree=1731920/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78012 CPUtime=623.47
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19106 0 0 0 62325 22 0 0 25 0 1 0 304940873 79884288 19092 1992294400 134512640 135215339 4294956240 18446744073709551615 134719502 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19503 19092 77 171 0 19330 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 83368

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10567
/proc/meminfo: memFree=1731792/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78012 CPUtime=683.44
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19107 0 0 0 68322 22 0 0 25 0 1 0 304940873 79884288 19093 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19503 19093 77 171 0 19330 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 83368

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10567
/proc/meminfo: memFree=1731536/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78152 CPUtime=743.43
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19126 0 0 0 74320 23 0 0 25 0 1 0 304940873 80027648 19112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19538 19112 77 171 0 19365 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 83508

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10567
/proc/meminfo: memFree=1731408/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78152 CPUtime=803.41
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19153 0 0 0 80318 23 0 0 25 0 1 0 304940873 80027648 19139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19538 19139 77 171 0 19365 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 83508

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10567
/proc/meminfo: memFree=1730896/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78596 CPUtime=863.38
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19241 0 0 0 86315 23 0 0 25 0 1 0 304940873 80482304 19227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19649 19227 77 171 0 19476 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 83952

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 10567
/proc/meminfo: memFree=1730768/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78596 CPUtime=923.36
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19242 0 0 0 92313 23 0 0 25 0 1 0 304940873 80482304 19228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19649 19228 77 171 0 19476 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 83952

[startup+1002.3 s]
/proc/loadavg: 1.09 1.03 0.95 2/66 10567
/proc/meminfo: memFree=1730768/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78596 CPUtime=983.35
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19242 0 0 0 98311 24 0 0 25 0 1 0 304940873 80482304 19228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19649 19228 77 171 0 19476 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 83952

[startup+1062.3 s]
/proc/loadavg: 1.10 1.05 0.96 2/66 10567
/proc/meminfo: memFree=1730320/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78896 CPUtime=1043.32
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19314 0 0 0 104308 24 0 0 25 0 1 0 304940873 80789504 19300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19724 19300 77 171 0 19551 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 84252

[startup+1122.3 s]
/proc/loadavg: 1.07 1.05 0.97 2/66 10567
/proc/meminfo: memFree=1730192/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=78896 CPUtime=1103.3
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19321 0 0 0 110306 24 0 0 25 0 1 0 304940873 80789504 19307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19724 19307 77 171 0 19551 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 84252

[startup+1182.3 s]
/proc/loadavg: 1.06 1.05 0.97 2/66 10567
/proc/meminfo: memFree=1730000/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=79032 CPUtime=1163.28
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19343 0 0 0 116304 24 0 0 25 0 1 0 304940873 80928768 19329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19758 19329 77 171 0 19585 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 84388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.04 1.05 0.97 2/66 10567
/proc/meminfo: memFree=1729936/2055920 swapFree=4179964/4192956
[pid=10559] ppid=10557 vsize=5356 CPUtime=18.43
/proc/10559/stat : 10559 (SatELiteGTI) S 10557 10559 10472 0 -1 4194304 336 20327 0 0 0 0 1813 30 16 0 1 0 304939024 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10559/statm: 1339 239 197 169 0 50 0
[pid=10565] ppid=10559 vsize=79188 CPUtime=1181.58
/proc/10565/stat : 10565 (minisat_static) R 10559 10559 10472 0 -1 4194304 19361 0 0 0 118133 25 0 0 25 0 1 0 304940873 81088512 19347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/10565/statm: 19797 19347 77 171 0 19624 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 84544

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 10559 and gives
#  childrusage.ru_utime.tv_sec=18
#  childrusage.ru_utime.tv_usec=138242
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=311952
# CPU time returned by wait4() is 18.4502
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.61
CPU time (s): 1200.01
CPU user time (s): 1199.46
CPU system time (s): 0.55
CPU usage (%): 99.9497
Max. virtual memory (cumulated for all children) (KiB): 88448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1382
system time used= 0.311952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20663
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= 18
involuntary context switches= 88

runsolver used 1.38479 second user time and 3.11553 second system time

The end

Launcher Data

Begin job on node71 at 2009-05-19 23:38:51
IDJOB=1832061
IDBENCH=20409
IDSOLVER=671
FILE ID=node71/1832061-1242769130
PBS_JOBID= 9322231
Free space on /tmp= 66324 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/safe-30-h29-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832061-1242769130/watcher-1832061-1242769130 -o /tmp/evaluation-result-1832061-1242769130/solver-1832061-1242769130 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832061-1242769130.cnf

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

MD5SUM BENCH= 7cb48ce6f0320bc88623afd3c5af4aae
RANDOM SEED=1643827855

node71.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.236
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.236
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:       1838920 kB
Buffers:         14312 kB
Cached:         165660 kB
SwapCached:       7096 kB
Active:          29836 kB
Inactive:       158900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838920 kB
SwapTotal:     4192956 kB
SwapFree:      4179964 kB
Dirty:            9040 kB
Writeback:           0 kB
Mapped:          13980 kB
Slab:            14172 kB
Committed_AS:   889804 kB
PageTables:       1440 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= 66296 MiB
End job on node71 at 2009-05-19 23:58:53