Trace number 1832093

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-18UNSAT 353.812 354.064

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
MD5SUM738c5d916b76338511b77dbd47cdbc16
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark56.9113
Satisfiable
(Un)Satisfiability was proved
Number of variables892
Number of clauses3006
Sum of the clauses size7828
Maximum clause length17
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 21283
Number of clauses of size 31676
Number of clauses of size 418
Number of clauses of size 516
Number of clauses of size over 510

Solver Data

0.00/0.02	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |    3003     7825 |     900       0        0     nan |  0.000 % |
0.00/0.04	c |         0 |    2507     7505 |      --       0       --      -- |     --   | -462/-249
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 604   #clauses: 2507   #literals: 7505
0.00/0.04	c CPU time:   0.015997 s
0.00/0.04	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Number of variables:  604                                                  |
0.00/0.05	c |  Number of clauses:    2507                                                 |
0.00/0.05	c |  Parsing time:         0.00         s                                       |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     604     2507     7505 |      835        0    nan |  0.000 % |
0.00/0.06	c |       100 |     604     2507     7505 |      835      100     20 |  0.000 % |
0.00/0.06	c |       200 |     604     2507     7505 |      835      200     22 |  0.000 % |
0.00/0.07	c |       300 |     604     2507     7505 |      835      300     20 |  0.000 % |
0.00/0.07	c |       410 |     604     2507     7505 |      835      410     24 |  0.000 % |
0.00/0.08	c |       511 |     604     2507     7505 |      835      511     24 |  0.001 % |
0.00/0.08	c |       623 |     604     2507     7505 |      835      623     24 |  0.000 % |
0.00/0.08	c |       745 |     604     2507     7505 |      835      745     21 |  0.000 % |
0.01/0.09	c |       846 |     604     2507     7505 |      835      846     22 |  0.000 % |
0.01/0.10	c |       957 |     604     2507     7505 |      835      873     21 |  0.001 % |
0.01/0.11	c |      1078 |     604     2507     7505 |      835      824     18 |  0.000 % |
0.01/0.11	c |      1213 |     604     2507     7505 |      835      876     19 |  0.001 % |
0.01/0.12	c |      1313 |     601     2494     7474 |      835      887     19 |  0.497 % |
0.01/0.13	c |      1425 |     601     2494     7474 |      835      911     19 |  0.498 % |
0.01/0.14	c |      1546 |     601     2494     7474 |      835      941     20 |  0.497 % |
0.01/0.14	c |      1681 |     601     2494     7474 |      835      898     19 |  0.497 % |
0.01/0.15	c |      1828 |     601     2494     7474 |      835      956     21 |  0.497 % |
0.01/0.15	c |      1930 |     601     2494     7474 |      835      877     19 |  0.498 % |
0.01/0.16	c |      2042 |     601     2494     7474 |      835      816     18 |  0.497 % |
0.01/0.17	c |      2163 |     601     2494     7474 |      835      846     20 |  0.497 % |
0.01/0.18	c |      2296 |     601     2494     7474 |      835      895     22 |  0.497 % |
0.01/0.19	c |      2442 |     601     2494     7474 |      835      952     22 |  0.497 % |
0.01/0.20	c |      2602 |     601     2494     7474 |      835      932     22 |  0.497 % |
0.01/0.21	c |      2703 |     601     2494     7474 |      835      857     20 |  0.497 % |
0.01/0.22	c |      2814 |     601     2494     7474 |      835      883     20 |  0.497 % |
0.01/0.22	c |      2935 |     601     2494     7474 |      835      916     21 |  0.497 % |
0.01/0.23	c |      3069 |     601     2494     7474 |      835      871     17 |  0.497 % |
0.01/0.24	c |      3215 |     601     2494     7474 |      835      844     16 |  0.497 % |
0.01/0.25	c |      3376 |     601     2494     7474 |      835      921     14 |  0.497 % |
0.01/0.26	c |      3554 |     601     2494     7474 |      835      821     15 |  0.497 % |
0.01/0.27	c |      3655 |     601     2494     7474 |      835      922     15 |  0.504 % |
0.01/0.27	c |      3767 |     601     2494     7474 |      835      942     16 |  0.497 % |
0.01/0.28	c |      3888 |     601     2494     7474 |      835      885     16 |  0.497 % |
0.01/0.29	c |      4021 |     601     2494     7474 |      835      930     17 |  0.497 % |
0.01/0.30	c |      4167 |     601     2494     7474 |      835      983     16 |  0.497 % |
0.01/0.31	c |      4328 |     601     2494     7474 |      835      958     15 |  0.497 % |
0.01/0.32	c |      4504 |     601     2494     7474 |      835      953     16 |  0.498 % |
0.01/0.33	c |      4697 |     601     2494     7474 |      835      877     11 |  0.497 % |
0.01/0.33	c |      4798 |     601     2494     7474 |      835      891     12 |  0.498 % |
0.01/0.34	c |      4908 |     601     2494     7474 |      835      912     13 |  0.498 % |
0.01/0.35	c |      5029 |     601     2494     7474 |      835      852     14 |  0.497 % |
0.01/0.35	c |      5163 |     601     2494     7474 |      835      901     14 |  0.504 % |
0.01/0.36	c |      5309 |     601     2494     7474 |      835      870     12 |  0.497 % |
0.01/0.36	c |      5470 |     601     2494     7474 |      835      944     13 |  0.497 % |
0.01/0.38	c |      5646 |     601     2494     7474 |      835      941     14 |  0.497 % |
0.01/0.39	c |      5839 |     601     2494     7474 |      835      956     16 |  0.497 % |
0.01/0.41	c |      6051 |     601     2494     7474 |      835      891     16 |  0.497 % |
0.01/0.42	c |      6151 |     601     2494     7474 |      835      902     16 |  0.504 % |
0.01/0.43	c |      6261 |     601     2494     7474 |      835      922     15 |  0.498 % |
0.01/0.43	c |      6384 |     601     2494     7474 |      835      953     14 |  0.497 % |
0.01/0.44	c |      6517 |     601     2494     7474 |      835      906     13 |  0.497 % |
0.01/0.45	c |      6663 |     601     2494     7474 |      835      962     15 |  0.506 % |
0.01/0.46	c |      6825 |     601     2494     7474 |      835      942     17 |  0.497 % |
0.01/0.47	c |      7001 |     601     2494     7474 |      835      940     17 |  0.497 % |
0.01/0.49	c |      7196 |     601     2494     7474 |      835      957     16 |  0.498 % |
0.01/0.50	c |      7408 |     601     2494     7474 |      835      892     13 |  0.497 % |
0.01/0.52	c |      7641 |     601     2494     7474 |      835      937     15 |  0.497 % |
0.01/0.52	c |      7741 |     601     2494     7474 |      835      860     13 |  0.497 % |
0.01/0.53	c |      7851 |     601     2494     7474 |      835      884     14 |  0.497 % |
0.01/0.54	c |      7973 |     601     2494     7474 |      835      918     15 |  0.505 % |
0.01/0.55	c |      8107 |     601     2494     7474 |      835      961     16 |  0.497 % |
0.01/0.56	c |      8254 |     601     2494     7474 |      835      840     11 |  0.497 % |
0.01/0.57	c |      8416 |     601     2494     7474 |      835      918     13 |  0.498 % |
0.01/0.58	c |      8593 |     601     2494     7474 |      835      824     10 |  0.497 % |
0.01/0.59	c |      8788 |     601     2494     7474 |      835     1019     14 |  0.504 % |
0.01/0.61	c |      9000 |     601     2494     7474 |      835      940     14 |  0.497 % |
0.01/0.62	c |      9233 |     601     2494     7474 |      835      995     14 |  0.498 % |
0.01/0.64	c |      9489 |     601     2494     7474 |      835      968     13 |  0.497 % |
0.01/0.65	c |      9590 |     601     2494     7474 |      835      886     11 |  0.497 % |
0.01/0.65	c |      9700 |     601     2494     7474 |      835      908     10 |  0.497 % |
0.01/0.66	c |      9822 |     601     2494     7474 |      835      940     11 |  0.497 % |
0.01/0.67	c |      9956 |     601     2494     7474 |      835      980     14 |  0.505 % |
0.01/0.68	c |     10104 |     601     2494     7474 | 2147483647      942     12 |  0.497 % |
0.01/0.69	c |     10265 |     601     2494     7474 | 2147483647     1103     14 |  0.498 % |
0.01/0.70	c |     10441 |     601     2494     7474 | 2147483647     1279     17 |  0.497 % |
0.01/0.71	c |     10634 |     601     2494     7474 | 2147483647     1472     18 |  0.497 % |
0.01/0.73	c |     10846 |     601     2494     7474 | 2147483647     1684     18 |  0.497 % |
0.01/0.74	c |     11080 |     601     2494     7474 | 2147483647     1918     18 |  0.498 % |
0.01/0.75	c |     11336 |     601     2494     7474 | 2147483647     2174     18 |  0.497 % |
0.01/0.77	c |     11618 |     601     2494     7474 | 2147483647     2456     19 |  0.497 % |
0.01/0.78	c |     11719 |     601     2494     7474 | 2147483647     2557     19 |  0.498 % |
0.01/0.79	c |     11829 |     601     2494     7474 | 2147483647     2667     20 |  0.497 % |
0.01/0.80	c |     11952 |     601     2494     7474 | 2147483647     2790     20 |  0.497 % |
0.01/0.81	c |     12086 |     601     2494     7474 | 2147483647     2924     20 |  0.497 % |
0.01/0.82	c |     12233 |     601     2494     7474 | 2147483647     3071     21 |  0.505 % |
0.01/0.83	c |     12395 |     601     2494     7474 | 2147483647     3233     20 |  0.497 % |
0.01/0.85	c |     12574 |     601     2494     7474 | 2147483647     3412     20 |  0.498 % |
0.01/0.86	c |     12769 |     599     2490     7458 | 2147483647     3602     20 |  0.828 % |
0.01/0.88	c |     12983 |     599     2490     7458 | 2147483647     3816     20 |  0.828 % |
0.01/0.90	c |     13217 |     599     2490     7458 | 2147483647     4050     20 |  0.828 % |
0.01/0.93	c |     13474 |     599     2490     7458 | 2147483647     4307     21 |  0.828 % |
0.01/0.96	c |     13756 |     599     2486     7442 | 2147483647     4555     21 |  0.828 % |
0.01/0.98	c |     14065 |     599     2486     7442 | 2147483647     4864     21 |  0.828 % |
0.01/0.99	c |     14167 |     599     2486     7442 | 2147483647     4966     21 |  0.836 % |
0.01/1.00	c |     14278 |     599     2486     7442 | 2147483647     5077     22 |  0.828 % |
0.94/1.01	c |     14400 |     599     2486     7442 | 2147483647     5199     22 |  0.828 % |
0.94/1.03	c |     14533 |     599     2486     7442 | 2147483647     5332     22 |  0.828 % |
0.94/1.04	c |     14679 |     599     2486     7442 | 2147483647     5478     22 |  0.839 % |
0.94/1.06	c |     14840 |     599     2486     7442 | 2147483647     5639     22 |  0.829 % |
0.94/1.08	c |     15016 |     599     2486     7442 | 2147483647     5815     22 |  0.828 % |
0.94/1.09	c |     15211 |     599     2486     7442 | 2147483647     6010     22 |  0.828 % |
1.04/1.12	c |     15423 |     599     2486     7442 | 2147483647     6222     22 |  0.829 % |
1.04/1.14	c |     15657 |     599     2486     7442 | 2147483647     6456     23 |  0.828 % |
1.04/1.17	c |     15913 |     599     2486     7442 | 2147483647     6712     23 |  0.828 % |
1.14/1.21	c |     16194 |     599     2486     7442 | 2147483647     6993     23 |  0.828 % |
1.14/1.25	c |     16503 |     599     2486     7442 | 2147483647     7302     23 |  0.828 % |
1.14/1.28	c |     16842 |     599     2486     7442 | 2147483647     7641     24 |  0.835 % |
1.14/1.29	c |     16942 |     599     2486     7442 | 2147483647     7741     24 |  0.829 % |
1.24/1.30	c |     17053 |     599     2486     7442 | 2147483647     7852     24 |  0.829 % |
1.24/1.31	c |     17176 |     599     2486     7442 | 2147483647     7975     23 |  0.828 % |
1.24/1.32	c |     17310 |     599     2486     7442 | 2147483647     8109     23 |  0.829 % |
1.24/1.35	c |     17457 |     599     2486     7442 | 2147483647     8256     23 |  0.828 % |
1.24/1.37	c |     17618 |     599     2486     7442 | 2147483647     8417     23 |  0.828 % |
1.24/1.38	c |     17796 |     599     2486     7442 | 2147483647     8595     23 |  0.828 % |
1.34/1.41	c |     17991 |     599     2486     7442 | 2147483647     8790     23 |  0.829 % |
1.34/1.44	c |     18203 |     599     2486     7442 | 2147483647     9002     23 |  0.828 % |
1.34/1.47	c |     18436 |     599     2486     7442 | 2147483647     9235     23 |  0.828 % |
1.44/1.50	c |     18692 |     599     2486     7442 | 2147483647     9491     23 |  0.828 % |
1.44/1.54	c |     18973 |     599     2486     7442 | 2147483647     9772     23 |  0.828 % |
1.44/1.58	c |     19285 |     599     2486     7442 | 2147483647    10084     23 |  0.829 % |
1.54/1.63	c |     19625 |     599     2486     7442 | 2147483647    10424     23 |  0.828 % |
1.54/1.69	c |     19999 |     599     2486     7442 | 2147483647    10798     23 |  0.828 % |
1.64/1.71	c |     20100 |     599     2486     7442 | 2147483647    10899     24 |  0.828 % |
1.64/1.73	c |     20212 |     599     2486     7442 | 2147483647    11011     23 |  0.829 % |
1.64/1.75	c |     20334 |     599     2486     7442 | 2147483647    11133     23 |  0.828 % |
1.64/1.77	c |     20468 |     599     2486     7442 | 2147483647    11267     23 |  0.828 % |
1.64/1.80	c |     20614 |     599     2486     7442 | 2147483647    11413     23 |  0.828 % |
1.74/1.82	c |     20774 |     599     2486     7442 | 2147483647    11573     24 |  0.828 % |
1.74/1.86	c |     20950 |     599     2486     7442 | 2147483647    11749     24 |  0.828 % |
1.74/1.88	c |     21143 |     599     2486     7442 | 2147483647    11942     24 |  0.834 % |
1.84/1.92	c |     21355 |     599     2486     7442 | 2147483647    12154     24 |  0.828 % |
1.84/1.96	c |     21589 |     599     2486     7442 | 2147483647    12388     24 |  0.828 % |
1.94/2.00	c |     21846 |     599     2486     7442 | 2147483647    12645     24 |  0.834 % |
1.94/2.05	c |     22128 |     599     2486     7442 | 2147483647    12927     24 |  0.828 % |
2.04/2.12	c |     22437 |     599     2486     7442 | 2147483647    13236     24 |  0.829 % |
2.04/2.19	c |     22776 |     599     2486     7442 | 2147483647    13575     24 |  0.828 % |
2.14/2.27	c |     23149 |     599     2486     7442 | 2147483647    13948     24 |  0.828 % |
2.24/2.35	c |     23558 |     599     2486     7442 | 2147483647    14357     24 |  0.829 % |
2.24/2.37	c |     23658 |     599     2486     7442 | 2147483647    14457     24 |  0.829 % |
2.24/2.39	c |     23768 |     599     2486     7442 | 2147483647    14567     24 |  0.828 % |
2.34/2.42	c |     23891 |     599     2486     7442 | 2147483647    14690     24 |  0.828 % |
2.34/2.44	c |     24025 |     599     2486     7442 | 2147483647    14824     24 |  0.835 % |
2.34/2.46	c |     24173 |     599     2486     7442 | 2147483647    14972     24 |  0.834 % |
2.34/2.48	c |     24333 |     599     2486     7442 | 2147483647    15132     24 |  0.828 % |
2.44/2.52	c |     24511 |     599     2486     7442 | 2147483647    15310     24 |  0.828 % |
2.44/2.55	c |     24704 |     599     2486     7442 | 2147483647    15503     24 |  0.834 % |
2.44/2.59	c |     24918 |     599     2486     7442 | 2147483647    15717     24 |  0.829 % |
2.54/2.62	c |     25151 |     599     2486     7442 | 2147483647    15950     24 |  0.828 % |
2.54/2.67	c |     25409 |     599     2486     7442 | 2147483647    16208     24 |  0.828 % |
2.63/2.73	c |     25690 |     599     2486     7442 | 2147483647    16489     24 |  0.828 % |
2.73/2.80	c |     25999 |     599     2486     7442 | 2147483647    16798     24 |  0.828 % |
2.73/2.87	c |     26340 |     599     2486     7442 | 2147483647    17139     24 |  0.828 % |
2.83/2.95	c |     26714 |     599     2486     7442 | 2147483647    17513     24 |  0.828 % |
2.93/3.04	c |     27123 |     599     2486     7442 | 2147483647    17922     24 |  0.828 % |
3.03/3.14	c |     27572 |     599     2486     7442 | 2147483647    18371     24 |  0.828 % |
3.03/3.16	c |     27673 |     599     2486     7442 | 2147483647    18472     24 |  0.836 % |
3.03/3.18	c |     27783 |     599     2486     7442 | 2147483647    18582     25 |  0.828 % |
3.14/3.21	c |     27904 |     599     2486     7442 | 2147483647    18703     25 |  0.829 % |
3.14/3.25	c |     28038 |     599     2486     7442 | 2147483647    18837     25 |  0.836 % |
3.14/3.28	c |     28184 |     599     2486     7442 | 2147483647    18983     25 |  0.836 % |
3.24/3.31	c |     28346 |     599     2486     7442 | 2147483647    19145     25 |  0.828 % |
3.24/3.35	c |     28522 |     599     2486     7442 | 2147483647    19321     25 |  0.828 % |
3.24/3.39	c |     28717 |     599     2486     7442 | 2147483647    19516     25 |  0.837 % |
3.34/3.43	c |     28930 |     599     2486     7442 | 2147483647    19729     25 |  0.828 % |
3.34/3.47	c |     29163 |     599     2486     7442 | 2147483647    19962     25 |  0.828 % |
3.44/3.53	c |     29420 |     599     2486     7442 | 2147483647    20219     25 |  0.828 % |
3.54/3.61	c |     29702 |     599     2486     7442 | 2147483647    20501     25 |  0.828 % |
3.64/3.70	c |     30012 |     599     2486     7442 | 2147483647    20811     25 |  0.828 % |
3.64/3.75	c |     30351 |     599     2486     7442 | 2147483647    21150     25 |  0.836 % |
3.74/3.86	c |     30723 |     599     2486     7442 | 2147483647    21522     25 |  0.828 % |
3.84/3.96	c |     31132 |     599     2486     7442 | 2147483647    21931     25 |  0.829 % |
3.94/4.04	c |     31581 |     599     2486     7442 | 2147483647    22380     25 |  0.829 % |
4.04/4.13	c |     32075 |     599     2486     7442 | 2147483647    22874     25 |  0.828 % |
4.04/4.15	c |     32177 |     599     2486     7442 | 2147483647    22976     25 |  0.828 % |
4.04/4.19	c |     32288 |     599     2486     7442 | 2147483647    23087     25 |  0.828 % |
4.14/4.23	c |     32410 |     599     2486     7442 | 2147483647    23209     25 |  0.828 % |
4.14/4.26	c |     32544 |     599     2486     7442 | 2147483647    23343     25 |  0.828 % |
4.14/4.29	c |     32691 |     599     2486     7442 | 2147483647    23490     25 |  0.839 % |
4.25/4.33	c |     32852 |     599     2486     7442 | 2147483647    23651     25 |  0.829 % |
4.25/4.38	c |     33028 |     599     2486     7442 | 2147483647    23827     25 |  0.836 % |
4.35/4.42	c |     33221 |     599     2486     7442 | 2147483647    24020     25 |  0.829 % |
4.35/4.49	c |     33433 |     599     2486     7442 | 2147483647    24232     25 |  0.828 % |
4.44/4.56	c |     33666 |     599     2486     7442 | 2147483647    24465     25 |  0.828 % |
4.54/4.65	c |     33923 |     599     2486     7442 | 2147483647    24722     25 |  0.828 % |
4.74/4.82	c |     34204 |     599     2486     7442 | 2147483647    25003     25 |  0.828 % |
4.84/4.91	c |     34514 |     599     2486     7442 | 2147483647    25313     25 |  0.828 % |
4.84/5.00	c |     34853 |     599     2486     7442 | 2147483647    25652     25 |  0.836 % |
5.04/5.11	c |     35226 |     599     2486     7442 | 2147483647    26025     25 |  0.828 % |
5.14/5.25	c |     35635 |     599     2486     7442 | 2147483647    26434     25 |  0.828 % |
5.34/5.42	c |     36084 |     599     2486     7442 | 2147483647    26883     25 |  0.828 % |
5.44/5.54	c |     36577 |     599     2486     7442 | 2147483647    27376     25 |  0.829 % |
5.54/5.60	c |     37120 |     599     2486     7442 | 2147483647    27919     25 |  0.828 % |
5.54/5.64	c |     37220 |     599     2486     7442 | 2147483647    28019     25 |  0.829 % |
5.54/5.68	c |     37331 |     599     2486     7442 | 2147483647    28130     25 |  0.834 % |
5.64/5.73	c |     37453 |     599     2486     7442 | 2147483647    28252     25 |  0.829 % |
5.64/5.78	c |     37587 |     599     2486     7442 | 2147483647    28386     25 |  0.828 % |
5.74/5.83	c |     37734 |     599     2486     7442 | 2147483647    28533     25 |  0.836 % |
5.74/5.89	c |     37897 |     599     2486     7442 | 2147483647    28696     25 |  0.828 % |
5.84/5.98	c |     38074 |     599     2486     7442 | 2147483647    28873     25 |  0.828 % |
5.94/6.04	c |     38267 |     599     2486     7442 | 2147483647    29066     25 |  0.828 % |
6.04/6.11	c |     38479 |     599     2486     7442 | 2147483647    29278     25 |  0.828 % |
6.14/6.22	c |     38714 |     599     2486     7442 | 2147483647    29513     25 |  0.828 % |
6.23/6.34	c |     38972 |     599     2486     7442 | 2147483647    29771     25 |  0.828 % |
6.33/6.47	c |     39253 |     599     2486     7442 | 2147483647    30052     25 |  0.828 % |
6.44/6.53	c |     39563 |     599     2486     7442 | 2147483647    30362     25 |  0.828 % |
6.54/6.67	c |     39902 |     599     2486     7442 | 2147483647    30701     25 |  0.828 % |
6.83/6.92	c |     40277 |     599     2486     7442 |    30801    23063     23 |  0.828 % |
6.93/7.03	c |     40686 |     599     2486     7442 |    30801    23472     23 |  0.839 % |
7.13/7.21	c |     41135 |     599     2486     7442 |    30801    23921     23 |  0.828 % |
7.23/7.35	c |     41629 |     599     2486     7442 |    30801    24415     23 |  0.829 % |
7.43/7.52	c |     42171 |     599     2486     7442 |    30801    24957     23 |  0.828 % |
7.64/7.71	c |     42768 |     599     2486     7442 |    30801    25554     23 |  0.829 % |
7.64/7.75	c |     42869 |     599     2486     7442 |    30801    25655     23 |  0.829 % |
7.64/7.79	c |     42980 |     599     2486     7442 |    30801    25766     23 |  0.828 % |
7.73/7.84	c |     43101 |     599     2486     7442 |    30801    25887     23 |  0.828 % |
7.73/7.88	c |     43235 |     599     2486     7442 |    30801    26021     23 |  0.829 % |
7.83/7.90	c |     43382 |     599     2486     7442 |    30801    26168     23 |  0.828 % |
7.83/7.94	c |     43542 |     599     2486     7442 |    30801    26328     23 |  0.828 % |
7.83/7.99	c |     43719 |     599     2486     7442 |    30801    26505     23 |  0.828 % |
7.93/8.03	c |     43912 |     599     2486     7442 |    30801    26698     23 |  0.828 % |
7.93/8.09	c |     44124 |     599     2486     7442 |    30801    26910     23 |  0.829 % |
8.03/8.17	c |     44358 |     599     2486     7442 |    30801    27144     23 |  0.829 % |
8.13/8.24	c |     44616 |     599     2486     7442 |    30801    27402     23 |  0.828 % |
8.23/8.34	c |     44899 |     599     2486     7442 |    30801    27685     23 |  0.828 % |
8.33/8.50	c |     45210 |     599     2486     7442 |    30801    27996     23 |  0.828 % |
8.53/8.65	c |     45550 |     599     2486     7442 |    30801    28336     23 |  0.828 % |
8.63/8.79	c |     45922 |     599     2486     7442 |    30801    28708     23 |  0.839 % |
8.83/8.99	c |     46333 |     599     2486     7442 |    30801    29119     23 |  0.828 % |
9.03/9.13	c |     46782 |     599     2486     7442 |    30801    29568     23 |  0.829 % |
9.23/9.34	c |     47276 |     599     2486     7442 |    30801    30062     23 |  0.828 % |
9.43/9.53	c |     47818 |     599     2486     7442 |    30801    30604     23 |  0.829 % |
9.63/9.74	c |     48415 |     599     2486     7442 |    30801    22549     21 |  0.828 % |
9.83/9.94	c |     49071 |     599     2486     7442 |    30801    23205     21 |  0.829 % |
9.83/9.96	c |     49173 |     599     2486     7442 |    30801    23307     21 |  0.836 % |
9.83/9.99	c |     49283 |     599     2486     7442 |    30801    23417     21 |  0.828 % |
9.93/10.04	c |     49404 |     599     2486     7442 |    30801    23538     21 |  0.828 % |
9.93/10.09	c |     49538 |     599     2486     7442 |    30801    23672     21 |  0.828 % |
10.03/10.13	c |     49684 |     599     2486     7442 |    30801    23818     21 |  0.836 % |
10.03/10.18	c |     49844 |     599     2486     7442 |    30801    23978     21 |  0.828 % |
10.13/10.21	c |     50023 |     599     2486     7442 |    24135    24157     22 |  0.839 % |
10.13/10.26	c |     50217 |     599     2486     7442 |    24135    17649     19 |  0.834 % |
10.23/10.30	c |     50432 |     599     2486     7442 |    24135    17864     20 |  0.828 % |
10.23/10.37	c |     50667 |     599     2486     7442 |    24135    18099     20 |  0.828 % |
10.33/10.42	c |     50923 |     599     2486     7442 |    24135    18355     20 |  0.828 % |
10.33/10.48	c |     51205 |     599     2486     7442 |    24135    18637     20 |  0.828 % |
10.43/10.55	c |     51514 |     599     2486     7442 |    24135    18946     20 |  0.828 % |
10.53/10.62	c |     51854 |     599     2486     7442 |    24135    19286     20 |  0.834 % |
10.63/10.70	c |     52226 |     599     2486     7442 |    24135    19658     20 |  0.828 % |
10.63/10.79	c |     52635 |     599     2486     7442 |    24135    20067     20 |  0.828 % |
10.83/10.91	c |     53085 |     599     2486     7442 |    24135    20517     20 |  0.828 % |
10.83/11.00	c |     53579 |     599     2486     7442 |    24135    21011     20 |  0.829 % |
10.93/11.07	c |     54122 |     599     2486     7442 |    24135    21554     20 |  0.828 % |
11.13/11.25	c |     54719 |     599     2486     7442 |    24135    22151     21 |  0.828 % |
11.33/11.42	c |     55376 |     599     2486     7442 |    24135    22808     21 |  0.828 % |
11.43/11.58	c |     56096 |     599     2486     7442 |    24135    23528     20 |  0.828 % |
11.53/11.61	c |     56199 |     599     2486     7442 |    24135    23631     20 |  0.829 % |
11.53/11.64	c |     56310 |     599     2486     7442 |    24135    23742     20 |  0.829 % |
11.53/11.68	c |     56431 |     599     2486     7442 |    24135    23863     20 |  0.828 % |
11.63/11.72	c |     56564 |     599     2486     7442 |    24135    23996     20 |  0.829 % |
11.63/11.75	c |     56710 |     599     2486     7442 |    24135    24142     21 |  0.836 % |
11.73/11.80	c |     56870 |     599     2486     7442 |    24135    18361     19 |  0.828 % |
11.73/11.86	c |     57047 |     599     2486     7442 |    24135    18538     19 |  0.829 % |
11.73/11.90	c |     57240 |     599     2486     7442 |    24135    18731     19 |  0.828 % |
11.83/11.94	c |     57452 |     599     2486     7442 |    24135    18943     19 |  0.829 % |
11.93/12.00	c |     57686 |     599     2486     7442 |    24135    19177     19 |  0.828 % |
11.93/12.06	c |     57943 |     599     2486     7442 |    24135    19434     19 |  0.828 % |
12.03/12.14	c |     58224 |     599     2486     7442 |    24135    19715     19 |  0.828 % |
12.13/12.21	c |     58533 |     599     2486     7442 |    24135    20024     19 |  0.828 % |
12.13/12.27	c |     58872 |     599     2486     7442 |    24135    20363     20 |  0.836 % |
12.23/12.36	c |     59244 |     599     2486     7442 |    24135    20735     20 |  0.828 % |
12.33/12.48	c |     59654 |     599     2486     7442 |    24135    21145     20 |  0.828 % |
12.53/12.64	c |     60103 |     599     2486     7442 |    21493    21594     20 |  0.828 % |
12.63/12.76	c |     60596 |     599     2486     7442 |    21493    16944     19 |  0.828 % |
12.73/12.82	c |     61138 |     599     2486     7442 |    21493    17486     19 |  0.836 % |
12.83/12.93	c |     61734 |     599     2486     7442 |    21493    18082     19 |  0.828 % |
12.93/13.06	c |     62390 |     599     2486     7442 |    21493    18738     19 |  0.836 % |
13.13/13.21	c |     63110 |     599     2486     7442 |    21493    19458     19 |  0.834 % |
13.32/13.40	c |     63902 |     599     2486     7442 |    21493    20250     20 |  0.828 % |
13.32/13.44	c |     64002 |     599     2486     7442 |    21493    20350     20 |  0.828 % |
13.32/13.46	c |     64114 |     599     2486     7442 |    21493    20462     20 |  0.836 % |
13.32/13.48	c |     64236 |     599     2486     7442 |    21493    20584     20 |  0.828 % |
13.42/13.51	c |     64369 |     599     2486     7442 |    21493    20717     20 |  0.828 % |
13.42/13.55	c |     64515 |     599     2486     7442 |    21493    20863     20 |  0.828 % |
13.42/13.58	c |     64679 |     599     2486     7442 |    21493    21027     20 |  0.837 % |
13.52/13.62	c |     64857 |     599     2486     7442 |    21493    21205     20 |  0.828 % |
13.52/13.67	c |     65050 |     599     2486     7442 |    21493    21398     20 |  0.828 % |
13.62/13.72	c |     65263 |     599     2486     7442 |    21493    21611     20 |  0.836 % |
13.62/13.78	c |     65496 |     599     2486     7442 |    21493    17008     19 |  0.828 % |
13.72/13.84	c |     65752 |     599     2486     7442 |    21493    17264     19 |  0.828 % |
13.82/13.90	c |     66033 |     599     2486     7442 |    21493    17545     19 |  0.828 % |
13.82/13.95	c |     66342 |     599     2486     7442 |    21493    17854     19 |  0.839 % |
13.92/14.02	c |     66682 |     599     2486     7442 |    21493    18194     19 |  0.828 % |
14.02/14.10	c |     67054 |     599     2486     7442 |    21493    18566     19 |  0.828 % |
14.02/14.17	c |     67463 |     599     2486     7442 |    21493    18975     19 |  0.834 % |
14.13/14.28	c |     67912 |     599     2486     7442 |    21493    19424     19 |  0.828 % |
14.32/14.42	c |     68405 |     599     2486     7442 |    21493    19917     19 |  0.828 % |
14.42/14.53	c |     68947 |     599     2486     7442 |    21493    20459     19 |  0.828 % |
14.52/14.65	c |     69543 |     599     2486     7442 |    21493    21055     19 |  0.828 % |
14.62/14.76	c |     70199 |     599     2486     7442 |    21514    21711     20 |  0.829 % |
14.72/14.89	c |     70920 |     599     2486     7442 |    21514    17732     18 |  0.828 % |
15.02/15.15	c |     71713 |     599     2486     7442 |    21514    18525     19 |  0.828 % |
15.22/15.37	c |     72586 |     599     2486     7442 |    21514    19398     19 |  0.828 % |
15.22/15.39	c |     72686 |     599     2486     7442 |    21514    19498     19 |  0.836 % |
15.32/15.41	c |     72799 |     599     2486     7442 |    21514    19611     19 |  0.828 % |
15.32/15.44	c |     72920 |     599     2486     7442 |    21514    19732     19 |  0.828 % |
15.32/15.48	c |     73053 |     599     2486     7442 |    21514    19865     19 |  0.828 % |
15.42/15.52	c |     73200 |     599     2486     7442 |    21514    20012     19 |  0.836 % |
15.42/15.55	c |     73361 |     599     2486     7442 |    21514    20173     19 |  0.836 % |
15.42/15.59	c |     73538 |     599     2486     7442 |    21514    20350     19 |  0.828 % |
15.52/15.63	c |     73731 |     599     2486     7442 |    21514    20543     19 |  0.839 % |
15.52/15.67	c |     73944 |     599     2486     7442 |    21514    20756     19 |  0.828 % |
15.62/15.72	c |     74178 |     599     2486     7442 |    21514    20990     19 |  0.828 % |
15.62/15.79	c |     74434 |     599     2486     7442 |    21514    21246     20 |  0.828 % |
15.72/15.88	c |     74715 |     599     2486     7442 |    21514    21527     20 |  0.828 % |
15.82/15.98	c |     75024 |     599     2486     7442 |    21514    17258     18 |  0.828 % |
15.92/16.03	c |     75364 |     599     2486     7442 |    21514    17598     19 |  0.834 % |
16.02/16.11	c |     75738 |     599     2486     7442 |    21514    17972     19 |  0.828 % |
16.02/16.19	c |     76148 |     599     2486     7442 |    21514    18382     19 |  0.836 % |
16.12/16.29	c |     76597 |     599     2486     7442 |    21514    18831     19 |  0.828 % |
16.22/16.37	c |     77093 |     599     2486     7442 |    21514    19327     19 |  0.828 % |
16.32/16.47	c |     77635 |     599     2486     7442 |    21514    19869     19 |  0.829 % |
16.52/16.62	c |     78232 |     599     2486     7442 |    21514    20466     19 |  0.828 % |
16.62/16.79	c |     78887 |     599     2486     7442 |    21514    21121     19 |  0.828 % |
16.92/17.08	c |     79607 |     599     2486     7442 |    21514    17349     18 |  0.828 % |
17.12/17.26	c |     80399 |     599     2486     7442 |    17743    14503     17 |  0.828 % |
17.32/17.44	c |     81271 |     599     2486     7442 |    17743    15375     17 |  0.829 % |
17.52/17.65	c |     82230 |     599     2486     7442 |    17743    16334     18 |  0.828 % |
17.52/17.67	c |     82330 |     599     2486     7442 |    17743    16434     18 |  0.828 % |
17.52/17.69	c |     82442 |     599     2486     7442 |    17743    16546     18 |  0.828 % |
17.62/17.72	c |     82563 |     599     2486     7442 |    17743    16667     18 |  0.828 % |
17.62/17.74	c |     82698 |     599     2486     7442 |    17743    16802     18 |  0.836 % |
17.62/17.76	c |     82846 |     599     2486     7442 |    17743    16950     18 |  0.828 % |
17.62/17.77	c |     83006 |     599     2486     7442 |    17743    17110     18 |  0.828 % |
17.62/17.79	c |     83182 |     599     2486     7442 |    17743    17286     18 |  0.828 % |
17.72/17.82	c |     83376 |     599     2486     7442 |    17743    17480     18 |  0.829 % |
17.72/17.86	c |     83588 |     599     2486     7442 |    17743    17692     18 |  0.828 % |
17.82/17.90	c |     83823 |     599     2486     7442 |    17743    14933     17 |  0.828 % |
17.82/17.94	c |     84081 |     599     2486     7442 |    17743    15191     17 |  0.828 % |
17.82/17.99	c |     84362 |     599     2486     7442 |    17743    15472     17 |  0.828 % |
17.92/18.03	c |     84672 |     599     2486     7442 |    17743    15782     17 |  0.829 % |
18.02/18.11	c |     85011 |     599     2486     7442 |    17743    16121     17 |  0.828 % |
18.02/18.17	c |     85384 |     599     2486     7442 |    17743    16494     17 |  0.834 % |
18.12/18.25	c |     85793 |     599     2486     7442 |    17743    16903     17 |  0.828 % |
18.22/18.37	c |     86242 |     599     2486     7442 |    17743    17352     18 |  0.828 % |
18.31/18.47	c |     86735 |     599     2486     7442 |    17743    14943     17 |  0.828 % |
18.41/18.57	c |     87280 |     599     2486     7442 |    17743    15488     17 |  0.828 % |
18.52/18.67	c |     87876 |     599     2486     7442 |    17743    16084     17 |  0.829 % |
18.62/18.79	c |     88531 |     599     2486     7442 |    17743    16739     17 |  0.828 % |
18.71/18.88	c |     89252 |     599     2486     7442 |    17743    17460     17 |  0.828 % |
18.91/19.01	c |     90045 |     599     2486     7442 |    15414    15459     16 |  0.828 % |
19.01/19.16	c |     90916 |     599     2486     7442 |    15414    13952     16 |  0.829 % |
19.21/19.30	c |     91875 |     599     2486     7442 |    15414    14911     17 |  0.829 % |
19.31/19.48	c |     92928 |     599     2486     7442 |    15414    13913     17 |  0.828 % |
19.31/19.50	c |     93028 |     599     2486     7442 |    15414    14013     17 |  0.829 % |
19.41/19.52	c |     93139 |     599     2486     7442 |    15414    14124     17 |  0.828 % |
19.41/19.53	c |     93260 |     599     2486     7442 |    15414    14245     17 |  0.828 % |
19.41/19.56	c |     93394 |     599     2486     7442 |    15414    14379     17 |  0.829 % |
19.41/19.58	c |     93540 |     599     2486     7442 |    15414    14525     17 |  0.828 % |
19.51/19.60	c |     93702 |     599     2486     7442 |    15414    14687     17 |  0.836 % |
19.51/19.64	c |     93878 |     599     2486     7442 |    15414    14863     17 |  0.828 % |
19.51/19.67	c |     94072 |     599     2486     7442 |    15414    15057     17 |  0.828 % |
19.51/19.70	c |     94285 |     599     2486     7442 |    15414    15270     17 |  0.836 % |
19.62/19.74	c |     94518 |     599     2486     7442 |    15414    15503     17 |  0.828 % |
19.62/19.78	c |     94774 |     599     2486     7442 |    15414    13772     17 |  0.836 % |
19.72/19.84	c |     95055 |     599     2486     7442 |    15414    14053     17 |  0.828 % |
19.72/19.89	c |     95365 |     599     2486     7442 |    15414    14363     17 |  0.834 % |
19.81/19.95	c |     95704 |     599     2486     7442 |    15414    14702     17 |  0.828 % |
19.91/20.03	c |     96076 |     599     2486     7442 |    15414    15074     17 |  0.828 % |
19.91/20.09	c |     96485 |     599     2486     7442 |    15414    15483     17 |  0.828 % |
20.01/20.19	c |     96935 |     599     2486     7442 |    15414    14028     18 |  0.828 % |
20.11/20.28	c |     97429 |     599     2486     7442 |    15414    14522     18 |  0.828 % |
20.21/20.37	c |     97971 |     599     2486     7442 |    15414    15064     18 |  0.828 % |
20.41/20.53	c |     98568 |     599     2486     7442 |    15414    13773     17 |  0.829 % |
20.41/20.59	c |     99225 |     599     2486     7442 |    15414    14430     17 |  0.836 % |
20.61/20.73	c |     99947 |     599     2486     7442 |    15414    15152     18 |  0.828 % |
20.82/20.91	c |    100740 |     599     2486     7442 |    15205    14080     17 |  0.828 % |
20.91/21.04	c |    101612 |     599     2486     7442 |    15205    14952     17 |  0.828 % |
21.11/21.23	c |    102570 |     599     2486     7442 |    15205    14178     17 |  0.828 % |
21.21/21.36	c |    103623 |     599     2486     7442 |    15205    15231     17 |  0.836 % |
21.41/21.59	c |    104782 |     599     2486     7442 |    15205    14670     17 |  0.828 % |
21.51/21.61	c |    104883 |     599     2486     7442 |    15205    14771     17 |  0.829 % |
21.51/21.63	c |    104993 |     599     2486     7442 |    15205    14881     17 |  0.829 % |
21.51/21.65	c |    105115 |     599     2486     7442 |    15205    15003     17 |  0.828 % |
21.51/21.67	c |    105250 |     599     2486     7442 |    15205    15138     17 |  0.828 % |
21.61/21.70	c |    105396 |     599     2486     7442 |    15205    15284     17 |  0.836 % |
21.61/21.74	c |    105556 |     599     2486     7442 |    15205    13717     17 |  0.828 % |
21.61/21.77	c |    105736 |     599     2486     7442 |    15205    13897     17 |  0.828 % |
21.71/21.80	c |    105931 |     599     2486     7442 |    15205    14092     17 |  0.828 % |
21.71/21.84	c |    106143 |     599     2486     7442 |    15205    14304     17 |  0.828 % |
21.71/21.88	c |    106376 |     599     2486     7442 |    15205    14537     17 |  0.828 % |
21.82/21.93	c |    106632 |     599     2486     7442 |    15205    14793     17 |  0.828 % |
21.82/21.99	c |    106914 |     599     2486     7442 |    15205    15075     17 |  0.828 % |
21.92/22.04	c |    107223 |     599     2486     7442 |    15205    13718     17 |  0.828 % |
22.01/22.11	c |    107562 |     599     2486     7442 |    15205    14057     17 |  0.828 % |
22.01/22.16	c |    107934 |     599     2486     7442 |    15205    14429     17 |  0.839 % |
22.11/22.23	c |    108344 |     599     2486     7442 |    15205    14839     18 |  0.829 % |
22.21/22.30	c |    108793 |     599     2486     7442 |    15205    15288     18 |  0.828 % |
22.31/22.41	c |    109287 |     599     2486     7442 |    15205    14123     17 |  0.828 % |
22.41/22.51	c |    109829 |     599     2486     7442 |    15205    14665     18 |  0.828 % |
22.51/22.63	c |    110426 |     599     2486     7442 |    14836    13681     17 |  0.828 % |
22.61/22.76	c |    111085 |     599     2486     7442 |    14836    14340     18 |  0.828 % |
22.71/22.84	c |    111805 |     599     2486     7442 |    14836    15060     18 |  0.836 % |
22.81/22.97	c |    112597 |     599     2486     7442 |    14836    14204     18 |  0.828 % |
22.92/23.09	c |    113469 |     599     2486     7442 |    14836    15076     19 |  0.834 % |
23.11/23.24	c |    114428 |     599     2486     7442 |    14836    14193     19 |  0.828 % |
23.31/23.43	c |    115483 |     599     2486     7442 |    14836    13507     19 |  0.828 % |
23.51/23.60	c |    116641 |     599     2486     7442 |    14836    14665     19 |  0.828 % |
23.71/23.85	c |    117914 |     599     2486     7442 |    14836    14349     19 |  0.828 % |
23.71/23.87	c |    118015 |     599     2486     7442 |    14836    14450     19 |  0.828 % |
23.71/23.88	c |    118126 |     599     2486     7442 |    14836    14561     19 |  0.836 % |
23.71/23.89	c |    118248 |     599     2486     7442 |    14836    14683     19 |  0.828 % |
23.81/23.91	c |    118381 |     599     2486     7442 |    14836    14816     19 |  0.828 % |
23.81/23.94	c |    118528 |     599     2486     7442 |    14836    14963     19 |  0.828 % |
23.81/23.96	c |    118688 |     599     2486     7442 |    14836    13615     18 |  0.828 % |
23.81/23.99	c |    118865 |     599     2486     7442 |    14836    13792     18 |  0.829 % |
23.91/24.03	c |    119058 |     599     2486     7442 |    14836    13985     18 |  0.828 % |
23.91/24.06	c |    119272 |     599     2486     7442 |    14836    14199     18 |  0.828 % |
23.91/24.10	c |    119507 |     599     2486     7442 |    14836    14434     19 |  0.828 % |
24.01/24.14	c |    119765 |     599     2486     7442 |    14836    14692     19 |  0.829 % |
24.01/24.19	c |    120047 |     599     2486     7442 |    14928    14974     19 |  0.828 % |
24.11/24.24	c |    120358 |     599     2486     7442 |    14928    13750     18 |  0.829 % |
24.11/24.30	c |    120697 |     599     2486     7442 |    14928    14089     18 |  0.828 % |
24.21/24.36	c |    121069 |     599     2486     7442 |    14928    14461     19 |  0.837 % |
24.31/24.40	c |    121478 |     599     2486     7442 |    14928    14870     19 |  0.828 % |
24.31/24.48	c |    121930 |     599     2486     7442 |    14928    13825     18 |  0.828 % |
24.41/24.57	c |    122426 |     599     2486     7442 |    14928    14321     18 |  0.828 % |
24.51/24.67	c |    122970 |     599     2486     7442 |    14928    14865     18 |  0.828 % |
24.61/24.77	c |    123567 |     599     2486     7442 |    14928    13960     17 |  0.828 % |
24.71/24.85	c |    124223 |     599     2486     7442 |    14928    14616     18 |  0.834 % |
24.81/24.97	c |    124944 |     599     2486     7442 |    14928    13826     17 |  0.828 % |
25.01/25.11	c |    125738 |     599     2486     7442 |    14928    14620     17 |  0.828 % |
25.11/25.26	c |    126609 |     599     2486     7442 |    14928    13970     17 |  0.828 % |
25.31/25.44	c |    127567 |     599     2486     7442 |    14928    14928     18 |  0.829 % |
25.51/25.63	c |    128621 |     599     2486     7442 |    14928    14466     18 |  0.836 % |
25.71/25.86	c |    129780 |     599     2486     7442 |    14928    14123     18 |  0.828 % |
25.91/26.07	c |    131054 |     599     2486     7442 | 2147483647    15397     18 |  0.837 % |
26.11/26.28	c |    132455 |     599     2486     7442 | 2147483647    16798     19 |  0.828 % |
26.11/26.30	c |    132555 |     599     2486     7442 | 2147483647    16898     19 |  0.829 % |
26.21/26.32	c |    132665 |     599     2486     7442 | 2147483647    17008     19 |  0.828 % |
26.21/26.34	c |    132786 |     599     2486     7442 | 2147483647    17129     19 |  0.828 % |
26.21/26.37	c |    132919 |     599     2486     7442 | 2147483647    17262     19 |  0.828 % |
26.21/26.40	c |    133066 |     599     2486     7442 | 2147483647    17409     19 |  0.828 % |
26.31/26.42	c |    133227 |     599     2486     7442 | 2147483647    17570     19 |  0.836 % |
26.31/26.47	c |    133404 |     599     2486     7442 | 2147483647    17747     19 |  0.828 % |
26.31/26.49	c |    133600 |     599     2486     7442 | 2147483647    17943     19 |  0.828 % |
26.41/26.53	c |    133813 |     599     2486     7442 | 2147483647    18156     19 |  0.828 % |
26.41/26.59	c |    134047 |     599     2486     7442 | 2147483647    18390     19 |  0.828 % |
26.51/26.63	c |    134304 |     599     2486     7442 | 2147483647    18647     19 |  0.836 % |
26.51/26.69	c |    134586 |     599     2486     7442 | 2147483647    18929     20 |  0.829 % |
26.61/26.75	c |    134895 |     599     2486     7442 | 2147483647    19238     20 |  0.829 % |
26.71/26.81	c |    135234 |     599     2486     7442 | 2147483647    19577     20 |  0.828 % |
26.71/26.88	c |    135606 |     599     2486     7442 | 2147483647    19949     20 |  0.828 % |
26.81/26.98	c |    136015 |     599     2486     7442 | 2147483647    20358     20 |  0.828 % |
26.91/27.05	c |    136466 |     599     2486     7442 | 2147483647    20809     20 |  0.834 % |
27.01/27.11	c |    136960 |     599     2486     7442 | 2147483647    21303     19 |  0.829 % |
27.11/27.25	c |    137503 |     599     2486     7442 | 2147483647    21846     20 |  0.828 % |
27.21/27.38	c |    138100 |     599     2486     7442 | 2147483647    22443     20 |  0.836 % |
27.41/27.55	c |    138755 |     599     2486     7442 | 2147483647    23098     20 |  0.828 % |
27.61/27.71	c |    139476 |     599     2486     7442 | 2147483647    23819     20 |  0.828 % |
27.81/27.95	c |    140269 |     599     2486     7442 |    24343    20195     19 |  0.828 % |
28.01/28.14	c |    141140 |     599     2486     7442 |    24343    21066     19 |  0.828 % |
28.21/28.38	c |    142098 |     599     2486     7442 |    24343    22024     20 |  0.828 % |
28.41/28.59	c |    143151 |     599     2486     7442 |    24343    23077     20 |  0.836 % |
28.71/28.83	c |    144311 |     599     2486     7442 |    24343    24237     20 |  0.836 % |
29.01/29.16	c |    145587 |     599     2486     7442 |    24343    20136     18 |  0.828 % |
29.31/29.45	c |    146989 |     599     2486     7442 |    24343    21538     19 |  0.829 % |
29.71/29.85	c |    148529 |     599     2486     7442 |    24343    23078     19 |  0.828 % |
29.71/29.87	c |    148629 |     599     2486     7442 |    24343    23178     19 |  0.834 % |
29.71/29.89	c |    148740 |     599     2486     7442 |    24343    23289     19 |  0.828 % |
29.82/29.92	c |    148862 |     599     2486     7442 |    24343    23411     19 |  0.828 % |
29.82/29.96	c |    148995 |     599     2486     7442 |    24343    23544     19 |  0.828 % |
29.82/30.00	c |    149141 |     599     2486     7442 |    24343    23690     19 |  0.828 % |
29.92/30.02	c |    149302 |     599     2486     7442 |    24343    23851     19 |  0.828 % |
29.92/30.07	c |    149478 |     599     2486     7442 |    24343    24027     19 |  0.828 % |
30.01/30.13	c |    149673 |     599     2486     7442 |    24343    24222     19 |  0.828 % |
30.11/30.21	c |    149887 |     599     2486     7442 |    24343    24436     19 |  0.828 % |
30.21/30.32	c |    150122 |     599     2486     7442 |    19113    15005     17 |  0.828 % |
30.21/30.37	c |    150378 |     599     2486     7442 |    19113    15261     17 |  0.828 % |
30.31/30.42	c |    150659 |     599     2486     7442 |    19113    15542     17 |  0.828 % |
30.31/30.48	c |    150969 |     599     2486     7442 |    19113    15852     17 |  0.828 % |
30.41/30.55	c |    151308 |     599     2486     7442 |    19113    16191     17 |  0.828 % |
30.51/30.63	c |    151681 |     599     2486     7442 |    19113    16564     18 |  0.828 % |
30.62/30.71	c |    152091 |     599     2486     7442 |    19113    16974     18 |  0.828 % |
30.62/30.79	c |    152540 |     599     2486     7442 |    19113    17423     18 |  0.834 % |
30.72/30.86	c |    153033 |     599     2486     7442 |    19113    17916     18 |  0.829 % |
30.81/30.94	c |    153575 |     599     2486     7442 |    19113    18458     18 |  0.836 % |
30.91/31.05	c |    154172 |     599     2486     7442 |    19113    19055     19 |  0.834 % |
31.11/31.21	c |    154827 |     599     2486     7442 |    19113    15968     18 |  0.836 % |
31.21/31.33	c |    155548 |     599     2486     7442 |    19113    16689     19 |  0.836 % |
31.31/31.46	c |    156342 |     599     2486     7442 |    19113    17483     19 |  0.839 % |
31.51/31.63	c |    157214 |     599     2486     7442 |    19113    18355     19 |  0.829 % |
31.71/31.81	c |    158175 |     599     2486     7442 |    19113    15871     18 |  0.829 % |
31.91/32.01	c |    159228 |     599     2486     7442 |    19113    16924     18 |  0.828 % |
32.11/32.28	c |    160386 |     599     2486     7442 |    17697    14987     18 |  0.828 % |
32.41/32.57	c |    161660 |     599     2486     7442 |    17697    16261     19 |  0.828 % |
32.71/32.85	c |    163060 |     599     2486     7442 |    17697    17661     19 |  0.828 % |
32.91/33.08	c |    164601 |     599     2486     7442 |    17697    16638     19 |  0.834 % |
33.21/33.37	c |    166296 |     599     2486     7442 |    17697    15643     18 |  0.828 % |
33.21/33.39	c |    166396 |     599     2486     7442 |    17697    15743     18 |  0.828 % |
33.31/33.42	c |    166506 |     599     2486     7442 |    17697    15853     18 |  0.836 % |
33.31/33.44	c |    166627 |     599     2486     7442 |    17697    15974     18 |  0.836 % |
33.31/33.46	c |    166761 |     599     2486     7442 |    17697    16108     19 |  0.828 % |
33.31/33.49	c |    166909 |     599     2486     7442 |    17697    16256     19 |  0.828 % |
33.41/33.52	c |    167069 |     599     2486     7442 |    17697    16416     19 |  0.828 % |
33.41/33.54	c |    167245 |     599     2486     7442 |    17697    16592     19 |  0.828 % |
33.41/33.58	c |    167438 |     599     2486     7442 |    17697    16785     19 |  0.828 % |
33.51/33.63	c |    167651 |     599     2486     7442 |    17697    16998     19 |  0.828 % |
33.51/33.67	c |    167885 |     599     2486     7442 |    17697    17232     19 |  0.828 % |
33.61/33.71	c |    168142 |     599     2486     7442 |    17697    17489     19 |  0.828 % |
33.61/33.76	c |    168424 |     599     2486     7442 |    17697    17771     19 |  0.828 % |
33.71/33.84	c |    168733 |     599     2486     7442 |    17697    15410     18 |  0.828 % |
33.81/33.91	c |    169074 |     599     2486     7442 |    17697    15751     18 |  0.828 % |
33.81/33.97	c |    169447 |     599     2486     7442 |    17697    16124     18 |  0.836 % |
33.91/34.05	c |    169856 |     599     2486     7442 |    17697    16533     19 |  0.839 % |
34.01/34.12	c |    170306 |     599     2486     7442 |    16678    14555     18 |  0.829 % |
34.11/34.21	c |    170799 |     599     2486     7442 |    16678    15048     18 |  0.828 % |
34.21/34.31	c |    171342 |     599     2486     7442 |    16678    15591     18 |  0.828 % |
34.31/34.41	c |    171940 |     599     2486     7442 |    16678    16189     18 |  0.829 % |
34.41/34.54	c |    172596 |     599     2486     7442 |    16678    14662     18 |  0.828 % |
34.51/34.63	c |    173316 |     599     2486     7442 |    16678    15382     18 |  0.836 % |
34.61/34.76	c |    174108 |     599     2486     7442 |    16678    16174     18 |  0.828 % |
34.81/34.92	c |    174980 |     599     2486     7442 |    16678    14786     18 |  0.828 % |
35.01/35.10	c |    175938 |     599     2486     7442 |    16678    15744     18 |  0.828 % |
35.21/35.31	c |    176994 |     599     2486     7442 |    16678    16800     18 |  0.828 % |
35.41/35.56	c |    178153 |     599     2486     7442 |    16678    15791     18 |  0.829 % |
35.71/35.85	c |    179426 |     599     2486     7442 |    16678    14951     18 |  0.828 % |
35.91/36.10	c |    180826 |     599     2486     7442 |    15528    14365     18 |  0.828 % |
36.21/36.38	c |    182366 |     599     2486     7442 |    15528    13900     18 |  0.828 % |
36.61/36.73	c |    184061 |     599     2486     7442 |    15528    15595     18 |  0.828 % |
36.81/36.99	c |    185925 |     599     2486     7442 |    15528    15625     19 |  0.836 % |
36.91/37.01	c |    186025 |     599     2486     7442 |    15528    13766     18 |  0.828 % |
36.91/37.02	c |    186136 |     599     2486     7442 |    15528    13877     18 |  0.828 % |
36.91/37.03	c |    186257 |     599     2486     7442 |    15528    13998     18 |  0.828 % |
36.91/37.05	c |    186390 |     599     2486     7442 |    15528    14131     18 |  0.828 % |
36.91/37.08	c |    186538 |     599     2486     7442 |    15528    14279     18 |  0.828 % |
37.01/37.10	c |    186701 |     599     2486     7442 |    15528    14442     18 |  0.836 % |
37.01/37.12	c |    186877 |     599     2486     7442 |    15528    14618     18 |  0.828 % |
37.01/37.15	c |    187070 |     599     2486     7442 |    15528    14811     18 |  0.828 % |
37.01/37.19	c |    187282 |     599     2486     7442 |    15528    15023     18 |  0.836 % |
37.11/37.23	c |    187515 |     599     2486     7442 |    15528    15256     18 |  0.829 % |
37.11/37.27	c |    187773 |     599     2486     7442 |    15528    15514     19 |  0.836 % |
37.21/37.31	c |    188054 |     599     2486     7442 |    15528    15795     19 |  0.829 % |
37.21/37.36	c |    188363 |     599     2486     7442 |    15528    14081     18 |  0.828 % |
37.31/37.42	c |    188705 |     599     2486     7442 |    15528    14423     19 |  0.828 % |
37.31/37.48	c |    189077 |     599     2486     7442 |    15528    14795     19 |  0.828 % |
37.41/37.52	c |    189487 |     599     2486     7442 |    15528    15205     19 |  0.828 % |
37.51/37.60	c |    189936 |     599     2486     7442 |    15528    15654     19 |  0.828 % |
37.61/37.71	c |    190430 |     599     2486     7442 |    13780    12488     18 |  0.829 % |
37.61/37.77	c |    190973 |     599     2486     7442 |    13780    13031     18 |  0.828 % |
37.71/37.85	c |    191570 |     599     2486     7442 |    13780    13628     18 |  0.828 % |
37.81/37.94	c |    192225 |     599     2486     7442 |    13780    12891     18 |  0.836 % |
37.90/38.06	c |    192945 |     599     2486     7442 |    13780    13611     18 |  0.828 % |
38.00/38.18	c |    193737 |     599     2486     7442 |    13780    13006     17 |  0.828 % |
38.20/38.36	c |    194610 |     599     2486     7442 |    13780    12494     17 |  0.828 % |
38.41/38.52	c |    195569 |     599     2486     7442 |    13780    13453     17 |  0.828 % |
38.50/38.66	c |    196624 |     599     2486     7442 |    13780    13105     17 |  0.836 % |
38.70/38.88	c |    197783 |     599     2486     7442 |    13780    12875     17 |  0.829 % |
39.00/39.11	c |    199057 |     599     2486     7442 |    13780    12758     17 |  0.829 % |
39.10/39.29	c |    200457 |     599     2486     7442 | 2147483647    14158     18 |  0.836 % |
39.41/39.54	c |    201998 |     599     2486     7442 | 2147483647    15699     19 |  0.828 % |
39.70/39.84	c |    203692 |     599     2486     7442 | 2147483647    17393     19 |  0.828 % |
40.00/40.13	c |    205557 |     599     2486     7442 | 2147483647    19258     19 |  0.829 % |
40.30/40.46	c |    207610 |     599     2486     7442 | 2147483647    21311     19 |  0.829 % |
40.30/40.49	c |    207710 |     599     2486     7442 | 2147483647    21411     19 |  0.828 % |
40.40/40.51	c |    207821 |     599     2486     7442 | 2147483647    21522     19 |  0.828 % |
40.40/40.54	c |    207943 |     599     2486     7442 | 2147483647    21644     19 |  0.828 % |
40.40/40.58	c |    208077 |     599     2486     7442 | 2147483647    21778     19 |  0.828 % |
40.51/40.60	c |    208224 |     599     2486     7442 | 2147483647    21925     19 |  0.834 % |
40.51/40.64	c |    208385 |     599     2486     7442 | 2147483647    22086     19 |  0.829 % |
40.51/40.67	c |    208562 |     599     2486     7442 | 2147483647    22263     19 |  0.829 % |
40.61/40.72	c |    208755 |     599     2486     7442 | 2147483647    22456     19 |  0.836 % |
40.61/40.77	c |    208967 |     599     2486     7442 | 2147483647    22668     19 |  0.828 % |
40.70/40.82	c |    209201 |     599     2486     7442 | 2147483647    22902     19 |  0.828 % |
40.80/40.90	c |    209457 |     599     2486     7442 | 2147483647    23158     19 |  0.828 % |
40.80/40.97	c |    209738 |     599     2486     7442 | 2147483647    23439     19 |  0.828 % |
40.90/41.08	c |    210047 |     599     2486     7442 |    23702    19985     19 |  0.828 % |
41.00/41.15	c |    210386 |     599     2486     7442 |    23702    20324     19 |  0.828 % |
41.10/41.22	c |    210758 |     599     2486     7442 |    23702    20696     19 |  0.836 % |
41.20/41.32	c |    211168 |     599     2486     7442 |    23702    21106     19 |  0.834 % |
41.30/41.43	c |    211617 |     599     2486     7442 |    23702    21555     19 |  0.828 % |
41.40/41.51	c |    212111 |     599     2486     7442 |    23702    22049     19 |  0.828 % |
41.50/41.68	c |    212654 |     599     2486     7442 |    23702    22592     19 |  0.828 % |
41.70/41.83	c |    213251 |     599     2486     7442 |    23702    23189     19 |  0.828 % |
41.90/42.01	c |    213907 |     599     2486     7442 |    23702    19130     18 |  0.828 % |
42.00/42.18	c |    214628 |     599     2486     7442 |    23702    19851     18 |  0.828 % |
42.20/42.38	c |    215420 |     599     2486     7442 |    23702    20643     18 |  0.828 % |
42.40/42.56	c |    216291 |     599     2486     7442 |    23702    21514     18 |  0.828 % |
42.60/42.74	c |    217249 |     599     2486     7442 |    23702    22472     18 |  0.829 % |
42.80/42.92	c |    218302 |     599     2486     7442 |    23702    23525     18 |  0.828 % |
43.00/43.17	c |    219460 |     599     2486     7442 |    23702    20080     17 |  0.828 % |
43.30/43.44	c |    220734 |     599     2486     7442 |    20622    17366     17 |  0.828 % |
43.60/43.71	c |    222134 |     599     2486     7442 |    20622    18766     17 |  0.828 % |
43.80/44.00	c |    223674 |     599     2486     7442 |    20622    20306     17 |  0.828 % |
44.30/44.40	c |    225368 |     599     2486     7442 |    20622    18422     17 |  0.828 % |
44.70/44.83	c |    227233 |     599     2486     7442 |    20622    20287     17 |  0.828 % |
45.10/45.21	c |    229282 |     599     2486     7442 |    20622    18677     16 |  0.828 % |
45.50/45.69	c |    231535 |     599     2486     7442 |    19395    17530     17 |  0.829 % |
45.60/45.71	c |    231637 |     599     2486     7442 |    19395    17632     17 |  0.836 % |
45.60/45.74	c |    231747 |     599     2486     7442 |    19395    17742     17 |  0.829 % |
45.60/45.76	c |    231868 |     599     2486     7442 |    19395    17863     17 |  0.828 % |
45.60/45.80	c |    232004 |     599     2486     7442 |    19395    17999     18 |  0.829 % |
45.70/45.82	c |    232150 |     599     2486     7442 |    19395    18145     18 |  0.836 % |
45.70/45.85	c |    232313 |     599     2486     7442 |    19395    18308     18 |  0.828 % |
45.70/45.87	c |    232489 |     599     2486     7442 |    19395    18484     18 |  0.828 % |
45.80/45.91	c |    232682 |     599     2486     7442 |    19395    18677     18 |  0.828 % |
45.80/45.98	c |    232895 |     599     2486     7442 |    19395    18890     18 |  0.828 % |
45.90/46.03	c |    233128 |     599     2486     7442 |    19395    19123     18 |  0.828 % |
46.00/46.10	c |    233384 |     599     2486     7442 |    19395    19379     18 |  0.828 % |
46.00/46.18	c |    233667 |     599     2486     7442 |    19395    16179     17 |  0.828 % |
46.10/46.25	c |    233976 |     599     2486     7442 |    19395    16488     17 |  0.828 % |
46.20/46.31	c |    234316 |     599     2486     7442 |    19395    16828     17 |  0.828 % |
46.30/46.40	c |    234689 |     599     2486     7442 |    19395    17201     17 |  0.828 % |
46.40/46.50	c |    235098 |     599     2486     7442 |    19395    17610     17 |  0.829 % |
46.40/46.56	c |    235548 |     599     2486     7442 |    19395    18060     18 |  0.836 % |
46.50/46.64	c |    236046 |     599     2486     7442 |    19395    18558     18 |  0.828 % |
46.60/46.73	c |    236590 |     599     2486     7442 |    19395    19102     18 |  0.828 % |
46.69/46.87	c |    237186 |     599     2486     7442 |    19395    16204     17 |  0.834 % |
46.89/47.00	c |    237843 |     599     2486     7442 |    19395    16861     18 |  0.836 % |
46.99/47.14	c |    238563 |     599     2486     7442 |    19395    17581     18 |  0.829 % |
47.10/47.26	c |    239356 |     599     2486     7442 |    19395    18374     18 |  0.836 % |
47.29/47.47	c |    240227 |     599     2486     7442 |    19019    15711     18 |  0.828 % |
47.49/47.67	c |    241185 |     599     2486     7442 |    19019    16669     18 |  0.829 % |
47.79/47.90	c |    242240 |     599     2486     7442 |    19019    17724     19 |  0.828 % |
47.99/48.16	c |    243399 |     599     2486     7442 |    19019    18883     19 |  0.829 % |
48.30/48.46	c |    244672 |     599     2486     7442 |    19019    16494     18 |  0.828 % |
48.59/48.75	c |    246074 |     599     2486     7442 |    19019    17896     18 |  0.829 % |
48.89/49.00	c |    247614 |     599     2486     7442 |    19019    15911     18 |  0.836 % |
49.09/49.29	c |    249310 |     599     2486     7442 |    19019    17607     18 |  0.834 % |
49.49/49.68	c |    251174 |     599     2486     7442 |    18298    16027     18 |  0.828 % |
49.89/50.06	c |    253223 |     599     2486     7442 |    18298    18076     19 |  0.829 % |
50.40/50.53	c |    255476 |     599     2486     7442 |    18298    17300     19 |  0.828 % |
50.89/51.02	c |    257955 |     599     2486     7442 |    18298    16840     19 |  0.828 % |
50.89/51.05	c |    258056 |     599     2486     7442 |    18298    16941     19 |  0.828 % |
50.89/51.06	c |    258167 |     599     2486     7442 |    18298    17052     19 |  0.836 % |
50.89/51.08	c |    258291 |     599     2486     7442 |    18298    17176     19 |  0.828 % |
50.99/51.12	c |    258425 |     599     2486     7442 |    18298    17310     19 |  0.828 % |
50.99/51.14	c |    258572 |     599     2486     7442 |    18298    17457     19 |  0.828 % |
50.99/51.17	c |    258734 |     599     2486     7442 |    18298    17619     19 |  0.829 % |
51.09/51.20	c |    258913 |     599     2486     7442 |    18298    17798     19 |  0.828 % |
51.09/51.23	c |    259106 |     599     2486     7442 |    18298    17991     19 |  0.828 % |
51.19/51.30	c |    259318 |     599     2486     7442 |    18298    18203     19 |  0.828 % |
51.19/51.36	c |    259551 |     599     2486     7442 |    18298    18436     19 |  0.829 % |
51.29/51.41	c |    259807 |     599     2486     7442 |    18298    15783     19 |  0.828 % |
51.29/51.47	c |    260089 |     599     2486     7442 |    15976    16065     19 |  0.829 % |
51.39/51.55	c |    260399 |     599     2486     7442 |    15976    13847     18 |  0.828 % |
51.50/51.61	c |    260738 |     599     2486     7442 |    15976    14186     18 |  0.829 % |
51.50/51.67	c |    261110 |     599     2486     7442 |    15976    14558     18 |  0.828 % |
51.60/51.74	c |    261519 |     599     2486     7442 |    15976    14967     18 |  0.828 % |
51.60/51.79	c |    261968 |     599     2486     7442 |    15976    15416     19 |  0.836 % |
51.69/51.89	c |    262463 |     599     2486     7442 |    15976    15911     19 |  0.828 % |
51.89/52.03	c |    263006 |     599     2486     7442 |    15976    14040     18 |  0.829 % |
51.89/52.09	c |    263602 |     599     2486     7442 |    15976    14636     18 |  0.829 % |
52.09/52.23	c |    264258 |     599     2486     7442 |    15976    15292     18 |  0.828 % |
52.19/52.38	c |    264979 |     599     2486     7442 |    15976    16013     19 |  0.828 % |
52.39/52.57	c |    265771 |     599     2486     7442 |    15976    14613     18 |  0.828 % |
52.60/52.76	c |    266643 |     599     2486     7442 |    15976    15485     18 |  0.828 % |
52.79/52.98	c |    267601 |     599     2486     7442 |    15976    14341     18 |  0.829 % |
52.99/53.13	c |    268654 |     599     2486     7442 |    15976    15394     17 |  0.828 % |
53.19/53.32	c |    269813 |     599     2486     7442 |    15976    14570     17 |  0.828 % |
53.39/53.56	c |    271087 |     599     2486     7442 |    14757    14019     17 |  0.828 % |
53.59/53.74	c |    272487 |     599     2486     7442 |    14757    13714     17 |  0.836 % |
53.89/54.06	c |    274028 |     599     2486     7442 |    14757    13773     16 |  0.828 % |
54.09/54.24	c |    275724 |     599     2486     7442 |    14757    13984     16 |  0.828 % |
54.39/54.56	c |    277587 |     599     2486     7442 |    14757    14358     17 |  0.828 % |
54.69/54.86	c |    279639 |     599     2486     7442 |    14757    13439     16 |  0.828 % |
55.09/55.27	c |    281892 |     599     2486     7442 | 2147483647    15692     17 |  0.829 % |
55.49/55.69	c |    284371 |     599     2486     7442 | 2147483647    18171     18 |  0.828 % |
56.19/56.36	c |    287096 |     599     2486     7442 | 2147483647    20896     18 |  0.829 % |
56.19/56.38	c |    287196 |     599     2486     7442 | 2147483647    20996     18 |  0.836 % |
56.29/56.41	c |    287306 |     599     2486     7442 | 2147483647    21106     18 |  0.828 % |
56.29/56.44	c |    287427 |     599     2486     7442 | 2147483647    21227     18 |  0.828 % |
56.29/56.46	c |    287560 |     599     2486     7442 | 2147483647    21360     18 |  0.828 % |
56.29/56.48	c |    287708 |     599     2486     7442 | 2147483647    21508     18 |  0.829 % |
56.39/56.50	c |    287868 |     599     2486     7442 | 2147483647    21668     18 |  0.834 % |
56.39/56.55	c |    288045 |     599     2486     7442 | 2147483647    21845     19 |  0.828 % |
56.39/56.58	c |    288239 |     599     2486     7442 | 2147483647    22039     19 |  0.829 % |
56.49/56.62	c |    288452 |     599     2486     7442 | 2147483647    22252     19 |  0.828 % |
56.49/56.68	c |    288685 |     599     2486     7442 | 2147483647    22485     19 |  0.828 % |
56.59/56.75	c |    288941 |     599     2486     7442 | 2147483647    22741     19 |  0.828 % |
56.69/56.81	c |    289222 |     599     2486     7442 | 2147483647    23022     19 |  0.828 % |
56.79/56.91	c |    289531 |     599     2486     7442 | 2147483647    23331     19 |  0.828 % |
56.79/56.99	c |    289870 |     599     2486     7442 | 2147483647    23670     19 |  0.828 % |
56.89/57.07	c |    290245 |     599     2486     7442 |    23801    20095     19 |  0.828 % |
56.99/57.14	c |    290655 |     599     2486     7442 |    23801    20505     19 |  0.828 % |
57.09/57.25	c |    291104 |     599     2486     7442 |    23801    20954     19 |  0.828 % |
57.19/57.37	c |    291597 |     599     2486     7442 |    23801    21447     19 |  0.828 % |
57.29/57.46	c |    292140 |     599     2486     7442 |    23801    21990     19 |  0.828 % |
57.39/57.57	c |    292736 |     599     2486     7442 |    23801    22586     19 |  0.828 % |
57.59/57.74	c |    293392 |     599     2486     7442 |    23801    23242     19 |  0.828 % |
57.79/57.93	c |    294114 |     599     2486     7442 |    23801    19252     18 |  0.828 % |
57.99/58.14	c |    294907 |     599     2486     7442 |    23801    20045     19 |  0.828 % |
58.19/58.38	c |    295778 |     599     2486     7442 |    23801    20916     19 |  0.828 % |
58.49/58.63	c |    296736 |     599     2486     7442 |    23801    21874     19 |  0.835 % |
58.79/58.96	c |    297790 |     599     2486     7442 |    23801    22928     19 |  0.828 % |
59.19/59.32	c |    298948 |     599     2486     7442 |    23801    18736     18 |  0.828 % |
59.49/59.62	c |    300222 |     599     2486     7442 |    19789    15633     18 |  0.828 % |
59.78/59.95	c |    301622 |     599     2486     7442 |    19789    17033     18 |  0.828 % |
60.09/60.29	c |    303163 |     599     2486     7442 |    19789    18574     18 |  0.828 % |
60.48/60.64	c |    304857 |     599     2486     7442 |    19789    16538     17 |  0.829 % |
60.88/61.09	c |    306721 |     599     2486     7442 |    19789    18402     18 |  0.828 % |
61.39/61.53	c |    308770 |     599     2486     7442 |    19789    16797     18 |  0.829 % |
61.88/62.08	c |    311023 |     599     2486     7442 |    18027    15701     18 |  0.829 % |
62.28/62.48	c |    313501 |     599     2486     7442 |    18027    18179     20 |  0.834 % |
62.78/62.95	c |    316226 |     599     2486     7442 |    18027    17536     21 |  0.834 % |
63.38/63.58	c |    319223 |     599     2486     7442 |    18027    17046     21 |  0.828 % |
63.48/63.60	c |    319325 |     599     2486     7442 |    18027    17148     21 |  0.828 % |
63.48/63.61	c |    319435 |     599     2486     7442 |    18027    17258     21 |  0.828 % |
63.48/63.63	c |    319556 |     599     2486     7442 |    18027    17379     21 |  0.828 % |
63.48/63.66	c |    319689 |     599     2486     7442 |    18027    17512     21 |  0.828 % |
63.48/63.68	c |    319835 |     599     2486     7442 |    18027    17658     21 |  0.828 % |
63.59/63.72	c |    319996 |     599     2486     7442 |    18027    17819     21 |  0.828 % |
63.59/63.75	c |    320172 |     599     2486     7442 |    17823    17995     21 |  0.828 % |
63.59/63.79	c |    320365 |     599     2486     7442 |    17823    14938     21 |  0.828 % |
63.69/63.83	c |    320578 |     599     2486     7442 |    17823    15151     21 |  0.828 % |
63.69/63.87	c |    320813 |     599     2486     7442 |    17823    15386     21 |  0.828 % |
63.78/63.92	c |    321069 |     599     2486     7442 |    17823    15642     21 |  0.828 % |
63.78/63.98	c |    321351 |     598     2482     7426 |    17823    15653     22 |  0.994 % |
63.88/64.04	c |    321662 |     598     2482     7426 |    17823    15964     22 |  0.994 % |
63.98/64.11	c |    322001 |     598     2482     7426 |    17823    16303     22 |  0.994 % |
63.98/64.17	c |    322376 |     598     2482     7426 |    17823    16678     22 |  1.002 % |
64.08/64.24	c |    322785 |     598     2482     7426 |    17823    17087     22 |  0.994 % |
64.18/64.33	c |    323235 |     598     2482     7426 |    17823    17537     22 |  0.994 % |
64.28/64.45	c |    323730 |     598     2482     7426 |    17823    15026     20 |  0.994 % |
64.38/64.57	c |    324273 |     598     2482     7426 |    17823    15569     20 |  0.994 % |
64.58/64.70	c |    324872 |     598     2482     7426 |    17823    16168     20 |  0.994 % |
64.69/64.85	c |    325527 |     598     2482     7426 |    17823    16823     20 |  0.994 % |
64.79/64.94	c |    326247 |     598     2482     7426 |    17823    17543     20 |  1.002 % |
64.98/65.11	c |    327042 |     598     2482     7426 |    17823    15535     18 |  0.994 % |
65.08/65.24	c |    327914 |     598     2482     7426 |    17823    16407     18 |  0.994 % |
65.28/65.45	c |    328873 |     598     2482     7426 |    17823    17366     18 |  0.995 % |
65.48/65.69	c |    329926 |     598     2482     7426 |    17823    15680     17 |  0.994 % |
65.78/65.92	c |    331086 |     598     2482     7426 |    15755    14467     17 |  0.994 % |
65.98/66.11	c |    332359 |     598     2482     7426 |    15755    15740     17 |  1.000 % |
66.18/66.35	c |    333760 |     598     2482     7426 |    15755    14810     17 |  0.994 % |
66.48/66.68	c |    335300 |     598     2482     7426 |    15755    14276     17 |  0.994 % |
66.88/67.06	c |    336994 |     598     2482     7426 |    15755    14058     17 |  0.994 % |
67.28/67.46	c |    338857 |     598     2482     7426 |    15755    14059     16 |  0.994 % |
67.68/67.86	c |    340908 |     598     2482     7426 |    15203    14258     16 |  0.994 % |
68.08/68.27	c |    343161 |     598     2482     7426 |    15203    14587     16 |  0.994 % |
68.68/68.82	c |    345639 |     598     2482     7426 |    15203    15265     16 |  0.994 % |
69.18/69.35	c |    348364 |     598     2482     7426 |    15203    14486     17 |  0.994 % |
69.78/69.93	c |    351361 |     598     2482     7426 |    14342    14063     16 |  0.994 % |
70.18/70.35	c |    354657 |     598     2482     7426 |    14342    13035     15 |  0.994 % |
70.18/70.36	c |    354757 |     598     2482     7426 |    14342    13135     15 |  0.994 % |
70.18/70.39	c |    354867 |     598     2482     7426 |    14342    13245     15 |  0.994 % |
70.28/70.41	c |    354988 |     598     2482     7426 |    14342    13366     15 |  0.994 % |
70.28/70.43	c |    355122 |     598     2482     7426 |    14342    13500     15 |  0.994 % |
70.28/70.46	c |    355268 |     598     2482     7426 |    14342    13646     15 |  0.994 % |
70.28/70.49	c |    355428 |     598     2482     7426 |    14342    13806     15 |  0.994 % |
70.38/70.51	c |    355604 |     598     2482     7426 |    14342    13982     15 |  0.994 % |
70.38/70.54	c |    355797 |     598     2482     7426 |    14342    14175     15 |  0.994 % |
70.38/70.58	c |    356009 |     598     2482     7426 |    14342    14387     16 |  0.994 % |
70.48/70.61	c |    356243 |     598     2482     7426 |    14342    13183     15 |  1.002 % |
70.48/70.65	c |    356499 |     598     2482     7426 |    14342    13439     15 |  0.994 % |
70.58/70.70	c |    356780 |     598     2482     7426 |    14342    13720     15 |  0.994 % |
70.58/70.76	c |    357090 |     598     2482     7426 |    14342    14030     15 |  0.994 % |
70.68/70.81	c |    357429 |     598     2482     7426 |    14342    14369     15 |  0.994 % |
70.68/70.87	c |    357801 |     598     2482     7426 |    14342    13305     15 |  0.994 % |
70.78/70.94	c |    358211 |     598     2482     7426 |    14342    13715     15 |  0.994 % |
70.88/71.02	c |    358660 |     598     2482     7426 |    14342    14164     15 |  0.994 % |
70.98/71.12	c |    359155 |     598     2482     7426 |    14342    13220     15 |  0.994 % |
71.08/71.22	c |    359698 |     598     2482     7426 |    14342    13763     15 |  0.994 % |
71.18/71.33	c |    360294 |     598     2482     7426 | 2147483647    14359     16 |  0.994 % |
71.18/71.40	c |    360949 |     598     2482     7426 | 2147483647    15014     15 |  0.994 % |
71.38/71.51	c |    361669 |     598     2482     7426 | 2147483647    15734     16 |  0.994 % |
71.48/71.67	c |    362463 |     598     2482     7426 | 2147483647    16528     16 |  0.994 % |
71.68/71.85	c |    363336 |     598     2482     7426 | 2147483647    17401     16 |  0.994 % |
71.88/72.03	c |    364295 |     598     2482     7426 | 2147483647    18360     17 |  0.994 % |
72.07/72.28	c |    365349 |     598     2482     7426 | 2147483647    19414     17 |  0.994 % |
72.38/72.58	c |    366508 |     598     2482     7426 | 2147483647    20573     17 |  0.994 % |
72.57/72.75	c |    367781 |     598     2482     7426 | 2147483647    21846     17 |  1.005 % |
72.87/73.07	c |    369183 |     598     2482     7426 | 2147483647    23248     18 |  0.994 % |
73.27/73.47	c |    370724 |     598     2482     7426 |    24065    20236     18 |  0.994 % |
73.77/73.98	c |    372418 |     598     2482     7426 |    24065    21930     18 |  0.994 % |
74.37/74.55	c |    374281 |     598     2482     7426 |    24065    23793     18 |  0.994 % |
74.97/75.15	c |    376332 |     598     2482     7426 |    24065    20412     17 |  0.994 % |
75.58/75.71	c |    378586 |     598     2482     7426 |    24065    22666     17 |  0.994 % |
76.08/76.23	c |    381064 |     598     2482     7426 |    24081    19383     18 |  0.994 % |
76.48/76.68	c |    383789 |     598     2482     7426 |    24081    22108     18 |  0.994 % |
77.28/77.46	c |    386786 |     598     2482     7426 |    24081    19775     18 |  0.994 % |
78.18/78.32	c |    390083 |     598     2482     7426 |    22989    23072     18 |  0.994 % |
78.78/78.98	c |    393708 |     598     2482     7426 |    22989    21604     20 |  0.994 % |
78.88/79.01	c |    393808 |     598     2482     7426 |    22989    21704     20 |  0.994 % |
78.88/79.05	c |    393918 |     598     2482     7426 |    22989    21814     20 |  0.994 % |
78.88/79.08	c |    394039 |     598     2482     7426 |    22989    21935     20 |  0.994 % |
78.98/79.10	c |    394172 |     598     2482     7426 |    22989    22068     20 |  0.994 % |
78.98/79.12	c |    394318 |     598     2482     7426 |    22989    22214     20 |  1.003 % |
78.98/79.16	c |    394478 |     598     2482     7426 |    22989    22374     20 |  0.994 % |
79.08/79.21	c |    394656 |     598     2482     7426 |    22989    22552     20 |  0.994 % |
79.08/79.26	c |    394849 |     598     2482     7426 |    22989    22745     20 |  0.994 % |
79.18/79.32	c |    395061 |     598     2482     7426 |    22989    22957     20 |  0.994 % |
79.28/79.40	c |    395294 |     598     2482     7426 |    22989    17641     19 |  0.994 % |
79.28/79.46	c |    395551 |     598     2482     7426 |    22989    17898     19 |  0.994 % |
79.38/79.50	c |    395834 |     598     2482     7426 |    22989    18181     19 |  0.994 % |
79.38/79.57	c |    396143 |     598     2482     7426 |    22989    18490     19 |  0.994 % |
79.48/79.65	c |    396482 |     598     2482     7426 |    22989    18829     19 |  0.995 % |
79.58/79.72	c |    396854 |     598     2482     7426 |    22989    19201     19 |  0.994 % |
79.68/79.82	c |    397263 |     598     2482     7426 |    22989    19610     19 |  0.994 % |
79.68/79.90	c |    397713 |     598     2482     7426 |    22989    20060     19 |  0.994 % |
79.78/79.96	c |    398207 |     598     2482     7426 |    22989    20554     19 |  0.994 % |
79.98/80.10	c |    398749 |     598     2482     7426 |    22989    21096     19 |  0.994 % |
80.08/80.26	c |    399345 |     598     2482     7426 |    22989    21692     20 |  0.994 % |
80.28/80.46	c |    400001 |     598     2482     7426 |    22989    22348     20 |  0.994 % |
80.48/80.62	c |    400722 |     598     2482     7426 |    22348    17824     19 |  1.002 % |
80.58/80.79	c |    401514 |     598     2482     7426 |    22348    18616     19 |  0.994 % |
80.77/80.94	c |    402385 |     598     2482     7426 |    22348    19487     19 |  1.002 % |
80.97/81.10	c |    403345 |     598     2482     7426 |    22348    20447     19 |  0.994 % |
81.18/81.30	c |    404398 |     598     2482     7426 |    22348    21500     19 |  0.994 % |
81.47/81.66	c |    405557 |     598     2482     7426 |    22348    17685     18 |  0.994 % |
81.67/81.83	c |    406831 |     598     2482     7426 |    22348    18959     18 |  1.002 % |
81.97/82.15	c |    408231 |     598     2482     7426 |    22348    20359     18 |  0.994 % |
82.38/82.55	c |    409771 |     598     2482     7426 |    22348    21899     19 |  0.994 % |
82.77/82.95	c |    411467 |     598     2482     7426 |    22128    18602     18 |  1.002 % |
83.17/83.39	c |    413331 |     598     2482     7426 |    22128    20466     18 |  0.994 % |
83.77/83.94	c |    415381 |     598     2482     7426 |    22128    17786     17 |  0.994 % |
84.37/84.50	c |    417636 |     598     2482     7426 |    22128    20041     17 |  0.994 % |
84.97/85.16	c |    420114 |     598     2482     7426 |    17858    14310     15 |  0.994 % |
85.58/85.70	c |    422839 |     598     2482     7426 |    17858    17035     15 |  0.994 % |
86.07/86.28	c |    425838 |     598     2482     7426 |    17858    17001     15 |  0.994 % |
86.68/86.90	c |    429135 |     598     2482     7426 |    17858    17360     16 |  0.994 % |
87.47/87.61	c |    432760 |     598     2482     7426 |    15486    13843     16 |  0.994 % |
88.27/88.46	c |    436748 |     598     2482     7426 |    15486    14037     16 |  0.994 % |
88.27/88.48	c |    436851 |     598     2482     7426 |    15486    14140     16 |  0.994 % |
88.37/88.51	c |    436962 |     598     2482     7426 |    15486    14251     16 |  0.994 % |
88.37/88.53	c |    437085 |     598     2482     7426 |    15486    14374     17 |  0.994 % |
88.37/88.55	c |    437219 |     598     2482     7426 |    15486    14508     17 |  1.005 % |
88.37/88.57	c |    437365 |     598     2482     7426 |    15486    14654     16 |  0.994 % |
88.37/88.59	c |    437525 |     598     2482     7426 |    15486    14814     17 |  0.994 % |
88.47/88.61	c |    437701 |     598     2482     7426 |    15486    14990     17 |  1.000 % |
88.47/88.65	c |    437894 |     598     2482     7426 |    15486    15183     17 |  1.001 % |
88.47/88.69	c |    438107 |     598     2482     7426 |    15486    15396     17 |  0.994 % |
88.57/88.74	c |    438341 |     598     2482     7426 |    15486    13801     16 |  0.994 % |
88.57/88.78	c |    438598 |     598     2482     7426 |    15486    14058     17 |  0.994 % |
88.67/88.81	c |    438879 |     598     2482     7426 |    15486    14339     17 |  0.994 % |
88.67/88.84	c |    439189 |     598     2482     7426 |    15486    14649     16 |  0.994 % |
88.67/88.88	c |    439528 |     598     2482     7426 |    15486    14988     16 |  0.994 % |
88.77/88.92	c |    439900 |     598     2482     7426 |    15486    15360     17 |  1.002 % |
88.77/89.00	c |    440311 |     598     2482     7426 |    15461    13992     16 |  0.994 % |
88.87/89.07	c |    440760 |     598     2482     7426 |    15461    14441     16 |  0.994 % |
88.97/89.17	c |    441253 |     598     2482     7426 |    15461    14934     17 |  0.994 % |
89.07/89.25	c |    441798 |     598     2482     7426 |    15461    15479     17 |  0.994 % |
89.17/89.34	c |    442396 |     598     2482     7426 |    15461    14225     16 |  1.001 % |
89.27/89.46	c |    443052 |     598     2482     7426 |    15461    14881     17 |  0.994 % |
89.37/89.55	c |    443772 |     598     2482     7426 |    15461    15601     17 |  1.002 % |
89.47/89.69	c |    444566 |     598     2482     7426 |    15461    14510     17 |  1.002 % |
89.57/89.79	c |    445437 |     598     2482     7426 |    15461    15381     17 |  1.002 % |
89.77/89.98	c |    446395 |     598     2482     7426 |    15461    14433     17 |  0.994 % |
89.97/90.18	c |    447448 |     598     2482     7426 |    15461    15486     18 |  0.994 % |
90.17/90.39	c |    448606 |     598     2482     7426 |    15461    14799     17 |  0.994 % |
90.47/90.65	c |    449879 |     598     2482     7426 |    15461    14223     18 |  0.994 % |
90.77/90.91	c |    451280 |     598     2482     7426 |    14344    13912     18 |  0.994 % |
90.97/91.20	c |    452823 |     598     2482     7426 |    14344    13898     18 |  0.994 % |
91.37/91.55	c |    454517 |     598     2482     7426 |    14344    14147     18 |  0.994 % |
91.57/91.75	c |    456381 |     598     2482     7426 |    14344    13125     16 |  1.000 % |
91.97/92.15	c |    458432 |     598     2482     7426 |    14344    13730     17 |  0.994 % |
92.36/92.56	c |    460685 |     598     2482     7426 | 2147483647    14534     17 |  0.994 % |
92.86/93.06	c |    463163 |     598     2482     7426 | 2147483647    17012     18 |  0.994 % |
93.56/93.72	c |    465889 |     598     2482     7426 | 2147483647    19738     18 |  0.994 % |
94.26/94.46	c |    468886 |     598     2482     7426 | 2147483647    22735     18 |  0.994 % |
94.96/95.18	c |    472183 |     598     2482     7426 |    23851    22496     17 |  0.994 % |
95.96/96.18	c |    475808 |     598     2482     7426 |    23851    21624     16 |  0.994 % |
97.06/97.22	c |    479795 |     598     2482     7426 |    23851    20720     17 |  0.994 % |
98.16/98.32	c |    484180 |     598     2482     7426 |    20926    20805     17 |  0.994 % |
98.16/98.35	c |    484282 |     598     2482     7426 |    20926    20907     17 |  0.994 % |
98.16/98.38	c |    484394 |     598     2482     7426 |    20926    16816     17 |  0.994 % |
98.16/98.39	c |    484517 |     598     2482     7426 |    20926    16939     17 |  0.994 % |
98.26/98.40	c |    484651 |     598     2482     7426 |    20926    17073     17 |  0.994 % |
98.26/98.45	c |    484799 |     598     2482     7426 |    20926    17221     17 |  0.994 % |
98.26/98.48	c |    484959 |     598     2482     7426 |    20926    17381     17 |  0.994 % |
98.36/98.52	c |    485136 |     598     2482     7426 |    20926    17558     17 |  0.994 % |
98.36/98.56	c |    485329 |     598     2482     7426 |    20926    17751     17 |  0.994 % |
98.46/98.60	c |    485541 |     598     2482     7426 |    20926    17963     17 |  0.994 % |
98.46/98.63	c |    485774 |     598     2482     7426 |    20926    18196     17 |  1.002 % |
98.46/98.69	c |    486030 |     598     2482     7426 |    20926    18452     17 |  1.002 % |
98.56/98.73	c |    486313 |     598     2482     7426 |    20926    18735     17 |  1.002 % |
98.66/98.81	c |    486623 |     598     2482     7426 |    20926    19045     17 |  0.994 % |
98.76/98.90	c |    486962 |     598     2482     7426 |    20926    19384     17 |  0.994 % |
98.86/99.01	c |    487335 |     598     2482     7426 |    20926    19757     18 |  0.994 % |
98.96/99.13	c |    487745 |     598     2482     7426 |    20926    20167     18 |  0.994 % |
99.06/99.24	c |    488194 |     598     2482     7426 |    20926    20616     18 |  0.994 % |
99.26/99.43	c |    488687 |     598     2482     7426 |    20926    16677     17 |  0.994 % |
99.36/99.57	c |    489230 |     598     2482     7426 |    20926    17220     17 |  0.994 % |
99.46/99.67	c |    489827 |     598     2482     7426 |    20926    17817     17 |  0.994 % |
99.66/99.83	c |    490483 |     598     2482     7426 |    17992    14836     16 |  0.994 % |
99.76/99.91	c |    491203 |     598     2482     7426 |    17992    15556     16 |  0.994 % |
99.86/100.06	c |    491995 |     598     2482     7426 |    17992    16348     16 |  0.994 % |
100.06/100.22	c |    492867 |     598     2482     7426 |    17992    17220     16 |  0.994 % |
100.26/100.42	c |    493825 |     598     2482     7426 |    17992    15354     16 |  0.994 % |
100.46/100.65	c |    494879 |     598     2482     7426 |    17992    16408     16 |  0.994 % |
100.76/100.92	c |    496038 |     598     2482     7426 |    17992    17567     16 |  0.994 % |
100.96/101.12	c |    497311 |     598     2482     7426 |    17992    16017     16 |  1.002 % |
101.26/101.41	c |    498714 |     598     2482     7426 |    17992    17420     16 |  0.994 % |
101.56/101.79	c |    500254 |     598     2482     7426 |    15853    13644     15 |  0.994 % |
101.96/102.11	c |    501949 |     598     2482     7426 |    15853    15339     16 |  0.994 % |
102.26/102.46	c |    503812 |     598     2482     7426 |    15853    15038     16 |  0.994 % |
102.66/102.86	c |    505861 |     598     2482     7426 |    15853    14882     15 |  0.994 % |
103.16/103.33	c |    508114 |     598     2482     7426 |    15853    14933     15 |  0.994 % |
103.56/103.79	c |    510592 |     598     2482     7426 |    14656    13285     14 |  0.994 % |
103.96/104.15	c |    513318 |     598     2482     7426 |    14656    13939     17 |  1.000 % |
104.46/104.69	c |    516318 |     598     2482     7426 |    14656    13000     18 |  0.994 % |
105.16/105.32	c |    519615 |     598     2482     7426 |    14656    14525     19 |  0.994 % |
105.85/106.00	c |    523243 |     598     2482     7426 |    13218    12288     16 |  0.994 % |
106.25/106.47	c |    527231 |     598     2482     7426 |    13218    12291     14 |  0.994 % |
106.85/107.04	c |    531616 |     598     2482     7426 | 2147483647    14019     14 |  0.994 % |
107.85/108.03	c |    536439 |     598     2482     7426 | 2147483647    18842     16 |  0.994 % |
107.85/108.05	c |    536540 |     598     2482     7426 | 2147483647    18943     16 |  0.994 % |
107.85/108.06	c |    536651 |     598     2482     7426 | 2147483647    19054     16 |  0.994 % |
107.85/108.08	c |    536775 |     598     2482     7426 | 2147483647    19178     16 |  0.994 % |
107.95/108.11	c |    536909 |     598     2482     7426 | 2147483647    19312     16 |  0.994 % |
107.95/108.16	c |    537057 |     598     2482     7426 | 2147483647    19460     16 |  0.994 % |
107.95/108.19	c |    537217 |     598     2482     7426 | 2147483647    19620     16 |  0.994 % |
108.05/108.22	c |    537394 |     598     2482     7426 | 2147483647    19797     16 |  0.994 % |
108.05/108.28	c |    537589 |     598     2482     7426 | 2147483647    19992     16 |  0.994 % |
108.15/108.31	c |    537805 |     598     2482     7426 | 2147483647    20208     17 |  0.994 % |
108.15/108.36	c |    538038 |     598     2482     7426 | 2147483647    20441     17 |  0.994 % |
108.25/108.41	c |    538296 |     598     2482     7426 | 2147483647    20699     17 |  1.005 % |
108.25/108.48	c |    538578 |     598     2482     7426 | 2147483647    20981     17 |  0.994 % |
108.35/108.54	c |    538888 |     598     2482     7426 | 2147483647    21291     17 |  0.994 % |
108.45/108.62	c |    539228 |     598     2482     7426 | 2147483647    21631     17 |  0.994 % |
108.55/108.72	c |    539602 |     598     2482     7426 | 2147483647    22005     17 |  0.994 % |
108.65/108.83	c |    540012 |     598     2482     7426 |    22403    22415     17 |  0.994 % |
108.75/108.93	c |    540461 |     598     2482     7426 |    22403    20522     17 |  1.002 % |
108.85/109.04	c |    540955 |     598     2482     7426 |    22403    21016     17 |  0.994 % |
108.95/109.15	c |    541497 |     598     2482     7426 |    22403    21558     17 |  1.001 % |
109.05/109.29	c |    542093 |     598     2482     7426 |    22403    22154     17 |  0.994 % |
109.25/109.43	c |    542748 |     598     2482     7426 |    22403    18767     18 |  1.002 % |
109.45/109.61	c |    543468 |     598     2482     7426 |    22403    19487     18 |  0.994 % |
109.65/109.82	c |    544260 |     598     2482     7426 |    22403    20279     18 |  0.994 % |
109.85/110.07	c |    545131 |     598     2482     7426 |    22403    21150     18 |  0.994 % |
110.15/110.32	c |    546089 |     598     2482     7426 |    22403    22108     19 |  0.994 % |
110.25/110.49	c |    547143 |     598     2482     7426 |    22403    18810     18 |  1.005 % |
110.55/110.73	c |    548303 |     598     2482     7426 |    22403    19970     18 |  0.994 % |
110.85/111.07	c |    549576 |     598     2482     7426 |    22403    21243     18 |  0.994 % |
111.15/111.31	c |    550977 |     598     2482     7426 |    21669    18273     18 |  1.002 % |
111.55/111.75	c |    552517 |     598     2482     7426 |    21669    19813     19 |  0.994 % |
111.95/112.16	c |    554211 |     598     2482     7426 |    21669    21507     19 |  1.000 % |
112.45/112.62	c |    556074 |     598     2482     7426 |    21669    18044     19 |  0.994 % |
112.85/113.02	c |    558123 |     598     2482     7426 |    21669    20093     19 |  1.005 % |
113.45/113.60	c |    560376 |     598     2482     7426 |    16701    13076     18 |  1.002 % |
113.85/114.05	c |    562855 |     598     2482     7426 |    16701    15555     18 |  0.994 % |
114.25/114.44	c |    565581 |     598     2482     7426 |    16701    15638     17 |  0.994 % |
114.75/114.96	c |    568578 |     598     2482     7426 |    16701    16060     17 |  1.002 % |
115.25/115.49	c |    571876 |     598     2482     7426 |    14851    14333     18 |  0.994 % |
116.05/116.20	c |    575501 |     598     2482     7426 |    14851    14122     20 |  0.994 % |
116.45/116.63	c |    579489 |     598     2482     7426 |    14851    14936     18 |  0.994 % |
117.24/117.47	c |    583875 |     598     2482     7426 | 2147483647    17829     18 |  0.994 % |
118.44/118.61	c |    588698 |     598     2482     7426 | 2147483647    22652     19 |  0.994 % |
119.84/120.09	c |    594003 |     598     2482     7426 |    23955    23635     17 |  0.994 % |
119.94/120.11	c |    594104 |     598     2482     7426 |    23955    23736     18 |  1.002 % |
119.94/120.15	c |    594215 |     598     2482     7426 |    23955    23847     18 |  0.994 % |
119.94/120.19	c |    594336 |     598     2482     7426 |    23955    23968     18 |  0.994 % |
120.04/120.25	c |    594471 |     598     2482     7426 |    23955    18461     17 |  0.994 % |
120.04/120.29	c |    594617 |     598     2482     7426 |    23955    18607     17 |  0.994 % |
120.14/120.34	c |    594778 |     598     2482     7426 |    23955    18768     17 |  0.994 % |
120.14/120.39	c |    594956 |     598     2482     7426 |    23955    18946     17 |  0.994 % |
120.24/120.45	c |    595150 |     598     2482     7426 |    23955    19140     17 |  0.994 % |
120.34/120.51	c |    595363 |     598     2482     7426 |    23955    19353     17 |  0.994 % |
120.34/120.56	c |    595596 |     598     2482     7426 |    23955    19586     18 |  0.994 % |
120.44/120.61	c |    595854 |     598     2482     7426 |    23955    19844     18 |  0.994 % |
120.44/120.69	c |    596136 |     598     2482     7426 |    23955    20126     18 |  0.994 % |
120.54/120.78	c |    596446 |     598     2482     7426 |    23955    20436     18 |  0.994 % |
120.64/120.88	c |    596785 |     598     2482     7426 |    23955    20775     18 |  0.994 % |
120.75/120.96	c |    597157 |     598     2482     7426 |    23955    21147     18 |  0.994 % |
120.85/121.07	c |    597566 |     598     2482     7426 |    23955    21556     18 |  0.994 % |
120.94/121.14	c |    598015 |     598     2482     7426 |    23955    22005     18 |  1.001 % |
121.04/121.23	c |    598508 |     598     2482     7426 |    23955    22498     18 |  0.994 % |
121.14/121.38	c |    599050 |     597     2478     7410 |    23955    22884     18 |  1.159 % |
121.24/121.45	c |    599648 |     597     2478     7410 |    23955    23482     18 |  1.170 % |
121.44/121.61	c |    600303 |     597     2478     7410 |    23834    18537     17 |  1.159 % |
121.54/121.78	c |    601023 |     597     2478     7410 |    23834    19257     17 |  1.159 % |
121.74/121.92	c |    601815 |     597     2478     7410 |    23834    20049     18 |  1.170 % |
121.95/122.11	c |    602686 |     597     2478     7410 |    23834    20920     18 |  1.159 % |
122.14/122.33	c |    603647 |     597     2478     7410 |    23834    21881     18 |  1.160 % |
122.44/122.61	c |    604700 |     597     2478     7410 |    23834    22934     18 |  1.160 % |
122.74/122.99	c |    605859 |     597     2478     7410 |    23834    18412     18 |  1.160 % |
123.14/123.32	c |    607132 |     597     2478     7410 |    23834    19685     18 |  1.159 % |
123.44/123.67	c |    608533 |     597     2478     7410 |    23834    21086     18 |  1.160 % |
123.74/123.98	c |    610074 |     597     2478     7410 |    22553    22627     18 |  1.170 % |
124.14/124.36	c |    611768 |     597     2478     7410 |    22553    18972     17 |  1.160 % |
124.64/124.89	c |    613634 |     597     2478     7410 |    22553    20838     18 |  1.160 % |
125.34/125.50	c |    615684 |     597     2478     7410 |    22553    17936     17 |  1.160 % |
125.94/126.10	c |    617939 |     597     2478     7410 |    22553    20191     17 |  1.159 % |
126.34/126.54	c |    620419 |     597     2478     7410 |    22252    18093     16 |  1.159 % |
126.94/127.14	c |    623144 |     597     2478     7410 |    22252    20818     17 |  1.159 % |
127.74/127.96	c |    626141 |     597     2478     7410 |    22252    19527     16 |  1.159 % |
128.64/128.82	c |    629437 |     597     2478     7410 |    22252    18274     15 |  1.160 % |
129.34/129.58	c |    633063 |     597     2478     7410 |    18837    18137     15 |  1.159 % |
130.04/130.23	c |    637051 |     597     2478     7410 |    18837    18758     19 |  1.160 % |
130.64/130.88	c |    641436 |     597     2478     7410 |    18427    16864     19 |  1.159 % |
131.84/132.02	c |    646259 |     597     2478     7410 |    18427    16327     17 |  1.159 % |
133.04/133.28	c |    651565 |     597     2478     7410 |    17256    16027     16 |  1.159 % |
134.04/134.28	c |    657402 |     597     2478     7410 |    17256    16538     18 |  1.159 % |
134.04/134.30	c |    657502 |     597     2478     7410 |    17256    16638     18 |  1.159 % |
134.13/134.31	c |    657612 |     597     2478     7410 |    17256    16748     18 |  1.159 % |
134.13/134.34	c |    657733 |     597     2478     7410 |    17256    16869     18 |  1.159 % |
134.13/134.37	c |    657866 |     597     2478     7410 |    17256    17002     18 |  1.160 % |
134.23/134.40	c |    658012 |     597     2478     7410 |    17256    17148     18 |  1.159 % |
134.23/134.43	c |    658172 |     597     2478     7410 |    17256    17308     18 |  1.159 % |
134.23/134.48	c |    658348 |     597     2478     7410 |    17256    14770     17 |  1.159 % |
134.33/134.51	c |    658541 |     597     2478     7410 |    17256    14963     17 |  1.159 % |
134.33/134.54	c |    658754 |     597     2478     7410 |    17256    15176     18 |  1.160 % |
134.33/134.59	c |    658987 |     597     2478     7410 |    17256    15409     18 |  1.159 % |
134.43/134.64	c |    659244 |     597     2478     7410 |    17256    15666     18 |  1.159 % |
134.43/134.69	c |    659525 |     597     2478     7410 |    17256    15947     18 |  1.159 % |
134.53/134.73	c |    659834 |     597     2478     7410 |    17256    16256     18 |  1.159 % |
134.63/134.81	c |    660175 |     597     2478     7410 |    16422    14012     18 |  1.159 % |
134.63/134.87	c |    660549 |     597     2478     7410 |    16422    14386     18 |  1.160 % |
134.73/134.93	c |    660958 |     597     2478     7410 |    16422    14795     18 |  1.160 % |
134.73/134.98	c |    661409 |     597     2478     7410 |    16422    15246     18 |  1.159 % |
134.83/135.08	c |    661903 |     597     2478     7410 |    16422    15740     18 |  1.159 % |
134.93/135.20	c |    662446 |     597     2478     7410 |    16422    16283     18 |  1.160 % |
135.14/135.33	c |    663043 |     597     2478     7410 |    16422    14560     18 |  1.160 % |
135.23/135.44	c |    663699 |     597     2478     7410 |    16422    15216     19 |  1.165 % |
135.43/135.62	c |    664421 |     597     2478     7410 |    16422    15938     19 |  1.159 % |
135.63/135.80	c |    665214 |     597     2478     7410 |    16422    14241     18 |  1.159 % |
135.73/135.96	c |    666086 |     597     2478     7410 |    16422    15113     18 |  1.160 % |
135.83/136.09	c |    667044 |     597     2478     7410 |    16422    16071     18 |  1.167 % |
136.03/136.30	c |    668098 |     597     2478     7410 |    16422    14637     18 |  1.159 % |
136.24/136.47	c |    669257 |     597     2478     7410 |    16422    15796     18 |  1.160 % |
136.43/136.70	c |    670530 |     597     2478     7410 |    16539    14488     17 |  1.159 % |
136.63/136.87	c |    671930 |     597     2478     7410 |    16539    15888     17 |  1.160 % |
136.93/137.15	c |    673472 |     597     2478     7410 |    16539    15214     17 |  1.160 % |
137.34/137.54	c |    675166 |     597     2478     7410 |    16539    14693     16 |  1.159 % |
137.63/137.87	c |    677029 |     597     2478     7410 |    16539    16556     16 |  1.160 % |
137.93/138.15	c |    679078 |     597     2478     7410 |    16539    16475     16 |  1.167 % |
138.34/138.53	c |    681332 |     597     2478     7410 |    15092    14355     17 |  1.160 % |
138.83/139.03	c |    683811 |     597     2478     7410 |    15092    15048     17 |  1.159 % |
139.33/139.59	c |    686536 |     597     2478     7410 |    15092    14572     17 |  1.160 % |
139.93/140.11	c |    689533 |     597     2478     7410 |    15092    14154     18 |  1.167 % |
140.33/140.51	c |    692830 |     597     2478     7410 |    14623    14405     16 |  1.159 % |
140.93/141.16	c |    696455 |     597     2478     7410 |    14623    13570     17 |  1.159 % |
141.53/141.75	c |    700445 |     597     2478     7410 | 2147483647    14617     16 |  1.159 % |
142.43/142.64	c |    704831 |     597     2478     7410 | 2147483647    19003     16 |  1.160 % |
143.73/143.99	c |    709656 |     597     2478     7410 | 2147483647    23828     17 |  1.159 % |
145.43/145.68	c |    714961 |     597     2478     7410 |    24174    19636     15 |  1.159 % |
147.33/147.50	c |    720796 |     597     2478     7410 |    19107    15566     14 |  1.159 % |
148.73/148.93	c |    727215 |     597     2478     7410 |    19107    18604     15 |  1.159 % |
148.73/148.95	c |    727315 |     597     2478     7410 |    19107    18704     15 |  1.159 % |
148.73/148.98	c |    727427 |     597     2478     7410 |    19107    18816     15 |  1.160 % |
148.83/149.01	c |    727549 |     597     2478     7410 |    19107    18938     15 |  1.160 % |
148.83/149.03	c |    727685 |     597     2478     7410 |    19107    19074     15 |  1.167 % |
148.83/149.06	c |    727832 |     597     2478     7410 |    19107    19221     15 |  1.159 % |
148.93/149.12	c |    727993 |     597     2478     7410 |    19107    16114     14 |  1.167 % |
148.93/149.15	c |    728171 |     597     2478     7410 |    19107    16292     15 |  1.160 % |
149.03/149.20	c |    728364 |     597     2478     7410 |    19107    16485     15 |  1.159 % |
149.03/149.24	c |    728577 |     597     2478     7410 |    19107    16698     15 |  1.159 % |
149.03/149.28	c |    728812 |     597     2478     7410 |    19107    16933     15 |  1.160 % |
149.12/149.32	c |    729069 |     597     2478     7410 |    19107    17190     15 |  1.159 % |
149.12/149.37	c |    729352 |     597     2478     7410 |    19107    17473     15 |  1.159 % |
149.22/149.43	c |    729663 |     597     2478     7410 |    19107    17784     15 |  1.159 % |
149.22/149.49	c |    730002 |     597     2478     7410 |    18121    18123     15 |  1.160 % |
149.33/149.56	c |    730375 |     597     2478     7410 |    18121    15186     15 |  1.160 % |
149.33/149.60	c |    730786 |     597     2478     7410 |    18121    15597     15 |  1.162 % |
149.43/149.69	c |    731236 |     596     2474     7394 |    18121    15423     15 |  1.326 % |
149.52/149.79	c |    731729 |     596     2474     7394 |    18121    15916     15 |  1.325 % |
149.62/149.89	c |    732271 |     596     2474     7394 |    18121    16458     15 |  1.326 % |
149.82/150.02	c |    732868 |     596     2474     7394 |    18121    17055     16 |  1.326 % |
149.92/150.16	c |    733523 |     596     2474     7394 |    18121    17710     16 |  1.326 % |
150.13/150.31	c |    734243 |     596     2474     7394 |    18121    15399     16 |  1.333 % |
150.23/150.49	c |    735035 |     596     2474     7394 |    18121    16191     16 |  1.325 % |
150.43/150.63	c |    735907 |     596     2474     7394 |    18121    17063     17 |  1.326 % |
150.63/150.85	c |    736865 |     596     2474     7394 |    18121    18021     17 |  1.325 % |
150.93/151.11	c |    737920 |     596     2474     7394 |    18121    16154     17 |  1.325 % |
151.13/151.35	c |    739078 |     596     2474     7394 |    18121    17312     17 |  1.325 % |
151.33/151.56	c |    740351 |     596     2474     7394 |    18235    15559     18 |  1.333 % |
151.63/151.84	c |    741751 |     596     2474     7394 |    18235    16959     18 |  1.336 % |
152.03/152.21	c |    743291 |     596     2474     7394 |    18235    15322     17 |  1.325 % |
152.33/152.54	c |    744988 |     596     2474     7394 |    18235    17019     17 |  1.325 % |
152.83/153.03	c |    746853 |     596     2474     7394 |    18235    15790     17 |  1.325 % |
153.23/153.45	c |    748902 |     596     2474     7394 |    18235    17839     17 |  1.325 % |
153.73/153.95	c |    751156 |     596     2474     7394 |    15857    14427     15 |  1.325 % |
154.23/154.43	c |    753637 |     596     2474     7394 |    15857    14627     16 |  1.325 % |
154.83/155.05	c |    756366 |     596     2474     7394 |    15857    15177     16 |  1.325 % |
155.43/155.65	c |    759363 |     596     2474     7394 |    15857    13875     15 |  1.325 % |
156.03/156.27	c |    762659 |     596     2474     7394 |    14512    13569     14 |  1.325 % |
156.73/156.95	c |    766284 |     596     2474     7394 |    14512    13974     14 |  1.325 % |
157.33/157.58	c |    770273 |     596     2474     7394 | 2147483647    13560     14 |  1.325 % |
158.23/158.40	c |    774658 |     596     2474     7394 | 2147483647    17945     16 |  1.325 % |
159.23/159.47	c |    779481 |     596     2474     7394 | 2147483647    22768     16 |  1.325 % |
160.72/160.91	c |    784788 |     596     2474     7394 |    23289    19624     17 |  1.325 % |
162.22/162.47	c |    790625 |     596     2474     7394 |    20133    16657     16 |  1.326 % |
163.63/163.88	c |    797044 |     596     2474     7394 |    20133    19272     17 |  1.325 % |
164.92/165.18	c |    804103 |     596     2474     7394 |    18393    16065     20 |  1.326 % |
164.92/165.19	c |    804205 |     596     2474     7394 |    18393    16167     20 |  1.325 % |
165.02/165.21	c |    804315 |     596     2474     7394 |    18393    16277     20 |  1.325 % |
165.02/165.23	c |    804438 |     596     2474     7394 |    18393    16400     20 |  1.325 % |
165.02/165.26	c |    804571 |     596     2474     7394 |    18393    16533     20 |  1.325 % |
165.02/165.28	c |    804717 |     596     2474     7394 |    18393    16679     20 |  1.332 % |
165.02/165.30	c |    804877 |     596     2474     7394 |    18393    16839     20 |  1.325 % |
165.12/165.35	c |    805058 |     596     2474     7394 |    18393    17020     20 |  1.325 % |
165.12/165.39	c |    805251 |     596     2474     7394 |    18393    17213     20 |  1.333 % |
165.22/165.42	c |    805463 |     596     2474     7394 |    18393    17425     20 |  1.325 % |
165.22/165.47	c |    805698 |     596     2474     7394 |    18393    17660     20 |  1.325 % |
165.32/165.54	c |    805956 |     596     2474     7394 |    18393    17918     20 |  1.325 % |
165.42/165.63	c |    806239 |     596     2474     7394 |    18393    18201     20 |  1.325 % |
165.52/165.71	c |    806548 |     596     2474     7394 |    18393    18510     20 |  1.325 % |
165.52/165.77	c |    806889 |     596     2474     7394 |    18393    15807     19 |  1.326 % |
165.62/165.83	c |    807261 |     596     2474     7394 |    18393    16179     19 |  1.325 % |
165.72/165.90	c |    807673 |     596     2474     7394 |    18393    16591     19 |  1.325 % |
165.72/165.98	c |    808124 |     596     2474     7394 |    18393    17042     19 |  1.333 % |
165.82/166.08	c |    808617 |     596     2474     7394 |    18393    17535     19 |  1.325 % |
165.92/166.20	c |    809159 |     596     2474     7394 |    18393    18077     19 |  1.325 % |
166.12/166.34	c |    809755 |     596     2474     7394 |    18393    15518     18 |  1.325 % |
166.22/166.47	c |    810410 |     596     2474     7394 |    15764    13456     17 |  1.325 % |
166.42/166.60	c |    811130 |     596     2474     7394 |    15764    14176     17 |  1.325 % |
166.52/166.78	c |    811923 |     596     2474     7394 |    15764    14969     17 |  1.325 % |
166.72/166.98	c |    812795 |     596     2474     7394 |    15764    15841     17 |  1.325 % |
166.93/167.18	c |    813754 |     596     2474     7394 |    15764    14486     15 |  1.325 % |
167.22/167.41	c |    814808 |     596     2474     7394 |    15764    15540     16 |  1.325 % |
167.42/167.66	c |    815966 |     596     2474     7394 |    15764    14470     16 |  1.325 % |
167.72/167.94	c |    817241 |     596     2474     7394 |    15764    15745     16 |  1.325 % |
168.02/168.24	c |    818641 |     596     2474     7394 |    15764    14931     15 |  1.325 % |
168.32/168.58	c |    820181 |     596     2474     7394 |    14040    12249     15 |  1.326 % |
168.62/168.82	c |    821877 |     596     2474     7394 |    14040    13945     15 |  1.325 % |
168.92/169.18	c |    823741 |     596     2474     7394 |    14040    14112     15 |  1.326 % |
169.32/169.54	c |    825792 |     596     2474     7394 |    14040    12902     16 |  1.325 % |
169.72/169.93	c |    828045 |     596     2474     7394 |    14040    13726     16 |  1.325 % |
170.02/170.21	c |    830526 |     596     2474     7394 | 2147483647    13374     16 |  1.325 % |
170.42/170.63	c |    833251 |     596     2474     7394 | 2147483647    16099     18 |  1.325 % |
170.92/171.15	c |    836249 |     596     2474     7394 | 2147483647    19097     18 |  1.326 % |
171.72/171.95	c |    839545 |     596     2474     7394 | 2147483647    22393     18 |  1.325 % |
172.42/172.61	c |    843170 |     596     2474     7394 |    22849    22249     17 |  1.325 % |
173.22/173.49	c |    847157 |     596     2474     7394 |    22849    22384     17 |  1.325 % |
174.32/174.52	c |    851543 |     596     2474     7394 |    21084    18636     15 |  1.325 % |
175.12/175.39	c |    856366 |     596     2474     7394 |    21084    19237     17 |  1.333 % |
176.42/176.62	c |    861673 |     596     2474     7394 |    18498    16409     18 |  1.325 % |
177.62/177.87	c |    867509 |     596     2474     7394 |    18498    15619     16 |  1.325 % |
178.71/178.94	c |    873927 |     596     2474     7394 |    18111    16207     16 |  1.336 % |
180.22/180.49	c |    880986 |     596     2474     7394 |    16681    15051     18 |  1.326 % |
181.91/182.15	c |    888750 |     596     2474     7394 |    16681    15708     16 |  1.325 % |
181.91/182.17	c |    888851 |     596     2474     7394 |    16681    15809     16 |  1.325 % |
181.91/182.19	c |    888962 |     596     2474     7394 |    16681    15920     16 |  1.325 % |
182.01/182.20	c |    889083 |     596     2474     7394 |    16681    16041     16 |  1.325 % |
182.01/182.23	c |    889217 |     596     2474     7394 |    16681    16175     16 |  1.325 % |
182.01/182.26	c |    889363 |     596     2474     7394 |    16681    16321     16 |  1.325 % |
182.01/182.29	c |    889525 |     596     2474     7394 |    16681    16483     16 |  1.326 % |
182.11/182.32	c |    889701 |     596     2474     7394 |    16681    16659     16 |  1.325 % |
182.11/182.38	c |    889895 |     596     2474     7394 |    16681    14624     15 |  1.326 % |
182.21/182.43	c |    890111 |     596     2474     7394 |    14729    12934     15 |  1.325 % |
182.21/182.47	c |    890344 |     596     2474     7394 |    14729    13167     15 |  1.326 % |
182.32/182.51	c |    890601 |     596     2474     7394 |    14729    13424     15 |  1.325 % |
182.32/182.56	c |    890882 |     596     2474     7394 |    14729    13705     15 |  1.325 % |
182.42/182.61	c |    891191 |     596     2474     7394 |    14729    14014     15 |  1.325 % |
182.42/182.68	c |    891532 |     596     2474     7394 |    14729    14355     15 |  1.325 % |
182.51/182.73	c |    891904 |     596     2474     7394 |    14729    14727     15 |  1.325 % |
182.61/182.82	c |    892313 |     596     2474     7394 |    14729    13494     15 |  1.325 % |
182.71/182.91	c |    892762 |     596     2474     7394 |    14729    13943     15 |  1.325 % |
182.81/183.02	c |    893255 |     596     2474     7394 |    14729    14436     15 |  1.325 % |
182.91/183.13	c |    893798 |     596     2474     7394 |    14729    13500     15 |  1.325 % |
183.01/183.26	c |    894395 |     596     2474     7394 |    14729    14097     15 |  1.325 % |
183.11/183.37	c |    895050 |     596     2474     7394 |    14729    14752     15 |  1.332 % |
183.21/183.47	c |    895772 |     596     2474     7394 |    14729    13999     15 |  1.325 % |
183.42/183.64	c |    896565 |     596     2474     7394 |    14729    14792     16 |  1.325 % |
183.52/183.80	c |    897436 |     596     2474     7394 |    14729    14184     16 |  1.336 % |
183.71/183.99	c |    898394 |     596     2474     7394 |    14729    13659     16 |  1.325 % |
184.01/184.20	c |    899447 |     596     2474     7394 |    14729    14712     16 |  1.325 % |
184.21/184.44	c |    900607 |     596     2474     7394 | 2147483647    14387     16 |  1.325 % |
184.41/184.68	c |    901880 |     596     2474     7394 | 2147483647    15660     16 |  1.325 % |
184.71/184.98	c |    903280 |     596     2474     7394 | 2147483647    17060     16 |  1.325 % |
185.11/185.30	c |    904821 |     596     2474     7394 | 2147483647    18601     16 |  1.325 % |
185.41/185.68	c |    906515 |     596     2474     7394 | 2147483647    20295     16 |  1.325 % |
185.81/186.07	c |    908379 |     596     2474     7394 | 2147483647    22159     17 |  1.336 % |
186.31/186.59	c |    910428 |     596     2474     7394 |    23780    19991     17 |  1.325 % |
187.01/187.20	c |    912681 |     596     2474     7394 |    23780    22244     17 |  1.325 % |
187.61/187.83	c |    915159 |     596     2474     7394 |    23780    19635     16 |  1.326 % |
188.21/188.45	c |    917885 |     596     2474     7394 |    23780    22361     16 |  1.325 % |
189.01/189.28	c |    920883 |     596     2474     7394 |    19300    15979     15 |  1.325 % |
189.81/190.02	c |    924179 |     596     2474     7394 |    19300    19275     15 |  1.325 % |
190.61/190.86	c |    927804 |     596     2474     7394 |    19300    18641     15 |  1.325 % |
191.61/191.83	c |    931791 |     596     2474     7394 |    16834    15245     14 |  1.325 % |
192.41/192.61	c |    936176 |     596     2474     7394 |    16834    14613     15 |  1.325 % |
193.31/193.55	c |    941001 |     596     2474     7394 |    16101    14943     16 |  1.325 % |
194.11/194.35	c |    946307 |     596     2474     7394 |    16101    16022     19 |  1.325 % |
195.21/195.46	c |    952142 |     596     2474     7394 |    15983    14737     19 |  1.326 % |
196.31/196.55	c |    958560 |     596     2474     7394 |    15983    14462     17 |  1.325 % |
197.51/197.79	c |    965620 |     596     2474     7394 |    15902    14863     19 |  1.331 % |
199.11/199.30	c |    973384 |     596     2474     7394 |    14957    13537     17 |  1.325 % |
200.71/200.93	c |    981924 |     596     2474     7394 |    13815    12864     15 |  1.325 % |
200.71/200.95	c |    982024 |     596     2474     7394 |    13815    12964     15 |  1.325 % |
200.71/200.96	c |    982134 |     596     2474     7394 |    13815    13074     15 |  1.325 % |
200.71/200.98	c |    982255 |     596     2474     7394 |    13815    13195     15 |  1.325 % |
200.81/201.00	c |    982388 |     596     2474     7394 |    13815    13328     16 |  1.325 % |
200.81/201.03	c |    982535 |     596     2474     7394 |    13815    13475     16 |  1.325 % |
200.81/201.05	c |    982696 |     596     2474     7394 |    13815    13636     16 |  1.325 % |
200.81/201.07	c |    982872 |     596     2474     7394 |    13815    13812     16 |  1.325 % |
200.91/201.11	c |    983066 |     596     2474     7394 |    13815    12621     15 |  1.325 % |
200.91/201.14	c |    983280 |     596     2474     7394 |    13815    12835     15 |  1.325 % |
200.91/201.17	c |    983513 |     596     2474     7394 |    13815    13068     15 |  1.326 % |
200.91/201.20	c |    983769 |     596     2474     7394 |    13815    13324     15 |  1.326 % |
201.01/201.24	c |    984050 |     596     2474     7394 |    13815    13605     16 |  1.325 % |
201.01/201.30	c |    984359 |     596     2474     7394 |    13815    13914     16 |  1.325 % |
201.11/201.35	c |    984699 |     596     2474     7394 |    13815    12863     15 |  1.334 % |
201.11/201.39	c |    985071 |     596     2474     7394 |    13815    13235     15 |  1.325 % |
201.20/201.44	c |    985481 |     596     2474     7394 |    13815    13645     16 |  1.326 % |
201.30/201.51	c |    985930 |     596     2474     7394 |    13815    12699     15 |  1.325 % |
201.30/201.58	c |    986423 |     596     2474     7394 |    13815    13192     15 |  1.325 % |
201.40/201.65	c |    986966 |     596     2474     7394 |    13815    13735     15 |  1.325 % |
201.50/201.75	c |    987562 |     596     2474     7394 |    13815    12942     16 |  1.325 % |
201.60/201.84	c |    988217 |     596     2474     7394 |    13815    13597     16 |  1.336 % |
201.70/201.97	c |    988938 |     596     2474     7394 |    13815    12924     16 |  1.325 % |
201.90/202.11	c |    989731 |     596     2474     7394 |    13815    13717     16 |  1.325 % |
202.00/202.27	c |    990602 |     596     2474     7394 | 2147483647    13200     16 |  1.325 % |
202.21/202.45	c |    991560 |     596     2474     7394 | 2147483647    14158     16 |  1.326 % |
202.40/202.62	c |    992613 |     596     2474     7394 | 2147483647    15211     16 |  1.326 % |
202.60/202.86	c |    993771 |     596     2474     7394 | 2147483647    16369     17 |  1.325 % |
202.90/203.14	c |    995045 |     596     2474     7394 | 2147483647    17643     17 |  1.325 % |
203.21/203.47	c |    996446 |     596     2474     7394 | 2147483647    19044     17 |  1.325 % |
203.60/203.84	c |    997987 |     596     2474     7394 | 2147483647    20585     17 |  1.333 % |
204.00/204.28	c |    999681 |     596     2474     7394 | 2147483647    22279     17 |  1.326 % |
204.50/204.76	c |   1001546 |     596     2474     7394 |    22599    20179     17 |  1.325 % |
204.80/205.01	c |   1003598 |     596     2474     7394 |    22599    22231     17 |  1.325 % |
205.30/205.60	c |   1005851 |     596     2474     7394 |    22599    20092     18 |  1.325 % |
206.00/206.27	c |   1008329 |     596     2474     7394 |    22599    22570     18 |  1.325 % |
206.60/206.86	c |   1011054 |     596     2474     7394 |    19271    16219     16 |  1.325 % |
207.20/207.40	c |   1014052 |     596     2474     7394 |    19271    19217     17 |  1.333 % |
207.70/207.97	c |   1017348 |     596     2474     7394 |    19271    18506     16 |  1.333 % |
208.50/208.74	c |   1020973 |     596     2474     7394 |    17335    14963     15 |  1.326 % |
209.30/209.50	c |   1024961 |     596     2474     7394 |    17335    16018     15 |  1.326 % |
210.30/210.52	c |   1029346 |     596     2474     7394 |    17335    14812     15 |  1.326 % |
211.20/211.44	c |   1034169 |     596     2474     7394 |    15466    15045     15 |  1.326 % |
212.20/212.40	c |   1039475 |     596     2474     7394 |    15466    14789     15 |  1.325 % |
213.30/213.51	c |   1045312 |     596     2474     7394 |    15314    14100     15 |  1.325 % |
214.59/214.82	c |   1051731 |     596     2474     7394 |    14049    12891     16 |  1.325 % |
215.69/215.93	c |   1058791 |     596     2474     7394 |    14049    12878     14 |  1.325 % |
217.09/217.36	c |   1066557 |     596     2474     7394 | 2147483647    20644     15 |  1.325 % |
218.19/218.49	c |   1075098 |     596     2474     7394 |    24088    23666     14 |  1.327 % |
220.19/220.44	c |   1084493 |     596     2474     7394 |    20444    17321     19 |  1.325 % |
220.19/220.46	c |   1084593 |     596     2474     7394 |    20444    17421     19 |  1.325 % |
220.19/220.48	c |   1084703 |     596     2474     7394 |    20444    17531     19 |  1.326 % |
220.29/220.50	c |   1084825 |     596     2474     7394 |    20444    17653     19 |  1.325 % |
220.29/220.54	c |   1084958 |     596     2474     7394 |    20444    17786     19 |  1.325 % |
220.29/220.56	c |   1085104 |     596     2474     7394 |    20444    17932     19 |  1.325 % |
220.39/220.60	c |   1085264 |     596     2474     7394 |    20444    18092     19 |  1.326 % |
220.39/220.64	c |   1085440 |     596     2474     7394 |    20444    18268     19 |  1.325 % |
220.39/220.68	c |   1085635 |     596     2474     7394 |    20444    18463     19 |  1.325 % |
220.49/220.72	c |   1085847 |     596     2474     7394 |    20444    18675     19 |  1.325 % |
220.49/220.77	c |   1086080 |     596     2474     7394 |    20444    18908     19 |  1.325 % |
220.59/220.83	c |   1086336 |     596     2474     7394 |    20444    19164     19 |  1.325 % |
220.59/220.90	c |   1086618 |     596     2474     7394 |    20444    19446     19 |  1.325 % |
220.69/220.97	c |   1086932 |     596     2474     7394 |    20444    19760     19 |  1.325 % |
220.79/221.03	c |   1087272 |     596     2474     7394 |    20444    20100     19 |  1.325 % |
220.79/221.10	c |   1087644 |     596     2474     7394 |    20444    20472     19 |  1.325 % |
220.99/221.20	c |   1088053 |     596     2474     7394 |    20444    16947     20 |  1.325 % |
220.99/221.27	c |   1088503 |     596     2474     7394 |    20444    17397     20 |  1.325 % |
221.09/221.34	c |   1088996 |     596     2474     7394 |    20444    17890     20 |  1.325 % |
221.19/221.43	c |   1089539 |     596     2474     7394 |    20444    18433     20 |  1.325 % |
221.29/221.56	c |   1090135 |     596     2474     7394 |    18894    19029     20 |  1.326 % |
221.39/221.68	c |   1090790 |     596     2474     7394 |    18894    16068     18 |  1.325 % |
221.59/221.83	c |   1091512 |     596     2474     7394 |    18894    16790     18 |  1.325 % |
221.69/221.96	c |   1092304 |     596     2474     7394 |    18894    17582     18 |  1.336 % |
221.89/222.14	c |   1093175 |     596     2474     7394 |    18894    18453     18 |  1.325 % |
222.09/222.37	c |   1094133 |     596     2474     7394 |    18894    16202     17 |  1.326 % |
222.29/222.59	c |   1095186 |     596     2474     7394 |    18894    17255     17 |  1.325 % |
222.59/222.84	c |   1096344 |     596     2474     7394 |    18894    18413     17 |  1.325 % |
222.89/223.14	c |   1097617 |     596     2474     7394 |    18894    16510     16 |  1.325 % |
223.19/223.48	c |   1099017 |     596     2474     7394 |    18894    17910     16 |  1.325 % |
223.49/223.78	c |   1100557 |     596     2474     7394 |    18894    16151     16 |  1.336 % |
223.79/224.09	c |   1102253 |     596     2474     7394 |    18894    17847     16 |  1.326 % |
224.19/224.46	c |   1104119 |     596     2474     7394 |    18894    16255     16 |  1.325 % |
224.69/224.92	c |   1106168 |     596     2474     7394 |    18894    18304     16 |  1.325 % |
225.19/225.41	c |   1108421 |     596     2474     7394 |    18894    16934     16 |  1.325 % |
225.69/225.94	c |   1110899 |     596     2474     7394 |    18514    15905     16 |  1.326 % |
226.29/226.51	c |   1113625 |     596     2474     7394 |    18514    18631     16 |  1.326 % |
226.88/227.11	c |   1116623 |     596     2474     7394 |    18514    18094     16 |  1.325 % |
227.49/227.76	c |   1119920 |     596     2474     7394 |    18514    17924     17 |  1.325 % |
228.28/228.55	c |   1123545 |     596     2474     7394 |    18005    15377     17 |  1.325 % |
228.98/229.29	c |   1127532 |     596     2474     7394 |    18005    16405     18 |  1.325 % |
229.69/229.94	c |   1131918 |     596     2474     7394 |    15951    15381     16 |  1.325 % |
230.58/230.83	c |   1136741 |     596     2474     7394 |    15951    14480     15 |  1.326 % |
231.58/231.87	c |   1142047 |     596     2474     7394 |    16021    14362     16 |  1.325 % |
232.48/232.75	c |   1147883 |     596     2474     7394 |    16021    14651     17 |  1.333 % |
233.58/233.88	c |   1154303 |     596     2474     7394 |    14954    14553     17 |  1.325 % |
234.88/235.18	c |   1161364 |     596     2474     7394 | 2147483647    15580     16 |  1.325 % |
236.68/236.91	c |   1169128 |     596     2474     7394 | 2147483647    23344     16 |  1.325 % |
238.78/239.01	c |   1177668 |     596     2474     7394 |    24216    22258     17 |  1.325 % |
240.78/241.02	c |   1187063 |     596     2474     7394 |    18840    17785     15 |  1.325 % |
242.48/242.78	c |   1197397 |     596     2474     7394 |    17151    14563     20 |  1.326 % |
242.58/242.80	c |   1197499 |     596     2474     7394 |    17151    14665     20 |  1.326 % |
242.58/242.82	c |   1197611 |     596     2474     7394 |    17151    14777     20 |  1.325 % |
242.58/242.84	c |   1197733 |     596     2474     7394 |    17151    14899     20 |  1.325 % |
242.58/242.86	c |   1197867 |     596     2474     7394 |    17151    15033     20 |  1.325 % |
242.58/242.89	c |   1198013 |     596     2474     7394 |    17151    15179     20 |  1.325 % |
242.68/242.93	c |   1198173 |     596     2474     7394 |    17151    15339     20 |  1.333 % |
242.68/242.97	c |   1198349 |     596     2474     7394 |    17151    15515     20 |  1.325 % |
242.78/243.01	c |   1198543 |     596     2474     7394 |    17151    15709     20 |  1.325 % |
242.78/243.05	c |   1198755 |     596     2474     7394 |    17151    15921     20 |  1.326 % |
242.88/243.10	c |   1198988 |     596     2474     7394 |    17151    16154     20 |  1.331 % |
242.88/243.16	c |   1199244 |     596     2474     7394 |    17151    16410     20 |  1.331 % |
242.98/243.21	c |   1199525 |     596     2474     7394 |    17151    16691     20 |  1.326 % |
242.98/243.26	c |   1199837 |     596     2474     7394 |    17151    17003     20 |  1.326 % |
243.08/243.37	c |   1200177 |     596     2474     7394 |    17169    13912     19 |  1.326 % |
243.18/243.45	c |   1200551 |     596     2474     7394 |    17169    14286     19 |  1.326 % |
243.28/243.54	c |   1200961 |     596     2474     7394 |    17169    14696     19 |  1.325 % |
243.38/243.64	c |   1201411 |     596     2474     7394 |    17169    15146     19 |  1.326 % |
243.38/243.69	c |   1201905 |     596     2474     7394 |    17169    15640     19 |  1.326 % |
243.57/243.81	c |   1202448 |     596     2474     7394 |    17169    16183     19 |  1.326 % |
243.67/243.94	c |   1203044 |     596     2474     7394 |    17169    16779     19 |  1.326 % |
243.77/244.08	c |   1203702 |     596     2474     7394 |    17169    14144     18 |  1.325 % |
243.98/244.22	c |   1204426 |     596     2474     7394 |    17169    14868     18 |  1.326 % |
244.07/244.37	c |   1205219 |     596     2474     7394 |    17169    15661     18 |  1.325 % |
244.27/244.55	c |   1206091 |     596     2474     7394 |    17169    16533     19 |  1.326 % |
244.37/244.69	c |   1207050 |     596     2474     7394 |    17169    14597     17 |  1.326 % |
244.57/244.88	c |   1208104 |     596     2474     7394 |    17169    15651     18 |  1.326 % |
244.87/245.10	c |   1209262 |     596     2474     7394 |    17169    16809     18 |  1.325 % |
245.08/245.36	c |   1210536 |     596     2474     7394 |    14703    12813     17 |  1.326 % |
245.27/245.54	c |   1211938 |     596     2474     7394 |    14703    14215     17 |  1.325 % |
245.57/245.87	c |   1213481 |     596     2474     7394 |    14703    13599     17 |  1.326 % |
245.87/246.11	c |   1215176 |     596     2474     7394 |    14703    13421     16 |  1.325 % |
246.18/246.44	c |   1217040 |     596     2474     7394 |    14703    13589     16 |  1.326 % |
246.37/246.69	c |   1219089 |     596     2474     7394 |    14703    13909     16 |  1.333 % |
246.77/247.06	c |   1221343 |     596     2474     7394 |    14820    14487     17 |  1.325 % |
247.28/247.52	c |   1223822 |     596     2474     7394 |    14820    13925     16 |  1.325 % |
247.77/248.03	c |   1226547 |     596     2474     7394 |    14820    13628     16 |  1.325 % |
248.17/248.49	c |   1229544 |     596     2474     7394 |    14820    15014     17 |  1.333 % |
248.77/249.00	c |   1232844 |     596     2474     7394 |    13825    13761     16 |  1.325 % |
249.27/249.53	c |   1236470 |     596     2474     7394 |    13825    13219     16 |  1.326 % |
249.87/250.18	c |   1240458 |     596     2474     7394 | 2147483647    14426     15 |  1.325 % |
250.57/250.82	c |   1244843 |     596     2474     7394 | 2147483647    18811     16 |  1.325 % |
251.77/252.01	c |   1249667 |     596     2474     7394 | 2147483647    23635     16 |  1.332 % |
252.67/252.94	c |   1254974 |     596     2474     7394 |    23969    20578     15 |  1.325 % |
253.97/254.27	c |   1260810 |     596     2474     7394 |    21103    18071     14 |  1.325 % |
255.27/255.59	c |   1267228 |     596     2474     7394 |    21103    17849     16 |  1.325 % |
256.87/257.14	c |   1274287 |     596     2474     7394 |    20623    17326     17 |  1.325 % |
258.47/258.73	c |   1282051 |     596     2474     7394 |    18889    17523     14 |  1.325 % |
260.07/260.31	c |   1290591 |     596     2474     7394 |    17526    15533     17 |  1.326 % |
261.47/261.75	c |   1299985 |     596     2474     7394 |    17526    17535     16 |  1.333 % |
263.27/263.52	c |   1310319 |     596     2474     7394 | 2147483647    15230     16 |  1.326 % |
265.97/266.28	c |   1321686 |     596     2474     7394 |    24911    22487     17 |  1.325 % |
266.06/266.30	c |   1321787 |     596     2474     7394 |    24911    22588     17 |  1.325 % |
266.06/266.34	c |   1321898 |     596     2474     7394 |    24911    22699     17 |  1.325 % |
266.06/266.38	c |   1322019 |     596     2474     7394 |    24911    22820     17 |  1.325 % |
266.16/266.40	c |   1322153 |     596     2474     7394 |    24911    22954     17 |  1.326 % |
266.16/266.43	c |   1322299 |     596     2474     7394 |    24911    23100     17 |  1.325 % |
266.16/266.49	c |   1322462 |     596     2474     7394 |    24911    23263     17 |  1.333 % |
266.26/266.53	c |   1322638 |     596     2474     7394 |    24911    23439     17 |  1.326 % |
266.26/266.58	c |   1322834 |     596     2474     7394 |    24911    23635     17 |  1.325 % |
266.36/266.64	c |   1323046 |     596     2474     7394 |    24911    23847     17 |  1.326 % |
266.36/266.69	c |   1323280 |     596     2474     7394 |    24911    24081     17 |  1.326 % |
266.46/266.76	c |   1323538 |     596     2474     7394 |    24911    24339     17 |  1.325 % |
266.56/266.81	c |   1323819 |     596     2474     7394 |    24911    24620     18 |  1.325 % |
266.66/266.90	c |   1324129 |     596     2474     7394 |    24911    24930     18 |  1.333 % |
266.76/267.03	c |   1324468 |     596     2474     7394 |    24911    20178     17 |  1.325 % |
266.86/267.12	c |   1324841 |     596     2474     7394 |    24911    20551     17 |  1.326 % |
266.97/267.25	c |   1325251 |     596     2474     7394 |    24911    20961     17 |  1.325 % |
267.07/267.39	c |   1325700 |     596     2474     7394 |    24911    21410     17 |  1.325 % |
267.26/267.50	c |   1326194 |     596     2474     7394 |    24911    21904     17 |  1.325 % |
267.36/267.65	c |   1326737 |     596     2474     7394 |    24911    22447     17 |  1.325 % |
267.46/267.79	c |   1327335 |     596     2474     7394 |    24911    23045     17 |  1.325 % |
267.66/267.98	c |   1327992 |     596     2474     7394 |    24911    23702     17 |  1.325 % |
267.86/268.18	c |   1328713 |     596     2474     7394 |    24911    24423     17 |  1.325 % |
268.16/268.42	c |   1329505 |     596     2474     7394 |    24911    19822     17 |  1.325 % |
268.36/268.60	c |   1330376 |     596     2474     7394 |    20317    16304     16 |  1.326 % |
268.46/268.75	c |   1331334 |     596     2474     7394 |    20317    17262     16 |  1.336 % |
268.66/268.94	c |   1332387 |     596     2474     7394 |    20317    18315     16 |  1.325 % |
268.86/269.17	c |   1333545 |     596     2474     7394 |    20317    19473     16 |  1.325 % |
269.06/269.38	c |   1334818 |     596     2474     7394 |    20317    16929     15 |  1.326 % |
269.36/269.69	c |   1336218 |     596     2474     7394 |    20317    18329     16 |  1.325 % |
269.66/269.94	c |   1337758 |     596     2474     7394 |    20317    19869     16 |  1.325 % |
270.07/270.36	c |   1339454 |     596     2474     7394 |    20317    18010     15 |  1.326 % |
270.37/270.67	c |   1341318 |     596     2474     7394 |    18558    16682     15 |  1.326 % |
270.67/270.99	c |   1343367 |     596     2474     7394 |    18558    15936     14 |  1.325 % |
271.07/271.35	c |   1345621 |     596     2474     7394 |    18558    18190     14 |  1.326 % |
271.67/271.93	c |   1348099 |     596     2474     7394 |    18558    17708     14 |  1.325 % |
272.07/272.40	c |   1350825 |     596     2474     7394 |    16369    14276     15 |  1.333 % |
272.57/272.87	c |   1353823 |     596     2474     7394 |    16369    14779     16 |  1.331 % |
273.17/273.46	c |   1357119 |     596     2474     7394 |    16369    15717     17 |  1.325 % |
273.77/274.09	c |   1360745 |     596     2474     7394 |    16345    14866     17 |  1.325 % |
274.67/274.94	c |   1364734 |     596     2474     7394 |    16345    14438     17 |  1.325 % |
275.56/275.90	c |   1369119 |     596     2474     7394 |    16345    14183     16 |  1.325 % |
276.66/276.90	c |   1373942 |     596     2474     7394 |    15064    14837     16 |  1.325 % |
277.56/277.84	c |   1379249 |     596     2474     7394 |    15064    14350     15 |  1.326 % |
278.66/278.96	c |   1385085 |     596     2474     7394 |    15101    14728     15 |  1.325 % |
279.56/279.83	c |   1391504 |     596     2474     7394 | 2147483647    16502     15 |  1.325 % |
280.86/281.14	c |   1398563 |     596     2474     7394 | 2147483647    23561     17 |  1.326 % |
282.96/283.22	c |   1406327 |     596     2474     7394 |    24998    20315     17 |  1.325 % |
285.46/285.74	c |   1414867 |     596     2474     7394 |    23989    22930     16 |  1.325 % |
287.96/288.24	c |   1424262 |     596     2474     7394 |    22819    22058     16 |  1.326 % |
290.66/290.94	c |   1434595 |     596     2474     7394 |    22839    22549     14 |  1.333 % |
293.36/293.66	c |   1445962 |     595     2470     7385 |    22816    18925     15 |  1.491 % |
296.06/296.35	c |   1458465 |     595     2470     7385 |    18116    16296     14 |  1.499 % |
296.06/296.37	c |   1458565 |     595     2470     7385 |    18116    16396     14 |  1.499 % |
296.06/296.38	c |   1458677 |     595     2470     7385 |    18116    16508     14 |  1.491 % |
296.16/296.41	c |   1458799 |     595     2470     7385 |    18116    16630     14 |  1.491 % |
296.16/296.43	c |   1458933 |     595     2470     7385 |    18116    16764     14 |  1.490 % |
296.16/296.46	c |   1459081 |     595     2470     7385 |    18116    16912     14 |  1.490 % |
296.16/296.49	c |   1459241 |     595     2470     7385 |    18116    17072     15 |  1.491 % |
296.26/296.51	c |   1459417 |     595     2470     7385 |    18116    17248     15 |  1.491 % |
296.26/296.55	c |   1459610 |     595     2470     7385 |    18116    17441     15 |  1.491 % |
296.26/296.59	c |   1459823 |     595     2470     7385 |    18116    17654     15 |  1.491 % |
296.36/296.63	c |   1460057 |     595     2470     7385 |    17833    17888     15 |  1.491 % |
296.46/296.70	c |   1460314 |     595     2470     7385 |    17833    15091     14 |  1.491 % |
296.46/296.75	c |   1460598 |     595     2470     7385 |    17833    15375     14 |  1.491 % |
296.46/296.79	c |   1460908 |     595     2470     7385 |    17833    15685     15 |  1.490 % |
296.56/296.85	c |   1461247 |     595     2470     7385 |    17833    16024     15 |  1.491 % |
296.66/296.92	c |   1461620 |     595     2470     7385 |    17833    16397     15 |  1.491 % |
296.66/296.99	c |   1462030 |     595     2470     7385 |    17833    16807     15 |  1.491 % |
296.76/297.07	c |   1462480 |     595     2470     7385 |    17833    17257     15 |  1.497 % |
296.86/297.16	c |   1462973 |     595     2470     7385 |    17833    17750     15 |  1.491 % |
296.96/297.29	c |   1463516 |     595     2470     7385 |    17833    15281     15 |  1.491 % |
297.06/297.39	c |   1464112 |     595     2470     7385 |    17833    15877     15 |  1.491 % |
297.26/297.52	c |   1464769 |     595     2470     7385 |    17833    16534     16 |  1.491 % |
297.36/297.66	c |   1465490 |     595     2470     7385 |    17833    17255     16 |  1.491 % |
297.56/297.86	c |   1466282 |     595     2470     7385 |    17833    14936     16 |  1.491 % |
297.76/298.02	c |   1467154 |     595     2470     7385 |    17833    15808     16 |  1.502 % |
297.86/298.15	c |   1468112 |     595     2470     7385 |    17833    16766     16 |  1.490 % |
298.06/298.37	c |   1469167 |     595     2470     7385 |    17833    17821     16 |  1.490 % |
298.36/298.64	c |   1470325 |     595     2470     7385 |    15864    13759     15 |  1.499 % |
298.56/298.88	c |   1471599 |     595     2470     7385 |    15864    15033     15 |  1.499 % |
298.86/299.15	c |   1473001 |     595     2470     7385 |    15864    14217     15 |  1.491 % |
299.16/299.46	c |   1474541 |     595     2470     7385 |    15864    15757     15 |  1.491 % |
299.56/299.80	c |   1476237 |     595     2470     7385 |    15864    15201     15 |  1.491 % |
299.86/300.18	c |   1478101 |     595     2470     7385 |    15864    14817     16 |  1.491 % |
300.36/300.61	c |   1480150 |     595     2470     7385 |    14530    12717     15 |  1.491 % |
300.76/301.08	c |   1482404 |     595     2470     7385 |    14530    13182     15 |  1.490 % |
301.26/301.57	c |   1484882 |     595     2470     7385 |    14530    13898     15 |  1.491 % |
301.76/302.06	c |   1487608 |     595     2470     7385 |    14530    13243     14 |  1.491 % |
302.35/302.65	c |   1490607 |     595     2470     7385 |    14085    13177     14 |  1.491 % |
302.95/303.25	c |   1493903 |     595     2470     7385 |    14085    13633     14 |  1.490 % |
303.55/303.90	c |   1497528 |     595     2470     7385 |    14085    12994     13 |  1.507 % |
304.25/304.54	c |   1501516 |     595     2470     7385 | 2147483647    15558     14 |  1.490 % |
305.15/305.47	c |   1505903 |     595     2470     7385 | 2147483647    19945     14 |  1.491 % |
306.35/306.68	c |   1510726 |     592     2457     7354 |    24040    20733     15 |  1.987 % |
307.66/307.90	c |   1516031 |     592     2457     7354 |    24040    21122     16 |  1.987 % |
309.05/309.34	c |   1521868 |     592     2457     7354 |    19709    17139     16 |  1.988 % |
310.45/310.77	c |   1528287 |     592     2457     7354 |    19709    19466     16 |  1.989 % |
311.95/312.21	c |   1535349 |     592     2457     7354 |    17129    16074     17 |  1.989 % |
313.65/313.90	c |   1543113 |     592     2457     7354 |    15082    13658     15 |  1.987 % |
315.15/315.49	c |   1551653 |     592     2457     7354 |    14730    14574     16 |  1.994 % |
316.95/317.24	c |   1561049 |     592     2457     7354 | 2147483647    14609     15 |  1.988 % |
318.95/319.24	c |   1571384 |     592     2457     7354 |    23561    20788     16 |  1.993 % |
321.25/321.56	c |   1582750 |     588     2437     7298 |    18448    17135     14 |  2.650 % |
323.84/324.12	c |   1595252 |     588     2437     7298 |    17715    16879     16 |  2.650 % |
326.64/326.94	c |   1609004 |     588     2437     7298 |    15751    14478     14 |  2.650 % |
326.64/326.95	c |   1609104 |     588     2437     7298 |    15751    14578     14 |  2.658 % |
326.64/326.97	c |   1609214 |     588     2437     7298 |    15751    14688     14 |  2.650 % |
326.64/326.98	c |   1609336 |     588     2437     7298 |    15751    14810     14 |  2.650 % |
326.74/327.01	c |   1609469 |     588     2437     7298 |    15751    14943     14 |  2.649 % |
326.74/327.03	c |   1609615 |     588     2437     7298 |    15751    15089     15 |  2.649 % |
326.74/327.06	c |   1609775 |     588     2437     7298 |    15751    15249     15 |  2.649 % |
326.74/327.10	c |   1609951 |     588     2437     7298 |    15751    15425     15 |  2.649 % |
326.84/327.13	c |   1610145 |     588     2437     7298 |    15476    15619     15 |  2.649 % |
326.84/327.19	c |   1610357 |     588     2437     7298 |    15476    13993     15 |  2.649 % |
326.94/327.24	c |   1610590 |     588     2437     7298 |    15476    14226     15 |  2.659 % |
326.94/327.27	c |   1610846 |     588     2437     7298 |    15476    14482     15 |  2.650 % |
327.04/327.31	c |   1611127 |     588     2437     7298 |    15476    14763     15 |  2.649 % |
327.04/327.36	c |   1611437 |     588     2437     7298 |    15476    15073     15 |  2.650 % |
327.14/327.41	c |   1611776 |     588     2437     7298 |    15476    15412     15 |  2.650 % |
327.14/327.49	c |   1612149 |     588     2437     7298 |    15476    13954     15 |  2.649 % |
327.24/327.58	c |   1612560 |     588     2437     7298 |    15476    14365     15 |  2.649 % |
327.34/327.64	c |   1613010 |     588     2437     7298 |    15476    14815     15 |  2.650 % |
327.45/327.71	c |   1613503 |     588     2437     7298 |    15476    15308     15 |  2.650 % |
327.55/327.80	c |   1614045 |     588     2437     7298 |    15476    13845     15 |  2.649 % |
327.55/327.88	c |   1614642 |     588     2437     7298 |    15476    14442     15 |  2.650 % |
327.64/327.99	c |   1615297 |     588     2437     7298 |    15476    15097     15 |  2.649 % |
327.84/328.15	c |   1616018 |     588     2437     7298 |    15476    13781     16 |  2.650 % |
327.94/328.28	c |   1616812 |     588     2437     7298 |    15476    14575     16 |  2.650 % |
328.14/328.43	c |   1617684 |     588     2437     7298 |    15476    15447     16 |  2.650 % |
328.34/328.62	c |   1618643 |     588     2437     7298 |    15476    14415     16 |  2.649 % |
328.54/328.81	c |   1619696 |     588     2437     7298 |    15476    15468     17 |  2.649 % |
328.74/329.04	c |   1620856 |     588     2437     7298 |    13786    12915     16 |  2.649 % |
328.94/329.28	c |   1622129 |     588     2437     7298 |    13786    12731     16 |  2.650 % |
329.24/329.55	c |   1623530 |     588     2437     7298 |    13786    12610     15 |  2.659 % |
329.54/329.81	c |   1625070 |     588     2437     7298 |    13786    12639     16 |  2.650 % |
329.84/330.11	c |   1626764 |     588     2437     7298 |    13786    12767     15 |  2.649 % |
330.14/330.45	c |   1628627 |     588     2437     7298 |    13786    13055     15 |  2.650 % |
330.44/330.78	c |   1630676 |     588     2437     7298 |    12914    12268     15 |  2.650 % |
330.84/331.17	c |   1632929 |     588     2437     7298 |    12914    11904     14 |  2.649 % |
331.24/331.60	c |   1635408 |     588     2437     7298 |    12914    11774     15 |  2.659 % |
331.74/332.03	c |   1638134 |     588     2437     7298 |    12914    11884     16 |  2.649 % |
332.24/332.54	c |   1641131 |     588     2437     7298 | 2147483647    13574     16 |  2.659 % |
332.84/333.19	c |   1644428 |     588     2437     7298 | 2147483647    16871     16 |  2.659 % |
333.84/334.11	c |   1648053 |     588     2437     7298 | 2147483647    20496     16 |  2.659 % |
334.64/334.91	c |   1652041 |     588     2437     7298 |    22445    20535     16 |  2.650 % |
335.64/335.97	c |   1656427 |     585     2424     7267 |    22445    20511     16 |  3.147 % |
336.84/337.14	c |   1661250 |     585     2424     7267 |    19435    16812     15 |  3.146 % |
338.04/338.32	c |   1666556 |     585     2424     7267 |    19435    18627     15 |  3.146 % |
339.14/339.40	c |   1672392 |     585     2424     7267 |    18460    17463     17 |  3.147 % |
340.53/340.90	c |   1678811 |     585     2424     7267 |    18460    16884     17 |  3.147 % |
342.03/342.32	c |   1685870 |     585     2424     7267 |    18074    17643     14 |  3.154 % |
343.53/343.85	c |   1693634 |     585     2424     7267 |    16143    15000     13 |  3.154 % |
345.23/345.57	c |   1702174 |     584     2417     7249 |    14974    13507     14 |  3.312 % |
347.03/347.34	c |   1711569 |     584     2417     7249 |    14308    14167     14 |  3.312 % |
348.83/349.10	c |   1721902 |     584     2417     7249 |    13292    12492     16 |  3.312 % |
350.63/350.94	c |   1733269 |     584     2417     7249 | 2147483647    15793     14 |  3.330 % |
352.63/352.98	c |   1745771 |     557     2249     6778 | 2147483647     8141     15 |  7.782 % |
353.73/354.05	c ===============================================================================
353.73/354.05	c restarts              : 1485
353.73/354.05	c conflicts             : 1751508        (4952 /sec)
353.73/354.05	c decisions             : 2018495        (1.24 % random) (5706 /sec)
353.73/354.05	c propagations          : 220394625      (623062 /sec)
353.73/354.05	c conflict literals     : 34603853       (48.85 % deleted)
353.73/354.05	c Memory used           : 7.39 MB
353.73/354.05	c CPU time              : 353.728 s
353.73/354.05	c 
353.73/354.05	s UNSATISFIABLE
353.73/354.05	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 10340
/proc/meminfo: memFree=1980800/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0
/proc/10340/stat : 10340 (SatELiteGTI) R 10338 10340 10253 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 304947596 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 259913214623 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10340/statm: 1339 235 195 169 0 50 0
[pid=10341] ppid=10340 vsize=5356 CPUtime=0
/proc/10341/stat : 10341 (SatELiteGTI) R 10340 10340 10253 0 -1 4194368 11 0 0 0 0 0 0 0 18 0 1 0 304947596 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 4293177 0 0 4100 65536 0 0 0 17 1 0 0
/proc/10341/statm: 1339 236 196 169 0 50 0

