Trace number 1832315

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 402.398 402.663

General information on the benchmark

Namecrafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
MD5SUM749c079607e9e37c206eeb8bd5b8bfaf
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark55.7415
Satisfiable
(Un)Satisfiability was proved
Number of variables1477
Number of clauses7809
Sum of the clauses size65959
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2289
Number of clauses of size 31172
Number of clauses of size 4124
Number of clauses of size 5894
Number of clauses of size over 55297

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |    7541    64813 |    2262       0        0     nan |  0.000 % |
0.00/0.05	c |         0 |    6480    57354 |      --       0       --      -- |     --   | -360/-4225
0.00/0.05	c ==============================================================================
0.00/0.05	c Result  :   #vars: 1372   #clauses: 6480   #literals: 57354
0.00/0.05	c CPU time:   0.052991 s
0.00/0.05	c ==============================================================================
0.00/0.07	c This is MiniSat 2.0 beta
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Number of variables:  1372                                                 |
0.00/0.07	c |  Number of clauses:    6480                                                 |
0.00/0.08	c |  Parsing time:         0.01         s                                       |
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |    1372     6480    57354 |     2160        0    nan |  0.000 % |
0.00/0.08	c |       105 |    1372     6480    57354 |     2160      105     11 |  0.000 % |
0.00/0.09	c |       207 |    1372     6480    57354 |     2160      207     15 |  0.000 % |
0.00/0.09	c |       308 |    1372     6480    57354 |     2160      308     15 |  0.000 % |
0.00/0.09	c |       419 |    1372     6480    57354 |     2160      419     16 |  0.000 % |
0.00/0.09	c |       522 |    1372     6480    57354 |     2160      522     16 |  0.000 % |
0.06/0.10	c |       634 |    1372     6480    57354 |     2160      634     16 |  0.000 % |
0.06/0.10	c |       755 |    1372     6480    57354 |     2160      755     17 |  0.000 % |
0.06/0.10	c |       857 |    1372     6480    57354 |     2160      857     17 |  0.000 % |
0.06/0.11	c |       968 |    1372     6480    57354 |     2160      968     17 |  0.000 % |
0.06/0.11	c |      1089 |    1372     6480    57354 |     2160     1089     18 |  0.000 % |
0.06/0.12	c |      1222 |    1372     6480    57354 |     2160     1222     19 |  0.000 % |
0.06/0.12	c |      1324 |    1372     6480    57354 |     2160     1324     19 |  0.000 % |
0.06/0.12	c |      1435 |    1372     6480    57354 |     2160     1435     18 |  0.000 % |
0.06/0.13	c |      1556 |    1372     6480    57354 |     2160     1556     18 |  0.000 % |
0.06/0.13	c |      1689 |    1372     6480    57354 |     2160     1689     18 |  0.000 % |
0.06/0.14	c |      1835 |    1372     6480    57354 |     2160     1835     18 |  0.000 % |
0.06/0.14	c |      1937 |    1372     6480    57354 |     2160     1937     18 |  0.000 % |
0.06/0.15	c |      2048 |    1372     6480    57354 |     2160     2048     18 |  0.000 % |
0.06/0.15	c |      2170 |    1372     6480    57354 |     2160     2170     18 |  0.000 % |
0.06/0.15	c |      2304 |    1372     6480    57354 |     2160     2087     18 |  0.000 % |
0.06/0.16	c |      2450 |    1372     6480    57354 |     2160     2233     19 |  0.000 % |
0.06/0.17	c |      2610 |    1372     6480    57354 |     2160     2170     18 |  0.000 % |
0.06/0.17	c |      2710 |    1372     6480    57354 |     2160     2053     18 |  0.000 % |
0.06/0.17	c |      2820 |    1372     6480    57354 |     2160     2163     18 |  0.000 % |
0.06/0.18	c |      2941 |    1372     6480    57354 |     2160     2068     18 |  0.000 % |
0.06/0.18	c |      3075 |    1372     6480    57354 |     2160     2202     18 |  0.000 % |
0.06/0.19	c |      3222 |    1372     6480    57354 |     2160     2129     17 |  0.000 % |
0.06/0.19	c |      3383 |    1372     6480    57354 |     2160     2068     17 |  0.000 % |
0.06/0.20	c |      3559 |    1372     6480    57354 |     2160     2244     17 |  0.000 % |
0.06/0.20	c |      3659 |    1372     6480    57354 |     2160     2120     16 |  0.000 % |
0.06/0.21	c |      3771 |    1372     6480    57354 |     2160     2232     17 |  0.000 % |
0.06/0.21	c |      3892 |    1372     6480    57354 |     2160     2130     17 |  0.000 % |
0.06/0.22	c |      4026 |    1372     6480    57354 |     2160     2264     17 |  0.000 % |
0.06/0.22	c |      4173 |    1372     6480    57354 |     2160     2185     16 |  0.000 % |
0.06/0.23	c |      4333 |    1372     6480    57354 |     2160     2127     17 |  0.000 % |
0.06/0.24	c |      4509 |    1372     6480    57354 |     2160     2078     18 |  0.000 % |
0.06/0.24	c |      4703 |    1372     6480    57354 |     2160     2048     17 |  0.000 % |
0.06/0.25	c |      4806 |    1372     6480    57354 |     2160     2151     17 |  0.000 % |
0.06/0.25	c |      4916 |    1372     6480    57354 |     2160     2261     18 |  0.000 % |
0.06/0.26	c |      5037 |    1372     6480    57354 |     2160     2156     19 |  0.000 % |
0.06/0.26	c |      5170 |    1372     6480    57354 |     2160     2068     18 |  0.000 % |
0.06/0.27	c |      5316 |    1372     6480    57354 |     2160     2214     18 |  0.000 % |
0.06/0.28	c |      5476 |    1372     6480    57354 |     2160     2153     18 |  0.000 % |
0.06/0.28	c |      5652 |    1372     6480    57354 |     2160     2107     19 |  0.000 % |
0.06/0.29	c |      5846 |    1372     6480    57354 |     2160     2076     19 |  0.000 % |
0.06/0.30	c |      6059 |    1372     6480    57354 |     2160     2289     20 |  0.000 % |
0.06/0.31	c |      6159 |    1372     6480    57354 |     2160     2161     19 |  0.000 % |
0.06/0.31	c |      6269 |    1372     6480    57354 |     2160     2055     19 |  0.000 % |
0.06/0.32	c |      6390 |    1372     6480    57354 |     2160     2176     19 |  0.000 % |
0.06/0.32	c |      6523 |    1372     6480    57354 |     2160     2092     19 |  0.000 % |
0.06/0.33	c |      6669 |    1372     6480    57354 |     2160     2238     19 |  0.000 % |
0.06/0.33	c |      6829 |    1372     6480    57354 |     2160     2175     18 |  0.000 % |
0.06/0.34	c |      7005 |    1372     6480    57354 |     2160     2134     18 |  0.000 % |
0.06/0.35	c |      7201 |    1372     6480    57354 |     2160     2103     18 |  0.000 % |
0.06/0.36	c |      7413 |    1372     6480    57354 |     2160     2085     18 |  0.000 % |
0.06/0.37	c |      7646 |    1372     6480    57354 |     2160     2094     18 |  0.000 % |
0.06/0.37	c |      7747 |    1372     6480    57354 |     2160     2195     19 |  0.000 % |
0.06/0.38	c |      7857 |    1372     6480    57354 |     2160     2086     19 |  0.000 % |
0.06/0.38	c |      7978 |    1372     6480    57354 |     2160     2207     19 |  0.000 % |
0.06/0.39	c |      8112 |    1372     6480    57354 |     2160     2121     19 |  0.000 % |
0.06/0.39	c |      8258 |    1372     6480    57354 |     2160     2267     19 |  0.000 % |
0.06/0.40	c |      8420 |    1372     6480    57354 |     2160     2203     20 |  0.000 % |
0.06/0.41	c |      8596 |    1372     6480    57354 |     2160     2159     20 |  0.000 % |
0.06/0.42	c |      8791 |    1372     6480    57354 |     2160     2135     20 |  0.000 % |
0.06/0.42	c |      9006 |    1372     6480    57354 |     2160     2127     20 |  0.000 % |
0.06/0.43	c |      9241 |    1372     6480    57354 |     2160     2135     20 |  0.000 % |
0.06/0.44	c |      9497 |    1372     6480    57354 |     2160     2169     20 |  0.000 % |
0.06/0.45	c |      9597 |    1372     6480    57354 |     2160     2053     19 |  0.000 % |
0.06/0.45	c |      9707 |    1372     6480    57354 |     2160     2163     19 |  0.000 % |
0.06/0.46	c |      9832 |    1372     6480    57354 |     2160     2072     19 |  0.000 % |
0.06/0.46	c |      9965 |    1372     6480    57354 |     2160     2205     19 |  0.000 % |
0.06/0.47	c |     10112 |    1372     6480    57354 | 2147483647     2132     19 |  0.000 % |
0.06/0.47	c |     10272 |    1372     6480    57354 | 2147483647     2292     19 |  0.000 % |
0.06/0.48	c |     10449 |    1372     6480    57354 | 2147483647     2469     19 |  0.000 % |
0.06/0.49	c |     10644 |    1372     6480    57354 | 2147483647     2664     19 |  0.000 % |
0.06/0.50	c |     10857 |    1372     6480    57354 | 2147483647     2877     20 |  0.000 % |
0.06/0.51	c |     11091 |    1372     6480    57354 | 2147483647     3111     21 |  0.000 % |
0.06/0.52	c |     11347 |    1372     6480    57354 | 2147483647     3367     21 |  0.000 % |
0.06/0.54	c |     11628 |    1372     6480    57354 | 2147483647     3648     21 |  0.000 % |
0.06/0.54	c |     11728 |    1372     6480    57354 | 2147483647     3748     21 |  0.000 % |
0.06/0.55	c |     11838 |    1372     6480    57354 | 2147483647     3858     21 |  0.000 % |
0.06/0.55	c |     11959 |    1372     6480    57354 | 2147483647     3979     22 |  0.000 % |
0.06/0.56	c |     12092 |    1372     6480    57354 | 2147483647     4112     21 |  0.000 % |
0.06/0.57	c |     12238 |    1372     6480    57354 | 2147483647     4258     21 |  0.000 % |
0.06/0.58	c |     12399 |    1372     6480    57354 | 2147483647     4419     21 |  0.000 % |
0.06/0.59	c |     12575 |    1372     6480    57354 | 2147483647     4595     21 |  0.000 % |
0.06/0.60	c |     12770 |    1372     6480    57354 | 2147483647     4790     21 |  0.000 % |
0.06/0.61	c |     12985 |    1372     6480    57354 | 2147483647     5005     21 |  0.000 % |
0.06/0.62	c |     13220 |    1372     6480    57354 | 2147483647     5240     21 |  0.000 % |
0.06/0.64	c |     13476 |    1372     6480    57354 | 2147483647     5496     21 |  0.000 % |
0.06/0.66	c |     13758 |    1372     6480    57354 | 2147483647     5778     22 |  0.000 % |
0.06/0.68	c |     14068 |    1372     6480    57354 | 2147483647     6088     22 |  0.000 % |
0.06/0.68	c |     14169 |    1372     6480    57354 | 2147483647     6189     22 |  0.000 % |
0.06/0.69	c |     14279 |    1372     6480    57354 | 2147483647     6299     22 |  0.000 % |
0.06/0.70	c |     14400 |    1372     6480    57354 | 2147483647     6420     22 |  0.000 % |
0.06/0.71	c |     14533 |    1372     6480    57354 | 2147483647     6553     22 |  0.000 % |
0.06/0.72	c |     14681 |    1372     6480    57354 | 2147483647     6701     22 |  0.000 % |
0.06/0.73	c |     14843 |    1372     6480    57354 | 2147483647     6863     22 |  0.000 % |
0.06/0.74	c |     15019 |    1372     6480    57354 | 2147483647     7039     22 |  0.000 % |
0.06/0.75	c |     15213 |    1372     6480    57354 | 2147483647     7233     22 |  0.000 % |
0.06/0.77	c |     15425 |    1372     6480    57354 | 2147483647     7445     23 |  0.000 % |
0.06/0.79	c |     15660 |    1372     6480    57354 | 2147483647     7680     23 |  0.000 % |
0.06/0.81	c |     15918 |    1372     6480    57354 | 2147483647     7938     23 |  0.000 % |
0.06/0.84	c |     16199 |    1372     6480    57354 | 2147483647     8219     23 |  0.000 % |
0.06/0.87	c |     16508 |    1372     6480    57354 | 2147483647     8528     23 |  0.000 % |
0.06/0.89	c |     16848 |    1372     6480    57354 | 2147483647     8868     23 |  0.000 % |
0.06/0.89	c |     16948 |    1372     6480    57354 | 2147483647     8968     23 |  0.000 % |
0.06/0.91	c |     17061 |    1372     6480    57354 | 2147483647     9081     23 |  0.000 % |
0.06/0.91	c |     17184 |    1372     6480    57354 | 2147483647     9204     23 |  0.000 % |
0.06/0.93	c |     17318 |    1372     6480    57354 | 2147483647     9338     23 |  0.000 % |
0.06/0.94	c |     17465 |    1372     6480    57354 | 2147483647     9485     23 |  0.000 % |
0.06/0.95	c |     17627 |    1372     6480    57354 | 2147483647     9647     23 |  0.000 % |
0.06/0.96	c |     17805 |    1372     6480    57354 | 2147483647     9825     23 |  0.000 % |
0.06/0.98	c |     17999 |    1372     6480    57354 | 2147483647    10019     23 |  0.000 % |
0.97/1.01	c |     18211 |    1372     6480    57354 | 2147483647    10231     23 |  0.000 % |
0.97/1.03	c |     18444 |    1372     6480    57354 | 2147483647    10464     23 |  0.000 % |
0.97/1.05	c |     18700 |    1372     6480    57354 | 2147483647    10720     23 |  0.000 % |
0.97/1.08	c |     18981 |    1372     6480    57354 | 2147483647    11001     23 |  0.000 % |
1.07/1.11	c |     19290 |    1372     6480    57354 | 2147483647    11310     24 |  0.000 % |
1.07/1.15	c |     19629 |    1372     6480    57354 | 2147483647    11649     24 |  0.000 % |
1.07/1.19	c |     20002 |    1372     6480    57354 | 2147483647    12022     24 |  0.000 % |
1.16/1.20	c |     20103 |    1372     6480    57354 | 2147483647    12123     24 |  0.000 % |
1.16/1.21	c |     20213 |    1372     6480    57354 | 2147483647    12233     24 |  0.000 % |
1.16/1.23	c |     20335 |    1372     6480    57354 | 2147483647    12355     24 |  0.000 % |
1.16/1.25	c |     20468 |    1372     6480    57354 | 2147483647    12488     24 |  0.000 % |
1.16/1.26	c |     20616 |    1372     6480    57354 | 2147483647    12636     24 |  0.000 % |
1.16/1.28	c |     20776 |    1372     6480    57354 | 2147483647    12796     24 |  0.000 % |
1.26/1.30	c |     20952 |    1372     6480    57354 | 2147483647    12972     24 |  0.000 % |
1.26/1.33	c |     21145 |    1372     6480    57354 | 2147483647    13165     24 |  0.000 % |
1.26/1.35	c |     21357 |    1372     6480    57354 | 2147483647    13377     24 |  0.000 % |
1.26/1.38	c |     21591 |    1372     6480    57354 | 2147483647    13611     24 |  0.000 % |
1.36/1.40	c |     21848 |    1372     6480    57354 | 2147483647    13868     24 |  0.000 % |
1.36/1.44	c |     22131 |    1372     6480    57354 | 2147483647    14151     24 |  0.000 % |
1.36/1.49	c |     22441 |    1372     6480    57354 | 2147483647    14461     24 |  0.000 % |
1.46/1.53	c |     22780 |    1372     6480    57354 | 2147483647    14800     24 |  0.000 % |
1.46/1.58	c |     23152 |    1372     6480    57354 | 2147483647    15172     24 |  0.000 % |
1.56/1.64	c |     23561 |    1372     6480    57354 | 2147483647    15581     24 |  0.000 % |
1.56/1.65	c |     23661 |    1372     6480    57354 | 2147483647    15681     24 |  0.000 % |
1.56/1.67	c |     23772 |    1372     6480    57354 | 2147483647    15792     24 |  0.000 % |
1.56/1.68	c |     23895 |    1372     6480    57354 | 2147483647    15915     24 |  0.000 % |
1.66/1.70	c |     24028 |    1372     6480    57354 | 2147483647    16048     24 |  0.000 % |
1.66/1.72	c |     24175 |    1372     6480    57354 | 2147483647    16195     24 |  0.000 % |
1.66/1.74	c |     24337 |    1372     6480    57354 | 2147483647    16357     24 |  0.000 % |
1.66/1.77	c |     24514 |    1372     6480    57354 | 2147483647    16534     24 |  0.000 % |
1.76/1.80	c |     24707 |    1372     6480    57354 | 2147483647    16727     24 |  0.000 % |
1.76/1.83	c |     24919 |    1372     6480    57354 | 2147483647    16939     24 |  0.000 % |
1.76/1.88	c |     25152 |    1372     6480    57354 | 2147483647    17172     24 |  0.000 % |
1.86/1.93	c |     25408 |    1372     6480    57354 | 2147483647    17428     24 |  0.000 % |
1.86/1.97	c |     25692 |    1372     6480    57354 | 2147483647    17712     24 |  0.000 % |
1.96/2.03	c |     26002 |    1372     6480    57354 | 2147483647    18022     24 |  0.000 % |
1.96/2.07	c |     26342 |    1372     6480    57354 | 2147483647    18362     24 |  0.000 % |
2.07/2.13	c |     26714 |    1372     6480    57354 | 2147483647    18734     25 |  0.000 % |
2.17/2.21	c |     27123 |    1372     6480    57354 | 2147483647    19143     25 |  0.000 % |
2.17/2.28	c |     27572 |    1372     6480    57354 | 2147483647    19592     25 |  0.000 % |
2.26/2.30	c |     27672 |    1372     6480    57354 | 2147483647    19692     25 |  0.000 % |
2.26/2.32	c |     27782 |    1372     6480    57354 | 2147483647    19802     25 |  0.000 % |
2.26/2.34	c |     27904 |    1372     6480    57354 | 2147483647    19924     25 |  0.000 % |
2.26/2.37	c |     28043 |    1372     6480    57354 | 2147483647    20063     25 |  0.000 % |
2.36/2.40	c |     28190 |    1372     6480    57354 | 2147483647    20210     25 |  0.000 % |
2.36/2.42	c |     28350 |    1372     6480    57354 | 2147483647    20370     25 |  0.000 % |
2.36/2.46	c |     28526 |    1372     6480    57354 | 2147483647    20546     25 |  0.000 % |
2.36/2.49	c |     28720 |    1372     6480    57354 | 2147483647    20740     25 |  0.000 % |
2.46/2.53	c |     28933 |    1372     6480    57354 | 2147483647    20953     25 |  0.000 % |
2.46/2.56	c |     29167 |    1372     6480    57354 | 2147483647    21187     25 |  0.000 % |
2.56/2.61	c |     29424 |    1372     6480    57354 | 2147483647    21444     25 |  0.000 % |
2.56/2.66	c |     29706 |    1372     6480    57354 | 2147483647    21726     25 |  0.000 % |
2.66/2.72	c |     30015 |    1372     6480    57354 |    22020    22035     25 |  0.000 % |
2.66/2.78	c |     30355 |    1372     6480    57354 |    22020    17924     23 |  0.000 % |
2.76/2.85	c |     30728 |    1372     6480    57354 |    22020    18297     23 |  0.000 % |
2.86/2.93	c |     31137 |    1372     6480    57354 |    22020    18706     24 |  0.000 % |
2.96/3.00	c |     31586 |    1372     6480    57354 |    22020    19155     24 |  0.000 % |
2.96/3.08	c |     32079 |    1372     6480    57354 |    22020    19648     24 |  0.000 % |
3.06/3.10	c |     32179 |    1372     6480    57354 |    22020    19748     24 |  0.000 % |
3.06/3.12	c |     32291 |    1372     6480    57354 |    22020    19860     24 |  0.000 % |
3.06/3.14	c |     32412 |    1372     6480    57354 |    22020    19981     24 |  0.000 % |
3.06/3.16	c |     32546 |    1372     6480    57354 |    22020    20115     24 |  0.000 % |
3.06/3.19	c |     32693 |    1372     6480    57354 |    22020    20262     24 |  0.000 % |
3.16/3.21	c |     32853 |    1372     6480    57354 |    22020    20422     24 |  0.000 % |
3.16/3.24	c |     33029 |    1372     6480    57354 |    22020    20598     24 |  0.000 % |
3.16/3.27	c |     33224 |    1372     6480    57354 |    22020    20793     24 |  0.000 % |
3.26/3.32	c |     33436 |    1372     6480    57354 |    22020    21005     24 |  0.000 % |
3.26/3.36	c |     33674 |    1372     6480    57354 |    22020    21243     24 |  0.000 % |
3.36/3.41	c |     33931 |    1372     6480    57354 |    22020    21500     24 |  0.000 % |
3.36/3.47	c |     34212 |    1372     6480    57354 |    22020    21781     24 |  0.000 % |
3.46/3.53	c |     34521 |    1372     6480    57354 |    22020    22090     24 |  0.000 % |
3.46/3.59	c |     34865 |    1372     6480    57354 |    22020    16799     22 |  0.000 % |
3.56/3.65	c |     35237 |    1372     6480    57354 |    22020    17171     22 |  0.000 % |
3.66/3.71	c |     35646 |    1372     6480    57354 |    22020    17580     22 |  0.000 % |
3.66/3.79	c |     36095 |    1372     6480    57354 |    22020    18029     22 |  0.000 % |
3.76/3.86	c |     36588 |    1372     6480    57354 |    22020    18522     23 |  0.000 % |
3.86/3.95	c |     37131 |    1372     6480    57354 |    22020    19065     23 |  0.000 % |
3.86/3.97	c |     37231 |    1372     6480    57354 |    22020    19165     23 |  0.000 % |
3.86/3.99	c |     37341 |    1372     6480    57354 |    22020    19275     23 |  0.000 % |
3.96/4.01	c |     37462 |    1372     6480    57354 |    22020    19396     23 |  0.000 % |
3.96/4.03	c |     37596 |    1372     6480    57354 |    22020    19530     23 |  0.000 % |
3.96/4.06	c |     37742 |    1372     6480    57354 |    22020    19676     23 |  0.000 % |
3.96/4.09	c |     37903 |    1372     6480    57354 |    22020    19837     23 |  0.000 % |
4.06/4.13	c |     38081 |    1372     6480    57354 |    22020    20015     23 |  0.000 % |
4.06/4.16	c |     38274 |    1372     6480    57354 |    22020    20208     23 |  0.000 % |
4.06/4.19	c |     38488 |    1372     6480    57354 |    22020    20422     23 |  0.000 % |
4.16/4.23	c |     38723 |    1372     6480    57354 |    22020    20657     23 |  0.000 % |
4.16/4.28	c |     38979 |    1372     6480    57354 |    22020    20913     23 |  0.000 % |
4.26/4.34	c |     39260 |    1372     6480    57354 |    22020    21194     23 |  0.000 % |
4.26/4.40	c |     39570 |    1372     6480    57354 |    22020    21504     24 |  0.000 % |
4.36/4.46	c |     39909 |    1372     6480    57354 |    22020    21843     24 |  0.001 % |
4.46/4.54	c |     40283 |    1372     6480    57354 |    21935    16386     22 |  0.000 % |
4.56/4.61	c |     40692 |    1372     6480    57354 |    21935    16795     22 |  0.000 % |
4.56/4.68	c |     41141 |    1372     6480    57354 |    21935    17244     23 |  0.000 % |
4.66/4.75	c |     41634 |    1372     6480    57354 |    21935    17737     23 |  0.000 % |
4.76/4.86	c |     42178 |    1372     6480    57354 |    21935    18281     23 |  0.000 % |
4.86/4.94	c |     42774 |    1372     6480    57354 |    21935    18877     23 |  0.000 % |
4.86/4.97	c |     42874 |    1372     6480    57354 |    21935    18977     23 |  0.000 % |
4.86/4.99	c |     42984 |    1372     6480    57354 |    21935    19087     23 |  0.000 % |
4.96/5.01	c |     43105 |    1372     6480    57354 |    21935    19208     23 |  0.000 % |
4.96/5.04	c |     43238 |    1372     6480    57354 |    21935    19341     23 |  0.000 % |
4.96/5.06	c |     43384 |    1372     6480    57354 |    21935    19487     24 |  0.000 % |
4.96/5.09	c |     43546 |    1372     6480    57354 |    21935    19649     24 |  0.000 % |
5.06/5.12	c |     43723 |    1372     6480    57354 |    21935    19826     24 |  0.000 % |
5.06/5.16	c |     43916 |    1372     6480    57354 |    21935    20019     24 |  0.000 % |
5.06/5.19	c |     44129 |    1372     6480    57354 |    21935    20232     24 |  0.000 % |
5.16/5.24	c |     44362 |    1372     6480    57354 |    21935    20465     24 |  0.000 % |
5.16/5.30	c |     44618 |    1372     6480    57354 |    21935    20721     24 |  0.000 % |
5.26/5.36	c |     44899 |    1372     6480    57354 |    21935    21002     24 |  0.000 % |
5.36/5.41	c |     45209 |    1372     6480    57354 |    21935    21312     24 |  0.000 % |
5.36/5.48	c |     45548 |    1372     6480    57354 |    21935    21651     24 |  0.000 % |
5.46/5.56	c |     45922 |    1372     6480    57354 |    21935    22025     24 |  0.000 % |
5.56/5.64	c |     46332 |    1372     6480    57354 |    21935    16500     23 |  0.000 % |
5.66/5.70	c |     46781 |    1372     6480    57354 |    21935    16949     23 |  0.000 % |
5.66/5.79	c |     47275 |    1372     6480    57354 |    21935    17443     23 |  0.000 % |
5.76/5.87	c |     47818 |    1372     6480    57354 |    21935    17986     24 |  0.000 % |
5.86/5.98	c |     48414 |    1372     6480    57354 |    21935    18582     24 |  0.000 % |
5.96/6.08	c |     49069 |    1372     6480    57354 |    21935    19237     24 |  0.000 % |
6.06/6.10	c |     49169 |    1372     6480    57354 |    21935    19337     24 |  0.000 % |
6.06/6.13	c |     49279 |    1372     6480    57354 |    21935    19447     24 |  0.000 % |
6.06/6.15	c |     49400 |    1372     6480    57354 |    21935    19568     24 |  0.000 % |
6.06/6.18	c |     49536 |    1372     6480    57354 |    21935    19704     24 |  0.000 % |
6.16/6.20	c |     49683 |    1372     6480    57354 |    21935    19851     24 |  0.000 % |
6.16/6.24	c |     49844 |    1372     6480    57354 |    21935    20012     24 |  0.000 % |
6.16/6.27	c |     50020 |    1372     6480    57354 |    20169    20188     24 |  0.000 % |
6.26/6.31	c |     50214 |    1372     6480    57354 |    20169    15018     22 |  0.000 % |
6.26/6.34	c |     50427 |    1372     6480    57354 |    20169    15231     22 |  0.000 % |
6.26/6.38	c |     50660 |    1372     6480    57354 |    20169    15464     22 |  0.000 % |
6.36/6.42	c |     50916 |    1372     6480    57354 |    20169    15720     23 |  0.000 % |
6.36/6.47	c |     51197 |    1372     6480    57354 |    20169    16001     23 |  0.000 % |
6.46/6.51	c |     51508 |    1372     6480    57354 |    20169    16312     23 |  0.000 % |
6.46/6.56	c |     51847 |    1372     6480    57354 |    20169    16651     23 |  0.000 % |
6.56/6.62	c |     52219 |    1372     6480    57354 |    20169    17023     23 |  0.000 % |
6.56/6.69	c |     52629 |    1372     6480    57354 |    20169    17433     23 |  0.000 % |
6.66/6.75	c |     53080 |    1372     6480    57354 |    20169    17884     24 |  0.000 % |
6.76/6.83	c |     53574 |    1372     6480    57354 |    20169    18378     24 |  0.000 % |
6.86/6.91	c |     54116 |    1372     6480    57354 |    20169    18920     24 |  0.000 % |
6.96/7.01	c |     54713 |    1372     6480    57354 |    20169    19517     24 |  0.000 % |
7.06/7.14	c |     55369 |    1372     6480    57354 |    20169    20173     24 |  0.000 % |
7.16/7.26	c |     56089 |    1372     6480    57354 |    20169    15840     23 |  0.000 % |
7.16/7.27	c |     56189 |    1372     6480    57354 |    20169    15940     23 |  0.000 % |
7.16/7.29	c |     56299 |    1372     6480    57354 |    20169    16050     23 |  0.000 % |
7.26/7.31	c |     56420 |    1372     6480    57354 |    20169    16171     23 |  0.000 % |
7.26/7.33	c |     56556 |    1372     6480    57354 |    20169    16307     23 |  0.000 % |
7.26/7.35	c |     56704 |    1372     6480    57354 |    20169    16455     23 |  0.000 % |
7.26/7.38	c |     56865 |    1372     6480    57354 |    20169    16616     23 |  0.000 % |
7.36/7.41	c |     57041 |    1372     6480    57354 |    20169    16792     23 |  0.000 % |
7.36/7.44	c |     57234 |    1372     6480    57354 |    20169    16985     23 |  0.000 % |
7.36/7.48	c |     57447 |    1372     6480    57354 |    20169    17198     23 |  0.000 % |
7.46/7.52	c |     57680 |    1372     6480    57354 |    20169    17431     23 |  0.000 % |
7.46/7.57	c |     57936 |    1372     6480    57354 |    20169    17687     24 |  0.000 % |
7.56/7.62	c |     58218 |    1372     6480    57354 |    20169    17969     24 |  0.000 % |
7.56/7.68	c |     58527 |    1372     6480    57354 |    20169    18278     24 |  0.000 % |
7.66/7.73	c |     58866 |    1372     6480    57354 |    20169    18617     24 |  0.000 % |
7.66/7.80	c |     59238 |    1372     6480    57354 |    20169    18989     24 |  0.000 % |
7.76/7.87	c |     59647 |    1372     6480    57354 |    20169    19398     24 |  0.000 % |
7.86/7.98	c |     60096 |    1372     6480    57354 |    19751    14892     23 |  0.000 % |
7.96/8.05	c |     60589 |    1372     6480    57354 |    19751    15385     23 |  0.000 % |
8.06/8.13	c |     61131 |    1372     6480    57354 |    19751    15927     23 |  0.000 % |
8.16/8.22	c |     61730 |    1372     6480    57354 |    19751    16526     24 |  0.000 % |
8.26/8.32	c |     62385 |    1372     6480    57354 |    19751    17181     24 |  0.000 % |
8.36/8.45	c |     63105 |    1372     6480    57354 |    19751    17901     24 |  0.000 % |
8.46/8.56	c |     63897 |    1372     6480    57354 |    19751    18693     24 |  0.000 % |
8.46/8.57	c |     63997 |    1372     6480    57354 |    19751    18793     24 |  0.000 % |
8.56/8.60	c |     64107 |    1372     6480    57354 |    19751    18903     24 |  0.000 % |
8.56/8.62	c |     64233 |    1372     6480    57354 |    19751    19029     24 |  0.000 % |
8.56/8.65	c |     64366 |    1372     6480    57354 |    19751    19162     24 |  0.000 % |
8.56/8.67	c |     64512 |    1372     6480    57354 |    19751    19308     24 |  0.000 % |
8.66/8.70	c |     64672 |    1372     6480    57354 |    19751    19468     24 |  0.000 % |
8.66/8.74	c |     64848 |    1372     6480    57354 |    19751    19644     24 |  0.000 % |
8.66/8.79	c |     65041 |    1372     6480    57354 |    19751    15099     22 |  0.000 % |
8.76/8.82	c |     65259 |    1372     6480    57354 |    19751    15317     22 |  0.001 % |
8.76/8.85	c |     65492 |    1372     6480    57354 |    19751    15550     23 |  0.000 % |
8.76/8.89	c |     65751 |    1372     6480    57354 |    19751    15809     23 |  0.000 % |
8.86/8.94	c |     66034 |    1372     6480    57354 |    19751    16092     23 |  0.000 % |
8.86/8.98	c |     66345 |    1372     6480    57354 |    19751    16403     23 |  0.001 % |
8.96/9.04	c |     66686 |    1372     6480    57354 |    19751    16744     23 |  0.000 % |
9.06/9.11	c |     67058 |    1372     6480    57354 |    19751    17116     24 |  0.000 % |
9.06/9.17	c |     67468 |    1372     6480    57354 |    19751    17526     24 |  0.000 % |
9.16/9.24	c |     67918 |    1372     6480    57354 |    19751    17976     24 |  0.000 % |
9.26/9.33	c |     68411 |    1372     6480    57354 |    19751    18469     24 |  0.000 % |
9.36/9.43	c |     68955 |    1372     6480    57354 |    19751    19013     25 |  0.000 % |
9.46/9.57	c |     69551 |    1372     6480    57354 |    19751    19609     25 |  0.000 % |
9.56/9.69	c |     70206 |    1372     6480    57354 |    15368    11939     22 |  0.000 % |
9.66/9.79	c |     70926 |    1372     6480    57354 |    15368    12659     23 |  0.000 % |
9.86/9.91	c |     71718 |    1372     6480    57354 |    15368    13451     24 |  0.000 % |
9.96/10.05	c |     72589 |    1372     6480    57354 |    15368    14322     25 |  0.000 % |
9.96/10.06	c |     72689 |    1372     6480    57354 |    15368    14422     25 |  0.000 % |
9.96/10.08	c |     72799 |    1372     6480    57354 |    15368    14532     25 |  0.000 % |
9.96/10.10	c |     72920 |    1372     6480    57354 |    15368    14653     25 |  0.000 % |
10.07/10.12	c |     73053 |    1372     6480    57354 |    15368    14786     25 |  0.000 % |
10.07/10.14	c |     73200 |    1372     6480    57354 |    15368    14933     25 |  0.001 % |
10.07/10.16	c |     73362 |    1372     6480    57354 |    15368    15095     25 |  0.000 % |
10.07/10.18	c |     73538 |    1372     6480    57354 |    15368    15271     25 |  0.000 % |
10.17/10.22	c |     73734 |    1372     6480    57354 |    15368    12353     24 |  0.000 % |
10.17/10.25	c |     73947 |    1372     6480    57354 |    15368    12566     24 |  0.000 % |
10.17/10.28	c |     74180 |    1372     6480    57354 |    15368    12799     24 |  0.000 % |
10.27/10.32	c |     74436 |    1372     6480    57354 |    15368    13055     25 |  0.000 % |
10.27/10.36	c |     74717 |    1372     6480    57354 |    15368    13336     25 |  0.000 % |
10.37/10.41	c |     75026 |    1372     6480    57354 |    15368    13645     25 |  0.000 % |
10.37/10.45	c |     75365 |    1372     6480    57354 |    15368    13984     25 |  0.000 % |
10.47/10.52	c |     75739 |    1372     6480    57354 |    15368    14358     26 |  0.000 % |
10.47/10.58	c |     76149 |    1372     6480    57354 |    15368    14768     26 |  0.000 % |
10.57/10.65	c |     76598 |    1372     6480    57354 |    15368    15217     26 |  0.000 % |
10.67/10.72	c |     77091 |    1372     6480    57354 |    15368    12752     25 |  0.000 % |
10.67/10.80	c |     77633 |    1372     6480    57354 |    15368    13294     25 |  0.000 % |
10.77/10.88	c |     78231 |    1372     6480    57354 |    15368    13892     25 |  0.000 % |
10.87/10.97	c |     78886 |    1372     6480    57354 |    15368    14547     26 |  0.000 % |
10.97/11.07	c |     79607 |    1372     6480    57354 |    15368    15268     26 |  0.000 % |
11.07/11.19	c |     80401 |    1372     6480    57354 |    12811    10860     24 |  0.000 % |
11.17/11.29	c |     81272 |    1372     6480    57354 |    12811    11731     24 |  0.000 % |
11.37/11.43	c |     82230 |    1372     6480    57354 |    12811    12689     25 |  0.000 % |
11.37/11.44	c |     82330 |    1372     6480    57354 |    12811    12789     25 |  0.000 % |
11.37/11.45	c |     82442 |    1372     6480    57354 |    12811    12901     25 |  0.000 % |
11.37/11.47	c |     82566 |    1372     6480    57354 |    12811    11118     24 |  0.000 % |
11.37/11.49	c |     82701 |    1372     6480    57354 |    12811    11253     25 |  0.000 % |
11.47/11.51	c |     82847 |    1372     6480    57354 |    12811    11399     25 |  0.000 % |
11.47/11.53	c |     83007 |    1372     6480    57354 |    12811    11559     25 |  0.000 % |
11.47/11.55	c |     83183 |    1372     6480    57354 |    12811    11735     25 |  0.000 % |
11.47/11.57	c |     83378 |    1372     6480    57354 |    12811    11930     25 |  0.000 % |
11.57/11.60	c |     83590 |    1372     6480    57354 |    12811    12142     25 |  0.000 % |
11.57/11.62	c |     83824 |    1372     6480    57354 |    12811    12376     25 |  0.000 % |
11.57/11.66	c |     84080 |    1372     6480    57354 |    12811    12632     25 |  0.000 % |
11.57/11.69	c |     84363 |    1372     6480    57354 |    12811    12915     25 |  0.000 % |
11.67/11.73	c |     84676 |    1372     6480    57354 |    12811    11404     24 |  0.000 % |
11.67/11.77	c |     85015 |    1372     6480    57354 |    12811    11743     25 |  0.000 % |
11.77/11.81	c |     85388 |    1372     6480    57354 |    12811    12116     25 |  0.001 % |
11.77/11.86	c |     85798 |    1372     6480    57354 |    12811    12526     25 |  0.000 % |
11.87/11.94	c |     86247 |    1372     6480    57354 |    12811    11235     25 |  0.000 % |
11.97/12.00	c |     86743 |    1372     6480    57354 |    12811    11731     25 |  0.000 % |
11.97/12.08	c |     87288 |    1372     6480    57354 |    12811    12276     26 |  0.000 % |
12.07/12.16	c |     87885 |    1372     6480    57354 |    12811    12873     26 |  0.000 % |
12.17/12.26	c |     88540 |    1372     6480    57354 |    12811    11868     26 |  0.000 % |
12.27/12.34	c |     89262 |    1372     6480    57354 |    12811    12590     26 |  0.001 % |
12.37/12.44	c |     90054 |    1372     6480    57354 |    11684    11738     26 |  0.000 % |
12.47/12.54	c |     90928 |    1372     6480    57354 |    11684    11147     26 |  0.000 % |
12.57/12.69	c |     91888 |    1372     6480    57354 |    11684    10801     26 |  0.000 % |
12.77/12.82	c |     92941 |    1372     6480    57354 |    11684    10677     27 |  0.000 % |
12.77/12.83	c |     93041 |    1372     6480    57354 |    11684    10777     27 |  0.000 % |
12.77/12.85	c |     93153 |    1372     6480    57354 |    11684    10889     27 |  0.000 % |
12.77/12.86	c |     93274 |    1372     6480    57354 |    11684    11010     27 |  0.001 % |
12.77/12.88	c |     93407 |    1372     6480    57354 |    11684    11143     27 |  0.000 % |
12.87/12.90	c |     93554 |    1372     6480    57354 |    11684    11290     27 |  0.000 % |
12.87/12.92	c |     93716 |    1372     6480    57354 |    11684    11452     27 |  0.000 % |
12.87/12.94	c |     93892 |    1372     6480    57354 |    11684    11628     27 |  0.000 % |
12.87/12.97	c |     94085 |    1372     6480    57354 |    11684    10647     26 |  0.000 % |
12.87/12.99	c |     94297 |    1372     6480    57354 |    11684    10859     26 |  0.000 % |
12.97/13.02	c |     94531 |    1372     6480    57354 |    11684    11093     26 |  0.000 % |
12.97/13.05	c |     94787 |    1372     6480    57354 |    11684    11349     27 |  0.000 % |
12.97/13.08	c |     95068 |    1372     6480    57354 |    11684    11630     27 |  0.000 % |
13.07/13.12	c |     95377 |    1372     6480    57354 |    11684    10762     26 |  0.001 % |
13.07/13.15	c |     95717 |    1372     6480    57354 |    11684    11102     26 |  0.000 % |
13.07/13.20	c |     96089 |    1372     6480    57354 |    11684    11474     27 |  0.000 % |
13.17/13.25	c |     96498 |    1372     6480    57354 |    11684    10705     26 |  0.000 % |
13.27/13.31	c |     96949 |    1372     6480    57354 |    11684    11156     26 |  0.000 % |
13.27/13.36	c |     97444 |    1372     6480    57354 |    11684    11651     27 |  0.000 % |
13.37/13.43	c |     97988 |    1372     6480    57354 |    11684    11015     26 |  0.000 % |
13.47/13.50	c |     98585 |    1372     6480    57354 |    11684    11612     26 |  0.000 % |
13.47/13.59	c |     99240 |    1372     6480    57354 |    11684    11090     25 |  0.000 % |
13.56/13.69	c |     99961 |    1372     6480    57354 |    11684    10633     24 |  0.000 % |
13.66/13.79	c |    100754 |    1372     6480    57354 | 2147483647    11426     26 |  0.000 % |
13.86/13.93	c |    101625 |    1372     6480    57354 | 2147483647    12297     27 |  0.000 % |
13.96/14.06	c |    102583 |    1372     6480    57354 | 2147483647    13255     27 |  0.000 % |
14.06/14.20	c |    103636 |    1372     6480    57354 | 2147483647    14308     27 |  0.000 % |
14.27/14.38	c |    104794 |    1372     6480    57354 | 2147483647    15466     28 |  0.000 % |
14.36/14.40	c |    104894 |    1372     6480    57354 | 2147483647    15566     28 |  0.000 % |
14.36/14.42	c |    105006 |    1372     6480    57354 | 2147483647    15678     28 |  0.000 % |
14.36/14.44	c |    105127 |    1372     6480    57354 | 2147483647    15799     28 |  0.001 % |
14.36/14.46	c |    105260 |    1372     6480    57354 | 2147483647    15932     28 |  0.000 % |
14.36/14.49	c |    105406 |    1372     6480    57354 | 2147483647    16078     28 |  0.000 % |
14.46/14.52	c |    105566 |    1372     6480    57354 | 2147483647    16238     28 |  0.000 % |
14.46/14.55	c |    105743 |    1372     6480    57354 | 2147483647    16415     28 |  0.001 % |
14.46/14.58	c |    105936 |    1372     6480    57354 | 2147483647    16608     28 |  0.000 % |
14.56/14.63	c |    106148 |    1372     6480    57354 | 2147483647    16820     28 |  0.000 % |
14.56/14.67	c |    106382 |    1372     6480    57354 | 2147483647    17054     28 |  0.000 % |
14.66/14.72	c |    106640 |    1372     6480    57354 | 2147483647    17312     28 |  0.000 % |
14.66/14.77	c |    106922 |    1372     6480    57354 | 2147483647    17594     29 |  0.000 % |
14.76/14.82	c |    107231 |    1372     6480    57354 | 2147483647    17903     29 |  0.000 % |
14.86/14.90	c |    107573 |    1372     6480    57354 | 2147483647    18245     29 |  0.000 % |
14.86/14.97	c |    107947 |    1372     6480    57354 | 2147483647    18619     29 |  0.000 % |
14.96/15.09	c |    108356 |    1372     6480    57354 | 2147483647    19028     29 |  0.000 % |
15.06/15.19	c |    108805 |    1372     6480    57354 | 2147483647    19477     29 |  0.000 % |
15.16/15.29	c |    109300 |    1372     6480    57354 | 2147483647    19972     30 |  0.000 % |
15.36/15.45	c |    109842 |    1372     6480    57354 | 2147483647    20514     30 |  0.000 % |
15.56/15.62	c |    110438 |    1372     6480    57354 |    20674    16952     28 |  0.000 % |
15.66/15.73	c |    111094 |    1372     6480    57354 |    20674    17608     28 |  0.000 % |
15.76/15.87	c |    111815 |    1372     6480    57354 |    20674    18329     29 |  0.000 % |
15.96/16.02	c |    112610 |    1372     6480    57354 |    20674    19124     29 |  0.000 % |
16.16/16.21	c |    113483 |    1372     6480    57354 |    20674    19997     29 |  0.000 % |
16.36/16.45	c |    114441 |    1372     6480    57354 |    20674    15900     27 |  0.000 % |
16.56/16.68	c |    115496 |    1372     6480    57354 |    20674    16955     28 |  0.000 % |
16.86/16.95	c |    116658 |    1372     6480    57354 |    20674    18117     29 |  0.000 % |
17.16/17.23	c |    117931 |    1372     6480    57354 |    20674    19390     29 |  0.000 % |
17.16/17.26	c |    118032 |    1372     6480    57354 |    20674    19491     29 |  0.000 % |
17.16/17.28	c |    118143 |    1372     6480    57354 |    20674    19602     29 |  0.000 % |
17.26/17.31	c |    118265 |    1372     6480    57354 |    20674    19724     29 |  0.000 % |
17.26/17.35	c |    118398 |    1372     6480    57354 |    20674    19857     29 |  0.000 % |
17.26/17.39	c |    118544 |    1372     6480    57354 |    20674    20003     30 |  0.000 % |
17.36/17.42	c |    118704 |    1372     6480    57354 |    20674    20163     30 |  0.000 % |
17.36/17.46	c |    118884 |    1372     6480    57354 |    20674    20343     30 |  0.000 % |
17.46/17.51	c |    119077 |    1372     6480    57354 |    20674    20536     30 |  0.000 % |
17.46/17.56	c |    119289 |    1372     6480    57354 |    20674    20748     30 |  0.000 % |
17.56/17.61	c |    119522 |    1372     6480    57354 |    20674    15652     28 |  0.000 % |
17.56/17.66	c |    119778 |    1372     6480    57354 |    20674    15908     28 |  0.000 % |
17.65/17.71	c |    120059 |    1372     6480    57354 |    16130    16189     28 |  0.000 % |
17.65/17.77	c |    120371 |    1372     6480    57354 |    16130    12401     26 |  0.000 % |
17.75/17.82	c |    120710 |    1372     6480    57354 |    16130    12740     26 |  0.000 % |
17.75/17.88	c |    121082 |    1372     6480    57354 |    16130    13112     27 |  0.000 % |
17.85/17.93	c |    121491 |    1372     6480    57354 |    16130    13521     27 |  0.000 % |
17.85/17.99	c |    121940 |    1372     6480    57354 |    16130    13970     27 |  0.000 % |
17.95/18.07	c |    122433 |    1372     6480    57354 |    16130    14463     28 |  0.000 % |
18.05/18.16	c |    122975 |    1372     6480    57354 |    16130    15005     28 |  0.000 % |
18.15/18.28	c |    123571 |    1372     6480    57354 |    16130    15601     28 |  0.000 % |
18.35/18.40	c |    124228 |    1372     6480    57354 |    16130    12753     26 |  0.000 % |
18.45/18.52	c |    124951 |    1372     6480    57354 |    16130    13476     27 |  0.000 % |
18.56/18.66	c |    125744 |    1372     6480    57354 |    16130    14269     27 |  0.000 % |
18.75/18.81	c |    126616 |    1372     6480    57354 |    16130    15141     28 |  0.000 % |
18.95/19.01	c |    127576 |    1372     6480    57354 |    16130    16101     29 |  0.000 % |
19.05/19.16	c |    128629 |    1372     6480    57354 |    16130    13792     28 |  0.000 % |
19.25/19.34	c |    129788 |    1372     6480    57354 |    16130    14951     29 |  0.000 % |
19.45/19.56	c |    131061 |    1372     6480    57354 |    15163    13165     29 |  0.000 % |
19.66/19.74	c |    132461 |    1372     6480    57354 |    15163    14565     29 |  0.000 % |
19.66/19.76	c |    132561 |    1372     6480    57354 |    15163    14665     29 |  0.000 % |
19.66/19.78	c |    132671 |    1372     6480    57354 |    15163    14775     29 |  0.000 % |
19.76/19.80	c |    132793 |    1372     6480    57354 |    15163    14897     29 |  0.000 % |
19.76/19.83	c |    132926 |    1372     6480    57354 |    15163    15030     29 |  0.000 % |
19.76/19.85	c |    133072 |    1372     6480    57354 |    15163    15176     29 |  0.000 % |
19.76/19.88	c |    133233 |    1372     6480    57354 |    15163    12635     28 |  0.000 % |
19.85/19.91	c |    133410 |    1372     6480    57354 |    15163    12812     28 |  0.000 % |
19.85/19.94	c |    133603 |    1372     6480    57354 |    15163    13005     28 |  0.000 % |
19.85/19.97	c |    133815 |    1372     6480    57354 |    15163    13217     28 |  0.000 % |
19.95/20.02	c |    134048 |    1372     6480    57354 |    15163    13450     29 |  0.000 % |
19.95/20.06	c |    134305 |    1372     6480    57354 |    15163    13707     29 |  0.001 % |
20.05/20.11	c |    134587 |    1372     6480    57354 |    15163    13989     29 |  0.000 % |
20.05/20.16	c |    134898 |    1372     6480    57354 |    15163    14300     29 |  0.000 % |
20.15/20.21	c |    135237 |    1372     6480    57354 |    15163    14639     29 |  0.000 % |
20.15/20.28	c |    135611 |    1372     6480    57354 |    15163    15013     30 |  0.000 % |
20.25/20.36	c |    136022 |    1372     6480    57354 |    15163    12748     27 |  0.000 % |
20.35/20.43	c |    136472 |    1372     6480    57354 |    15163    13198     27 |  0.001 % |
20.45/20.50	c |    136966 |    1372     6480    57354 |    15163    13692     28 |  0.000 % |
20.55/20.60	c |    137508 |    1372     6480    57354 |    15163    14234     28 |  0.000 % |
20.55/20.69	c |    138105 |    1372     6480    57354 |    15163    14831     29 |  0.000 % |
20.65/20.80	c |    138761 |    1372     6480    57354 |    15163    12851     27 |  0.000 % |
20.86/20.94	c |    139482 |    1372     6480    57354 |    15163    13572     28 |  0.000 % |
20.95/21.07	c |    140274 |    1372     6480    57354 |    14090    11915     27 |  0.000 % |
21.15/21.20	c |    141145 |    1372     6480    57354 |    14090    12786     28 |  0.000 % |
21.25/21.35	c |    142103 |    1372     6480    57354 |    14090    13744     28 |  0.000 % |
21.45/21.52	c |    143156 |    1372     6480    57354 |    14090    12426     28 |  0.000 % |
21.65/21.70	c |    144314 |    1372     6480    57354 |    14090    13584     29 |  0.000 % |
21.85/21.95	c |    145587 |    1372     6480    57354 |    14090    12492     30 |  0.000 % |
22.05/22.14	c |    146987 |    1372     6480    57354 |    14090    13892     30 |  0.000 % |
22.25/22.39	c |    148527 |    1372     6480    57354 |    14090    13079     29 |  0.000 % |
22.35/22.41	c |    148627 |    1372     6480    57354 |    14090    13179     29 |  0.000 % |
22.35/22.43	c |    148737 |    1372     6480    57354 |    14090    13289     29 |  0.000 % |
22.35/22.45	c |    148859 |    1372     6480    57354 |    14090    13411     29 |  0.000 % |
22.35/22.47	c |    148992 |    1372     6480    57354 |    14090    13544     29 |  0.001 % |
22.45/22.51	c |    149142 |    1372     6480    57354 |    14090    13694     29 |  0.000 % |
22.45/22.54	c |    149302 |    1372     6480    57354 |    14090    13854     29 |  0.000 % |
22.45/22.57	c |    149479 |    1372     6480    57354 |    14090    14031     29 |  0.000 % |
22.55/22.61	c |    149672 |    1372     6480    57354 |    14090    11840     28 |  0.000 % |
22.55/22.63	c |    149885 |    1372     6480    57354 |    14090    12053     28 |  0.000 % |
22.55/22.67	c |    150118 |    1372     6480    57354 |    12170    10273     25 |  0.000 % |
22.65/22.70	c |    150375 |    1372     6480    57354 |    12170    10530     25 |  0.000 % |
22.65/22.73	c |    150657 |    1372     6480    57354 |    12170    10812     25 |  0.000 % |
22.65/22.77	c |    150966 |    1372     6480    57354 |    12170    11121     26 |  0.000 % |
22.75/22.81	c |    151305 |    1372     6480    57354 |    12170    11460     26 |  0.000 % |
22.75/22.84	c |    151677 |    1372     6480    57354 |    12170    11832     26 |  0.000 % |
22.85/22.91	c |    152086 |    1372     6480    57354 |    12170    12241     26 |  0.000 % |
22.85/22.97	c |    152535 |    1372     6480    57354 |    12170    10965     25 |  0.000 % |
22.95/23.02	c |    153029 |    1372     6480    57354 |    12170    11459     25 |  0.000 % |
22.95/23.10	c |    153572 |    1372     6480    57354 |    12170    12002     25 |  0.000 % |
23.05/23.18	c |    154169 |    1372     6480    57354 |    12170    11058     25 |  0.000 % |
23.15/23.27	c |    154824 |    1372     6480    57354 |    12170    11713     25 |  0.000 % |
23.25/23.38	c |    155544 |    1372     6480    57354 |    12170    11020     25 |  0.000 % |
23.35/23.47	c |    156338 |    1372     6480    57354 |    12170    11814     25 |  0.000 % |
23.45/23.59	c |    157209 |    1372     6480    57354 |    12170    11340     25 |  0.000 % |
23.65/23.74	c |    158168 |    1372     6480    57354 |    12170    10956     26 |  0.000 % |
23.75/23.89	c |    159222 |    1372     6480    57354 |    12170    12010     27 |  0.000 % |
23.95/24.04	c |    160380 |    1372     6480    57354 |    11454    10639     27 |  0.000 % |
24.15/24.21	c |    161653 |    1372     6480    57354 |    11454    10762     27 |  0.000 % |
24.25/24.40	c |    163056 |    1372     6480    57354 |    11454    11011     28 |  0.000 % |
24.45/24.58	c |    164596 |    1372     6480    57354 |    11454    11396     29 |  0.000 % |
24.65/24.79	c |    166290 |    1372     6480    57354 |    11454    10782     27 |  0.000 % |
24.75/24.80	c |    166390 |    1372     6480    57354 |    11454    10882     27 |  0.000 % |
24.75/24.81	c |    166501 |    1372     6480    57354 |    11454    10993     28 |  0.000 % |
24.75/24.83	c |    166622 |    1372     6480    57354 |    11454    11114     28 |  0.000 % |
24.75/24.85	c |    166755 |    1372     6480    57354 |    11454    11247     28 |  0.000 % |
24.75/24.87	c |    166901 |    1372     6480    57354 |    11454    11393     28 |  0.000 % |
24.84/24.90	c |    167061 |    1372     6480    57354 |    11454    10399     27 |  0.000 % |
24.84/24.92	c |    167238 |    1372     6480    57354 |    11454    10576     27 |  0.000 % |
24.84/24.95	c |    167431 |    1372     6480    57354 |    11454    10769     27 |  0.000 % |
24.84/24.98	c |    167643 |    1372     6480    57354 |    11454    10981     27 |  0.000 % |
24.94/25.01	c |    167876 |    1372     6480    57354 |    11454    11214     28 |  0.000 % |
24.94/25.04	c |    168133 |    1372     6480    57354 |    11454    11471     28 |  0.000 % |
24.94/25.08	c |    168415 |    1372     6480    57354 |    11454    10606     27 |  0.000 % |
25.04/25.12	c |    168724 |    1372     6480    57354 |    11454    10915     27 |  0.000 % |
25.04/25.17	c |    169063 |    1372     6480    57354 |    11454    11254     27 |  0.000 % |
25.15/25.21	c |    169436 |    1372     6480    57354 |    11454    10474     26 |  0.000 % |
25.15/25.28	c |    169848 |    1372     6480    57354 |    11454    10886     27 |  0.000 % |
25.25/25.35	c |    170299 |    1372     6480    57354 | 2147483647    11337     27 |  0.000 % |
25.34/25.43	c |    170793 |    1372     6480    57354 | 2147483647    11831     28 |  0.000 % |
25.44/25.51	c |    171338 |    1372     6480    57354 | 2147483647    12376     28 |  0.000 % |
25.54/25.62	c |    171934 |    1372     6480    57354 | 2147483647    12972     29 |  0.000 % |
25.64/25.73	c |    172589 |    1372     6480    57354 | 2147483647    13627     29 |  0.000 % |
25.74/25.82	c |    173309 |    1372     6480    57354 | 2147483647    14347     29 |  0.001 % |
25.84/25.97	c |    174102 |    1372     6480    57354 | 2147483647    15140     30 |  0.000 % |
26.04/26.15	c |    174973 |    1372     6480    57354 | 2147483647    16011     30 |  0.000 % |
26.25/26.35	c |    175931 |    1372     6480    57354 | 2147483647    16969     31 |  0.000 % |
26.44/26.56	c |    176984 |    1372     6480    57354 | 2147483647    18022     31 |  0.000 % |
26.64/26.79	c |    178144 |    1372     6480    57354 | 2147483647    19182     31 |  0.000 % |
26.94/27.05	c |    179421 |    1372     6480    57354 | 2147483647    20459     32 |  0.000 % |
27.24/27.32	c |    180821 |    1372     6480    57354 |    21038    17533     31 |  0.000 % |
27.54/27.67	c |    182365 |    1372     6480    57354 |    21038    19077     31 |  0.000 % |
28.04/28.12	c |    184059 |    1372     6480    57354 |    21038    20771     32 |  0.000 % |
28.45/28.51	c |    185923 |    1372     6480    57354 |    21038    17351     30 |  0.000 % |
28.45/28.54	c |    186024 |    1372     6480    57354 |    21038    17452     30 |  0.000 % |
28.45/28.56	c |    186136 |    1372     6480    57354 |    21038    17564     30 |  0.000 % |
28.45/28.58	c |    186257 |    1372     6480    57354 |    21038    17685     30 |  0.000 % |
28.55/28.61	c |    186390 |    1372     6480    57354 |    21038    17818     30 |  0.000 % |
28.55/28.64	c |    186539 |    1372     6480    57354 |    21038    17967     30 |  0.000 % |
28.55/28.68	c |    186700 |    1372     6480    57354 |    21038    18128     30 |  0.000 % |
28.64/28.73	c |    186877 |    1372     6480    57354 |    21038    18305     30 |  0.000 % |
28.64/28.79	c |    187070 |    1372     6480    57354 |    21038    18498     31 |  0.000 % |
28.74/28.83	c |    187282 |    1372     6480    57354 |    21038    18710     30 |  0.000 % |
28.74/28.89	c |    187518 |    1372     6480    57354 |    21038    18946     31 |  0.000 % |
28.84/28.94	c |    187775 |    1372     6480    57354 |    21038    19203     30 |  0.000 % |
28.84/28.99	c |    188056 |    1372     6480    57354 |    21038    19484     30 |  0.000 % |
28.94/29.05	c |    188365 |    1372     6480    57354 |    21038    19793     30 |  0.000 % |
29.04/29.13	c |    188705 |    1372     6480    57354 |    21038    20133     30 |  0.000 % |
29.14/29.26	c |    189077 |    1372     6480    57354 |    21038    20505     31 |  0.000 % |
29.24/29.35	c |    189487 |    1372     6480    57354 |    21038    20915     31 |  0.000 % |
29.34/29.47	c |    189936 |    1372     6480    57354 |    21038    15902     28 |  0.000 % |
29.44/29.57	c |    190430 |    1372     6480    57354 |    15968    12281     25 |  0.000 % |
29.54/29.65	c |    190972 |    1372     6480    57354 |    15968    12823     26 |  0.000 % |
29.64/29.75	c |    191568 |    1372     6480    57354 |    15968    13419     26 |  0.000 % |
29.74/29.85	c |    192224 |    1372     6480    57354 |    15968    14075     27 |  0.000 % |
29.84/29.97	c |    192945 |    1372     6480    57354 |    15968    14796     27 |  0.000 % |
30.04/30.10	c |    193738 |    1372     6480    57354 |    15968    15589     27 |  0.000 % |
30.14/30.26	c |    194610 |    1372     6480    57354 |    15968    13114     25 |  0.000 % |
30.33/30.41	c |    195570 |    1372     6480    57354 |    15968    14074     26 |  0.000 % |
30.43/30.59	c |    196623 |    1372     6480    57354 |    15968    15127     26 |  0.000 % |
30.64/30.77	c |    197782 |    1372     6480    57354 |    15968    13266     26 |  0.000 % |
30.83/30.97	c |    199055 |    1372     6480    57354 |    15968    14539     27 |  0.000 % |
31.03/31.18	c |    200455 |    1372     6480    57354 |    15484    13120     26 |  0.000 % |
31.33/31.41	c |    201998 |    1372     6480    57354 |    15484    14663     27 |  0.000 % |
31.63/31.72	c |    203692 |    1372     6480    57354 |    15484    13655     28 |  0.000 % |
31.93/32.05	c |    205557 |    1372     6480    57354 |    15484    15520     29 |  0.000 % |
32.23/32.35	c |    207606 |    1372     6480    57354 |    15484    14742     29 |  0.001 % |
32.23/32.37	c |    207707 |    1372     6480    57354 |    15484    14843     29 |  0.000 % |
32.23/32.39	c |    207817 |    1372     6480    57354 |    15484    14953     29 |  0.000 % |
32.33/32.42	c |    207939 |    1372     6480    57354 |    15484    15075     29 |  0.000 % |
32.33/32.44	c |    208072 |    1372     6480    57354 |    15484    15208     29 |  0.000 % |
32.33/32.47	c |    208221 |    1372     6480    57354 |    15484    15357     29 |  0.000 % |
32.43/32.50	c |    208381 |    1372     6480    57354 |    15484    15517     29 |  0.000 % |
32.43/32.54	c |    208557 |    1372     6480    57354 |    15484    12849     28 |  0.000 % |
32.43/32.57	c |    208751 |    1372     6480    57354 |    15484    13043     28 |  0.000 % |
32.53/32.61	c |    208964 |    1372     6480    57354 |    15484    13256     29 |  0.000 % |
32.53/32.65	c |    209202 |    1372     6480    57354 |    15484    13494     29 |  0.000 % |
32.53/32.69	c |    209459 |    1372     6480    57354 |    15484    13751     29 |  0.000 % |
32.63/32.73	c |    209741 |    1372     6480    57354 |    15484    14033     29 |  0.000 % |
32.63/32.79	c |    210050 |    1372     6480    57354 |    14292    14342     29 |  0.000 % |
32.73/32.84	c |    210389 |    1372     6480    57354 |    14292    12063     28 |  0.000 % |
32.84/32.90	c |    210762 |    1372     6480    57354 |    14292    12436     28 |  0.000 % |
32.84/32.97	c |    211171 |    1372     6480    57354 |    14292    12845     28 |  0.000 % |
32.94/33.05	c |    211621 |    1372     6480    57354 |    14292    13295     29 |  0.000 % |
33.03/33.15	c |    212116 |    1372     6480    57354 |    14292    13790     29 |  0.000 % |
33.13/33.26	c |    212660 |    1372     6480    57354 |    14292    14334     30 |  0.000 % |
33.23/33.37	c |    213258 |    1372     6480    57354 |    14292    12369     28 |  0.000 % |
33.33/33.47	c |    213915 |    1372     6480    57354 |    14292    13026     28 |  0.000 % |
33.43/33.59	c |    214637 |    1372     6480    57354 |    14292    13748     29 |  0.000 % |
33.63/33.71	c |    215429 |    1372     6480    57354 |    14292    12099     28 |  0.000 % |
33.73/33.83	c |    216300 |    1372     6480    57354 |    14292    12970     29 |  0.000 % |
33.83/33.97	c |    217259 |    1372     6480    57354 |    14292    13929     29 |  0.000 % |
34.03/34.16	c |    218313 |    1372     6480    57354 |    14292    12588     29 |  0.000 % |
34.23/34.34	c |    219471 |    1372     6480    57354 |    14292    13746     30 |  0.000 % |
34.43/34.56	c |    220744 |    1372     6480    57354 |    14276    12672     29 |  0.000 % |
34.73/34.82	c |    222144 |    1372     6480    57354 |    14276    14072     30 |  0.000 % |
35.03/35.11	c |    223684 |    1372     6480    57354 |    14276    13126     29 |  0.000 % |
35.33/35.47	c |    225378 |    1372     6480    57354 |    14276    12320     30 |  0.000 % |
35.73/35.85	c |    227241 |    1372     6480    57354 |    14276    14183     32 |  0.000 % |
36.23/36.31	c |    229293 |    1372     6480    57354 |    14276    13658     32 |  0.000 % |
36.63/36.79	c |    231550 |    1372     6480    57354 |    14365    13275     32 |  0.000 % |
36.73/36.81	c |    231651 |    1372     6480    57354 |    14365    13376     32 |  0.000 % |
36.73/36.83	c |    231761 |    1372     6480    57354 |    14365    13486     32 |  0.000 % |
36.73/36.85	c |    231883 |    1372     6480    57354 |    14365    13608     32 |  0.000 % |
36.73/36.88	c |    232018 |    1372     6480    57354 |    14365    13743     32 |  0.000 % |
36.83/36.90	c |    232165 |    1372     6480    57354 |    14365    13890     33 |  0.000 % |
36.83/36.93	c |    232327 |    1372     6480    57354 |    14365    14052     33 |  0.000 % |
36.83/36.96	c |    232503 |    1372     6480    57354 |    14365    14228     33 |  0.000 % |
36.83/36.99	c |    232697 |    1372     6480    57354 |    14365    14422     33 |  0.001 % |
36.93/37.03	c |    232911 |    1372     6480    57354 |    14365    11889     31 |  0.000 % |
36.93/37.07	c |    233146 |    1372     6480    57354 |    14365    12124     31 |  0.000 % |
37.03/37.11	c |    233402 |    1372     6480    57354 |    14365    12380     31 |  0.000 % |
37.03/37.15	c |    233683 |    1372     6480    57354 |    14365    12661     31 |  0.000 % |
37.03/37.19	c |    233992 |    1372     6480    57354 |    14365    12970     31 |  0.000 % |
37.13/37.25	c |    234331 |    1372     6480    57354 |    14365    13309     31 |  0.000 % |
37.23/37.32	c |    234704 |    1372     6480    57354 |    14365    13682     31 |  0.000 % |
37.23/37.38	c |    235114 |    1372     6480    57354 |    14365    14092     31 |  0.000 % |
37.33/37.47	c |    235565 |    1372     6480    57354 |    14365    11902     29 |  0.000 % |
37.43/37.53	c |    236058 |    1372     6480    57354 |    14365    12395     29 |  0.000 % |
37.53/37.60	c |    236601 |    1372     6480    57354 |    14365    12938     29 |  0.000 % |
37.63/37.71	c |    237198 |    1372     6480    57354 |    14365    13535     29 |  0.000 % |
37.73/37.82	c |    237855 |    1372     6480    57354 |    14365    14192     30 |  0.000 % |
37.83/37.93	c |    238575 |    1372     6480    57354 |    14365    12351     28 |  0.000 % |
37.93/38.04	c |    239370 |    1372     6480    57354 |    14365    13146     28 |  0.000 % |
38.03/38.18	c |    240241 |    1372     6480    57354 |    13777    11639     26 |  0.000 % |
38.23/38.32	c |    241203 |    1372     6480    57354 |    13777    12601     27 |  0.000 % |
38.33/38.45	c |    242256 |    1372     6480    57354 |    13777    13654     27 |  0.000 % |
38.53/38.63	c |    243414 |    1372     6480    57354 |    13777    12653     26 |  0.000 % |
38.73/38.83	c |    244688 |    1372     6480    57354 |    13777    11861     27 |  0.000 % |
38.93/39.05	c |    246088 |    1372     6480    57354 |    13777    13261     28 |  0.000 % |
39.13/39.27	c |    247628 |    1372     6480    57354 |    13777    12849     27 |  0.000 % |
39.43/39.54	c |    249324 |    1372     6480    57354 |    13777    12638     28 |  0.000 % |
39.73/39.83	c |    251187 |    1372     6480    57354 |    13317    12683     29 |  0.000 % |
40.13/40.21	c |    253236 |    1372     6480    57354 |    13317    12833     29 |  0.000 % |
40.53/40.65	c |    255489 |    1372     6480    57354 |    13317    13000     29 |  0.000 % |
41.03/41.11	c |    257970 |    1372     6480    57354 |    13317    13382     30 |  0.000 % |
41.03/41.13	c |    258071 |    1372     6480    57354 |    13317    11400     29 |  0.000 % |
41.03/41.14	c |    258181 |    1372     6480    57354 |    13317    11510     29 |  0.000 % |
41.03/41.17	c |    258302 |    1372     6480    57354 |    13317    11631     30 |  0.000 % |
41.03/41.19	c |    258435 |    1372     6480    57354 |    13317    11764     30 |  0.000 % |
41.12/41.22	c |    258581 |    1372     6480    57354 |    13317    11910     30 |  0.000 % |
41.12/41.23	c |    258741 |    1372     6480    57354 |    13317    12070     30 |  0.000 % |
41.12/41.26	c |    258917 |    1372     6480    57354 |    13317    12246     30 |  0.000 % |
41.12/41.28	c |    259110 |    1372     6480    57354 |    13317    12439     30 |  0.000 % |
41.22/41.31	c |    259323 |    1372     6480    57354 |    13317    12652     30 |  0.000 % |
41.22/41.35	c |    259556 |    1372     6480    57354 |    13317    12885     30 |  0.000 % |
41.22/41.38	c |    259813 |    1372     6480    57354 |    13317    13142     30 |  0.000 % |
41.32/41.43	c |    260097 |    1372     6480    57354 |    13330    13426     30 |  0.000 % |
41.32/41.47	c |    260409 |    1372     6480    57354 |    13330    11677     28 |  0.000 % |
41.42/41.52	c |    260749 |    1372     6480    57354 |    13330    12017     29 |  0.000 % |
41.42/41.58	c |    261121 |    1372     6480    57354 |    13330    12389     29 |  0.000 % |
41.52/41.65	c |    261531 |    1372     6480    57354 |    13330    12799     29 |  0.000 % |
41.63/41.71	c |    261981 |    1372     6480    57354 |    13330    13249     29 |  0.000 % |
41.63/41.78	c |    262475 |    1372     6480    57354 |    13330    11763     28 |  0.000 % |
41.73/41.84	c |    263019 |    1372     6480    57354 |    13330    12307     29 |  0.000 % |
41.82/41.93	c |    263615 |    1372     6480    57354 |    13330    12903     29 |  0.001 % |
41.92/42.07	c |    264270 |    1372     6480    57354 |    13330    11680     28 |  0.000 % |
42.02/42.18	c |    264991 |    1372     6480    57354 |    13330    12401     28 |  0.000 % |
42.22/42.32	c |    265784 |    1372     6480    57354 |    13330    13194     28 |  0.000 % |
42.32/42.48	c |    266656 |    1372     6480    57354 |    13330    12179     28 |  0.000 % |
42.52/42.68	c |    267614 |    1372     6480    57354 |    13330    13137     28 |  0.000 % |
42.73/42.88	c |    268667 |    1372     6480    57354 |    13330    12289     28 |  0.000 % |
42.92/43.09	c |    269825 |    1372     6480    57354 |    13330    11519     28 |  0.000 % |
43.12/43.25	c |    271098 |    1372     6480    57354 |    11695    11125     27 |  0.000 % |
43.32/43.42	c |    272499 |    1372     6480    57354 |    11695    11208     27 |  0.000 % |
43.52/43.63	c |    274040 |    1372     6480    57354 |    11695    11574     28 |  0.000 % |
43.72/43.85	c |    275734 |    1372     6480    57354 |    11695    10913     26 |  0.000 % |
44.02/44.12	c |    277597 |    1372     6480    57354 |    11695    11600     27 |  0.000 % |
44.22/44.38	c |    279648 |    1372     6480    57354 |    11695    11294     27 |  0.000 % |
44.62/44.70	c |    281903 |    1372     6480    57354 | 2147483647    13549     27 |  0.000 % |
45.03/45.14	c |    284381 |    1372     6480    57354 | 2147483647    16027     28 |  0.000 % |
45.42/45.52	c |    287106 |    1372     6480    57354 | 2147483647    18752     28 |  0.000 % |
45.42/45.53	c |    287206 |    1372     6480    57354 | 2147483647    18852     28 |  0.000 % |
45.42/45.56	c |    287317 |    1372     6480    57354 | 2147483647    18963     28 |  0.000 % |
45.42/45.58	c |    287441 |    1372     6480    57354 | 2147483647    19087     28 |  0.000 % |
45.42/45.60	c |    287574 |    1372     6480    57354 | 2147483647    19220     28 |  0.000 % |
45.52/45.63	c |    287720 |    1372     6480    57354 | 2147483647    19366     28 |  0.000 % |
45.52/45.67	c |    287880 |    1372     6480    57354 | 2147483647    19526     28 |  0.000 % |
45.62/45.70	c |    288056 |    1372     6480    57354 | 2147483647    19702     28 |  0.000 % |
45.62/45.74	c |    288249 |    1372     6480    57354 | 2147483647    19895     28 |  0.000 % |
45.62/45.77	c |    288461 |    1372     6480    57354 | 2147483647    20107     28 |  0.000 % |
45.72/45.82	c |    288694 |    1372     6480    57354 | 2147483647    20340     28 |  0.000 % |
45.72/45.86	c |    288950 |    1372     6480    57354 | 2147483647    20596     28 |  0.000 % |
45.82/45.91	c |    289231 |    1372     6480    57354 | 2147483647    20877     28 |  0.000 % |
45.82/45.96	c |    289541 |    1372     6480    57354 | 2147483647    21187     28 |  0.000 % |
45.92/46.03	c |    289880 |    1372     6480    57354 | 2147483647    21526     28 |  0.000 % |
46.03/46.16	c |    290254 |    1372     6480    57354 |    21646    18229     27 |  0.000 % |
46.13/46.25	c |    290663 |    1372     6480    57354 |    21646    18638     27 |  0.000 % |
46.22/46.39	c |    291112 |    1372     6480    57354 |    21646    19087     27 |  0.000 % |
46.32/46.49	c |    291605 |    1372     6480    57354 |    21646    19580     27 |  0.000 % |
46.52/46.60	c |    292147 |    1372     6480    57354 |    21646    20122     27 |  0.000 % |
46.62/46.72	c |    292743 |    1372     6480    57354 |    21646    20718     27 |  0.000 % |
46.72/46.85	c |    293399 |    1372     6480    57354 |    21646    21374     27 |  0.000 % |
46.92/47.01	c |    294120 |    1372     6480    57354 |    21646    17367     25 |  0.000 % |
47.02/47.17	c |    294913 |    1372     6480    57354 |    21646    18160     25 |  0.000 % |
47.22/47.34	c |    295784 |    1372     6480    57354 |    21646    19031     25 |  0.000 % |
47.43/47.53	c |    296746 |    1372     6480    57354 |    21646    19993     25 |  0.000 % |
47.63/47.75	c |    297800 |    1372     6480    57354 |    21646    21047     25 |  0.000 % |
47.93/48.04	c |    298958 |    1372     6480    57354 |    21646    17303     23 |  0.000 % |
48.13/48.26	c |    300232 |    1372     6480    57354 |    18345    14393     22 |  0.000 % |
48.43/48.53	c |    301632 |    1372     6480    57354 |    18345    15793     22 |  0.000 % |
48.73/48.80	c |    303173 |    1372     6480    57354 |    18345    17334     22 |  0.000 % |
48.93/49.07	c |    304867 |    1372     6480    57354 |    18345    15032     21 |  0.000 % |
49.23/49.40	c |    306730 |    1372     6480    57354 |    18345    16895     22 |  0.000 % |
49.63/49.74	c |    308780 |    1372     6480    57354 |    18345    15067     20 |  0.000 % |
50.03/50.11	c |    311033 |    1372     6480    57354 |    16287    13993     19 |  0.000 % |
50.33/50.42	c |    313512 |    1372     6480    57354 |    16287    13745     20 |  0.001 % |
50.63/50.75	c |    316237 |    1372     6480    57354 |    16287    14097     22 |  0.000 % |
51.03/51.18	c |    319234 |    1372     6480    57354 |    16287    14737     25 |  0.000 % |
51.03/51.20	c |    319335 |    1372     6480    57354 |    16287    14838     25 |  0.000 % |
51.13/51.21	c |    319446 |    1372     6480    57354 |    16287    14949     25 |  0.000 % |
51.13/51.23	c |    319567 |    1372     6480    57354 |    16287    15070     25 |  0.000 % |
51.13/51.25	c |    319701 |    1372     6480    57354 |    16287    15204     25 |  0.000 % |
51.13/51.27	c |    319849 |    1372     6480    57354 |    16287    15352     25 |  0.000 % |
51.13/51.30	c |    320010 |    1372     6480    57354 |    15503    15513     25 |  0.000 % |
51.23/51.33	c |    320190 |    1372     6480    57354 |    15503    13419     26 |  0.001 % |
51.23/51.36	c |    320383 |    1372     6480    57354 |    15503    13612     26 |  0.000 % |
51.23/51.39	c |    320596 |    1372     6480    57354 |    15503    13825     26 |  0.000 % |
51.33/51.42	c |    320829 |    1372     6480    57354 |    15503    14058     27 |  0.000 % |
51.33/51.46	c |    321086 |    1372     6480    57354 |    15503    14315     27 |  0.001 % |
51.43/51.50	c |    321367 |    1372     6480    57354 |    15503    14596     27 |  0.000 % |
51.43/51.55	c |    321677 |    1372     6480    57354 |    15503    14906     27 |  0.000 % |
51.43/51.60	c |    322016 |    1372     6480    57354 |    15503    15245     27 |  0.000 % |
51.53/51.66	c |    322390 |    1372     6480    57354 |    15503    13288     27 |  0.001 % |
51.63/51.71	c |    322802 |    1372     6480    57354 |    15503    13700     27 |  0.000 % |
51.63/51.78	c |    323251 |    1372     6480    57354 |    15503    14149     27 |  0.001 % |
51.73/51.85	c |    323744 |    1372     6480    57354 |    15503    14642     28 |  0.000 % |
51.83/51.94	c |    324286 |    1372     6480    57354 |    15503    15184     28 |  0.000 % |
51.93/52.04	c |    324882 |    1372     6480    57354 |    15503    13302     27 |  0.000 % |
52.03/52.15	c |    325537 |    1372     6480    57354 |    15503    13957     28 |  0.000 % |
52.13/52.26	c |    326257 |    1372     6480    57354 |    15503    14677     28 |  0.000 % |
52.22/52.37	c |    327050 |    1372     6480    57354 |    15503    15470     28 |  0.000 % |
52.42/52.51	c |    327921 |    1372     6480    57354 |    15503    13856     26 |  0.000 % |
52.52/52.69	c |    328879 |    1372     6480    57354 |    15503    14814     27 |  0.000 % |
52.73/52.88	c |    329932 |    1372     6480    57354 |    15503    13340     26 |  0.000 % |
52.92/53.06	c |    331092 |    1372     6480    57354 |    13409    12317     27 |  0.000 % |
53.12/53.24	c |    332366 |    1372     6480    57354 |    13409    11709     27 |  0.001 % |
53.32/53.47	c |    333767 |    1372     6480    57354 |    13409    13110     28 |  0.000 % |
53.62/53.73	c |    335307 |    1372     6480    57354 |    13409    12766     28 |  0.000 % |
53.92/54.05	c |    337001 |    1372     6480    57354 |    13409    12557     28 |  0.000 % |
54.22/54.30	c |    338866 |    1372     6480    57354 |    13409    12506     28 |  0.000 % |
54.42/54.59	c |    340916 |    1372     6480    57354 |    11831    11156     26 |  0.000 % |
54.72/54.89	c |    343170 |    1372     6480    57354 |    11831    10960     24 |  0.000 % |
55.12/55.24	c |    345648 |    1372     6480    57354 |    11831    11051     24 |  0.000 % |
55.52/55.63	c |    348373 |    1372     6480    57354 |    11831    11396     24 |  0.000 % |
55.93/56.03	c |    351370 |    1372     6480    57354 | 2147483647    13205     24 |  0.000 % |
56.32/56.49	c |    354666 |    1372     6480    57354 | 2147483647    16501     26 |  0.000 % |
56.42/56.51	c |    354766 |    1372     6480    57354 | 2147483647    16601     26 |  0.000 % |
56.42/56.53	c |    354876 |    1372     6480    57354 | 2147483647    16711     26 |  0.000 % |
56.42/56.55	c |    354998 |    1372     6480    57354 | 2147483647    16833     26 |  0.000 % |
56.42/56.58	c |    355131 |    1372     6480    57354 | 2147483647    16966     26 |  0.000 % |
56.52/56.60	c |    355280 |    1372     6480    57354 | 2147483647    17115     27 |  0.000 % |
56.52/56.63	c |    355441 |    1372     6480    57354 | 2147483647    17276     27 |  0.000 % |
56.52/56.66	c |    355617 |    1372     6480    57354 | 2147483647    17452     27 |  0.000 % |
56.52/56.69	c |    355810 |    1372     6480    57354 | 2147483647    17645     27 |  0.000 % |
56.62/56.73	c |    356022 |    1372     6480    57354 | 2147483647    17857     27 |  0.000 % |
56.62/56.76	c |    356255 |    1372     6480    57354 | 2147483647    18090     27 |  0.001 % |
56.72/56.80	c |    356514 |    1372     6480    57354 | 2147483647    18349     27 |  0.000 % |
56.72/56.84	c |    356795 |    1372     6480    57354 | 2147483647    18630     27 |  0.000 % |
56.82/56.90	c |    357104 |    1372     6480    57354 | 2147483647    18939     28 |  0.000 % |
56.82/56.97	c |    357446 |    1372     6480    57354 | 2147483647    19281     28 |  0.000 % |
56.92/57.04	c |    357821 |    1372     6480    57354 | 2147483647    19656     28 |  0.000 % |
57.03/57.11	c |    358231 |    1372     6480    57354 | 2147483647    20066     28 |  0.000 % |
57.03/57.19	c |    358681 |    1372     6480    57354 | 2147483647    20516     28 |  0.000 % |
57.13/57.29	c |    359174 |    1372     6480    57354 | 2147483647    21009     28 |  0.000 % |
57.32/57.41	c |    359717 |    1372     6480    57354 | 2147483647    21552     28 |  0.000 % |
57.42/57.56	c |    360316 |    1372     6480    57354 |    21835    18722     28 |  0.000 % |
57.52/57.68	c |    360971 |    1372     6480    57354 |    21835    19377     28 |  0.000 % |
57.72/57.84	c |    361691 |    1372     6480    57354 |    21835    20097     28 |  0.000 % |
57.92/58.05	c |    362483 |    1372     6480    57354 |    21835    20889     29 |  0.000 % |
58.12/58.24	c |    363354 |    1372     6480    57354 |    21835    21760     29 |  0.000 % |
58.32/58.48	c |    364312 |    1372     6480    57354 |    21835    18123     29 |  0.000 % |
58.62/58.71	c |    365365 |    1372     6480    57354 |    21835    19176     29 |  0.000 % |
58.92/59.01	c |    366524 |    1372     6480    57354 |    21835    20335     30 |  0.000 % |
59.12/59.22	c |    367799 |    1372     6480    57354 |    21835    21610     30 |  0.000 % |
59.42/59.50	c |    369199 |    1372     6480    57354 |    21835    17954     29 |  0.000 % |
59.72/59.80	c |    370739 |    1372     6480    57354 |    18755    15103     28 |  0.000 % |
60.02/60.10	c |    372434 |    1372     6480    57354 |    18755    16798     29 |  0.000 % |
60.32/60.50	c |    374297 |    1372     6480    57354 |    18755    18661     30 |  0.000 % |
60.82/60.96	c |    376347 |    1372     6480    57354 |    18755    16336     29 |  0.000 % |
61.32/61.44	c |    378600 |    1372     6480    57354 |    18755    18589     31 |  0.000 % |
61.82/61.96	c |    381078 |    1372     6480    57354 |    15637    13147     30 |  0.000 % |
62.22/62.36	c |    383803 |    1372     6480    57354 |    15637    12948     31 |  0.001 % |
62.82/62.95	c |    386800 |    1372     6480    57354 |    15637    13009     31 |  0.000 % |
63.51/63.61	c |    390097 |    1372     6480    57354 |    13285    13382     31 |  0.000 % |
64.01/64.11	c |    393722 |    1372     6480    57354 |    13285    12454     30 |  0.000 % |
64.01/64.12	c |    393822 |    1372     6480    57354 |    13285    12554     30 |  0.000 % |
64.01/64.14	c |    393932 |    1372     6480    57354 |    13285    12664     30 |  0.000 % |
64.01/64.16	c |    394055 |    1372     6480    57354 |    13285    12787     30 |  0.000 % |
64.01/64.18	c |    394188 |    1372     6480    57354 |    13285    12920     30 |  0.000 % |
64.11/64.20	c |    394334 |    1372     6480    57354 |    13285    13066     30 |  0.000 % |
64.11/64.23	c |    394495 |    1372     6480    57354 |    13285    13227     30 |  0.000 % |
64.11/64.26	c |    394673 |    1372     6480    57354 |    13285    11368     29 |  0.000 % |
64.11/64.29	c |    394872 |    1372     6480    57354 |    13285    11567     29 |  0.000 % |
64.21/64.31	c |    395084 |    1372     6480    57354 |    13285    11779     29 |  0.000 % |
64.21/64.34	c |    395318 |    1372     6480    57354 |    13285    12013     29 |  0.000 % |
64.21/64.38	c |    395575 |    1372     6480    57354 |    13285    12270     29 |  0.000 % |
64.31/64.43	c |    395857 |    1372     6480    57354 |    13285    12552     29 |  0.000 % |
64.31/64.48	c |    396166 |    1372     6480    57354 |    13285    12861     29 |  0.000 % |
64.41/64.55	c |    396505 |    1372     6480    57354 |    13285    13200     29 |  0.000 % |
64.51/64.61	c |    396877 |    1372     6480    57354 |    13285    11517     27 |  0.000 % |
64.51/64.66	c |    397290 |    1372     6480    57354 |    13285    11930     27 |  0.000 % |
64.61/64.73	c |    397741 |    1372     6480    57354 |    13285    12381     28 |  0.000 % |
64.72/64.81	c |    398234 |    1372     6480    57354 |    13285    12874     28 |  0.000 % |
64.82/64.91	c |    398777 |    1372     6480    57354 |    13285    11420     26 |  0.000 % |
64.91/65.00	c |    399375 |    1372     6480    57354 |    13285    12018     27 |  0.000 % |
65.01/65.10	c |    400030 |    1372     6480    57354 |    12644    12673     27 |  0.000 % |
65.01/65.19	c |    400751 |    1372     6480    57354 |    12644    11530     27 |  0.001 % |
65.21/65.33	c |    401547 |    1372     6480    57354 |    12644    12326     27 |  0.000 % |
65.31/65.46	c |    402420 |    1372     6480    57354 |    12644    11497     27 |  0.000 % |
65.51/65.63	c |    403380 |    1372     6480    57354 |    12644    12457     28 |  0.000 % |
65.71/65.85	c |    404433 |    1372     6480    57354 |    12644    11798     28 |  0.000 % |
65.92/66.06	c |    405593 |    1372     6480    57354 |    12644    11183     27 |  0.000 % |
66.11/66.22	c |    406867 |    1372     6480    57354 |    12644    12457     28 |  0.000 % |
66.31/66.42	c |    408268 |    1372     6480    57354 |    12644    12164     28 |  0.000 % |
66.51/66.65	c |    409809 |    1372     6480    57354 |    12644    12041     28 |  0.000 % |
66.81/66.93	c |    411506 |    1372     6480    57354 |    12232    12150     29 |  0.000 % |
67.11/67.20	c |    413369 |    1372     6480    57354 |    12232    11098     29 |  0.000 % |
67.41/67.52	c |    415418 |    1372     6480    57354 |    12232    11710     30 |  0.000 % |
67.71/67.89	c |    417672 |    1372     6480    57354 |    12232    11090     30 |  0.000 % |
68.11/68.29	c |    420150 |    1372     6480    57354 |    11994    10758     29 |  0.000 % |
68.61/68.76	c |    422876 |    1372     6480    57354 |    11994    12062     30 |  0.000 % |
69.11/69.24	c |    425874 |    1372     6480    57354 |    11994    10908     30 |  0.000 % |
69.71/69.87	c |    429170 |    1372     6480    57354 |    11994    11544     30 |  0.000 % |
70.31/70.44	c |    432796 |    1372     6480    57354 |    11048    10428     31 |  0.000 % |
70.91/71.06	c |    436783 |    1372     6480    57354 |    11048    11082     33 |  0.000 % |
70.91/71.08	c |    436885 |    1372     6480    57354 |    11048    10076     33 |  0.000 % |
71.01/71.10	c |    436997 |    1372     6480    57354 |    11048    10188     33 |  0.000 % |
71.01/71.12	c |    437118 |    1372     6480    57354 |    11048    10309     33 |  0.000 % |
71.01/71.15	c |    437251 |    1372     6480    57354 |    11048    10442     33 |  0.000 % |
71.01/71.18	c |    437397 |    1372     6480    57354 |    11048    10588     33 |  0.000 % |
71.11/71.21	c |    437561 |    1372     6480    57354 |    11048    10752     33 |  0.000 % |
71.11/71.23	c |    437739 |    1372     6480    57354 |    11048    10930     33 |  0.000 % |
71.11/71.26	c |    437932 |    1372     6480    57354 |    11048    11123     33 |  0.000 % |
71.11/71.29	c |    438146 |    1372     6480    57354 |    11048    10225     32 |  0.000 % |
71.21/71.32	c |    438380 |    1372     6480    57354 |    11048    10459     32 |  0.000 % |
71.21/71.36	c |    438636 |    1372     6480    57354 |    11048    10715     32 |  0.000 % |
71.21/71.40	c |    438918 |    1372     6480    57354 |    11048    10997     33 |  0.000 % |
71.31/71.47	c |    439227 |    1372     6480    57354 |    11048    10194     32 |  0.000 % |
71.41/71.51	c |    439566 |    1372     6480    57354 |    11048    10533     32 |  0.000 % |
71.41/71.55	c |    439941 |    1372     6480    57354 |    11048    10908     32 |  0.000 % |
71.51/71.61	c |    440350 |    1372     6480    57354 | 2147483647    11317     32 |  0.000 % |
71.51/71.69	c |    440800 |    1372     6480    57354 | 2147483647    11767     32 |  0.000 % |
71.61/71.77	c |    441295 |    1372     6480    57354 | 2147483647    12262     33 |  0.000 % |
71.71/71.86	c |    441839 |    1372     6480    57354 | 2147483647    12806     32 |  0.000 % |
71.81/71.97	c |    442436 |    1372     6480    57354 | 2147483647    13403     33 |  0.000 % |
72.01/72.10	c |    443092 |    1372     6480    57354 | 2147483647    14059     33 |  0.000 % |
72.11/72.20	c |    443812 |    1372     6480    57354 | 2147483647    14779     33 |  0.000 % |
72.21/72.34	c |    444604 |    1372     6480    57354 | 2147483647    15571     33 |  0.000 % |
72.41/72.54	c |    445475 |    1372     6480    57354 | 2147483647    16442     33 |  0.000 % |
72.71/72.81	c |    446433 |    1372     6480    57354 | 2147483647    17400     33 |  0.000 % |
73.00/73.11	c |    447488 |    1372     6480    57354 | 2147483647    18455     33 |  0.000 % |
73.30/73.45	c |    448647 |    1372     6480    57354 | 2147483647    19614     34 |  0.000 % |
73.61/73.80	c |    449920 |    1372     6480    57354 | 2147483647    20887     34 |  0.000 % |
74.00/74.19	c |    451322 |    1372     6480    57354 |    20967    17806     32 |  0.000 % |
74.61/74.73	c |    452864 |    1372     6480    57354 |    20967    19348     33 |  0.000 % |
75.20/75.33	c |    454559 |    1372     6480    57354 |    20967    15262     31 |  0.000 % |
75.50/75.62	c |    456422 |    1372     6480    57354 |    20967    17125     31 |  0.001 % |
76.00/76.16	c |    458475 |    1372     6480    57354 |    20967    19178     31 |  0.000 % |
76.60/76.78	c |    460728 |    1372     6480    57354 |    20703    15799     28 |  0.000 % |
77.10/77.29	c |    463209 |    1372     6480    57354 |    20703    18280     28 |  0.000 % |
77.90/78.05	c |    465934 |    1372     6480    57354 |    20703    15569     25 |  0.000 % |
78.50/78.63	c |    468933 |    1372     6480    57354 |    20703    18568     25 |  0.000 % |
79.20/79.30	c |    472231 |    1372     6480    57354 |    19635    16843     23 |  0.000 % |
79.70/79.87	c |    475856 |    1372     6480    57354 |    19635    16039     22 |  0.000 % |
80.60/80.72	c |    479844 |    1372     6480    57354 |    19635    15592     26 |  0.000 % |
81.40/81.50	c |    484229 |    1372     6480    57354 |    15748    13413     31 |  0.000 % |
81.40/81.53	c |    484330 |    1372     6480    57354 |    15748    13514     31 |  0.000 % |
81.40/81.55	c |    484441 |    1372     6480    57354 |    15748    13625     31 |  0.000 % |
81.40/81.58	c |    484563 |    1372     6480    57354 |    15748    13747     31 |  0.000 % |
81.40/81.60	c |    484697 |    1372     6480    57354 |    15748    13881     31 |  0.001 % |
81.50/81.62	c |    484843 |    1372     6480    57354 |    15748    14027     31 |  0.000 % |
81.50/81.65	c |    485004 |    1372     6480    57354 |    15748    14188     31 |  0.000 % |
81.50/81.68	c |    485180 |    1372     6480    57354 |    15748    14364     31 |  0.000 % |
81.60/81.72	c |    485373 |    1372     6480    57354 |    15748    14557     31 |  0.000 % |
81.60/81.76	c |    485585 |    1372     6480    57354 |    15748    14769     31 |  0.000 % |
81.70/81.80	c |    485819 |    1372     6480    57354 |    15748    15003     31 |  0.001 % |
81.70/81.86	c |    486076 |    1372     6480    57354 |    15748    15260     31 |  0.000 % |
81.70/81.90	c |    486359 |    1372     6480    57354 |    15748    15543     31 |  0.000 % |
81.79/81.96	c |    486671 |    1372     6480    57354 |    15748    12835     29 |  0.000 % |
81.89/82.01	c |    487011 |    1372     6480    57354 |    15748    13175     29 |  0.000 % |
81.89/82.06	c |    487385 |    1372     6480    57354 |    15748    13549     29 |  0.000 % |
81.99/82.13	c |    487794 |    1372     6480    57354 |    15748    13958     29 |  0.000 % |
82.09/82.21	c |    488244 |    1372     6480    57354 |    15748    14408     30 |  0.000 % |
82.19/82.31	c |    488738 |    1372     6480    57354 |    15748    14902     30 |  0.000 % |
82.30/82.44	c |    489280 |    1372     6480    57354 |    15748    15444     30 |  0.000 % |
82.40/82.56	c |    489876 |    1372     6480    57354 |    15748    13099     28 |  0.000 % |
82.49/82.68	c |    490532 |    1372     6480    57354 |    13225    11305     27 |  0.000 % |
82.59/82.77	c |    491253 |    1372     6480    57354 |    13225    12026     27 |  0.001 % |
82.79/82.90	c |    492046 |    1372     6480    57354 |    13225    12819     28 |  0.000 % |
82.89/83.02	c |    492917 |    1372     6480    57354 |    13225    11665     27 |  0.000 % |
82.99/83.19	c |    493876 |    1372     6480    57354 |    13225    12624     27 |  0.000 % |
83.19/83.37	c |    494929 |    1372     6480    57354 |    13225    11752     27 |  0.000 % |
83.40/83.60	c |    496087 |    1372     6480    57354 |    13225    12910     29 |  0.000 % |
83.59/83.75	c |    497360 |    1372     6480    57354 |    13225    12306     28 |  0.001 % |
83.89/84.04	c |    498761 |    1372     6480    57354 |    13225    11872     28 |  0.000 % |
84.09/84.29	c |    500301 |    1372     6480    57354 |    13114    11633     28 |  0.000 % |
84.39/84.58	c |    501996 |    1372     6480    57354 |    13114    11721     29 |  0.001 % |
84.79/84.96	c |    503859 |    1372     6480    57354 |    13114    11903     29 |  0.000 % |
85.09/85.29	c |    505909 |    1372     6480    57354 |    13114    12269     29 |  0.000 % |
85.39/85.58	c |    508165 |    1372     6480    57354 |    13114    12949     29 |  0.000 % |
85.89/86.02	c |    510643 |    1372     6480    57354 |    11792    11109     29 |  0.000 % |
86.39/86.54	c |    513369 |    1372     6480    57354 |    11792    11234     30 |  0.000 % |
86.89/87.02	c |    516367 |    1372     6480    57354 |    11792    11698     31 |  0.000 % |
87.49/87.64	c |    519664 |    1372     6480    57354 |    11792    11238     32 |  0.000 % |
88.19/88.33	c |    523290 |    1372     6480    57354 |    11574    11145     33 |  0.000 % |
88.99/89.18	c |    527278 |    1372     6480    57354 |    11574    11199     34 |  0.000 % |
89.99/90.15	c |    531664 |    1372     6480    57354 |    11068    10128     34 |  0.000 % |
90.99/91.12	c |    536487 |    1372     6480    57354 |    11068    11100     33 |  0.000 % |
90.99/91.14	c |    536587 |    1372     6480    57354 |    11068     9922     32 |  0.000 % |
90.99/91.16	c |    536697 |    1372     6480    57354 |    11068    10032     32 |  0.000 % |
90.99/91.17	c |    536818 |    1372     6480    57354 |    11068    10153     32 |  0.000 % |
90.99/91.19	c |    536951 |    1372     6480    57354 |    11068    10286     32 |  0.000 % |
91.09/91.22	c |    537097 |    1372     6480    57354 |    11068    10432     32 |  0.000 % |
91.09/91.24	c |    537257 |    1372     6480    57354 |    11068    10592     32 |  0.001 % |
91.09/91.27	c |    537433 |    1372     6480    57354 |    11068    10768     32 |  0.000 % |
91.09/91.30	c |    537626 |    1372     6480    57354 |    11068    10961     32 |  0.000 % |
91.19/91.35	c |    537838 |    1372     6480    57354 |    11068     9851     31 |  0.000 % |
91.19/91.39	c |    538071 |    1372     6480    57354 |    11068    10084     31 |  0.000 % |
91.29/91.42	c |    538327 |    1372     6480    57354 |    11068    10340     31 |  0.000 % |
91.29/91.46	c |    538608 |    1372     6480    57354 |    11068    10621     31 |  0.000 % |
91.29/91.49	c |    538918 |    1372     6480    57354 |    11068    10931     31 |  0.000 % |
91.39/91.55	c |    539258 |    1372     6480    57354 |    11068     9955     29 |  0.000 % |
91.39/91.59	c |    539631 |    1372     6480    57354 |    11068    10328     29 |  0.000 % |
91.49/91.64	c |    540040 |    1372     6480    57354 |    10698    10737     29 |  0.000 % |
91.49/91.69	c |    540489 |    1372     6480    57354 |    10698     9932     27 |  0.001 % |
91.59/91.76	c |    540982 |    1372     6480    57354 |    10698    10425     27 |  0.000 % |
91.69/91.83	c |    541524 |    1372     6480    57354 |    10698     9886     26 |  0.000 % |
91.69/91.89	c |    542120 |    1372     6480    57354 |    10698    10482     27 |  0.000 % |
91.79/91.98	c |    542779 |    1372     6480    57354 |    10698    10063     26 |  0.000 % |
91.89/92.09	c |    543500 |    1372     6480    57354 |    10698     9707     26 |  0.000 % |
91.99/92.18	c |    544292 |    1372     6480    57354 |    10698    10499     26 |  0.000 % |
92.19/92.30	c |    545163 |    1372     6480    57354 |    10698    10293     26 |  0.000 % |
92.29/92.42	c |    546121 |    1372     6480    57354 |    10698    10171     26 |  0.000 % |
92.38/92.56	c |    547174 |    1372     6480    57354 |    10698    10143     27 |  0.000 % |
92.58/92.72	c |    548332 |    1372     6480    57354 |    10698    10220     28 |  0.000 % |
92.78/92.94	c |    549605 |    1372     6480    57354 |    10698    10413     28 |  0.000 % |
93.08/93.20	c |    551006 |    1372     6480    57354 | 2147483647    10737     29 |  0.000 % |
93.18/93.37	c |    552546 |    1372     6480    57354 | 2147483647    12277     28 |  0.001 % |
93.39/93.59	c |    554242 |    1372     6480    57354 | 2147483647    13973     27 |  0.000 % |
93.68/93.88	c |    556107 |    1372     6480    57354 | 2147483647    15838     27 |  0.000 % |
94.08/94.26	c |    558157 |    1372     6480    57354 | 2147483647    17888     27 |  0.000 % |
94.58/94.79	c |    560410 |    1372     6480    57354 |    19731    16960     25 |  0.000 % |
95.08/95.24	c |    562891 |    1372     6480    57354 |    19731    19441     24 |  0.000 % |
95.68/95.83	c |    565616 |    1372     6480    57354 |    19731    18373     22 |  0.000 % |
96.28/96.47	c |    568613 |    1372     6480    57354 |    19731    17301     21 |  0.000 % |
96.78/96.97	c |    571911 |    1372     6480    57354 |    18688    16731     21 |  0.000 % |
97.48/97.67	c |    575536 |    1372     6480    57354 |    18688    16626     24 |  0.000 % |
98.18/98.39	c |    579523 |    1372     6480    57354 |    18688    17022     27 |  0.000 % |
99.08/99.20	c |    583909 |    1372     6480    57354 |    17499    14668     29 |  0.000 % |
100.08/100.25	c |    588734 |    1372     6480    57354 |    17499    15895     31 |  0.000 % |
101.38/101.51	c |    594043 |    1372     6480    57354 |    17161    13902     33 |  0.000 % |
101.38/101.53	c |    594143 |    1372     6480    57354 |    17161    14002     33 |  0.000 % |
101.38/101.55	c |    594253 |    1372     6480    57354 |    17161    14112     33 |  0.000 % |
101.38/101.58	c |    594374 |    1372     6480    57354 |    17161    14233     33 |  0.000 % |
101.48/101.61	c |    594509 |    1372     6480    57354 |    17161    14368     33 |  0.000 % |
101.48/101.63	c |    594656 |    1372     6480    57354 |    17161    14515     33 |  0.000 % |
101.48/101.66	c |    594817 |    1372     6480    57354 |    17161    14676     33 |  0.000 % |
101.48/101.70	c |    594993 |    1372     6480    57354 |    17161    14852     33 |  0.000 % |
101.58/101.73	c |    595188 |    1372     6480    57354 |    17161    15047     33 |  0.000 % |
101.58/101.78	c |    595405 |    1372     6480    57354 |    17161    15264     33 |  0.000 % |
101.68/101.84	c |    595638 |    1372     6480    57354 |    17161    15497     33 |  0.000 % |
101.78/101.91	c |    595897 |    1372     6480    57354 |    17161    15756     33 |  0.000 % |
101.78/101.97	c |    596179 |    1372     6480    57354 |    17161    16038     33 |  0.000 % |
101.88/102.03	c |    596489 |    1372     6480    57354 |    17161    16348     33 |  0.000 % |
101.98/102.11	c |    596830 |    1372     6480    57354 |    17161    16689     33 |  0.000 % |
101.98/102.19	c |    597202 |    1372     6480    57354 |    17161    17061     33 |  0.000 % |
102.18/102.31	c |    597611 |    1372     6480    57354 |    17161    13640     31 |  0.000 % |
102.18/102.40	c |    598060 |    1372     6480    57354 |    17161    14089     31 |  0.000 % |
102.28/102.47	c |    598553 |    1372     6480    57354 |    17161    14582     31 |  0.000 % |
102.38/102.59	c |    599095 |    1372     6480    57354 |    17161    15124     31 |  0.000 % |
102.57/102.70	c |    599691 |    1372     6480    57354 |    17161    15720     31 |  0.000 % |
102.67/102.83	c |    600348 |    1372     6480    57354 |    16033    12752     28 |  0.000 % |
102.77/102.97	c |    601068 |    1372     6480    57354 |    16033    13472     28 |  0.000 % |
102.87/103.07	c |    601860 |    1372     6480    57354 |    16033    14264     28 |  0.000 % |
103.07/103.21	c |    602731 |    1372     6480    57354 |    16033    15135     29 |  0.000 % |
103.28/103.41	c |    603689 |    1372     6480    57354 |    16033    16093     29 |  0.000 % |
103.47/103.61	c |    604744 |    1372     6480    57354 |    16033    13763     28 |  0.000 % |
103.67/103.84	c |    605902 |    1372     6480    57354 |    16033    14921     29 |  0.000 % |
103.87/104.08	c |    607176 |    1372     6480    57354 |    16033    12973     27 |  0.000 % |
104.17/104.32	c |    608576 |    1372     6480    57354 |    16033    14373     28 |  0.000 % |
104.38/104.58	c |    610117 |    1372     6480    57354 |    15797    12786     27 |  0.000 % |
104.67/104.89	c |    611812 |    1372     6480    57354 |    15797    14481     29 |  0.000 % |
105.07/105.29	c |    613675 |    1372     6480    57354 |    15797    13224     29 |  0.000 % |
105.57/105.74	c |    615726 |    1372     6480    57354 |    15797    15275     30 |  0.000 % |
105.97/106.18	c |    617980 |    1372     6480    57354 |    15797    14373     31 |  0.000 % |
106.58/106.73	c |    620459 |    1372     6480    57354 |    13297    11191     30 |  0.000 % |
107.07/107.24	c |    623187 |    1372     6480    57354 |    13297    11764     32 |  0.000 % |
107.67/107.87	c |    626185 |    1372     6480    57354 |    13297    12642     33 |  0.000 % |
108.37/108.54	c |    629481 |    1372     6480    57354 |    13297    11681     31 |  0.000 % |
108.97/109.18	c |    633109 |    1372     6480    57354 |    12200    11585     30 |  0.000 % |
109.67/109.88	c |    637098 |    1372     6480    57354 |    12200    10717     28 |  0.000 % |
110.27/110.42	c |    641485 |    1372     6480    57354 |    12157    11085     24 |  0.000 % |
111.07/111.22	c |    646308 |    1372     6480    57354 |    12157    11021     21 |  0.000 % |
111.67/111.88	c |    651614 |    1372     6480    57354 | 2147483647    12662     19 |  0.000 % |
112.57/112.77	c |    657449 |    1372     6480    57354 | 2147483647    18497     20 |  0.000 % |
112.57/112.79	c |    657549 |    1372     6480    57354 | 2147483647    18597     20 |  0.000 % |
112.67/112.82	c |    657659 |    1372     6480    57354 | 2147483647    18707     20 |  0.000 % |
112.67/112.85	c |    657781 |    1372     6480    57354 | 2147483647    18829     20 |  0.000 % |
112.67/112.87	c |    657914 |    1372     6480    57354 | 2147483647    18962     20 |  0.000 % |
112.67/112.88	c |    658064 |    1372     6480    57354 | 2147483647    19112     20 |  0.000 % |
112.77/112.93	c |    658224 |    1372     6480    57354 | 2147483647    19272     20 |  0.001 % |
112.77/112.96	c |    658400 |    1372     6480    57354 | 2147483647    19448     20 |  0.000 % |
112.87/113.00	c |    658593 |    1372     6480    57354 | 2147483647    19641     20 |  0.000 % |
112.87/113.04	c |    658808 |    1372     6480    57354 | 2147483647    19856     21 |  0.000 % |
112.87/113.08	c |    659043 |    1372     6480    57354 | 2147483647    20091     21 |  0.000 % |
112.97/113.12	c |    659299 |    1372     6480    57354 | 2147483647    20347     21 |  0.000 % |
112.97/113.16	c |    659580 |    1372     6480    57354 | 2147483647    20628     21 |  0.000 % |
113.07/113.22	c |    659889 |    1372     6480    57354 | 2147483647    20937     21 |  0.000 % |
113.17/113.31	c |    660230 |    1372     6480    57354 |    21048    17701     20 |  0.000 % |
113.17/113.37	c |    660604 |    1372     6480    57354 |    21048    18075     20 |  0.000 % |
113.27/113.44	c |    661015 |    1372     6480    57354 |    21048    18486     21 |  0.000 % |
113.37/113.50	c |    661464 |    1372     6480    57354 |    21048    18935     21 |  0.001 % |
113.37/113.56	c |    661958 |    1372     6480    57354 |    21048    19429     21 |  0.000 % |
113.47/113.65	c |    662500 |    1372     6480    57354 |    21048    19971     22 |  0.000 % |
113.57/113.74	c |    663096 |    1372     6480    57354 |    21048    20567     22 |  0.000 % |
113.77/113.91	c |    663751 |    1372     6480    57354 |    21048    17203     22 |  0.000 % |
113.87/114.04	c |    664471 |    1372     6480    57354 |    21048    17923     23 |  0.000 % |
113.97/114.18	c |    665264 |    1372     6480    57354 |    21048    18716     23 |  0.000 % |
114.27/114.45	c |    666136 |    1372     6480    57354 |    21048    19588     23 |  0.000 % |
114.47/114.67	c |    667094 |    1372     6480    57354 |    21048    20546     23 |  0.000 % |
114.67/114.88	c |    668147 |    1372     6480    57354 |    21048    17139     23 |  0.000 % |
114.97/115.13	c |    669305 |    1372     6480    57354 |    21048    18297     23 |  0.000 % |
115.17/115.38	c |    670581 |    1372     6480    57354 |    18992    15549     22 |  0.000 % |
115.47/115.61	c |    671981 |    1372     6480    57354 |    18992    16949     23 |  0.000 % |
115.77/115.90	c |    673522 |    1372     6480    57354 |    18992    18490     24 |  0.000 % |
116.07/116.21	c |    675216 |    1372     6480    57354 |    18992    16356     23 |  0.001 % |
116.47/116.61	c |    677080 |    1372     6480    57354 |    18992    18220     25 |  0.000 % |
116.77/116.96	c |    679129 |    1372     6480    57354 |    18992    16466     26 |  0.000 % |
117.17/117.38	c |    681382 |    1372     6480    57354 |    17337    15221     29 |  0.000 % |
117.77/117.91	c |    683863 |    1372     6480    57354 |    17337    14462     29 |  0.000 % |
118.36/118.52	c |    686588 |    1372     6480    57354 |    17337    17187     30 |  0.000 % |
118.86/119.05	c |    689585 |    1372     6480    57354 |    17337    16853     30 |  0.001 % |
119.56/119.70	c |    692885 |    1372     6480    57354 |    17269    16825     31 |  0.000 % |
120.36/120.56	c |    696511 |    1372     6480    57354 |    17269    16879     31 |  0.000 % |
121.16/121.32	c |    700498 |    1372     6480    57354 |    16706    13765     30 |  0.000 % |
121.97/122.14	c |    704883 |    1372     6480    57354 |    16706    14973     32 |  0.000 % |
123.26/123.48	c |    709706 |    1372     6480    57354 |    16706    16344     34 |  0.000 % |
124.66/124.89	c |    715011 |    1372     6480    57354 |    16639    14408     32 |  0.000 % |
125.66/125.89	c |    720848 |    1372     6480    57354 |    15843    13498     32 |  0.000 % |
126.96/127.17	c |    727266 |    1372     6480    57354 |    15843    14250     33 |  0.000 % |
126.96/127.20	c |    727366 |    1372     6480    57354 |    15843    14350     33 |  0.000 % |
127.06/127.23	c |    727477 |    1372     6480    57354 |    15843    14461     33 |  0.000 % |
127.06/127.26	c |    727598 |    1372     6480    57354 |    15843    14582     33 |  0.000 % |
127.06/127.29	c |    727733 |    1372     6480    57354 |    15843    14717     33 |  0.000 % |
127.16/127.32	c |    727879 |    1372     6480    57354 |    15843    14863     33 |  0.000 % |
127.16/127.36	c |    728039 |    1372     6480    57354 |    15843    15023     33 |  0.000 % |
127.16/127.39	c |    728215 |    1372     6480    57354 |    15843    15199     33 |  0.001 % |
127.26/127.42	c |    728409 |    1372     6480    57354 |    15843    15393     33 |  0.000 % |
127.26/127.47	c |    728621 |    1372     6480    57354 |    15843    15605     33 |  0.000 % |
127.36/127.51	c |    728854 |    1372     6480    57354 |    15843    15838     33 |  0.000 % |
127.36/127.58	c |    729111 |    1372     6480    57354 |    15843    13196     32 |  0.000 % |
127.46/127.65	c |    729392 |    1372     6480    57354 |    15843    13477     32 |  0.000 % |
127.56/127.73	c |    729701 |    1372     6480    57354 |    15843    13786     32 |  0.000 % |
127.66/127.82	c |    730040 |    1372     6480    57354 |    14085    14125     33 |  0.000 % |
127.66/127.88	c |    730413 |    1372     6480    57354 |    14085    11892     31 |  0.001 % |
127.76/127.95	c |    730823 |    1372     6480    57354 |    14085    12302     32 |  0.000 % |
127.86/128.03	c |    731272 |    1372     6480    57354 |    14085    12751     32 |  0.000 % |
127.96/128.11	c |    731765 |    1372     6480    57354 |    14085    13244     32 |  0.000 % |
128.06/128.21	c |    732307 |    1372     6480    57354 |    14085    13786     32 |  0.000 % |
128.16/128.35	c |    732904 |    1372     6480    57354 |    14085    11815     30 |  0.000 % |
128.26/128.47	c |    733562 |    1372     6480    57354 |    14085    12473     30 |  0.000 % |
128.36/128.55	c |    734282 |    1372     6480    57354 |    14085    13193     31 |  0.000 % |
128.46/128.68	c |    735075 |    1372     6480    57354 |    14085    13986     31 |  0.000 % |
128.66/128.81	c |    735947 |    1372     6480    57354 |    14085    12380     30 |  0.001 % |
128.76/128.97	c |    736906 |    1372     6480    57354 |    14085    13339     31 |  0.000 % |
128.96/129.16	c |    737961 |    1372     6480    57354 |    14085    12007     30 |  0.000 % |
129.26/129.40	c |    739122 |    1372     6480    57354 |    14085    13168     30 |  0.000 % |
129.46/129.67	c |    740395 |    1372     6480    57354 |    14046    11979     29 |  0.000 % |
129.76/129.94	c |    741796 |    1372     6480    57354 |    14046    13380     29 |  0.000 % |
130.06/130.24	c |    743337 |    1372     6480    57354 |    14046    12681     29 |  0.000 % |
130.36/130.57	c |    745033 |    1372     6480    57354 |    14046    12179     29 |  0.000 % |
130.66/130.83	c |    746896 |    1372     6480    57354 |    14046    14042     31 |  0.001 % |
130.96/131.19	c |    748945 |    1372     6480    57354 |    14046    14011     31 |  0.000 % |
131.46/131.65	c |    751199 |    1372     6480    57354 |    12998    12268     32 |  0.000 % |
132.05/132.21	c |    753677 |    1372     6480    57354 |    12998    12702     32 |  0.000 % |
132.65/132.81	c |    756403 |    1372     6480    57354 |    12998    11100     30 |  0.000 % |
133.25/133.42	c |    759401 |    1372     6480    57354 |    12998    11971     31 |  0.000 % |
133.85/134.01	c |    762700 |    1372     6480    57354 |    12570    11522     32 |  0.000 % |
134.45/134.64	c |    766325 |    1372     6480    57354 |    12570    11961     33 |  0.000 % |
135.35/135.53	c |    770312 |    1372     6480    57354 |    12576    11299     32 |  0.000 % |
136.26/136.48	c |    774697 |    1372     6480    57354 |    12576    12216     32 |  0.000 % |
137.15/137.37	c |    779521 |    1372     6480    57354 |    12576    11745     31 |  0.000 % |
137.95/138.12	c |    784827 |    1372     6480    57354 |    12225    11575     34 |  0.000 % |
138.95/139.10	c |    790664 |    1372     6480    57354 | 2147483647    12350     35 |  0.000 % |
140.35/140.51	c |    797083 |    1372     6480    57354 | 2147483647    18769     37 |  0.000 % |
142.05/142.26	c |    804142 |    1372     6480    57354 |    21687    20850     36 |  0.000 % |
142.15/142.31	c |    804243 |    1372     6480    57354 |    21687    20951     36 |  0.000 % |
142.15/142.36	c |    804354 |    1372     6480    57354 |    21687    21062     36 |  0.000 % |
142.25/142.40	c |    804475 |    1372     6480    57354 |    21687    21183     36 |  0.000 % |
142.25/142.46	c |    804608 |    1372     6480    57354 |    21687    21316     36 |  0.000 % |
142.35/142.50	c |    804754 |    1372     6480    57354 |    21687    21462     36 |  0.000 % |
142.35/142.55	c |    804914 |    1372     6480    57354 |    21687    21622     36 |  0.000 % |
142.45/142.64	c |    805092 |    1372     6480    57354 |    21687    15782     33 |  0.000 % |
142.45/142.68	c |    805285 |    1372     6480    57354 |    21687    15975     33 |  0.000 % |
142.55/142.72	c |    805497 |    1372     6480    57354 |    21687    16187     34 |  0.000 % |
142.55/142.77	c |    805732 |    1372     6480    57354 |    21687    16422     33 |  0.001 % |
142.65/142.85	c |    805988 |    1372     6480    57354 |    21687    16678     34 |  0.000 % |
142.75/142.94	c |    806269 |    1372     6480    57354 |    21687    16959     34 |  0.000 % |
142.85/143.01	c |    806578 |    1372     6480    57354 |    21687    17268     34 |  0.000 % |
142.85/143.09	c |    806917 |    1372     6480    57354 |    21687    17607     34 |  0.000 % |
142.95/143.18	c |    807291 |    1372     6480    57354 |    21687    17981     34 |  0.000 % |
143.05/143.29	c |    807700 |    1372     6480    57354 |    21687    18390     34 |  0.000 % |
143.25/143.41	c |    808149 |    1372     6480    57354 |    21687    18839     34 |  0.000 % |
143.35/143.59	c |    808642 |    1372     6480    57354 |    21687    19332     34 |  0.000 % |
143.55/143.78	c |    809184 |    1372     6480    57354 |    21687    19874     34 |  0.000 % |
143.75/143.97	c |    809780 |    1372     6480    57354 |    21687    20470     34 |  0.000 % |
143.96/144.15	c |    810435 |    1372     6480    57354 |    20691    15180     32 |  0.000 % |
144.15/144.35	c |    811158 |    1372     6480    57354 |    20691    15903     32 |  0.000 % |
144.35/144.52	c |    811951 |    1372     6480    57354 |    20691    16696     32 |  0.000 % |
144.55/144.71	c |    812823 |    1372     6480    57354 |    20691    17568     33 |  0.000 % |
144.75/144.98	c |    813785 |    1372     6480    57354 |    20691    18530     33 |  0.000 % |
145.15/145.31	c |    814838 |    1372     6480    57354 |    20691    19583     33 |  0.000 % |
145.45/145.64	c |    815997 |    1372     6480    57354 |    20691    20742     34 |  0.000 % |
145.85/146.03	c |    817270 |    1372     6480    57354 |    20691    16203     32 |  0.000 % |
146.25/146.47	c |    818672 |    1372     6480    57354 |    20691    17605     33 |  0.000 % |
146.85/147.01	c |    820212 |    1372     6480    57354 |    18935    13755     33 |  0.000 % |
147.25/147.41	c |    821907 |    1372     6480    57354 |    18935    15450     34 |  0.000 % |
147.65/147.84	c |    823770 |    1372     6480    57354 |    18935    17313     34 |  0.000 % |
148.15/148.37	c |    825819 |    1372     6480    57354 |    18935    14382     33 |  0.000 % |
148.65/148.88	c |    828074 |    1372     6480    57354 |    18935    16637     33 |  0.000 % |
149.15/149.35	c |    830552 |    1372     6480    57354 |    18565    14323     30 |  0.000 % |
149.65/149.83	c |    833278 |    1372     6480    57354 |    18565    17049     31 |  0.000 % |
150.55/150.70	c |    836275 |    1372     6480    57354 |    18565    15715     30 |  0.000 % |
151.55/151.76	c |    839572 |    1372     6480    57354 |    18565    14507     31 |  0.000 % |
152.25/152.41	c |    843197 |    1372     6480    57354 |    14937    14533     32 |  0.001 % |
152.95/153.18	c |    847184 |    1372     6480    57354 |    14937    12443     30 |  0.000 % |
153.65/153.83	c |    851569 |    1372     6480    57354 |    12370    11564     27 |  0.000 % |
154.25/154.41	c |    856392 |    1372     6480    57354 |    12370    11933     24 |  0.000 % |
154.95/155.11	c |    861700 |    1372     6480    57354 | 2147483647    13512     24 |  0.000 % |
155.95/156.14	c |    867536 |    1372     6480    57354 | 2147483647    19348     23 |  0.000 % |
157.05/157.24	c |    873954 |    1372     6480    57354 |    21812    17779     21 |  0.000 % |
158.65/158.88	c |    881013 |    1372     6480    57354 |    19230    16029     28 |  0.000 % |
160.35/160.60	c |    888777 |    1372     6480    57354 |    19230    15499     32 |  0.000 % |
160.45/160.63	c |    888879 |    1372     6480    57354 |    19230    15601     32 |  0.000 % |
160.45/160.66	c |    888991 |    1372     6480    57354 |    19230    15713     32 |  0.000 % |
160.45/160.69	c |    889112 |    1372     6480    57354 |    19230    15834     32 |  0.000 % |
160.55/160.71	c |    889247 |    1372     6480    57354 |    19230    15969     32 |  0.000 % |
160.55/160.74	c |    889394 |    1372     6480    57354 |    19230    16116     32 |  0.000 % |
160.55/160.78	c |    889554 |    1372     6480    57354 |    19230    16276     32 |  0.000 % |
160.65/160.81	c |    889730 |    1372     6480    57354 |    19230    16452     32 |  0.001 % |
160.65/160.86	c |    889923 |    1372     6480    57354 |    19230    16645     32 |  0.000 % |
160.75/160.92	c |    890135 |    1372     6480    57354 |    16723    13063     30 |  0.000 % |
160.75/160.95	c |    890368 |    1372     6480    57354 |    16723    13296     30 |  0.000 % |
160.75/160.99	c |    890627 |    1372     6480    57354 |    16723    13555     30 |  0.000 % |
160.85/161.05	c |    890908 |    1372     6480    57354 |    16723    13836     31 |  0.000 % |
160.95/161.12	c |    891217 |    1372     6480    57354 |    16723    14145     31 |  0.000 % |
160.95/161.18	c |    891558 |    1372     6480    57354 |    16723    14486     31 |  0.000 % |
161.05/161.24	c |    891931 |    1372     6480    57354 |    16723    14859     31 |  0.001 % |
161.15/161.32	c |    892343 |    1372     6480    57354 |    16723    15271     31 |  0.000 % |
161.25/161.42	c |    892793 |    1372     6480    57354 |    16723    15721     31 |  0.000 % |
161.35/161.51	c |    893286 |    1372     6480    57354 |    16723    16214     32 |  0.000 % |
161.45/161.64	c |    893830 |    1372     6480    57354 |    16723    16758     32 |  0.000 % |
161.55/161.77	c |    894428 |    1372     6480    57354 |    16723    13676     30 |  0.000 % |
161.74/161.91	c |    895083 |    1372     6480    57354 |    16723    14331     31 |  0.000 % |
161.84/162.02	c |    895803 |    1372     6480    57354 |    16723    15051     31 |  0.001 % |
161.94/162.20	c |    896595 |    1372     6480    57354 |    16723    15843     31 |  0.000 % |
162.14/162.36	c |    897468 |    1372     6480    57354 |    16723    16716     31 |  0.000 % |
162.35/162.53	c |    898428 |    1372     6480    57354 |    16723    14098     29 |  0.000 % |
162.55/162.73	c |    899481 |    1372     6480    57354 |    16723    15151     28 |  0.000 % |
162.74/162.92	c |    900639 |    1372     6480    57354 |    15670    13148     27 |  0.000 % |
162.94/163.16	c |    901913 |    1372     6480    57354 |    15670    14422     27 |  0.000 % |
163.24/163.46	c |    903314 |    1372     6480    57354 |    15670    12829     26 |  0.000 % |
163.54/163.75	c |    904856 |    1372     6480    57354 |    15670    14371     27 |  0.000 % |
163.84/164.06	c |    906551 |    1372     6480    57354 |    15670    13247     26 |  0.000 % |
164.14/164.39	c |    908416 |    1372     6480    57354 |    15670    15112     28 |  0.000 % |
164.64/164.83	c |    910465 |    1372     6480    57354 |    14022    12107     29 |  0.000 % |
165.04/165.24	c |    912719 |    1372     6480    57354 |    14022    12136     29 |  0.000 % |
165.54/165.75	c |    915197 |    1372     6480    57354 |    14022    12317     31 |  0.000 % |
166.04/166.30	c |    917922 |    1372     6480    57354 |    14022    12758     31 |  0.000 % |
166.64/166.84	c |    920919 |    1372     6480    57354 |    12627    11604     31 |  0.000 % |
167.24/167.45	c |    924216 |    1372     6480    57354 |    12627    11447     32 |  0.000 % |
168.05/168.29	c |    927843 |    1372     6480    57354 |    12627    11574     32 |  0.000 % |
169.04/169.20	c |    931830 |    1372     6480    57354 |    11925    10639     33 |  0.000 % |
169.84/170.09	c |    936217 |    1372     6480    57354 |    11925    10842     34 |  0.000 % |
170.94/171.16	c |    941040 |    1372     6480    57354 |    11889    11530     36 |  0.000 % |
171.64/171.89	c |    946347 |    1372     6480    57354 |    11889    11896     31 |  0.000 % |
172.54/172.78	c |    952183 |    1372     6480    57354 | 2147483647    12957     26 |  0.000 % |
173.74/173.92	c |    958602 |    1372     6480    57354 | 2147483647    19376     25 |  0.000 % |
175.14/175.35	c |    965661 |    1372     6480    57354 |    20776    19209     27 |  0.001 % |
176.94/177.12	c |    973425 |    1372     6480    57354 |    19255    18671     32 |  0.001 % |
179.04/179.23	c |    981965 |    1372     6480    57354 |    16894    15050     32 |  0.000 % |
179.04/179.25	c |    982069 |    1372     6480    57354 |    16894    15154     32 |  0.000 % |
179.04/179.27	c |    982179 |    1372     6480    57354 |    16894    15264     32 |  0.000 % |
179.04/179.30	c |    982300 |    1372     6480    57354 |    16894    15385     32 |  0.000 % |
179.14/179.33	c |    982433 |    1372     6480    57354 |    16894    15518     32 |  0.000 % |
179.14/179.36	c |    982581 |    1372     6480    57354 |    16894    15666     32 |  0.000 % |
179.14/179.38	c |    982742 |    1372     6480    57354 |    16894    15827     32 |  0.000 % |
179.24/179.43	c |    982918 |    1372     6480    57354 |    16894    16003     32 |  0.000 % |
179.24/179.47	c |    983112 |    1372     6480    57354 |    16894    16197     32 |  0.000 % |
179.33/179.52	c |    983325 |    1372     6480    57354 |    16894    16410     32 |  0.000 % |
179.43/179.60	c |    983558 |    1372     6480    57354 |    16894    16643     32 |  0.000 % |
179.43/179.65	c |    983816 |    1372     6480    57354 |    16894    16901     32 |  0.000 % |
179.53/179.72	c |    984098 |    1372     6480    57354 |    16894    13357     31 |  0.000 % |
179.53/179.77	c |    984407 |    1372     6480    57354 |    16894    13666     31 |  0.001 % |
179.63/179.83	c |    984746 |    1372     6480    57354 |    16894    14005     31 |  0.000 % |
179.73/179.90	c |    985119 |    1372     6480    57354 |    16894    14378     31 |  0.000 % |
179.73/179.99	c |    985528 |    1372     6480    57354 |    16894    14787     31 |  0.000 % |
179.83/180.05	c |    985980 |    1372     6480    57354 |    16894    15239     31 |  0.000 % |
179.93/180.14	c |    986474 |    1372     6480    57354 |    16894    15733     31 |  0.000 % |
180.03/180.28	c |    987016 |    1372     6480    57354 |    16894    16275     32 |  0.000 % |
180.14/180.37	c |    987614 |    1372     6480    57354 |    16894    16873     32 |  0.000 % |
180.33/180.52	c |    988269 |    1372     6480    57354 |    16894    13774     30 |  0.000 % |
180.43/180.69	c |    988991 |    1372     6480    57354 |    16894    14496     30 |  0.000 % |
180.63/180.87	c |    989786 |    1372     6480    57354 |    16894    15291     30 |  0.000 % |
180.83/181.02	c |    990660 |    1372     6480    57354 |    15505    12622     28 |  0.000 % |
180.93/181.18	c |    991618 |    1372     6480    57354 |    15505    13580     28 |  0.000 % |
181.13/181.38	c |    992673 |    1372     6480    57354 |    15505    14635     28 |  0.000 % |
181.43/181.62	c |    993831 |    1372     6480    57354 |    15505    12572     27 |  0.000 % |
181.63/181.82	c |    995104 |    1372     6480    57354 |    15505    13845     27 |  0.000 % |
181.83/182.00	c |    996504 |    1372     6480    57354 |    15505    15245     27 |  0.000 % |
182.03/182.23	c |    998045 |    1372     6480    57354 |    15505    13933     26 |  0.000 % |
182.33/182.54	c |    999740 |    1372     6480    57354 |    15505    12943     25 |  0.000 % |
182.63/182.86	c |   1001603 |    1372     6480    57354 |    13203    12578     26 |  0.000 % |
183.03/183.29	c |   1003652 |    1372     6480    57354 |    13203    12734     28 |  0.000 % |
183.53/183.77	c |   1005905 |    1372     6480    57354 |    13203    13065     30 |  0.000 % |
184.03/184.26	c |   1008383 |    1372     6480    57354 |    13203    11716     31 |  0.000 % |
184.53/184.78	c |   1011108 |    1372     6480    57354 |    11443    10918     31 |  0.000 % |
184.93/185.17	c |   1014108 |    1372     6480    57354 |    11443    11446     33 |  0.000 % |
185.43/185.65	c |   1017404 |    1372     6480    57354 |    11443    11286     33 |  0.000 % |
186.03/186.26	c |   1021029 |    1372     6480    57354 | 2147483647    11458     30 |  0.000 % |
186.63/186.82	c |   1025016 |    1372     6480    57354 | 2147483647    15445     29 |  0.000 % |
187.43/187.64	c |   1029401 |    1372     6480    57354 | 2147483647    19830     28 |  0.000 % |
188.53/188.79	c |   1034224 |    1372     6480    57354 |    20430    17588     23 |  0.000 % |
189.73/189.90	c |   1039529 |    1372     6480    57354 |    20430    18559     21 |  0.000 % |
190.83/191.05	c |   1045364 |    1372     6480    57354 |    19033    16344     18 |  0.000 % |
191.83/192.01	c |   1051784 |    1372     6480    57354 |    17250    15816     20 |  0.000 % |
193.03/193.26	c |   1058844 |    1372     6480    57354 |    17250    17133     24 |  0.000 % |
194.33/194.54	c |   1066609 |    1372     6480    57354 |    15395    14924     23 |  0.000 % |
195.72/195.95	c |   1075154 |    1372     6480    57354 |    13878    13554     21 |  0.000 % |
197.02/197.20	c |   1084548 |    1372     6480    57354 |    13550    12619     25 |  0.000 % |
197.02/197.22	c |   1084648 |    1372     6480    57354 |    13550    12719     25 |  0.001 % |
197.02/197.24	c |   1084758 |    1372     6480    57354 |    13550    12829     25 |  0.000 % |
197.02/197.25	c |   1084880 |    1372     6480    57354 |    13550    12951     25 |  0.000 % |
197.02/197.27	c |   1085017 |    1372     6480    57354 |    13550    13088     25 |  0.000 % |
197.02/197.29	c |   1085163 |    1372     6480    57354 |    13550    13234     26 |  0.000 % |
197.12/197.31	c |   1085323 |    1372     6480    57354 |    13550    13394     26 |  0.000 % |
197.12/197.34	c |   1085499 |    1372     6480    57354 |    13550    13570     26 |  0.000 % |
197.12/197.37	c |   1085692 |    1372     6480    57354 |    13550    12406     26 |  0.000 % |
197.22/197.40	c |   1085905 |    1372     6480    57354 |    13550    12619     26 |  0.000 % |
197.22/197.43	c |   1086138 |    1372     6480    57354 |    13550    12852     26 |  0.000 % |
197.22/197.47	c |   1086401 |    1372     6480    57354 |    13550    13115     26 |  0.000 % |
197.32/197.51	c |   1086683 |    1372     6480    57354 |    13550    13397     25 |  0.000 % |
197.32/197.55	c |   1086993 |    1372     6480    57354 |    13550    12346     25 |  0.000 % |
197.42/197.60	c |   1087335 |    1372     6480    57354 |    13550    12688     25 |  0.000 % |
197.42/197.66	c |   1087709 |    1372     6480    57354 |    13550    13062     25 |  0.000 % |
197.52/197.72	c |   1088120 |    1372     6480    57354 |    13550    13473     25 |  0.000 % |
197.52/197.80	c |   1088569 |    1372     6480    57354 |    13550    12559     25 |  0.000 % |
197.62/197.86	c |   1089062 |    1372     6480    57354 |    13550    13052     26 |  0.000 % |
197.73/197.93	c |   1089604 |    1372     6480    57354 |    13550    12236     26 |  0.000 % |
197.82/198.01	c |   1090201 |    1372     6480    57354 | 2147483647    12833     26 |  0.000 % |
197.92/198.10	c |   1090856 |    1372     6480    57354 | 2147483647    13488     26 |  0.000 % |
198.02/198.21	c |   1091576 |    1372     6480    57354 | 2147483647    14208     26 |  0.000 % |
198.12/198.34	c |   1092368 |    1372     6480    57354 | 2147483647    15000     26 |  0.001 % |
198.32/198.53	c |   1093239 |    1372     6480    57354 | 2147483647    15871     27 |  0.000 % |
198.52/198.72	c |   1094199 |    1372     6480    57354 | 2147483647    16831     28 |  0.000 % |
198.72/198.94	c |   1095254 |    1372     6480    57354 | 2147483647    17886     28 |  0.000 % |
199.02/199.22	c |   1096413 |    1372     6480    57354 | 2147483647    19045     29 |  0.000 % |
199.32/199.54	c |   1097686 |    1372     6480    57354 | 2147483647    20318     30 |  0.000 % |
199.72/199.90	c |   1099087 |    1372     6480    57354 | 2147483647    21719     30 |  0.000 % |
200.12/200.31	c |   1100627 |    1372     6480    57354 |    22632    18403     29 |  0.000 % |
200.52/200.72	c |   1102321 |    1372     6480    57354 |    22632    20097     30 |  0.000 % |
200.92/201.20	c |   1104187 |    1372     6480    57354 |    22632    21963     30 |  0.000 % |
201.62/201.83	c |   1106237 |    1372     6480    57354 |    22632    18001     31 |  0.000 % |
202.32/202.54	c |   1108491 |    1372     6480    57354 |    22632    20255     32 |  0.000 % |
203.22/203.42	c |   1110969 |    1372     6480    57354 |    21764    16503     31 |  0.000 % |
203.92/204.16	c |   1113696 |    1372     6480    57354 |    21764    19230     33 |  0.000 % |
204.72/204.97	c |   1116694 |    1372     6480    57354 |    21764    16233     33 |  0.000 % |
205.72/205.97	c |   1119990 |    1372     6480    57354 |    21764    19529     35 |  0.000 % |
206.71/206.96	c |   1123615 |    1372     6480    57354 |    19539    17749     34 |  0.000 % |
208.01/208.28	c |   1127602 |    1372     6480    57354 |    19539    16168     33 |  0.000 % |
209.31/209.56	c |   1131987 |    1372     6480    57354 |    18568    15255     32 |  0.000 % |
210.51/210.80	c |   1136812 |    1372     6480    57354 |    18568    15202     34 |  0.000 % |
212.21/212.42	c |   1142117 |    1372     6480    57354 |    18391    15616     36 |  0.000 % |
214.01/214.27	c |   1147952 |    1372     6480    57354 |    18391    16374     38 |  0.000 % |
216.01/216.22	c |   1154372 |    1372     6480    57354 |    18423    17682     37 |  0.000 % |
217.61/217.86	c |   1161432 |    1372     6480    57354 |    14068    12110     32 |  0.000 % |
219.11/219.35	c |   1169196 |    1372     6480    57354 |    14068    12335     35 |  0.000 % |
220.91/221.11	c |   1177738 |    1372     6480    57354 |    13141    12784     36 |  0.000 % |
222.81/223.00	c |   1187132 |    1372     6480    57354 |    13087    12446     37 |  0.000 % |
224.51/224.76	c |   1197466 |    1372     6480    57354 |    11654    11337     22 |  0.000 % |
224.51/224.78	c |   1197567 |    1372     6480    57354 |    11654    11438     22 |  0.000 % |
224.51/224.80	c |   1197677 |    1372     6480    57354 |    11654    11548     22 |  0.000 % |
224.61/224.82	c |   1197798 |    1372     6480    57354 |    11654    11669     22 |  0.000 % |
224.61/224.84	c |   1197931 |    1372     6480    57354 |    11654    10636     21 |  0.001 % |
224.61/224.86	c |   1198077 |    1372     6480    57354 |    11654    10782     21 |  0.000 % |
224.61/224.89	c |   1198237 |    1372     6480    57354 |    11654    10942     21 |  0.000 % |
224.71/224.91	c |   1198413 |    1372     6480    57354 |    11654    11118     21 |  0.000 % |
224.71/224.94	c |   1198606 |    1372     6480    57354 |    11654    11311     21 |  0.000 % |
224.71/224.98	c |   1198818 |    1372     6480    57354 |    11654    11523     21 |  0.000 % |
224.81/225.03	c |   1199051 |    1372     6480    57354 |    11654    10587     20 |  0.000 % |
224.81/225.06	c |   1199307 |    1372     6480    57354 |    11654    10843     20 |  0.000 % |
224.91/225.11	c |   1199588 |    1372     6480    57354 |    11654    11124     20 |  0.000 % |
224.91/225.14	c |   1199898 |    1372     6480    57354 |    11654    11434     20 |  0.001 % |
224.91/225.18	c |   1200237 |    1372     6480    57354 | 2147483647    11773     21 |  0.001 % |
225.01/225.22	c |   1200609 |    1372     6480    57354 | 2147483647    12145     21 |  0.000 % |
225.01/225.27	c |   1201019 |    1372     6480    57354 | 2147483647    12555     21 |  0.000 % |
225.11/225.32	c |   1201470 |    1372     6480    57354 | 2147483647    13006     22 |  0.001 % |
225.11/225.38	c |   1201963 |    1372     6480    57354 | 2147483647    13499     22 |  0.000 % |
225.21/225.45	c |   1202505 |    1372     6480    57354 | 2147483647    14041     23 |  0.000 % |
225.31/225.53	c |   1203101 |    1372     6480    57354 | 2147483647    14637     23 |  0.001 % |
225.40/225.61	c |   1203757 |    1372     6480    57354 | 2147483647    15293     24 |  0.000 % |
225.50/225.71	c |   1204479 |    1372     6480    57354 | 2147483647    16015     24 |  0.000 % |
225.60/225.84	c |   1205272 |    1372     6480    57354 | 2147483647    16808     25 |  0.000 % |
225.80/226.02	c |   1206144 |    1372     6480    57354 | 2147483647    17680     25 |  0.000 % |
226.00/226.23	c |   1207103 |    1372     6480    57354 | 2147483647    18639     26 |  0.000 % |
226.20/226.48	c |   1208156 |    1372     6480    57354 | 2147483647    19692     27 |  0.000 % |
226.50/226.77	c |   1209315 |    1372     6480    57354 | 2147483647    20851     28 |  0.000 % |
226.90/227.14	c |   1210588 |    1372     6480    57354 |    21537    18286     29 |  0.000 % |
227.10/227.38	c |   1211990 |    1372     6480    57354 |    21537    19688     29 |  0.001 % |
227.51/227.71	c |   1213530 |    1372     6480    57354 |    21537    21228     30 |  0.000 % |
227.90/228.13	c |   1215224 |    1372     6480    57354 |    21537    18058     31 |  0.000 % |
228.30/228.59	c |   1217087 |    1372     6480    57354 |    21537    19921     31 |  0.000 % |
228.80/229.05	c |   1219136 |    1372     6480    57354 |    21537    16662     29 |  0.000 % |
229.20/229.49	c |   1221391 |    1372     6480    57354 |    17527    14629     28 |  0.000 % |
229.70/229.99	c |   1223869 |    1372     6480    57354 |    17527    17107     30 |  0.000 % |
230.30/230.58	c |   1226595 |    1372     6480    57354 |    17527    15982     31 |  0.000 % |
230.90/231.13	c |   1229595 |    1372     6480    57354 |    17527    15259     31 |  0.000 % |
231.40/231.66	c |   1232891 |    1372     6480    57354 |    15665    15366     30 |  0.001 % |
232.20/232.42	c |   1236517 |    1372     6480    57354 |    15665    13560     30 |  0.000 % |
232.80/233.04	c |   1240505 |    1372     6480    57354 |    14350    12388     30 |  0.000 % |
233.50/233.75	c |   1244890 |    1372     6480    57354 |    14350    14349     31 |  0.001 % |
234.30/234.52	c |   1249713 |    1372     6480    57354 |    14350    12509     31 |  0.000 % |
235.40/235.62	c |   1255018 |    1372     6480    57354 |    12796    12088     34 |  0.000 % |
236.20/236.47	c |   1260853 |    1372     6480    57354 |    11600    10833     32 |  0.000 % |
237.30/237.55	c |   1267272 |    1372     6480    57354 |    11600    11238     36 |  0.000 % |
238.80/239.05	c |   1274332 |    1372     6480    57354 |    11003     9923     34 |  0.000 % |
240.19/240.47	c |   1282097 |    1372     6480    57354 |    10383    10316     35 |  0.000 % |
241.49/241.76	c |   1290637 |    1372     6480    57354 | 2147483647    10465     37 |  0.000 % |
243.29/243.55	c |   1300032 |    1372     6480    57354 |    19828    16791     30 |  0.000 % |
245.49/245.78	c |   1310365 |    1372     6480    57354 |    18215    14509     19 |  0.000 % |
247.59/247.81	c |   1321732 |    1372     6480    57354 |    16627    15119     25 |  0.000 % |
247.59/247.82	c |   1321833 |    1372     6480    57354 |    16627    15220     25 |  0.000 % |
247.59/247.84	c |   1321944 |    1372     6480    57354 |    16627    15331     25 |  0.000 % |
247.59/247.86	c |   1322065 |    1372     6480    57354 |    16627    15452     25 |  0.000 % |
247.59/247.88	c |   1322198 |    1372     6480    57354 |    16627    15585     25 |  0.001 % |
247.69/247.91	c |   1322344 |    1372     6480    57354 |    16627    15731     25 |  0.000 % |
247.69/247.94	c |   1322506 |    1372     6480    57354 |    16627    15893     25 |  0.000 % |
247.69/247.98	c |   1322682 |    1372     6480    57354 |    16627    16069     25 |  0.001 % |
247.79/248.01	c |   1322876 |    1372     6480    57354 |    16627    16263     25 |  0.000 % |
247.79/248.04	c |   1323088 |    1372     6480    57354 |    16627    16475     25 |  0.000 % |
247.89/248.11	c |   1323324 |    1372     6480    57354 |    16627    13611     26 |  0.000 % |
247.89/248.15	c |   1323581 |    1372     6480    57354 |    16627    13868     26 |  0.001 % |
247.99/248.20	c |   1323862 |    1372     6480    57354 |    16627    14149     26 |  0.001 % |
247.99/248.24	c |   1324171 |    1372     6480    57354 |    16627    14458     26 |  0.000 % |
247.99/248.29	c |   1324510 |    1372     6480    57354 |    16627    14797     26 |  0.001 % |
248.09/248.34	c |   1324887 |    1372     6480    57354 |    16627    15174     26 |  0.000 % |
248.19/248.41	c |   1325296 |    1372     6480    57354 |    16627    15583     26 |  0.000 % |
248.19/248.48	c |   1325747 |    1372     6480    57354 |    16627    16034     26 |  0.000 % |
248.29/248.57	c |   1326241 |    1372     6480    57354 |    16627    16528     27 |  0.000 % |
248.39/248.69	c |   1326783 |    1372     6480    57354 |    16627    14036     27 |  0.000 % |
248.49/248.79	c |   1327381 |    1372     6480    57354 |    16627    14634     28 |  0.000 % |
248.69/248.91	c |   1328038 |    1372     6480    57354 |    16627    15291     28 |  0.000 % |
248.79/249.01	c |   1328758 |    1372     6480    57354 |    16627    16011     28 |  0.001 % |
248.89/249.17	c |   1329552 |    1372     6480    57354 |    16627    13753     26 |  0.000 % |
249.09/249.30	c |   1330423 |    1372     6480    57354 |    14201    12066     25 |  0.000 % |
249.19/249.46	c |   1331381 |    1372     6480    57354 |    14201    13024     27 |  0.000 % |
249.39/249.61	c |   1332434 |    1372     6480    57354 |    14201    14077     28 |  0.000 % |
249.59/249.86	c |   1333594 |    1372     6480    57354 |    14201    12962     30 |  0.000 % |
249.79/250.09	c |   1334868 |    1372     6480    57354 |    14201    14236     31 |  0.000 % |
250.09/250.35	c |   1336268 |    1372     6480    57354 |    14201    13308     31 |  0.000 % |
250.39/250.63	c |   1337808 |    1372     6480    57354 |    14201    12443     31 |  0.000 % |
250.69/250.96	c |   1339502 |    1372     6480    57354 |    14201    14137     32 |  0.000 % |
250.99/251.23	c |   1341368 |    1372     6480    57354 |    12238    11586     29 |  0.000 % |
251.29/251.51	c |   1343417 |    1372     6480    57354 |    12238    11982     31 |  0.000 % |
251.69/251.99	c |   1345670 |    1372     6480    57354 |    12238    11231     32 |  0.000 % |
252.18/252.40	c |   1348148 |    1372     6480    57354 |    12238    12189     32 |  0.000 % |
252.58/252.81	c |   1350876 |    1372     6480    57354 |    11085    10675     32 |  0.000 % |
253.08/253.38	c |   1353873 |    1372     6480    57354 |    11085    10322     32 |  0.000 % |
253.58/253.89	c |   1357171 |    1372     6480    57354 |    11085    10265     32 |  0.000 % |
254.38/254.64	c |   1360801 |    1372     6480    57354 | 2147483647    11663     33 |  0.000 % |
255.18/255.48	c |   1364788 |    1372     6480    57354 | 2147483647    15650     34 |  0.000 % |
256.48/256.75	c |   1369176 |    1372     6480    57354 | 2147483647    20038     36 |  0.000 % |
257.78/258.08	c |   1373999 |    1372     6480    57354 |    20864    20427     35 |  0.000 % |
259.38/259.63	c |   1379304 |    1372     6480    57354 |    20864    20607     35 |  0.000 % |
260.38/260.68	c |   1385141 |    1372     6480    57354 |    15890    13725     28 |  0.000 % |
261.58/261.88	c |   1391559 |    1372     6480    57354 |    15589    14196     24 |  0.000 % |
262.68/262.92	c |   1398620 |    1371     5835    51763 |    15589    14131     23 |  0.073 % |
264.18/264.49	c |   1406384 |    1371     5835    51763 |    15511    14234     29 |  0.073 % |
266.28/266.51	c |   1414925 |    1371     5835    51763 |    15277    14669     33 |  0.073 % |
268.18/268.47	c |   1424319 |    1371     5835    51763 |    13765    13252     29 |  0.073 % |
269.87/270.17	c |   1434654 |    1371     5835    51763 |    13157    12904     22 |  0.073 % |
271.57/271.83	c |   1446020 |    1371     5835    51763 |    12205    11906     19 |  0.073 % |
273.68/273.95	c |   1458523 |    1371     5835    51763 | 2147483647    20710     30 |  0.073 % |
273.68/273.98	c |   1458626 |    1371     5835    51763 | 2147483647    20813     30 |  0.074 % |
273.77/274.00	c |   1458736 |    1371     5835    51763 | 2147483647    20923     30 |  0.073 % |
273.77/274.03	c |   1458858 |    1371     5835    51763 | 2147483647    21045     31 |  0.073 % |
273.77/274.06	c |   1458992 |    1371     5835    51763 | 2147483647    21179     31 |  0.073 % |
273.77/274.09	c |   1459138 |    1371     5835    51763 | 2147483647    21325     31 |  0.073 % |
273.87/274.14	c |   1459298 |    1371     5835    51763 | 2147483647    21485     31 |  0.073 % |
273.87/274.19	c |   1459474 |    1371     5835    51763 | 2147483647    21661     31 |  0.073 % |
273.97/274.24	c |   1459668 |    1371     5835    51763 | 2147483647    21855     31 |  0.073 % |
273.97/274.28	c |   1459880 |    1371     5835    51763 | 2147483647    22067     31 |  0.073 % |
274.07/274.37	c |   1460114 |    1371     5835    51763 |    22187    18671     33 |  0.073 % |
274.17/274.43	c |   1460370 |    1371     5835    51763 |    22187    18927     33 |  0.073 % |
274.27/274.50	c |   1460651 |    1371     5835    51763 |    22187    19208     33 |  0.073 % |
274.27/274.56	c |   1460963 |    1371     5835    51763 |    22187    19520     33 |  0.073 % |
274.37/274.65	c |   1461304 |    1371     5835    51763 |    22187    19861     33 |  0.073 % |
274.47/274.74	c |   1461677 |    1371     5835    51763 |    22187    20234     33 |  0.073 % |
274.57/274.84	c |   1462087 |    1371     5835    51763 |    22187    20644     33 |  0.073 % |
274.67/274.94	c |   1462538 |    1371     5835    51763 |    22187    21095     33 |  0.074 % |
274.77/275.05	c |   1463031 |    1371     5835    51763 |    22187    21588     33 |  0.073 % |
274.87/275.15	c |   1463573 |    1371     5835    51763 |    22187    22130     33 |  0.073 % |
275.07/275.33	c |   1464170 |    1371     5835    51763 |    22187    17828     33 |  0.074 % |
275.17/275.46	c |   1464831 |    1371     5835    51763 |    22187    18489     33 |  0.073 % |
275.37/275.67	c |   1465551 |    1371     5835    51763 |    22187    19209     33 |  0.073 % |
275.57/275.82	c |   1466344 |    1371     5835    51763 |    22187    20002     33 |  0.074 % |
275.77/276.08	c |   1467216 |    1371     5835    51763 |    22187    20874     33 |  0.073 % |
276.07/276.33	c |   1468174 |    1371     5835    51763 |    22187    21832     33 |  0.073 % |
276.37/276.62	c |   1469227 |    1371     5835    51763 |    22187    17567     29 |  0.073 % |
276.57/276.85	c |   1470385 |    1371     5835    51763 |    18340    14330     27 |  0.073 % |
276.77/277.06	c |   1471658 |    1371     5835    51763 |    18340    15603     27 |  0.073 % |
277.07/277.33	c |   1473060 |    1371     5835    51763 |    18340    17005     27 |  0.073 % |
277.27/277.59	c |   1474600 |    1371     5835    51763 |    18340    14648     26 |  0.073 % |
277.57/277.85	c |   1476294 |    1371     5835    51763 |    18340    16342     26 |  0.073 % |
277.87/278.18	c |   1478158 |    1371     5835    51763 |    18340    18206     27 |  0.073 % |
278.27/278.52	c |   1480208 |    1371     5835    51763 |    16424    13497     24 |  0.073 % |
278.67/278.90	c |   1482461 |    1371     5835    51763 |    16424    15750     25 |  0.073 % |
279.07/279.38	c |   1484939 |    1371     5835    51763 |    16424    15358     24 |  0.073 % |
279.57/279.89	c |   1487665 |    1371     5835    51763 |    16424    15226     23 |  0.073 % |
280.07/280.34	c |   1490663 |    1371     5835    51763 |    14834    13128     23 |  0.073 % |
280.67/280.96	c |   1493959 |    1371     5835    51763 |    14834    14490     26 |  0.073 % |
281.37/281.66	c |   1497584 |    1371     5835    51763 |    14834    14266     30 |  0.073 % |
281.96/282.21	c |   1501571 |    1371     5835    51763 |    14775    14595     30 |  0.073 % |
282.56/282.87	c |   1505959 |    1371     5835    51763 |    14775    13708     28 |  0.073 % |
283.36/283.65	c |   1510785 |    1371     5835    51763 |    14283    13393     27 |  0.073 % |
284.26/284.50	c |   1516090 |    1371     5835    51763 |    14283    13850     26 |  0.073 % |
285.06/285.37	c |   1521927 |    1371     5835    51763 |    13282    12511     25 |  0.073 % |
286.26/286.53	c |   1528345 |    1371     5835    51763 |    13282    13143     26 |  0.073 % |
287.36/287.66	c |   1535405 |    1371     5835    51763 |    11850    11175     21 |  0.073 % |
288.46/288.73	c |   1543169 |    1371     5835    51763 | 2147483647    14174     21 |  0.073 % |
290.16/290.46	c |   1551710 |    1371     5835    51763 |    21006    19293     21 |  0.073 % |
291.86/292.14	c |   1561105 |    1371     5835    51763 |    19262    16310     24 |  0.073 % |
293.86/294.10	c |   1571441 |    1371     5835    51763 |    17779    15815     27 |  0.073 % |
296.36/296.60	c |   1582807 |    1371     5835    51763 |    16899    15997     23 |  0.073 % |
298.66/298.94	c |   1595311 |    1371     5835    51763 |    15954    15122     21 |  0.073 % |
301.26/301.56	c |   1609063 |    1371     5835    51763 |    14216    12533     33 |  0.073 % |
301.26/301.57	c |   1609164 |    1371     5835    51763 |    14216    12634     33 |  0.073 % |
301.26/301.59	c |   1609275 |    1371     5835    51763 |    14216    12745     33 |  0.073 % |
301.36/301.62	c |   1609397 |    1371     5835    51763 |    14216    12867     33 |  0.073 % |
301.36/301.63	c |   1609535 |    1371     5835    51763 |    14216    13005     33 |  0.073 % |
301.36/301.65	c |   1609681 |    1371     5835    51763 |    14216    13151     33 |  0.073 % |
301.36/301.68	c |   1609842 |    1371     5835    51763 |    14216    13312     33 |  0.073 % |
301.46/301.70	c |   1610021 |    1371     5835    51763 |    13471    13491     33 |  0.073 % |
301.46/301.74	c |   1610214 |    1371     5835    51763 |    13471    11770     31 |  0.074 % |
301.46/301.77	c |   1610427 |    1371     5835    51763 |    13471    11983     31 |  0.073 % |
301.56/301.81	c |   1610660 |    1371     5835    51763 |    13471    12216     31 |  0.073 % |
301.56/301.86	c |   1610917 |    1371     5835    51763 |    13471    12473     31 |  0.073 % |
301.66/301.91	c |   1611200 |    1371     5835    51763 |    13471    12756     32 |  0.073 % |
301.66/301.95	c |   1611511 |    1371     5835    51763 |    13471    13067     32 |  0.073 % |
301.76/302.00	c |   1611850 |    1371     5835    51763 |    13471    13406     32 |  0.073 % |
301.76/302.08	c |   1612222 |    1371     5835    51763 |    13471    11735     30 |  0.073 % |
301.86/302.14	c |   1612632 |    1371     5835    51763 |    13471    12145     30 |  0.073 % |
301.96/302.21	c |   1613082 |    1371     5835    51763 |    13471    12595     31 |  0.073 % |
301.96/302.28	c |   1613575 |    1371     5835    51763 |    13471    13088     31 |  0.073 % |
302.06/302.36	c |   1614118 |    1371     5835    51763 |    13471    11629     29 |  0.073 % |
302.16/302.46	c |   1614714 |    1371     5835    51763 |    13471    12225     29 |  0.073 % |
302.26/302.55	c |   1615369 |    1371     5835    51763 |    13471    12880     29 |  0.073 % |
302.36/302.67	c |   1616089 |    1371     5835    51763 |    13471    11719     27 |  0.073 % |
302.46/302.78	c |   1616881 |    1371     5835    51763 |    13471    12511     27 |  0.073 % |
302.65/302.91	c |   1617752 |    1371     5835    51763 |    13471    13382     27 |  0.073 % |
302.75/303.05	c |   1618710 |    1371     5835    51763 |    13471    12500     26 |  0.073 % |
302.96/303.23	c |   1619764 |    1371     5835    51763 |    13471    13554     27 |  0.073 % |
303.06/303.38	c |   1620922 |    1371     5835    51763 |    11990    11337     25 |  0.073 % |
303.27/303.54	c |   1622196 |    1371     5835    51763 |    11990    11401     25 |  0.073 % |
303.46/303.71	c |   1623596 |    1371     5835    51763 |    11990    11595     25 |  0.073 % |
303.66/303.90	c |   1625137 |    1371     5835    51763 |    11990    11927     26 |  0.074 % |
303.86/304.14	c |   1626834 |    1371     5835    51763 |    11990    11206     27 |  0.073 % |
304.06/304.37	c |   1628700 |    1371     5835    51763 |    11990    11862     28 |  0.073 % |
304.37/304.64	c |   1630749 |    1371     5835    51763 | 2147483647    12699     29 |  0.073 % |
304.76/305.04	c |   1633002 |    1371     5835    51763 | 2147483647    14952     30 |  0.073 % |
305.16/305.40	c |   1635480 |    1371     5835    51763 | 2147483647    17430     30 |  0.073 % |
305.76/306.01	c |   1638205 |    1371     5835    51763 | 2147483647    20155     30 |  0.073 % |
306.56/306.80	c |   1641202 |    1371     5835    51763 |    21951    18963     28 |  0.073 % |
307.36/307.65	c |   1644499 |    1371     5835    51763 |    21951    16939     24 |  0.073 % |
308.26/308.57	c |   1648125 |    1371     5835    51763 |    21951    20565     25 |  0.073 % |
309.16/309.48	c |   1652113 |    1371     5835    51763 |    16683    14448     21 |  0.073 % |
309.76/310.07	c |   1656498 |    1371     5835    51763 |    16683    15342     21 |  0.073 % |
310.56/310.86	c |   1661321 |    1371     5835    51763 |    15799    14362     21 |  0.073 % |
311.26/311.55	c |   1666626 |    1371     5835    51763 |    15799    15110     23 |  0.073 % |
312.26/312.53	c |   1672462 |    1371     5835    51763 |    14074    12554     23 |  0.073 % |
313.16/313.48	c |   1678880 |    1371     5835    51763 |    14074    13189     22 |  0.073 % |
314.16/314.44	c |   1685940 |    1371     5835    51763 |    12498    11828     25 |  0.073 % |
315.56/315.82	c |   1693706 |    1371     5835    51763 | 2147483647    15819     29 |  0.073 % |
317.45/317.79	c |   1702250 |    1371     5835    51763 |    22115    20278     30 |  0.073 % |
319.76/320.01	c |   1711645 |    1371     5835    51763 |    18162    15708     27 |  0.073 % |
321.75/322.10	c |   1721978 |    1371     5835    51763 |    15954    14435     22 |  0.073 % |
323.65/323.97	c |   1733344 |    1371     5835    51763 |    13764    12868     20 |  0.073 % |
325.65/325.96	c |   1745848 |    1371     5835    51763 |    12339    11769     19 |  0.073 % |
327.75/328.07	c |   1759600 |    1371     5835    51763 | 2147483647    21803     24 |  0.073 % |
331.85/332.18	c |   1774730 |    1371     5835    51763 |    17895    13566     24 |  0.073 % |
331.85/332.20	c |   1774834 |    1371     5835    51763 |    17895    13670     24 |  0.073 % |
331.95/332.21	c |   1774945 |    1371     5835    51763 |    17895    13781     24 |  0.073 % |
331.95/332.23	c |   1775067 |    1371     5835    51763 |    17895    13903     24 |  0.073 % |
331.95/332.24	c |   1775203 |    1371     5835    51763 |    17895    14039     24 |  0.073 % |
331.95/332.26	c |   1775349 |    1371     5835    51763 |    17895    14185     24 |  0.073 % |
331.95/332.28	c |   1775510 |    1371     5835    51763 |    17895    14346     24 |  0.073 % |
332.05/332.30	c |   1775686 |    1371     5835    51763 |    17895    14522     24 |  0.074 % |
332.05/332.33	c |   1775881 |    1371     5835    51763 |    17895    14717     24 |  0.073 % |
332.05/332.36	c |   1776094 |    1371     5835    51763 |    17895    14930     24 |  0.073 % |
332.15/332.40	c |   1776331 |    1371     5835    51763 |    17895    15167     24 |  0.074 % |
332.15/332.44	c |   1776593 |    1371     5835    51763 |    17895    15429     24 |  0.073 % |
332.15/332.49	c |   1776875 |    1371     5835    51763 |    17895    15711     25 |  0.073 % |
332.25/332.54	c |   1777184 |    1371     5835    51763 |    17895    16020     25 |  0.073 % |
332.25/332.58	c |   1777524 |    1371     5835    51763 |    17895    16360     25 |  0.073 % |
332.35/332.63	c |   1777898 |    1371     5835    51763 |    17895    16734     25 |  0.073 % |
332.45/332.71	c |   1778307 |    1371     5835    51763 |    17895    17143     25 |  0.073 % |
332.45/332.78	c |   1778756 |    1371     5835    51763 |    17895    17592     25 |  0.073 % |
332.65/332.91	c |   1779249 |    1371     5835    51763 |    17895    14078     24 |  0.073 % |
332.75/333.00	c |   1779791 |    1371     5835    51763 |    17895    14620     24 |  0.073 % |
332.75/333.10	c |   1780390 |    1371     5835    51763 |    14829    12057     24 |  0.073 % |
332.85/333.18	c |   1781045 |    1371     5835    51763 |    14829    12712     24 |  0.073 % |
332.95/333.27	c |   1781765 |    1371     5835    51763 |    14829    13432     24 |  0.073 % |
333.05/333.38	c |   1782558 |    1371     5835    51763 |    14829    14225     24 |  0.073 % |
333.24/333.52	c |   1783429 |    1371     5835    51763 |    14829    12678     25 |  0.074 % |
333.34/333.68	c |   1784388 |    1371     5835    51763 |    14829    13637     25 |  0.073 % |
333.54/333.82	c |   1785442 |    1371     5835    51763 |    14829    14691     26 |  0.073 % |
333.64/333.97	c |   1786600 |    1371     5835    51763 |    14829    13538     26 |  0.073 % |
333.84/334.17	c |   1787874 |    1371     5835    51763 |    14829    14812     26 |  0.073 % |
334.05/334.38	c |   1789276 |    1371     5835    51763 |    14829    14035     25 |  0.073 % |
334.34/334.62	c |   1790817 |    1371     5835    51763 |    14760    13437     25 |  0.073 % |
334.54/334.89	c |   1792511 |    1371     5835    51763 |    14760    13044     24 |  0.073 % |
334.84/335.14	c |   1794374 |    1371     5835    51763 |    14760    12960     23 |  0.073 % |
335.15/335.44	c |   1796424 |    1371     5835    51763 |    14760    13175     23 |  0.073 % |
335.44/335.78	c |   1798677 |    1371     5835    51763 |    14760    13644     23 |  0.073 % |
335.84/336.18	c |   1801155 |    1371     5835    51763 |    13206    12794     23 |  0.073 % |
336.35/336.62	c |   1803881 |    1371     5835    51763 |    13206    12518     23 |  0.073 % |
336.74/337.05	c |   1806879 |    1371     5835    51763 |    13206    12566     21 |  0.073 % |
337.35/337.66	c |   1810179 |    1371     5835    51763 |    12500    11101     19 |  0.073 % |
337.84/338.15	c |   1813804 |    1371     5835    51763 |    12500    12124     19 |  0.073 % |
338.34/338.70	c |   1817791 |    1371     5835    51763 |    12500    12346     19 |  0.073 % |
339.04/339.33	c |   1822176 |    1371     5835    51763 | 2147483647    14220     19 |  0.073 % |
339.74/340.08	c |   1827001 |    1371     5835    51763 | 2147483647    19045     22 |  0.073 % |
341.04/341.30	c |   1832307 |    1371     5835    51763 |    22044    20225     24 |  0.073 % |
342.34/342.61	c |   1838143 |    1371     5835    51763 |    22044    21040     28 |  0.073 % |
343.74/344.01	c |   1844562 |    1371     5835    51763 |    17513    14122     27 |  0.073 % |
345.04/345.31	c |   1851622 |    1371     5835    51763 |    16134    14643     27 |  0.074 % |
346.24/346.56	c |   1859387 |    1371     5835    51763 |    16134    14480     24 |  0.073 % |
347.84/348.13	c |   1867927 |    1371     5835    51763 |    15093    13132     21 |  0.073 % |
349.34/349.62	c |   1877321 |    1371     5835    51763 |    12599    11234     18 |  0.073 % |
350.94/351.25	c |   1887654 |    1371     5835    51763 | 2147483647    20180     22 |  0.073 % |
353.54/353.89	c |   1899021 |    1371     5835    51763 |    22527    22297     22 |  0.073 % |
355.83/356.10	c |   1911524 |    1371     5835    51763 |    16068    14467     21 |  0.073 % |
358.24/358.50	c |   1925276 |    1371     5835    51763 |    15747    13530     26 |  0.073 % |
360.44/360.78	c |   1940403 |    1371     5835    51763 |    12961    11891     20 |  0.073 % |
362.93/363.27	c |   1957042 |    1371     5835    51763 | 2147483647    19416     20 |  0.073 % |
362.93/363.29	c |   1957142 |    1371     5835    51763 | 2147483647    19516     20 |  0.073 % |
363.03/363.32	c |   1957252 |    1371     5835    51763 | 2147483647    19626     20 |  0.073 % |
363.03/363.33	c |   1957375 |    1371     5835    51763 | 2147483647    19749     20 |  0.073 % |
363.03/363.36	c |   1957508 |    1371     5835    51763 | 2147483647    19882     20 |  0.073 % |
363.03/363.38	c |   1957654 |    1371     5835    51763 | 2147483647    20028     20 |  0.073 % |
363.13/363.41	c |   1957814 |    1371     5835    51763 | 2147483647    20188     20 |  0.073 % |
363.13/363.43	c |   1957990 |    1371     5835    51763 | 2147483647    20364     20 |  0.073 % |
363.13/363.47	c |   1958184 |    1371     5835    51763 | 2147483647    20558     21 |  0.073 % |
363.23/363.52	c |   1958398 |    1371     5835    51763 | 2147483647    20772     21 |  0.073 % |
363.23/363.56	c |   1958632 |    1371     5835    51763 | 2147483647    21006     21 |  0.073 % |
363.33/363.61	c |   1958889 |    1371     5835    51763 | 2147483647    21263     21 |  0.073 % |
363.33/363.66	c |   1959173 |    1371     5835    51763 | 2147483647    21547     21 |  0.073 % |
363.43/363.73	c |   1959482 |    1371     5835    51763 | 2147483647    21856     21 |  0.073 % |
363.43/363.79	c |   1959821 |    1371     5835    51763 | 2147483647    22195     21 |  0.073 % |
363.63/363.92	c |   1960194 |    1371     5835    51763 |    22374    18484     20 |  0.073 % |
363.63/363.99	c |   1960603 |    1371     5835    51763 |    22374    18893     20 |  0.073 % |
363.73/364.07	c |   1961052 |    1371     5835    51763 |    22374    19342     21 |  0.073 % |
363.83/364.16	c |   1961546 |    1371     5835    51763 |    22374    19836     21 |  0.073 % |
363.93/364.26	c |   1962090 |    1371     5835    51763 |    22374    20380     21 |  0.074 % |
364.03/364.37	c |   1962686 |    1371     5835    51763 |    22374    20976     21 |  0.074 % |
364.13/364.49	c |   1963342 |    1371     5835    51763 |    22374    21632     21 |  0.074 % |
364.33/364.60	c |   1964062 |    1371     5835    51763 |    22374    22352     21 |  0.073 % |
364.43/364.78	c |   1964854 |    1371     5835    51763 |    22374    18549     21 |  0.073 % |
364.63/364.93	c |   1965726 |    1371     5835    51763 |    22374    19421     21 |  0.073 % |
364.83/365.10	c |   1966684 |    1371     5835    51763 |    22374    20379     21 |  0.074 % |
365.03/365.38	c |   1967738 |    1371     5835    51763 |    22374    21433     22 |  0.073 % |
365.43/365.70	c |   1968897 |    1371     5835    51763 |    22374    17722     23 |  0.073 % |
365.63/365.99	c |   1970171 |    1371     5835    51763 |    18826    14877     22 |  0.073 % |
366.03/366.30	c |   1971573 |    1371     5835    51763 |    18826    16279     23 |  0.073 % |
366.23/366.59	c |   1973114 |    1371     5835    51763 |    18826    17820     23 |  0.073 % |
366.63/366.97	c |   1974810 |    1371     5835    51763 |    18826    15687     22 |  0.073 % |
367.03/367.32	c |   1976675 |    1371     5835    51763 |    18826    17552     22 |  0.073 % |
367.33/367.65	c |   1978724 |    1371     5835    51763 |    18826    15874     21 |  0.073 % |
367.63/367.97	c |   1980977 |    1371     5835    51763 |    17150    14871     20 |  0.073 % |
368.03/368.35	c |   1983458 |    1371     5835    51763 |    17150    14568     20 |  0.073 % |
368.52/368.85	c |   1986188 |    1371     5835    51763 |    17150    14467     21 |  0.073 % |
369.02/369.36	c |   1989187 |    1371     5835    51763 |    17150    14631     20 |  0.073 % |
369.52/369.88	c |   1992484 |    1371     5835    51763 |    15444    15468     21 |  0.073 % |
370.12/370.47	c |   1996112 |    1371     5835    51763 |    15444    14963     21 |  0.073 % |
370.82/371.14	c |   2000099 |    1371     5835    51763 |    14754    12880     22 |  0.073 % |
371.43/371.80	c |   2004487 |    1371     5835    51763 |    14754    13551     21 |  0.073 % |
372.22/372.52	c |   2009311 |    1371     5835    51763 |    14754    13303     20 |  0.073 % |
373.02/373.39	c |   2014617 |    1371     5835    51763 |    13992    14003     22 |  0.073 % |
374.02/374.32	c |   2020452 |    1371     5835    51763 |    13119    12115     20 |  0.073 % |
375.02/375.33	c |   2026870 |    1371     5835    51763 |    13119    11945     19 |  0.073 % |
375.92/376.29	c |   2033929 |    1369     4537    38489 | 2147483647    15341     20 |  0.219 % |
377.22/377.59	c |   2041695 |    1369     4537    38489 |    21414    20553     21 |  0.219 % |
379.22/379.51	c |   2050235 |    1369     4537    38489 |    21235    16973     19 |  0.219 % |
381.02/381.34	c |   2059629 |    1369     4537    38489 |    21235    16855     21 |  0.219 % |
383.02/383.38	c |   2069962 |    1369     4537    38489 |    17227    16738     20 |  0.219 % |
384.92/385.24	c |   2081329 |    1369     4537    38489 |    15105    14040     21 |  0.219 % |
386.92/387.20	c |   2093831 |    1369     4537    38489 |    13637    13036     21 |  0.219 % |
389.12/389.44	c |   2107583 |    1369     4537    38489 | 2147483647    21313     21 |  0.219 % |
392.61/392.97	c |   2122710 |    1369     4537    38489 |    19178    17451     21 |  0.220 % |
395.51/395.85	c |   2139349 |    1368     3817    29996 |    16718    12040     22 |  0.292 % |
398.21/398.55	c |   2157651 |    1368     3817    29996 |    12281    11260     20 |  0.292 % |
398.21/398.57	c |   2157753 |    1368     3817    29996 |    12281    11362     20 |  0.292 % |
398.21/398.58	c |   2157864 |    1368     3817    29996 |    12281    11473     20 |  0.292 % |
398.31/398.60	c |   2157985 |    1368     3817    29996 |    12281    11594     20 |  0.292 % |
398.31/398.62	c |   2158120 |    1368     3817    29996 |    12281    11729     20 |  0.292 % |
398.31/398.64	c |   2158267 |    1368     3817    29996 |    12281    11876     20 |  0.292 % |
398.31/398.67	c |   2158428 |    1368     3817    29996 |    12281    12037     20 |  0.292 % |
398.41/398.70	c |   2158605 |    1368     3817    29996 |    12281    12214     20 |  0.292 % |
398.41/398.74	c |   2158798 |    1368     3817    29996 |    12281    11173     20 |  0.292 % |
398.41/398.77	c |   2159010 |    1368     3817    29996 |    12281    11385     21 |  0.292 % |
398.51/398.80	c |   2159243 |    1368     3817    29996 |    12281    11618     21 |  0.292 % |
398.51/398.84	c |   2159499 |    1368     3817    29996 |    12281    11874     21 |  0.292 % |
398.51/398.88	c |   2159782 |    1368     3817    29996 |    12281    12157     21 |  0.292 % |
398.61/398.93	c |   2160092 |    1368     3817    29996 | 2147483647    11231     21 |  0.292 % |
398.61/398.97	c |   2160432 |    1368     3817    29996 | 2147483647    11571     21 |  0.292 % |
398.71/399.02	c |   2160806 |    1368     3817    29996 | 2147483647    11945     21 |  0.292 % |
398.71/399.09	c |   2161215 |    1368     3817    29996 | 2147483647    12354     21 |  0.292 % |
398.81/399.16	c |   2161665 |    1368     3817    29996 | 2147483647    12804     21 |  0.292 % |
398.92/399.24	c |   2162160 |    1368     3817    29996 | 2147483647    13299     21 |  0.292 % |
399.02/399.34	c |   2162702 |    1368     3817    29996 | 2147483647    13841     21 |  0.292 % |
399.11/399.43	c |   2163300 |    1368     3817    29996 | 2147483647    14439     21 |  0.292 % |
399.21/399.53	c |   2163955 |    1368     3817    29996 | 2147483647    15094     22 |  0.292 % |
399.31/399.66	c |   2164677 |    1368     3817    29996 | 2147483647    15816     22 |  0.292 % |
399.41/399.79	c |   2165470 |    1368     3817    29996 | 2147483647    16609     22 |  0.292 % |
399.61/399.98	c |   2166343 |    1368     3817    29996 | 2147483647    17482     22 |  0.292 % |
399.91/400.22	c |   2167301 |    1368     3817    29996 | 2147483647    18440     22 |  0.292 % |
400.12/400.46	c |   2168354 |    1368     3817    29996 | 2147483647    19493     22 |  0.292 % |
400.41/400.74	c |   2169514 |    1367     3130    21299 | 2147483647    15924     23 |  0.364 % |
400.71/401.03	c |   2170788 |    1367     3130    21299 |    16410    14596     21 |  0.364 % |
401.01/401.36	c |   2172188 |    1367     3130    21299 |    16410    15996     21 |  0.365 % |
401.31/401.67	c |   2173729 |    1367     3130    21299 |    16410    14536     19 |  0.364 % |
401.71/402.05	c |   2175424 |    1367     3130    21299 |    16410    16231     19 |  0.364 % |
402.11/402.41	c |   2177287 |    1367     3130    21299 |    16410    14924     18 |  0.364 % |
402.31/402.65	c ===============================================================================
402.31/402.65	c restarts              : 1630
402.31/402.65	c conflicts             : 2178393        (5415 /sec)
402.31/402.65	c decisions             : 6433437        (1.94 % random) (15993 /sec)
402.31/402.65	c propagations          : 89891046       (223460 /sec)
402.31/402.65	c conflict literals     : 70893446       (21.20 % deleted)
402.31/402.65	c Memory used           : 9.34 MB
402.31/402.65	c CPU time              : 402.269 s
402.31/402.65	c 
402.31/402.65	s UNSATISFIABLE
402.31/402.65	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-1832315-1242771727/watcher-1832315-1242771727 -o /tmp/evaluation-result-1832315-1242771727/solver-1832315-1242771727 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832315-1242771727.cnf 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.95 3/65 10526
/proc/meminfo: memFree=1811064/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305202036 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10526/statm: 1339 237 197 169 0 50 0
[pid=10530] ppid=10526 vsize=1004 CPUtime=0
/proc/10530/stat : 10530 (SatELite_releas) R 10526 10526 10344 0 -1 4194304 129 0 0 0 0 0 0 0 18 0 1 0 305202037 1028096 115 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/10530/statm: 251 115 49 173 0 76 0

