Trace number 1834025

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.08 1200.71

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
MD5SUMef7ae52d071607b182dca67dbff359aa
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables434
Number of clauses81513
Sum of the clauses size471380
Maximum clause length26
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21843
Number of clauses of size 30
Number of clauses of size 42777
Number of clauses of size 54610
Number of clauses of size over 572219

Solver Data

0.00/0.00	c Parsing...
0.00/0.08	c ==============================================================================
0.00/0.08	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.08	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.08	c ==============================================================================
0.00/0.08	c |         0 |   81449   471316 |   24434       0        0     nan |  0.000 % |
1.78/1.89	c |         0 |   45915   263868 |      --       0       --      -- |     --   | -5582/-2392
1.78/1.89	c ==============================================================================
1.78/1.89	c Result  :   #vars: 324   #clauses: 45915   #literals: 263868
1.78/1.89	c CPU time:   1.86871 s
1.78/1.89	c ==============================================================================
1.87/1.98	c This is MiniSat 2.0 beta
1.87/1.98	c WARNING: for repeatability, setting FPU to use double precision
1.87/1.98	c ============================[ Problem Statistics ]=============================
1.87/1.98	c |                                                                             |
1.87/1.98	c |  Number of variables:  324                                                  |
1.87/1.98	c |  Number of clauses:    45915                                                |
1.95/2.01	c |  Parsing time:         0.03         s                                       |
1.95/2.02	c ============================[ Search Statistics ]==============================
1.95/2.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.95/2.02	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.95/2.02	c ===============================================================================
1.95/2.02	c |         0 |     324    45915   263868 |    15305        0    nan |  0.000 % |
1.95/2.02	c |       100 |     324    45915   263868 |    15305      100     13 |  0.001 % |
1.95/2.03	c |       201 |     321    45915   263868 |    15305      198     13 |  0.932 % |
1.95/2.03	c |       301 |     320    45915   263868 |    15305      297     13 |  1.246 % |
1.95/2.04	c |       411 |     319    45915   263868 |    15305      406     13 |  1.545 % |
1.95/2.05	c |       512 |     318    45915   263868 |    15305      506     13 |  1.861 % |
1.95/2.05	c |       622 |     317    45915   263868 |    15305      615     13 |  2.162 % |
1.95/2.06	c |       743 |     317    45915   263868 |    15305      736     13 |  2.161 % |
1.95/2.06	c |       843 |     317    45915   263868 |    15305      836     13 |  2.171 % |
1.95/2.07	c |       953 |     317    45915   263868 |    15305      946     12 |  2.170 % |
1.95/2.07	c |      1074 |     317    45915   263868 |    15305     1067     13 |  2.161 % |
1.95/2.08	c |      1208 |     317    45915   263868 |    15305     1201     13 |  2.161 % |
1.95/2.08	c |      1308 |     317    45915   263868 |    15305     1301     13 |  2.161 % |
1.95/2.08	c |      1418 |     316    45915   263868 |    15305     1410     13 |  2.473 % |
1.95/2.09	c |      1539 |     316    45915   263868 |    15305     1531     13 |  2.471 % |
1.95/2.10	c |      1673 |     315    45915   263868 |    15305     1663     13 |  3.087 % |
2.06/2.11	c |      1821 |     314    45915   263868 |    15305     1811     13 |  3.092 % |
2.06/2.12	c |      1924 |     314    45915   263868 |    15305     1914     13 |  3.098 % |
2.06/2.12	c |      2034 |     314    45915   263868 |    15305     2024     13 |  3.094 % |
2.06/2.12	c |      2160 |     314    45915   263868 |    15305     2150     14 |  3.087 % |
2.06/2.13	c |      2294 |     314    45915   263868 |    15305     2284     14 |  3.087 % |
2.06/2.14	c |      2441 |     314    45915   263868 |    15305     2431     14 |  3.087 % |
2.06/2.14	c |      2604 |     314    45915   263868 |    15305     2594     14 |  3.087 % |
2.06/2.15	c |      2706 |     314    45915   263868 |    15305     2696     14 |  3.092 % |
2.06/2.15	c |      2816 |     314    45915   263868 |    15305     2806     14 |  3.098 % |
2.06/2.16	c |      2937 |     313    45915   263868 |    15305     2926     14 |  3.397 % |
2.06/2.16	c |      3070 |     313    45915   263868 |    15305     3059     14 |  3.396 % |
2.06/2.17	c |      3218 |     313    45915   263868 |    15305     3207     14 |  3.396 % |
2.06/2.18	c |      3378 |     313    45915   263868 |    15305     3367     15 |  3.396 % |
2.06/2.19	c |      3555 |     313    45915   263868 |    15305     3544     14 |  3.408 % |
2.06/2.19	c |      3655 |     313    45915   263868 |    15305     3644     14 |  3.396 % |
2.06/2.20	c |      3765 |     313    45915   263868 |    15305     3754     14 |  3.405 % |
2.06/2.20	c |      3886 |     313    45915   263868 |    15305     3875     14 |  3.397 % |
2.16/2.21	c |      4019 |     313    45915   263868 |    15305     4008     14 |  3.399 % |
2.16/2.22	c |      4165 |     313    45915   263868 |    15305     4154     15 |  3.396 % |
2.16/2.22	c |      4325 |     313    45915   263868 |    15305     4314     15 |  3.406 % |
2.16/2.23	c |      4501 |     313    45915   263868 |    15305     4490     15 |  3.396 % |
2.16/2.24	c |      4694 |     313    45915   263868 |    15305     4683     15 |  3.396 % |
2.16/2.25	c |      4794 |     313    45915   263868 |    15305     4783     15 |  3.397 % |
2.16/2.25	c |      4904 |     313    45915   263868 |    15305     4893     15 |  3.396 % |
2.16/2.26	c |      5028 |     313    45915   263868 |    15305     5017     15 |  3.398 % |
2.16/2.27	c |      5162 |     313    45915   263868 |    15305     5151     16 |  3.396 % |
2.16/2.28	c |      5309 |     313    45915   263868 |    15305     5298     16 |  3.396 % |
2.16/2.28	c |      5470 |     313    45915   263868 |    15305     5459     15 |  3.396 % |
2.16/2.29	c |      5647 |     313    45915   263868 |    15305     5636     15 |  3.396 % |
2.25/2.30	c |      5842 |     313    45915   263868 |    15305     5831     15 |  3.406 % |
2.25/2.32	c |      6055 |     313    45915   263868 |    15305     6044     16 |  3.401 % |
2.25/2.32	c |      6155 |     313    45915   263868 |    15305     6144     16 |  3.396 % |
2.25/2.33	c |      6265 |     313    45915   263868 |    15305     6254     16 |  3.396 % |
2.25/2.34	c |      6386 |     313    45915   263868 |    15305     6375     16 |  3.396 % |
2.25/2.34	c |      6520 |     313    45915   263868 |    15305     6509     16 |  3.401 % |
2.25/2.35	c |      6666 |     313    45915   263868 |    15305     6655     16 |  3.396 % |
2.25/2.36	c |      6830 |     313    45915   263868 |    15305     6819     16 |  3.396 % |
2.25/2.37	c |      7007 |     313    45915   263868 |    15305     6996     16 |  3.397 % |
2.25/2.38	c |      7202 |     313    45915   263868 |    15305     7191     16 |  3.396 % |
2.25/2.39	c |      7416 |     313    45915   263868 |    15305     7405     16 |  3.398 % |
2.35/2.40	c |      7649 |     313    45915   263868 |    15305     7638     16 |  3.398 % |
2.35/2.41	c |      7749 |     312    45915   263868 |    15305     7737     16 |  3.714 % |
2.35/2.42	c |      7859 |     311    45915   263868 |    15305     7846     16 |  4.018 % |
2.35/2.43	c |      7983 |     311    45915   263868 |    15305     7970     16 |  4.013 % |
2.35/2.43	c |      8117 |     311    45915   263868 |    15305     8104     16 |  4.021 % |
2.35/2.44	c |      8264 |     311    45915   263868 |    15305     8251     16 |  4.014 % |
2.35/2.45	c |      8424 |     311    45915   263868 |    15305     8411     16 |  4.022 % |
2.35/2.46	c |      8601 |     311    45915   263868 |    15305     8588     16 |  4.013 % |
2.35/2.48	c |      8795 |     311    45915   263868 |    15305     8782     16 |  4.013 % |
2.35/2.49	c |      9007 |     311    45915   263868 |    15305     8994     16 |  4.013 % |
2.45/2.50	c |      9240 |     311    45915   263868 |    15305     9227     17 |  4.015 % |
2.45/2.52	c |      9497 |     311    45915   263868 |    15305     9484     16 |  4.021 % |
2.45/2.52	c |      9597 |     311    45915   263868 |    15305     9584     17 |  4.013 % |
2.45/2.54	c |      9707 |     311    45915   263868 |    15305     9694     17 |  4.013 % |
2.45/2.54	c |      9829 |     311    45915   263868 |    15305     9816     17 |  4.024 % |
2.45/2.55	c |      9963 |     311    45915   263868 |    15305     9950     17 |  4.013 % |
2.45/2.56	c |     10110 |     311    45915   263868 | 2147483647    10097     17 |  4.025 % |
2.45/2.58	c |     10275 |     311    45915   263868 | 2147483647    10262     17 |  4.014 % |
2.45/2.59	c |     10451 |     311    45915   263868 | 2147483647    10438     17 |  4.013 % |
2.55/2.61	c |     10644 |     311    45915   263868 | 2147483647    10631     17 |  4.013 % |
2.55/2.63	c |     10857 |     311    45915   263868 | 2147483647    10844     17 |  4.019 % |
2.55/2.64	c |     11094 |     311    45915   263868 | 2147483647    11081     17 |  4.013 % |
2.55/2.65	c |     11350 |     311    45915   263868 | 2147483647    11337     17 |  4.014 % |
2.55/2.68	c |     11634 |     311    45915   263868 | 2147483647    11621     17 |  4.020 % |
2.55/2.68	c |     11735 |     311    45915   263868 | 2147483647    11722     17 |  4.013 % |
2.55/2.69	c |     11846 |     311    45915   263868 | 2147483647    11833     17 |  4.014 % |
2.65/2.70	c |     11968 |     311    45915   263868 | 2147483647    11955     17 |  4.013 % |
2.65/2.71	c |     12103 |     311    45915   263868 | 2147483647    12090     17 |  4.014 % |
2.65/2.72	c |     12249 |     311    45915   263868 | 2147483647    12236     17 |  4.015 % |
2.65/2.73	c |     12410 |     311    45915   263868 | 2147483647    12397     17 |  4.014 % |
2.65/2.74	c |     12587 |     311    45915   263868 | 2147483647    12574     17 |  4.013 % |
2.65/2.76	c |     12782 |     311    45915   263868 | 2147483647    12769     17 |  4.013 % |
2.65/2.77	c |     12998 |     311    45915   263868 | 2147483647    12985     17 |  4.013 % |
2.65/2.79	c |     13231 |     311    45915   263868 | 2147483647    13218     17 |  4.013 % |
2.75/2.82	c |     13488 |     311    45915   263868 | 2147483647    13475     17 |  4.023 % |
2.75/2.85	c |     13770 |     311    45915   263868 | 2147483647    13757     17 |  4.021 % |
2.75/2.88	c |     14080 |     311    45915   263868 | 2147483647    14067     18 |  4.017 % |
2.75/2.89	c |     14183 |     311    45915   263868 | 2147483647    14170     18 |  4.014 % |
2.75/2.90	c |     14293 |     311    45915   263868 | 2147483647    14280     18 |  4.022 % |
2.85/2.91	c |     14415 |     311    45915   263868 | 2147483647    14402     18 |  4.023 % |
2.85/2.92	c |     14548 |     311    45915   263868 | 2147483647    14535     18 |  4.021 % |
2.85/2.94	c |     14695 |     311    45915   263868 | 2147483647    14682     18 |  4.013 % |
2.85/2.95	c |     14855 |     311    45915   263868 | 2147483647    14842     18 |  4.033 % |
2.85/2.96	c |     15031 |     311    45915   263868 | 2147483647    15018     18 |  4.013 % |
2.85/2.97	c |     15224 |     311    45915   263868 | 2147483647    15211     18 |  4.015 % |
2.85/2.99	c |     15436 |     311    45915   263868 | 2147483647    15423     18 |  4.014 % |
2.95/3.01	c |     15669 |     311    45915   263868 | 2147483647    15656     18 |  4.023 % |
2.95/3.03	c |     15926 |     311    45915   263868 | 2147483647    15913     18 |  4.013 % |
2.95/3.07	c |     16207 |     311    40798   234269 | 2147483647    16188     18 |  4.015 % |
2.95/3.09	c |     16518 |     311    40798   234269 | 2147483647    16499     18 |  4.013 % |
3.04/3.13	c |     16857 |     311    40798   234269 | 2147483647    16838     18 |  4.013 % |
3.04/3.14	c |     16957 |     311    40798   234269 | 2147483647    16938     18 |  4.024 % |
3.04/3.15	c |     17069 |     311    40798   234269 | 2147483647    17050     18 |  4.013 % |
3.04/3.16	c |     17190 |     311    40798   234269 | 2147483647    17171     18 |  4.015 % |
3.04/3.17	c |     17326 |     311    40798   234269 | 2147483647    17307     18 |  4.013 % |
3.04/3.19	c |     17472 |     311    40798   234269 | 2147483647    17453     18 |  4.013 % |
3.14/3.22	c |     17632 |     311    40798   234269 | 2147483647    17613     18 |  4.022 % |
3.14/3.23	c |     17808 |     311    40798   234269 | 2147483647    17789     18 |  4.013 % |
3.14/3.25	c |     18005 |     311    40798   234269 | 2147483647    17986     18 |  4.013 % |
3.14/3.26	c |     18219 |     311    40798   234269 | 2147483647    18200     18 |  4.013 % |
3.14/3.28	c |     18456 |     311    40798   234269 | 2147483647    18437     18 |  4.013 % |
3.14/3.30	c |     18712 |     311    40798   234269 | 2147483647    18693     18 |  4.013 % |
3.24/3.32	c |     18995 |     311    40798   234269 | 2147483647    18976     18 |  4.014 % |
3.24/3.35	c |     19304 |     311    40798   234269 | 2147483647    19285     18 |  4.014 % |
3.24/3.37	c |     19644 |     311    40798   234269 | 2147483647    19625     18 |  4.022 % |
3.34/3.41	c |     20016 |     311    40798   234269 | 2147483647    19997     18 |  4.018 % |
3.34/3.43	c |     20117 |     311    40798   234269 | 2147483647    20098     18 |  4.013 % |
3.34/3.44	c |     20228 |     311    40798   234269 | 2147483647    20209     18 |  4.013 % |
3.34/3.45	c |     20349 |     311    40798   234269 | 2147483647    20330     18 |  4.023 % |
3.34/3.47	c |     20483 |     311    40798   234269 | 2147483647    20464     18 |  4.014 % |
3.34/3.48	c |     20629 |     311    40798   234269 | 2147483647    20610     18 |  4.020 % |
3.43/3.50	c |     20791 |     311    40798   234269 | 2147483647    20772     18 |  4.018 % |
3.43/3.52	c |     20967 |     311    40798   234269 | 2147483647    20948     18 |  4.013 % |
3.43/3.55	c |     21160 |     311    40798   234269 | 2147483647    21141     18 |  4.024 % |
3.43/3.57	c |     21373 |     311    40798   234269 | 2147483647    21354     18 |  4.013 % |
3.53/3.60	c |     21606 |     311    40798   234269 | 2147483647    21587     18 |  4.022 % |
3.53/3.63	c |     21863 |     311    40798   234269 | 2147483647    21844     18 |  4.023 % |
3.53/3.66	c |     22144 |     311    40798   234269 | 2147483647    22125     18 |  4.014 % |
3.53/3.69	c |     22455 |     311    40798   234269 | 2147483647    22436     19 |  4.024 % |
3.63/3.73	c |     22794 |     311    40798   234269 | 2147483647    22775     19 |  4.017 % |
3.63/3.77	c |     23167 |     311    40798   234269 | 2147483647    23148     19 |  4.022 % |
3.73/3.81	c |     23576 |     311    40798   234269 | 2147483647    23557     19 |  4.013 % |
3.73/3.82	c |     23677 |     311    40798   234269 | 2147483647    23658     19 |  4.013 % |
3.73/3.84	c |     23787 |     311    40798   234269 | 2147483647    23768     19 |  4.013 % |
3.73/3.85	c |     23908 |     311    40798   234269 | 2147483647    23889     19 |  4.024 % |
3.73/3.86	c |     24046 |     311    40798   234269 | 2147483647    24027     19 |  4.013 % |
3.73/3.88	c |     24192 |     311    40798   234269 | 2147483647    24173     19 |  4.013 % |
3.83/3.90	c |     24354 |     311    40798   234269 | 2147483647    24335     19 |  4.015 % |
3.83/3.91	c |     24530 |     311    40798   234269 | 2147483647    24511     19 |  4.013 % |
3.83/3.95	c |     24725 |     311    40798   234269 | 2147483647    24706     19 |  4.014 % |
3.83/3.97	c |     24938 |     311    40798   234269 | 2147483647    24919     19 |  4.029 % |
3.93/4.01	c |     25171 |     311    40798   234269 | 2147483647    25152     19 |  4.015 % |
3.93/4.04	c |     25427 |     311    40798   234269 | 2147483647    25408     19 |  4.015 % |
3.93/4.06	c |     25711 |     311    40798   234269 | 2147483647    25692     19 |  4.013 % |
3.93/4.09	c |     26021 |     311    40798   234269 | 2147483647    26002     19 |  4.013 % |
4.04/4.13	c |     26361 |     311    40798   234269 | 2147483647    26342     19 |  4.024 % |
4.04/4.18	c |     26734 |     311    40798   234269 | 2147483647    26715     19 |  4.023 % |
4.14/4.22	c |     27143 |     310    40798   234269 | 2147483647    27123     19 |  4.329 % |
4.14/4.27	c |     27593 |     310    40798   234269 | 2147483647    27573     19 |  4.322 % |
4.14/4.28	c |     27694 |     310    40798   234269 | 2147483647    27674     19 |  4.332 % |
4.14/4.29	c |     27807 |     310    40798   234269 | 2147483647    27787     19 |  4.322 % |
4.24/4.31	c |     27928 |     310    40798   234269 | 2147483647    27908     19 |  4.329 % |
4.24/4.32	c |     28061 |     310    40798   234269 | 2147483647    28041     19 |  4.332 % |
4.24/4.34	c |     28208 |     310    40798   234269 | 2147483647    28188     19 |  4.322 % |
4.24/4.36	c |     28372 |     310    40798   234269 | 2147483647    28352     19 |  4.322 % |
4.24/4.38	c |     28550 |     310    40798   234269 | 2147483647    28530     19 |  4.322 % |
4.34/4.41	c |     28746 |     310    40798   234269 | 2147483647    28726     19 |  4.322 % |
4.34/4.44	c |     28958 |     310    40798   234269 | 2147483647    28938     19 |  4.332 % |
4.34/4.47	c |     29192 |     310    40798   234269 | 2147483647    29172     19 |  4.323 % |
4.43/4.50	c |     29448 |     310    40798   234269 | 2147483647    29428     19 |  4.322 % |
4.43/4.53	c |     29731 |     310    40798   234269 | 2147483647    29711     19 |  4.322 % |
4.43/4.56	c |     30041 |     310    40798   234269 | 2147483647    30021     19 |  4.322 % |
4.53/4.61	c |     30380 |     310    40798   234269 | 2147483647    30360     20 |  4.322 % |
4.53/4.66	c |     30753 |     310    40798   234269 | 2147483647    30733     20 |  4.332 % |
4.63/4.73	c |     31162 |     310    40798   234269 | 2147483647    31142     20 |  4.322 % |
4.63/4.77	c |     31611 |     310    40798   234269 | 2147483647    31591     19 |  4.322 % |
4.73/4.82	c |     32105 |     310    40798   234269 | 2147483647    32085     19 |  4.322 % |
4.73/4.83	c |     32205 |     310    40798   234269 | 2147483647    32185     19 |  4.331 % |
4.73/4.85	c |     32316 |     310    40798   234269 | 2147483647    32296     19 |  4.322 % |
4.73/4.87	c |     32438 |     310    40798   234269 | 2147483647    32418     19 |  4.322 % |
4.73/4.89	c |     32573 |     310    40798   234269 | 2147483647    32553     19 |  4.332 % |
4.83/4.91	c |     32720 |     310    40798   234269 | 2147483647    32700     19 |  4.322 % |
4.83/4.92	c |     32880 |     310    40798   234269 | 2147483647    32860     19 |  4.344 % |
4.83/4.94	c |     33057 |     310    40798   234269 | 2147483647    33037     19 |  4.322 % |
4.83/4.97	c |     33250 |     310    40798   234269 | 2147483647    33230     19 |  4.322 % |
4.93/5.01	c |     33463 |     310    40798   234269 | 2147483647    33443     19 |  4.323 % |
4.93/5.05	c |     33697 |     310    40798   234269 | 2147483647    33677     19 |  4.335 % |
4.93/5.09	c |     33953 |     310    40798   234269 | 2147483647    33933     19 |  4.322 % |
5.03/5.13	c |     34234 |     310    40798   234269 | 2147483647    34214     20 |  4.332 % |
5.03/5.19	c |     34545 |     310    40798   234269 | 2147483647    34525     19 |  4.335 % |
5.13/5.24	c |     34888 |     310    40798   234269 | 2147483647    34868     20 |  4.322 % |
5.13/5.29	c |     35261 |     310    40798   234269 | 2147483647    35241     20 |  4.322 % |
5.23/5.37	c |     35672 |     310    40798   234269 | 2147483647    35652     20 |  4.332 % |
5.33/5.45	c |     36121 |     310    40798   234269 | 2147483647    36101     20 |  4.322 % |
5.43/5.54	c |     36614 |     310    40798   234269 | 2147483647    36594     20 |  4.327 % |
5.53/5.60	c |     37156 |     310    40798   234269 | 2147483647    37136     19 |  4.322 % |
5.53/5.61	c |     37257 |     310    40798   234269 | 2147483647    37237     19 |  4.322 % |
5.53/5.63	c |     37367 |     310    40798   234269 | 2147483647    37347     19 |  4.322 % |
5.53/5.65	c |     37489 |     310    40798   234269 | 2147483647    37469     19 |  4.332 % |
5.53/5.66	c |     37622 |     310    40798   234269 | 2147483647    37602     19 |  4.331 % |
5.53/5.68	c |     37768 |     310    40798   234269 | 2147483647    37748     19 |  4.322 % |
5.63/5.70	c |     37929 |     310    40798   234269 | 2147483647    37909     19 |  4.322 % |
5.63/5.72	c |     38106 |     310    40798   234269 | 2147483647    38086     19 |  4.322 % |
5.63/5.75	c |     38300 |     310    40798   234269 | 2147483647    38280     19 |  4.322 % |
5.63/5.78	c |     38514 |     310    40798   234269 | 2147483647    38494     19 |  4.322 % |
5.73/5.81	c |     38747 |     310    40798   234269 | 2147483647    38727     19 |  4.323 % |
5.73/5.84	c |     39006 |     310    40798   234269 | 2147483647    38986     19 |  4.331 % |
5.73/5.89	c |     39287 |     310    40798   234269 | 2147483647    39267     20 |  4.322 % |
5.83/5.95	c |     39596 |     310    40798   234269 | 2147483647    39576     20 |  4.324 % |
5.93/6.02	c |     39935 |     310    40798   234269 | 2147483647    39915     20 |  4.323 % |
6.03/6.10	c |     40308 |     310    40798   234269 | 2147483647    40288     20 |  4.323 % |
6.03/6.17	c |     40717 |     310    40798   234269 | 2147483647    40697     20 |  4.327 % |
6.13/6.25	c |     41166 |     310    40798   234269 | 2147483647    41146     20 |  4.324 % |
6.23/6.37	c |     41661 |     310    40798   234269 | 2147483647    41641     20 |  4.324 % |
6.33/6.44	c |     42204 |     310    40798   234269 | 2147483647    42184     20 |  4.324 % |
6.43/6.56	c |     42802 |     310    40798   234269 | 2147483647    42782     20 |  4.324 % |
6.43/6.59	c |     42903 |     310    40798   234269 | 2147483647    42883     20 |  4.322 % |
6.53/6.64	c |     43013 |     310    40798   234269 | 2147483647    42993     20 |  4.326 % |
6.53/6.67	c |     43134 |     310    40798   234269 | 2147483647    43114     20 |  4.322 % |
6.53/6.69	c |     43268 |     310    40798   234269 | 2147483647    43248     20 |  4.326 % |
6.63/6.71	c |     43414 |     310    40798   234269 | 2147483647    43394     20 |  4.332 % |
6.63/6.76	c |     43576 |     310    40798   234269 | 2147483647    43556     20 |  4.348 % |
6.63/6.79	c |     43752 |     310    40798   234269 | 2147483647    43732     20 |  4.323 % |
6.73/6.82	c |     43945 |     310    40798   234269 | 2147483647    43925     20 |  4.322 % |
6.73/6.85	c |     44157 |     310    40798   234269 | 2147483647    44137     20 |  4.332 % |
6.84/6.90	c |     44390 |     310    40798   234269 | 2147483647    44370     20 |  4.323 % |
6.84/6.95	c |     44646 |     310    40798   234269 | 2147483647    44626     20 |  4.331 % |
6.84/6.99	c |     44927 |     310    40798   234269 | 2147483647    44907     20 |  4.333 % |
6.93/7.05	c |     45237 |     310    40798   234269 | 2147483647    45217     20 |  4.322 % |
7.03/7.11	c |     45576 |     310    40798   234269 | 2147483647    45556     20 |  4.322 % |
7.03/7.19	c |     45948 |     310    40798   234269 | 2147483647    45928     20 |  4.322 % |
7.13/7.28	c |     46359 |     310    40775   234223 | 2147483647    46335     20 |  4.322 % |
7.23/7.38	c |     46808 |     310    40775   234223 | 2147483647    46784     20 |  4.322 % |
7.33/7.44	c |     47301 |     310    40775   234223 | 2147483647    47277     20 |  4.323 % |
7.43/7.56	c |     47843 |     310    40775   234223 | 2147483647    47819     20 |  4.330 % |
7.54/7.68	c |     48439 |     310    40775   234223 | 2147483647    48415     20 |  4.323 % |
7.64/7.79	c |     49094 |     310    40775   234223 | 2147483647    49070     20 |  4.330 % |
7.73/7.82	c |     49195 |     310    40775   234223 | 2147483647    49171     20 |  4.337 % |
7.73/7.85	c |     49306 |     310    40775   234223 | 2147483647    49282     20 |  4.322 % |
7.73/7.88	c |     49428 |     310    40775   234223 | 2147483647    49404     20 |  4.322 % |
7.83/7.91	c |     49561 |     310    40775   234223 | 2147483647    49537     20 |  4.323 % |
7.83/7.96	c |     49709 |     310    40775   234223 | 2147483647    49685     20 |  4.323 % |
7.83/7.99	c |     49870 |     310    40775   234223 | 2147483647    49846     20 |  4.322 % |
7.93/8.03	c |     50047 |     310    40775   234223 | 2147483647    50023     20 |  4.327 % |
7.93/8.09	c |     50240 |     310    40775   234223 | 2147483647    50216     20 |  4.324 % |
8.03/8.13	c |     50453 |     310    40775   234223 | 2147483647    50429     20 |  4.322 % |
8.03/8.19	c |     50687 |     310    40775   234223 | 2147483647    50663     20 |  4.322 % |
8.13/8.24	c |     50943 |     310    40775   234223 | 2147483647    50919     20 |  4.332 % |
8.23/8.30	c |     51227 |     310    40775   234223 | 2147483647    51203     20 |  4.322 % |
8.23/8.34	c |     51536 |     310    40775   234223 | 2147483647    51512     20 |  4.322 % |
8.33/8.43	c |     51876 |     310    40775   234223 | 2147483647    51852     20 |  4.324 % |
8.43/8.50	c |     52249 |     310    40775   234223 | 2147483647    52225     20 |  4.323 % |
8.53/8.60	c |     52658 |     310    40775   234223 | 2147483647    52634     20 |  4.322 % |
8.64/8.72	c |     53108 |     310    40775   234223 | 2147483647    53084     20 |  4.322 % |
8.74/8.84	c |     53601 |     310    40775   234223 | 2147483647    53577     20 |  4.322 % |
8.83/8.98	c |     54145 |     310    40775   234223 | 2147483647    54121     20 |  4.322 % |
9.03/9.11	c |     54741 |     310    40775   234223 | 2147483647    54717     20 |  4.322 % |
9.13/9.25	c |     55396 |     310    40775   234223 | 2147483647    55372     20 |  4.322 % |
9.23/9.38	c |     56116 |     310    40775   234223 | 2147483647    56092     20 |  4.322 % |
9.33/9.42	c |     56216 |     310    40775   234223 | 2147483647    56192     20 |  4.322 % |
9.33/9.45	c |     56327 |     310    40775   234223 | 2147483647    56303     20 |  4.335 % |
9.33/9.48	c |     56449 |     310    40775   234223 | 2147483647    56425     20 |  4.332 % |
9.43/9.53	c |     56582 |     310    40775   234223 | 2147483647    56558     20 |  4.322 % |
9.43/9.55	c |     56729 |     310    40775   234223 | 2147483647    56705     20 |  4.322 % |
9.43/9.59	c |     56889 |     310    40775   234223 | 2147483647    56865     20 |  4.331 % |
9.53/9.65	c |     57065 |     310    40775   234223 | 2147483647    57041     20 |  4.332 % |
9.53/9.70	c |     57258 |     310    40775   234223 | 2147483647    57234     20 |  4.322 % |
9.63/9.76	c |     57470 |     310    40775   234223 | 2147483647    57446     20 |  4.322 % |
9.74/9.82	c |     57703 |     310    40775   234223 | 2147483647    57679     20 |  4.324 % |
9.84/9.90	c |     57959 |     310    40775   234223 | 2147483647    57935     20 |  4.322 % |
9.84/9.99	c |     58240 |     310    40775   234223 | 2147483647    58216     20 |  4.335 % |
9.93/10.07	c |     58549 |     310    40775   234223 | 2147483647    58524     21 |  4.639 % |
10.03/10.17	c |     58888 |     310    40775   234223 | 2147483647    58863     21 |  4.631 % |
10.13/10.23	c |     59260 |     309    40775   234223 | 2147483647    59235     21 |  4.632 % |
10.23/10.32	c |     59669 |     309    40775   234223 | 2147483647    59644     21 |  4.631 % |
10.33/10.46	c |     60118 |     309    40775   234223 | 2147483647    60093     21 |  4.633 % |
10.43/10.56	c |     60611 |     309    40775   234223 | 2147483647    60586     21 |  4.631 % |
10.63/10.76	c |     61155 |     309    40775   234223 | 2147483647    61130     21 |  4.631 % |
10.83/10.93	c |     61753 |     309    40775   234223 | 2147483647    61728     21 |  4.631 % |
10.93/11.08	c |     62408 |     309    40775   234223 | 2147483647    62383     21 |  4.639 % |
11.13/11.27	c |     63129 |     309    40775   234223 | 2147483647    63104     21 |  4.638 % |
11.33/11.46	c |     63923 |     308    40775   234223 | 2147483647    63897     21 |  4.939 % |
11.33/11.47	c |     64023 |     308    40775   234223 | 2147483647    63997     21 |  4.950 % |
11.43/11.53	c |     64133 |     308    40775   234223 | 2147483647    64107     21 |  4.940 % |
11.43/11.57	c |     64255 |     308    40775   234223 | 2147483647    64229     21 |  4.939 % |
11.53/11.61	c |     64389 |     308    40775   234223 | 2147483647    64363     21 |  4.939 % |
11.53/11.66	c |     64535 |     308    40775   234223 | 2147483647    64509     21 |  4.939 % |
11.63/11.71	c |     64695 |     308    40775   234223 | 2147483647    64669     21 |  4.941 % |
11.63/11.76	c |     64871 |     308    40775   234223 | 2147483647    64845     21 |  4.940 % |
11.73/11.84	c |     65065 |     308    40775   234223 | 2147483647    65039     21 |  4.939 % |
11.83/11.90	c |     65277 |     308    40775   234223 | 2147483647    65251     21 |  4.941 % |
11.83/11.96	c |     65510 |     308    40775   234223 | 2147483647    65484     21 |  4.939 % |
11.93/12.05	c |     65767 |     308    40775   234223 | 2147483647    65741     21 |  4.939 % |
12.03/12.11	c |     66048 |     308    40775   234223 | 2147483647    66022     21 |  4.939 % |
12.13/12.20	c |     66358 |     308    40775   234223 | 2147483647    66332     21 |  4.941 % |
12.13/12.29	c |     66697 |     308    40775   234223 | 2147483647    66671     21 |  4.948 % |
12.23/12.36	c |     67072 |     308    40775   234223 | 2147483647    67046     21 |  4.939 % |
12.33/12.50	c |     67481 |     308    40775   234223 | 2147483647    67455     21 |  4.939 % |
12.53/12.68	c |     67932 |     308    40775   234223 | 2147483647    67906     21 |  4.940 % |
12.73/12.87	c |     68425 |     308    40775   234223 | 2147483647    68399     21 |  4.946 % |
13.03/13.17	c |     68967 |     308    40775   234223 | 2147483647    68941     21 |  4.939 % |
13.33/13.40	c |     69563 |     308    40775   234223 | 2147483647    69537     21 |  4.941 % |
13.53/13.61	c |     70220 |     308    40775   234223 | 2147483647    70194     21 |  4.939 % |
13.73/13.84	c |     70941 |     308    40775   234223 | 2147483647    70915     21 |  4.939 % |
13.93/14.03	c |     71733 |     308    40775   234223 | 2147483647    71707     21 |  4.954 % |
14.33/14.40	c |     72604 |     308    40775   234223 | 2147483647    72578     21 |  4.939 % |
14.33/14.44	c |     72704 |     308    40775   234223 | 2147483647    72678     21 |  4.939 % |
14.33/14.47	c |     72816 |     308    40775   234223 | 2147483647    72790     21 |  4.947 % |
14.43/14.50	c |     72938 |     308    40775   234223 | 2147483647    72912     21 |  4.941 % |
14.43/14.55	c |     73071 |     308    40775   234223 | 2147483647    73045     21 |  4.939 % |
14.43/14.59	c |     73218 |     308    40775   234223 | 2147483647    73192     21 |  4.954 % |
14.53/14.64	c |     73378 |     308    40775   234223 | 2147483647    73352     21 |  4.939 % |
14.53/14.70	c |     73555 |     308    40775   234223 | 2147483647    73529     21 |  4.939 % |
14.63/14.78	c |     73750 |     308    40775   234223 | 2147483647    73724     21 |  4.939 % |
14.73/14.88	c |     73962 |     308    40775   234223 | 2147483647    73936     21 |  4.939 % |
14.83/14.93	c |     74195 |     308    40775   234223 | 2147483647    74169     21 |  4.940 % |
14.93/15.00	c |     74451 |     308    40775   234223 | 2147483647    74425     21 |  4.939 % |
14.93/15.06	c |     74732 |     308    40775   234223 | 2147483647    74706     21 |  4.954 % |
15.03/15.12	c |     75041 |     308    40775   234223 | 2147483647    75015     21 |  4.939 % |
15.13/15.21	c |     75384 |     308    40775   234223 | 2147483647    75358     21 |  4.954 % |
15.23/15.32	c |     75757 |     308    40775   234223 | 2147483647    75731     21 |  4.939 % |
15.33/15.42	c |     76166 |     308    40775   234223 | 2147483647    76140     21 |  4.941 % |
15.43/15.58	c |     76616 |     308    40775   234223 | 2147483647    76590     21 |  4.939 % |
15.63/15.71	c |     77109 |     308    40775   234223 | 2147483647    77083     21 |  4.941 % |
15.83/15.94	c |     77652 |     308    40775   234223 | 2147483647    77626     21 |  4.939 % |
16.03/16.11	c |     78249 |     308    40775   234223 | 2147483647    78223     21 |  4.943 % |
16.23/16.31	c |     78904 |     308    40775   234223 | 2147483647    78878     21 |  4.954 % |
16.43/16.55	c |     79625 |     308    40775   234223 | 2147483647    79599     21 |  4.940 % |
16.63/16.74	c |     80417 |     308    40775   234223 | 2147483647    80391     21 |  4.957 % |
16.83/16.98	c |     81289 |     308    40775   234223 | 2147483647    81263     21 |  4.939 % |
17.23/17.35	c |     82251 |     308    40775   234223 | 2147483647    82225     21 |  4.940 % |
17.23/17.38	c |     82351 |     308    40775   234223 | 2147483647    82325     21 |  4.946 % |
17.33/17.42	c |     82463 |     308    40775   234223 | 2147483647    82437     21 |  4.939 % |
17.33/17.45	c |     82586 |     308    40775   234223 | 2147483647    82560     21 |  4.940 % |
17.43/17.51	c |     82719 |     308    40775   234223 | 2147483647    82693     22 |  4.941 % |
17.43/17.59	c |     82866 |     308    40775   234223 | 2147483647    82840     22 |  4.939 % |
17.53/17.65	c |     83027 |     308    40775   234223 | 2147483647    83001     22 |  4.939 % |
17.63/17.75	c |     83203 |     308    40775   234223 | 2147483647    83177     22 |  4.941 % |
17.73/17.80	c |     83396 |     308    40775   234223 | 2147483647    83370     22 |  4.939 % |
17.73/17.89	c |     83609 |     308    40775   234223 | 2147483647    83583     22 |  4.950 % |
17.82/17.99	c |     83843 |     308    40775   234223 | 2147483647    83817     22 |  4.943 % |
17.92/18.08	c |     84099 |     308    40775   234223 | 2147483647    84073     22 |  4.954 % |
18.02/18.17	c |     84380 |     308    40775   234223 | 2147483647    84354     22 |  4.939 % |
18.12/18.26	c |     84690 |     308    40775   234223 | 2147483647    84664     22 |  4.946 % |
18.22/18.36	c |     85030 |     308    40775   234223 | 2147483647    85004     22 |  4.939 % |
18.42/18.50	c |     85403 |     308    40775   234223 | 2147483647    85377     22 |  4.940 % |
18.53/18.62	c |     85812 |     308    40775   234223 | 2147483647    85786     22 |  4.945 % |
18.72/18.84	c |     86261 |     308    40775   234223 | 2147483647    86235     22 |  4.939 % |
18.92/19.04	c |     86754 |     308    40775   234223 | 2147483647    86728     22 |  4.939 % |
19.12/19.24	c |     87296 |     308    40775   234223 | 2147483647    87270     22 |  4.939 % |
19.32/19.46	c |     87893 |     308    40775   234223 | 2147483647    87867     22 |  4.945 % |
19.52/19.66	c |     88548 |     308    40775   234223 | 2147483647    88522     22 |  4.939 % |
19.92/20.00	c |     89270 |     308    40775   234223 | 2147483647    89244     22 |  4.941 % |
20.32/20.48	c |     90064 |     308    40775   234223 | 2147483647    90038     22 |  4.939 % |
20.62/20.79	c |     90936 |     308    40775   234223 | 2147483647    90910     22 |  4.955 % |
21.12/21.20	c |     91894 |     308    40775   234223 | 2147483647    91868     22 |  4.940 % |
21.62/21.73	c |     92947 |     308    40775   234223 | 2147483647    92921     22 |  4.941 % |
21.62/21.78	c |     93049 |     308    40775   234223 | 2147483647    93023     22 |  4.946 % |
21.72/21.84	c |     93159 |     308    40775   234223 | 2147483647    93133     22 |  4.939 % |
21.72/21.87	c |     93281 |     308    40775   234223 | 2147483647    93255     22 |  4.940 % |
21.83/21.94	c |     93418 |     308    40775   234223 | 2147483647    93392     22 |  4.951 % |
21.93/22.01	c |     93565 |     308    40775   234223 | 2147483647    93539     22 |  4.947 % |
21.93/22.09	c |     93725 |     308    40775   234223 | 2147483647    93699     22 |  4.939 % |
22.02/22.14	c |     93902 |     308    40775   234223 | 2147483647    93876     22 |  4.939 % |
22.12/22.23	c |     94095 |     308    40775   234223 | 2147483647    94069     22 |  4.940 % |
22.22/22.34	c |     94307 |     308    40775   234223 | 2147483647    94281     22 |  4.941 % |
22.32/22.41	c |     94540 |     308    40775   234223 | 2147483647    94514     22 |  4.939 % |
22.43/22.55	c |     94797 |     308    40775   234223 | 2147483647    94771     22 |  4.939 % |
22.63/22.78	c |     95078 |     308    40775   234223 | 2147483647    95052     22 |  4.939 % |
22.83/22.91	c |     95389 |     308    40775   234223 | 2147483647    95363     22 |  4.939 % |
22.94/23.04	c |     95730 |     308    40775   234223 | 2147483647    95704     22 |  4.939 % |
23.13/23.21	c |     96103 |     308    40775   234223 | 2147483647    96077     22 |  4.939 % |
23.23/23.34	c |     96513 |     308    40775   234223 | 2147483647    96487     22 |  4.950 % |
23.43/23.57	c |     96963 |     308    40775   234223 | 2147483647    96937     22 |  4.939 % |
23.73/23.84	c |     97457 |     308    40775   234223 | 2147483647    97431     22 |  4.941 % |
23.93/24.09	c |     98000 |     308    40775   234223 | 2147483647    97974     22 |  4.940 % |
24.23/24.36	c |     98597 |     308    40775   234223 | 2147483647    98571     22 |  4.941 % |
24.53/24.64	c |     99254 |     308    40775   234223 | 2147483647    99228     22 |  4.939 % |
24.83/24.97	c |     99974 |     308    40775   234223 | 2147483647    99948     22 |  4.939 % |
25.23/25.34	c |    100766 |     308    40775   234223 | 2147483647   100740     22 |  4.939 % |
25.73/25.84	c |    101638 |     308    40775   234223 | 2147483647   101612     22 |  4.939 % |
26.33/26.41	c |    102596 |     308    40775   234223 | 2147483647   102570     22 |  4.939 % |
26.93/27.04	c |    103649 |     308    40775   234223 | 2147483647   103623     22 |  4.939 % |
27.63/27.72	c |    104808 |     308    40775   234223 | 2147483647   104782     22 |  4.939 % |
27.63/27.78	c |    104909 |     308    39764   228769 | 2147483647   104881     22 |  4.939 % |
27.73/27.82	c |    105020 |     308    39764   228769 | 2147483647   104992     22 |  4.941 % |
27.73/27.89	c |    105141 |     308    39764   228769 | 2147483647   105113     22 |  4.939 % |
27.83/27.95	c |    105275 |     308    39764   228769 | 2147483647   105247     22 |  4.948 % |
27.93/28.03	c |    105423 |     308    39764   228769 | 2147483647   105395     22 |  4.939 % |
27.93/28.08	c |    105585 |     308    39764   228769 | 2147483647   105557     22 |  4.948 % |
28.03/28.19	c |    105761 |     308    39764   228769 | 2147483647   105733     22 |  4.939 % |
28.13/28.29	c |    105955 |     308    39764   228769 | 2147483647   105927     22 |  4.941 % |
28.33/28.42	c |    106167 |     308    39764   228769 | 2147483647   106139     22 |  4.939 % |
28.43/28.55	c |    106400 |     308    39764   228769 | 2147483647   106372     22 |  4.950 % |
28.53/28.62	c |    106657 |     308    39764   228769 | 2147483647   106629     22 |  4.950 % |
28.63/28.71	c |    106938 |     308    39764   228769 | 2147483647   106910     22 |  4.939 % |
28.73/28.86	c |    107247 |     308    39764   228769 | 2147483647   107219     22 |  4.939 % |
28.93/29.00	c |    107587 |     308    39764   228769 | 2147483647   107559     22 |  4.941 % |
29.12/29.21	c |    107963 |     308    39764   228769 | 2147483647   107935     22 |  4.939 % |
29.22/29.38	c |    108372 |     308    39764   228769 | 2147483647   108344     22 |  4.939 % |
29.53/29.62	c |    108822 |     308    39764   228769 | 2147483647   108794     22 |  4.946 % |
29.72/29.88	c |    109316 |     308    39764   228769 | 2147483647   109288     22 |  4.941 % |
30.02/30.18	c |    109858 |     308    39764   228769 | 2147483647   109830     22 |  4.939 % |
30.42/30.56	c |    110455 |     308    39764   228769 | 2147483647   110427     22 |  4.939 % |
30.82/30.94	c |    111110 |     308    39764   228769 | 2147483647   111082     22 |  4.940 % |
31.12/31.27	c |    111830 |     308    39764   228769 | 2147483647   111802     22 |  4.939 % |
31.52/31.68	c |    112623 |     308    39764   228769 | 2147483647   112595     22 |  4.939 % |
32.02/32.14	c |    113495 |     308    39764   228769 | 2147483647   113467     22 |  4.939 % |
32.52/32.64	c |    114453 |     308    39764   228769 | 2147483647   114425     22 |  4.939 % |
32.93/33.08	c |    115506 |     308    39764   228769 | 2147483647   115478     22 |  4.939 % |
33.62/33.74	c |    116664 |     308    39764   228769 | 2147483647   116636     22 |  4.940 % |
34.62/34.75	c |    117938 |     308    39764   228769 | 2147483647   117910     22 |  4.939 % |
34.72/34.80	c |    118038 |     308    39764   228769 | 2147483647   118010     22 |  4.940 % |
34.72/34.86	c |    118149 |     308    39764   228769 | 2147483647   118121     22 |  4.939 % |
34.82/34.96	c |    118270 |     308    39764   228769 | 2147483647   118242     22 |  4.939 % |
34.92/35.03	c |    118405 |     308    39764   228769 | 2147483647   118377     22 |  4.939 % |
35.02/35.14	c |    118552 |     308    39764   228769 | 2147483647   118524     22 |  4.939 % |
35.12/35.25	c |    118712 |     308    39764   228769 | 2147483647   118684     22 |  4.941 % |
35.22/35.36	c |    118891 |     308    39764   228769 | 2147483647   118863     22 |  4.939 % |
35.32/35.50	c |    119086 |     308    39764   228769 | 2147483647   119058     22 |  4.939 % |
35.52/35.63	c |    119299 |     308    39764   228769 | 2147483647   119271     22 |  4.939 % |
35.62/35.77	c |    119534 |     308    39764   228769 | 2147483647   119506     22 |  4.940 % |
35.72/35.89	c |    119791 |     308    39764   228769 | 2147483647   119763     22 |  4.939 % |
36.02/36.10	c |    120072 |     308    39764   228769 | 2147483647   120044     22 |  4.939 % |
36.12/36.24	c |    120382 |     308    39764   228769 | 2147483647   120354     22 |  4.939 % |
36.22/36.36	c |    120721 |     308    39764   228769 | 2147483647   120693     22 |  4.948 % |
36.42/36.52	c |    121093 |     308    39764   228769 | 2147483647   121065     22 |  4.939 % |
36.72/36.87	c |    121504 |     308    39764   228769 | 2147483647   121476     22 |  4.941 % |
37.02/37.16	c |    121956 |     308    39764   228769 | 2147483647   121928     22 |  4.940 % |
37.32/37.49	c |    122451 |     308    39764   228769 | 2147483647   122423     23 |  4.939 % |
37.72/37.86	c |    122993 |     307    39764   228769 | 2147483647   122964     23 |  5.248 % |
38.13/38.24	c |    123589 |     307    39764   228769 | 2147483647   123560     23 |  5.249 % |
38.53/38.69	c |    124245 |     307    39764   228769 | 2147483647   124216     23 |  5.250 % |
38.93/39.08	c |    124967 |     307    39764   228769 | 2147483647   124938     23 |  5.248 % |
39.43/39.51	c |    125760 |     307    39764   228769 | 2147483647   125731     23 |  5.248 % |
39.93/40.06	c |    126631 |     307    39764   228769 | 2147483647   126602     23 |  5.249 % |
40.43/40.58	c |    127591 |     307    39764   228769 | 2147483647   127562     23 |  5.248 % |
41.13/41.21	c |    128644 |     307    39764   228769 | 2147483647   128615     23 |  5.248 % |
41.82/41.99	c |    129802 |     307    39764   228769 | 2147483647   129773     23 |  5.250 % |
42.73/42.90	c |    131076 |     307    39764   228769 | 2147483647   131047     23 |  5.248 % |
43.82/44.00	c |    132477 |     307    39764   228769 | 2147483647   132448     23 |  5.248 % |
43.93/44.07	c |    132577 |     307    39764   228769 | 2147483647   132548     23 |  5.248 % |
44.02/44.15	c |    132687 |     307    39764   228769 | 2147483647   132658     23 |  5.248 % |
44.12/44.26	c |    132809 |     307    39764   228769 | 2147483647   132780     23 |  5.250 % |
44.22/44.34	c |    132945 |     307    39764   228769 | 2147483647   132916     23 |  5.258 % |
44.32/44.49	c |    133092 |     307    39764   228769 | 2147483647   133063     23 |  5.257 % |
44.52/44.67	c |    133252 |     307    39764   228769 | 2147483647   133223     23 |  5.248 % |
44.72/44.85	c |    133430 |     307    39764   228769 | 2147483647   133401     23 |  5.248 % |
44.82/45.00	c |    133623 |     307    39764   228769 | 2147483647   133594     23 |  5.248 % |
44.92/45.09	c |    133835 |     307    39764   228769 | 2147483647   133806     23 |  5.248 % |
45.12/45.27	c |    134069 |     307    39764   228769 | 2147483647   134040     23 |  5.248 % |
45.32/45.47	c |    134326 |     307    39764   228769 | 2147483647   134297     23 |  5.248 % |
45.62/45.72	c |    134609 |     307    39764   228769 | 2147483647   134580     23 |  5.248 % |
45.82/45.91	c |    134920 |     307    39764   228769 | 2147483647   134891     23 |  5.248 % |
45.92/46.10	c |    135261 |     307    39764   228769 | 2147483647   135232     23 |  5.248 % |
46.22/46.37	c |    135637 |     307    39764   228769 | 2147483647   135608     23 |  5.255 % |
46.62/46.73	c |    136046 |     307    39764   228769 | 2147483647   136017     23 |  5.250 % |
47.01/47.13	c |    136501 |     307    39764   228769 | 2147483647   136472     23 |  5.248 % |
47.41/47.51	c |    136994 |     307    39764   228769 | 2147483647   136965     23 |  5.249 % |
47.81/47.91	c |    137536 |     307    39764   228769 | 2147483647   137507     23 |  5.248 % |
48.21/48.35	c |    138132 |     307    39764   228769 | 2147483647   138103     23 |  5.248 % |
48.71/48.80	c |    138787 |     307    39764   228769 | 2147483647   138758     23 |  5.249 % |
49.11/49.23	c |    139507 |     307    39764   228769 | 2147483647   139478     23 |  5.248 % |
50.11/50.22	c |    140299 |     307    39764   228769 |   139971   124441     23 |  5.248 % |
50.71/50.84	c |    141173 |     306    39764   228769 |   139971   125314     23 |  5.557 % |
51.31/51.44	c |    142133 |     306    39764   228769 |   139971   126274     23 |  5.557 % |
51.91/52.09	c |    143186 |     306    39764   228769 |   139971   127327     23 |  5.557 % |
52.91/53.02	c |    144344 |     306    39764   228769 |   139971   128485     23 |  5.557 % |
53.71/53.80	c |    145617 |     306    39764   228769 |   139971   129758     23 |  5.557 % |
54.70/54.86	c |    147017 |     306    39764   228769 |   139971   131158     23 |  5.557 % |
56.01/56.15	c |    148560 |     306    39764   228769 |   139971   132701     23 |  5.557 % |
56.10/56.24	c |    148660 |     306    39764   228769 |   139971   132801     23 |  5.557 % |
56.20/56.31	c |    148773 |     306    39764   228769 |   139971   132914     23 |  5.557 % |
56.30/56.41	c |    148895 |     306    39764   228769 |   139971   133036     23 |  5.557 % |
56.40/56.52	c |    149029 |     306    39764   228769 |   139971   133170     23 |  5.557 % |
56.50/56.65	c |    149176 |     306    39764   228769 |   139971   133317     23 |  5.557 % |
56.60/56.79	c |    149340 |     306    39764   228769 |   139971   133481     23 |  5.558 % |
56.80/56.93	c |    149516 |     306    39764   228769 |   139971   133657     23 |  5.557 % |
56.90/57.07	c |    149710 |     306    39764   228769 |   139971   133851     23 |  5.557 % |
57.11/57.24	c |    149926 |     306    39764   228769 |   139971   134067     23 |  5.557 % |
57.50/57.67	c |    150159 |     306    39764   228769 |   134143   118857     23 |  5.558 % |
57.70/57.83	c |    150416 |     306    39764   228769 |   134143   119114     23 |  5.557 % |
57.80/57.99	c |    150699 |     306    39764   228769 |   134143   119397     23 |  5.557 % |
58.00/58.19	c |    151010 |     306    39764   228769 |   134143   119708     23 |  5.558 % |
58.21/58.39	c |    151349 |     306    39764   228769 |   134143   120047     23 |  5.557 % |
58.50/58.64	c |    151722 |     306    39764   228769 |   134143   120420     23 |  5.558 % |
58.70/58.87	c |    152132 |     306    39764   228769 |   134143   120830     23 |  5.557 % |
59.10/59.23	c |    152581 |     306    39764   228769 |   134143   121279     23 |  5.557 % |
59.40/59.56	c |    153074 |     306    39764   228769 |   134143   121772     23 |  5.557 % |
59.90/60.00	c |    153616 |     306    39764   228769 |   134143   122314     23 |  5.557 % |
60.31/60.44	c |    154213 |     306    39764   228769 |   134143   122911     23 |  5.557 % |
60.80/60.92	c |    154869 |     306    39764   228769 |   134143   123567     23 |  5.558 % |
61.41/61.51	c |    155590 |     306    39764   228769 |   134143   124288     23 |  5.557 % |
61.90/62.06	c |    156383 |     306    39764   228769 |   134143   125081     23 |  5.557 % |
62.61/62.77	c |    157254 |     306    39764   228769 |   134143   125952     23 |  5.557 % |
63.30/63.45	c |    158213 |     306    39764   228769 |   134143   126911     23 |  5.557 % |
64.00/64.12	c |    159266 |     306    39764   228769 |   134143   127964     23 |  5.574 % |
65.00/65.11	c |    160430 |     306    39764   228769 |   128698   114793     23 |  5.557 % |
66.00/66.15	c |    161704 |     306    39764   228769 |   128698   116067     23 |  5.557 % |
67.00/67.16	c |    163104 |     306    39764   228769 |   128698   117467     23 |  5.557 % |
68.10/68.21	c |    164644 |     306    39764   228769 |   128698   119007     23 |  5.557 % |
69.00/69.19	c |    166340 |     306    39764   228769 |   128698   120703     23 |  5.557 % |
69.10/69.26	c |    166443 |     306    39764   228769 |   128698   120806     23 |  5.557 % |
69.20/69.36	c |    166554 |     306    39764   228769 |   128698   120917     23 |  5.557 % |
69.30/69.45	c |    166675 |     306    39764   228769 |   128698   121038     23 |  5.557 % |
69.40/69.55	c |    166808 |     306    39764   228769 |   128698   121171     23 |  5.557 % |
69.50/69.64	c |    166955 |     306    39764   228769 |   128698   121318     23 |  5.557 % |
69.60/69.79	c |    167115 |     306    39764   228769 |   128698   121478     23 |  5.557 % |
69.80/69.92	c |    167292 |     306    39764   228769 |   128698   121655     23 |  5.557 % |
70.00/70.10	c |    167486 |     306    39764   228769 |   128698   121849     23 |  5.558 % |
70.10/70.30	c |    167700 |     306    39764   228769 |   128698   122063     23 |  5.557 % |
70.30/70.48	c |    167934 |     306    39764   228769 |   128698   122297     23 |  5.557 % |
70.50/70.63	c |    168190 |     306    39764   228769 |   128698   122553     23 |  5.557 % |
70.70/70.85	c |    168474 |     306    39764   228769 |   128698   122837     23 |  5.557 % |
70.90/71.09	c |    168784 |     306    39764   228769 |   128698   123147     23 |  5.557 % |
71.10/71.25	c |    169123 |     306    39764   228769 |   128698   123486     23 |  5.557 % |
71.40/71.55	c |    169495 |     306    39764   228769 |   128698   123858     23 |  5.557 % |
71.79/71.90	c |    169905 |     306    39764   228769 |   128698   124268     23 |  5.567 % |
72.19/72.32	c |    170355 |     306    39764   228769 |   124364   110391     23 |  5.557 % |
72.40/72.51	c |    170849 |     306    39764   228769 |   124364   110885     23 |  5.557 % |
72.69/72.85	c |    171391 |     306    39764   228769 |   124364   111427     23 |  5.557 % |
73.09/73.20	c |    171987 |     305    39764   228769 |   124364   112022     22 |  5.876 % |
73.39/73.55	c |    172645 |     305    39764   228769 |   124364   112680     23 |  5.870 % |
73.89/74.01	c |    173365 |     305    39764   228769 |   124364   113400     23 |  5.865 % |
74.39/74.55	c |    174157 |     305    39764   228769 |   124364   114192     23 |  5.867 % |
74.89/75.07	c |    175029 |     305    39764   228769 |   124364   115064     23 |  5.865 % |
75.59/75.71	c |    175988 |     305    39764   228769 |   124364   116023     23 |  5.865 % |
76.19/76.39	c |    177041 |     305    39764   228769 |   124364   117076     23 |  5.878 % |
77.19/77.35	c |    178199 |     305    39764   228769 |   124364   118234     23 |  5.866 % |
78.29/78.49	c |    179473 |     305    39764   228769 |   124364   119508     23 |  5.876 % |
79.49/79.62	c |    180876 |     305    39764   228769 |   120036   106807     22 |  5.865 % |
80.29/80.47	c |    182416 |     305    39764   228769 |   120036   108347     22 |  5.865 % |
80.99/81.16	c |    184110 |     305    39764   228769 |   120036   110041     22 |  5.865 % |
82.00/82.17	c |    185974 |     305    39764   228769 |   120036   111905     23 |  5.865 % |
82.10/82.23	c |    186075 |     305    39764   228769 |   120036   112006     23 |  5.867 % |
82.20/82.36	c |    186185 |     305    39764   228769 |   120036   112116     23 |  5.867 % |
82.30/82.42	c |    186307 |     305    39764   228769 |   120036   112238     23 |  5.865 % |
82.40/82.50	c |    186441 |     305    39764   228769 |   120036   112372     23 |  5.867 % |
82.50/82.61	c |    186588 |     305    39764   228769 |   120036   112519     23 |  5.865 % |
82.60/82.76	c |    186748 |     305    39764   228769 |   120036   112679     23 |  5.866 % |
82.80/82.91	c |    186925 |     305    39764   228769 |   120036   112856     23 |  5.865 % |
82.90/83.06	c |    187118 |     305    39764   228769 |   120036   113049     23 |  5.867 % |
83.10/83.23	c |    187330 |     305    39764   228769 |   120036   113261     23 |  5.894 % |
83.20/83.34	c |    187566 |     305    39764   228769 |   120036   113497     23 |  5.865 % |
83.40/83.54	c |    187823 |     305    39764   228769 |   120036   113754     23 |  5.865 % |
83.60/83.71	c |    188108 |     305    39764   228769 |   120036   114039     23 |  5.865 % |
83.80/83.97	c |    188417 |     305    39764   228769 |   120036   114348     23 |  5.865 % |
84.10/84.21	c |    188758 |     305    39764   228769 |   120036   114689     23 |  5.865 % |
84.30/84.44	c |    189131 |     305    39764   228769 |   120036   115062     23 |  5.865 % |
84.50/84.67	c |    189543 |     305    39764   228769 |   120036   115474     23 |  5.865 % |
84.90/85.07	c |    189993 |     305    39764   228769 |   120036   115924     23 |  5.865 % |
85.50/85.65	c |    190489 |     305    39764   228769 |   115931   102894     22 |  5.867 % |
85.90/86.03	c |    191031 |     305    39764   228769 |   115931   103436     22 |  5.867 % |
86.40/86.58	c |    191627 |     305    39764   228769 |   115931   104032     22 |  5.865 % |
87.10/87.24	c |    192284 |     305    39764   228769 |   115931   104689     22 |  5.865 % |
87.50/87.64	c |    193005 |     305    39764   228769 |   115931   105410     22 |  5.865 % |
88.20/88.33	c |    193799 |     305    39764   228769 |   115931   106204     22 |  5.866 % |
88.80/88.94	c |    194670 |     305    39764   228769 |   115931   107075     22 |  5.865 % |
89.69/89.80	c |    195629 |     305    39764   228769 |   115931   108034     22 |  5.865 % |
90.49/90.60	c |    196683 |     305    39764   228769 |   115931   109088     22 |  5.865 % |
91.29/91.44	c |    197841 |     305    39764   228769 |   115931   110246     23 |  5.867 % |
92.49/92.60	c |    199116 |     305    39764   228769 |   115931   111521     23 |  5.865 % |
93.79/93.95	c |    200516 |     305    39764   228769 |   112410    98243     22 |  5.865 % |
95.09/95.20	c |    202058 |     305    39764   228769 |   112410    99785     22 |  5.865 % |
96.19/96.30	c |    203755 |     305    39764   228769 |   112410   101482     22 |  5.867 % |
97.29/97.40	c |    205620 |     305    39764   228769 |   112410   103347     22 |  5.865 % |
98.69/98.90	c |    207670 |     305    39764   228769 |   112410   105397     22 |  5.867 % |
98.79/98.95	c |    207771 |     305    39764   228769 |   112410   105498     22 |  5.865 % |
98.89/99.01	c |    207881 |     305    39764   228769 |   112410   105608     22 |  5.867 % |
98.89/99.07	c |    208002 |     305    39764   228769 |   112410   105729     22 |  5.867 % |
99.09/99.20	c |    208135 |     305    39764   228769 |   112410   105862     22 |  5.865 % |
99.19/99.31	c |    208281 |     305    39764   228769 |   112410   106008     22 |  5.865 % |
99.29/99.40	c |    208442 |     305    39764   228769 |   112410   106169     22 |  5.875 % |
99.39/99.56	c |    208619 |     305    39764   228769 |   112410   106346     22 |  5.865 % |
99.49/99.68	c |    208812 |     305    39764   228769 |   112410   106539     22 |  5.865 % |
99.59/99.79	c |    209026 |     305    39764   228769 |   112410   106753     22 |  5.865 % |
99.79/99.99	c |    209259 |     305    39764   228769 |   112410   106986     22 |  5.866 % |
99.99/100.12	c |    209518 |     305    39764   228769 |   112410   107245     22 |  5.865 % |
100.19/100.30	c |    209799 |     305    39764   228769 |   112410   107526     22 |  5.865 % |
100.39/100.53	c |    210113 |     305    39764   228769 |   107727   107840     22 |  5.865 % |
100.79/100.96	c |    210452 |     305    39764   228769 |   107727    96643     22 |  5.867 % |
100.99/101.20	c |    210824 |     305    39764   228769 |   107727    97015     22 |  5.866 % |
101.29/101.45	c |    211234 |     305    39764   228769 |   107727    97425     22 |  5.865 % |
101.49/101.66	c |    211684 |     305    39764   228769 |   107727    97875     22 |  5.865 % |
101.79/101.93	c |    212177 |     305    39764   228769 |   107727    98368     22 |  5.865 % |
102.19/102.34	c |    212719 |     305    39764   228769 |   107727    98910     22 |  5.865 % |
102.59/102.77	c |    213320 |     305    39764   228769 |   107727    99511     22 |  5.865 % |
103.08/103.26	c |    213978 |     305    39764   228769 |   107727   100169     22 |  5.865 % |
103.48/103.61	c |    214698 |     305    39764   228769 |   107727   100889     22 |  5.867 % |
103.88/104.02	c |    215490 |     305    39764   228769 |   107727   101681     22 |  5.870 % |
104.39/104.57	c |    216361 |     305    39764   228769 |   107727   102552     22 |  5.865 % |
104.89/105.05	c |    217326 |     305    38566   222308 |   107727   103515     22 |  5.865 % |
105.49/105.62	c |    218382 |     305    38566   222308 |   107727   104571     22 |  5.865 % |
105.99/106.11	c |    219541 |     305    38566   222308 |   107727   105730     22 |  5.876 % |
106.68/106.88	c |    220814 |     305    38566   222308 | 2147483647   107003     22 |  5.867 % |
107.59/107.76	c |    222216 |     305    38566   222308 | 2147483647   108405     22 |  5.865 % |
108.38/108.50	c |    223756 |     305    38566   222308 | 2147483647   109945     22 |  5.865 % |
109.18/109.38	c |    225452 |     305    38566   222308 | 2147483647   111641     22 |  5.865 % |
110.38/110.50	c |    227316 |     305    38566   222308 | 2147483647   113505     22 |  5.873 % |
111.68/111.82	c |    229367 |     305    38566   222308 | 2147483647   115556     22 |  5.871 % |
113.38/113.51	c |    231622 |     305    38566   222308 | 2147483647   117811     22 |  5.867 % |
113.38/113.56	c |    231723 |     305    38566   222308 | 2147483647   117912     22 |  5.865 % |
113.48/113.61	c |    231834 |     305    38566   222308 | 2147483647   118023     22 |  5.865 % |
113.48/113.68	c |    231956 |     305    38566   222308 | 2147483647   118145     22 |  5.876 % |
113.58/113.77	c |    232089 |     305    38566   222308 | 2147483647   118278     22 |  5.865 % |
113.78/113.93	c |    232238 |     305    38566   222308 | 2147483647   118427     22 |  5.865 % |
113.88/114.07	c |    232399 |     305    38566   222308 | 2147483647   118588     22 |  5.865 % |
114.08/114.20	c |    232576 |     305    38566   222308 | 2147483647   118765     22 |  5.865 % |
114.18/114.35	c |    232769 |     305    38566   222308 | 2147483647   118958     22 |  5.867 % |
114.28/114.49	c |    232981 |     305    38566   222308 | 2147483647   119170     22 |  5.865 % |
114.48/114.68	c |    233216 |     305    38566   222308 | 2147483647   119405     22 |  5.865 % |
114.78/114.90	c |    233472 |     305    38566   222308 | 2147483647   119661     22 |  5.865 % |
114.98/115.12	c |    233754 |     305    38566   222308 | 2147483647   119943     22 |  5.865 % |
115.18/115.30	c |    234063 |     305    38566   222308 | 2147483647   120252     22 |  5.865 % |
115.48/115.64	c |    234402 |     305    38566   222308 | 2147483647   120591     22 |  5.865 % |
115.78/115.98	c |    234774 |     305    38566   222308 | 2147483647   120963     22 |  5.867 % |
116.18/116.39	c |    235183 |     305    38566   222308 | 2147483647   121372     22 |  5.865 % |
116.68/116.83	c |    235635 |     305    38566   222308 | 2147483647   121824     22 |  5.865 % |
116.98/117.15	c |    236128 |     305    38566   222308 | 2147483647   122317     22 |  5.865 % |
117.28/117.43	c |    236671 |     305    38566   222308 | 2147483647   122860     22 |  5.884 % |
117.58/117.76	c |    237267 |     305    38566   222308 | 2147483647   123456     22 |  5.865 % |
117.88/118.09	c |    237922 |     305    38566   222308 | 2147483647   124111     22 |  5.867 % |
118.28/118.48	c |    238644 |     305    38566   222308 | 2147483647   124833     22 |  5.865 % |
118.98/119.13	c |    239438 |     305    38566   222308 | 2147483647   125627     22 |  5.865 % |
119.48/119.61	c |    240309 |     305    38566   222308 | 2147483647   126498     22 |  5.865 % |
120.08/120.25	c |    241267 |     305    38566   222308 | 2147483647   127456     22 |  5.865 % |
120.88/121.03	c |    242324 |     305    38566   222308 | 2147483647   128513     22 |  5.865 % |
121.98/122.14	c |    243483 |     305    38566   222308 | 2147483647   129672     22 |  5.865 % |
122.87/123.02	c |    244757 |     305    38566   222308 | 2147483647   130946     23 |  5.865 % |
124.08/124.23	c |    246158 |     305    38566   222308 | 2147483647   132347     23 |  5.865 % |
125.18/125.36	c |    247699 |     305    38566   222308 | 2147483647   133888     23 |  5.867 % |
126.38/126.54	c |    249393 |     305    38566   222308 | 2147483647   135582     23 |  5.865 % |
128.07/128.28	c |    251257 |     305    38566   222308 |   136189   119815     22 |  5.865 % |
129.77/129.93	c |    253307 |     305    38566   222308 |   136189   121865     22 |  5.865 % |
131.17/131.40	c |    255561 |     305    38566   222308 |   136189   124119     22 |  5.865 % |
133.27/133.47	c |    258039 |     305    38566   222308 |   136189   126597     22 |  5.865 % |
133.47/133.60	c |    258139 |     305    38566   222308 |   136189   126697     22 |  5.865 % |
133.57/133.72	c |    258250 |     305    38566   222308 |   136189   126808     22 |  5.865 % |
133.67/133.81	c |    258371 |     305    38566   222308 |   136189   126929     22 |  5.865 % |
133.77/133.90	c |    258505 |     305    38566   222308 |   136189   127063     22 |  5.867 % |
133.87/134.01	c |    258652 |     305    38566   222308 |   136189   127210     22 |  5.867 % |
133.97/134.18	c |    258812 |     305    38566   222308 |   136189   127370     22 |  5.875 % |
134.17/134.31	c |    258988 |     305    38566   222308 |   136189   127546     22 |  5.865 % |
134.27/134.44	c |    259181 |     305    38566   222308 |   136189   127739     22 |  5.865 % |
134.47/134.60	c |    259393 |     305    38566   222308 |   136189   127951     22 |  5.865 % |
134.57/134.75	c |    259626 |     305    38566   222308 |   136189   128184     22 |  5.867 % |
134.77/134.90	c |    259884 |     305    38566   222308 |   136189   128442     22 |  5.865 % |
135.27/135.41	c |    260166 |     305    38566   222308 |   128559   111368     22 |  5.865 % |
135.47/135.61	c |    260475 |     305    38566   222308 |   128559   111677     22 |  5.874 % |
135.67/135.81	c |    260814 |     305    38566   222308 |   128559   112016     22 |  5.865 % |
135.87/136.08	c |    261188 |     305    38566   222308 |   128559   112390     22 |  5.865 % |
136.17/136.37	c |    261600 |     305    38566   222308 |   128559   112802     22 |  5.865 % |
136.47/136.67	c |    262049 |     305    38566   222308 |   128559   113251     22 |  5.867 % |
136.87/137.09	c |    262543 |     305    38566   222308 |   128559   113745     22 |  5.865 % |
137.37/137.54	c |    263085 |     305    38566   222308 |   128559   114287     22 |  5.865 % |
138.07/138.20	c |    263682 |     305    38566   222308 |   128559   114884     22 |  5.865 % |
138.57/138.74	c |    264339 |     305    38566   222308 |   128559   115541     22 |  5.865 % |
138.97/139.14	c |    265059 |     305    38566   222308 |   128559   116261     22 |  5.867 % |
139.77/139.91	c |    265851 |     305    38566   222308 |   128559   117053     22 |  5.865 % |
140.57/140.73	c |    266723 |     305    38566   222308 |   128559   117925     22 |  5.865 % |
141.57/141.77	c |    267682 |     305    38566   222308 |   128559   118884     22 |  5.865 % |
142.46/142.69	c |    268736 |     305    38566   222308 |   128559   119938     22 |  5.865 % |
143.56/143.70	c |    269895 |     305    38566   222308 |   128559   121097     22 |  5.865 % |
144.76/144.98	c |    271168 |     305    38566   222308 |   121204   105329     21 |  5.865 % |
145.96/146.14	c |    272568 |     305    38566   222308 |   121204   106729     21 |  5.865 % |
147.66/147.82	c |    274108 |     305    38566   222308 |   121204   108269     21 |  5.865 % |
148.96/149.17	c |    275804 |     305    38566   222308 |   121204   109965     21 |  5.865 % |
150.66/150.86	c |    277667 |     305    38566   222308 |   121204   111828     22 |  5.866 % |
152.16/152.38	c |    279717 |     305    38566   222308 |   121204   113878     22 |  5.865 % |
153.87/154.09	c |    281970 |     305    38566   222308 |   114161   100680     21 |  5.867 % |
155.26/155.41	c |    284448 |     305    38566   222308 |   114161   103158     21 |  5.865 % |
157.07/157.22	c |    287174 |     305    38566   222308 |   114161   105884     21 |  5.865 % |
157.07/157.29	c |    287275 |     305    38566   222308 |   114161   105985     21 |  5.865 % |
157.17/157.37	c |    287387 |     305    38566   222308 |   114161   106097     21 |  5.865 % |
157.26/157.44	c |    287509 |     305    38566   222308 |   114161   106219     21 |  5.865 % |
157.46/157.64	c |    287642 |     305    38566   222308 |   114161   106352     21 |  5.865 % |
157.56/157.80	c |    287792 |     305    38566   222308 |   114161   106502     21 |  5.865 % |
157.76/157.98	c |    287953 |     305    38566   222308 |   114161   106663     21 |  5.865 % |
157.96/158.12	c |    288131 |     305    38566   222308 |   114161   106841     21 |  5.865 % |
158.06/158.26	c |    288326 |     305    38566   222308 |   114161   107036     21 |  5.865 % |
158.26/158.45	c |    288538 |     305    38566   222308 |   114161   107248     21 |  5.865 % |
158.36/158.58	c |    288771 |     305    38566   222308 |   114161   107481     21 |  5.865 % |
158.56/158.79	c |    289028 |     305    38566   222308 |   114161   107738     21 |  5.865 % |
158.86/159.02	c |    289309 |     305    38566   222308 |   114161   108019     21 |  5.865 % |
159.06/159.27	c |    289618 |     305    38566   222308 |   114161   108328     22 |  5.865 % |
159.36/159.50	c |    289959 |     305    38566   222308 |   114161   108669     22 |  5.865 % |
159.56/159.77	c |    290332 |     305    38566   222308 | 2147483647   109042     22 |  5.865 % |
159.86/160.03	c |    290742 |     305    38566   222308 | 2147483647   109452     22 |  5.865 % |
160.26/160.43	c |    291193 |     305    38566   222308 | 2147483647   109903     22 |  5.867 % |
160.56/160.76	c |    291689 |     305    38566   222308 | 2147483647   110399     22 |  5.865 % |
160.96/161.12	c |    292231 |     305    38566   222308 | 2147483647   110941     22 |  5.865 % |
161.46/161.61	c |    292830 |     305    38566   222308 | 2147483647   111540     22 |  5.874 % |
162.06/162.26	c |    293486 |     305    38566   222308 | 2147483647   112196     22 |  5.865 % |
162.56/162.73	c |    294208 |     305    38566   222308 | 2147483647   112918     22 |  5.865 % |
163.06/163.22	c |    295000 |     305    38566   222308 | 2147483647   113710     22 |  5.865 % |
163.66/163.85	c |    295871 |     305    38566   222308 | 2147483647   114581     22 |  5.867 % |
164.36/164.54	c |    296831 |     305    38566   222308 | 2147483647   115541     22 |  5.865 % |
165.26/165.49	c |    297887 |     305    38566   222308 | 2147483647   116597     22 |  5.865 % |
166.16/166.34	c |    299045 |     305    38566   222308 | 2147483647   117755     22 |  5.865 % |
167.26/167.45	c |    300319 |     305    38566   222308 |   118711   106557     22 |  5.865 % |
168.46/168.67	c |    301721 |     305    38566   222308 |   118711   107959     22 |  5.865 % |
169.66/169.84	c |    303263 |     305    38566   222308 |   118711   109501     22 |  5.865 % |
170.96/171.16	c |    304960 |     305    38566   222308 |   118711   111198     22 |  5.865 % |
172.36/172.59	c |    306824 |     305    38566   222308 |   118711   113062     22 |  5.865 % |
174.16/174.31	c |    308875 |     305    38566   222308 |   118711   115113     22 |  5.865 % |
176.35/176.50	c |    311129 |     305    38566   222308 |   116238   103725     22 |  5.865 % |
178.75/178.98	c |    313608 |     305    38566   222308 |   116238   106204     22 |  5.867 % |
181.45/181.62	c |    316333 |     305    38566   222308 |   116238   108929     22 |  5.867 % |
183.75/183.94	c |    319331 |     305    38566   222308 |   116238   111927     23 |  5.867 % |
183.85/184.02	c |    319433 |     305    38566   222308 |   116238   112029     23 |  5.865 % |
183.85/184.08	c |    319546 |     305    38566   222308 |   116238   112142     23 |  5.865 % |
184.05/184.29	c |    319667 |     305    38566   222308 |   116238   112263     23 |  5.866 % |
184.15/184.37	c |    319800 |     305    38566   222308 |   116238   112396     23 |  5.865 % |
184.25/184.50	c |    319946 |     305    38566   222308 |   116238   112542     23 |  5.865 % |
184.45/184.62	c |    320106 |     305    38566   222308 |   112596   112702     23 |  5.865 % |
184.75/184.95	c |    320283 |     305    38566   222308 |   112596    98980     22 |  5.865 % |
184.85/185.07	c |    320476 |     305    38566   222308 |   112596    99173     22 |  5.865 % |
185.05/185.25	c |    320689 |     305    38566   222308 |   112596    99386     22 |  5.867 % |
185.15/185.40	c |    320923 |     305    38566   222308 |   112596    99620     22 |  5.865 % |
185.35/185.59	c |    321179 |     305    38566   222308 |   112596    99876     22 |  5.865 % |
185.55/185.78	c |    321460 |     305    38566   222308 |   112596   100157     22 |  5.865 % |
185.75/185.95	c |    321770 |     305    38566   222308 |   112596   100467     22 |  5.865 % |
186.05/186.22	c |    322112 |     305    38566   222308 |   112596   100809     22 |  5.867 % |
186.25/186.42	c |    322484 |     305    38566   222308 |   112596   101181     22 |  5.865 % |
186.45/186.64	c |    322895 |     305    38566   222308 |   112596   101592     22 |  5.865 % |
186.65/186.90	c |    323344 |     305    38566   222308 |   112596   102041     22 |  5.865 % |
187.05/187.24	c |    323837 |     305    38566   222308 |   112596   102534     22 |  5.867 % |
187.35/187.55	c |    324379 |     305    38566   222308 |   112596   103076     22 |  5.865 % |
187.75/187.94	c |    324975 |     305    38566   222308 |   112596   103672     22 |  5.865 % |
188.15/188.37	c |    325631 |     305    38566   222308 |   112596   104328     22 |  5.865 % |
188.85/189.04	c |    326351 |     305    38566   222308 |   112596   105048     22 |  5.865 % |
189.55/189.73	c |    327144 |     305    38566   222308 |   112596   105841     22 |  5.865 % |
190.15/190.34	c |    328015 |     305    38566   222308 |   112596   106712     22 |  5.865 % |
190.85/191.09	c |    328974 |     305    38566   222308 |   112596   107671     22 |  5.865 % |
191.65/191.89	c |    330027 |     305    38566   222308 | 2147483647   108724     23 |  5.865 % |
192.94/193.13	c |    331185 |     305    38566   222308 | 2147483647   109882     23 |  5.865 % |
194.04/194.24	c |    332458 |     305    38566   222308 | 2147483647   111155     23 |  5.865 % |
194.94/195.11	c |    333858 |     305    38566   222308 | 2147483647   112555     23 |  5.865 % |
196.04/196.23	c |    335398 |     305    38566   222308 | 2147483647   114095     23 |  5.867 % |
197.24/197.46	c |    337094 |     305    38566   222308 | 2147483647   115791     23 |  5.865 % |
199.25/199.40	c |    338958 |     305    38566   222308 | 2147483647   117655     23 |  5.865 % |
201.05/201.22	c |    341007 |     305    38566   222308 |   118697   104984     22 |  5.865 % |
202.44/202.66	c |    343260 |     305    38566   222308 |   118697   107237     23 |  5.865 % |
204.04/204.26	c |    345740 |     305    38566   222308 |   118697   109717     23 |  5.865 % |
206.34/206.56	c |    348465 |     305    38566   222308 |   118697   112442     23 |  5.865 % |
208.54/208.74	c |    351464 |     305    38566   222308 |   113978   100892     22 |  5.865 % |
210.54/210.77	c |    354760 |     305    38566   222308 |   113978   104188     23 |  5.876 % |
210.64/210.82	c |    354861 |     305    38566   222308 |   113978   104289     23 |  5.872 % |
210.74/210.92	c |    354972 |     305    38566   222308 |   113978   104400     23 |  5.866 % |
210.74/210.99	c |    355093 |     305    38566   222308 |   113978   104521     23 |  5.865 % |
210.94/211.12	c |    355227 |     305    38566   222308 |   113978   104655     23 |  5.865 % |
211.04/211.25	c |    355373 |     305    38566   222308 |   113978   104801     23 |  5.865 % |
211.24/211.41	c |    355535 |     305    38566   222308 |   113978   104963     23 |  5.865 % |
211.34/211.55	c |    355711 |     305    38566   222308 |   113978   105139     23 |  5.865 % |
211.44/211.69	c |    355905 |     305    38566   222308 |   113978   105333     23 |  5.865 % |
211.74/211.95	c |    356118 |     305    38566   222308 |   113978   105546     23 |  5.865 % |
211.94/212.10	c |    356352 |     305    38566   222308 |   113978   105780     23 |  5.865 % |
212.14/212.34	c |    356608 |     305    38566   222308 |   113978   106036     23 |  5.865 % |
212.33/212.52	c |    356891 |     305    38566   222308 |   113978   106319     23 |  5.867 % |
212.53/212.70	c |    357201 |     305    38566   222308 |   113978   106629     23 |  5.867 % |
212.83/213.07	c |    357540 |     305    38566   222308 |   113978   106968     23 |  5.865 % |
213.24/213.46	c |    357913 |     305    38566   222308 |   113978   107341     23 |  5.865 % |
213.63/213.90	c |    358325 |     305    38566   222308 |   113978   107753     23 |  5.865 % |
214.13/214.35	c |    358775 |     305    38566   222308 |   113978   108203     23 |  5.865 % |
214.63/214.86	c |    359269 |     305    38566   222308 |   113978   108697     23 |  5.865 % |
215.23/215.43	c |    359812 |     305    38566   222308 |   113978   109240     23 |  5.865 % |
215.83/216.06	c |    360409 |     305    38566   222308 |   109428    97962     22 |  5.865 % |
216.33/216.50	c |    361064 |     305    38566   222308 |   109428    98617     22 |  5.865 % |
216.93/217.17	c |    361785 |     305    38566   222308 |   109428    99338     22 |  5.865 % |
217.64/217.90	c |    362577 |     305    38566   222308 |   109428   100130     22 |  5.865 % |
218.53/218.79	c |    363449 |     305    38566   222308 |   109428   101002     22 |  5.865 % |
219.33/219.58	c |    364408 |     305    38566   222308 |   109428   101961     22 |  5.865 % |
220.33/220.54	c |    365461 |     305    38566   222308 |   109428   103014     22 |  5.865 % |
221.43/221.64	c |    366620 |     305    38566   222308 |   109428   104173     22 |  5.865 % |
222.53/222.70	c |    367893 |     305    38566   222308 |   109428   105446     23 |  5.865 % |
223.93/224.10	c |    369296 |     305    38566   222308 |   109428   106849     23 |  5.865 % |
225.13/225.40	c |    370837 |     305    38566   222308 |   107553    96041     22 |  5.865 % |
226.33/226.56	c |    372532 |     305    38566   222308 |   107553    97736     22 |  5.865 % |
227.53/227.71	c |    374396 |     305    38566   222308 |   107553    99600     22 |  5.865 % |
228.92/229.17	c |    376445 |     305    38566   222308 |   107553   101649     22 |  5.865 % |
230.32/230.51	c |    378699 |     305    38566   222308 |   107553   103903     22 |  5.865 % |
231.42/231.69	c |    381177 |     305    38566   222308 | 2147483647   106381     22 |  5.873 % |
233.62/233.86	c |    383902 |     305    38566   222308 | 2147483647   109106     23 |  5.871 % |
236.22/236.47	c |    386899 |     305    38566   222308 | 2147483647   112103     23 |  5.865 % |
239.12/239.34	c |    390195 |     305    38566   222308 |   115204   100315     22 |  5.865 % |
241.72/241.93	c |    393822 |     305    38566   222308 |   115204   103942     22 |  5.865 % |
241.72/241.99	c |    393922 |     305    38566   222308 |   115204   104042     22 |  5.865 % |
241.82/242.05	c |    394033 |     305    38566   222308 |   115204   104153     22 |  5.865 % |
241.92/242.14	c |    394154 |     305    38566   222308 |   115204   104274     22 |  5.867 % |
242.02/242.20	c |    394287 |     305    38566   222308 |   115204   104407     22 |  5.865 % |
242.12/242.32	c |    394433 |     305    38566   222308 |   115204   104553     22 |  5.876 % |
242.22/242.41	c |    394593 |     305    38566   222308 |   115204   104713     22 |  5.865 % |
242.32/242.57	c |    394769 |     305    38566   222308 |   115204   104889     22 |  5.865 % |
242.42/242.67	c |    394962 |     305    38566   222308 |   115204   105082     22 |  5.865 % |
242.62/242.80	c |    395175 |     305    38566   222308 |   115204   105295     22 |  5.876 % |
242.72/242.95	c |    395408 |     305    38566   222308 |   115204   105528     22 |  5.866 % |
242.82/243.08	c |    395666 |     305    38566   222308 |   115204   105786     22 |  5.865 % |
243.02/243.23	c |    395950 |     305    38566   222308 |   115204   106070     22 |  5.865 % |
243.22/243.47	c |    396260 |     305    38566   222308 |   115204   106380     22 |  5.865 % |
243.42/243.67	c |    396599 |     305    38566   222308 |   115204   106719     22 |  5.865 % |
243.72/243.98	c |    396971 |     305    38566   222308 |   115204   107091     22 |  5.867 % |
244.02/244.26	c |    397380 |     305    38566   222308 |   115204   107500     22 |  5.865 % |
244.32/244.51	c |    397830 |     305    38566   222308 |   115204   107950     22 |  5.866 % |
244.62/244.80	c |    398323 |     305    38566   222308 |   115204   108443     22 |  5.865 % |
244.92/245.12	c |    398866 |     305    38566   222308 |   115204   108986     23 |  5.865 % |
245.12/245.38	c |    399463 |     305    38566   222308 |   115204   109583     22 |  5.865 % |
245.42/245.68	c |    400119 |     305    38566   222308 | 2147483647   110239     22 |  5.865 % |
245.82/246.00	c |    400839 |     305    38566   222308 | 2147483647   110959     23 |  5.865 % |
246.12/246.31	c |    401632 |     305    38566   222308 | 2147483647   111752     23 |  5.865 % |
246.92/247.17	c |    402503 |     305    38566   222308 | 2147483647   112623     23 |  5.865 % |
247.82/248.03	c |    403461 |     305    38566   222308 | 2147483647   113581     23 |  5.865 % |
248.72/248.96	c |    404515 |     305    38566   222308 | 2147483647   114635     23 |  5.865 % |
249.62/249.88	c |    405674 |     305    38566   222308 | 2147483647   115794     23 |  5.867 % |
250.32/250.59	c |    406947 |     305    38566   222308 | 2147483647   117067     23 |  5.865 % |
251.02/251.27	c |    408348 |     305    38566   222308 | 2147483647   118468     23 |  5.865 % |
251.81/252.08	c |    409889 |     305    38566   222308 | 2147483647   120009     23 |  5.865 % |
253.61/253.84	c |    411583 |     305    38566   222308 |   120120   108421     22 |  5.865 % |
255.11/255.38	c |    413446 |     305    38566   222308 |   120120   110284     22 |  5.865 % |
257.31/257.50	c |    415495 |     305    38566   222308 |   120120   112333     22 |  5.867 % |
258.81/259.09	c |    417749 |     305    38566   222308 |   120120   114587     23 |  5.865 % |
261.91/262.19	c |    420228 |     305    38566   222308 |   116838   101898     22 |  5.865 % |
263.52/263.72	c |    422955 |     305    38566   222308 |   116838   104625     22 |  5.865 % |
265.72/265.91	c |    425955 |     305    38566   222308 |   116838   107625     22 |  5.865 % |
268.42/268.68	c |    429251 |     305    38566   222308 |   116838   110921     22 |  5.867 % |
271.71/271.93	c |    432877 |     305    38566   222308 | 2147483647   114547     22 |  5.865 % |
275.21/275.47	c |    436866 |     305    38566   222308 | 2147483647   118536     23 |  5.865 % |
275.31/275.56	c |    436966 |     305    38566   222308 | 2147483647   118636     23 |  5.865 % |
275.41/275.65	c |    437076 |     305    38566   222308 | 2147483647   118746     23 |  5.865 % |
275.61/275.84	c |    437197 |     305    38566   222308 | 2147483647   118867     23 |  5.865 % |
275.71/275.96	c |    437332 |     305    38566   222308 | 2147483647   119002     23 |  5.865 % |
275.91/276.17	c |    437479 |     305    38566   222308 | 2147483647   119149     23 |  5.865 % |
276.21/276.40	c |    437639 |     305    38566   222308 | 2147483647   119309     23 |  5.867 % |
276.41/276.62	c |    437815 |     305    38566   222308 | 2147483647   119485     23 |  5.867 % |
276.61/276.83	c |    438009 |     305    38566   222308 | 2147483647   119679     23 |  5.867 % |
276.91/277.12	c |    438221 |     305    38566   222308 | 2147483647   119891     23 |  5.867 % |
277.01/277.23	c |    438454 |     305    38566   222308 | 2147483647   120124     23 |  5.865 % |
277.31/277.50	c |    438711 |     305    38566   222308 | 2147483647   120381     23 |  5.865 % |
277.51/277.71	c |    438992 |     305    38566   222308 | 2147483647   120662     23 |  5.867 % |
277.71/277.96	c |    439303 |     305    38566   222308 | 2147483647   120973     23 |  5.865 % |
278.11/278.31	c |    439645 |     305    38566   222308 | 2147483647   121315     23 |  5.865 % |
278.41/278.64	c |    440017 |     305    38566   222308 |   121670   121687     23 |  5.865 % |
279.01/279.24	c |    440426 |     305    38566   222308 |   121670   104177     22 |  5.865 % |
279.21/279.50	c |    440875 |     305    38566   222308 |   121670   104626     22 |  5.865 % |
279.51/279.78	c |    441368 |     305    38566   222308 |   121670   105119     22 |  5.865 % |
280.01/280.24	c |    441914 |     305    38566   222308 |   121670   105665     22 |  5.865 % |
280.31/280.55	c |    442512 |     305    38566   222308 |   121670   106263     22 |  5.865 % |
281.01/281.25	c |    443167 |     305    38566   222308 |   121670   106918     22 |  5.865 % |
281.71/281.97	c |    443887 |     305    38566   222308 |   121670   107638     22 |  5.865 % |
282.41/282.67	c |    444679 |     305    38566   222308 |   121670   108430     22 |  5.865 % |
283.31/283.54	c |    445550 |     305    38566   222308 |   121670   109301     22 |  5.865 % |
284.01/284.27	c |    446509 |     305    38566   222308 |   121670   110260     22 |  5.865 % |
284.91/285.19	c |    447562 |     305    38566   222308 |   121670   111313     22 |  5.865 % |
286.31/286.52	c |    448720 |     305    38566   222308 |   121670   112471     22 |  5.865 % |
287.51/287.73	c |    449998 |     305    38566   222308 |   121670   113749     22 |  5.865 % |
289.01/289.28	c |    451400 |     305    38566   222308 |   113751   100503     22 |  5.865 % |
290.40/290.62	c |    452940 |     305    38566   222308 |   113751   102043     22 |  5.865 % |
291.70/291.92	c |    454635 |     305    38566   222308 |   113751   103738     22 |  5.865 % |
292.90/293.19	c |    456498 |     305    38566   222308 |   113751   105601     22 |  5.867 % |
293.80/294.06	c |    458549 |     305    38566   222308 |   113751   107652     22 |  5.865 % |
295.90/296.13	c |    460803 |     305    38566   222308 | 2147483647   109906     22 |  5.865 % |
297.40/297.68	c |    463284 |     305    38566   222308 | 2147483647   112387     22 |  5.865 % |
298.80/299.04	c |    466009 |     305    38566   222308 | 2147483647   115112     22 |  5.865 % |
301.00/301.26	c |    469006 |     305    38566   222308 | 2147483647   118109     22 |  5.865 % |
303.90/304.17	c |    472302 |     305    38566   222308 | 2147483647   121405     22 |  5.865 % |
307.10/307.35	c |    475929 |     305    38566   222308 | 2147483647   125032     23 |  5.865 % |
310.20/310.45	c |    479919 |     305    38566   222308 | 2147483647   129022     23 |  5.865 % |
314.10/314.32	c |    484307 |     305    38566   222308 |   129103   115804     22 |  5.865 % |
314.10/314.37	c |    484408 |     305    38566   222308 |   129103   115905     22 |  5.865 % |
314.20/314.45	c |    484518 |     305    38566   222308 |   129103   116015     22 |  5.865 % |
314.40/314.66	c |    484639 |     305    38566   222308 |   129103   116136     22 |  5.865 % |
314.50/314.78	c |    484774 |     305    38566   222308 |   129103   116271     22 |  5.865 % |
314.70/314.91	c |    484920 |     305    38566   222308 |   129103   116417     22 |  5.865 % |
314.80/315.03	c |    485080 |     305    38566   222308 |   129103   116577     22 |  5.865 % |
314.90/315.19	c |    485258 |     305    38566   222308 |   129103   116755     22 |  5.867 % |
315.10/315.31	c |    485453 |     305    38566   222308 |   129103   116950     22 |  5.865 % |
315.30/315.50	c |    485668 |     305    38566   222308 |   129103   117165     22 |  5.865 % |
315.40/315.65	c |    485901 |     305    38566   222308 |   129103   117398     22 |  5.865 % |
315.60/315.85	c |    486158 |     305    38566   222308 |   129103   117655     22 |  5.865 % |
315.80/316.08	c |    486440 |     305    38566   222308 |   129103   117937     22 |  5.865 % |
316.10/316.31	c |    486750 |     305    38566   222308 |   129103   118247     22 |  5.865 % |
316.29/316.55	c |    487089 |     305    38566   222308 |   129103   118586     22 |  5.865 % |
316.69/316.91	c |    487461 |     305    38566   222308 |   129103   118958     22 |  5.867 % |
316.99/317.25	c |    487871 |     305    38566   222308 |   129103   119368     22 |  5.865 % |
317.29/317.55	c |    488320 |     305    38566   222308 |   129103   119817     23 |  5.865 % |
317.70/317.97	c |    488813 |     305    38566   222308 |   129103   120310     23 |  5.865 % |
317.99/318.25	c |    489355 |     305    38566   222308 |   129103   120852     23 |  5.865 % |
318.29/318.55	c |    489951 |     305    38566   222308 |   129103   121448     23 |  5.865 % |
319.19/319.47	c |    490606 |     305    38566   222308 |   121497   104813     22 |  5.865 % |
319.59/319.82	c |    491327 |     305    38566   222308 |   121497   105534     22 |  5.865 % |
319.89/320.14	c |    492120 |     305    38566   222308 |   121497   106327     22 |  5.865 % |
320.29/320.57	c |    492994 |     305    38566   222308 |   121497   107201     22 |  5.865 % |
320.79/321.04	c |    493956 |     305    38566   222308 |   121497   108163     22 |  5.865 % |
321.29/321.54	c |    495009 |     305    38566   222308 |   121497   109216     22 |  5.865 % |
321.99/322.29	c |    496167 |     305    38566   222308 |   121497   110374     22 |  5.865 % |
322.89/323.10	c |    497442 |     305    38566   222308 |   121497   111649     22 |  5.865 % |
323.49/323.71	c |    498842 |     305    38566   222308 |   121497   113049     23 |  5.865 % |
324.19/324.47	c |    500382 |     305    38566   222308 | 2147483647   114589     23 |  5.865 % |
324.99/325.25	c |    502077 |     305    38566   222308 | 2147483647   116284     23 |  5.867 % |
326.69/326.99	c |    503940 |     305    38566   222308 | 2147483647   118147     23 |  5.865 % |
327.99/328.22	c |    505989 |     305    38566   222308 | 2147483647   120196     23 |  5.867 % |
329.59/329.86	c |    508242 |     305    38566   222308 | 2147483647   122449     23 |  5.865 % |
331.89/332.12	c |    510721 |     305    38566   222308 |   124208   112023     22 |  5.865 % |
334.09/334.30	c |    513446 |     305    38566   222308 |   124208   114748     23 |  5.867 % |
336.58/336.85	c |    516444 |     305    38566   222308 |   124208   117746     23 |  5.865 % |
339.69/339.90	c |    519740 |     305    38566   222308 |   124208   121042     23 |  5.865 % |
343.08/343.36	c |    523366 |     305    38566   222308 |   121304   111537     23 |  5.865 % |
346.28/346.56	c |    527355 |     305    38566   222308 |   121304   115526     23 |  5.865 % |
350.48/350.74	c |    531741 |     305    38566   222308 | 2147483647   119912     23 |  5.865 % |
355.18/355.46	c |    536564 |     305    38566   222308 | 2147483647   124735     23 |  5.867 % |
355.28/355.57	c |    536664 |     305    38566   222308 | 2147483647   124835     23 |  5.865 % |
355.48/355.71	c |    536774 |     305    38566   222308 | 2147483647   124945     23 |  5.865 % |
355.58/355.83	c |    536895 |     305    38566   222308 | 2147483647   125066     23 |  5.865 % |
355.68/355.96	c |    537029 |     305    38566   222308 | 2147483647   125200     23 |  5.865 % |
355.98/356.20	c |    537177 |     305    38566   222308 | 2147483647   125348     23 |  5.865 % |
356.08/356.36	c |    537337 |     305    38566   222308 | 2147483647   125508     23 |  5.865 % |
356.28/356.53	c |    537513 |     305    38566   222308 | 2147483647   125684     23 |  5.865 % |
356.48/356.76	c |    537707 |     305    38566   222308 | 2147483647   125878     23 |  5.865 % |
356.68/356.96	c |    537920 |     305    38566   222308 | 2147483647   126091     23 |  5.865 % |
356.98/357.20	c |    538154 |     305    38566   222308 | 2147483647   126325     23 |  5.865 % |
357.18/357.44	c |    538412 |     305    38566   222308 | 2147483647   126583     23 |  5.865 % |
357.38/357.69	c |    538693 |     305    38566   222308 | 2147483647   126864     23 |  5.865 % |
357.68/357.91	c |    539002 |     305    38566   222308 | 2147483647   127173     23 |  5.865 % |
357.98/358.26	c |    539341 |     305    38566   222308 | 2147483647   127512     23 |  5.865 % |
358.38/358.69	c |    539714 |     305    38566   222308 | 2147483647   127885     23 |  5.865 % |
359.38/359.70	c |    540125 |     305    38566   222308 |   128173   108615     23 |  5.865 % |
359.88/360.11	c |    540575 |     305    38566   222308 |   128173   109065     23 |  5.865 % |
360.38/360.63	c |    541070 |     305    38566   222308 |   128173   109560     23 |  5.865 % |
360.97/361.23	c |    541612 |     305    38566   222308 |   128173   110102     23 |  5.865 % |
361.58/361.83	c |    542210 |     305    38566   222308 |   128173   110700     23 |  5.865 % |
362.27/362.51	c |    542865 |     305    38566   222308 |   128173   111355     23 |  5.865 % |
362.87/363.16	c |    543586 |     305    38566   222308 |   128173   112076     23 |  5.865 % |
363.47/363.71	c |    544379 |     305    38566   222308 |   128173   112869     23 |  5.865 % |
364.07/364.31	c |    545250 |     305    38566   222308 |   128173   113740     23 |  5.865 % |
364.77/365.08	c |    546210 |     305    38566   222308 |   128173   114700     23 |  5.865 % |
365.67/365.99	c |    547264 |     305    38566   222308 |   128173   115754     23 |  5.865 % |
366.77/367.05	c |    548422 |     305    38566   222308 |   128173   116912     23 |  5.865 % |
367.87/368.14	c |    549695 |     305    38566   222308 |   128173   118185     23 |  5.865 % |
369.57/369.83	c |    551095 |     305    38566   222308 |   118494   102904     22 |  5.865 % |
371.27/371.57	c |    552635 |     305    38566   222308 |   118494   104444     22 |  5.865 % |
373.17/373.40	c |    554329 |     305    38566   222308 |   118494   106138     22 |  5.865 % |
374.47/374.71	c |    556192 |     305    38566   222308 |   118494   108001     22 |  5.865 % |
375.87/376.19	c |    558242 |     305    38566   222308 |   118494   110051     22 |  5.865 % |
377.87/378.11	c |    560495 |     305    38566   222308 |   111809    97444     22 |  5.865 % |
379.86/380.17	c |    562974 |     305    38566   222308 |   111809    99923     22 |  5.865 % |
381.56/381.83	c |    565700 |     305    38566   222308 |   111809   102649     22 |  5.865 % |
383.86/384.17	c |    568697 |     305    38566   222308 |   111809   105646     22 |  5.865 % |
386.06/386.36	c |    571993 |     305    38566   222308 |   106949    97963     22 |  5.865 % |
387.97/388.22	c |    575619 |     305    38566   222308 |   106949   101589     22 |  5.865 % |
391.06/391.30	c |    579606 |     305    38566   222308 |   106949   105576     22 |  5.865 % |
394.16/394.45	c |    583991 |     305    38566   222308 | 2147483647   109961     23 |  5.865 % |
397.16/397.45	c |    588815 |     305    38566   222308 | 2147483647   114785     23 |  5.865 % |
401.46/401.76	c |    594122 |     305    38566   222308 | 2147483647   120092     23 |  5.865 % |
401.56/401.85	c |    594222 |     305    38566   222308 | 2147483647   120192     23 |  5.865 % |
401.66/401.96	c |    594332 |     305    38566   222308 | 2147483647   120302     23 |  5.865 % |
401.76/402.06	c |    594454 |     305    38566   222308 | 2147483647   120424     23 |  5.865 % |
401.86/402.15	c |    594588 |     305    38566   222308 | 2147483647   120558     23 |  5.865 % |
401.96/402.29	c |    594734 |     305    38566   222308 | 2147483647   120704     23 |  5.865 % |
402.16/402.41	c |    594894 |     305    38566   222308 | 2147483647   120864     23 |  5.865 % |
402.26/402.53	c |    595072 |     305    38566   222308 | 2147483647   121042     23 |  5.865 % |
402.36/402.63	c |    595265 |     305    38566   222308 | 2147483647   121235     23 |  5.865 % |
402.56/402.81	c |    595478 |     305    38566   222308 | 2147483647   121448     23 |  5.865 % |
402.66/402.97	c |    595714 |     305    38566   222308 | 2147483647   121684     23 |  5.865 % |
402.86/403.14	c |    595970 |     305    38566   222308 | 2147483647   121940     23 |  5.865 % |
402.96/403.25	c |    596252 |     305    38566   222308 | 2147483647   122222     23 |  5.865 % |
403.26/403.60	c |    596562 |     305    38566   222308 | 2147483647   122532     23 |  5.865 % |
403.66/403.98	c |    596901 |     305    38566   222308 | 2147483647   122871     23 |  5.865 % |
404.16/404.40	c |    597274 |     305    38566   222308 | 2147483647   123244     23 |  5.865 % |
404.56/404.85	c |    597684 |     305    38566   222308 | 2147483647   123654     23 |  5.865 % |
404.96/405.27	c |    598133 |     305    38566   222308 | 2147483647   124103     23 |  5.874 % |
405.36/405.63	c |    598627 |     305    38566   222308 | 2147483647   124597     23 |  5.865 % |
405.66/405.98	c |    599170 |     305    38566   222308 | 2147483647   125140     23 |  5.865 % |
406.35/406.63	c |    599768 |     305    38566   222308 | 2147483647   125738     23 |  5.867 % |
407.35/407.60	c |    600423 |     305    38566   222308 |   125971   111082     23 |  5.865 % |
407.85/408.15	c |    601143 |     305    38566   222308 |   125971   111802     23 |  5.865 % |
408.55/408.83	c |    601936 |     305    38566   222308 |   125971   112595     23 |  5.867 % |
409.25/409.51	c |    602808 |     305    38566   222308 |   125971   113467     23 |  5.865 % |
410.05/410.31	c |    603767 |     305    38566   222308 |   125971   114426     23 |  5.867 % |
410.95/411.29	c |    604824 |     305    38566   222308 |   125971   115483     23 |  5.865 % |
412.05/412.32	c |    605982 |     305    38566   222308 |   125971   116641     23 |  5.865 % |
413.15/413.46	c |    607256 |     305    38566   222308 |   125971   117915     23 |  5.865 % |
414.35/414.69	c |    608659 |     305    38566   222308 |   125971   119318     23 |  5.865 % |
416.35/416.62	c |    610202 |     305    38566   222308 |   120661   106142     23 |  5.865 % |
417.95/418.20	c |    611896 |     305    38566   222308 |   120661   107836     23 |  5.865 % |
419.35/419.66	c |    613761 |     305    38566   222308 |   120661   109701     23 |  5.865 % |
420.45/420.79	c |    615812 |     305    38566   222308 |   120661   111752     23 |  5.865 % |
421.95/422.22	c |    618065 |     305    38566   222308 |   120661   114005     23 |  5.866 % |
423.54/423.86	c |    620543 |     305    38566   222308 | 2147483647   116483     23 |  5.865 % |
425.54/425.88	c |    623270 |     305    38566   222308 | 2147483647   119210     23 |  5.865 % |
427.34/427.63	c |    626267 |     305    38566   222308 | 2147483647   122207     23 |  5.865 % |
429.34/429.65	c |    629565 |     305    38566   222308 | 2147483647   125505     23 |  5.865 % |
432.84/433.18	c |    633191 |     305    38566   222308 |   125940   115902     23 |  5.865 % |
436.04/436.37	c |    637179 |     305    38566   222308 |   125940   119890     23 |  5.865 % |
439.54/439.87	c |    641565 |     305    38566   222308 |   122711   107028     22 |  5.865 % |
443.53/443.84	c |    646389 |     305    38566   222308 |   122711   111852     23 |  5.865 % |
448.54/448.82	c |    651694 |     305    38566   222308 |   115463   100676     22 |  5.865 % |
453.12/453.44	c |    657531 |     305    38566   222308 |   115463   106513     22 |  5.865 % |
453.32/453.60	c |    657633 |     305    38566   222308 |   115463   106615     22 |  5.865 % |
453.42/453.70	c |    657744 |     305    38566   222308 |   115463   106726     22 |  5.865 % |
453.42/453.78	c |    657869 |     305    38566   222308 |   115463   106851     22 |  5.865 % |
453.62/453.91	c |    658004 |     305    38566   222308 |   115463   106986     22 |  5.867 % |
453.62/453.99	c |    658150 |     305    38566   222308 |   115463   107132     22 |  5.865 % |
453.72/454.08	c |    658312 |     305    38566   222308 |   115463   107294     22 |  5.865 % |
453.82/454.20	c |    658489 |     305    38566   222308 |   115463   107471     22 |  5.865 % |
454.03/454.35	c |    658684 |     305    38566   222308 |   115463   107666     22 |  5.865 % |
454.12/454.47	c |    658898 |     305    38566   222308 |   115463   107880     22 |  5.865 % |
454.32/454.65	c |    659131 |     305    38566   222308 |   115463   108113     22 |  5.865 % |
454.52/454.81	c |    659387 |     305    38566   222308 |   115463   108369     22 |  5.865 % |
454.62/454.99	c |    659668 |     305    38566   222308 |   115463   108650     22 |  5.865 % |
454.82/455.19	c |    659978 |     305    38566   222308 |   115463   108960     22 |  5.865 % |
455.42/455.70	c |    660317 |     305    38566   222308 |   108983    96392     22 |  5.865 % |
455.52/455.85	c |    660689 |     305    38566   222308 |   108983    96764     22 |  5.867 % |
455.72/456.09	c |    661099 |     305    38566   222308 |   108983    97174     22 |  5.865 % |
456.02/456.33	c |    661548 |     305    38566   222308 |   108983    97623     22 |  5.865 % |
456.42/456.71	c |    662041 |     305    38566   222308 |   108983    98116     22 |  5.865 % |
456.82/457.15	c |    662583 |     305    38566   222308 |   108983    98658     22 |  5.865 % |
457.42/457.71	c |    663180 |     305    38566   222308 |   108983    99255     22 |  5.865 % |
457.92/458.27	c |    663835 |     305    38566   222308 |   108983    99910     22 |  5.865 % |
458.62/458.94	c |    664555 |     305    38566   222308 |   108983   100630     22 |  5.865 % |
459.22/459.60	c |    665350 |     305    38566   222308 |   108983   101425     22 |  5.865 % |
459.92/460.25	c |    666223 |     305    38566   222308 |   108983   102298     22 |  5.867 % |
460.72/461.03	c |    667182 |     305    38566   222308 |   108983   103257     22 |  5.865 % |
461.62/461.94	c |    668235 |     305    38566   222308 |   108983   104310     22 |  5.865 % |
462.52/462.85	c |    669394 |     305    38566   222308 |   108983   105469     22 |  5.865 % |
463.42/463.72	c |    670668 |     305    38566   222308 |   106076    96026     22 |  5.871 % |
464.42/464.74	c |    672072 |     305    38566   222308 |   106076    97430     22 |  5.868 % |
465.42/465.79	c |    673612 |     305    38566   222308 |   106076    98970     22 |  5.866 % |
466.22/466.55	c |    675307 |     305    38566   222308 |   106076   100665     22 |  5.865 % |
466.92/467.27	c |    677171 |     305    38566   222308 |   106076   102529     22 |  5.866 % |
467.82/468.18	c |    679220 |     305    38566   222308 |   106076   104578     22 |  5.877 % |
468.92/469.27	c |    681473 |     305    38566   222308 | 2147483647   106831     22 |  5.865 % |
470.12/470.45	c |    683953 |     305    38566   222308 | 2147483647   109311     22 |  5.876 % |
471.52/471.87	c |    686679 |     305    38566   222308 | 2147483647   112037     22 |  5.865 % |
472.82/473.15	c |    689676 |     305    38566   222308 | 2147483647   115034     22 |  5.865 % |
474.31/474.64	c |    692973 |     305    38566   222308 | 2147483647   118331     22 |  5.865 % |
476.11/476.48	c |    696598 |     305    38566   222308 | 2147483647   121956     22 |  5.865 % |
478.51/478.82	c |    700587 |     305    38566   222308 | 2147483647   125945     22 |  5.866 % |
482.71/483.00	c |    704974 |     305    38566   222308 | 2147483647   130332     22 |  5.865 % |
486.41/486.79	c |    709798 |     305    38566   222308 | 2147483647   135156     22 |  5.865 % |
491.61/491.90	c |    715104 |     305    38566   222308 |   135359   121763     22 |  5.865 % |
496.40/496.78	c |    720939 |     305    38566   222308 |   126659   110862     22 |  5.865 % |
502.20/502.51	c |    727357 |     305    38566   222308 |   126659   117280     22 |  5.865 % |
502.20/502.59	c |    727460 |     305    38566   222308 |   126659   117383     22 |  5.865 % |
502.30/502.70	c |    727573 |     305    38566   222308 |   126659   117496     22 |  5.865 % |
502.50/502.84	c |    727694 |     305    38566   222308 |   126659   117617     22 |  5.865 % |
502.60/502.99	c |    727827 |     305    38566   222308 |   126659   117750     22 |  5.865 % |
502.80/503.10	c |    727973 |     305    38566   222308 |   126659   117896     22 |  5.865 % |
502.90/503.24	c |    728133 |     305    38566   222308 |   126659   118056     22 |  5.865 % |
503.10/503.42	c |    728309 |     305    38566   222308 |   126659   118232     22 |  5.865 % |
503.20/503.58	c |    728502 |     305    38566   222308 |   126659   118425     22 |  5.865 % |
503.40/503.78	c |    728714 |     305    38566   222308 |   126659   118637     22 |  5.865 % |
503.70/504.04	c |    728948 |     305    38566   222308 |   126659   118871     22 |  5.865 % |
503.90/504.26	c |    729206 |     305    38566   222308 |   126659   119129     22 |  5.865 % |
504.20/504.55	c |    729489 |     305    38566   222308 |   126659   119412     22 |  5.865 % |
504.50/504.83	c |    729800 |     305    38566   222308 |   126659   119723     22 |  5.865 % |
505.20/505.51	c |    730139 |     305    38566   222308 |   119923   103750     22 |  5.865 % |
505.50/505.82	c |    730513 |     305    38566   222308 |   119923   104124     22 |  5.865 % |
505.80/506.19	c |    730923 |     305    38566   222308 |   119923   104534     22 |  5.865 % |
506.30/506.62	c |    731373 |     305    38566   222308 |   119923   104984     22 |  5.865 % |
506.70/507.06	c |    731866 |     305    38566   222308 |   119923   105477     22 |  5.865 % |
507.30/507.63	c |    732408 |     305    38566   222308 |   119923   106019     22 |  5.865 % |
507.70/508.08	c |    733004 |     305    38566   222308 |   119923   106615     22 |  5.865 % |
508.40/508.73	c |    733660 |     305    38566   222308 |   119923   107271     22 |  5.865 % |
509.00/509.32	c |    734381 |     305    38566   222308 |   119923   107992     22 |  5.865 % |
509.60/509.97	c |    735173 |     305    38566   222308 |   119923   108784     22 |  5.865 % |
510.40/510.73	c |    736044 |     305    38566   222308 |   119923   109655     22 |  5.865 % |
511.30/511.68	c |    737002 |     305    38566   222308 |   119923   110613     22 |  5.865 % |
512.30/512.62	c |    738055 |     305    38566   222308 |   119923   111666     22 |  5.867 % |
513.20/513.53	c |    739213 |     305    38566   222308 |   119923   112824     22 |  5.865 % |
514.60/514.97	c |    740487 |     305    38566   222308 |   113613   102206     22 |  5.865 % |
515.70/516.08	c |    741887 |     305    38566   222308 |   113613   103606     22 |  5.865 % |
516.99/517.36	c |    743427 |     305    38566   222308 |   113613   105146     22 |  5.865 % |
518.39/518.70	c |    745122 |     305    38566   222308 |   113613   106841     22 |  5.865 % |
519.90/520.23	c |    746985 |     305    38566   222308 |   113613   108704     22 |  5.869 % |
521.59/521.93	c |    749035 |     305    38566   222308 |   113613   110754     22 |  5.867 % |
523.79/524.13	c |    751288 |     305    38566   222308 | 2147483647   113007     22 |  5.865 % |
525.59/525.92	c |    753766 |     305    38566   222308 | 2147483647   115485     22 |  5.865 % |
528.49/528.81	c |    756491 |     305    38566   222308 | 2147483647   118210     22 |  5.865 % |
531.39/531.77	c |    759488 |     305    38566   222308 | 2147483647   121207     22 |  5.865 % |
534.98/535.37	c |    762785 |     305    38566   222308 |   121719   107042     22 |  5.865 % |
537.98/538.36	c |    766410 |     305    38566   222308 |   121719   110667     22 |  5.865 % |
541.48/541.87	c |    770399 |     305    38566   222308 |   114257    99146     22 |  5.865 % |
543.98/544.35	c |    774784 |     305    38566   222308 |   114257   103531     22 |  5.878 % |
546.48/546.87	c |    779609 |     305    38566   222308 |   114257   108356     23 |  5.865 % |
550.28/550.66	c |    784915 |     305    38566   222308 |   108748   101856     22 |  5.870 % |
553.67/554.09	c |    790750 |     305    38566   222308 | 2147483647   107691     23 |  5.865 % |
557.57/557.93	c |    797169 |     305    38566   222308 | 2147483647   114110     23 |  5.865 % |
562.37/562.71	c |    804229 |     305    38566   222308 | 2147483647   121170     23 |  5.865 % |
562.47/562.80	c |    804332 |     305    38566   222308 | 2147483647   121273     23 |  5.865 % |
562.57/562.90	c |    804442 |     305    38566   222308 | 2147483647   121383     23 |  5.865 % |
562.67/563.00	c |    804563 |     305    38566   222308 | 2147483647   121504     23 |  5.865 % |
562.87/563.22	c |    804697 |     305    38566   222308 | 2147483647   121638     23 |  5.865 % |
563.07/563.40	c |    804843 |     305    38566   222308 | 2147483647   121784     23 |  5.865 % |
563.17/563.54	c |    805003 |     305    38566   222308 | 2147483647   121944     23 |  5.865 % |
563.47/563.86	c |    805179 |     305    38566   222308 | 2147483647   122120     23 |  5.865 % |
563.77/564.11	c |    805374 |     305    38566   222308 | 2147483647   122315     23 |  5.865 % |
563.97/564.34	c |    805587 |     305    38566   222308 | 2147483647   122528     23 |  5.865 % |
564.27/564.66	c |    805820 |     305    38566   222308 | 2147483647   122761     23 |  5.865 % |
564.57/564.99	c |    806079 |     305    38566   222308 | 2147483647   123020     23 |  5.865 % |
564.97/565.35	c |    806360 |     305    38566   222308 | 2147483647   123301     23 |  5.865 % |
565.27/565.69	c |    806669 |     305    38566   222308 | 2147483647   123610     23 |  5.865 % |
565.77/566.13	c |    807008 |     305    38566   222308 | 2147483647   123949     23 |  5.865 % |
566.07/566.48	c |    807380 |     305    38566   222308 | 2147483647   124321     23 |  5.865 % |
566.37/566.76	c |    807790 |     305    38566   222308 | 2147483647   124731     23 |  5.865 % |
566.87/567.24	c |    808239 |     305    38566   222308 | 2147483647   125180     23 |  5.867 % |
567.37/567.77	c |    808733 |     305    38566   222308 | 2147483647   125674     23 |  5.865 % |
567.67/568.06	c |    809276 |     305    38566   222308 | 2147483647   126217     23 |  5.865 % |
568.17/568.51	c |    809873 |     305    38566   222308 | 2147483647   126814     23 |  5.878 % |
569.27/569.65	c |    810528 |     305    38566   222308 |   126944   107943     23 |  5.865 % |
569.96/570.33	c |    811248 |     305    38566   222308 |   126944   108663     23 |  5.865 % |
570.66/571.08	c |    812041 |     305    38566   222308 |   126944   109456     23 |  5.865 % |
571.57/571.91	c |    812912 |     305    38566   222308 |   126944   110327     23 |  5.865 % |
572.36/572.78	c |    813872 |     305    38566   222308 |   126944   111287     23 |  5.865 % |
573.46/573.89	c |    814925 |     305    38566   222308 |   126944   112340     23 |  5.865 % |
574.66/575.01	c |    816085 |     305    38566   222308 |   126944   113500     23 |  5.876 % |
575.76/576.12	c |    817358 |     305    38566   222308 |   126944   114773     23 |  5.865 % |
576.76/577.13	c |    818759 |     305    38566   222308 |   126944   116174     23 |  5.865 % |
578.46/578.83	c |    820301 |     305    38566   222308 |   117415    99459     22 |  5.865 % |
579.27/579.66	c |    821995 |     305    38566   222308 |   117415   101153     23 |  5.867 % |
580.06/580.48	c |    823859 |     305    38566   222308 |   117415   103017     23 |  5.865 % |
581.16/581.51	c |    825908 |     305    38566   222308 |   117415   105066     23 |  5.865 % |
582.86/583.24	c |    828161 |     305    38566   222308 |   117415   107319     23 |  5.865 % |
584.36/584.78	c |    830639 |     305    38566   222308 | 2147483647   109797     23 |  5.865 % |
586.25/586.68	c |    833366 |     305    38566   222308 | 2147483647   112524     23 |  5.867 % |
588.55/588.99	c |    836365 |     305    38566   222308 | 2147483647   115523     23 |  5.867 % |
590.75/591.15	c |    839661 |     305    38566   222308 | 2147483647   118819     23 |  5.865 % |
593.05/593.47	c |    843286 |     305    38566   222308 | 2147483647   122444     23 |  5.865 % |
595.65/596.06	c |    847273 |     305    38566   222308 | 2147483647   126431     23 |  5.865 % |
599.35/599.73	c |    851660 |     305    38566   222308 |   129159   115429     23 |  5.865 % |
602.35/602.78	c |    856487 |     305    38566   222308 |   129159   120256     23 |  5.865 % |
605.85/606.23	c |    861792 |     305    38566   222308 |   123770   109991     23 |  5.867 % |
609.65/610.06	c |    867629 |     305    38566   222308 |   123770   115828     23 |  5.867 % |
614.24/614.61	c |    874048 |     305    38566   222308 |   118200   107960     23 |  5.865 % |
621.64/622.08	c |    881107 |     305    38566   222308 |   113912    99304     22 |  5.865 % |
628.84/629.23	c |    888872 |     305    38566   222308 |   113912   107069     23 |  5.865 % |
628.94/629.34	c |    888972 |     305    38566   222308 |   113912   107169     23 |  5.865 % |
629.04/629.44	c |    889083 |     305    38566   222308 |   113912   107280     23 |  5.865 % |
629.14/629.59	c |    889204 |     305    38566   222308 |   113912   107401     23 |  5.865 % |
629.34/629.72	c |    889338 |     305    38566   222308 |   113912   107535     23 |  5.865 % |
629.44/629.84	c |    889488 |     305    38566   222308 |   113912   107685     23 |  5.867 % |
629.54/629.97	c |    889652 |     305    38566   222308 |   113912   107849     23 |  5.865 % |
629.74/630.12	c |    889828 |     305    38566   222308 |   113912   108025     23 |  5.865 % |
629.84/630.29	c |    890021 |     305    38566   222308 |   108198   108218     23 |  5.865 % |
630.34/630.72	c |    890233 |     305    38566   222308 |   108198    93037     22 |  5.865 % |
630.44/630.83	c |    890466 |     305    38566   222308 |   108198    93270     22 |  5.865 % |
630.64/631.02	c |    890723 |     305    38566   222308 |   108198    93527     22 |  5.865 % |
630.74/631.17	c |    891006 |     305    38566   222308 |   108198    93810     22 |  5.865 % |
630.94/631.34	c |    891315 |     305    38566   222308 |   108198    94119     22 |  5.865 % |
631.13/631.50	c |    891655 |     305    38566   222308 |   108198    94459     22 |  5.865 % |
631.33/631.74	c |    892028 |     305    38566   222308 |   108198    94832     22 |  5.873 % |
631.53/631.97	c |    892438 |     305    38566   222308 |   108198    95242     22 |  5.865 % |
631.93/632.34	c |    892888 |     305    38566   222308 |   108198    95692     22 |  5.865 % |
632.23/632.68	c |    893382 |     305    38566   222308 |   108198    96186     22 |  5.865 % |
632.63/633.08	c |    893925 |     305    38566   222308 |   108198    96729     22 |  5.865 % |
633.03/633.44	c |    894522 |     305    38566   222308 |   108198    97326     22 |  5.865 % |
633.53/633.95	c |    895177 |     305    38566   222308 |   108198    97981     22 |  5.865 % |
633.93/634.38	c |    895899 |     305    38566   222308 |   108198    98703     23 |  5.865 % |
634.63/635.08	c |    896691 |     305    38566   222308 |   108198    99495     23 |  5.865 % |
635.23/635.66	c |    897562 |     305    38566   222308 |   108198   100366     23 |  5.867 % |
636.13/636.52	c |    898520 |     305    38566   222308 |   108198   101324     23 |  5.865 % |
636.93/637.36	c |    899573 |     305    38566   222308 |   108198   102377     23 |  5.865 % |
637.83/638.27	c |    900731 |     305    38566   222308 | 2147483647   103535     23 |  5.867 % |
639.03/639.47	c |    902005 |     305    38566   222308 | 2147483647   104809     23 |  5.865 % |
640.23/640.64	c |    903405 |     305    38566   222308 | 2147483647   106209     23 |  5.865 % |
641.63/642.03	c |    904946 |     305    38566   222308 | 2147483647   107750     23 |  5.865 % |
643.03/643.45	c |    906640 |     305    38566   222308 | 2147483647   109444     23 |  5.865 % |
644.63/645.02	c |    908503 |     305    38566   222308 | 2147483647   111307     23 |  5.865 % |
646.72/647.19	c |    910554 |     305    38566   222308 | 2147483647   113358     23 |  5.865 % |
648.72/649.11	c |    912808 |     305    38566   222308 | 2147483647   115612     23 |  5.865 % |
651.22/651.70	c |    915288 |     305    38566   222308 | 2147483647   118092     23 |  5.865 % |
653.62/654.02	c |    918013 |     305    38566   222308 | 2147483647   120817     23 |  5.865 % |
657.52/657.91	c |    921010 |     305    38566   222308 |   122806   106022     22 |  5.865 % |
660.63/661.10	c |    924306 |     305    38566   222308 |   122806   109318     22 |  5.865 % |
664.02/664.48	c |    927931 |     305    38566   222308 |   122806   112943     23 |  5.865 % |
668.52/668.92	c |    931919 |     305    38566   222308 |   115015    98787     22 |  5.865 % |
672.72/673.20	c |    936304 |     305    38566   222308 |   115015   103172     22 |  5.865 % |
676.41/676.85	c |    941132 |     305    38566   222308 |   106870    94531     22 |  5.876 % |
680.61/681.06	c |    946437 |     305    38566   222308 |   106870    99836     22 |  5.865 % |
685.32/685.70	c |    952273 |     305    38566   222308 | 2147483647   105672     23 |  5.865 % |
690.42/690.81	c |    958692 |     305    38566   222308 | 2147483647   112091     23 |  5.865 % |
694.82/695.26	c |    965752 |     305    38566   222308 | 2147483647   119151     23 |  5.876 % |
700.91/701.38	c |    973517 |     305    38566   222308 | 2147483647   126916     23 |  5.865 % |
708.01/708.44	c |    982058 |     305    38566   222308 |   133399   119260     23 |  5.865 % |
708.21/708.63	c |    982160 |     305    38566   222308 |   133399   119362     23 |  5.865 % |
708.31/708.73	c |    982270 |     305    38566   222308 |   133399   119472     23 |  5.865 % |
708.41/708.85	c |    982391 |     305    38566   222308 |   133399   119593     23 |  5.865 % |
708.51/709.00	c |    982527 |     305    38566   222308 |   133399   119729     23 |  5.865 % |
708.71/709.10	c |    982673 |     305    38566   222308 |   133399   119875     23 |  5.865 % |
708.81/709.24	c |    982835 |     305    38566   222308 |   133399   120037     23 |  5.865 % |
708.91/709.35	c |    983012 |     305    38566   222308 |   133399   120214     23 |  5.865 % |
709.11/709.50	c |    983205 |     305    38566   222308 |   133399   120407     23 |  5.867 % |
709.21/709.60	c |    983418 |     305    38566   222308 |   133399   120620     23 |  5.865 % |
709.31/709.74	c |    983651 |     305    38566   222308 |   133399   120853     23 |  5.865 % |
709.41/709.85	c |    983909 |     305    38566   222308 |   133399   121111     23 |  5.876 % |
709.61/710.04	c |    984190 |     305    38566   222308 |   133399   121392     23 |  5.865 % |
709.91/710.33	c |    984506 |     305    38566   222308 |   133399   121708     23 |  5.865 % |
710.31/710.79	c |    984847 |     305    38566   222308 |   133399   122049     23 |  5.867 % |
710.81/711.26	c |    985220 |     305    38566   222308 |   133399   122422     23 |  5.865 % |
711.21/711.63	c |    985629 |     305    38566   222308 |   133399   122831     23 |  5.865 % |
711.61/712.09	c |    986078 |     305    38566   222308 |   133399   123280     23 |  5.865 % |
712.01/712.47	c |    986571 |     305    38566   222308 |   133399   123773     23 |  5.865 % |
712.71/713.10	c |    987114 |     305    38566   222308 |   133399   124316     23 |  5.865 % |
713.21/713.67	c |    987711 |     305    38566   222308 |   133399   124913     23 |  5.867 % |
713.81/714.23	c |    988366 |     305    38566   222308 |   133399   125568     23 |  5.867 % |
714.61/715.02	c |    989087 |     305    38566   222308 |   133399   126289     23 |  5.865 % |
715.41/715.83	c |    989879 |     305    38566   222308 |   133399   127081     23 |  5.865 % |
717.01/717.40	c |    990750 |     305    38566   222308 |   127205   109270     22 |  5.865 % |
717.81/718.29	c |    991708 |     305    38566   222308 |   127205   110228     22 |  5.865 % |
718.60/719.09	c |    992762 |     305    38566   222308 |   127205   111282     22 |  5.865 % |
719.29/719.77	c |    993921 |     305    38566   222308 |   127205   112441     23 |  5.865 % |
720.39/720.89	c |    995196 |     305    38566   222308 |   127205   113716     23 |  5.867 % |
721.59/722.04	c |    996597 |     305    38566   222308 |   127205   115117     23 |  5.865 % |
722.78/723.24	c |    998137 |     305    38566   222308 |   127205   116657     23 |  5.865 % |
724.28/724.74	c |    999831 |     305    38566   222308 |   127205   118351     23 |  5.865 % |
726.48/726.97	c |   1001695 |     305    38566   222308 |   118522   103070     22 |  5.865 % |
727.78/728.27	c |   1003745 |     305    38566   222308 |   118522   105120     22 |  5.865 % |
729.38/729.89	c |   1005998 |     305    38566   222308 |   118522   107373     23 |  5.867 % |
731.18/731.61	c |   1008476 |     305    38566   222308 |   118522   109851     23 |  5.865 % |
733.88/734.33	c |   1011201 |     305    38566   222308 |   111375    98722     22 |  5.865 % |
736.08/736.60	c |   1014198 |     305    38566   222308 |   111375   101719     23 |  5.865 % |
738.68/739.19	c |   1017494 |     305    38566   222308 |   111375   105015     23 |  5.865 % |
741.37/741.85	c |   1021122 |     305    38566   222308 | 2147483647   108643     23 |  5.865 % |
744.18/744.63	c |   1025111 |     305    38566   222308 | 2147483647   112632     23 |  5.865 % |
747.37/747.83	c |   1029496 |     305    38566   222308 | 2147483647   117017     23 |  5.865 % |
751.77/752.21	c |   1034319 |     305    38566   222308 |   117521   108618     23 |  5.865 % |
755.67/756.19	c |   1039624 |     305    38566   222308 |   117521   113923     23 |  5.865 % |
759.07/759.53	c |   1045459 |     305    38566   222308 |   114299   107659     23 |  5.865 % |
764.17/764.62	c |   1051878 |     305    38566   222308 |   112200   102253     23 |  5.867 % |
769.36/769.85	c |   1058938 |     305    38566   222308 |   112200   109313     23 |  5.865 % |
774.16/774.67	c |   1066703 |     305    38566   222308 | 2147483647   117078     23 |  5.865 % |
780.05/780.57	c |   1075243 |     305    38566   222308 |   120377   112696     23 |  5.865 % |
786.35/786.80	c |   1084637 |     305    38566   222308 |   117455   108758     24 |  5.865 % |
786.35/786.87	c |   1084739 |     305    38566   222308 |   117455   108860     24 |  5.865 % |
786.45/786.93	c |   1084850 |     305    38566   222308 |   117455   108971     24 |  5.865 % |
786.55/787.01	c |   1084971 |     305    38566   222308 |   117455   109092     24 |  5.865 % |
786.65/787.13	c |   1085106 |     305    38566   222308 |   117455   109227     24 |  5.865 % |
786.75/787.21	c |   1085252 |     305    38566   222308 |   117455   109373     24 |  5.877 % |
786.85/787.32	c |   1085413 |     305    38566   222308 |   117455   109534     24 |  5.865 % |
786.95/787.42	c |   1085590 |     305    38566   222308 |   117455   109711     24 |  5.876 % |
787.05/787.60	c |   1085783 |     305    38566   222308 |   117455   109904     24 |  5.866 % |
787.25/787.77	c |   1085997 |     305    38566   222308 |   117455   110118     24 |  5.867 % |
787.55/788.02	c |   1086232 |     305    38566   222308 |   117455   110353     24 |  5.865 % |
787.75/788.21	c |   1086489 |     305    38566   222308 |   117455   110610     24 |  5.865 % |
787.95/788.42	c |   1086770 |     305    38566   222308 |   117455   110891     24 |  5.865 % |
788.25/788.74	c |   1087081 |     305    38566   222308 |   117455   111202     24 |  5.865 % |
788.45/788.92	c |   1087420 |     305    38566   222308 |   117455   111541     24 |  5.865 % |
788.65/789.18	c |   1087793 |     305    38566   222308 |   117455   111914     24 |  5.865 % |
788.95/789.42	c |   1088204 |     305    38566   222308 |   117455   112325     24 |  5.865 % |
789.25/789.70	c |   1088654 |     305    38566   222308 |   117455   112775     24 |  5.865 % |
789.45/789.96	c |   1089147 |     305    38566   222308 |   117455   113268     24 |  5.865 % |
789.85/790.30	c |   1089689 |     305    38566   222308 |   117455   113810     24 |  5.865 % |
790.45/790.97	c |   1090287 |     305    38566   222308 |   114122    98829     23 |  5.865 % |
790.85/791.36	c |   1090943 |     305    38566   222308 |   114122    99485     23 |  5.865 % |
791.15/791.68	c |   1091664 |     305    38566   222308 |   114122   100206     23 |  5.865 % |
791.55/792.05	c |   1092456 |     305    38566   222308 |   114122   100998     23 |  5.865 % |
791.94/792.49	c |   1093327 |     305    38566   222308 |   114122   101869     23 |  5.865 % |
792.24/792.79	c |   1094285 |     305    38566   222308 |   114122   102827     23 |  5.865 % |
792.74/793.29	c |   1095338 |     305    38566   222308 |   114122   103880     23 |  5.867 % |
793.44/793.92	c |   1096496 |     305    38566   222308 |   114122   105038     23 |  5.865 % |
793.84/794.37	c |   1097770 |     305    38566   222308 |   114122   106312     23 |  5.867 % |
794.54/795.00	c |   1099171 |     305    38566   222308 |   114122   107713     23 |  5.865 % |
795.24/795.75	c |   1100711 |     305    38566   222308 | 2147483647   109253     23 |  5.867 % |
796.24/796.72	c |   1102407 |     305    38566   222308 | 2147483647   110949     23 |  5.865 % |
797.14/797.60	c |   1104270 |     305    38566   222308 | 2147483647   112812     23 |  5.865 % |
798.34/798.85	c |   1106320 |     305    38566   222308 | 2147483647   114862     23 |  5.865 % |
799.64/800.15	c |   1108573 |     305    38566   222308 | 2147483647   117115     23 |  5.865 % |
801.74/802.28	c |   1111053 |     305    38566   222308 | 2147483647   119595     24 |  5.865 % |
804.04/804.50	c |   1113779 |     305    38566   222308 | 2147483647   122321     24 |  5.865 % |
806.74/807.30	c |   1116776 |     305    38566   222308 | 2147483647   125318     24 |  5.865 % |
809.84/810.30	c |   1120072 |     305    38566   222308 |   128544   128614     24 |  5.865 % |
812.73/813.27	c |   1123699 |     305    38566   222308 |   128544   112227     23 |  5.865 % |
815.53/816.02	c |   1127688 |     305    38566   222308 |   128544   116216     23 |  5.865 % |
818.63/819.12	c |   1132073 |     305    38566   222308 |   118529   106923     23 |  5.865 % |
822.53/823.05	c |   1136897 |     305    38566   222308 |   118529   111747     23 |  5.865 % |
827.52/828.02	c |   1142202 |     305    38566   222308 | 2147483647   117052     23 |  5.865 % |
833.62/834.17	c |   1148037 |     305    38566   222308 | 2147483647   122887     23 |  5.865 % |
839.52/840.06	c |   1154457 |     305    38566   222308 |   124851   112341     23 |  5.865 % |
846.02/846.54	c |   1161516 |     305    38566   222308 |   117884   103478     22 |  5.865 % |
852.82/853.37	c |   1169281 |     305    38566   222308 |   117884   111243     23 |  5.865 % |
860.11/860.63	c |   1177825 |     305    38566   222308 |   111963   104888     23 |  5.865 % |
867.31/867.83	c |   1187219 |     305    38566   222308 |   107064   103271     23 |  5.865 % |
875.30/875.81	c |   1197552 |     305    38566   222308 | 2147483647   113604     23 |  5.865 % |
875.40/875.91	c |   1197652 |     305    38566   222308 | 2147483647   113704     23 |  5.865 % |
875.40/875.99	c |   1197762 |     305    38566   222308 | 2147483647   113814     23 |  5.865 % |
875.60/876.10	c |   1197885 |     305    38566   222308 | 2147483647   113937     23 |  5.865 % |
875.70/876.21	c |   1198018 |     305    38566   222308 | 2147483647   114070     23 |  5.865 % |
875.80/876.38	c |   1198166 |     305    38566   222308 | 2147483647   114218     23 |  5.865 % |
876.00/876.50	c |   1198326 |     305    38566   222308 | 2147483647   114378     23 |  5.865 % |
876.11/876.69	c |   1198505 |     305    38566   222308 | 2147483647   114557     23 |  5.865 % |
876.30/876.87	c |   1198700 |     305    38566   222308 | 2147483647   114752     23 |  5.865 % |
876.50/877.09	c |   1198914 |     305    38566   222308 | 2147483647   114966     23 |  5.866 % |
876.70/877.27	c |   1199147 |     305    38566   222308 | 2147483647   115199     23 |  5.867 % |
876.90/877.46	c |   1199404 |     305    38566   222308 | 2147483647   115456     23 |  5.865 % |
877.10/877.67	c |   1199685 |     305    38566   222308 | 2147483647   115737     23 |  5.865 % |
877.40/877.91	c |   1199996 |     305    38566   222308 | 2147483647   116048     23 |  5.867 % |
878.00/878.53	c |   1200335 |     305    38566   222308 |   116054   101834     23 |  5.865 % |
878.20/878.75	c |   1200708 |     305    38566   222308 |   116054   102207     23 |  5.865 % |
878.60/879.11	c |   1201117 |     305    38566   222308 |   116054   102616     23 |  5.865 % |
878.90/879.40	c |   1201567 |     305    38566   222308 |   116054   103066     23 |  5.869 % |
879.20/879.76	c |   1202060 |     305    38566   222308 |   116054   103559     23 |  5.865 % |
879.60/880.11	c |   1202604 |     305    38566   222308 |   116054   104103     23 |  5.865 % |
880.00/880.57	c |   1203202 |     305    38566   222308 |   116054   104701     23 |  5.865 % |
880.60/881.10	c |   1203857 |     305    38566   222308 |   116054   105356     23 |  5.865 % |
881.00/881.53	c |   1204578 |     305    38566   222308 |   116054   106077     23 |  5.865 % |
881.80/882.34	c |   1205371 |     305    38566   222308 |   116054   106870     23 |  5.865 % |
882.50/883.04	c |   1206244 |     305    38566   222308 |   116054   107743     23 |  5.865 % |
883.20/883.78	c |   1207205 |     305    38566   222308 |   116054   108704     23 |  5.865 % |
884.09/884.63	c |   1208258 |     305    38566   222308 |   116054   109757     23 |  5.884 % |
885.00/885.54	c |   1209416 |     305    38566   222308 |   116054   110915     23 |  5.865 % |
886.10/886.68	c |   1210694 |     305    38566   222308 |   111502    99332     23 |  5.867 % |
887.29/887.81	c |   1212094 |     305    38566   222308 |   111502   100732     23 |  5.867 % |
888.09/888.69	c |   1213636 |     305    38566   222308 |   111502   102274     23 |  5.865 % |
889.30/889.80	c |   1215331 |     305    38566   222308 |   111502   103969     23 |  5.865 % |
890.50/891.01	c |   1217194 |     305    38566   222308 |   111502   105832     23 |  5.865 % |
891.39/891.97	c |   1219244 |     305    38566   222308 |   111502   107882     23 |  5.865 % |
892.99/893.59	c |   1221498 |     305    38566   222308 | 2147483647   110136     23 |  5.867 % |
894.39/894.91	c |   1223978 |     305    38566   222308 | 2147483647   112616     23 |  5.867 % |
895.59/896.14	c |   1226703 |     305    38566   222308 | 2147483647   115341     23 |  5.865 % |
897.49/898.05	c |   1229700 |     305    38566   222308 | 2147483647   118338     23 |  5.865 % |
899.69/900.24	c |   1232996 |     305    38566   222308 | 2147483647   121634     23 |  5.865 % |
902.28/902.86	c |   1236622 |     305    38566   222308 | 2147483647   125260     23 |  5.865 % |
905.38/905.93	c |   1240610 |     305    38566   222308 | 2147483647   129248     24 |  5.865 % |
909.28/909.88	c |   1244998 |     305    38566   222308 | 2147483647   133636     24 |  5.865 % |
913.98/914.50	c |   1249821 |     305    38566   222308 | 2147483647   138459     24 |  5.865 % |
919.77/920.37	c |   1255126 |     305    38566   222308 |   138640   121830     24 |  5.865 % |
926.07/926.60	c |   1260962 |     305    38566   222308 |   126706   108813     23 |  5.865 % |
931.87/932.43	c |   1267380 |     305    38566   222308 |   126706   115231     24 |  5.867 % |
937.77/938.38	c |   1274440 |     305    38566   222308 |   117852   106311     23 |  5.865 % |
942.67/943.20	c |   1282204 |     305    38566   222308 |   111872   101770     23 |  5.865 % |
948.16/948.70	c |   1290751 |     305    38566   222308 | 2147483647   110317     24 |  5.867 % |
955.16/955.76	c |   1300145 |     305    38566   222308 |   119568   106550     24 |  5.865 % |
963.35/963.96	c |   1310479 |     305    38566   222308 |   116405   102385     24 |  5.865 % |
972.75/973.38	c |   1321846 |     305    38566   222308 |   111907   100778     23 |  5.865 % |
972.86/973.45	c |   1321946 |     305    38566   222308 |   111907   100878     23 |  5.865 % |
972.96/973.53	c |   1322057 |     305    38566   222308 |   111907   100989     23 |  5.867 % |
973.05/973.62	c |   1322179 |     305    38566   222308 |   111907   101111     23 |  5.865 % |
973.15/973.73	c |   1322313 |     305    38566   222308 |   111907   101245     23 |  5.865 % |
973.25/973.84	c |   1322459 |     305    38566   222308 |   111907   101391     23 |  5.865 % |
973.35/973.96	c |   1322619 |     305    38566   222308 |   111907   101551     23 |  5.865 % |
973.45/974.09	c |   1322795 |     305    38566   222308 |   111907   101727     23 |  5.865 % |
973.65/974.23	c |   1322991 |     305    38566   222308 |   111907   101923     23 |  5.865 % |
973.75/974.38	c |   1323203 |     305    38566   222308 |   111907   102135     23 |  5.865 % |
973.96/974.52	c |   1323437 |     305    38566   222308 |   111907   102369     23 |  5.865 % |
974.06/974.64	c |   1323693 |     305    38566   222308 |   111907   102625     23 |  5.865 % |
974.25/974.82	c |   1323974 |     305    38566   222308 |   111907   102906     23 |  5.865 % |
974.35/974.94	c |   1324284 |     305    38566   222308 |   111907   103216     23 |  5.865 % |
974.45/975.10	c |   1324625 |     305    38566   222308 |   111907   103557     23 |  5.865 % |
974.75/975.34	c |   1324997 |     305    38566   222308 |   111907   103929     23 |  5.865 % |
974.95/975.60	c |   1325406 |     305    38566   222308 |   111907   104338     23 |  5.867 % |
975.25/975.85	c |   1325855 |     305    38566   222308 |   111907   104787     23 |  5.865 % |
975.55/976.11	c |   1326351 |     305    38566   222308 |   111907   105283     23 |  5.865 % |
975.85/976.43	c |   1326894 |     305    38566   222308 |   111907   105826     23 |  5.867 % |
976.16/976.76	c |   1327492 |     305    38566   222308 |   111907   106424     23 |  5.865 % |
976.56/977.18	c |   1328147 |     305    38566   222308 |   111907   107079     24 |  5.865 % |
976.96/977.54	c |   1328869 |     305    38566   222308 |   111907   107801     24 |  5.865 % |
977.36/977.96	c |   1329662 |     305    38566   222308 |   111907   108594     24 |  5.865 % |
977.86/978.43	c |   1330535 |     305    38566   222308 | 2147483647   109467     24 |  5.866 % |
978.56/979.12	c |   1331495 |     305    38566   222308 | 2147483647   110427     24 |  5.865 % |
979.26/979.84	c |   1332548 |     305    38566   222308 | 2147483647   111480     24 |  5.865 % |
979.86/980.46	c |   1333706 |     305    38566   222308 | 2147483647   112638     24 |  5.884 % |
980.66/981.26	c |   1334980 |     305    38566   222308 | 2147483647   113912     24 |  5.865 % |
981.56/982.16	c |   1336382 |     305    38566   222308 | 2147483647   115314     24 |  5.865 % |
982.46/983.06	c |   1337922 |     305    38566   222308 | 2147483647   116854     24 |  5.865 % |
983.66/984.23	c |   1339616 |     305    38566   222308 | 2147483647   118548     24 |  5.865 % |
984.76/985.36	c |   1341480 |     305    38566   222308 | 2147483647   120412     24 |  5.865 % |
986.56/987.10	c |   1343530 |     305    38566   222308 | 2147483647   122462     24 |  5.866 % |
988.45/989.03	c |   1345784 |     305    38566   222308 | 2147483647   124716     24 |  5.865 % |
990.46/991.00	c |   1348267 |     305    38566   222308 | 2147483647   127199     24 |  5.865 % |
992.85/993.42	c |   1350993 |     305    38566   222308 |   128932   115751     24 |  5.865 % |
994.95/995.56	c |   1353990 |     305    38566   222308 |   128932   118748     24 |  5.865 % |
997.05/997.66	c |   1357287 |     305    38566   222308 |   128932   122045     24 |  5.865 % |
1000.45/1001.06	c |   1360913 |     305    38566   222308 |   124758   110787     24 |  5.865 % |
1003.24/1003.82	c |   1364900 |     305    38566   222308 |   124758   114774     24 |  5.865 % |
1006.54/1007.16	c |   1369285 |     305    38566   222308 |   124758   119159     24 |  5.865 % |
1010.74/1011.38	c |   1374110 |     305    38566   222308 |   119875   109610     24 |  5.865 % |
1014.14/1014.71	c |   1379415 |     305    38566   222308 |   119875   114915     24 |  5.865 % |
1017.64/1018.29	c |   1385250 |     305    38566   222308 | 2147483647   120750     24 |  5.865 % |
1022.14/1022.73	c |   1391670 |     305    38566   222308 |   125500   112694     24 |  5.865 % |
1027.43/1028.08	c |   1398729 |     305    38566   222308 |   125500   119753     24 |  5.865 % |
1032.43/1033.05	c |   1406493 |     305    38566   222308 |   121026   111418     24 |  5.865 % |
1038.53/1039.19	c |   1415033 |     305    38566   222308 |   114925   108056     24 |  5.865 % |
1047.82/1048.48	c |   1424428 |     305    38566   222308 |   113023   102521     23 |  5.865 % |
1057.22/1057.84	c |   1434761 |     305    38566   222308 |   108094   102039     23 |  5.865 % |
1066.22/1066.86	c |   1446127 |     305    38566   222308 | 2147483647   113405     24 |  5.865 % |
1077.92/1078.58	c |   1458631 |     305    38566   222308 |   117279   113959     24 |  5.865 % |
1078.02/1078.69	c |   1458731 |     305    38566   222308 |   117279   114059     24 |  5.865 % |
1078.22/1078.82	c |   1458841 |     305    38566   222308 |   117279   114169     24 |  5.865 % |
1078.32/1078.90	c |   1458963 |     305    38566   222308 |   117279   114291     24 |  5.865 % |
1078.32/1078.98	c |   1459096 |     305    38566   222308 |   117279   114424     24 |  5.865 % |
1078.52/1079.17	c |   1459242 |     305    38566   222308 |   117279   114570     24 |  5.865 % |
1078.62/1079.29	c |   1459403 |     305    38566   222308 |   117279   114731     24 |  5.865 % |
1078.82/1079.49	c |   1459580 |     305    38566   222308 |   117279   114908     24 |  5.865 % |
1079.02/1079.65	c |   1459774 |     305    38566   222308 |   117279   115102     24 |  5.867 % |
1079.22/1079.85	c |   1459987 |     305    38566   222308 |   117279   115315     24 |  5.865 % |
1079.82/1080.44	c |   1460221 |     305    38566   222308 |   115328    99856     23 |  5.865 % |
1080.02/1080.65	c |   1460477 |     305    38566   222308 |   115328   100112     23 |  5.865 % |
1080.22/1080.85	c |   1460759 |     305    38566   222308 |   115328   100394     23 |  5.865 % |
1080.42/1081.05	c |   1461071 |     305    38566   222308 |   115328   100706     23 |  5.894 % |
1080.72/1081.37	c |   1461413 |     305    38566   222308 |   115328   101048     23 |  5.865 % |
1081.01/1081.62	c |   1461785 |     305    38566   222308 |   115328   101420     23 |  5.865 % |
1081.41/1082.02	c |   1462195 |     305    38566   222308 |   115328   101830     23 |  5.865 % |
1081.81/1082.46	c |   1462646 |     305    38566   222308 |   115328   102281     23 |  5.865 % |
1082.21/1082.82	c |   1463140 |     305    38566   222308 |   115328   102775     23 |  5.865 % |
1082.61/1083.29	c |   1463683 |     305    38566   222308 |   115328   103318     23 |  5.865 % |
1083.11/1083.75	c |   1464281 |     305    38566   222308 |   115328   103916     23 |  5.865 % |
1083.51/1084.18	c |   1464938 |     305    38566   222308 |   115328   104573     23 |  5.865 % |
1084.11/1084.75	c |   1465658 |     305    38566   222308 |   115328   105293     23 |  5.865 % |
1084.81/1085.44	c |   1466450 |     305    38566   222308 |   115328   106085     23 |  5.865 % |
1085.41/1086.09	c |   1467321 |     305    38566   222308 |   115328   106956     23 |  5.865 % |
1086.11/1086.79	c |   1468280 |     305    38566   222308 |   115328   107915     23 |  5.865 % |
1086.81/1087.47	c |   1469336 |     305    38566   222308 |   115328   108971     23 |  5.865 % |
1087.91/1088.60	c |   1470495 |     305    38566   222308 |   109636    97576     23 |  5.865 % |
1088.41/1089.09	c |   1471768 |     305    38566   222308 |   109636    98849     23 |  5.865 % |
1089.41/1090.05	c |   1473170 |     305    38566   222308 |   109636   100251     23 |  5.865 % |
1090.41/1091.08	c |   1474711 |     305    38566   222308 |   109636   101792     23 |  5.865 % |
1091.61/1092.24	c |   1476408 |     305    38566   222308 |   109636   103489     23 |  5.865 % |
1092.30/1092.94	c |   1478272 |     305    38566   222308 |   109636   105353     23 |  5.865 % |
1093.30/1093.95	c |   1480321 |     305    38566   222308 | 2147483647   107402     23 |  5.865 % |
1094.40/1095.07	c |   1482575 |     305    38566   222308 | 2147483647   109656     23 |  5.865 % |
1096.11/1096.78	c |   1485053 |     305    38566   222308 | 2147483647   112134     23 |  5.865 % |
1097.60/1098.24	c |   1487780 |     305    38566   222308 | 2147483647   114861     23 |  5.865 % |
1100.00/1100.60	c |   1490777 |     305    38566   222308 | 2147483647   117858     24 |  5.865 % |
1102.71/1103.31	c |   1494074 |     305    38566   222308 | 2147483647   121155     24 |  5.865 % |
1106.50/1107.19	c |   1497699 |     305    38566   222308 | 2147483647   124780     24 |  5.865 % |
1110.40/1111.02	c |   1501686 |     305    38566   222308 |   127081   111510     23 |  5.865 % |
1114.20/1114.87	c |   1506073 |     305    38566   222308 |   127081   115897     23 |  5.867 % |
1118.30/1118.93	c |   1510897 |     305    38566   222308 |   119824   105454     23 |  5.867 % |
1121.59/1122.25	c |   1516202 |     305    38566   222308 |   119824   110759     23 |  5.874 % |
1124.79/1125.47	c |   1522038 |     305    38566   222308 | 2147483647   116595     23 |  5.865 % |
1130.48/1131.13	c |   1528459 |     305    38566   222308 | 2147483647   123016     23 |  5.865 % |
1135.78/1136.45	c |   1535518 |     305    38566   222308 |   124557   116018     23 |  5.865 % |
1140.88/1141.57	c |   1543283 |     305    38566   222308 | 2147483647   123783     23 |  5.865 % |
1147.68/1148.37	c |   1551824 |     305    38566   222308 |   130500   116809     23 |  5.865 % |
1153.68/1154.37	c |   1561219 |     305    38566   222308 | 2147483647   126204     23 |  5.865 % |
1164.07/1164.76	c |   1571552 |     305    38566   222308 |   134985   114370     23 |  5.865 % |
1173.76/1174.46	c |   1582919 |     305    38566   222308 |   122818   108735     23 |  5.865 % |
1183.16/1183.88	c |   1595421 |     305    38566   222308 |   115819   104834     23 |  5.865 % |
1192.96/1193.68	c |   1609173 |     305    38566   222308 | 2147483647   118586     23 |  5.895 % |
1193.06/1193.76	c |   1609273 |     305    38566   222308 | 2147483647   118686     23 |  5.865 % |
1193.16/1193.88	c |   1609384 |     305    38566   222308 | 2147483647   118797     23 |  5.874 % |
1193.26/1193.94	c |   1609505 |     305    38566   222308 | 2147483647   118918     23 |  5.871 % |
1193.36/1194.03	c |   1609639 |     305    38566   222308 | 2147483647   119052     23 |  5.865 % |
1193.46/1194.12	c |   1609785 |     305    38566   222308 | 2147483647   119198     23 |  5.874 % |
1193.56/1194.21	c |   1609945 |     305    38566   222308 | 2147483647   119358     23 |  5.866 % |
1193.66/1194.31	c |   1610122 |     305    38566   222308 | 2147483647   119535     23 |  5.874 % |
1193.76/1194.40	c |   1610315 |     305    38566   222308 | 2147483647   119728     23 |  5.865 % |
1193.86/1194.55	c |   1610527 |     305    38566   222308 | 2147483647   119940     23 |  5.867 % |
1194.16/1194.81	c |   1610762 |     305    38566   222308 | 2147483647   120175     23 |  5.885 % |
1194.26/1194.96	c |   1611020 |     305    38566   222308 | 2147483647   120433     23 |  5.865 % |
1194.55/1195.26	c |   1611304 |     305    38566   222308 | 2147483647   120717     23 |  5.865 % |
1194.85/1195.52	c |   1611613 |     305    38566   222308 | 2147483647   121026     23 |  5.865 % |
1195.06/1195.75	c |   1611952 |     305    38566   222308 | 2147483647   121365     23 |  5.865 % |
1195.25/1195.97	c |   1612325 |     305    38566   222308 | 2147483647   121738     23 |  5.865 % |
1195.55/1196.25	c |   1612737 |     305    38566   222308 | 2147483647   122150     23 |  5.865 % |
1195.85/1196.55	c |   1613187 |     305    38566   222308 | 2147483647   122600     23 |  5.865 % |
1196.16/1196.81	c |   1613682 |     305    38566   222308 | 2147483647   123095     23 |  5.865 % |
1196.55/1197.24	c |   1614224 |     305    38566   222308 | 2147483647   123637     23 |  5.868 % |
1196.85/1197.57	c |   1614821 |     305    38566   222308 | 2147483647   124234     23 |  5.865 % |
1197.26/1197.95	c |   1615477 |     305    38566   222308 | 2147483647   124890     23 |  5.867 % |
1197.65/1198.38	c |   1616197 |     305    38566   222308 | 2147483647   125610     23 |  5.876 % |
1198.26/1198.91	c |   1616989 |     305    38566   222308 | 2147483647   126402     23 |  5.865 % |
1198.85/1199.54	c |   1617862 |     305    38566   222308 | 2147483647   127275     23 |  5.865 % |
1199.55/1200.26	c |   1618821 |     305    38566   222308 | 2147483647   128234     23 |  5.865 % |
1200.06/1200.71	HOME/SatELiteGTI: line 36: 16760 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-1834025-1242827342/watcher-1834025-1242827342 -o /tmp/evaluation-result-1834025-1242827342/solver-1834025-1242827342 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834025-1242827342.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 16754
/proc/meminfo: memFree=1839952/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=0
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 310767158 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 233588883538 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16754/statm: 1339 235 195 169 0 50 0
[pid=16755] ppid=16754 vsize=5356 CPUtime=0
/proc/16755/stat : 16755 (SatELiteGTI) S 16754 16754 16542 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310767158 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/16755/statm: 1339 238 198 169 0 50 0
[pid=16757] ppid=16755 vsize=5356 CPUtime=0
/proc/16757/stat : 16757 (SatELiteGTI) R 16755 16754 16542 0 -1 4194368 19 0 0 0 0 0 0 0 22 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588714791 0 0 4096 0 0 0 0 17 1 0 0
/proc/16757/statm: 1339 239 199 169 0 50 0