[startup+0.0935891 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 10340
/proc/meminfo: memFree=1980800/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.101586 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 10340
/proc/meminfo: memFree=1980800/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.301622 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 10340
/proc/meminfo: memFree=1980800/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.701691 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 10340
/proc/meminfo: memFree=1980800/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+1.50183 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 10346
/proc/meminfo: memFree=1979504/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=3220 CPUtime=1.43
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 469 0 0 0 143 0 0 0 25 0 1 0 304947601 3297280 455 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 805 455 76 171 0 632 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 8576

[startup+3.10111 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 10346
/proc/meminfo: memFree=1978160/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=4432 CPUtime=3.02
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 777 0 0 0 302 0 0 0 25 0 1 0 304947601 4538368 763 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1108 763 76 171 0 935 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 9788

[startup+6.30167 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 10346
/proc/meminfo: memFree=1976112/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=6284 CPUtime=6.22
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1200 0 0 0 621 1 0 0 25 0 1 0 304947601 6434816 1186 1992294400 134512640 135215339 4294956240 18446744073709551615 134539480 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1571 1186 76 171 0 1398 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 11640

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 10346
/proc/meminfo: memFree=1975408/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=6548 CPUtime=12.62
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1265 0 0 0 1261 1 0 0 25 0 1 0 304947601 6705152 1251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1637 1251 76 171 0 1464 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 11904

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 10346
/proc/meminfo: memFree=1975472/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=6548 CPUtime=25.4
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1270 0 0 0 2539 1 0 0 25 0 1 0 304947601 6705152 1256 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1637 1256 76 171 0 1464 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 11904

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.95 2/66 10346
/proc/meminfo: memFree=1975280/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=6680 CPUtime=50.98
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1306 0 0 0 5096 2 0 0 25 0 1 0 304947601 6840320 1292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1670 1292 76 171 0 1497 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 12036

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 10346
/proc/meminfo: memFree=1974960/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=6820 CPUtime=102.15
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1359 0 0 0 10212 3 0 0 25 0 1 0 304947601 6983680 1345 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1705 1345 76 171 0 1532 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 12176

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1974384/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7092 CPUtime=162.11
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1423 0 0 0 16207 4 0 0 25 0 1 0 304947601 7262208 1409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1773 1409 76 171 0 1600 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 12448

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1974192/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7252 CPUtime=222.08
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1444 0 0 0 22204 4 0 0 25 0 1 0 304947601 7426048 1430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1813 1430 76 171 0 1640 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 12608

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1974000/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7408 CPUtime=282.05
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1478 0 0 0 28200 5 0 0 25 0 1 0 304947601 7585792 1464 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1852 1464 76 171 0 1679 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 12764

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1973808/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7568 CPUtime=342.02
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1523 0 0 0 34197 5 0 0 25 0 1 0 304947601 7749632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1892 1509 76 171 0 1719 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 12924

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

[startup+345.501 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1973808/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7568 CPUtime=345.22
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1523 0 0 0 34517 5 0 0 25 0 1 0 304947601 7749632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1892 1509 76 171 0 1719 0
Current children cumulated CPU time (s) 345.23
Current children cumulated vsize (KiB) 12924

[startup+348.706 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1973808/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7568 CPUtime=348.43
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1523 0 0 0 34838 5 0 0 25 0 1 0 304947601 7749632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134545665 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1892 1509 76 171 0 1719 0
Current children cumulated CPU time (s) 348.44
Current children cumulated vsize (KiB) 12924

[startup+351.901 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1973808/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7568 CPUtime=351.62
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1523 0 0 0 35157 5 0 0 25 0 1 0 304947601 7749632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1892 1509 76 171 0 1719 0
Current children cumulated CPU time (s) 351.63
Current children cumulated vsize (KiB) 12924

[startup+352.701 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1973808/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7568 CPUtime=352.42
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1523 0 0 0 35237 5 0 0 25 0 1 0 304947601 7749632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528748 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1892 1509 76 171 0 1719 0
Current children cumulated CPU time (s) 352.43
Current children cumulated vsize (KiB) 12924

[startup+353.502 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1973744/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7568 CPUtime=353.22
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1523 0 0 0 35317 5 0 0 25 0 1 0 304947601 7749632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1892 1509 76 171 0 1719 0
Current children cumulated CPU time (s) 353.23
Current children cumulated vsize (KiB) 12924

[startup+353.902 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1973744/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7568 CPUtime=353.62
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1523 0 0 0 35357 5 0 0 25 0 1 0 304947601 7749632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1892 1509 76 171 0 1719 0
Current children cumulated CPU time (s) 353.63
Current children cumulated vsize (KiB) 12924

[startup+354.002 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 10348
/proc/meminfo: memFree=1973744/2055920 swapFree=4180144/4192956
[pid=10340] ppid=10338 vsize=5356 CPUtime=0.01
/proc/10340/stat : 10340 (SatELiteGTI) S 10338 10340 10253 0 -1 4194304 336 480 0 0 0 0 1 0 16 0 1 0 304947596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10340/statm: 1339 239 197 169 0 50 0
[pid=10346] ppid=10340 vsize=7568 CPUtime=353.72
/proc/10346/stat : 10346 (minisat_static) R 10340 10340 10253 0 -1 4194304 1523 0 0 0 35367 5 0 0 25 0 1 0 304947601 7749632 1509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/10346/statm: 1892 1509 76 171 0 1719 0
Current children cumulated CPU time (s) 353.73
Current children cumulated vsize (KiB) 12924

Child status: 20
Real time (s): 354.064
CPU time (s): 353.812
CPU user time (s): 353.747
CPU system time (s): 0.06499
CPU usage (%): 99.9288
Max. virtual memory (cumulated for all children) (KiB): 12924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.747
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2500
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= 53
involuntary context switches= 3457

runsolver used 0.402938 second user time and 0.940856 second system time

The end

Launcher Data

Begin job on node4 at 2009-05-19 23:38:56
IDJOB=1832093
IDBENCH=20471
IDSOLVER=671
FILE ID=node4/1832093-1242769136
PBS_JOBID= 9322294
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= 738c5d916b76338511b77dbd47cdbc16
RANDOM SEED=1793592655

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
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:       1981216 kB
Buffers:          7912 kB
Cached:          32300 kB
SwapCached:       6980 kB
Active:          17528 kB
Inactive:        31080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1981216 kB
SwapTotal:     4192956 kB
SwapFree:      4180144 kB
Dirty:            1672 kB
Writeback:           0 kB
Mapped:          13456 kB
Slab:            12020 kB
Committed_AS:  1173804 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66272 MiB
End job on node4 at 2009-05-19 23:44:50