[startup+0.0155751 s]
/proc/loadavg: 0.99 0.98 0.95 3/65 10526
/proc/meminfo: memFree=1811064/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305202036 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10526/statm: 1339 237 197 169 0 50 0
[pid=10530] ppid=10526 vsize=1416 CPUtime=0
/proc/10530/stat : 10530 (SatELite_releas) R 10526 10526 10344 0 -1 4194304 231 0 0 0 0 0 0 0 18 0 1 0 305202037 1449984 217 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/10530/statm: 354 218 50 173 0 179 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6772

[startup+0.102593 s]
/proc/loadavg: 0.99 0.98 0.95 3/65 10526
/proc/meminfo: memFree=1811064/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.302627 s]
/proc/loadavg: 0.99 0.98 0.95 3/65 10526
/proc/meminfo: memFree=1811064/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.701704 s]
/proc/loadavg: 0.99 0.98 0.95 3/65 10526
/proc/meminfo: memFree=1811064/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+1.50184 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1808040/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=4500 CPUtime=1.4
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 830 0 0 0 140 0 0 0 25 0 1 0 305202044 4608000 816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 1125 816 77 171 0 952 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9856

[startup+3.10113 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1806632/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=5712 CPUtime=3
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1123 0 0 0 300 0 0 0 25 0 1 0 305202044 5849088 1109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 1428 1109 77 171 0 1255 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11068

[startup+6.30171 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1805928/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=5844 CPUtime=6.2
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1167 0 0 0 620 0 0 0 25 0 1 0 305202044 5984256 1153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 1461 1153 77 171 0 1288 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11200

[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1805800/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=5844 CPUtime=12.61
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1171 0 0 0 1260 1 0 0 25 0 1 0 305202044 5984256 1157 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 1461 1157 77 171 0 1288 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11200

[startup+25.5022 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1805360/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=6240 CPUtime=25.38
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1281 0 0 0 2537 1 0 0 25 0 1 0 305202044 6389760 1267 1992294400 134512640 135215339 4294956240 18446744073709551615 134532689 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 1560 1267 77 171 0 1387 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 11596

[startup+51.1028 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1804912/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=6636 CPUtime=50.97
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1382 0 0 0 5095 2 0 0 25 0 1 0 305202044 6795264 1368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 1659 1368 77 171 0 1486 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 11992

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1804080/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=7316 CPUtime=102.12
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1549 0 0 0 10210 2 0 0 25 0 1 0 305202044 7491584 1535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 1829 1535 77 171 0 1656 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 12672

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1803120/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=8124 CPUtime=162.08
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1750 0 0 0 16205 3 0 0 25 0 1 0 305202044 8318976 1736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 2031 1736 77 171 0 1858 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 13480

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1803056/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=8268 CPUtime=222.05
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1768 0 0 0 22202 3 0 0 25 0 1 0 305202044 8466432 1754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 2067 1754 77 171 0 1894 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 13624

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1802608/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=8684 CPUtime=282
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1860 0 0 0 28197 3 0 0 25 0 1 0 305202044 8892416 1846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 2171 1846 77 171 0 1998 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 14040

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1802032/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=9132 CPUtime=341.98
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 1974 0 0 0 34194 4 0 0 25 0 1 0 305202044 9351168 1960 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 2283 1960 77 171 0 2110 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 14488

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1801584/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=9556 CPUtime=401.95
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 2064 0 0 0 40191 4 0 0 25 0 1 0 305202044 9785344 2050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 2389 2050 77 171 0 2216 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 14912

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

[startup+402.501 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1801584/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=9556 CPUtime=402.15
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 2064 0 0 0 40211 4 0 0 25 0 1 0 305202044 9785344 2050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 2389 2050 77 171 0 2216 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 14912

[startup+402.605 s]
/proc/loadavg: 0.99 0.98 0.95 2/67 10532
/proc/meminfo: memFree=1801584/2055920 swapFree=4075908/4192956
[pid=10526] ppid=10524 vsize=5356 CPUtime=0.06
/proc/10526/stat : 10526 (SatELiteGTI) S 10524 10526 10344 0 -1 4194304 336 672 0 0 0 0 6 0 15 0 1 0 305202036 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10526/statm: 1339 239 197 169 0 50 0
[pid=10532] ppid=10526 vsize=9556 CPUtime=402.25
/proc/10532/stat : 10532 (minisat_static) R 10526 10526 10344 0 -1 4194304 2064 0 0 0 40221 4 0 0 25 0 1 0 305202044 9785344 2050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/10532/statm: 2389 2050 77 171 0 2216 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 14912

Child status: 20
Real time (s): 402.663
CPU time (s): 402.398
CPU user time (s): 402.338
CPU system time (s): 0.05999
CPU usage (%): 99.9342
Max. virtual memory (cumulated for all children) (KiB): 14912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 402.338
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3234
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= 46
involuntary context switches= 3214

runsolver used 0.370943 second user time and 1.24281 second system time

The end

Launcher Data

Begin job on node84 at 2009-05-20 00:22:07
IDJOB=1832315
IDBENCH=24715
IDSOLVER=671
FILE ID=node84/1832315-1242771727
PBS_JOBID= 9322220
Free space on /tmp= 66292 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest05/QG/QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832315-1242771727/watcher-1832315-1242771727 -o /tmp/evaluation-result-1832315-1242771727/solver-1832315-1242771727 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832315-1242771727.cnf

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

MD5SUM BENCH= 749c079607e9e37c206eeb8bd5b8bfaf
RANDOM SEED=2111252046

node84.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.259
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.259
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1811544 kB
Buffers:         10832 kB
Cached:          89280 kB
SwapCached:     111164 kB
Active:         117520 kB
Inactive:        95328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811544 kB
SwapTotal:     4192956 kB
SwapFree:      4075908 kB
Dirty:            1912 kB
Writeback:           0 kB
Mapped:          15988 kB
Slab:            17556 kB
Committed_AS:   963872 kB
PageTables:       1376 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= 66292 MiB
End job on node84 at 2009-05-20 00:28:50