Trace number 1834203

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.13 1200.51

General information on the benchmark

Namegoldb-heqc-term1mul.cnf
MD5SUMc356d60706abf7ddd80826e417c8de67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark26.336
Satisfiable
(Un)Satisfiability was proved
Number of variables3504
Number of clauses22229
Sum of the clauses size75188
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25116
Number of clauses of size 310312
Number of clauses of size 40
Number of clauses of size 56800
Number of clauses of size over 51

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   22229    75188 |    6668       0        0     nan |  0.000 % |
0.00/0.06	c |         0 |   22219    75371 |      --       0       --      -- |     --   | -10/183
0.00/0.06	c ==============================================================================
0.00/0.06	c Result  :   #vars: 3491   #clauses: 22219   #literals: 75371
0.00/0.06	c CPU time:   0.054991 s
0.00/0.06	c ==============================================================================
0.00/0.09	c This is MiniSat 2.0 beta
0.00/0.09	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.09	c ============================[ Problem Statistics ]=============================
0.00/0.09	c |                                                                             |
0.00/0.09	c |  Number of variables:  3491                                                 |
0.00/0.09	c |  Number of clauses:    22219                                                |
0.07/0.10	c |  Parsing time:         0.01         s                                       |
0.07/0.10	c ============================[ Search Statistics ]==============================
0.07/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.07/0.10	c ===============================================================================
0.07/0.10	c |         0 |    3491    22219    75371 |     7406        0    nan |  0.000 % |
0.07/0.11	c |       100 |    3491    22219    75371 |     7406      100      5 |  0.000 % |
0.07/0.12	c |       201 |    3491    22219    75371 |     7406      201      8 |  0.000 % |
0.07/0.12	c |       301 |    3491    22219    75371 |     7406      301      8 |  0.000 % |
0.07/0.13	c |       411 |    3491    22219    75371 |     7406      411      8 |  0.000 % |
0.07/0.14	c |       511 |    3491    22219    75371 |     7406      511      9 |  0.000 % |
0.07/0.15	c |       621 |    3491    22219    75371 |     7406      621     10 |  0.001 % |
0.07/0.16	c |       743 |    3490    22209    75338 |     7406      741      9 |  0.029 % |
0.07/0.17	c |       843 |    3490    22209    75338 |     7406      841      9 |  0.029 % |
0.07/0.18	c |       953 |    3490    22209    75338 |     7406      951      9 |  0.029 % |
0.07/0.18	c |      1074 |    3490    22209    75338 |     7406     1072      9 |  0.029 % |
0.07/0.20	c |      1207 |    3490    22209    75338 |     7406     1205      9 |  0.029 % |
0.07/0.21	c |      1308 |    3489    22201    75314 |     7406     1304     10 |  0.058 % |
0.07/0.22	c |      1418 |    3489    22201    75314 |     7406     1414      9 |  0.058 % |
0.07/0.22	c |      1539 |    3488    22201    75314 |     7406     1534      9 |  0.086 % |
0.07/0.24	c |      1672 |    3483    22201    75314 |     7406     1662      9 |  0.229 % |
0.07/0.25	c |      1819 |    3483    22073    74850 |     7406     1791     10 |  0.229 % |
0.07/0.26	c |      1919 |    3483    22073    74850 |     7406     1891     10 |  0.229 % |
0.07/0.27	c |      2029 |    3483    22073    74850 |     7406     2001     11 |  0.229 % |
0.07/0.28	c |      2151 |    3478    22048    74772 |     7406     2105     11 |  0.373 % |
0.07/0.29	c |      2285 |    3478    22048    74772 |     7406     2238     11 |  0.401 % |
0.07/0.31	c |      2431 |    3477    22048    74772 |     7406     2384     11 |  0.401 % |
0.07/0.32	c |      2591 |    3476    21987    74546 |     7406     2533     12 |  0.430 % |
0.07/0.33	c |      2691 |    3476    21987    74546 |     7406     2633     12 |  0.430 % |
0.07/0.34	c |      2801 |    3476    21987    74546 |     7406     2743     12 |  0.430 % |
0.07/0.35	c |      2923 |    3476    21987    74546 |     7406     2865     12 |  0.430 % |
0.07/0.36	c |      3057 |    3476    21987    74546 |     7406     2999     12 |  0.430 % |
0.07/0.38	c |      3204 |    3474    21977    74512 |     7406     3132     12 |  0.487 % |
0.07/0.39	c |      3364 |    3473    21977    74512 |     7406     3291     12 |  0.516 % |
0.07/0.40	c |      3541 |    3473    21977    74512 |     7406     3468     12 |  0.516 % |
0.07/0.41	c |      3641 |    3473    21977    74512 |     7406     3568     13 |  0.516 % |
0.07/0.42	c |      3751 |    3473    21969    74488 |     7406     3677     13 |  0.516 % |
0.07/0.43	c |      3873 |    3473    21969    74488 |     7406     3799     13 |  0.516 % |
0.07/0.44	c |      4006 |    3473    21969    74488 |     7406     3932     13 |  0.516 % |
0.07/0.45	c |      4154 |    3473    21969    74488 |     7406     4080     14 |  0.516 % |
0.07/0.47	c |      4314 |    3472    21959    74455 |     7406     4236     14 |  0.544 % |
0.07/0.48	c |      4490 |    3472    21959    74455 |     7406     4412     15 |  0.544 % |
0.07/0.50	c |      4683 |    3472    21959    74455 |     7406     4605     15 |  0.544 % |
0.07/0.51	c |      4783 |    3472    21959    74455 |     7406     4705     15 |  0.544 % |
0.07/0.52	c |      4893 |    3472    21959    74455 |     7406     4815     15 |  0.544 % |
0.07/0.53	c |      5014 |    3472    21959    74455 |     7406     4936     15 |  0.545 % |
0.07/0.54	c |      5147 |    3472    21959    74455 |     7406     5069     15 |  0.545 % |
0.07/0.56	c |      5293 |    3472    21959    74455 |     7406     5215     16 |  0.545 % |
0.07/0.58	c |      5453 |    3471    21954    74440 |     7406     5373     16 |  0.573 % |
0.07/0.59	c |      5629 |    3468    21954    74440 |     7406     5547     16 |  0.660 % |
0.07/0.61	c |      5822 |    3468    21954    74440 |     7406     5740     16 |  0.659 % |
0.07/0.64	c |      6034 |    3468    21954    74440 |     7406     5952     16 |  0.659 % |
0.07/0.65	c |      6134 |    3468    21930    74282 |     7406     6038     16 |  0.659 % |
0.07/0.66	c |      6247 |    3467    21930    74282 |     7406     6150     16 |  0.687 % |
0.07/0.67	c |      6371 |    3467    21930    74282 |     7406     6274     16 |  0.687 % |
0.07/0.68	c |      6505 |    3467    21930    74282 |     7406     6408     16 |  0.687 % |
0.07/0.70	c |      6651 |    3467    21930    74282 |     7406     6554     16 |  0.688 % |
0.07/0.71	c |      6812 |    3466    21930    74282 |     7406     6714     16 |  0.716 % |
0.07/0.73	c |      6988 |    3466    21930    74282 |     7406     6890     16 |  0.716 % |
0.07/0.76	c |      7181 |    3465    21873    74081 |     7406     7073     17 |  0.745 % |
0.07/0.78	c |      7394 |    3465    21873    74081 |     7406     7286     17 |  0.745 % |
0.07/0.80	c |      7628 |    3465    21873    74081 |     7406     7520     17 |  0.746 % |
0.07/0.81	c |      7729 |    3465    21873    74081 |     7406     6869     17 |  0.745 % |
0.07/0.83	c |      7840 |    3465    21864    74051 |     7406     6977     17 |  0.745 % |
0.07/0.84	c |      7961 |    3465    21864    74051 |     7406     7098     17 |  0.745 % |
0.07/0.85	c |      8095 |    3465    21864    74051 |     7406     7232     17 |  0.745 % |
0.07/0.87	c |      8243 |    3465    21864    74051 |     7406     7380     17 |  0.745 % |
0.07/0.88	c |      8405 |    3465    21864    74051 |     7406     7542     17 |  0.746 % |
0.07/0.91	c |      8581 |    3465    21864    74051 |     7406     6964     17 |  0.745 % |
0.07/0.93	c |      8774 |    3465    21864    74051 |     7406     7157     17 |  0.745 % |
0.07/0.95	c |      8988 |    3465    21864    74051 |     7406     7371     17 |  0.745 % |
0.07/0.97	c |      9221 |    3465    21864    74051 |     7406     7604     17 |  0.745 % |
0.07/1.00	c |      9477 |    3465    21864    74051 |     7406     7100     17 |  0.745 % |
0.97/1.01	c |      9577 |    3464    21854    74018 |     7406     7195     17 |  0.775 % |
0.97/1.03	c |      9688 |    3463    21854    74018 |     7406     7305     17 |  0.802 % |
0.97/1.03	c |      9810 |    3463    21854    74018 |     7406     7427     17 |  0.802 % |
0.97/1.05	c |      9945 |    3463    21854    74018 |     7406     6810     16 |  0.802 % |
0.97/1.07	c |     10091 |    3463    21854    74018 | 2147483647     6956     16 |  0.802 % |
0.97/1.08	c |     10251 |    3463    21854    74018 | 2147483647     7116     16 |  0.802 % |
0.97/1.10	c |     10428 |    3463    21854    74018 | 2147483647     7293     16 |  0.802 % |
1.07/1.12	c |     10622 |    3463    21854    74018 | 2147483647     7487     16 |  0.802 % |
1.07/1.15	c |     10834 |    3463    21844    73985 | 2147483647     7698     16 |  0.802 % |
1.07/1.17	c |     11067 |    3463    21844    73985 | 2147483647     7931     16 |  0.802 % |
1.17/1.20	c |     11324 |    3463    21844    73985 | 2147483647     8188     17 |  0.802 % |
1.17/1.25	c |     11606 |    3463    21844    73985 | 2147483647     8470     17 |  0.802 % |
1.17/1.26	c |     11706 |    3463    21844    73985 | 2147483647     8570     17 |  0.803 % |
1.17/1.27	c |     11817 |    3463    21844    73985 | 2147483647     8681     17 |  0.802 % |
1.17/1.28	c |     11939 |    3463    21844    73985 | 2147483647     8803     16 |  0.803 % |
1.27/1.30	c |     12072 |    3463    21844    73985 | 2147483647     8936     17 |  0.803 % |
1.27/1.33	c |     12218 |    3463    21844    73985 | 2147483647     9082     17 |  0.802 % |
1.27/1.35	c |     12379 |    3463    21844    73985 | 2147483647     9243     17 |  0.802 % |
1.27/1.37	c |     12555 |    3463    21844    73985 | 2147483647     9419     17 |  0.802 % |
1.27/1.39	c |     12749 |    3462    21841    73972 | 2147483647     9563     17 |  0.831 % |
1.37/1.42	c |     12963 |    3462    21841    73972 | 2147483647     9777     17 |  0.831 % |
1.37/1.45	c |     13196 |    3461    21841    73972 | 2147483647    10009     17 |  0.860 % |
1.37/1.49	c |     13453 |    3461    21841    73972 | 2147483647    10266     17 |  0.859 % |
1.47/1.52	c |     13734 |    3461    21841    73972 | 2147483647    10547     17 |  0.859 % |
1.47/1.56	c |     14044 |    3461    21831    73939 | 2147483647    10854     18 |  0.859 % |
1.47/1.57	c |     14145 |    3461    21831    73939 | 2147483647    10955     18 |  0.861 % |
1.47/1.58	c |     14255 |    3461    21831    73939 | 2147483647    11064     17 |  0.888 % |
1.47/1.60	c |     14376 |    3460    21831    73939 | 2147483647    11185     17 |  0.888 % |
1.57/1.61	c |     14509 |    3460    21831    73939 | 2147483647    11318     17 |  0.888 % |
1.57/1.63	c |     14657 |    3460    21831    73939 | 2147483647    11466     18 |  0.888 % |
1.57/1.65	c |     14817 |    3460    21831    73939 | 2147483647    11626     18 |  0.888 % |
1.57/1.68	c |     14993 |    3460    21831    73939 | 2147483647    11802     18 |  0.888 % |
1.66/1.71	c |     15186 |    3460    21822    73909 | 2147483647    11992     18 |  0.888 % |
1.66/1.73	c |     15398 |    3460    21822    73909 | 2147483647    12204     18 |  0.889 % |
1.66/1.76	c |     15631 |    3460    21822    73909 | 2147483647    12437     18 |  0.888 % |
1.66/1.79	c |     15888 |    3460    21822    73909 | 2147483647    12694     18 |  0.888 % |
1.76/1.83	c |     16170 |    3460    21822    73909 | 2147483647    12976     18 |  0.888 % |
1.76/1.86	c |     16481 |    3460    21822    73909 | 2147483647    13287     18 |  0.888 % |
1.86/1.91	c |     16820 |    3460    21822    73909 | 2147483647    13626     18 |  0.888 % |
1.86/1.93	c |     16920 |    3460    21822    73909 | 2147483647    13726     18 |  0.888 % |
1.86/1.95	c |     17030 |    3460    21822    73909 | 2147483647    13836     18 |  0.888 % |
1.86/1.97	c |     17151 |    3460    21822    73909 | 2147483647    13957     18 |  0.888 % |
1.86/1.98	c |     17287 |    3460    21822    73909 | 2147483647    14093     18 |  0.888 % |
1.96/2.01	c |     17433 |    3460    21822    73909 | 2147483647    14239     18 |  0.889 % |
1.96/2.03	c |     17595 |    3460    21822    73909 | 2147483647    14401     18 |  0.889 % |
1.96/2.06	c |     17771 |    3460    21822    73909 | 2147483647    14577     18 |  0.889 % |
1.96/2.08	c |     17964 |    3460    21822    73909 | 2147483647    14770     18 |  0.889 % |
2.07/2.11	c |     18176 |    3460    21822    73909 | 2147483647    14982     18 |  0.889 % |
2.07/2.15	c |     18409 |    3460    21822    73909 | 2147483647    15215     19 |  0.888 % |
2.07/2.18	c |     18665 |    3460    21822    73909 | 2147483647    15471     19 |  0.888 % |
2.17/2.23	c |     18946 |    3460    21822    73909 | 2147483647    15752     19 |  0.888 % |
2.17/2.28	c |     19255 |    3460    21822    73909 | 2147483647    16061     19 |  0.888 % |
2.26/2.33	c |     19594 |    3460    21822    73909 | 2147483647    16400     19 |  0.888 % |
2.26/2.39	c |     19966 |    3459    21812    73876 | 2147483647    16769     19 |  0.917 % |
2.36/2.40	c |     20067 |    3459    21812    73876 | 2147483647    16870     19 |  0.917 % |
2.36/2.42	c |     20177 |    3458    21812    73876 | 2147483647    16979     20 |  0.946 % |
2.36/2.44	c |     20298 |    3458    21812    73876 | 2147483647    17100     20 |  0.945 % |
2.36/2.46	c |     20431 |    3457    21812    73876 | 2147483647    17232     20 |  0.974 % |
2.36/2.48	c |     20577 |    3457    21812    73876 | 2147483647    17378     20 |  0.974 % |
2.46/2.51	c |     20738 |    3457    21812    73876 | 2147483647    17539     20 |  0.975 % |
2.46/2.54	c |     20914 |    3457    21812    73876 | 2147483647    17715     20 |  0.974 % |
2.46/2.57	c |     21108 |    3456    21812    73876 | 2147483647    17908     20 |  1.003 % |
2.56/2.60	c |     21322 |    3456    21812    73876 | 2147483647    18122     20 |  1.003 % |
2.56/2.64	c |     21558 |    3456    21812    73876 | 2147483647    18358     20 |  1.004 % |
2.56/2.69	c |     21815 |    3456    21739    73620 | 2147483647    18600     20 |  1.003 % |
2.66/2.74	c |     22096 |    3456    21739    73620 | 2147483647    18881     20 |  1.003 % |
2.66/2.78	c |     22408 |    3456    21739    73620 | 2147483647    19193     20 |  1.003 % |
2.76/2.83	c |     22748 |    3456    21739    73620 | 2147483647    19533     20 |  1.003 % |
2.86/2.91	c |     23121 |    3452    21739    73620 | 2147483647    19902     20 |  1.146 % |
2.86/2.98	c |     23530 |    3452    21739    73620 | 2147483647    20311     20 |  1.146 % |
2.96/3.01	c |     23630 |    3451    21699    73490 | 2147483647    19211     21 |  1.146 % |
2.96/3.03	c |     23740 |    3451    21699    73490 | 2147483647    19321     21 |  1.146 % |
2.96/3.05	c |     23862 |    3451    21699    73490 | 2147483647    19443     21 |  1.146 % |
2.96/3.07	c |     23995 |    3451    21699    73490 | 2147483647    19576     21 |  1.146 % |
2.96/3.09	c |     24141 |    3451    21699    73490 | 2147483647    19722     21 |  1.147 % |
3.06/3.12	c |     24302 |    3451    21699    73490 | 2147483647    19883     21 |  1.146 % |
3.06/3.14	c |     24480 |    3451    21699    73490 | 2147483647    20061     21 |  1.146 % |
3.06/3.18	c |     24674 |    3451    21699    73490 | 2147483647    20255     21 |  1.146 % |
3.16/3.22	c |     24887 |    3451    21699    73490 | 2147483647    20468     21 |  1.146 % |
3.16/3.25	c |     25121 |    3451    21699    73490 | 2147483647    20702     21 |  1.146 % |
3.16/3.29	c |     25377 |    3451    21699    73490 | 2147483647    20958     21 |  1.146 % |
3.26/3.33	c |     25659 |    3451    21699    73490 | 2147483647    21240     21 |  1.147 % |
3.26/3.39	c |     25968 |    3451    21699    73490 | 2147483647    21549     21 |  1.146 % |
3.36/3.48	c |     26309 |    3449    21693    73472 | 2147483647    21886     21 |  1.203 % |
3.46/3.54	c |     26682 |    3449    21693    73472 | 2147483647    22259     21 |  1.203 % |
3.56/3.62	c |     27092 |    3448    21693    73472 | 2147483647    22668     21 |  1.232 % |
3.66/3.71	c |     27541 |    3448    21693    73472 | 2147483647    23117     21 |  1.232 % |
3.66/3.73	c |     27642 |    3448    21693    73472 | 2147483647    23218     21 |  1.233 % |
3.66/3.75	c |     27752 |    3448    21693    73472 | 2147483647    23328     21 |  1.232 % |
3.66/3.78	c |     27874 |    3448    21693    73472 | 2147483647    23450     21 |  1.232 % |
3.75/3.81	c |     28008 |    3448    21693    73472 | 2147483647    23584     21 |  1.232 % |
3.75/3.84	c |     28154 |    3448    21693    73472 | 2147483647    23730     21 |  1.232 % |
3.75/3.87	c |     28315 |    3448    21693    73472 | 2147483647    23891     22 |  1.232 % |
3.85/3.92	c |     28492 |    3448    21675    73412 | 2147483647    24059     22 |  1.232 % |
3.85/3.95	c |     28685 |    3448    21675    73412 | 2147483647    24252     22 |  1.232 % |
3.95/4.01	c |     28898 |    3448    21675    73412 | 2147483647    24465     22 |  1.232 % |
3.95/4.06	c |     29133 |    3448    21675    73412 | 2147483647    24700     22 |  1.232 % |
4.05/4.12	c |     29391 |    3448    21675    73412 | 2147483647    24958     22 |  1.232 % |
4.05/4.18	c |     29672 |    3448    21675    73412 | 2147483647    25239     22 |  1.232 % |
4.15/4.24	c |     29982 |    3446    21675    73412 | 2147483647    25547     22 |  1.290 % |
4.26/4.31	c |     30321 |    3446    21675    73412 | 2147483647    25886     22 |  1.289 % |
4.26/4.39	c |     30693 |    3446    21675    73412 | 2147483647    26258     22 |  1.289 % |
4.36/4.47	c |     31102 |    3446    21650    73329 | 2147483647    26652     22 |  1.289 % |
4.45/4.57	c |     31552 |    3446    21650    73329 | 2147483647    27102     22 |  1.290 % |
4.55/4.66	c |     32045 |    3446    21650    73329 | 2147483647    27595     22 |  1.289 % |
4.65/4.70	c |     32145 |    3446    21650    73329 | 2147483647    27695     22 |  1.290 % |
4.65/4.72	c |     32257 |    3446    21650    73329 | 2147483647    27807     22 |  1.289 % |
4.65/4.74	c |     32379 |    3446    21650    73329 | 2147483647    27929     22 |  1.289 % |
4.65/4.77	c |     32512 |    3446    21650    73329 | 2147483647    28062     22 |  1.289 % |
4.75/4.81	c |     32659 |    3446    21650    73329 | 2147483647    28209     22 |  1.290 % |
4.75/4.85	c |     32819 |    3446    21650    73329 | 2147483647    28369     22 |  1.290 % |
4.75/4.89	c |     32995 |    3445    21650    73329 | 2147483647    28544     22 |  1.318 % |
4.85/4.94	c |     33189 |    3445    21650    73329 | 2147483647    28738     22 |  1.318 % |
4.95/5.00	c |     33402 |    3445    21650    73329 | 2147483647    28951     22 |  1.318 % |
4.95/5.05	c |     33635 |    3445    21650    73329 | 2147483647    29184     22 |  1.318 % |
4.95/5.09	c |     33891 |    3445    21650    73329 | 2147483647    29440     22 |  1.318 % |
5.05/5.16	c |     34173 |    3444    21640    73296 | 2147483647    29717     22 |  1.346 % |
5.15/5.24	c |     34482 |    3444    21640    73296 | 2147483647    30026     22 |  1.347 % |
5.25/5.33	c |     34821 |    3444    21640    73296 | 2147483647    30365     22 |  1.346 % |
5.36/5.41	c |     35193 |    3444    21640    73296 | 2147483647    30737     22 |  1.347 % |
5.46/5.50	c |     35603 |    3444    21640    73296 | 2147483647    31147     23 |  1.346 % |
5.55/5.61	c |     36052 |    3444    21640    73296 | 2147483647    31596     23 |  1.346 % |
5.65/5.73	c |     36546 |    3444    21640    73296 | 2147483647    32090     23 |  1.347 % |
5.75/5.86	c |     37088 |    3444    21640    73296 | 2147483647    32632     23 |  1.347 % |
5.85/5.90	c |     37188 |    3444    21640    73296 | 2147483647    32732     23 |  1.348 % |
5.85/5.92	c |     37299 |    3444    21640    73296 | 2147483647    32843     23 |  1.347 % |
5.85/5.96	c |     37422 |    3444    21605    73168 | 2147483647    32962     23 |  1.347 % |
5.95/6.00	c |     37555 |    3444    21605    73168 | 2147483647    33095     23 |  1.347 % |
5.95/6.05	c |     37702 |    3444    21605    73168 | 2147483647    33242     23 |  1.347 % |
5.95/6.10	c |     37863 |    3444    21605    73168 | 2147483647    33403     23 |  1.347 % |
6.05/6.15	c |     38039 |    3444    21605    73168 | 2147483647    33579     23 |  1.347 % |
6.05/6.20	c |     38232 |    3444    21605    73168 | 2147483647    33772     23 |  1.347 % |
6.15/6.25	c |     38444 |    3444    21605    73168 | 2147483647    33984     23 |  1.347 % |
6.25/6.33	c |     38677 |    3444    21605    73168 | 2147483647    34217     23 |  1.347 % |
6.35/6.40	c |     38933 |    3444    21605    73168 | 2147483647    34473     23 |  1.346 % |
6.35/6.48	c |     39214 |    3444    21605    73168 | 2147483647    34754     23 |  1.347 % |
6.46/6.57	c |     39524 |    3444    21605    73168 | 2147483647    35064     23 |  1.346 % |
6.55/6.67	c |     39863 |    3444    21605    73168 | 2147483647    35403     23 |  1.347 % |
6.65/6.77	c |     40235 |    3444    21605    73168 | 2147483647    35775     23 |  1.347 % |
6.75/6.88	c |     40644 |    3444    21605    73168 | 2147483647    36184     23 |  1.347 % |
6.86/6.99	c |     41093 |    3444    21605    73168 | 2147483647    36633     23 |  1.347 % |
7.06/7.12	c |     41586 |    3444    21605    73168 | 2147483647    37126     23 |  1.347 % |
7.16/7.27	c |     42128 |    3444    21605    73168 | 2147483647    37668     23 |  1.347 % |
7.36/7.42	c |     42724 |    3443    21598    73147 | 2147483647    38259     23 |  1.376 % |
7.36/7.45	c |     42825 |    3443    21598    73147 | 2147483647    38360     23 |  1.375 % |
7.36/7.47	c |     42935 |    3443    21598    73147 | 2147483647    38470     23 |  1.375 % |
7.46/7.50	c |     43056 |    3443    21598    73147 | 2147483647    38591     23 |  1.375 % |
7.46/7.55	c |     43189 |    3443    21598    73147 | 2147483647    38724     23 |  1.376 % |
7.46/7.60	c |     43337 |    3443    21598    73147 | 2147483647    38872     23 |  1.376 % |
7.56/7.65	c |     43497 |    3443    21598    73147 | 2147483647    39032     23 |  1.375 % |
7.66/7.71	c |     43673 |    3443    21598    73147 | 2147483647    39208     23 |  1.376 % |
7.66/7.76	c |     43866 |    3443    21598    73147 | 2147483647    39401     23 |  1.375 % |
7.75/7.82	c |     44078 |    3443    21598    73147 | 2147483647    39613     23 |  1.375 % |
7.85/7.90	c |     44311 |    3443    21598    73147 | 2147483647    39846     23 |  1.375 % |
7.85/7.97	c |     44567 |    3443    21598    73147 | 2147483647    40102     23 |  1.375 % |
7.95/8.05	c |     44849 |    3443    21598    73147 | 2147483647    40384     23 |  1.375 % |
8.05/8.13	c |     45160 |    3443    21598    73147 | 2147483647    40695     23 |  1.376 % |
8.15/8.27	c |     45499 |    3443    21598    73147 | 2147483647    41033     23 |  1.404 % |
8.25/8.39	c |     45874 |    3442    21598    73147 | 2147483647    41408     24 |  1.405 % |
8.35/8.47	c |     46283 |    3442    21598    73147 | 2147483647    41817     23 |  1.404 % |
8.55/8.62	c |     46734 |    3442    21598    73147 | 2147483647    42268     24 |  1.404 % |
8.66/8.78	c |     47227 |    3442    21598    73147 | 2147483647    42761     24 |  1.404 % |
8.85/8.96	c |     47769 |    3442    21589    73117 | 2147483647    43295     24 |  1.404 % |
9.05/9.16	c |     48365 |    3442    21589    73117 | 2147483647    43891     24 |  1.404 % |
9.25/9.36	c |     49020 |    3442    21589    73117 | 2147483647    44546     24 |  1.404 % |
9.35/9.40	c |     49120 |    3442    21589    73117 | 2147483647    44646     24 |  1.404 % |
9.35/9.43	c |     49231 |    3442    21589    73117 | 2147483647    44757     24 |  1.404 % |
9.35/9.47	c |     49352 |    3440    21589    73117 | 2147483647    44877     24 |  1.461 % |
9.45/9.51	c |     49486 |    3440    21589    73117 | 2147483647    45011     24 |  1.462 % |
9.45/9.56	c |     49632 |    3440    21589    73117 | 2147483647    45157     24 |  1.461 % |
9.55/9.61	c |     49792 |    3440    21589    73117 | 2147483647    45317     24 |  1.461 % |
9.55/9.67	c |     49969 |    3440    21589    73117 | 2147483647    45494     24 |  1.461 % |
9.65/9.74	c |     50162 |    3440    21589    73117 | 2147483647    45687     24 |  1.461 % |
9.76/9.81	c |     50374 |    3440    21589    73117 | 2147483647    45899     24 |  1.461 % |
9.76/9.88	c |     50607 |    3440    21589    73117 | 2147483647    46132     24 |  1.461 % |
9.86/9.94	c |     50863 |    3440    21589    73117 | 2147483647    46388     24 |  1.462 % |
9.95/10.05	c |     51146 |    3440    21589    73117 | 2147483647    46671     24 |  1.461 % |
10.05/10.13	c |     51456 |    3440    21589    73117 | 2147483647    46981     24 |  1.461 % |
10.15/10.26	c |     51796 |    3440    21589    73117 | 2147483647    47321     24 |  1.462 % |
10.25/10.39	c |     52168 |    3440    21589    73117 | 2147483647    47693     24 |  1.461 % |
10.45/10.57	c |     52577 |    3440    21568    73050 | 2147483647    48090     24 |  1.461 % |
10.65/10.74	c |     53027 |    3440    21568    73050 | 2147483647    48540     24 |  1.462 % |
10.86/10.92	c |     53521 |    3440    21568    73050 | 2147483647    49034     24 |  1.461 % |
11.05/11.13	c |     54064 |    3440    21568    73050 | 2147483647    49577     24 |  1.461 % |
11.25/11.35	c |     54660 |    3440    21568    73050 | 2147483647    50173     24 |  1.461 % |
11.45/11.59	c |     55315 |    3440    21568    73050 | 2147483647    50828     24 |  1.461 % |
11.75/11.85	c |     56035 |    3440    21568    73050 | 2147483647    51548     24 |  1.461 % |
11.75/11.90	c |     56136 |    3440    21568    73050 | 2147483647    51649     24 |  1.461 % |
11.86/11.94	c |     56247 |    3440    21568    73050 | 2147483647    51760     24 |  1.461 % |
11.86/11.98	c |     56368 |    3440    21568    73050 | 2147483647    51881     24 |  1.462 % |
11.96/12.03	c |     56501 |    3440    21568    73050 | 2147483647    52014     24 |  1.461 % |
12.06/12.11	c |     56648 |    3440    21568    73050 | 2147483647    52161     24 |  1.461 % |
12.06/12.15	c |     56812 |    3440    21568    73050 | 2147483647    52325     24 |  1.461 % |
12.06/12.20	c |     56990 |    3440    21568    73050 | 2147483647    52503     24 |  1.461 % |
12.16/12.27	c |     57185 |    3440    21568    73050 | 2147483647    52698     24 |  1.461 % |
12.26/12.36	c |     57397 |    3440    21568    73050 | 2147483647    52910     24 |  1.462 % |
12.36/12.41	c |     57630 |    3440    21568    73050 | 2147483647    53143     24 |  1.462 % |
12.36/12.47	c |     57887 |    3440    21568    73050 | 2147483647    53400     24 |  1.461 % |
12.46/12.57	c |     58168 |    3440    21568    73050 | 2147483647    53681     24 |  1.462 % |
12.56/12.69	c |     58479 |    3440    21568    73050 | 2147483647    53992     24 |  1.461 % |
12.76/12.83	c |     58818 |    3440    21568    73050 | 2147483647    54331     24 |  1.461 % |
12.86/12.99	c |     59190 |    3439    21558    73019 | 2147483647    54691     24 |  1.490 % |
13.06/13.13	c |     59599 |    3439    21558    73019 | 2147483647    55100     24 |  1.490 % |
13.25/13.34	c |     60049 |    3439    21558    73019 | 2147483647    55550     24 |  1.490 % |
13.45/13.56	c |     60542 |    3439    21558    73019 | 2147483647    56043     25 |  1.491 % |
13.65/13.79	c |     61085 |    3439    21558    73019 | 2147483647    56586     24 |  1.490 % |
13.95/14.06	c |     61684 |    3439    21558    73019 | 2147483647    57185     25 |  1.490 % |
14.16/14.27	c |     62341 |    3439    21558    73019 | 2147483647    57842     24 |  1.490 % |
14.55/14.61	c |     63061 |    3439    21558    73019 | 2147483647    58562     24 |  1.490 % |
14.85/14.97	c |     63853 |    3439    21558    73019 | 2147483647    59354     25 |  1.491 % |
14.95/15.02	c |     63953 |    3439    21558    73019 | 2147483647    59454     25 |  1.490 % |
14.95/15.07	c |     64063 |    3439    21558    73019 | 2147483647    59564     25 |  1.490 % |
15.05/15.13	c |     64184 |    3439    21558    73019 | 2147483647    59685     25 |  1.490 % |
15.15/15.20	c |     64317 |    3439    21558    73019 | 2147483647    59818     25 |  1.490 % |
15.15/15.26	c |     64463 |    3439    21558    73019 | 2147483647    59964     25 |  1.490 % |
15.25/15.35	c |     64625 |    3439    21558    73019 | 2147483647    60126     25 |  1.490 % |
15.25/15.40	c |     64802 |    3439    21558    73019 | 2147483647    60303     24 |  1.490 % |
15.35/15.46	c |     64995 |    3439    21558    73019 | 2147483647    60496     25 |  1.490 % |
15.45/15.54	c |     65207 |    3439    21558    73019 | 2147483647    60708     25 |  1.490 % |
15.55/15.64	c |     65440 |    3439    21558    73019 | 2147483647    60941     25 |  1.490 % |
15.66/15.74	c |     65696 |    3439    21558    73019 | 2147483647    61197     25 |  1.490 % |
15.76/15.86	c |     65978 |    3439    21558    73019 | 2147483647    61479     25 |  1.490 % |
15.96/16.04	c |     66289 |    3439    21558    73019 | 2147483647    61790     25 |  1.490 % |
16.15/16.21	c |     66629 |    3439    21558    73019 | 2147483647    62130     25 |  1.490 % |
16.25/16.37	c |     67001 |    3439    21558    73019 | 2147483647    62502     25 |  1.490 % |
16.46/16.58	c |     67412 |    3439    21558    73019 | 2147483647    62913     25 |  1.491 % |
16.65/16.77	c |     67864 |    3439    21558    73019 | 2147483647    63365     25 |  1.490 % |
16.95/17.00	c |     68357 |    3439    21558    73019 | 2147483647    63858     25 |  1.490 % |
17.15/17.22	c |     68899 |    3439    21558    73019 | 2147483647    64400     25 |  1.490 % |
17.35/17.46	c |     69495 |    3439    21558    73019 | 2147483647    64996     25 |  1.490 % |
17.56/17.69	c |     70150 |    3439    21558    73019 | 2147483647    65651     25 |  1.490 % |
17.95/18.01	c |     70870 |    3439    21558    73019 | 2147483647    66371     25 |  1.491 % |
18.35/18.41	c |     71663 |    3439    21558    73019 | 2147483647    67164     25 |  1.490 % |
18.75/18.82	c |     72535 |    3439    21558    73019 | 2147483647    68036     25 |  1.490 % |
18.75/18.89	c |     72636 |    3439    21558    73019 | 2147483647    68137     25 |  1.490 % |
18.85/18.97	c |     72746 |    3439    21558    73019 | 2147483647    68247     25 |  1.490 % |
18.95/19.02	c |     72868 |    3439    21558    73019 | 2147483647    68369     25 |  1.490 % |
18.95/19.09	c |     73001 |    3439    21558    73019 | 2147483647    68502     25 |  1.490 % |
19.15/19.20	c |     73148 |    3439    21558    73019 | 2147483647    68649     25 |  1.490 % |
19.25/19.30	c |     73308 |    3439    21558    73019 | 2147483647    68809     25 |  1.490 % |
19.35/19.41	c |     73484 |    3439    21558    73019 | 2147483647    68985     25 |  1.490 % |
19.45/19.53	c |     73678 |    3439    21558    73019 | 2147483647    69179     25 |  1.490 % |
19.55/19.65	c |     73892 |    3439    21558    73019 | 2147483647    69393     25 |  1.490 % |
19.66/19.76	c |     74125 |    3439    21558    73019 | 2147483647    69626     25 |  1.490 % |
19.76/19.89	c |     74382 |    3439    21558    73019 | 2147483647    69883     25 |  1.490 % |
19.95/20.00	c |     74664 |    3439    21558    73019 | 2147483647    70165     25 |  1.490 % |
20.05/20.16	c |     74973 |    3439    21558    73019 | 2147483647    70474     25 |  1.490 % |
20.25/20.34	c |     75312 |    3439    21558    73019 | 2147483647    70813     25 |  1.490 % |
20.45/20.55	c |     75685 |    3439    21558    73019 | 2147483647    71186     25 |  1.490 % |
20.65/20.72	c |     76095 |    3439    21558    73019 | 2147483647    71596     25 |  1.490 % |
20.85/20.96	c |     76545 |    3439    21558    73019 | 2147483647    72046     25 |  1.490 % |
21.15/21.25	c |     77040 |    3439    21558    73019 | 2147483647    72541     25 |  1.490 % |
21.45/21.58	c |     77582 |    3439    21558    73019 | 2147483647    73083     25 |  1.491 % |
21.85/21.91	c |     78178 |    3439    21558    73019 | 2147483647    73679     25 |  1.490 % |
22.15/22.25	c |     78833 |    3439    21558    73019 | 2147483647    74334     25 |  1.491 % |
22.55/22.67	c |     79553 |    3439    21558    73019 | 2147483647    75054     25 |  1.490 % |
23.05/23.15	c |     80346 |    3439    21558    73019 |    75501    75847     25 |  1.490 % |
23.65/23.79	c |     81218 |    3438    21552    73001 |    75501    65279     24 |  1.519 % |
24.15/24.26	c |     82177 |    3438    21552    73001 |    75501    66238     24 |  1.519 % |
24.25/24.30	c |     82277 |    3438    21552    73001 |    75501    66338     24 |  1.518 % |
24.25/24.36	c |     82388 |    3438    21552    73001 |    75501    66449     24 |  1.518 % |
24.25/24.39	c |     82509 |    3438    21552    73001 |    75501    66570     24 |  1.518 % |
24.35/24.49	c |     82642 |    3438    21552    73001 |    75501    66703     24 |  1.519 % |
24.45/24.57	c |     82789 |    3438    21552    73001 |    75501    66850     24 |  1.519 % |
24.55/24.65	c |     82950 |    3438    21552    73001 |    75501    67011     24 |  1.519 % |
24.65/24.78	c |     83127 |    3438    21552    73001 |    75501    67188     24 |  1.519 % |
24.85/24.91	c |     83320 |    3438    21552    73001 |    75501    67381     24 |  1.519 % |
24.95/25.05	c |     83533 |    3438    21552    73001 |    75501    67594     24 |  1.519 % |
25.15/25.22	c |     83766 |    3438    21552    73001 |    75501    67827     24 |  1.519 % |
25.25/25.36	c |     84023 |    3438    21552    73001 |    75501    68084     24 |  1.519 % |
25.45/25.52	c |     84306 |    3438    21552    73001 |    75501    68367     24 |  1.519 % |
25.65/25.70	c |     84617 |    3438    21552    73001 |    75501    68678     24 |  1.519 % |
25.75/25.87	c |     84956 |    3438    21552    73001 |    75501    69017     24 |  1.518 % |
25.95/26.03	c |     85329 |    3438    21552    73001 |    75501    69390     24 |  1.519 % |
26.15/26.23	c |     85739 |    3438    21552    73001 |    75501    69800     24 |  1.520 % |
26.35/26.48	c |     86190 |    3438    21552    73001 |    75501    70251     24 |  1.519 % |
26.65/26.78	c |     86683 |    3438    21552    73001 |    75501    70744     24 |  1.519 % |
27.05/27.12	c |     87225 |    3438    21552    73001 |    75501    71285     24 |  1.547 % |
27.35/27.42	c |     87821 |    3438    21552    73001 |    75501    71881     24 |  1.548 % |
27.65/27.78	c |     88478 |    3438    21552    73001 |    75501    72538     24 |  1.548 % |
28.05/28.19	c |     89198 |    3437    21544    72977 |    75501    73255     24 |  1.547 % |
28.55/28.61	c |     89990 |    3437    21544    72977 |    75501    74047     24 |  1.548 % |
29.05/29.15	c |     90862 |    3437    21544    72977 |    74058    74919     24 |  1.547 % |
29.75/29.80	c |     91820 |    3437    21544    72977 |    74058    63037     23 |  1.548 % |
30.25/30.32	c |     92873 |    3437    21544    72977 |    74058    64090     23 |  1.548 % |
30.25/30.38	c |     92973 |    3437    21544    72977 |    74058    64190     23 |  1.547 % |
30.35/30.43	c |     93083 |    3437    21544    72977 |    74058    64300     23 |  1.547 % |
30.35/30.49	c |     93204 |    3437    21544    72977 |    74058    64421     23 |  1.547 % |
30.45/30.56	c |     93337 |    3437    21544    72977 |    74058    64554     23 |  1.547 % |
30.55/30.64	c |     93485 |    3437    21544    72977 |    74058    64702     23 |  1.547 % |
30.65/30.71	c |     93645 |    3437    21544    72977 |    74058    64862     23 |  1.547 % |
30.65/30.78	c |     93821 |    3437    21544    72977 |    74058    65038     23 |  1.547 % |
30.75/30.88	c |     94014 |    3437    21544    72977 |    74058    65231     23 |  1.547 % |
30.95/31.00	c |     94226 |    3437    21544    72977 |    74058    65443     23 |  1.548 % |
31.05/31.13	c |     94461 |    3437    21544    72977 |    74058    65678     23 |  1.548 % |
31.15/31.28	c |     94717 |    3437    21544    72977 |    74058    65934     23 |  1.547 % |
31.35/31.44	c |     94998 |    3437    21544    72977 |    74058    66215     23 |  1.548 % |
31.55/31.61	c |     95309 |    3437    21544    72977 |    74058    66526     23 |  1.548 % |
31.75/31.83	c |     95648 |    3437    21544    72977 |    74058    66865     23 |  1.547 % |
31.94/32.05	c |     96020 |    3437    21544    72977 |    74058    67237     23 |  1.548 % |
32.24/32.32	c |     96429 |    3437    21544    72977 |    74058    67646     23 |  1.548 % |
32.44/32.59	c |     96878 |    3437    21544    72977 |    74058    68095     23 |  1.547 % |
32.74/32.81	c |     97371 |    3437    21544    72977 |    74058    68588     23 |  1.548 % |
33.04/33.11	c |     97913 |    3437    21544    72977 |    74058    69130     23 |  1.547 % |
33.34/33.41	c |     98509 |    3437    21544    72977 |    74058    69726     23 |  1.547 % |
33.64/33.80	c |     99164 |    3437    21544    72977 |    74058    70381     23 |  1.548 % |
34.14/34.21	c |     99884 |    3437    21544    72977 |    74058    71101     23 |  1.547 % |
34.54/34.65	c |    100677 |    3437    21544    72977 |    71217    71894     23 |  1.547 % |
35.15/35.27	c |    101548 |    3437    21544    72977 |    71217    59758     22 |  1.547 % |
35.64/35.77	c |    102507 |    3437    21544    72977 |    71217    60717     22 |  1.547 % |
36.15/36.23	c |    103561 |    3437    21544    72977 |    71217    61771     22 |  1.548 % |
36.74/36.87	c |    104719 |    3436    21535    72947 |    71217    62922     22 |  1.576 % |
36.84/36.93	c |    104819 |    3436    21535    72947 |    71217    63022     22 |  1.576 % |
36.84/36.96	c |    104930 |    3436    21535    72947 |    71217    63133     22 |  1.576 % |
36.94/37.03	c |    105052 |    3436    21535    72947 |    71217    63255     22 |  1.576 % |
37.04/37.14	c |    105187 |    3436    21535    72947 |    71217    63390     22 |  1.576 % |
37.14/37.24	c |    105333 |    3436    21535    72947 |    71217    63536     22 |  1.576 % |
37.25/37.31	c |    105493 |    3436    21535    72947 |    71217    63696     22 |  1.576 % |
37.35/37.40	c |    105670 |    3436    21535    72947 |    71217    63873     22 |  1.576 % |
37.44/37.52	c |    105864 |    3436    21535    72947 |    71217    64067     22 |  1.576 % |
37.54/37.62	c |    106076 |    3436    21535    72947 |    71217    64279     22 |  1.576 % |
37.64/37.77	c |    106311 |    3436    21535    72947 |    71217    64514     22 |  1.576 % |
37.84/37.90	c |    106569 |    3436    21535    72947 |    71217    64772     22 |  1.577 % |
37.95/38.05	c |    106850 |    3436    21535    72947 |    71217    65053     22 |  1.576 % |
38.15/38.20	c |    107159 |    3436    21535    72947 |    71217    65362     22 |  1.576 % |
38.25/38.35	c |    107498 |    3436    21535    72947 |    71217    65701     22 |  1.576 % |
38.45/38.51	c |    107870 |    3436    21535    72947 |    71217    66073     22 |  1.576 % |
38.65/38.74	c |    108281 |    3436    21535    72947 |    71217    66484     22 |  1.576 % |
38.85/38.97	c |    108731 |    3436    21535    72947 |    71217    66934     22 |  1.576 % |
39.15/39.22	c |    109224 |    3436    21535    72947 |    71217    67427     22 |  1.576 % |
39.45/39.53	c |    109766 |    3436    21535    72947 |    71217    67969     22 |  1.576 % |
39.75/39.88	c |    110363 |    3436    21535    72947 |    68203    68566     22 |  1.576 % |
40.25/40.32	c |    111018 |    3436    21535    72947 |    68203    57460     22 |  1.576 % |
40.65/40.71	c |    111741 |    3436    21535    72947 |    68203    58183     22 |  1.576 % |
41.05/41.11	c |    112534 |    3435    21526    72917 |    68203    58975     22 |  1.605 % |
41.35/41.48	c |    113407 |    3435    21526    72917 |    68203    59848     22 |  1.605 % |
41.75/41.90	c |    114367 |    3435    21526    72917 |    68203    60808     22 |  1.606 % |
42.25/42.35	c |    115422 |    3435    21526    72917 |    68203    61863     22 |  1.605 % |
42.75/42.85	c |    116580 |    3435    21526    72917 |    68203    63021     22 |  1.605 % |
43.45/43.59	c |    117854 |    3435    21526    72917 |    68203    64295     22 |  1.605 % |
43.55/43.65	c |    117954 |    3435    21526    72917 |    68203    64395     22 |  1.605 % |
43.65/43.71	c |    118064 |    3435    21526    72917 |    68203    64505     22 |  1.604 % |
43.65/43.77	c |    118187 |    3435    21526    72917 |    68203    64628     22 |  1.605 % |
43.75/43.84	c |    118322 |    3435    21526    72917 |    68203    64763     22 |  1.605 % |
43.85/43.91	c |    118468 |    3435    21526    72917 |    68203    64909     22 |  1.604 % |
43.85/44.00	c |    118632 |    3435    21526    72917 |    68203    65073     22 |  1.604 % |
43.95/44.08	c |    118808 |    3435    21526    72917 |    68203    65249     22 |  1.604 % |
44.15/44.21	c |    119002 |    3435    21526    72917 |    68203    65443     22 |  1.605 % |
44.25/44.37	c |    119216 |    3435    21526    72917 |    68203    65657     22 |  1.606 % |
44.45/44.50	c |    119449 |    3435    21526    72917 |    68203    65890     22 |  1.605 % |
44.55/44.63	c |    119705 |    3435    21526    72917 |    68203    66146     22 |  1.605 % |
44.65/44.76	c |    119986 |    3435    21526    72917 |    68203    66427     22 |  1.605 % |
44.85/44.90	c |    120296 |    3435    21526    72917 |    66441    66737     22 |  1.605 % |
45.15/45.29	c |    120635 |    3435    21526    72917 |    66441    56827     21 |  1.605 % |
45.35/45.48	c |    121007 |    3435    21526    72917 |    66441    57199     21 |  1.606 % |
45.65/45.74	c |    121416 |    3435    21526    72917 |    66441    57608     21 |  1.605 % |
45.95/46.03	c |    121866 |    3435    21526    72917 |    66441    58058     21 |  1.605 % |
46.15/46.29	c |    122359 |    3435    21526    72917 |    66441    58551     21 |  1.604 % |
46.45/46.53	c |    122902 |    3435    21526    72917 |    66441    59094     21 |  1.605 % |
46.65/46.72	c |    123501 |    3435    21526    72917 |    66441    59693     21 |  1.605 % |
47.15/47.20	c |    124158 |    3435    21526    72917 |    66441    60350     22 |  1.606 % |
47.45/47.52	c |    124878 |    3435    21526    72917 |    66441    61070     22 |  1.605 % |
47.65/47.79	c |    125671 |    3435    21526    72917 |    66441    61863     22 |  1.605 % |
47.94/48.08	c |    126542 |    3435    21526    72917 |    66441    62734     22 |  1.605 % |
48.54/48.61	c |    127501 |    3435    21526    72917 |    66441    63693     22 |  1.605 % |
49.04/49.17	c |    128554 |    3435    21526    72917 |    66441    64746     22 |  1.605 % |
49.74/49.82	c |    129712 |    3434    21519    72893 |    66441    65900     22 |  1.633 % |
50.64/50.71	c |    130986 |    3434    21519    72893 |    66188    57020     21 |  1.634 % |
51.24/51.31	c |    132386 |    3433    21519    72893 |    66188    58419     21 |  1.661 % |
51.24/51.33	c |    132487 |    3433    21519    72893 |    66188    58520     21 |  1.661 % |
51.24/51.38	c |    132597 |    3433    21519    72893 |    66188    58630     21 |  1.662 % |
51.34/51.42	c |    132718 |    3433    21519    72893 |    66188    58751     21 |  1.663 % |
51.34/51.47	c |    132851 |    3433    21519    72893 |    66188    58884     21 |  1.662 % |
51.44/51.54	c |    132997 |    3433    21519    72893 |    66188    59030     21 |  1.661 % |
51.55/51.65	c |    133157 |    3433    21519    72893 |    66188    59190     21 |  1.662 % |
51.65/51.74	c |    133333 |    3433    21519    72893 |    66188    59366     21 |  1.661 % |
51.74/51.85	c |    133527 |    3433    21519    72893 |    66188    59560     21 |  1.663 % |
51.84/51.96	c |    133740 |    3433    21519    72893 |    66188    59773     21 |  1.662 % |
51.94/52.09	c |    133973 |    3433    21519    72893 |    66188    60006     21 |  1.662 % |
52.14/52.24	c |    134230 |    3433    21519    72893 |    66188    60263     21 |  1.662 % |
52.24/52.40	c |    134512 |    3433    21519    72893 |    66188    60545     21 |  1.662 % |
52.54/52.63	c |    134821 |    3433    21519    72893 |    66188    60854     21 |  1.662 % |
52.75/52.81	c |    135161 |    3433    21519    72893 |    66188    61194     21 |  1.663 % |
52.94/53.00	c |    135534 |    3433    21519    72893 |    66188    61567     21 |  1.662 % |
53.14/53.21	c |    135943 |    3433    21519    72893 |    66188    61976     21 |  1.663 % |
53.34/53.40	c |    136393 |    3433    21519    72893 |    66188    62426     21 |  1.662 % |
53.54/53.68	c |    136889 |    3433    21506    72850 |    66188    62916     21 |  1.662 % |
53.85/53.96	c |    137433 |    3433    21506    72850 |    66188    63460     21 |  1.663 % |
54.14/54.22	c |    138030 |    3433    21506    72850 |    66188    64057     21 |  1.661 % |
54.34/54.48	c |    138686 |    3433    21506    72850 |    66188    64713     21 |  1.662 % |
54.74/54.85	c |    139407 |    3432    21506    72850 |    66188    65433     21 |  1.690 % |
55.04/55.18	c |    140200 |    3432    21506    72850 |    66028    66226     21 |  1.691 % |
55.44/55.57	c |    141071 |    3432    21506    72850 |    66028    60166     21 |  1.690 % |
56.05/56.15	c |    142029 |    3432    21506    72850 |    66028    61124     21 |  1.691 % |
56.54/56.62	c |    143082 |    3432    21506    72850 |    66028    62177     21 |  1.691 % |
57.24/57.36	c |    144240 |    3432    21498    72826 |    66028    63332     21 |  1.691 % |
57.94/58.04	c |    145514 |    3432    21498    72826 |    66028    64606     21 |  1.692 % |
58.84/58.94	c |    146914 |    3432    21498    72826 |    66028    66006     21 |  1.692 % |
59.84/59.93	c |    148454 |    3432    21498    72826 |    66028    58466     21 |  1.691 % |
59.94/60.00	c |    148555 |    3432    21498    72826 |    66028    58567     21 |  1.692 % |
59.94/60.05	c |    148665 |    3432    21498    72826 |    66028    58677     21 |  1.691 % |
60.04/60.12	c |    148786 |    3432    21498    72826 |    66028    58798     21 |  1.690 % |
60.14/60.20	c |    148920 |    3432    21498    72826 |    66028    58932     21 |  1.690 % |
60.24/60.31	c |    149068 |    3431    21488    72793 |    66028    59077     21 |  1.720 % |
60.34/60.42	c |    149230 |    3431    21488    72793 |    66028    59239     21 |  1.719 % |
60.44/60.52	c |    149407 |    3431    21488    72793 |    66028    59416     21 |  1.719 % |
60.54/60.62	c |    149602 |    3431    21488    72793 |    66028    59611     21 |  1.720 % |
60.64/60.73	c |    149815 |    3431    21488    72793 |    66028    59824     21 |  1.720 % |
60.74/60.85	c |    150049 |    3431    21488    72793 |    60009    60058     21 |  1.720 % |
60.94/61.00	c |    150305 |    3431    21488    72793 |    60009    60314     21 |  1.719 % |
61.14/61.27	c |    150586 |    3431    21488    72793 |    60009    52021     20 |  1.719 % |
61.34/61.44	c |    150896 |    3431    21488    72793 |    60009    52331     20 |  1.720 % |
61.44/61.57	c |    151235 |    3431    21488    72793 |    60009    52670     20 |  1.720 % |
61.64/61.70	c |    151607 |    3431    21488    72793 |    60009    53042     20 |  1.719 % |
61.74/61.84	c |    152017 |    3431    21488    72793 |    60009    53452     20 |  1.719 % |
61.94/62.05	c |    152466 |    3431    21488    72793 |    60009    53901     20 |  1.719 % |
62.14/62.27	c |    152961 |    3431    21488    72793 |    60009    54396     20 |  1.719 % |
62.44/62.51	c |    153504 |    3431    21488    72793 |    60009    54939     21 |  1.719 % |
62.74/62.83	c |    154100 |    3431    21488    72793 |    60009    55535     21 |  1.719 % |
63.04/63.10	c |    154755 |    3430    21488    72793 |    60009    56189     21 |  1.748 % |
63.24/63.36	c |    155475 |    3430    21488    72793 |    60009    56909     21 |  1.748 % |
63.64/63.71	c |    156268 |    3430    21455    72671 |    60009    57700     21 |  1.748 % |
64.04/64.14	c |    157141 |    3430    21455    72671 |    60009    58573     21 |  1.748 % |
64.54/64.64	c |    158099 |    3430    21455    72671 |    60009    59531     21 |  1.748 % |
65.14/65.26	c |    159152 |    3430    21455    72671 |    60009    60584     21 |  1.748 % |
65.84/65.96	c |    160310 |    3430    21455    72671 |    54363    54672     20 |  1.748 % |
66.54/66.62	c |    161583 |    3430    21455    72671 |    54363    49652     20 |  1.747 % |
67.14/67.29	c |    162985 |    3430    21455    72671 |    54363    51054     20 |  1.748 % |
67.74/67.86	c |    164526 |    3430    21455    72671 |    54363    52595     20 |  1.747 % |
68.34/68.43	c |    166224 |    3430    21455    72671 |    54363    54293     20 |  1.748 % |
68.34/68.47	c |    166326 |    3430    21455    72671 |    54363    54395     20 |  1.747 % |
68.44/68.51	c |    166437 |    3430    21455    72671 |    54363    54506     20 |  1.748 % |
68.64/68.71	c |    166559 |    3430    21455    72671 |    54363    49178     20 |  1.747 % |
68.64/68.78	c |    166692 |    3430    21455    72671 |    54363    49311     20 |  1.748 % |
68.74/68.85	c |    166838 |    3430    21455    72671 |    54363    49457     20 |  1.747 % |
68.84/68.91	c |    167000 |    3430    21455    72671 |    54363    49619     20 |  1.748 % |
68.84/68.97	c |    167176 |    3430    21455    72671 |    54363    49795     20 |  1.748 % |
68.94/69.04	c |    167369 |    3430    21455    72671 |    54363    49988     20 |  1.748 % |
69.04/69.12	c |    167582 |    3430    21455    72671 |    54363    50201     20 |  1.748 % |
69.14/69.22	c |    167817 |    3430    21455    72671 |    54363    50436     20 |  1.749 % |
69.24/69.31	c |    168073 |    3430    21455    72671 |    54363    50692     20 |  1.747 % |
69.34/69.46	c |    168355 |    3430    21455    72671 |    54363    50974     20 |  1.749 % |
69.54/69.61	c |    168665 |    3430    21455    72671 |    54363    51284     20 |  1.748 % |
69.64/69.78	c |    169004 |    3430    21455    72671 |    54363    51623     20 |  1.748 % |
69.84/69.94	c |    169376 |    3430    21455    72671 |    54363    51995     20 |  1.749 % |
69.94/70.08	c |    169787 |    3430    21455    72671 |    54363    52406     20 |  1.748 % |
70.14/70.25	c |    170239 |    3430    21455    72671 | 2147483647    52858     20 |  1.748 % |
70.34/70.42	c |    170734 |    3430    21455    72671 | 2147483647    53353     20 |  1.749 % |
70.54/70.62	c |    171277 |    3430    21455    72671 | 2147483647    53896     21 |  1.747 % |
70.74/70.84	c |    171873 |    3430    21455    72671 | 2147483647    54492     21 |  1.748 % |
71.04/71.15	c |    172529 |    3430    21455    72671 | 2147483647    55148     21 |  1.748 % |
71.44/71.51	c |    173249 |    3429    21447    72647 | 2147483647    55867     21 |  1.778 % |
71.84/71.90	c |    174043 |    3429    21447    72647 | 2147483647    56661     21 |  1.777 % |
72.24/72.37	c |    174914 |    3429    21447    72647 | 2147483647    57532     21 |  1.776 % |
72.74/72.83	c |    175872 |    3429    21447    72647 | 2147483647    58490     21 |  1.776 % |
73.24/73.36	c |    176925 |    3429    21447    72647 | 2147483647    59543     21 |  1.776 % |
73.84/73.96	c |    178084 |    3429    21447    72647 | 2147483647    60702     21 |  1.776 % |
74.54/74.65	c |    179359 |    3429    21447    72647 | 2147483647    61977     21 |  1.777 % |
75.24/75.30	c |    180759 |    3429    21447    72647 | 2147483647    63377     21 |  1.776 % |
75.94/76.07	c |    182299 |    3429    21447    72647 | 2147483647    64917     21 |  1.776 % |
76.84/76.94	c |    183994 |    3429    21447    72647 | 2147483647    66612     21 |  1.776 % |
77.74/77.88	c |    185858 |    3429    21447    72647 | 2147483647    68476     21 |  1.776 % |
77.84/77.95	c |    185958 |    3429    21447    72647 | 2147483647    68576     21 |  1.776 % |
77.94/78.01	c |    186068 |    3429    21447    72647 | 2147483647    68686     21 |  1.778 % |
77.94/78.10	c |    186189 |    3429    21447    72647 | 2147483647    68807     21 |  1.776 % |
78.04/78.18	c |    186324 |    3429    21447    72647 | 2147483647    68942     21 |  1.777 % |
78.14/78.26	c |    186470 |    3429    21447    72647 | 2147483647    69088     21 |  1.776 % |
78.24/78.35	c |    186630 |    3429    21447    72647 | 2147483647    69248     21 |  1.776 % |
78.34/78.44	c |    186806 |    3429    21447    72647 | 2147483647    69424     21 |  1.776 % |
78.44/78.56	c |    186999 |    3429    21447    72647 | 2147483647    69617     21 |  1.776 % |
78.54/78.67	c |    187211 |    3429    21447    72647 | 2147483647    69829     21 |  1.776 % |
78.64/78.77	c |    187446 |    3429    21447    72647 | 2147483647    70064     21 |  1.776 % |
78.74/78.88	c |    187702 |    3429    21447    72647 | 2147483647    70320     21 |  1.776 % |
78.94/79.01	c |    187984 |    3429    21447    72647 | 2147483647    70602     21 |  1.776 % |
79.04/79.16	c |    188294 |    3429    21447    72647 | 2147483647    70912     21 |  1.778 % |
79.34/79.42	c |    188633 |    3428    21439    72623 | 2147483647    71249     21 |  1.805 % |
79.54/79.64	c |    189007 |    3428    21439    72623 | 2147483647    71623     21 |  1.805 % |
79.74/79.85	c |    189418 |    3428    21439    72623 | 2147483647    72034     21 |  1.805 % |
80.03/80.18	c |    189867 |    3428    21439    72623 | 2147483647    72482     21 |  1.834 % |
80.33/80.45	c |    190360 |    3428    21439    72623 |    72615    72975     21 |  1.833 % |
80.93/81.01	c |    190902 |    3428    21439    72623 |    72615    62704     21 |  1.834 % |
81.13/81.26	c |    191499 |    3428    21439    72623 |    72615    63301     21 |  1.834 % |
81.43/81.50	c |    192154 |    3428    21439    72623 |    72615    63956     21 |  1.834 % |
81.73/81.81	c |    192874 |    3428    21439    72623 |    72615    64676     21 |  1.835 % |
81.93/82.08	c |    193666 |    3428    21439    72623 |    72615    65468     21 |  1.834 % |
82.34/82.44	c |    194537 |    3428    21439    72623 |    72615    66339     22 |  1.833 % |
82.83/82.96	c |    195495 |    3428    21439    72623 |    72615    67297     22 |  1.834 % |
83.44/83.55	c |    196550 |    3428    21439    72623 |    72615    68352     22 |  1.834 % |
84.13/84.25	c |    197710 |    3427    21430    72593 |    72615    69511     22 |  1.834 % |
84.93/85.03	c |    198983 |    3427    21430    72593 |    72615    70784     22 |  1.833 % |
85.74/85.89	c |    200383 |    3427    21430    72593 |    71804    72184     21 |  1.833 % |
86.93/87.04	c |    201923 |    3427    21430    72593 |    71804    61867     21 |  1.834 % |
88.03/88.15	c |    203618 |    3427    21430    72593 |    71804    63562     21 |  1.834 % |
89.13/89.29	c |    205482 |    3427    21430    72593 |    71804    65426     21 |  1.834 % |
90.13/90.23	c |    207531 |    3427    21430    72593 |    71804    67475     21 |  1.834 % |
90.13/90.29	c |    207632 |    3427    21430    72593 |    71804    67576     21 |  1.834 % |
90.23/90.33	c |    207742 |    3427    21430    72593 |    71804    67686     21 |  1.833 % |
90.23/90.36	c |    207865 |    3427    21430    72593 |    71804    67809     21 |  1.834 % |
90.33/90.42	c |    207999 |    3427    21430    72593 |    71804    67943     21 |  1.834 % |
90.33/90.49	c |    208145 |    3427    21430    72593 |    71804    68089     21 |  1.834 % |
90.43/90.53	c |    208305 |    3427    21430    72593 |    71804    68249     21 |  1.834 % |
90.53/90.64	c |    208481 |    3427    21430    72593 |    71804    68425     21 |  1.834 % |
90.73/90.81	c |    208674 |    3426    21422    72569 |    71804    68615     21 |  1.862 % |
90.83/90.90	c |    208887 |    3426    21422    72569 |    71804    68828     21 |  1.863 % |
90.93/91.01	c |    209121 |    3426    21422    72569 |    71804    69062     21 |  1.862 % |
91.03/91.12	c |    209377 |    3426    21422    72569 |    71804    69318     21 |  1.863 % |
91.13/91.26	c |    209659 |    3426    21422    72569 |    71804    69600     21 |  1.863 % |
91.33/91.41	c |    209968 |    3426    21422    72569 |    71804    69909     21 |  1.863 % |
91.43/91.58	c |    210307 |    3426    21422    72569 |    69941    70248     21 |  1.862 % |
91.83/91.92	c |    210679 |    3426    21422    72569 |    69941    60270     21 |  1.863 % |
92.03/92.11	c |    211090 |    3426    21422    72569 |    69941    60681     21 |  1.862 % |
92.23/92.39	c |    211540 |    3426    21422    72569 |    69941    61131     21 |  1.862 % |
92.53/92.68	c |    212033 |    3426    21422    72569 |    69941    61624     21 |  1.863 % |
92.93/93.01	c |    212576 |    3426    21422    72569 |    69941    62167     21 |  1.863 % |
93.24/93.34	c |    213173 |    3426    21422    72569 |    69941    62764     21 |  1.862 % |
93.44/93.56	c |    213828 |    3426    21422    72569 |    69941    63419     21 |  1.862 % |
93.74/93.87	c |    214549 |    3426    21422    72569 |    69941    64140     21 |  1.862 % |
94.04/94.18	c |    215342 |    3426    21422    72569 |    69941    64933     21 |  1.862 % |
94.54/94.67	c |    216213 |    3426    21422    72569 |    69941    65804     21 |  1.862 % |
94.84/94.97	c |    217172 |    3426    21422    72569 |    69941    66763     21 |  1.863 % |
95.34/95.42	c |    218226 |    3426    21422    72569 |    69941    67817     21 |  1.862 % |
95.84/95.92	c |    219384 |    3426    21422    72569 |    69941    68975     22 |  1.862 % |
96.44/96.51	c |    220659 |    3426    21422    72569 |    69593    70250     22 |  1.862 % |
97.24/97.39	c |    222060 |    3426    21422    72569 |    69593    63825     21 |  1.862 % |
98.04/98.17	c |    223601 |    3426    21422    72569 |    69593    65366     21 |  1.862 % |
98.84/98.94	c |    225295 |    3426    21422    72569 |    69593    67060     21 |  1.863 % |
99.53/99.69	c |    227158 |    3426    21422    72569 |    69593    68923     21 |  1.862 % |
101.04/101.18	c |    229207 |    3426    21422    72569 |    69593    62935     21 |  1.862 % |
102.43/102.51	c |    231460 |    3425    21414    72545 |    63726    56946     21 |  1.891 % |
102.43/102.56	c |    231560 |    3425    21414    72545 |    63726    57046     21 |  1.891 % |
102.53/102.62	c |    231671 |    3425    21414    72545 |    63726    57157     21 |  1.891 % |
102.53/102.68	c |    231792 |    3425    21414    72545 |    63726    57278     21 |  1.891 % |
102.63/102.76	c |    231925 |    3425    21414    72545 |    63726    57411     21 |  1.891 % |
102.73/102.82	c |    232072 |    3425    21414    72545 |    63726    57558     21 |  1.891 % |
102.73/102.90	c |    232233 |    3425    21414    72545 |    63726    57719     21 |  1.892 % |
102.83/102.98	c |    232409 |    3425    21414    72545 |    63726    57895     21 |  1.892 % |
102.93/103.08	c |    232603 |    3425    21414    72545 |    63726    58089     21 |  1.891 % |
103.03/103.17	c |    232816 |    3425    21414    72545 |    63726    58302     21 |  1.892 % |
103.24/103.30	c |    233050 |    3425    21414    72545 |    63726    58536     21 |  1.891 % |
103.34/103.42	c |    233308 |    3425    21414    72545 |    63726    58794     21 |  1.891 % |
103.43/103.58	c |    233589 |    3425    21414    72545 |    63726    59075     21 |  1.892 % |
103.63/103.72	c |    233899 |    3425    21414    72545 |    63726    59385     21 |  1.891 % |
103.83/103.90	c |    234241 |    3425    21414    72545 |    63726    59727     21 |  1.892 % |
104.03/104.12	c |    234614 |    3425    21414    72545 |    63726    60100     21 |  1.892 % |
104.23/104.34	c |    235023 |    3425    21414    72545 |    63726    60509     21 |  1.891 % |
104.44/104.57	c |    235472 |    3425    21414    72545 |    63726    60958     21 |  1.891 % |
104.73/104.85	c |    235966 |    3425    21414    72545 |    63726    61452     21 |  1.891 % |
105.03/105.18	c |    236509 |    3425    21414    72545 |    63726    61995     21 |  1.891 % |
105.33/105.45	c |    237107 |    3425    21414    72545 |    63726    62593     21 |  1.891 % |
105.63/105.79	c |    237762 |    3425    21414    72545 |    63726    63248     21 |  1.891 % |
106.03/106.13	c |    238486 |    3425    21414    72545 |    63726    63972     21 |  1.891 % |
106.54/106.69	c |    239279 |    3424    21404    72512 |    63726    57597     21 |  1.920 % |
106.93/107.07	c |    240150 |    3424    21404    72512 |    58318    58468     21 |  1.919 % |
107.53/107.61	c |    241109 |    3424    21404    72512 |    58318    53252     21 |  1.920 % |
107.93/108.09	c |    242162 |    3424    21404    72512 |    58318    54305     21 |  1.920 % |
108.43/108.53	c |    243320 |    3424    21404    72512 |    58318    55463     21 |  1.920 % |
109.03/109.13	c |    244593 |    3424    21404    72512 |    58318    56736     21 |  1.920 % |
109.73/109.84	c |    245993 |    3424    21404    72512 |    58318    58136     21 |  1.920 % |
110.63/110.73	c |    247533 |    3424    21404    72512 |    58318    53753     21 |  1.919 % |
111.43/111.58	c |    249228 |    3424    21404    72512 |    58318    55448     21 |  1.920 % |
112.33/112.48	c |    251092 |    3424    21404    72512 | 2147483647    57312     22 |  1.920 % |
113.33/113.46	c |    253141 |    3423    21396    72488 | 2147483647    59360     22 |  1.948 % |
114.43/114.50	c |    255394 |    3423    21396    72488 | 2147483647    61613     22 |  1.948 % |
115.53/115.65	c |    257872 |    3423    21396    72488 | 2147483647    64091     22 |  1.948 % |
115.53/115.69	c |    257972 |    3423    21396    72488 | 2147483647    64191     22 |  1.948 % |
115.63/115.76	c |    258083 |    3423    21396    72488 | 2147483647    64302     22 |  1.948 % |
115.73/115.85	c |    258206 |    3423    21396    72488 | 2147483647    64425     22 |  1.948 % |
115.83/115.96	c |    258339 |    3423    21396    72488 | 2147483647    64558     22 |  1.948 % |
115.93/116.06	c |    258490 |    3423    21396    72488 | 2147483647    64709     22 |  1.948 % |
116.03/116.17	c |    258650 |    3423    21396    72488 | 2147483647    64869     22 |  1.949 % |
116.23/116.30	c |    258829 |    3423    21396    72488 | 2147483647    65048     22 |  1.948 % |
116.33/116.44	c |    259023 |    3423    21396    72488 | 2147483647    65242     22 |  1.948 % |
116.43/116.59	c |    259235 |    3423    21396    72488 | 2147483647    65454     22 |  1.948 % |
116.63/116.75	c |    259469 |    3423    21396    72488 | 2147483647    65688     22 |  1.948 % |
116.83/116.90	c |    259726 |    3423    21396    72488 | 2147483647    65945     22 |  1.949 % |
117.03/117.11	c |    260009 |    3421    21379    72434 |    66213    66221     22 |  2.006 % |
117.23/117.32	c |    260318 |    3421    21379    72434 |    66213    66530     22 |  2.006 % |
117.53/117.63	c |    260657 |    3421    21379    72434 |    66213    59204     22 |  2.006 % |
117.63/117.78	c |    261029 |    3421    21379    72434 |    66213    59576     22 |  2.005 % |
117.73/117.89	c |    261438 |    3421    21379    72434 |    66213    59985     22 |  2.006 % |
117.93/118.07	c |    261887 |    3421    21379    72434 |    66213    60434     22 |  2.007 % |
118.13/118.23	c |    262382 |    3421    21379    72434 |    66213    60929     22 |  2.006 % |
118.33/118.46	c |    262924 |    3421    21379    72434 |    66213    61471     22 |  2.006 % |
118.53/118.68	c |    263520 |    3421    21379    72434 |    66213    62067     22 |  2.006 % |
118.93/119.10	c |    264178 |    3421    21379    72434 |    66213    62725     22 |  2.006 % |
119.43/119.52	c |    264898 |    3421    21379    72434 |    66213    63445     22 |  2.006 % |
119.73/119.82	c |    265691 |    3421    21379    72434 |    66213    64238     22 |  2.006 % |
120.13/120.22	c |    266562 |    3421    21379    72434 |    66213    65109     22 |  2.005 % |
120.53/120.63	c |    267521 |    3421    21379    72434 |    66213    66068     22 |  2.006 % |
121.13/121.27	c |    268574 |    3419    21347    72320 |    66213    67118     22 |  2.063 % |
121.93/122.05	c |    269732 |    3419    21347    72320 |    66213    61565     21 |  2.063 % |
122.53/122.69	c |    271006 |    3419    21347    72320 | 2147483647    62839     21 |  2.062 % |
123.33/123.47	c |    272406 |    3419    21347    72320 | 2147483647    64239     22 |  2.063 % |
124.03/124.20	c |    273947 |    3419    21347    72320 | 2147483647    65780     22 |  2.063 % |
124.93/125.07	c |    275642 |    3419    21347    72320 | 2147483647    67475     22 |  2.063 % |
126.02/126.11	c |    277506 |    3419    21347    72320 | 2147483647    69339     22 |  2.063 % |
126.92/127.06	c |    279557 |    3419    21347    72320 | 2147483647    71390     22 |  2.063 % |
128.42/128.50	c |    281811 |    3419    21347    72320 |    71833    62599     22 |  2.063 % |
129.63/129.76	c |    284292 |    3418    21339    72296 |    71833    65079     22 |  2.092 % |
131.02/131.19	c |    287017 |    3418    21339    72296 |    71833    67804     22 |  2.092 % |
131.12/131.27	c |    287117 |    3418    21339    72296 |    71833    67904     22 |  2.092 % |
131.22/131.34	c |    287228 |    3418    21339    72296 |    71833    68015     22 |  2.092 % |
131.32/131.41	c |    287349 |    3418    21339    72296 |    71833    68136     22 |  2.092 % |
131.32/131.49	c |    287482 |    3418    21339    72296 |    71833    68269     22 |  2.091 % |
131.42/131.57	c |    287631 |    3418    21339    72296 |    71833    68418     22 |  2.092 % |
131.52/131.67	c |    287793 |    3418    21339    72296 |    71833    68580     22 |  2.092 % |
131.62/131.77	c |    287969 |    3418    21339    72296 |    71833    68756     22 |  2.092 % |
131.72/131.88	c |    288162 |    3418    21339    72296 |    71833    68949     22 |  2.092 % |
131.93/132.00	c |    288374 |    3418    21339    72296 |    71833    69161     22 |  2.092 % |
132.02/132.15	c |    288607 |    3418    21339    72296 |    71833    69393     22 |  2.149 % |
132.22/132.30	c |    288863 |    3418    21339    72296 |    71833    69649     22 |  2.149 % |
132.42/132.50	c |    289144 |    3418    21339    72296 |    71833    69930     22 |  2.150 % |
132.62/132.75	c |    289454 |    3416    21331    72273 |    71833    70236     22 |  2.149 % |
132.82/132.99	c |    289793 |    3416    21331    72273 |    71833    70575     22 |  2.149 % |
133.12/133.24	c |    290167 |    3416    21331    72273 |    70783    70949     22 |  2.149 % |
133.52/133.63	c |    290577 |    3416    21331    72273 |    70783    60581     21 |  2.148 % |
133.72/133.89	c |    291027 |    3416    21331    72273 |    70783    61031     21 |  2.149 % |
134.03/134.15	c |    291520 |    3416    21331    72273 |    70783    61524     21 |  2.150 % |
134.32/134.43	c |    292062 |    3416    21331    72273 |    70783    62066     21 |  2.149 % |
134.62/134.74	c |    292658 |    3416    21331    72273 |    70783    62661     21 |  2.235 % |
134.92/135.01	c |    293314 |    3416    21331    72273 |    70783    63317     21 |  2.234 % |
135.23/135.32	c |    294035 |    3416    21331    72273 |    70783    64038     22 |  2.235 % |
135.62/135.77	c |    294828 |    3416    21331    72273 |    70783    64831     22 |  2.235 % |
136.02/136.15	c |    295701 |    3416    21331    72273 |    70783    65704     22 |  2.235 % |
136.42/136.55	c |    296659 |    3416    21331    72273 |    70783    66662     22 |  2.235 % |
136.92/137.06	c |    297712 |    3413    21288    72123 |    70783    67708     22 |  2.235 % |
137.52/137.62	c |    298871 |    3413    21288    72123 |    70783    68867     22 |  2.235 % |
138.12/138.21	c |    300144 |    3413    21288    72123 |    69997    70140     22 |  2.235 % |
139.02/139.10	c |    301545 |    3413    21288    72123 |    69997    61098     22 |  2.235 % |
139.92/140.00	c |    303086 |    3413    21288    72123 |    69997    62639     22 |  2.235 % |
140.82/140.93	c |    304781 |    3413    21288    72123 |    69997    64334     22 |  2.235 % |
141.82/141.99	c |    306645 |    3413    21288    72123 |    69997    66198     22 |  2.234 % |
143.12/143.27	c |    308696 |    3413    21288    72123 |    69997    68249     22 |  2.235 % |
144.52/144.68	c |    310950 |    3413    21288    72123 |    69553    70503     22 |  2.235 % |
145.92/146.07	c |    313428 |    3413    21288    72123 |    69553    62801     22 |  2.235 % |
147.12/147.27	c |    316154 |    3413    21288    72123 |    69553    65527     22 |  2.236 % |
149.02/149.14	c |    319151 |    3412    21280    72099 |    69553    68520     22 |  2.292 % |
149.02/149.18	c |    319253 |    3412    21280    72099 |    69553    68622     22 |  2.292 % |
149.12/149.24	c |    319363 |    3412    21280    72099 |    69553    68732     22 |  2.292 % |
149.12/149.30	c |    319485 |    3412    21280    72099 |    69553    68854     22 |  2.293 % |
149.22/149.37	c |    319618 |    3412    21280    72099 |    69553    68987     22 |  2.292 % |
149.32/149.44	c |    319765 |    3412    21280    72099 |    69553    69134     22 |  2.292 % |
149.42/149.52	c |    319925 |    3412    21280    72099 |    69553    69294     22 |  2.292 % |
149.52/149.62	c |    320102 |    3412    21280    72099 |    69370    69471     22 |  2.293 % |
149.82/149.92	c |    320296 |    3412    21280    72099 |    69370    60551     21 |  2.293 % |
149.92/150.00	c |    320510 |    3412    21280    72099 |    69370    60765     21 |  2.292 % |
150.02/150.17	c |    320746 |    3412    21280    72099 |    69370    61001     21 |  2.292 % |
150.22/150.30	c |    321002 |    3412    21280    72099 |    69370    61257     21 |  2.292 % |
150.32/150.44	c |    321288 |    3412    21280    72099 |    69370    61543     21 |  2.292 % |
150.42/150.58	c |    321598 |    3412    21280    72099 |    69370    61853     21 |  2.292 % |
150.62/150.76	c |    321937 |    3412    21280    72099 |    69370    62192     22 |  2.292 % |
150.82/150.93	c |    322309 |    3412    21280    72099 |    69370    62564     22 |  2.293 % |
150.92/151.09	c |    322719 |    3412    21280    72099 |    69370    62974     22 |  2.293 % |
151.22/151.30	c |    323168 |    3411    21273    72075 |    69370    63423     22 |  2.292 % |
151.32/151.48	c |    323665 |    3411    21273    72075 |    69370    63920     22 |  2.293 % |
151.62/151.72	c |    324207 |    3411    21273    72075 |    69370    64462     22 |  2.293 % |
151.82/151.99	c |    324805 |    3411    21273    72075 |    69370    65060     22 |  2.293 % |
152.12/152.25	c |    325461 |    3411    21273    72075 |    69370    65716     22 |  2.293 % |
152.52/152.66	c |    326183 |    3411    21273    72075 |    69370    66438     22 |  2.293 % |
153.02/153.10	c |    326975 |    3411    21273    72075 |    69370    67230     22 |  2.292 % |
153.42/153.58	c |    327846 |    3411    21273    72075 |    69370    68101     22 |  2.292 % |
154.02/154.10	c |    328805 |    3411    21273    72075 |    69370    69060     22 |  2.292 % |
154.51/154.64	c |    329858 |    3411    21273    72075 |    69370    70113     22 |  2.292 % |
155.51/155.64	c |    331017 |    3411    21273    72075 |    60605    53370     21 |  2.293 % |
156.12/156.25	c |    332292 |    3411    21273    72075 |    60605    54645     21 |  2.292 % |
156.72/156.87	c |    333692 |    3411    21273    72075 |    60605    56045     21 |  2.292 % |
157.41/157.57	c |    335232 |    3411    21273    72075 |    60605    57585     21 |  2.293 % |
158.11/158.29	c |    336926 |    3411    21273    72075 |    60605    59279     21 |  2.293 % |
159.01/159.13	c |    338789 |    3411    21273    72075 |    60605    61142     21 |  2.293 % |
160.11/160.22	c |    340840 |    3411    21273    72075 |    55317    56157     20 |  2.293 % |
161.21/161.33	c |    343096 |    3411    21273    72075 |    55317    51636     20 |  2.293 % |
162.31/162.45	c |    345575 |    3410    21265    72051 |    55317    54113     20 |  2.321 % |
163.72/163.84	c |    348300 |    3410    21265    72051 |    55317    51210     20 |  2.321 % |
164.92/165.08	c |    351297 |    3410    21265    72051 | 2147483647    54207     19 |  2.321 % |
166.21/166.33	c |    354594 |    3410    21265    72051 | 2147483647    57504     20 |  2.321 % |
166.31/166.40	c |    354697 |    3410    21265    72051 | 2147483647    57607     20 |  2.321 % |
166.31/166.45	c |    354807 |    3410    21265    72051 | 2147483647    57717     20 |  2.321 % |
166.41/166.51	c |    354928 |    3410    21265    72051 | 2147483647    57838     20 |  2.320 % |
166.41/166.59	c |    355061 |    3410    21265    72051 | 2147483647    57971     20 |  2.321 % |
166.51/166.68	c |    355208 |    3410    21265    72051 | 2147483647    58118     20 |  2.321 % |
166.61/166.76	c |    355368 |    3410    21265    72051 | 2147483647    58278     20 |  2.320 % |
166.71/166.84	c |    355546 |    3410    21265    72051 | 2147483647    58456     20 |  2.321 % |
166.81/166.94	c |    355740 |    3410    21265    72051 | 2147483647    58650     20 |  2.322 % |
166.91/167.03	c |    355953 |    3410    21265    72051 | 2147483647    58863     20 |  2.321 % |
167.02/167.16	c |    356187 |    3410    21265    72051 | 2147483647    59097     20 |  2.322 % |
167.12/167.25	c |    356443 |    3410    21265    72051 | 2147483647    59353     20 |  2.321 % |
167.21/167.37	c |    356726 |    3410    21265    72051 | 2147483647    59636     20 |  2.321 % |
167.31/167.49	c |    357035 |    3410    21265    72051 | 2147483647    59945     20 |  2.321 % |
167.51/167.63	c |    357374 |    3410    21265    72051 | 2147483647    60284     20 |  2.321 % |
167.61/167.79	c |    357746 |    3410    21265    72051 | 2147483647    60656     20 |  2.320 % |
167.81/167.95	c |    358156 |    3410    21265    72051 | 2147483647    61066     20 |  2.321 % |
168.01/168.16	c |    358606 |    3410    21265    72051 | 2147483647    61516     20 |  2.321 % |
168.22/168.37	c |    359099 |    3410    21265    72051 | 2147483647    62009     20 |  2.321 % |
168.51/168.62	c |    359642 |    3410    21265    72051 | 2147483647    62552     20 |  2.322 % |
168.71/168.89	c |    360240 |    3410    21265    72051 | 2147483647    63150     20 |  2.320 % |
169.01/169.12	c |    360895 |    3410    21265    72051 | 2147483647    63805     20 |  2.321 % |
169.22/169.39	c |    361616 |    3410    21265    72051 | 2147483647    64526     20 |  2.321 % |
169.61/169.71	c |    362409 |    3410    21265    72051 | 2147483647    65319     20 |  2.321 % |
169.91/170.04	c |    363281 |    3410    21265    72051 | 2147483647    66191     21 |  2.321 % |
170.21/170.37	c |    364239 |    3410    21265    72051 | 2147483647    67149     21 |  2.321 % |
170.61/170.77	c |    365292 |    3410    21265    72051 | 2147483647    68202     21 |  2.321 % |
171.01/171.18	c |    366450 |    3410    21265    72051 | 2147483647    69360     21 |  2.320 % |
171.61/171.70	c |    367724 |    3410    21265    72051 | 2147483647    70634     21 |  2.321 % |
172.11/172.24	c |    369124 |    3410    21265    72051 | 2147483647    72034     21 |  2.321 % |
172.81/172.90	c |    370664 |    3410    21265    72051 | 2147483647    73574     21 |  2.321 % |
173.51/173.60	c |    372360 |    3410    21265    72051 | 2147483647    75270     22 |  2.321 % |
174.42/174.56	c |    374223 |    3410    21265    72051 | 2147483647    77133     22 |  2.321 % |
175.52/175.64	c |    376273 |    3410    21265    72051 | 2147483647    79183     22 |  2.321 % |
176.62/176.75	c |    378526 |    3410    21265    72051 | 2147483647    81436     22 |  2.321 % |
178.62/178.71	c |    381005 |    3410    21265    72051 |    82912    67641     22 |  2.321 % |
179.92/180.05	c |    383730 |    3410    21265    72051 |    82912    70366     22 |  2.321 % |
181.42/181.54	c |    386727 |    3410    21265    72051 |    82912    73363     22 |  2.321 % |
183.12/183.22	c |    390024 |    3410    21265    72051 |    76637    76660     22 |  2.321 % |
185.51/185.61	c |    393650 |    3410    21265    72051 |    76637    66646     22 |  2.321 % |
185.51/185.68	c |    393751 |    3410    21265    72051 |    76637    66747     22 |  2.321 % |
185.61/185.74	c |    393862 |    3410    21265    72051 |    76637    66858     22 |  2.321 % |
185.61/185.79	c |    393984 |    3410    21265    72051 |    76637    66980     22 |  2.321 % |
185.72/185.88	c |    394119 |    3410    21265    72051 |    76637    67115     22 |  2.321 % |
185.82/185.94	c |    394265 |    3410    21265    72051 |    76637    67261     22 |  2.321 % |
185.91/186.01	c |    394426 |    3410    21265    72051 |    76637    67422     23 |  2.321 % |
186.01/186.10	c |    394602 |    3410    21265    72051 |    76637    67598     23 |  2.321 % |
186.01/186.19	c |    394795 |    3410    21265    72051 |    76637    67791     23 |  2.321 % |
186.21/186.30	c |    395008 |    3410    21265    72051 |    76637    68004     23 |  2.321 % |
186.31/186.44	c |    395243 |    3410    21265    72051 |    76637    68239     23 |  2.321 % |
186.41/186.55	c |    395500 |    3410    21265    72051 |    76637    68496     23 |  2.321 % |
186.61/186.72	c |    395782 |    3410    21265    72051 |    76637    68778     23 |  2.321 % |
186.71/186.88	c |    396092 |    3410    21265    72051 |    76637    69088     23 |  2.321 % |
186.92/187.08	c |    396431 |    3410    21265    72051 |    76637    69427     23 |  2.321 % |
187.11/187.25	c |    396805 |    3410    21265    72051 |    76637    69801     23 |  2.321 % |
187.31/187.44	c |    397214 |    3410    21265    72051 |    76637    70210     23 |  2.321 % |
187.61/187.72	c |    397663 |    3410    21265    72051 |    76637    70659     23 |  2.321 % |
187.81/187.98	c |    398157 |    3410    21265    72051 |    76637    71153     23 |  2.321 % |
188.11/188.29	c |    398699 |    3410    21265    72051 |    76637    71695     23 |  2.321 % |
188.51/188.62	c |    399295 |    3409    21257    72027 |    76637    72289     23 |  2.349 % |
188.81/188.95	c |    399950 |    3409    21257    72027 |    76637    72943     23 |  2.407 % |
189.41/189.52	c |    400671 |    3409    21257    72027 |    72994    63192     23 |  2.407 % |
189.81/189.91	c |    401463 |    3407    21257    72027 |    72994    63984     23 |  2.406 % |
190.32/190.42	c |    402334 |    3407    21257    72027 |    72994    64855     23 |  2.407 % |
190.71/190.83	c |    403292 |    3407    21257    72027 |    72994    65813     23 |  2.407 % |
191.11/191.28	c |    404345 |    3407    21257    72027 |    72994    66866     23 |  2.406 % |
191.61/191.80	c |    405503 |    3407    21257    72027 |    72994    68024     23 |  2.406 % |
192.42/192.54	c |    406776 |    3407    21257    72027 |    72994    69297     23 |  2.407 % |
193.31/193.43	c |    408177 |    3407    21239    71967 |    72994    70694     23 |  2.407 % |
194.11/194.21	c |    409719 |    3407    21239    71967 |    72994    72236     23 |  2.407 % |
195.11/195.29	c |    411413 |    3407    21239    71967 |    72517    62345     23 |  2.407 % |
196.21/196.33	c |    413276 |    3407    21239    71967 |    72517    64208     23 |  2.407 % |
197.11/197.26	c |    415325 |    3407    21239    71967 |    72517    66257     23 |  2.407 % |
198.31/198.47	c |    417578 |    3407    21239    71967 |    72517    68510     23 |  2.406 % |
199.61/199.73	c |    420057 |    3407    21239    71967 |    70932    70989     24 |  2.406 % |
201.01/201.18	c |    422782 |    3407    21239    71967 |    70932    62489     23 |  2.407 % |
202.31/202.42	c |    425780 |    3407    21239    71967 |    70932    65487     23 |  2.406 % |
203.81/203.95	c |    429076 |    3407    21239    71967 |    70932    68783     23 |  2.406 % |
206.61/206.72	c |    432702 |    3407    21239    71967 |    69707    61072     23 |  2.407 % |
208.51/208.69	c |    436689 |    3407    21239    71967 |    69707    65059     23 |  2.406 % |
208.61/208.75	c |    436792 |    3407    21239    71967 |    69707    65162     23 |  2.407 % |
208.71/208.82	c |    436906 |    3407    21239    71967 |    69707    65276     23 |  2.407 % |
208.71/208.88	c |    437027 |    3407    21239    71967 |    69707    65397     23 |  2.407 % |
208.81/208.98	c |    437160 |    3407    21239    71967 |    69707    65530     23 |  2.406 % |
208.91/209.05	c |    437307 |    3407    21239    71967 |    69707    65677     23 |  2.407 % |
209.01/209.13	c |    437468 |    3407    21239    71967 |    69707    65838     23 |  2.407 % |
209.11/209.22	c |    437644 |    3407    21239    71967 |    69707    66014     23 |  2.407 % |
209.21/209.30	c |    437837 |    3407    21239    71967 |    69707    66207     23 |  2.407 % |
209.31/209.40	c |    438049 |    3407    21239    71967 |    69707    66419     23 |  2.406 % |
209.41/209.56	c |    438282 |    3407    21239    71967 |    69707    66652     23 |  2.407 % |
209.61/209.72	c |    438539 |    3407    21239    71967 |    69707    66909     23 |  2.407 % |
209.71/209.88	c |    438822 |    3407    21239    71967 |    69707    67192     23 |  2.407 % |
210.01/210.14	c |    439131 |    3406    21231    71943 |    69707    67498     23 |  2.435 % |
210.11/210.30	c |    439470 |    3406    21231    71943 |    69707    67837     23 |  2.435 % |
210.41/210.51	c |    439843 |    3406    21231    71943 |    69707    68210     23 |  2.435 % |
210.61/210.71	c |    440253 |    3406    21231    71943 |    68367    68620     23 |  2.435 % |
210.91/211.07	c |    440702 |    3406    21231    71943 |    68367    59739     23 |  2.436 % |
211.11/211.28	c |    441195 |    3406    21231    71943 |    68367    60232     23 |  2.435 % |
211.51/211.61	c |    441738 |    3406    21231    71943 |    68367    60775     23 |  2.435 % |
211.71/211.87	c |    442335 |    3406    21231    71943 |    68367    61372     23 |  2.435 % |
212.01/212.20	c |    442990 |    3406    21231    71943 |    68367    62027     23 |  2.435 % |
212.51/212.60	c |    443710 |    3406    21231    71943 |    68367    62747     23 |  2.435 % |
212.81/212.99	c |    444503 |    3406    21231    71943 |    68367    63540     23 |  2.435 % |
213.31/213.42	c |    445375 |    3405    21231    71943 |    68367    64411     23 |  2.464 % |
213.71/213.86	c |    446337 |    3405    21231    71943 |    68367    65373     23 |  2.464 % |
214.20/214.35	c |    447391 |    3405    21231    71943 |    68367    66427     23 |  2.464 % |
214.80/214.91	c |    448549 |    3405    21223    71919 |    68367    67584     23 |  2.464 % |
215.41/215.58	c |    449823 |    3405    21223    71919 |    68367    68858     23 |  2.464 % |
216.51/216.62	c |    451223 |    3405    21223    71919 |    60064    53703     22 |  2.493 % |
217.20/217.32	c |    452764 |    3405    21223    71919 |    60064    55244     22 |  2.493 % |
218.00/218.15	c |    454458 |    3405    21223    71919 |    60064    56938     22 |  2.493 % |
218.90/219.05	c |    456322 |    3404    21216    71898 |    60064    58801     22 |  2.493 % |
219.81/219.98	c |    458371 |    3404    21216    71898 |    60064    60850     22 |  2.492 % |
220.91/221.09	c |    460625 |    3404    21216    71898 |    55340    55964     21 |  2.493 % |
222.20/222.36	c |    463103 |    3403    21207    71868 |    55340    52048     21 |  2.521 % |
223.50/223.67	c |    465828 |    3403    21207    71868 |    55340    54773     21 |  2.521 % |
225.10/225.29	c |    468826 |    3403    21207    71868 |    55340    52141     20 |  2.521 % |
226.70/226.83	c |    472122 |    3403    21207    71868 |    53316    49992     20 |  2.522 % |
228.00/228.13	c |    475747 |    3403    21207    71868 |    53316    53617     20 |  2.521 % |
229.71/229.81	c |    479736 |    3403    21207    71868 |    53316    52245     20 |  2.521 % |
231.50/231.67	c |    484122 |    3403    21207    71868 | 2147483647    56631     20 |  2.522 % |
231.60/231.72	c |    484224 |    3403    21207    71868 | 2147483647    56733     20 |  2.521 % |
231.60/231.77	c |    484337 |    3403    21207    71868 | 2147483647    56846     20 |  2.521 % |
231.70/231.81	c |    484459 |    3403    21207    71868 | 2147483647    56968     20 |  2.521 % |
231.70/231.88	c |    484592 |    3403    21207    71868 | 2147483647    57101     20 |  2.521 % |
231.80/231.97	c |    484738 |    3403    21207    71868 | 2147483647    57247     20 |  2.521 % |
231.90/232.03	c |    484898 |    3403    21207    71868 | 2147483647    57407     20 |  2.521 % |
231.90/232.07	c |    485076 |    3403    21207    71868 | 2147483647    57585     20 |  2.521 % |
232.00/232.16	c |    485269 |    3403    21207    71868 | 2147483647    57778     20 |  2.522 % |
232.10/232.26	c |    485483 |    3402    21199    71844 | 2147483647    57987     20 |  2.549 % |
232.20/232.37	c |    485716 |    3402    21199    71844 | 2147483647    58220     20 |  2.549 % |
232.30/232.45	c |    485972 |    3402    21199    71844 | 2147483647    58476     20 |  2.550 % |
232.40/232.53	c |    486253 |    3402    21199    71844 | 2147483647    58757     20 |  2.549 % |
232.50/232.64	c |    486562 |    3402    21199    71844 | 2147483647    59066     21 |  2.549 % |
232.70/232.83	c |    486902 |    3402    21199    71844 | 2147483647    59406     21 |  2.550 % |
232.90/233.02	c |    487276 |    3402    21199    71844 | 2147483647    59780     21 |  2.550 % |
233.10/233.21	c |    487685 |    3402    21199    71844 | 2147483647    60189     21 |  2.550 % |
233.30/233.40	c |    488135 |    3402    21199    71844 | 2147483647    60639     21 |  2.550 % |
233.40/233.58	c |    488629 |    3402    21199    71844 | 2147483647    61133     21 |  2.550 % |
233.60/233.79	c |    489172 |    3402    21199    71844 | 2147483647    61676     21 |  2.550 % |
233.90/234.02	c |    489769 |    3402    21199    71844 | 2147483647    62273     21 |  2.550 % |
234.10/234.25	c |    490425 |    3402    21199    71844 | 2147483647    62929     21 |  2.550 % |
234.40/234.58	c |    491147 |    3402    21199    71844 | 2147483647    63651     21 |  2.549 % |
234.70/234.89	c |    491939 |    3402    21199    71844 | 2147483647    64443     21 |  2.549 % |
235.20/235.35	c |    492810 |    3402    21199    71844 | 2147483647    65314     21 |  2.550 % |
235.70/235.87	c |    493769 |    3402    21199    71844 | 2147483647    66273     21 |  2.550 % |
236.20/236.38	c |    494822 |    3402    21199    71844 | 2147483647    67326     21 |  2.550 % |
236.90/237.03	c |    495980 |    3402    21199    71844 | 2147483647    68484     21 |  2.550 % |
237.70/237.85	c |    497253 |    3402    21199    71844 | 2147483647    69757     21 |  2.550 % |
238.60/238.78	c |    498655 |    3402    21199    71844 | 2147483647    71159     21 |  2.550 % |
239.40/239.54	c |    500196 |    3402    21199    71844 |    72506    72700     21 |  2.550 % |
240.30/240.48	c |    501890 |    3402    21199    71844 |    72506    63835     21 |  2.549 % |
241.10/241.22	c |    503754 |    3402    21199    71844 |    72506    65699     22 |  2.550 % |
241.90/242.07	c |    505804 |    3402    21199    71844 |    72506    67749     22 |  2.550 % |
243.00/243.18	c |    508057 |    3402    21199    71844 |    72506    70002     22 |  2.550 % |
244.30/244.42	c |    510536 |    3402    21199    71844 |    71945    72481     22 |  2.550 % |
246.00/246.14	c |    513261 |    3402    21199    71844 |    71945    64497     22 |  2.551 % |
247.59/247.75	c |    516259 |    3402    21199    71844 |    71945    67495     22 |  2.550 % |
249.19/249.33	c |    519555 |    3402    21199    71844 |    71945    70791     22 |  2.549 % |
251.09/251.28	c |    523180 |    3402    21199    71844 |    71237    62360     23 |  2.550 % |
252.90/253.01	c |    527169 |    3402    21199    71844 |    71237    66349     23 |  2.550 % |
255.29/255.46	c |    531554 |    3402    21199    71844 |    69180    60309     23 |  2.550 % |
257.69/257.81	c |    536377 |    3402    21199    71844 |    69180    65132     23 |  2.550 % |
257.69/257.87	c |    536479 |    3402    21199    71844 |    69180    65234     23 |  2.550 % |
257.79/257.95	c |    536591 |    3402    21199    71844 |    69180    65346     23 |  2.549 % |
257.89/258.04	c |    536713 |    3402    21199    71844 |    69180    65468     23 |  2.550 % |
257.89/258.07	c |    536847 |    3402    21199    71844 |    69180    65602     23 |  2.550 % |
257.99/258.16	c |    536994 |    3402    21199    71844 |    69180    65749     23 |  2.549 % |
258.09/258.23	c |    537154 |    3402    21199    71844 |    69180    65909     23 |  2.550 % |
258.19/258.33	c |    537332 |    3402    21199    71844 |    69180    66087     23 |  2.550 % |
258.29/258.45	c |    537525 |    3402    21199    71844 |    69180    66280     23 |  2.550 % |
258.40/258.58	c |    537738 |    3402    21199    71844 |    69180    66493     23 |  2.550 % |
258.59/258.73	c |    537973 |    3402    21199    71844 |    69180    66728     23 |  2.550 % |
258.69/258.87	c |    538229 |    3402    21199    71844 |    69180    66984     23 |  2.550 % |
258.89/259.05	c |    538511 |    3402    21199    71844 |    69180    67266     23 |  2.550 % |
259.09/259.26	c |    538822 |    3402    21199    71844 |    69180    67577     23 |  2.550 % |
259.29/259.43	c |    539161 |    3402    21199    71844 |    69180    67916     22 |  2.550 % |
259.49/259.64	c |    539535 |    3402    21199    71844 |    69180    68290     22 |  2.550 % |
259.69/259.89	c |    539944 |    3402    21199    71844 |    69180    68699     22 |  2.550 % |
259.99/260.18	c |    540394 |    3402    21199    71844 |    68755    69149     22 |  2.550 % |
260.39/260.58	c |    540887 |    3402    21199    71844 |    68755    59653     22 |  2.550 % |
260.69/260.84	c |    541431 |    3402    21199    71844 |    68755    60197     22 |  2.550 % |
260.99/261.12	c |    542028 |    3402    21199    71844 |    68755    60794     22 |  2.550 % |
261.29/261.43	c |    542684 |    3402    21199    71844 |    68755    61450     22 |  2.551 % |
261.69/261.82	c |    543405 |    3402    21199    71844 |    68755    62171     22 |  2.550 % |
262.09/262.28	c |    544197 |    3402    21199    71844 |    68755    62963     22 |  2.550 % |
262.49/262.67	c |    545069 |    3402    21199    71844 |    68755    63835     22 |  2.549 % |
262.99/263.14	c |    546029 |    3402    21199    71844 |    68755    64795     22 |  2.551 % |
263.59/263.78	c |    547082 |    3402    21199    71844 |    68755    65848     22 |  2.550 % |
264.29/264.40	c |    548241 |    3402    21199    71844 |    68755    67007     22 |  2.550 % |
264.89/265.04	c |    549517 |    3402    21199    71844 |    68755    68283     22 |  2.549 % |
265.69/265.86	c |    550917 |    3402    21199    71844 |    68768    69683     22 |  2.551 % |
266.49/266.69	c |    552458 |    3402    21199    71844 |    68768    59562     22 |  2.550 % |
267.29/267.49	c |    554152 |    3402    21199    71844 |    68768    61256     22 |  2.550 % |
268.29/268.41	c |    556015 |    3402    21199    71844 |    68768    63119     22 |  2.550 % |
269.19/269.40	c |    558064 |    3402    21199    71844 |    68768    65168     22 |  2.551 % |
270.39/270.60	c |    560317 |    3402    21199    71844 |    67105    67421     22 |  2.550 % |
271.79/271.92	c |    562795 |    3402    21199    71844 |    67105    60462     22 |  2.550 % |
272.98/273.18	c |    565520 |    3402    21199    71844 |    67105    63187     22 |  2.550 % |
274.39/274.59	c |    568518 |    3402    21199    71844 |    67105    66185     22 |  2.550 % |
276.49/276.60	c |    571814 |    3402    21199    71844 |    67667    59928     21 |  2.550 % |
278.39/278.55	c |    575440 |    3401    21191    71820 |    67667    63550     21 |  2.578 % |
280.40/280.54	c |    579427 |    3401    21191    71820 |    67667    67537     22 |  2.578 % |
282.99/283.13	c |    583812 |    3400    21181    71787 |    68110    62590     21 |  2.608 % |
285.59/285.75	c |    588636 |    3400    21181    71787 |    68110    67414     21 |  2.607 % |
288.59/288.78	c |    593941 |    3400    21181    71787 |    68778    62200     21 |  2.608 % |
288.69/288.83	c |    594043 |    3400    21181    71787 |    68778    62302     21 |  2.607 % |
288.79/288.90	c |    594155 |    3400    21181    71787 |    68778    62414     21 |  2.607 % |
288.79/288.97	c |    594276 |    3400    21181    71787 |    68778    62535     21 |  2.607 % |
288.89/289.05	c |    594409 |    3400    21181    71787 |    68778    62668     21 |  2.608 % |
288.99/289.11	c |    594555 |    3400    21181    71787 |    68778    62814     21 |  2.607 % |
289.09/289.21	c |    594715 |    3400    21181    71787 |    68778    62974     21 |  2.608 % |
289.19/289.33	c |    594894 |    3400    21181    71787 |    68778    63153     21 |  2.608 % |
289.29/289.43	c |    595088 |    3400    21181    71787 |    68778    63347     21 |  2.608 % |
289.39/289.55	c |    595300 |    3400    21181    71787 |    68778    63559     21 |  2.608 % |
289.49/289.68	c |    595533 |    3400    21181    71787 |    68778    63792     21 |  2.608 % |
289.69/289.82	c |    595789 |    3400    21181    71787 |    68778    64048     21 |  2.607 % |
289.79/289.97	c |    596070 |    3400    21181    71787 |    68778    64329     21 |  2.607 % |
289.99/290.16	c |    596379 |    3400    21181    71787 |    68778    64638     21 |  2.607 % |
290.19/290.38	c |    596718 |    3400    21181    71787 |    68778    64977     21 |  2.608 % |
290.39/290.59	c |    597090 |    3400    21181    71787 |    68778    65349     21 |  2.608 % |
290.69/290.81	c |    597499 |    3400    21181    71787 |    68778    65758     21 |  2.607 % |
290.89/291.06	c |    597950 |    3400    21181    71787 |    68778    66209     21 |  2.607 % |
291.09/291.29	c |    598443 |    3400    21181    71787 |    68778    66702     21 |  2.607 % |
291.39/291.54	c |    598985 |    3400    21181    71787 |    68778    67244     21 |  2.607 % |
291.69/291.82	c |    599581 |    3400    21181    71787 |    68778    67840     21 |  2.607 % |
292.09/292.21	c |    600236 |    3400    21181    71787 |    68260    68495     21 |  2.608 % |
292.58/292.77	c |    600956 |    3400    21181    71787 |    68260    58950     20 |  2.607 % |
292.98/293.14	c |    601749 |    3400    21181    71787 |    68260    59743     20 |  2.608 % |
293.39/293.58	c |    602621 |    3400    21181    71787 |    68260    60615     20 |  2.608 % |
293.89/294.09	c |    603579 |    3400    21181    71787 |    68260    61573     20 |  2.608 % |
294.38/294.58	c |    604634 |    3400    21181    71787 |    68260    62628     20 |  2.608 % |
295.08/295.24	c |    605792 |    3400    21181    71787 |    68260    63786     20 |  2.608 % |
295.88/296.01	c |    607066 |    3400    21181    71787 |    68260    65060     20 |  2.607 % |
296.48/296.60	c |    608466 |    3400    21181    71787 |    68260    66460     20 |  2.607 % |
297.18/297.32	c |    610006 |    3400    21181    71787 |    67994    68000     21 |  2.607 % |
298.18/298.32	c |    611700 |    3400    21181    71787 |    67994    58234     20 |  2.607 % |
298.99/299.14	c |    613563 |    3400    21181    71787 |    67994    60097     20 |  2.607 % |
299.98/300.15	c |    615612 |    3400    21181    71787 |    67994    62146     20 |  2.608 % |
301.29/301.48	c |    617866 |    3399    21173    71763 |    67994    64398     20 |  2.636 % |
302.58/302.76	c |    620344 |    3399    21173    71763 |    66532    66876     21 |  2.636 % |
303.88/304.05	c |    623071 |    3399    21173    71763 |    66532    60280     21 |  2.635 % |
305.28/305.43	c |    626068 |    3399    21173    71763 |    66532    63277     21 |  2.636 % |
307.08/307.22	c |    629364 |    3399    21173    71763 |    66532    66573     21 |  2.636 % |
309.18/309.39	c |    632991 |    3399    21173    71763 |    67209    60319     21 |  2.636 % |
311.38/311.59	c |    636979 |    3399    21173    71763 |    67209    64307     21 |  2.636 % |
313.98/314.18	c |    641365 |    3399    21173    71763 |    67329    58882     20 |  2.635 % |
315.98/316.16	c |    646188 |    3399    21173    71763 |    67329    63705     21 |  2.635 % |
318.98/319.19	c |    651493 |    3399    21173    71763 |    67518    60481     21 |  2.636 % |
321.68/321.86	c |    657328 |    3399    21173    71763 |    67518    66316     22 |  2.636 % |
321.78/321.92	c |    657431 |    3399    21173    71763 |    67518    66419     22 |  2.636 % |
321.78/321.99	c |    657542 |    3399    21173    71763 |    67518    66530     22 |  2.636 % |
321.88/322.06	c |    657664 |    3399    21173    71763 |    67518    66652     22 |  2.636 % |
321.98/322.13	c |    657798 |    3399    21173    71763 |    67518    66786     22 |  2.636 % |
322.08/322.21	c |    657944 |    3399    21173    71763 |    67518    66932     22 |  2.636 % |
322.18/322.31	c |    658106 |    3399    21173    71763 |    67518    67094     22 |  2.636 % |
322.28/322.40	c |    658282 |    3399    21173    71763 |    67518    67270     22 |  2.636 % |
322.37/322.51	c |    658476 |    3399    21173    71763 |    67518    67464     22 |  2.636 % |
322.47/322.62	c |    658689 |    3399    21173    71763 |    67518    67677     22 |  2.636 % |
322.77/322.91	c |    658922 |    3399    21173    71763 |    67518    58309     21 |  2.636 % |
322.87/323.05	c |    659178 |    3399    21173    71763 |    67518    58565     21 |  2.636 % |
322.97/323.16	c |    659460 |    3399    21173    71763 |    67518    58847     21 |  2.636 % |
323.07/323.28	c |    659769 |    3399    21173    71763 |    67518    59156     21 |  2.636 % |
323.28/323.44	c |    660110 |    3399    21173    71763 |    59388    59497     21 |  2.636 % |
323.57/323.75	c |    660482 |    3399    21173    71763 |    59388    51602     21 |  2.637 % |
323.77/323.90	c |    660891 |    3399    21173    71763 |    59388    52011     21 |  2.636 % |
323.87/324.07	c |    661340 |    3399    21173    71763 |    59388    52460     21 |  2.636 % |
324.07/324.24	c |    661834 |    3399    21173    71763 |    59388    52954     21 |  2.636 % |
324.28/324.49	c |    662377 |    3399    21173    71763 |    59388    53497     21 |  2.635 % |
324.47/324.67	c |    662973 |    3399    21173    71763 |    59388    54093     21 |  2.637 % |
324.67/324.83	c |    663630 |    3399    21173    71763 |    59388    54750     21 |  2.635 % |
324.87/325.08	c |    664351 |    3399    21173    71763 |    59388    55471     22 |  2.636 % |
325.17/325.34	c |    665144 |    3399    21173    71763 |    59388    56264     22 |  2.636 % |
325.48/325.64	c |    666015 |    3399    21173    71763 |    59388    57135     22 |  2.635 % |
325.87/326.06	c |    666976 |    3399    21173    71763 |    59388    58096     22 |  2.636 % |
326.27/326.46	c |    668029 |    3399    21173    71763 |    59388    59149     22 |  2.635 % |
326.97/327.11	c |    669187 |    3396    21153    71700 |    59388    54337     22 |  2.721 % |
327.47/327.67	c |    670461 |    3396    21153    71700 | 2147483647    55611     22 |  2.722 % |
328.07/328.25	c |    671863 |    3396    21153    71700 | 2147483647    57013     22 |  2.722 % |
328.68/328.87	c |    673404 |    3396    21153    71700 | 2147483647    58554     22 |  2.722 % |
329.47/329.64	c |    675098 |    3396    21153    71700 | 2147483647    60248     22 |  2.722 % |
330.37/330.50	c |    676963 |    3396    21153    71700 | 2147483647    62113     22 |  2.722 % |
331.27/331.42	c |    679013 |    3396    21153    71700 | 2147483647    64163     22 |  2.722 % |
332.27/332.42	c |    681267 |    3396    21153    71700 | 2147483647    66417     23 |  2.722 % |
333.47/333.69	c |    683745 |    3396    21153    71700 | 2147483647    68895     23 |  2.722 % |
334.87/335.08	c |    686470 |    3396    21153    71700 | 2147483647    71620     23 |  2.722 % |
336.77/336.94	c |    689467 |    3396    21153    71700 | 2147483647    74617     23 |  2.722 % |
338.97/339.17	c |    692763 |    3396    21153    71700 |    75150    65944     24 |  2.722 % |
340.97/341.19	c |    696388 |    3396    21153    71700 |    75150    69569     24 |  2.722 % |
343.47/343.67	c |    700376 |    3395    21143    71667 |    73175    73550     24 |  2.750 % |
346.06/346.25	c |    704761 |    3395    21143    71667 |    73175    64534     23 |  2.808 % |
348.26/348.47	c |    709584 |    3393    21123    71605 |    73175    69357     23 |  2.807 % |
351.26/351.41	c |    714889 |    3393    21123    71605 |    69773    62209     23 |  2.836 % |
354.46/354.60	c |    720724 |    3392    21117    71584 |    67322    68044     23 |  2.836 % |
358.06/358.28	c |    727144 |    3392    21117    71584 |    67322    63156     22 |  2.836 % |
358.16/358.33	c |    727245 |    3392    21117    71584 |    67322    63257     22 |  2.836 % |
358.16/358.39	c |    727355 |    3392    21117    71584 |    67322    63367     22 |  2.836 % |
358.26/358.45	c |    727476 |    3392    21117    71584 |    67322    63488     22 |  2.836 % |
358.37/358.53	c |    727611 |    3392    21117    71584 |    67322    63623     22 |  2.837 % |
358.37/358.60	c |    727758 |    3392    21117    71584 |    67322    63770     22 |  2.836 % |
358.47/358.69	c |    727919 |    3392    21117    71584 |    67322    63931     22 |  2.837 % |
358.56/358.79	c |    728095 |    3392    21117    71584 |    67322    64107     22 |  2.837 % |
358.76/358.91	c |    728289 |    3392    21117    71584 |    67322    64301     22 |  2.837 % |
358.86/359.01	c |    728502 |    3392    21117    71584 |    67322    64514     22 |  2.836 % |
358.96/359.13	c |    728735 |    3392    21117    71584 |    67322    64747     22 |  2.837 % |
359.06/359.26	c |    728993 |    3392    21117    71584 |    67322    65005     22 |  2.836 % |
359.26/359.42	c |    729274 |    3392    21117    71584 |    67322    65286     22 |  2.836 % |
359.36/359.59	c |    729585 |    3392    21117    71584 |    67322    65597     22 |  2.836 % |
359.56/359.79	c |    729925 |    3392    21117    71584 |    67322    65937     22 |  2.837 % |
359.86/360.01	c |    730297 |    3392    21117    71584 |    66012    66309     22 |  2.836 % |
360.26/360.47	c |    730706 |    3392    21117    71584 |    66012    55690     21 |  2.836 % |
360.46/360.69	c |    731158 |    3392    21117    71584 |    66012    56142     21 |  2.837 % |
360.76/360.97	c |    731651 |    3392    21117    71584 |    66012    56635     21 |  2.836 % |
361.06/361.25	c |    732194 |    3392    21117    71584 |    66012    57178     21 |  2.836 % |
361.36/361.51	c |    732791 |    3392    21117    71584 |    66012    57775     22 |  2.836 % |
361.67/361.84	c |    733446 |    3392    21117    71584 |    66012    58430     22 |  2.836 % |
361.96/362.15	c |    734166 |    3392    21117    71584 |    66012    59150     22 |  2.836 % |
362.26/362.47	c |    734958 |    3392    21117    71584 |    66012    59942     22 |  2.836 % |
362.66/362.89	c |    735829 |    3392    21117    71584 |    66012    60813     22 |  2.836 % |
363.36/363.51	c |    736788 |    3392    21117    71584 |    66012    61772     22 |  2.836 % |
363.86/364.07	c |    737842 |    3392    21117    71584 |    66012    62826     22 |  2.837 % |
364.56/364.72	c |    739000 |    3392    21117    71584 |    66012    63984     22 |  2.836 % |
365.16/365.34	c |    740273 |    3392    21117    71584 |    64984    65257     22 |  2.836 % |
366.06/366.24	c |    741675 |    3392    21117    71584 |    64984    55122     22 |  2.836 % |
366.76/366.94	c |    743215 |    3392    21117    71584 |    64984    56662     21 |  2.836 % |
367.66/367.83	c |    744912 |    3392    21117    71584 |    64984    58359     21 |  2.836 % |
368.66/368.87	c |    746776 |    3392    21117    71584 |    64984    60223     21 |  2.837 % |
369.66/369.83	c |    748826 |    3392    21117    71584 |    64984    62273     21 |  2.836 % |
370.86/371.00	c |    751079 |    3392    21117    71584 |    63447    64526     21 |  2.836 % |
372.26/372.44	c |    753558 |    3392    21117    71584 |    63447    55769     21 |  2.836 % |
373.56/373.73	c |    756283 |    3392    21117    71584 |    63447    58494     21 |  2.836 % |
374.96/375.13	c |    759280 |    3392    21117    71584 |    63447    61491     21 |  2.836 % |
376.65/376.82	c |    762577 |    3392    21117    71584 |    62213    55533     21 |  2.836 % |
378.35/378.53	c |    766202 |    3392    21117    71584 |    62213    59158     21 |  2.836 % |
380.25/380.41	c |    770190 |    3392    21117    71584 |    62957    63146     21 |  2.836 % |
382.05/382.23	c |    774575 |    3392    21117    71584 |    62957    57923     21 |  2.837 % |
384.25/384.45	c |    779398 |    3392    21117    71584 |    62957    62746     21 |  2.837 % |
386.65/386.83	c |    784704 |    3392    21117    71584 |    63348    58765     21 |  2.836 % |
389.15/389.33	c |    790540 |    3392    21117    71584 |    64061    64601     21 |  2.836 % |
392.35/392.58	c |    796960 |    3392    21117    71584 |    64061    62125     22 |  2.836 % |
395.75/395.97	c |    804019 |    3392    21117    71584 |    53240    47741     21 |  2.836 % |
395.85/396.03	c |    804119 |    3392    21117    71584 |    53240    47841     21 |  2.836 % |
395.85/396.08	c |    804230 |    3392    21117    71584 |    53240    47952     21 |  2.836 % |
395.95/396.13	c |    804353 |    3392    21117    71584 |    53240    48075     21 |  2.836 % |
395.95/396.16	c |    804486 |    3392    21117    71584 |    53240    48208     21 |  2.836 % |
396.05/396.22	c |    804632 |    3392    21117    71584 |    53240    48354     21 |  2.836 % |
396.05/396.28	c |    804792 |    3392    21117    71584 |    53240    48514     21 |  2.836 % |
396.15/396.35	c |    804968 |    3392    21117    71584 |    53240    48690     21 |  2.836 % |
396.25/396.41	c |    805162 |    3392    21117    71584 |    53240    48884     21 |  2.836 % |
396.35/396.51	c |    805374 |    3392    21117    71584 |    53240    49096     21 |  2.836 % |
396.45/396.60	c |    805611 |    3392    21117    71584 |    53240    49333     21 |  2.836 % |
396.55/396.70	c |    805868 |    3392    21117    71584 |    53240    49590     21 |  2.836 % |
396.55/396.80	c |    806149 |    3392    21117    71584 |    53240    49871     21 |  2.836 % |
396.65/396.87	c |    806461 |    3392    21117    71584 |    53240    50183     21 |  2.836 % |
396.85/397.05	c |    806800 |    3390    21099    71527 |    53240    50518     21 |  2.893 % |
397.05/397.21	c |    807173 |    3390    21099    71527 |    53240    50891     22 |  2.895 % |
397.15/397.30	c |    807582 |    3390    21099    71527 |    53240    51300     22 |  2.893 % |
397.24/397.47	c |    808031 |    3390    21099    71527 |    53240    51749     22 |  2.894 % |
397.44/397.67	c |    808526 |    3390    21099    71527 |    53240    52244     22 |  2.894 % |
397.74/397.97	c |    809069 |    3390    21099    71527 |    53240    52787     22 |  2.894 % |
397.95/398.19	c |    809666 |    3390    21099    71527 |    53240    53384     22 |  2.894 % |
398.34/398.55	c |    810322 |    3390    21099    71527 | 2147483647    48702     22 |  2.893 % |
398.54/398.80	c |    811042 |    3390    21099    71527 | 2147483647    49422     22 |  2.893 % |
398.94/399.13	c |    811835 |    3390    21099    71527 | 2147483647    50215     22 |  2.894 % |
399.24/399.46	c |    812706 |    3390    21099    71527 | 2147483647    51086     22 |  2.894 % |
399.64/399.86	c |    813666 |    3390    21099    71527 | 2147483647    52046     22 |  2.895 % |
400.04/400.22	c |    814720 |    3390    21099    71527 | 2147483647    53100     22 |  2.894 % |
400.44/400.63	c |    815878 |    3390    21099    71527 | 2147483647    54258     22 |  2.893 % |
400.94/401.11	c |    817151 |    3390    21099    71527 | 2147483647    55531     23 |  2.894 % |
401.44/401.69	c |    818553 |    3390    21099    71527 | 2147483647    56933     23 |  2.894 % |
402.14/402.38	c |    820093 |    3390    21099    71527 | 2147483647    58473     23 |  2.893 % |
402.84/403.06	c |    821787 |    3390    21099    71527 | 2147483647    60167     23 |  2.894 % |
403.55/403.76	c |    823650 |    3390    21099    71527 | 2147483647    62030     23 |  2.893 % |
404.55/404.73	c |    825701 |    3389    21093    71509 | 2147483647    64079     23 |  2.922 % |
405.64/405.81	c |    827955 |    3389    21093    71509 | 2147483647    66333     23 |  2.923 % |
406.74/406.96	c |    830433 |    3389    21093    71509 |    68378    68811     23 |  2.922 % |
408.24/408.43	c |    833158 |    3389    21093    71509 |    68378    64655     23 |  2.922 % |
409.64/409.88	c |    836157 |    3389    21093    71509 |    68378    67654     24 |  2.922 % |
411.64/411.81	c |    839454 |    3389    21093    71509 |    68378    60943     23 |  2.922 % |
413.84/414.02	c |    843079 |    3388    21086    71488 |    61489    55368     24 |  2.952 % |
415.74/415.92	c |    847068 |    3388    21086    71488 |    61489    59357     23 |  2.951 % |
418.04/418.25	c |    851454 |    3388    21086    71488 |    62289    53527     23 |  2.952 % |
420.24/420.48	c |    856280 |    3388    21086    71488 |    62289    58353     23 |  2.951 % |
423.34/423.55	c |    861585 |    3388    21086    71488 |    62073    52857     22 |  2.952 % |
426.04/426.25	c |    867422 |    3388    21086    71488 |    62073    58694     22 |  2.952 % |
429.03/429.21	c |    873841 |    3388    21086    71488 |    61272    54783     21 |  2.952 % |
432.23/432.48	c |    880900 |    3388    21086    71488 |    60942    61842     22 |  2.950 % |
435.83/436.04	c |    888664 |    3387    21078    71464 |    60942    59347     22 |  2.980 % |
435.83/436.09	c |    888764 |    3387    21078    71464 |    60942    59447     22 |  2.979 % |
435.93/436.12	c |    888875 |    3387    21078    71464 |    60942    59558     22 |  2.979 % |
435.93/436.16	c |    888999 |    3387    21078    71464 |    60942    59682     22 |  2.980 % |
435.93/436.19	c |    889133 |    3387    21078    71464 |    60942    59816     22 |  2.979 % |
436.03/436.25	c |    889279 |    3387    21078    71464 |    60942    59962     22 |  2.979 % |
436.03/436.29	c |    889444 |    3387    21078    71464 |    60942    60127     22 |  2.980 % |
436.13/436.36	c |    889623 |    3387    21078    71464 |    60942    60306     22 |  2.980 % |
436.23/436.43	c |    889816 |    3387    21078    71464 |    60942    60499     22 |  2.980 % |
436.33/436.51	c |    890028 |    3387    21078    71464 |    60684    60711     22 |  2.979 % |
436.44/436.64	c |    890262 |    3387    21078    71464 |    60684    60945     22 |  2.979 % |
436.73/436.95	c |    890519 |    3387    21078    71464 |    60684    53203     22 |  2.979 % |
436.93/437.10	c |    890800 |    3387    21078    71464 |    60684    53484     22 |  2.980 % |
437.03/437.25	c |    891109 |    3387    21078    71464 |    60684    53793     22 |  2.980 % |
437.23/437.42	c |    891449 |    3387    21078    71464 |    60684    54133     22 |  2.980 % |
437.33/437.57	c |    891822 |    3387    21078    71464 |    60684    54506     22 |  2.979 % |
437.53/437.77	c |    892231 |    3387    21078    71464 |    60684    54915     22 |  2.980 % |
437.73/437.98	c |    892681 |    3387    21078    71464 |    60684    55365     22 |  2.980 % |
438.03/438.20	c |    893175 |    3387    21078    71464 |    60684    55859     22 |  2.980 % |
438.23/438.43	c |    893717 |    3387    21078    71464 |    60684    56401     22 |  2.980 % |
438.43/438.66	c |    894313 |    3387    21078    71464 |    60684    56997     22 |  2.980 % |
438.73/438.94	c |    894968 |    3387    21078    71464 |    60684    57652     22 |  2.980 % |
438.93/439.15	c |    895690 |    3387    21078    71464 |    60684    58374     22 |  2.980 % |
439.13/439.39	c |    896482 |    3387    21078    71464 |    60684    59166     22 |  2.979 % |
439.43/439.70	c |    897354 |    3387    21078    71464 |    60684    60038     22 |  2.979 % |
439.83/440.08	c |    898313 |    3387    21078    71464 |    60684    60997     22 |  2.980 % |
440.33/440.56	c |    899366 |    3387    21078    71464 |    60684    55951     22 |  2.979 % |
440.83/441.00	c |    900524 |    3387    21078    71464 | 2147483647    57109     22 |  2.980 % |
441.33/441.51	c |    901798 |    3387    21078    71464 | 2147483647    58383     22 |  2.980 % |
441.83/442.08	c |    903202 |    3387    21078    71464 | 2147483647    59787     22 |  2.980 % |
442.53/442.72	c |    904742 |    3387    21078    71464 | 2147483647    61327     22 |  2.979 % |
443.23/443.43	c |    906438 |    3387    21078    71464 | 2147483647    63023     23 |  2.980 % |
444.03/444.25	c |    908301 |    3387    21078    71464 | 2147483647    64886     23 |  2.979 % |
445.13/445.35	c |    910350 |    3387    21078    71464 |    66586    66935     23 |  2.981 % |
446.23/446.46	c |    912603 |    3387    21078    71464 |    66586    59885     23 |  2.979 % |
447.33/447.59	c |    915081 |    3387    21078    71464 |    66586    62363     23 |  2.980 % |
448.92/449.17	c |    917806 |    3387    21078    71464 |    66586    65088     24 |  2.980 % |
451.02/451.24	c |    920803 |    3387    21078    71464 |    67283    58206     23 |  2.979 % |
452.72/452.95	c |    924099 |    3387    21078    71464 |    67283    61502     23 |  2.980 % |
454.43/454.64	c |    927724 |    3387    21078    71464 |    67283    65127     23 |  2.980 % |
456.63/456.80	c |    931715 |    3387    21078    71464 |    67405    60827     22 |  2.980 % |
458.43/458.69	c |    936100 |    3387    21078    71464 |    67405    65212     23 |  2.980 % |
460.93/461.11	c |    940924 |    3387    21078    71464 | 2147483647    63176     22 |  2.980 % |
463.33/463.53	c |    946232 |    3387    21078    71464 | 2147483647    68484     23 |  2.979 % |
466.73/466.92	c |    952067 |    3386    21070    71440 |    72246    64578     23 |  3.008 % |
470.13/470.40	c |    958485 |    3386    21070    71440 |    72246    70996     22 |  3.008 % |
474.22/474.41	c |    965544 |    3386    21070    71440 |    72511    65616     21 |  3.008 % |
478.23/478.42	c |    973309 |    3385    21029    71282 |    70072    59581     21 |  3.037 % |
482.73/482.95	c |    981850 |    3385    21029    71282 |    66272    56188     22 |  3.038 % |
482.73/483.00	c |    981951 |    3385    21029    71282 |    66272    56289     22 |  3.037 % |
482.82/483.05	c |    982061 |    3385    21029    71282 |    66272    56399     22 |  3.038 % |
482.92/483.13	c |    982183 |    3385    21029    71282 |    66272    56521     22 |  3.038 % |
483.02/483.21	c |    982317 |    3385    21029    71282 |    66272    56655     22 |  3.036 % |
483.02/483.28	c |    982463 |    3385    21029    71282 |    66272    56801     22 |  3.036 % |
483.12/483.37	c |    982624 |    3385    21029    71282 |    66272    56962     22 |  3.038 % |
483.22/483.44	c |    982800 |    3385    21029    71282 |    66272    57138     22 |  3.036 % |
483.32/483.52	c |    982993 |    3385    21029    71282 |    66272    57331     22 |  3.037 % |
483.42/483.61	c |    983205 |    3385    21029    71282 |    66272    57543     22 |  3.036 % |
483.52/483.72	c |    983438 |    3385    21029    71282 |    66272    57776     22 |  3.036 % |
483.62/483.86	c |    983694 |    3385    21029    71282 |    66272    58032     22 |  3.036 % |
483.72/483.99	c |    983975 |    3385    21029    71282 |    66272    58313     22 |  3.037 % |
483.92/484.13	c |    984286 |    3385    21029    71282 |    66272    58624     22 |  3.036 % |
484.02/484.28	c |    984627 |    3385    21029    71282 |    66272    58965     22 |  3.037 % |
484.22/484.44	c |    985000 |    3385    21029    71282 |    66272    59338     22 |  3.037 % |
484.42/484.64	c |    985410 |    3385    21029    71282 |    66272    59748     22 |  3.037 % |
484.62/484.88	c |    985860 |    3385    21029    71282 |    66272    60198     22 |  3.037 % |
484.92/485.12	c |    986353 |    3385    21029    71282 |    66272    60691     22 |  3.037 % |
485.12/485.36	c |    986897 |    3385    21029    71282 |    66272    61235     22 |  3.038 % |
485.42/485.67	c |    987494 |    3385    21029    71282 |    66272    61832     22 |  3.038 % |
485.82/486.06	c |    988150 |    3385    21029    71282 |    66272    62488     22 |  3.037 % |
486.22/486.48	c |    988871 |    3385    21029    71282 |    66272    63209     22 |  3.037 % |
486.62/486.87	c |    989664 |    3385    21029    71282 |    66272    64002     22 |  3.037 % |
487.12/487.32	c |    990535 |    3385    21029    71282 |    64339    64873     22 |  3.037 % |
487.72/487.91	c |    991493 |    3385    21029    71282 |    64339    56275     21 |  3.037 % |
488.12/488.37	c |    992547 |    3385    21029    71282 |    64339    57329     21 |  3.037 % |
488.72/488.90	c |    993706 |    3385    21029    71282 |    64339    58488     21 |  3.037 % |
489.22/489.50	c |    994981 |    3385    21029    71282 |    64339    59763     21 |  3.036 % |
489.92/490.17	c |    996381 |    3385    21029    71282 |    64339    61163     21 |  3.037 % |
490.72/490.94	c |    997922 |    3385    21029    71282 |    64339    62704     21 |  3.037 % |
491.52/491.70	c |    999617 |    3385    21029    71282 |    64339    64399     21 |  3.037 % |
492.62/492.86	c |   1001480 |    3385    21029    71282 |    64783    56280     21 |  3.037 % |
493.51/493.74	c |   1003529 |    3385    21029    71282 |    64783    58329     22 |  3.037 % |
494.72/494.95	c |   1005783 |    3385    21029    71282 |    64783    60583     22 |  3.038 % |
496.01/496.27	c |   1008262 |    3384    21023    71264 |    64783    63061     22 |  3.066 % |
497.51/497.78	c |   1010988 |    3384    21023    71264 |    64800    65787     22 |  3.066 % |
499.12/499.38	c |   1013987 |    3384    21023    71264 |    64800    57328     22 |  3.065 % |
500.71/500.98	c |   1017283 |    3384    21023    71264 |    64800    60624     22 |  3.066 % |
502.21/502.46	c |   1020908 |    3383    21015    71240 |    63340    64248     22 |  3.094 % |
504.11/504.33	c |   1024895 |    3383    21015    71240 |    63340    58932     22 |  3.094 % |
506.11/506.31	c |   1029282 |    3383    21015    71240 |    63340    63319     22 |  3.094 % |
508.31/508.54	c |   1034106 |    3383    21015    71240 |    64038    59064     22 |  3.095 % |
510.71/510.98	c |   1039411 |    3383    21015    71240 |    64038    64369     23 |  3.094 % |
513.81/514.01	c |   1045247 |    3382    21007    71216 |    55909    53156     23 |  3.122 % |
516.61/516.88	c |   1051667 |    3381    20998    71186 | 2147483647    53589     24 |  3.152 % |
519.61/519.84	c |   1058726 |    3379    20980    71129 | 2147483647    60637     24 |  3.209 % |
523.50/523.77	c |   1066491 |    3378    20980    71129 |    61911    61775     25 |  3.237 % |
527.60/527.89	c |   1075031 |    3378    20972    71105 |    58314    56350     24 |  3.237 % |
532.30/532.59	c |   1084425 |    3378    20972    71105 |    53550    50875     23 |  3.238 % |
532.40/532.63	c |   1084527 |    3378    20972    71105 |    53550    50977     23 |  3.237 % |
532.40/532.69	c |   1084639 |    3378    20972    71105 |    53550    51089     23 |  3.238 % |
532.50/532.74	c |   1084760 |    3378    20972    71105 |    53550    51210     23 |  3.237 % |
532.60/532.80	c |   1084894 |    3378    20972    71105 |    53550    51344     23 |  3.237 % |
532.60/532.87	c |   1085041 |    3378    20972    71105 |    53550    51491     23 |  3.237 % |
532.70/532.94	c |   1085201 |    3378    20972    71105 |    53550    51651     23 |  3.237 % |
532.80/533.02	c |   1085377 |    3378    20972    71105 |    53550    51827     23 |  3.237 % |
532.90/533.10	c |   1085570 |    3378    20972    71105 |    53550    52020     23 |  3.237 % |
533.00/533.22	c |   1085782 |    3378    20972    71105 |    53550    52232     23 |  3.238 % |
533.10/533.33	c |   1086016 |    3378    20972    71105 |    53550    52466     23 |  3.237 % |
533.20/533.44	c |   1086273 |    3378    20972    71105 |    53550    52723     23 |  3.237 % |
533.30/533.58	c |   1086554 |    3374    20931    70972 |    53550    52998     23 |  3.352 % |
533.50/533.73	c |   1086863 |    3374    20931    70972 |    53550    53307     23 |  3.353 % |
533.60/533.88	c |   1087203 |    3374    20931    70972 |    53550    53647     23 |  3.352 % |
533.80/534.04	c |   1087575 |    3374    20931    70972 |    53550    54019     23 |  3.352 % |
534.10/534.35	c |   1087986 |    3374    20931    70972 |    53550    48921     22 |  3.352 % |
534.30/534.54	c |   1088435 |    3374    20931    70972 |    53550    49370     22 |  3.352 % |
534.40/534.68	c |   1088928 |    3374    20931    70972 |    53550    49863     22 |  3.352 % |
534.60/534.88	c |   1089470 |    3374    20931    70972 |    53550    50405     22 |  3.352 % |
535.00/535.21	c |   1090067 |    3374    20931    70972 | 2147483647    51002     22 |  3.351 % |
535.20/535.49	c |   1090722 |    3374    20931    70972 | 2147483647    51657     22 |  3.352 % |
535.50/535.78	c |   1091442 |    3374    20931    70972 | 2147483647    52377     23 |  3.352 % |
535.90/536.15	c |   1092235 |    3374    20931    70972 | 2147483647    53170     23 |  3.352 % |
536.30/536.56	c |   1093107 |    3374    20931    70972 | 2147483647    54042     23 |  3.352 % |
536.70/536.95	c |   1094066 |    3374    20931    70972 | 2147483647    55001     23 |  3.352 % |
537.10/537.39	c |   1095119 |    3374    20931    70972 | 2147483647    56054     23 |  3.353 % |
537.70/537.91	c |   1096277 |    3374    20931    70972 | 2147483647    57212     23 |  3.352 % |
538.20/538.47	c |   1097551 |    3374    20931    70972 | 2147483647    58486     23 |  3.352 % |
538.90/539.11	c |   1098951 |    3374    20931    70972 | 2147483647    59886     23 |  3.353 % |
539.59/539.81	c |   1100492 |    3374    20931    70972 | 2147483647    61427     23 |  3.352 % |
540.29/540.54	c |   1102188 |    3374    20931    70972 | 2147483647    63123     23 |  3.352 % |
541.20/541.41	c |   1104051 |    3374    20931    70972 | 2147483647    64986     23 |  3.352 % |
542.29/542.53	c |   1106101 |    3374    20931    70972 | 2147483647    67036     23 |  3.352 % |
543.49/543.72	c |   1108356 |    3374    20931    70972 | 2147483647    69291     23 |  3.352 % |
544.79/545.06	c |   1110834 |    3374    20931    70972 |    70936    71769     23 |  3.352 % |
546.40/546.61	c |   1113561 |    3374    20931    70972 |    70936    62738     22 |  3.352 % |
547.89/548.16	c |   1116558 |    3374    20931    70972 |    70936    65735     22 |  3.353 % |
549.59/549.85	c |   1119854 |    3374    20931    70972 |    70936    69031     22 |  3.353 % |
551.69/551.94	c |   1123483 |    3374    20931    70972 |    69179    60018     21 |  3.353 % |
553.49/553.75	c |   1127470 |    3374    20931    70972 |    69179    64005     21 |  3.352 % |
555.99/556.21	c |   1131855 |    3374    20931    70972 |    66538    57827     21 |  3.352 % |
558.50/558.71	c |   1136678 |    3374    20931    70972 |    66538    62650     21 |  3.351 % |
561.29/561.52	c |   1141985 |    3374    20931    70972 |    65973    59085     21 |  3.352 % |
563.89/564.10	c |   1147821 |    3374    20931    70972 |    65973    64921     21 |  3.352 % |
567.29/567.53	c |   1154240 |    3374    20931    70972 |    57364    53496     21 |  3.352 % |
570.59/570.89	c |   1161299 |    3374    20931    70972 |    51093    45411     22 |  3.352 % |
574.08/574.33	c |   1169064 |    3374    20931    70972 |    51093    47926     22 |  3.352 % |
577.88/578.18	c |   1177604 |    3374    20931    70972 |    48863    45924     23 |  3.352 % |
582.08/582.32	c |   1186999 |    3374    20931    70972 | 2147483647    55319     24 |  3.352 % |
587.58/587.87	c |   1197334 |    3374    20931    70972 |    58320    56686     24 |  3.352 % |
587.68/587.92	c |   1197435 |    3374    20931    70972 |    58320    56787     24 |  3.352 % |
587.68/587.99	c |   1197545 |    3374    20931    70972 |    58320    56897     24 |  3.352 % |
587.78/588.08	c |   1197666 |    3374    20931    70972 |    58320    57018     24 |  3.353 % |
587.88/588.17	c |   1197803 |    3374    20931    70972 |    58320    57155     24 |  3.352 % |
587.98/588.27	c |   1197950 |    3374    20931    70972 |    58320    57302     24 |  3.351 % |
588.08/588.32	c |   1198110 |    3374    20931    70972 |    58320    57462     24 |  3.352 % |
588.18/588.40	c |   1198286 |    3374    20931    70972 |    58320    57638     24 |  3.351 % |
588.28/588.52	c |   1198479 |    3374    20931    70972 |    58320    57831     24 |  3.352 % |
588.38/588.62	c |   1198691 |    3374    20931    70972 |    58320    58043     24 |  3.352 % |
588.48/588.72	c |   1198927 |    3374    20931    70972 |    58320    58279     24 |  3.352 % |
588.58/588.84	c |   1199183 |    3374    20931    70972 |    58320    58535     24 |  3.352 % |
588.78/589.09	c |   1199464 |    3374    20931    70972 |    58320    49968     24 |  3.352 % |
588.98/589.20	c |   1199773 |    3374    20931    70972 |    58320    50277     24 |  3.352 % |
589.08/589.37	c |   1200112 |    3374    20931    70972 |    50505    50616     24 |  3.352 % |
589.28/589.51	c |   1200484 |    3374    20931    70972 |    50505    50988     24 |  3.352 % |
589.48/589.79	c |   1200893 |    3374    20931    70972 |    50505    44397     24 |  3.352 % |
589.68/589.94	c |   1201343 |    3374    20931    70972 |    50505    44847     24 |  3.352 % |
589.88/590.11	c |   1201837 |    3374    20931    70972 |    50505    45341     24 |  3.352 % |
590.08/590.31	c |   1202380 |    3374    20931    70972 |    50505    45884     24 |  3.352 % |
590.28/590.53	c |   1202977 |    3374    20931    70972 |    50505    46481     24 |  3.352 % |
590.48/590.80	c |   1203632 |    3373    20923    70948 |    50505    47133     24 |  3.381 % |
590.88/591.12	c |   1204353 |    3373    20923    70948 |    50505    47853     24 |  3.410 % |
591.18/591.44	c |   1205145 |    3372    20923    70948 |    50505    48645     24 |  3.409 % |
591.58/591.85	c |   1206017 |    3372    20923    70948 |    50505    49517     24 |  3.410 % |
591.98/592.29	c |   1206975 |    3372    20923    70948 |    50505    50475     24 |  3.410 % |
592.48/592.78	c |   1208029 |    3372    20923    70948 |    50505    51529     24 |  3.409 % |
593.18/593.47	c |   1209187 |    3372    20923    70948 |    50505    47084     23 |  3.409 % |
593.78/594.09	c |   1210460 |    3372    20909    70904 |    47894    48354     22 |  3.409 % |
594.48/594.70	c |   1211863 |    3372    20909    70904 |    47894    44866     22 |  3.409 % |
595.08/595.32	c |   1213404 |    3372    20909    70904 |    47894    46407     22 |  3.409 % |
595.68/595.93	c |   1215098 |    3372    20909    70904 |    47894    48101     22 |  3.409 % |
596.58/596.87	c |   1216962 |    3372    20909    70904 |    47894    45155     22 |  3.409 % |
597.38/597.67	c |   1219012 |    3372    20909    70904 |    47894    47205     22 |  3.409 % |
598.48/598.70	c |   1221265 |    3371    20900    70874 | 2147483647    49457     22 |  3.437 % |
599.57/599.80	c |   1223743 |    3371    20900    70874 | 2147483647    51935     22 |  3.438 % |
600.67/600.96	c |   1226471 |    3371    20900    70874 | 2147483647    54663     22 |  3.439 % |
602.17/602.44	c |   1229469 |    3371    20900    70874 | 2147483647    57661     22 |  3.438 % |
603.97/604.25	c |   1232765 |    3371    20900    70874 |    58194    54991     21 |  3.438 % |
605.47/605.73	c |   1236392 |    3371    20900    70874 |    58194    58618     22 |  3.437 % |
607.27/607.54	c |   1240382 |    3371    20900    70874 | 2147483647    56747     22 |  3.438 % |
609.37/609.66	c |   1244769 |    3370    20892    70850 | 2147483647    61132     22 |  3.467 % |
611.87/612.18	c |   1249593 |    3370    20892    70850 | 2147483647    65956     22 |  3.466 % |
614.87/615.14	c |   1254898 |    3370    20892    70850 |    66363    61705     22 |  3.467 % |
617.87/618.14	c |   1260733 |    3370    20892    70850 |    66807    67540     22 |  3.466 % |
621.27/621.53	c |   1267152 |    3369    20884    70826 |    66807    63808     22 |  3.496 % |
624.97/625.28	c |   1274211 |    3369    20884    70826 |    66657    61437     23 |  3.495 % |
629.47/629.70	c |   1281978 |    3368    20877    70802 |    67229    57944     23 |  3.554 % |
633.97/634.22	c |   1290518 |    3368    20877    70802 |    65966    66484     23 |  3.553 % |
638.96/639.25	c |   1299912 |    3366    20862    70757 |    65966    65832     23 |  3.610 % |
644.76/645.04	c |   1310245 |    3366    20862    70757 |    66437    66681     23 |  3.610 % |
650.36/650.65	c |   1321611 |    3365    20856    70739 |    67017    58496     22 |  3.609 % |
650.46/650.71	c |   1321712 |    3365    20856    70739 |    67017    58597     22 |  3.610 % |
650.46/650.77	c |   1321822 |    3365    20856    70739 |    67017    58707     22 |  3.610 % |
650.56/650.82	c |   1321943 |    3365    20856    70739 |    67017    58828     22 |  3.610 % |
650.66/650.90	c |   1322077 |    3365    20856    70739 |    67017    58962     22 |  3.610 % |
650.76/651.00	c |   1322223 |    3365    20856    70739 |    67017    59108     22 |  3.610 % |
650.76/651.07	c |   1322383 |    3365    20856    70739 |    67017    59268     22 |  3.610 % |
650.87/651.16	c |   1322562 |    3365    20856    70739 |    67017    59447     22 |  3.611 % |
650.97/651.23	c |   1322755 |    3365    20856    70739 |    67017    59640     22 |  3.610 % |
651.06/651.33	c |   1322967 |    3365    20856    70739 |    67017    59852     22 |  3.611 % |
651.16/651.44	c |   1323201 |    3365    20856    70739 |    67017    60086     22 |  3.610 % |
651.26/651.53	c |   1323458 |    3365    20856    70739 |    67017    60343     22 |  3.610 % |
651.36/651.64	c |   1323740 |    3365    20856    70739 |    67017    60625     22 |  3.610 % |
651.46/651.77	c |   1324051 |    3365    20856    70739 |    67017    60936     22 |  3.609 % |
651.66/651.95	c |   1324390 |    3365    20856    70739 |    67017    61275     22 |  3.610 % |
651.86/652.13	c |   1324762 |    3365    20856    70739 |    67017    61647     22 |  3.610 % |
651.96/652.28	c |   1325171 |    3365    20856    70739 |    67017    62056     22 |  3.610 % |
652.16/652.49	c |   1325621 |    3365    20856    70739 |    67017    62506     22 |  3.609 % |
652.36/652.69	c |   1326114 |    3365    20856    70739 |    67017    62999     22 |  3.610 % |
652.56/652.86	c |   1326657 |    3365    20856    70739 |    67017    63542     22 |  3.610 % |
652.86/653.12	c |   1327253 |    3365    20856    70739 |    67017    64138     22 |  3.609 % |
653.16/653.43	c |   1327909 |    3365    20856    70739 |    67017    64794     22 |  3.610 % |
653.46/653.77	c |   1328629 |    3365    20856    70739 |    67017    65514     22 |  3.610 % |
653.86/654.14	c |   1329421 |    3365    20856    70739 |    67017    66306     22 |  3.610 % |
654.26/654.55	c |   1330293 |    3365    20856    70739 |    66885    67178     22 |  3.610 % |
654.86/655.15	c |   1331251 |    3365    20856    70739 |    66885    59000     22 |  3.609 % |
655.36/655.60	c |   1332305 |    3365    20856    70739 |    66885    60054     22 |  3.609 % |
655.76/656.09	c |   1333463 |    3365    20856    70739 |    66885    61212     22 |  3.610 % |
656.46/656.71	c |   1334737 |    3365    20856    70739 |    66885    62486     23 |  3.610 % |
657.06/657.37	c |   1336137 |    3365    20856    70739 |    66885    63886     23 |  3.610 % |
657.76/658.07	c |   1337678 |    3365    20856    70739 |    66885    65427     23 |  3.609 % |
658.56/658.88	c |   1339373 |    3365    20856    70739 |    66885    67122     23 |  3.610 % |
659.76/660.02	c |   1341237 |    3365    20856    70739 |    59433    53334     22 |  3.610 % |
660.66/660.91	c |   1343286 |    3365    20856    70739 |    59433    55383     22 |  3.611 % |
661.76/662.02	c |   1345539 |    3365    20856    70739 |    59433    57636     22 |  3.610 % |
662.96/663.30	c |   1348019 |    3365    20856    70739 |    59433    60116     22 |  3.610 % |
664.36/664.60	c |   1350744 |    3365    20856    70739 |    53426    54170     22 |  3.610 % |
665.55/665.90	c |   1353742 |    3365    20856    70739 |    53426    50207     23 |  3.609 % |
666.95/667.26	c |   1357038 |    3365    20856    70739 |    53426    53503     23 |  3.609 % |
668.65/668.99	c |   1360663 |    3364    20848    70715 | 2147483647    51671     24 |  3.639 % |
670.16/670.44	c |   1364650 |    3364    20848    70715 | 2147483647    55658     24 |  3.638 % |
672.15/672.45	c |   1369035 |    3363    20841    70694 | 2147483647    60042     24 |  3.667 % |
674.85/675.13	c |   1373858 |    3363    20841    70694 |    61009    56534     23 |  3.668 % |
677.45/677.79	c |   1379163 |    3363    20841    70694 |    61009    61839     23 |  3.667 % |
680.55/680.84	c |   1384998 |    3363    20841    70694 |    53378    51597     22 |  3.667 % |
683.75/684.05	c |   1391416 |    3363    20841    70694 | 2147483647    52555     22 |  3.667 % |
686.95/687.25	c |   1398476 |    3363    20841    70694 | 2147483647    59615     22 |  3.667 % |
690.65/690.98	c |   1406242 |    3363    20841    70694 | 2147483647    67381     23 |  3.667 % |
694.95/695.27	c |   1414782 |    3363    20841    70694 |    71140    65610     23 |  3.667 % |
700.04/700.31	c |   1424177 |    3363    20841    70694 |    70828    64888     24 |  3.668 % |
705.74/706.06	c |   1434510 |    3363    20841    70694 |    70711    63122     25 |  3.668 % |
711.64/711.90	c |   1445876 |    3363    20841    70694 |    68615    63773     25 |  3.667 % |
718.25/718.57	c |   1458379 |    3363    20841    70694 |    67897    66449     23 |  3.667 % |
718.35/718.62	c |   1458480 |    3363    20841    70694 |    67897    66550     23 |  3.667 % |
718.35/718.67	c |   1458591 |    3363    20841    70694 |    67897    66661     23 |  3.667 % |
718.45/718.76	c |   1458714 |    3363    20841    70694 |    67897    66784     23 |  3.668 % |
718.55/718.82	c |   1458847 |    3363    20841    70694 |    67897    66917     23 |  3.668 % |
718.65/718.90	c |   1458995 |    3363    20841    70694 |    67897    67065     23 |  3.667 % |
718.75/719.00	c |   1459155 |    3363    20841    70694 |    67897    67225     23 |  3.667 % |
718.85/719.11	c |   1459332 |    3363    20841    70694 |    67897    67402     23 |  3.667 % |
718.95/719.20	c |   1459525 |    3363    20841    70694 |    67897    67595     23 |  3.667 % |
719.05/719.36	c |   1459738 |    3363    20841    70694 |    67897    67808     23 |  3.668 % |
719.15/719.50	c |   1459971 |    3363    20841    70694 |    67897    68041     23 |  3.667 % |
719.55/719.82	c |   1460227 |    3363    20841    70694 |    57355    57582     22 |  3.667 % |
719.74/720.05	c |   1460508 |    3363    20841    70694 |    57355    49092     21 |  3.668 % |
719.84/720.19	c |   1460817 |    3363    20841    70694 |    57355    49401     21 |  3.667 % |
720.04/720.35	c |   1461156 |    3363    20841    70694 |    57355    49740     21 |  3.667 % |
720.15/720.48	c |   1461528 |    3363    20841    70694 |    57355    50112     21 |  3.667 % |
720.34/720.68	c |   1461937 |    3363    20841    70694 |    57355    50521     21 |  3.667 % |
720.54/720.87	c |   1462386 |    3363    20841    70694 |    57355    50970     21 |  3.667 % |
720.74/721.08	c |   1462880 |    3363    20841    70694 |    57355    51464     21 |  3.667 % |
720.94/721.28	c |   1463424 |    3363    20841    70694 |    57355    52008     22 |  3.668 % |
721.25/721.58	c |   1464022 |    3363    20841    70694 |    57355    52606     22 |  3.667 % |
721.54/721.89	c |   1464678 |    3363    20841    70694 |    57355    53262     22 |  3.668 % |
721.84/722.18	c |   1465398 |    3363    20841    70694 |    57355    53982     22 |  3.668 % |
722.24/722.55	c |   1466191 |    3363    20841    70694 |    57355    54775     22 |  3.667 % |
722.74/723.01	c |   1467062 |    3363    20841    70694 |    57355    55646     22 |  3.667 % |
723.14/723.48	c |   1468020 |    3363    20841    70694 |    57355    56604     22 |  3.668 % |
723.74/724.07	c |   1469076 |    3363    20841    70694 |    57355    57660     22 |  3.668 % |
724.34/724.69	c |   1470234 |    3363    20841    70694 |    51001    51235     21 |  3.667 % |
724.84/725.19	c |   1471508 |    3363    20841    70694 |    51001    46312     21 |  3.667 % |
725.44/725.71	c |   1472908 |    3363    20841    70694 |    51001    47712     21 |  3.667 % |
725.94/726.29	c |   1474449 |    3363    20841    70694 |    51001    49253     21 |  3.667 % |
726.64/726.95	c |   1476143 |    3363    20841    70694 |    51001    50947     21 |  3.667 % |
727.54/727.86	c |   1478006 |    3363    20841    70694 |    51001    47615     22 |  3.667 % |
728.44/728.71	c |   1480055 |    3363    20841    70694 | 2147483647    49664     22 |  3.667 % |
729.44/729.72	c |   1482308 |    3363    20841    70694 | 2147483647    51917     22 |  3.668 % |
730.64/730.96	c |   1484786 |    3363    20841    70694 | 2147483647    54395     22 |  3.667 % |
731.84/732.17	c |   1487511 |    3361    20824    70637 | 2147483647    57117     22 |  3.725 % |
733.44/733.70	c |   1490508 |    3361    20824    70637 |    59606    60114     22 |  3.725 % |
735.14/735.49	c |   1493804 |    3361    20824    70637 |    59606    55931     22 |  3.724 % |
736.94/737.21	c |   1497429 |    3360    20815    70607 |    59606    59551     22 |  3.753 % |
739.14/739.42	c |   1501416 |    3360    20815    70607 |    55007    50356     22 |  3.753 % |
741.14/741.49	c |   1505802 |    3359    20808    70586 |    55007    54741     22 |  3.782 % |
743.63/743.96	c |   1510625 |    3359    20808    70586 |    52920    53545     22 |  3.782 % |
746.23/746.58	c |   1515931 |    3359    20808    70586 |    52920    53372     21 |  3.781 % |
749.23/749.52	c |   1521766 |    3359    20808    70586 | 2147483647    53870     21 |  3.782 % |
752.14/752.45	c |   1528185 |    3359    20808    70586 | 2147483647    60289     21 |  3.782 % |
755.53/755.81	c |   1535244 |    3359    20808    70586 |    62104    58222     20 |  3.781 % |
759.13/759.48	c |   1543008 |    3359    20808    70586 |    62979    56053     20 |  3.782 % |
763.33/763.67	c |   1551549 |    3358    20800    70562 | 2147483647    64588     21 |  3.810 % |
768.43/768.74	c |   1560943 |    3358    20800    70562 |    73039    73982     21 |  3.810 % |
774.03/774.34	c |   1571278 |    3358    20800    70562 |    71053    61970     22 |  3.810 % |
780.93/781.23	c |   1582644 |    3357    20792    70535 |    70691    60188     23 |  3.840 % |
787.92/788.27	c |   1595147 |    3356    20783    70505 |    67542    59955     23 |  3.869 % |
795.52/795.80	c |   1608899 |    3354    20766    70451 |    64809    64118     23 |  3.925 % |
795.52/795.86	c |   1609000 |    3354    20766    70451 |    64809    64219     23 |  3.925 % |
795.62/795.94	c |   1609110 |    3354    20766    70451 |    64809    64329     23 |  3.926 % |
795.72/796.02	c |   1609231 |    3354    20766    70451 |    64809    64450     23 |  3.925 % |
795.82/796.10	c |   1609365 |    3354    20766    70451 |    64809    64584     23 |  3.926 % |
795.82/796.19	c |   1609513 |    3354    20766    70451 |    64809    64732     23 |  3.925 % |
795.92/796.29	c |   1609673 |    3354    20766    70451 |    64809    64892     23 |  3.925 % |
796.02/796.36	c |   1609850 |    3354    20766    70451 |    64809    65069     23 |  3.924 % |
796.32/796.64	c |   1610044 |    3354    20766    70451 |    55240    55284     22 |  3.924 % |
796.42/796.73	c |   1610257 |    3354    20766    70451 |    55240    55497     22 |  3.926 % |
796.62/796.96	c |   1610491 |    3354    20766    70451 |    55240    47383     21 |  3.925 % |
796.72/797.08	c |   1610747 |    3354    20766    70451 |    55240    47639     21 |  3.924 % |
796.82/797.15	c |   1611029 |    3354    20766    70451 |    55240    47921     22 |  3.924 % |
796.92/797.28	c |   1611339 |    3354    20766    70451 |    55240    48231     22 |  3.926 % |
797.02/797.39	c |   1611679 |    3354    20766    70451 |    55240    48571     22 |  3.925 % |
797.22/797.52	c |   1612052 |    3354    20766    70451 |    55240    48944     22 |  3.925 % |
797.42/797.74	c |   1612462 |    3354    20766    70451 |    55240    49354     22 |  3.925 % |
797.62/797.95	c |   1612911 |    3354    20766    70451 |    55240    49803     22 |  3.925 % |
797.82/798.18	c |   1613405 |    3354    20766    70451 |    55240    50297     22 |  3.925 % |
798.12/798.45	c |   1613947 |    3354    20766    70451 |    55240    50839     22 |  3.925 % |
798.42/798.73	c |   1614543 |    3354    20766    70451 |    55240    51435     22 |  3.925 % |
798.72/799.02	c |   1615198 |    3354    20766    70451 |    55240    52090     22 |  3.925 % |
799.02/799.30	c |   1615920 |    3354    20766    70451 |    55240    52812     22 |  3.925 % |
799.32/799.68	c |   1616712 |    3354    20766    70451 |    55240    53604     22 |  3.925 % |
799.82/800.10	c |   1617584 |    3354    20766    70451 |    55240    54476     22 |  3.925 % |
800.22/800.59	c |   1618543 |    3354    20766    70451 |    55240    55435     22 |  3.925 % |
800.81/801.17	c |   1619597 |    3353    20758    70424 |    55240    50737     22 |  3.954 % |
801.41/801.75	c |   1620755 |    3353    20758    70424 |    51141    51895     22 |  3.954 % |
802.01/802.38	c |   1622028 |    3353    20758    70424 |    51141    47979     21 |  3.953 % |
802.72/803.07	c |   1623428 |    3353    20758    70424 |    51141    49379     21 |  3.953 % |
803.41/803.76	c |   1624969 |    3353    20758    70424 |    51141    50920     22 |  3.954 % |
804.21/804.57	c |   1626665 |    3353    20758    70424 |    51141    47387     21 |  3.953 % |
804.92/805.27	c |   1628529 |    3353    20758    70424 |    51141    49251     21 |  3.954 % |
805.92/806.26	c |   1630578 |    3353    20758    70424 | 2147483647    51300     21 |  3.954 % |
806.91/807.24	c |   1632833 |    3353    20758    70424 | 2147483647    53555     21 |  3.954 % |
807.91/808.23	c |   1635312 |    3353    20758    70424 | 2147483647    56034     22 |  3.953 % |
809.11/809.49	c |   1638038 |    3353    20758    70424 | 2147483647    58760     22 |  3.953 % |
810.41/810.74	c |   1641035 |    3353    20758    70424 | 2147483647    61757     22 |  3.954 % |
811.81/812.11	c |   1644334 |    3351    20751    70403 | 2147483647    65054     22 |  4.011 % |
813.61/813.97	c |   1647960 |    3351    20751    70403 | 2147483647    68680     22 |  4.011 % |
816.11/816.43	c |   1651948 |    3351    20745    70385 |    70719    62946     22 |  4.011 % |
818.51/818.84	c |   1656334 |    3351    20745    70385 |    70719    67332     21 |  4.012 % |
821.31/821.70	c |   1661157 |    3351    20745    70385 |    70998    72155     22 |  4.011 % |
824.41/824.78	c |   1666464 |    3351    20745    70385 |    70998    66324     21 |  4.011 % |
827.70/828.05	c |   1672299 |    3351    20745    70385 |    69860    59776     21 |  4.011 % |
831.31/831.63	c |   1678717 |    3351    20745    70385 |    69860    66194     21 |  4.011 % |
835.20/835.56	c |   1685776 |    3350    20737    70358 |    67477    60903     20 |  4.040 % |
839.40/839.76	c |   1693540 |    3350    20737    70358 |    65127    59828     20 |  4.040 % |
843.70/844.08	c |   1702080 |    3350    20737    70358 |    57878    52706     21 |  4.039 % |
848.20/848.55	c |   1711474 |    3350    20737    70358 |    53416    48818     20 |  4.040 % |
852.80/853.18	c |   1721808 |    3349    20729    70334 |    51369    47731     21 |  4.068 % |
857.90/858.25	c |   1733176 |    3348    20721    70310 | 2147483647    53897     22 |  4.097 % |
864.39/864.79	c |   1745678 |    3348    20721    70310 | 2147483647    66399     23 |  4.097 % |
872.19/872.55	c |   1759430 |    3348    20721    70310 |    70721    67236     23 |  4.096 % |
879.79/880.13	c |   1774558 |    3348    20721    70310 |    65529    59234     25 |  4.097 % |
879.79/880.17	c |   1774658 |    3348    20721    70310 |    65529    59334     25 |  4.098 % |
879.89/880.25	c |   1774768 |    3348    20721    70310 |    65529    59444     25 |  4.097 % |
879.99/880.32	c |   1774890 |    3348    20721    70310 |    65529    59566     25 |  4.096 % |
879.99/880.39	c |   1775023 |    3347    20713    70286 |    65529    59697     25 |  4.125 % |
880.09/880.49	c |   1775169 |    3347    20713    70286 |    65529    59843     25 |  4.125 % |
880.19/880.57	c |   1775329 |    3347    20713    70286 |    65529    60003     25 |  4.125 % |
880.29/880.67	c |   1775507 |    3347    20713    70286 |    65529    60181     25 |  4.126 % |
880.39/880.78	c |   1775701 |    3347    20713    70286 |    65529    60375     24 |  4.126 % |
880.59/880.91	c |   1775913 |    3347    20713    70286 |    65529    60587     24 |  4.125 % |
880.70/881.05	c |   1776149 |    3347    20713    70286 |    65529    60823     24 |  4.127 % |
880.80/881.18	c |   1776407 |    3347    20713    70286 |    65529    61081     24 |  4.125 % |
880.99/881.30	c |   1776689 |    3347    20713    70286 |    65529    61363     24 |  4.125 % |
881.09/881.46	c |   1776999 |    3347    20713    70286 |    65529    61673     24 |  4.125 % |
881.29/881.63	c |   1777338 |    3347    20713    70286 |    65529    62012     24 |  4.126 % |
881.49/881.82	c |   1777710 |    3347    20713    70286 |    65529    62384     24 |  4.125 % |
881.59/881.98	c |   1778119 |    3347    20713    70286 |    65529    62793     24 |  4.125 % |
881.89/882.21	c |   1778569 |    3347    20713    70286 |    65529    63243     24 |  4.125 % |
882.09/882.46	c |   1779062 |    3347    20713    70286 |    65529    63736     24 |  4.125 % |
882.49/882.83	c |   1779606 |    3347    20713    70286 |    65529    64280     24 |  4.126 % |
882.79/883.11	c |   1780203 |    3347    20713    70286 |    64674    64877     24 |  4.125 % |
883.29/883.68	c |   1780858 |    3347    20713    70286 |    64674    56222     25 |  4.125 % |
883.59/883.98	c |   1781579 |    3346    20706    70265 |    64674    56941     24 |  4.183 % |
884.10/884.40	c |   1782371 |    3345    20706    70265 |    64674    57733     24 |  4.184 % |
884.39/884.77	c |   1783244 |    3345    20706    70265 |    64674    58606     24 |  4.183 % |
884.89/885.25	c |   1784203 |    3345    20706    70265 |    64674    59565     24 |  4.183 % |
885.39/885.75	c |   1785257 |    3345    20706    70265 |    64674    60619     24 |  4.182 % |
885.99/886.35	c |   1786416 |    3345    20706    70265 |    64674    61778     24 |  4.182 % |
886.69/887.00	c |   1787689 |    3345    20706    70265 |    64674    63051     24 |  4.183 % |
887.39/887.78	c |   1789089 |    3345    20658    70086 |    64674    64449     24 |  4.183 % |
888.29/888.69	c |   1790629 |    3345    20658    70086 |    65361    65989     24 |  4.183 % |
889.29/889.60	c |   1792323 |    3345    20658    70086 |    65361    60144     24 |  4.182 % |
890.19/890.56	c |   1794186 |    3345    20658    70086 |    65361    62007     24 |  4.182 % |
891.29/891.63	c |   1796235 |    3345    20658    70086 |    65361    64056     24 |  4.183 % |
892.79/893.11	c |   1798489 |    3345    20658    70086 |    65361    58379     23 |  4.183 % |
894.29/894.62	c |   1800968 |    3345    20658    70086 |    59890    53810     23 |  4.183 % |
895.69/896.06	c |   1803697 |    3345    20658    70086 |    59890    56539     23 |  4.183 % |
897.08/897.45	c |   1806695 |    3343    20643    70035 |    59890    59536     23 |  4.241 % |
898.58/898.91	c |   1809993 |    3343    20643    70035 |    59890    56040     23 |  4.240 % |
900.18/900.52	c |   1813618 |    3343    20643    70035 |    56047    53930     23 |  4.240 % |
902.08/902.49	c |   1817606 |    3342    20635    70008 |    56047    51961     22 |  4.269 % |
904.38/904.70	c |   1821991 |    3342    20635    70008 | 2147483647    56346     22 |  4.269 % |
906.58/906.90	c |   1826814 |    3342    20635    70008 | 2147483647    61169     22 |  4.269 % |
909.58/909.90	c |   1832120 |    3342    20635    70008 |    64355    58069     22 |  4.269 % |
912.08/912.44	c |   1837956 |    3342    20635    70008 |    64355    63905     23 |  4.268 % |
915.18/915.57	c |   1844375 |    3342    20635    70008 |    58528    55196     23 |  4.269 % |
918.68/919.05	c |   1851435 |    3342    20635    70008 |    52818    47233     23 |  4.270 % |
922.48/922.81	c |   1859200 |    3342    20635    70008 |    52818    49592     23 |  4.269 % |
926.78/927.17	c |   1867740 |    3342    20635    70008 | 2147483647    58132     23 |  4.269 % |
932.18/932.58	c |   1877134 |    3342    20635    70008 |    60393    59574     22 |  4.269 % |
937.27/937.63	c |   1887467 |    3338    20619    69954 |    53810    54497     21 |  4.383 % |
942.87/943.25	c |   1898834 |    3337    20593    69874 | 2147483647    60407     20 |  4.412 % |
948.47/948.85	c |   1911336 |    3337    20593    69874 |    71573    64154     22 |  4.412 % |
955.47/955.86	c |   1925091 |    3337    20593    69874 |    62852    59022     23 |  4.411 % |
963.46/963.80	c |   1940218 |    3337    20593    69874 |    64693    64906     22 |  4.412 % |
972.26/972.63	c |   1956857 |    3336    20583    69841 |    64108    60752     22 |  4.441 % |
972.26/972.67	c |   1956957 |    3336    20583    69841 |    64108    60852     22 |  4.441 % |
972.36/972.74	c |   1957067 |    3336    20583    69841 |    64108    60962     22 |  4.440 % |
972.46/972.82	c |   1957188 |    3336    20583    69841 |    64108    61083     22 |  4.441 % |
972.46/972.89	c |   1957321 |    3336    20583    69841 |    64108    61216     22 |  4.440 % |
972.56/972.97	c |   1957468 |    3336    20583    69841 |    64108    61363     22 |  4.441 % |
972.66/973.07	c |   1957629 |    3336    20583    69841 |    64108    61524     22 |  4.440 % |
972.76/973.17	c |   1957805 |    3336    20583    69841 |    64108    61700     22 |  4.441 % |
972.86/973.27	c |   1958001 |    3336    20583    69841 |    64108    61896     22 |  4.440 % |
972.96/973.39	c |   1958213 |    3336    20583    69841 |    64108    62108     22 |  4.441 % |
973.06/973.48	c |   1958446 |    3336    20583    69841 |    64108    62341     22 |  4.441 % |
973.16/973.59	c |   1958702 |    3336    20583    69841 |    64108    62597     22 |  4.440 % |
973.36/973.71	c |   1958984 |    3336    20583    69841 |    64108    62879     22 |  4.441 % |
973.46/973.83	c |   1959294 |    3336    20583    69841 |    64108    63189     22 |  4.442 % |
973.56/973.95	c |   1959633 |    3336    20583    69841 |    64108    63528     22 |  4.440 % |
973.76/974.11	c |   1960005 |    3336    20583    69841 |    63896    63900     22 |  4.440 % |
973.96/974.30	c |   1960414 |    3336    20583    69841 |    63896    64309     22 |  4.440 % |
974.26/974.68	c |   1960865 |    3336    20583    69841 |    63896    56012     21 |  4.440 % |
974.47/974.89	c |   1961359 |    3336    20583    69841 |    63896    56506     21 |  4.440 % |
974.77/975.11	c |   1961901 |    3336    20583    69841 |    63896    57048     21 |  4.440 % |
974.97/975.36	c |   1962497 |    3336    20583    69841 |    63896    57644     21 |  4.440 % |
975.17/975.57	c |   1963152 |    3336    20583    69841 |    63896    58299     21 |  4.441 % |
975.47/975.84	c |   1963872 |    3336    20583    69841 |    63896    59019     21 |  4.440 % |
975.87/976.22	c |   1964664 |    3336    20583    69841 |    63896    59811     21 |  4.441 % |
976.27/976.62	c |   1965536 |    3336    20583    69841 |    63896    60683     21 |  4.441 % |
976.77/977.11	c |   1966494 |    3336    20583    69841 |    63896    61641     22 |  4.441 % |
977.27/977.61	c |   1967548 |    3336    20583    69841 |    63896    62695     21 |  4.441 % |
977.87/978.24	c |   1968708 |    3336    20583    69841 |    63896    63855     22 |  4.441 % |
978.57/978.98	c |   1969981 |    3336    20583    69841 |    63896    57279     21 |  4.441 % |
979.47/979.84	c |   1971381 |    3336    20583    69841 |    57298    51924     21 |  4.441 % |
980.07/980.45	c |   1972921 |    3336    20583    69841 |    57298    53464     21 |  4.441 % |
980.87/981.25	c |   1974615 |    3336    20583    69841 |    57298    55158     21 |  4.440 % |
981.76/982.17	c |   1976478 |    3336    20583    69841 |    57298    57021     22 |  4.440 % |
982.97/983.31	c |   1978527 |    3336    20583    69841 |    57298    52080     22 |  4.440 % |
983.86/984.23	c |   1980781 |    3336    20583    69841 |    53555    54334     22 |  4.441 % |
984.66/985.00	c |   1983260 |    3336    20583    69841 |    53555    49968     22 |  4.440 % |
985.36/985.75	c |   1985986 |    3336    20583    69841 |    53555    52694     22 |  4.441 % |
986.66/987.07	c |   1988984 |    3336    20583    69841 |    53555    50310     22 |  4.440 % |
987.86/988.29	c |   1992280 |    3336    20583    69841 | 2147483647    53606     22 |  4.440 % |
989.36/989.72	c |   1995906 |    3336    20583    69841 | 2147483647    57232     23 |  4.440 % |
991.16/991.56	c |   1999894 |    3332    20554    69746 | 2147483647    61219     23 |  4.556 % |
993.16/993.52	c |   2004280 |    3332    20554    69746 | 2147483647    65605     23 |  4.556 % |
995.86/996.29	c |   2009105 |    3332    20554    69746 | 2147483647    70430     23 |  4.556 % |
998.96/999.36	c |   2014410 |    3331    20547    69725 |    71326    66512     23 |  4.584 % |
1002.06/1002.45	c |   2020245 |    3331    20547    69725 |    72102    72347     23 |  4.584 % |
1005.26/1005.66	c |   2026663 |    3331    20547    69725 |    72102    65923     22 |  4.584 % |
1008.95/1009.36	c |   2033723 |    3331    20547    69725 |    69261    59955     22 |  4.584 % |
1012.95/1013.30	c |   2041487 |    3331    20547    69725 |    66233    55159     20 |  4.584 % |
1017.05/1017.49	c |   2050027 |    3331    20547    69725 |    63672    63699     21 |  4.584 % |
1022.25/1022.67	c |   2059422 |    3331    20547    69725 |    63672    61826     21 |  4.584 % |
1027.75/1028.18	c |   2069755 |    3331    20547    69725 |    62406    60961     21 |  4.584 % |
1034.34/1034.74	c |   2081122 |    3331    20547    69725 |    55120    49899     21 |  4.584 % |
1040.54/1040.91	c |   2093625 |    3331    20547    69725 |    52623    49671     20 |  4.584 % |
1046.44/1046.90	c |   2107377 |    3331    20547    69725 | 2147483647    58059     21 |  4.584 % |
1053.54/1053.99	c |   2122507 |    3331    20547    69725 | 2147483647    73189     21 |  4.583 % |
1062.24/1062.61	c |   2139146 |    3331    20547    69725 |    80682    76349     22 |  4.585 % |
1073.53/1073.99	c |   2157449 |    3329    20533    69680 |    72599    64698     23 |  4.641 % |
1073.63/1074.05	c |   2157549 |    3329    20533    69680 |    72599    64798     23 |  4.641 % |
1073.73/1074.14	c |   2157660 |    3329    20533    69680 |    72599    64909     23 |  4.641 % |
1073.83/1074.21	c |   2157781 |    3329    20533    69680 |    72599    65030     23 |  4.641 % |
1073.93/1074.31	c |   2157914 |    3329    20533    69680 |    72599    65163     23 |  4.641 % |
1073.93/1074.39	c |   2158060 |    3329    20533    69680 |    72599    65309     23 |  4.641 % |
1074.03/1074.49	c |   2158220 |    3329    20533    69680 |    72599    65469     23 |  4.641 % |
1074.13/1074.57	c |   2158396 |    3329    20533    69680 |    72599    65645     23 |  4.641 % |
1074.24/1074.67	c |   2158589 |    3329    20533    69680 |    72599    65838     23 |  4.642 % |
1074.34/1074.79	c |   2158801 |    3329    20533    69680 |    72599    66050     23 |  4.641 % |
1074.53/1074.91	c |   2159035 |    3329    20533    69680 |    72599    66284     23 |  4.641 % |
1074.63/1075.01	c |   2159291 |    3329    20533    69680 |    72599    66540     23 |  4.641 % |
1074.73/1075.12	c |   2159572 |    3329    20533    69680 |    72599    66821     23 |  4.641 % |
1074.93/1075.32	c |   2159881 |    3329    20533    69680 |    72599    67130     23 |  4.641 % |
1075.03/1075.50	c |   2160223 |    3329    20533    69680 |    67250    67472     23 |  4.641 % |
1075.44/1075.87	c |   2160595 |    3329    20533    69680 |    67250    55964     23 |  4.641 % |
1075.73/1076.10	c |   2161004 |    3329    20533    69680 |    67250    56373     23 |  4.641 % |
1075.93/1076.30	c |   2161454 |    3329    20533    69680 |    67250    56823     23 |  4.641 % |
1076.13/1076.51	c |   2161947 |    3329    20533    69680 |    67250    57316     23 |  4.641 % |
1076.33/1076.76	c |   2162490 |    3329    20533    69680 |    67250    57859     23 |  4.641 % |
1076.63/1077.08	c |   2163086 |    3329    20533    69680 |    67250    58455     23 |  4.641 % |
1077.03/1077.47	c |   2163741 |    3329    20533    69680 |    67250    59110     23 |  4.641 % |
1077.43/1077.87	c |   2164461 |    3329    20533    69680 |    67250    59830     23 |  4.641 % |
1077.83/1078.21	c |   2165254 |    3329    20533    69680 |    67250    60623     23 |  4.641 % |
1078.23/1078.64	c |   2166125 |    3329    20533    69680 |    67250    61494     23 |  4.642 % |
1078.73/1079.17	c |   2167083 |    3329    20533    69680 |    67250    62452     23 |  4.641 % |
1079.43/1079.82	c |   2168138 |    3329    20533    69680 |    67250    63507     23 |  4.641 % |
1079.93/1080.39	c |   2169296 |    3329    20533    69680 |    67250    64665     23 |  4.641 % |
1080.63/1081.06	c |   2170569 |    3329    20533    69680 |    65369    65938     23 |  4.641 % |
1081.53/1081.98	c |   2171970 |    3328    20524    69650 |    65369    58260     23 |  4.670 % |
1082.23/1082.68	c |   2173510 |    3328    20524    69650 |    65369    59800     23 |  4.670 % |
1083.13/1083.58	c |   2175204 |    3328    20524    69650 |    65369    61494     23 |  4.670 % |
1084.03/1084.48	c |   2177068 |    3328    20524    69650 |    65369    63358     23 |  4.670 % |
1085.13/1085.58	c |   2179117 |    3328    20524    69650 |    65369    65407     23 |  4.670 % |
1086.63/1087.04	c |   2181370 |    3326    20507    69596 |    66291    57276     23 |  4.727 % |
1087.83/1088.23	c |   2183848 |    3326    20507    69596 |    66291    59754     23 |  4.727 % |
1089.23/1089.64	c |   2186573 |    3326    20507    69596 |    66291    62479     23 |  4.727 % |
1090.83/1091.22	c |   2189570 |    3326    20507    69596 |    66291    65476     23 |  4.726 % |
1092.72/1093.13	c |   2192867 |    3326    20507    69596 |    65907    57551     22 |  4.727 % |
1094.52/1094.90	c |   2196492 |    3323    20502    69573 |    65907    60525     22 |  4.812 % |
1095.92/1096.33	c |   2200480 |    3323    20502    69573 |    64034    64513     23 |  4.813 % |
1097.92/1098.32	c |   2204865 |    3323    20479    69499 |    64034    60318     23 |  4.814 % |
1099.92/1100.38	c |   2209689 |    3323    20479    69499 |    64034    65142     23 |  4.813 % |
1102.52/1102.99	c |   2214994 |    3323    20479    69499 |    58849    57326     23 |  4.812 % |
1105.32/1105.70	c |   2220829 |    3323    20479    69499 |    55135    55964     23 |  4.813 % |
1108.22/1108.69	c |   2227247 |    3323    20479    69499 |    55135    55614     23 |  4.813 % |
1111.83/1112.20	c |   2234306 |    3323    20479    69499 |    52039    50499     24 |  4.813 % |
1115.72/1116.16	c |   2242071 |    3323    20479    69499 |    50547    47307     23 |  4.813 % |
1119.22/1119.68	c |   2250611 |    3322    20472    69478 | 2147483647    50664     23 |  4.842 % |
1123.32/1123.79	c |   2260006 |    3322    20472    69478 | 2147483647    60059     23 |  4.841 % |
1128.42/1128.85	c |   2270339 |    3322    20472    69478 |    70053    70392     22 |  4.842 % |
1134.42/1134.86	c |   2281705 |    3321    20464    69451 |    69749    61069     22 |  4.870 % |
1140.42/1140.84	c |   2294207 |    3319    20457    69430 |    69365    63976     22 |  4.985 % |
1147.92/1148.34	c |   2307959 |    3319    20457    69430 |    69769    66971     22 |  5.013 % |
1156.82/1157.25	c |   2323087 |    3316    20428    69340 |    67177    59646     22 |  5.013 % |
1165.71/1166.17	c |   2339727 |    3316    20428    69340 |    66559    65270     23 |  5.014 % |
1174.41/1174.83	c |   2358031 |    3316    20428    69340 |    63358    60116     24 |  5.013 % |
1184.51/1184.98	c |   2378164 |    3315    20421    69319 |    60851    58719     23 |  5.042 % |
1184.61/1185.03	c |   2378264 |    3315    20421    69319 |    60851    58819     23 |  5.042 % |
1184.61/1185.09	c |   2378375 |    3315    20421    69319 |    60851    58930     23 |  5.043 % |
1184.71/1185.15	c |   2378496 |    3315    20421    69319 |    60851    59051     23 |  5.042 % |
1184.81/1185.21	c |   2378629 |    3315    20421    69319 |    60851    59184     23 |  5.042 % |
1184.81/1185.28	c |   2378777 |    3315    20421    69319 |    60851    59332     23 |  5.042 % |
1184.91/1185.35	c |   2378940 |    3315    20421    69319 |    60851    59495     23 |  5.042 % |
1185.01/1185.44	c |   2379117 |    3315    20421    69319 |    60851    59672     23 |  5.042 % |
1185.11/1185.53	c |   2379310 |    3315    20421    69319 |    60851    59865     23 |  5.042 % |
1185.21/1185.63	c |   2379522 |    3315    20421    69319 |    60851    60077     23 |  5.042 % |
1185.31/1185.77	c |   2379755 |    3315    20421    69319 |    60851    60310     23 |  5.042 % |
1185.51/1185.90	c |   2380011 |    3315    20421    69319 |    60556    60566     23 |  5.042 % |
1185.60/1186.03	c |   2380292 |    3315    20421    69319 |    60556    60847     23 |  5.042 % |
1185.90/1186.32	c |   2380601 |    3315    20421    69319 |    60556    53206     22 |  5.042 % |
1186.00/1186.43	c |   2380941 |    3315    20421    69319 |    60556    53546     22 |  5.042 % |
1186.10/1186.58	c |   2381313 |    3315    20421    69319 |    60556    53918     22 |  5.042 % |
1186.30/1186.72	c |   2381724 |    3315    20421    69319 |    60556    54329     22 |  5.042 % |
1186.41/1186.83	c |   2382173 |    3315    20421    69319 |    60556    54778     22 |  5.042 % |
1186.60/1187.00	c |   2382667 |    3315    20421    69319 |    60556    55272     22 |  5.042 % |
1186.80/1187.20	c |   2383209 |    3315    20421    69319 |    60556    55814     22 |  5.042 % |
1186.90/1187.39	c |   2383806 |    3315    20421    69319 |    60556    56411     22 |  5.042 % |
1187.20/1187.66	c |   2384461 |    3315    20421    69319 |    60556    57066     22 |  5.042 % |
1187.51/1187.95	c |   2385183 |    3315    20421    69319 |    60556    57788     22 |  5.042 % |
1187.90/1188.32	c |   2385975 |    3315    20421    69319 |    60556    58580     22 |  5.042 % |
1188.20/1188.64	c |   2386846 |    3315    20421    69319 |    60556    59451     22 |  5.042 % |
1188.50/1188.97	c |   2387805 |    3315    20421    69319 |    60556    60410     23 |  5.042 % |
1189.00/1189.45	c |   2388858 |    3315    20421    69319 |    60556    61463     23 |  5.042 % |
1189.60/1190.04	c |   2390016 |    3315    20421    69319 | 2147483647    56475     23 |  5.042 % |
1190.20/1190.64	c |   2391290 |    3315    20421    69319 | 2147483647    57749     23 |  5.042 % |
1190.91/1191.31	c |   2392691 |    3315    20421    69319 | 2147483647    59150     23 |  5.042 % |
1191.50/1191.96	c |   2394231 |    3315    20421    69319 | 2147483647    60690     23 |  5.042 % |
1192.30/1192.73	c |   2395926 |    3314    20414    69298 | 2147483647    62384     23 |  5.072 % |
1193.20/1193.61	c |   2397791 |    3314    20414    69298 | 2147483647    64249     23 |  5.071 % |
1194.30/1194.70	c |   2399841 |    3314    20414    69298 | 2147483647    66299     23 |  5.071 % |
1195.31/1195.75	c |   2402094 |    3314    20414    69298 | 2147483647    68552     23 |  5.071 % |
1196.70/1197.11	c |   2404572 |    3314    20414    69298 | 2147483647    71030     23 |  5.071 % |
1198.30/1198.76	c |   2407297 |    3314    20414    69298 | 2147483647    73755     23 |  5.071 % |
1199.90/1200.39	c |   2410294 |    3314    20414    69298 |    76460    76752     23 |  5.071 % |
1200.11/1200.50	HOME/SatELiteGTI: line 36:  5409 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834203-1242828692/watcher-1834203-1242828692 -o /tmp/evaluation-result-1834203-1242828692/solver-1834203-1242828692 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834203-1242828692.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.00 1.00 1.00 3/67 5403
/proc/meminfo: memFree=1584136/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310895387 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 209560764498 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/5403/statm: 1339 235 195 169 0 50 0
[pid=5404] ppid=5403 vsize=5356 CPUtime=0
/proc/5404/stat : 5404 (SatELiteGTI) R 5403 5403 5088 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310895387 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/5404/statm: 1339 238 198 169 0 50 0
[pid=5406] ppid=5404 vsize=0 CPUtime=0
/proc/5406/stat : 5406 (sed) Z 5404 5403 5088 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310895387 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/5406/statm: 0 0 0 0 0 0 0