[startup+0.0475559 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 16754
/proc/meminfo: memFree=1839952/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=0
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310767158 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101564 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 16754
/proc/meminfo: memFree=1839952/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=0
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310767158 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301583 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 16754
/proc/meminfo: memFree=1839952/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=0
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310767158 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701625 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 16754
/proc/meminfo: memFree=1839952/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=0
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310767158 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50271 s]
/proc/loadavg: 0.99 0.98 0.99 3/66 16759
/proc/meminfo: memFree=1831040/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=0
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310767158 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 237 197 169 0 50 0
[pid=16759] ppid=16754 vsize=10136 CPUtime=1.48
/proc/16759/stat : 16759 (SatELite_releas) R 16754 16754 16542 0 -1 4194304 2477 0 0 0 147 1 0 0 25 0 1 0 310767159 10379264 2248 1992294400 134512640 135223648 4294956128 18446744073709551615 134585584 0 0 4096 3 0 0 0 17 1 0 0
/proc/16759/statm: 2534 2248 76 173 0 2359 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15492

[startup+3.10286 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1833984/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=6264 CPUtime=1.09
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 1444 0 0 0 109 0 0 0 25 0 1 0 310767356 6414336 1430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16760/statm: 1566 1430 76 171 0 1393 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 11620

[startup+6.30118 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1830208/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=9168 CPUtime=4.28
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 2148 0 0 0 427 1 0 0 25 0 1 0 310767356 9388032 2134 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 2292 2134 76 171 0 2119 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 14524

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1826496/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=12604 CPUtime=10.68
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 3005 0 0 0 1066 2 0 0 25 0 1 0 310767356 12906496 2991 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 3151 2991 76 171 0 2978 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 17960

[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1821824/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=17224 CPUtime=23.48
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 4128 0 0 0 2344 4 0 0 25 0 1 0 310767356 17637376 4114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 4306 4114 76 171 0 4133 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 22580

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1816384/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=22756 CPUtime=49.06
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 5479 0 0 0 4901 5 0 0 25 0 1 0 310767356 23302144 5465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 5689 5465 76 171 0 5516 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 28112

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1814784/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=24096 CPUtime=100.24
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 5821 0 0 0 10018 6 0 0 25 0 1 0 310767356 24674304 5807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6024 5807 76 171 0 5851 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 29452

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1814400/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=24488 CPUtime=160.21
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 5883 0 0 0 16015 6 0 0 25 0 1 0 310767356 25075712 5869 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6122 5869 76 171 0 5949 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 29844

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1813760/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=25112 CPUtime=220.18
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6048 0 0 0 22012 6 0 0 25 0 1 0 310767356 25714688 6034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6278 6034 76 171 0 6105 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 30468

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1813248/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=25664 CPUtime=280.16
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6149 0 0 0 28009 7 0 0 25 0 1 0 310767356 26279936 6135 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6416 6135 76 171 0 6243 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 31020

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1812928/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=25828 CPUtime=340.13
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6197 0 0 0 34006 7 0 0 25 0 1 0 310767356 26447872 6183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6457 6183 76 171 0 6284 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 31184

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1812800/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=25828 CPUtime=400.11

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

[pid=16760] ppid=16754 vsize=26156 CPUtime=520.04
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6262 0 0 0 51997 7 0 0 25 0 1 0 310767356 26783744 6248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6539 6248 76 171 0 6366 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 31512

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1812032/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26332 CPUtime=580.01
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6321 0 0 0 57994 7 0 0 25 0 1 0 310767356 26963968 6307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6583 6307 76 171 0 6410 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 31688

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1811904/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26332 CPUtime=639.98
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6321 0 0 0 63991 7 0 0 25 0 1 0 310767356 26963968 6307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6583 6307 76 171 0 6410 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 31688

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16760
/proc/meminfo: memFree=1811776/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26332 CPUtime=699.96
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6330 0 0 0 69988 8 0 0 25 0 1 0 310767356 26963968 6316 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6583 6316 76 171 0 6410 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 31688

[startup+762.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1811392/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26496 CPUtime=759.92
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6367 0 0 0 75984 8 0 0 25 0 1 0 310767356 27131904 6353 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6624 6353 76 171 0 6451 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 31852

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1811264/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26712 CPUtime=819.88
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6399 0 0 0 81980 8 0 0 25 0 1 0 310767356 27353088 6385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6678 6385 76 171 0 6505 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 32068

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1811136/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26712 CPUtime=879.85
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6401 0 0 0 87977 8 0 0 25 0 1 0 310767356 27353088 6387 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6678 6387 76 171 0 6505 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 32068

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1811072/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26712 CPUtime=939.82
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6405 0 0 0 93974 8 0 0 25 0 1 0 310767356 27353088 6391 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6678 6391 76 171 0 6505 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 32068

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1810816/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26940 CPUtime=999.79
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6450 0 0 0 99970 9 0 0 25 0 1 0 310767356 27586560 6436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6735 6436 76 171 0 6562 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 32296

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1810688/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26940 CPUtime=1059.77
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6450 0 0 0 105968 9 0 0 25 0 1 0 310767356 27586560 6436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6735 6436 76 171 0 6562 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 32296

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1810624/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26940 CPUtime=1119.74
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6452 0 0 0 111965 9 0 0 25 0 1 0 310767356 27586560 6438 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6735 6438 76 171 0 6562 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 32296

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1810496/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26940 CPUtime=1179.71
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6453 0 0 0 117962 9 0 0 25 0 1 0 310767356 27586560 6439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6735 6439 76 171 0 6562 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 32296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1810496/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26940 CPUtime=1198.11
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6454 0 0 0 119802 9 0 0 25 0 1 0 310767356 27586560 6440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6735 6440 76 171 0 6562 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 32296

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

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

[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16766
/proc/meminfo: memFree=1810496/2055920 swapFree=4120716/4192956
[pid=16754] ppid=16752 vsize=5356 CPUtime=1.95
/proc/16754/stat : 16754 (SatELiteGTI) S 16752 16754 16542 0 -1 4194304 336 2904 0 0 0 0 194 1 16 0 1 0 310767158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16754/statm: 1339 239 197 169 0 50 0
[pid=16760] ppid=16754 vsize=26940 CPUtime=1198.11
/proc/16760/stat : 16760 (minisat_static) R 16754 16754 16542 0 -1 4194304 6454 0 0 0 119802 9 0 0 25 0 1 0 310767356 27586560 6440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 6735 6440 76 171 0 6562 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 32296

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1199.96
CPU system time (s): 0.116982
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 32296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9703
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= 29
involuntary context switches= 4746

runsolver used 1.03484 second user time and 3.46347 second system time

The end

Launcher Data

Begin job on node27 at 2009-05-20 15:49:02
IDJOB=1834025
IDBENCH=71136
IDSOLVER=671
FILE ID=node27/1834025-1242827342
PBS_JOBID= 9322487
Free space on /tmp= 66300 MiB

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

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

MD5SUM BENCH= ef7ae52d071607b182dca67dbff359aa
RANDOM SEED=2116702093

node27.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		: 2800.234
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	: 5521.40
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		: 2800.234
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:       1840496 kB
Buffers:         19956 kB
Cached:          92856 kB
SwapCached:      65008 kB
Active:          97148 kB
Inactive:        83188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840496 kB
SwapTotal:     4192956 kB
SwapFree:      4120716 kB
Dirty:            3780 kB
Writeback:           0 kB
Mapped:          14632 kB
Slab:            21076 kB
Committed_AS:  1029948 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66296 MiB
End job on node27 at 2009-05-20 16:09:05