[startup+0.0168679 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 5403
/proc/meminfo: memFree=1584136/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310895387 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5403/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101882 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 5403
/proc/meminfo: memFree=1584136/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.301897 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 5403
/proc/meminfo: memFree=1584136/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+0.701935 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 5403
/proc/meminfo: memFree=1584136/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1580792/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=4308 CPUtime=1.4
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 800 0 0 0 140 0 0 0 25 0 1 0 310895396 4411392 786 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 1077 786 76 171 0 904 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9664

[startup+3.10214 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1579896/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=5572 CPUtime=2.99
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 1127 0 0 0 299 0 0 0 25 0 1 0 310895396 5705728 1113 1992294400 134512640 135215339 4294956240 18446744073709551615 134532624 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 1393 1113 76 171 0 1220 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10928

[startup+6.30143 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1577464/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=7600 CPUtime=6.18
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 1630 0 0 0 618 0 0 0 25 0 1 0 310895396 7782400 1616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 1900 1616 76 171 0 1727 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 12956

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1574200/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=10504 CPUtime=12.59
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 2358 0 0 0 1257 2 0 0 25 0 1 0 310895396 10756096 2344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 2626 2344 76 171 0 2453 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 15860

[startup+25.5011 s]
/proc/loadavg: 1.08 1.02 1.01 2/69 5409
/proc/meminfo: memFree=1570936/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=13684 CPUtime=25.38
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3117 0 0 0 2535 3 0 0 25 0 1 0 310895396 14012416 3103 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3421 3103 76 171 0 3248 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 19040

[startup+51.1014 s]
/proc/loadavg: 1.10 1.03 1.01 2/69 5409
/proc/meminfo: memFree=1570296/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=14348 CPUtime=50.97
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3266 0 0 0 5093 4 0 0 25 0 1 0 310895396 14692352 3252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3587 3252 76 171 0 3414 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 19704

[startup+102.306 s]
/proc/loadavg: 1.04 1.02 1.00 2/69 5409
/proc/meminfo: memFree=1569848/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=14876 CPUtime=102.17
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3382 0 0 0 10212 5 0 0 25 0 1 0 310895396 15233024 3368 1992294400 134512640 135215339 4294956240 18446744073709551615 134534500 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3719 3368 76 171 0 3546 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 20232

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/69 5409
/proc/meminfo: memFree=1569784/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=14876 CPUtime=162.14
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3391 0 0 0 16209 5 0 0 25 0 1 0 310895396 15233024 3377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3719 3377 76 171 0 3546 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 20232

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/69 5409
/proc/meminfo: memFree=1569464/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15020 CPUtime=222.13
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3455 0 0 0 22207 6 0 0 25 0 1 0 310895396 15380480 3441 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3755 3441 76 171 0 3582 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 20376

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/69 5409
/proc/meminfo: memFree=1569336/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15168 CPUtime=282.12
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3476 0 0 0 28205 7 0 0 25 0 1 0 310895396 15532032 3462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3792 3462 76 171 0 3619 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 20524

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1569272/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15168 CPUtime=342.1
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3490 0 0 0 34203 7 0 0 25 0 1 0 310895396 15532032 3476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3792 3476 76 171 0 3619 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 20524

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1569080/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15360 CPUtime=402.07

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

[pid=5409] ppid=5403 vsize=15360 CPUtime=522.03
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3521 0 0 0 52195 8 0 0 25 0 1 0 310895396 15728640 3507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3840 3507 76 171 0 3667 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 20716

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568952/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15360 CPUtime=582.01
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3521 0 0 0 58193 8 0 0 25 0 1 0 310895396 15728640 3507 1992294400 134512640 135215339 4294956240 18446744073709551615 134539261 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3840 3507 76 171 0 3667 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 20716

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568952/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15360 CPUtime=642
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3521 0 0 0 64192 8 0 0 25 0 1 0 310895396 15728640 3507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3840 3507 76 171 0 3667 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 20716

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568824/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15500 CPUtime=701.97
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3539 0 0 0 70189 8 0 0 25 0 1 0 310895396 15872000 3525 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3875 3525 76 171 0 3702 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 20856

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568568/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15680 CPUtime=761.96
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3578 0 0 0 76187 9 0 0 25 0 1 0 310895396 16056320 3564 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3920 3564 76 171 0 3747 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 21036

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568504/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15680 CPUtime=821.94
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3584 0 0 0 82185 9 0 0 25 0 1 0 310895396 16056320 3570 1992294400 134512640 135215339 4294956240 18446744073709551615 134538092 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3920 3570 76 171 0 3747 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 21036

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568440/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15680 CPUtime=881.92
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3586 0 0 0 88183 9 0 0 25 0 1 0 310895396 16056320 3572 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3920 3572 76 171 0 3747 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 21036

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568248/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15892 CPUtime=941.9
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3630 0 0 0 94181 9 0 0 25 0 1 0 310895396 16273408 3616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3973 3616 76 171 0 3800 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 21248

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568248/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15892 CPUtime=1001.89
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3631 0 0 0 100179 10 0 0 25 0 1 0 310895396 16273408 3617 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3973 3617 76 171 0 3800 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 21248

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568184/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15892 CPUtime=1061.87
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3634 0 0 0 106177 10 0 0 25 0 1 0 310895396 16273408 3620 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3973 3620 76 171 0 3800 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 21248

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568184/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15892 CPUtime=1121.85
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3634 0 0 0 112174 11 0 0 25 0 1 0 310895396 16273408 3620 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3973 3620 76 171 0 3800 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 21248

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568120/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15892 CPUtime=1181.84
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3634 0 0 0 118173 11 0 0 25 0 1 0 310895396 16273408 3620 1992294400 134512640 135215339 4294956240 18446744073709551615 134538104 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3973 3620 76 171 0 3800 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 21248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568120/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15892 CPUtime=1200.04
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3634 0 0 0 119993 11 0 0 25 0 1 0 310895396 16273408 3620 1992294400 134512640 135215339 4294956240 18446744073709551615 134534193 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3973 3620 76 171 0 3800 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 21248

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 5409
/proc/meminfo: memFree=1568120/2055920 swapFree=4177292/4192956
[pid=5403] ppid=5401 vsize=5356 CPUtime=0.07
/proc/5403/stat : 5403 (SatELiteGTI) S 5401 5403 5088 0 -1 4194304 336 896 0 0 0 0 7 0 16 0 1 0 310895387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5403/statm: 1339 239 197 169 0 50 0
[pid=5409] ppid=5403 vsize=15892 CPUtime=1200.04
/proc/5409/stat : 5409 (minisat_static) R 5403 5403 5088 0 -1 4194304 3634 0 0 0 119993 11 0 0 25 0 1 0 310895396 16273408 3620 1992294400 134512640 135215339 4294956240 18446744073709551615 134534193 0 0 4096 3 0 0 0 17 1 0 0
/proc/5409/statm: 3973 3620 76 171 0 3800 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 21248

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.13
CPU user time (s): 1200.01
CPU system time (s): 0.124981
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 21248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4897
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= 30
involuntary context switches= 3383

runsolver used 1.26681 second user time and 3.22551 second system time

The end

Launcher Data

Begin job on node68 at 2009-05-20 16:11:32
IDJOB=1834203
IDBENCH=71729
IDSOLVER=671
FILE ID=node68/1834203-1242828692
PBS_JOBID= 9322544
Free space on /tmp= 66156 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/goldb-heqc-term1mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834203-1242828692/watcher-1834203-1242828692 -o /tmp/evaluation-result-1834203-1242828692/solver-1834203-1242828692 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834203-1242828692.cnf

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

MD5SUM BENCH= c356d60706abf7ddd80826e417c8de67
RANDOM SEED=1143113344

node68.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.223
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.223
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:       1584680 kB
Buffers:         60516 kB
Cached:         335568 kB
SwapCached:       7632 kB
Active:         118588 kB
Inactive:       286644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1584680 kB
SwapTotal:     4192956 kB
SwapFree:      4177292 kB
Dirty:            2248 kB
Writeback:           0 kB
Mapped:          14816 kB
Slab:            51712 kB
Committed_AS:   926656 kB
PageTables:       1564 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66156 MiB
End job on node68 at 2009-05-20 16:31:35